{
 "run": "RUN-011",
 "subject": "Round 10 (v0.10): the full phase-contact map, the stationary points and the global numerical exclusion",
 "package": {
  "id": "round-v0.10",
  "sha256": "f269d6424bc9027bdfb3d56fb4d317c0f447e7e3d550410b04cf3313dbfbd990"
 },
 "checks": {
  "S1": {
   "pass": true,
   "failures": []
  },
  "S2": {
   "pass": true,
   "failures": []
  },
  "S3": {
   "pass": false,
   "failures": [
    "switch 0: the stated one-sided derivatives are not the derivative there",
    "switch 1: the stated one-sided derivatives are not the derivative there",
    "switch 2: the stated one-sided derivatives are not the derivative there",
    "switch 3: the stated one-sided derivatives are not the derivative there",
    "switch 5: the stated one-sided derivatives are not the derivative there",
    "switch 6: the stated one-sided derivatives are not the derivative there",
    "switch 8: the stated one-sided derivatives are not the derivative there",
    "switch 9: the stated one-sided derivatives are not the derivative there",
    "switch 9: the kind is not the exact derivatives'",
    "switch 11: the stated one-sided derivatives are not the derivative there",
    "switch 12: the stated one-sided derivatives are not the derivative there",
    "switch 13: the stated one-sided derivatives are not the derivative there",
    "switch 14: the stated one-sided derivatives are not the derivative there"
   ]
  },
  "S4": {
   "pass": false,
   "failures": [
    "the stationary points are not all the derivative's zeros"
   ]
  },
  "S5": {
   "pass": false,
   "failures": [
    "interval 9: the classification is not the derivative's",
    "interval 9: the guards' root counts are not the derivative's"
   ]
  },
  "S6": {
   "pass": false,
   "failures": [
    "minimum candidate 6 is not the local minimum of its rank",
    "ledger interval 9: the minimum is not the interval's"
   ]
  },
  "S7": {
   "pass": true,
   "failures": []
  },
  "S8": {
   "pass": true,
   "failures": []
  },
  "S9": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "switches": [
   {
    "index": 0,
    "phase_minus_exact": "7.52e-16",
    "scale_minus_exact": "-3.82e-14",
    "interior": true,
    "exact_left": "-0.329241888071",
    "exact_right": "-0.329241888071",
    "stated_left_minus_exact": "9.99e-9",
    "stated_right_minus_exact": "0.18",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 1,
    "phase_minus_exact": "-1.29e-14",
    "scale_minus_exact": "-5.09e-14",
    "interior": true,
    "exact_left": "0.231057173249",
    "exact_right": "0.231057173305",
    "stated_left_minus_exact": "-0.0819",
    "stated_right_minus_exact": "-9.99e-9",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 2,
    "phase_minus_exact": "3.82e-14",
    "scale_minus_exact": "-4.4e-14",
    "interior": true,
    "exact_left": "0.0353902359462",
    "exact_right": "0.0353902359462",
    "stated_left_minus_exact": "1.02e-8",
    "stated_right_minus_exact": "0.0945",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 3,
    "phase_minus_exact": "-4.92e-15",
    "scale_minus_exact": "-3.58e-14",
    "interior": true,
    "exact_left": "0.688658439617",
    "exact_right": "0.688658444194",
    "stated_left_minus_exact": "-0.208",
    "stated_right_minus_exact": "-1.04e-8",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 4,
    "phase_minus_exact": "-6.12e-17",
    "scale_minus_exact": "-8.31e-14",
    "interior": false,
    "exact_left": "-0.679652809417",
    "exact_right": "-0.0825142323533",
    "stated_left_minus_exact": "1.05e-8",
    "stated_right_minus_exact": "-1.05e-8",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 5,
    "phase_minus_exact": "5.8e-16",
    "scale_minus_exact": "-8.3e-14",
    "interior": true,
    "exact_left": "-0.200374425213",
    "exact_right": "-0.200374425213",
    "stated_left_minus_exact": "1.03e-8",
    "stated_right_minus_exact": "0.104",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 6,
    "phase_minus_exact": "-8.44e-15",
    "scale_minus_exact": "-9.15e-14",
    "interior": true,
    "exact_left": "0.0995233837121",
    "exact_right": "0.0995233837546",
    "stated_left_minus_exact": "-0.0473",
    "stated_right_minus_exact": "-1.03e-8",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 7,
    "phase_minus_exact": "2.14e-16",
    "scale_minus_exact": "-9.7e-14",
    "interior": false,
    "exact_left": "-0.267658287628",
    "exact_right": "0.612416405839",
    "stated_left_minus_exact": "9.99e-9",
    "stated_right_minus_exact": "-9.99e-9",
    "stated_kind": "cusp_minimum",
    "exact_cusp_minimum": true
   },
   {
    "index": 8,
    "phase_minus_exact": "5.22e-14",
    "scale_minus_exact": "-8.12e-14",
    "interior": true,
    "exact_left": "-0.381677236445",
    "exact_right": "-0.381677236445",
    "stated_left_minus_exact": "1.11e-8",
    "stated_right_minus_exact": "0.0819",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 9,
    "phase_minus_exact": "-5.65e-15",
    "scale_minus_exact": "-4.78e-14",
    "interior": true,
    "exact_left": "0.173165565015",
    "exact_right": "0.173165569274",
    "stated_left_minus_exact": "-0.18",
    "stated_right_minus_exact": "-1.1e-8",
    "stated_kind": "cusp_minimum",
    "exact_cusp_minimum": false
   },
   {
    "index": 10,
    "phase_minus_exact": "-1.22e-16",
    "scale_minus_exact": "-4.7e-14",
    "interior": false,
    "exact_left": "0.0476396142611",
    "exact_right": "0.392397732472",
    "stated_left_minus_exact": "1.11e-8",
    "stated_right_minus_exact": "-1.11e-8",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 11,
    "phase_minus_exact": "1.24e-15",
    "scale_minus_exact": "-3.8e-14",
    "interior": true,
    "exact_left": "-0.346122859248",
    "exact_right": "-0.346122859248",
    "stated_left_minus_exact": "1.13e-8",
    "stated_right_minus_exact": "0.208",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 12,
    "phase_minus_exact": "-3.09e-14",
    "scale_minus_exact": "-6.22e-14",
    "interior": true,
    "exact_left": "0.302158206806",
    "exact_right": "0.302158206866",
    "stated_left_minus_exact": "-0.0945",
    "stated_right_minus_exact": "-1.13e-8",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 13,
    "phase_minus_exact": "4.15e-14",
    "scale_minus_exact": "-1.04e-13",
    "interior": true,
    "exact_left": "-0.513738667382",
    "exact_right": "-0.513738667382",
    "stated_left_minus_exact": "1.05e-8",
    "stated_right_minus_exact": "0.0473",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 14,
    "phase_minus_exact": "-5.71e-15",
    "scale_minus_exact": "-7.63e-14",
    "interior": true,
    "exact_left": "-0.2143646339",
    "exact_right": "-0.214364630664",
    "stated_left_minus_exact": "-0.104",
    "stated_right_minus_exact": "-1.03e-8",
    "stated_kind": "contact_switch_nonextremum",
    "exact_cusp_minimum": false
   },
   {
    "index": 15,
    "phase_minus_exact": "-1.84e-16",
    "scale_minus_exact": "-8.38e-14",
    "interior": false,
    "exact_left": "-0.329480283321",
    "exact_right": "0.432686758449",
    "stated_left_minus_exact": "9.99e-9",
    "stated_right_minus_exact": "-9.99e-9",
    "stated_kind": "cusp_minimum",
    "exact_cusp_minimum": true
   },
   {
    "index": 16,
    "phase_minus_exact": "-7.96e-16",
    "scale_minus_exact": "-9.64e-14",
    "interior": false,
    "exact_left": "-0.124739444844",
    "exact_right": "0.564776791578",
    "stated_left_minus_exact": "1.08e-8",
    "stated_right_minus_exact": "-1.08e-8",
    "stated_kind": "cusp_minimum",
    "exact_cusp_minimum": true
   }
  ],
  "stationary_count": 13,
  "stationary": [
   {
    "interval": 1,
    "phase": "0.12408080655017965585",
    "scale": "0.99891438598653319425",
    "kind": "smooth_minimum"
   },
   {
    "interval": 1,
    "phase": "0.13938957428809484945",
    "scale": "0.99892253688278496152",
    "kind": "smooth_maximum"
   },
   {
    "interval": 1,
    "phase": "0.15469912702833548775",
    "scale": "0.99891438487362665004",
    "kind": "smooth_minimum"
   },
   {
    "interval": 4,
    "phase": "0.99482912117757018128",
    "scale": "1.2478794487498075795",
    "kind": "smooth_maximum"
   },
   {
    "interval": 6,
    "phase": "1.7361802255077739357",
    "scale": "1.0293519888604400762",
    "kind": "smooth_minimum"
   },
   {
    "interval": 7,
    "phase": "1.8325957176545417068",
    "scale": "1.034152222372465218",
    "kind": "smooth_maximum"
   },
   {
    "interval": 8,
    "phase": "2.6443782337563329193",
    "scale": "1.1717012051896901923",
    "kind": "smooth_maximum"
   },
   {
    "interval": 9,
    "phase": "3.0282264652556883627",
    "scale": "1.0998102257068941255",
    "kind": "smooth_minimum"
   },
   {
    "interval": 11,
    "phase": "3.4807312081004888715",
    "scale": "1.1795233336774140996",
    "kind": "smooth_maximum"
   },
   {
    "interval": 12,
    "phase": "3.7789562927558848817",
    "scale": "1.1275915296952315206",
    "kind": "smooth_minimum"
   },
   {
    "interval": 13,
    "phase": "4.0920205703148758851",
    "scale": "1.1691242634709323958",
    "kind": "smooth_maximum"
   },
   {
    "interval": 16,
    "phase": "5.1211483602052840861",
    "scale": "1.0885989563497889407",
    "kind": "smooth_maximum"
   },
   {
    "interval": 17,
    "phase": "5.7172770348154586509",
    "scale": "1.2200248288337878808",
    "kind": "smooth_maximum"
   }
  ],
  "interval_9_minimum": {
   "phase": "3.028226465255688362712441",
   "switch_minus_phase": "5.4414e-9",
   "scale": "1.0998102257068941255",
   "stated_cusp_minus_minimum": "6.1589e-11"
  },
  "interval_1_derivative": {
   "0": "-0.323901",
   "1e-9": "-0.208744",
   "1e-6": "-0.130498",
   "1e-3": "-0.0522917",
   "0.5": "-3.63487e-8",
   "0.999": "0.0522917",
   "0.999999": "0.130496",
   "1": "0.231037"
  },
  "wing_angle_within_of_alpha_at_u_0.3": "1.38e-8",
  "wing_angle_within_of_beta_at_u_0.85": "2.41e-8",
  "stated_stationary_largest_deviation": {
   "phase": "7.88e-13",
   "scale": "9.58e-14"
  },
  "special_phases_minus_exact": [
   {
    "name": "120deg",
    "scale": "-9.72e-14",
    "left": "9.99e-9",
    "right": "-9.99e-9"
   },
   {
    "name": "270deg",
    "scale": "-8.38e-14",
    "left": "9.99e-9",
    "right": "-9.99e-9"
   }
  ],
  "check_margins": {
   "S2_switch_phase": 19.157088122605362,
   "S3_switch_scale": 1.9230769230769231,
   "S3_corner_derivative": 9.00900900900901,
   "S4_phase": "12.7",
   "S4_scale": "2.09",
   "S6_candidate_scale_where_the_kind_holds": "2.06",
   "S7_global": "2.39"
  },
  "derivative_extremes": {
   "0": [
    "-0.329242",
    "-0.214119"
   ],
   "1": [
    "-0.323901",
    "0.231037"
   ],
   "2": [
    "0.0353902",
    "0.231057"
   ],
   "3": [
    "0.0354589",
    "0.667771"
   ],
   "4": [
    "-0.679653",
    "0.688658"
   ],
   "5": [
    "-0.200374",
    "-0.0825142"
   ],
   "6": [
    "-0.19788",
    "0.0995158"
   ],
   "7": [
    "-0.267658",
    "0.0995234"
   ],
   "8": [
    "-0.381677",
    "0.612416"
   ],
   "9": [
    "-0.381596",
    "0.153808"
   ],
   "10": [
    "0.0476396",
    "0.173166"
   ],
   "11": [
    "-0.346123",
    "0.392398"
   ],
   "12": [
    "-0.337111",
    "0.302103"
   ],
   "13": [
    "-0.513739",
    "0.302158"
   ],
   "14": [
    "-0.513701",
    "-0.225599"
   ],
   "15": [
    "-0.32948",
    "-0.214365"
   ],
   "16": [
    "-0.124739",
    "0.432687"
   ],
   "17": [
    "-0.654156",
    "0.564777"
   ]
  },
  "scans": {
   "32768": {
    "switches": 18,
    "signatures": 18,
    "minima": 8,
    "global_phase": 4.71238898038469,
    "global": 0.9989143390846322
   },
   "65536": {
    "switches": 18,
    "signatures": 18,
    "minima": 8,
    "global_phase": 4.71238898038469,
    "global": 0.9989143390846322
   },
   "131072": {
    "switches": 18,
    "signatures": 18,
    "minima": 8,
    "global_phase": 4.71238898038469,
    "global": 0.9989143390846322
   },
   "262144": {
    "switches": 18,
    "signatures": 18,
    "minima": 8,
    "global_phase": 4.71238898038469,
    "global": 0.9989143390846322
   }
  },
  "certificate": {
   "wing_steps": 262144,
   "interval_digits": 30,
   "premise_beta_above_pi_6_alpha_below_pi_2": true,
   "largest_box": [
    3.6995453180200916e-11,
    1.2331817726733644e-11
   ],
   "s270_at_least": "0.998914339066915",
   "s270_at_most": "0.998914339102351",
   "neighbourhood_half_width": 0.05,
   "derivative_signs": {
    "left_of_3pi_2": true,
    "right_of_3pi_2": true,
    "left_of_2pi_3": true,
    "right_of_2pi_3": true
   },
   "s_2pi_3_corners_minus_s270_at_least": [
    "0.000000001630111",
    "0.000000001630111"
   ],
   "radius_at_most": "0.26734185",
   "lipschitz_at_most": "1.33056835",
   "phase_intervals": 1558,
   "pieces_tiled": true,
   "elsewhere_at_least": "0.998914340958028",
   "elsewhere_worst_midpoint": 0.12403129466423564,
   "elsewhere_minus_s270_upper_at_least": "0.000000001855678",
   "event_least_at_most": "0.998903757132508674955129824903",
   "candidate_least_minus_event_least_at_least": "0.00001058193440636781",
   "certified": true
  }
 },
 "drill": {
  "plants": 18,
  "plants_caught_by_named_checks": 18,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 174,
  "must_stay_green_held": 174,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-report-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-readme-trailing-spaces",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-audit-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "S2",
     "S3",
     "S4",
     "S5",
     "S6",
     "S7",
     "S9"
    ],
    "tripped": [
     "S2",
     "S3",
     "S4",
     "S5",
     "S6",
     "S7",
     "S9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-round08-centre",
    "kind": "mutation",
    "expected": [
     "S1"
    ],
    "tripped": [
     "S1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-source-note",
    "kind": "mutation",
    "expected": [
     "S1"
    ],
    "tripped": [
     "S1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-switch-phase",
    "kind": "mutation",
    "expected": [
     "S2"
    ],
    "tripped": [
     "S2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-switch-scale",
    "kind": "mutation",
    "expected": [
     "S3"
    ],
    "tripped": [
     "S3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-corner-derivative",
    "kind": "mutation",
    "expected": [
     "S3"
    ],
    "tripped": [
     "S3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-stationary-scale",
    "kind": "mutation",
    "expected": [
     "S4"
    ],
    "tripped": [
     "S4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-stationary-place",
    "kind": "mutation",
    "expected": [
     "S4"
    ],
    "tripped": [
     "S4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-sampled-derivative",
    "kind": "mutation",
    "expected": [
     "S5"
    ],
    "tripped": [
     "S5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-guard-count",
    "kind": "mutation",
    "expected": [
     "S5"
    ],
    "tripped": [
     "S5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-minimum-candidate",
    "kind": "mutation",
    "expected": [
     "S6"
    ],
    "tripped": [
     "S6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-ledger-margin",
    "kind": "mutation",
    "expected": [
     "S6"
    ],
    "tripped": [
     "S6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-resolution-count",
    "kind": "mutation",
    "expected": [
     "S7"
    ],
    "tripped": [
     "S7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-cusp-count-word",
    "kind": "mutation",
    "expected": [
     "S8"
    ],
    "tripped": [
     "S8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-readme-count",
    "kind": "mutation",
    "expected": [
     "S8"
    ],
    "tripped": [
     "S8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-section11-digit",
    "kind": "mutation",
    "expected": [
     "S9"
    ],
    "tripped": [
     "S9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-manifest-count",
    "kind": "mutation",
    "expected": [
     "S8"
    ],
    "tripped": [
     "S8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-csv-stationary-count",
    "kind": "mutation",
    "expected": [
     "S2"
    ],
    "tripped": [
     "S2"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}