{
 "run": "RUN-014",
 "subject": "Round 13 (v0.13): the five-parameter smooth event-KKT system - branches, gradients, pressures, Jacobian, restarts, ledger, phase audit",
 "package": {
  "id": "round-v0.13",
  "sha256": "35ea4218bb7396137f226d4b3b8d9ae34b6581306b2df84f28f7defea2f880e4"
 },
 "checks": {
  "X1": {
   "pass": true,
   "failures": []
  },
  "X2": {
   "pass": true,
   "failures": []
  },
  "X3": {
   "pass": true,
   "failures": []
  },
  "X4": {
   "pass": true,
   "failures": []
  },
  "X5": {
   "pass": false,
   "failures": [
    "the stated singular values and condition number are not the system's Jacobian's"
   ]
  },
  "X6": {
   "pass": true,
   "failures": []
  },
  "X7": {
   "pass": true,
   "failures": []
  },
  "X8": {
   "pass": false,
   "failures": [
    "the other minimum at 1.73608 is not the exact minimum near it",
    "the other minimum at 3.02827 is not the exact minimum near it",
    "the other minimum at 3.02827 is not a contact switch minimum",
    "the other minimum at 5.23599 is not the exact minimum near it"
   ]
  },
  "X9": {
   "pass": false,
   "failures": [
    "section 7's projection is not the stated gradients'",
    "the report prints the pressures, gradients and width past the decimals the quantities hold"
   ]
  }
 },
 "findings": {
  "branch_values_60_digits": {
   "B1_low": "0.998914343297489195",
   "B2_low": "0.99891434329748503217",
   "B3_120deg": "0.99891434329754211072",
   "B4_270deg": "0.99891434329754244049"
  },
  "branch_values_stated_minus_exact": {
   "B1_low": "5.0e-18",
   "B2_low": "6.78e-17",
   "B3_120deg": "-1.07e-17",
   "B4_270deg": "5.95e-17"
  },
  "low_phases_stated_minus_exact": [
   "-3.56e-18",
   "4.23e-18"
  ],
  "spread_exact": "5.74083e-14",
  "improvement_exact": "4.21285231492e-9",
  "gradients_stated_minus_exact_largest": "1.6e-7",
  "residual_of_stated_pressures_with_exact_gradients": [
   "1.96e-8",
   "-2.43e-8",
   "-5.5e-9",
   "-2.88e-8",
   "1.27e-9"
  ],
  "kkt_solution": {
   "wing_length": "0.3361042847278506788268519",
   "beta": "1.405407700823565984516449",
   "delta": "0.05200850715401492770858606",
   "transition_center": "0.5801647318213738154741939",
   "epsilon": "0.03682340567498680833073631",
   "phi1": "0.1548658549267406464319907",
   "phi2": "0.1239028898684061800179597",
   "s": "0.9989143432975391108302477",
   "mu1": "0.02825389228178012617542336",
   "mu2": "0.02837415952484391023806936",
   "mu3": "0.7360431486442180588730174",
   "mu4": "0.2073287995491579047134899"
  },
  "kkt_stated_minus_solution": {
   "wing_length": "-1.7e-10",
   "beta": "4.22e-9",
   "delta": "-6.77e-9",
   "transition_center": "-1.87e-9",
   "epsilon": "-6.13e-8",
   "phi1": "6.62e-8",
   "phi2": "-6.78e-8",
   "s": "-5.4e-14",
   "mu1": "-1.56e-6",
   "mu2": "1.6e-6",
   "mu3": "1.14e-8",
   "mu4": "-5.95e-8"
  },
  "kkt_chord_steps": 6,
  "kkt_residual": "9.54e-39",
  "jacobian_singular_values": [
   5.40364,
   4.29411,
   2.15029,
   1.36153,
   1.17838,
   0.861234,
   0.433435,
   0.0886664,
   0.0663322,
   0.0236358,
   0.0135034,
   0.00254196
  ],
  "jacobian_condition": 2125.77,
  "jacobian_steps_relative_difference": 0.0,
  "gradient_singular_values_at_solution": [
   "4.0319",
   "0.31178",
   "0.013175",
   "4.8388e-31"
  ],
  "reduced_hessian_eigenvalues": [
   "-0.112806",
   "-0.022814"
  ],
  "low_branch_phase_curvature": [
   "0.344144",
   "0.344144"
  ],
  "projection_stated_gradients": "5.985e-9",
  "projection_exact_gradients_at_stated_point": "1.651e-9",
  "printed_digits": {
   "pressures": [
    [
     "0.0282523300",
     10,
     5
    ],
    [
     "0.0283757600",
     10,
     5
    ],
    [
     "0.7360431600",
     10,
     7
    ],
    [
     "0.2073287400",
     10,
     7
    ]
   ],
   "gradients": [
    [
     "-2.865884868",
     9,
     6
    ],
    [
     "-0.248527131",
     9,
     7
    ],
    [
     "-0.010715915",
     9,
     8
    ],
    [
     "-0.006727360",
     9,
     7
    ],
    [
     "-0.007779309",
     9,
     7
    ],
    [
     "-2.793250780",
     9,
     7
    ],
    [
     "-0.268319607",
     9,
     7
    ],
    [
     "-0.019829414",
     9,
     7
    ],
    [
     "-0.025109379",
     9,
     8
    ],
    [
     "-0.007772916",
     9,
     8
    ],
    [
     "0.261986134",
     9,
     8
    ],
    [
     "0.095277667",
     9,
     8
    ],
    [
     "0.047078423",
     9,
     8
    ],
    [
     "0.005108074",
     9,
     9
    ],
    [
     "0.000473420",
     9,
     8
    ],
    [
     "-0.157260180",
     9,
     8
    ],
    [
     "-0.267658292",
     9,
     9
    ],
    [
     "-0.162960229",
     9,
     8
    ],
    [
     "-0.013781158",
     9,
     9
    ],
    [
     "0.000443204",
     9,
     8
    ]
   ],
   "width": [
    [
     "0.036441801352",
     12,
     10
    ]
   ]
  },
  "restart_scales_below_candidate": [
   2.328e-13,
   2.723e-13
  ],
  "curvature_exact": {
   "peak": 2.1011016211133104,
   "width": 0.036441801337096826,
   "stated_width_minus_exact": 1.465935706157495e-11
  },
  "switches": 18,
  "corner_switches": [
   "0.0",
   "1.57079632679",
   "2.09439510239",
   "3.14159265359",
   "4.71238898038",
   "5.23598775598"
  ],
  "stationary_points": 13,
  "local_minima": [
   {
    "source": "smooth",
    "phase": "0.123902822042",
    "scale": "0.9989143432975",
    "to_next_switch": "0.0415"
   },
   {
    "source": "smooth",
    "phase": "0.154865921089",
    "scale": "0.9989143432975",
    "to_next_switch": "0.0105"
   },
   {
    "source": "contact switch",
    "phase": "2.09439510239",
    "scale": "0.9989143432975"
   },
   {
    "source": "contact switch",
    "phase": "4.71238898038",
    "scale": "0.9989143432975"
   },
   {
    "source": "smooth",
    "phase": "1.73615628997",
    "scale": "1.02934952044",
    "to_next_switch": "2.87e-5"
   },
   {
    "source": "contact switch",
    "phase": "5.23598775598",
    "scale": "1.081427224717"
   },
   {
    "source": "smooth",
    "phase": "3.02821252717",
    "scale": "1.099809253961",
    "to_next_switch": "5.04e-9"
   },
   {
    "source": "smooth",
    "phase": "3.77896127642",
    "scale": "1.127589335378",
    "to_next_switch": "0.0516"
   }
  ],
  "stated_other_minima_against_s": [
   {
    "phase": 1.73608,
    "stated": 1.029349885,
    "s_at_phase": "1.029349907903"
   },
   {
    "phase": 3.02827,
    "stated": 1.0998191738,
    "s_at_phase": "1.099819204488"
   },
   {
    "phase": 3.77896,
    "stated": 1.1275893354,
    "s_at_phase": "1.127589335405"
   },
   {
    "phase": 5.23599,
    "stated": 1.0814431618,
    "s_at_phase": "1.081428492092"
   }
  ],
  "certificate": {
   "target": "0.99891434314748510000",
   "wing_steps": 262144,
   "interval_digits": 30,
   "premise_beta_above_pi_6_alpha_below_pi_2": true,
   "largest_box": [
    3.73223117943905e-11,
    1.2440770598130171e-11
   ],
   "s270_at_least": "0.998914343279668228",
   "s270_at_most": "0.998914343315416653",
   "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_at_least": [
    "0.998914343284457279",
    "0.998914343284457279"
   ],
   "lipschitz_at_most": "1.33056926",
   "phase_intervals": 1587,
   "intervals_refused_and_split": 0,
   "pieces_tiled": true,
   "elsewhere_at_least": "0.998914343182500262",
   "elsewhere_worst_midpoint": 0.1238597221992826,
   "certified": true,
   "round08_least_within": [
    "0.998914339066915042",
    "0.998914339102350392"
   ],
   "gain_over_round08_at_least": "0.000000004045134708",
   "gain_over_round08_at_most": "0.000000004248501610"
  }
 },
 "drill": {
  "plants": 22,
  "plants_caught_by_named_checks": 22,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 209,
  "must_stay_green_held": 209,
  "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-restarts-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "X1",
     "X2",
     "X4",
     "X8"
    ],
    "tripped": [
     "X1",
     "X2",
     "X4",
     "X8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-reference-epsilon",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-centre-length",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-branch-value",
    "kind": "mutation",
    "expected": [
     "X2"
    ],
    "tripped": [
     "X2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-distance-to-one",
    "kind": "mutation",
    "expected": [
     "X2"
    ],
    "tripped": [
     "X2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-gradient-270-delta",
    "kind": "mutation",
    "expected": [
     "X3"
    ],
    "tripped": [
     "X3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-gradient-B2-epsilon",
    "kind": "mutation",
    "expected": [
     "X3"
    ],
    "tripped": [
     "X3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-pressure",
    "kind": "mutation",
    "expected": [
     "X4"
    ],
    "tripped": [
     "X4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-unknown-count",
    "kind": "mutation",
    "expected": [
     "X4"
    ],
    "tripped": [
     "X4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-rank",
    "kind": "mutation",
    "expected": [
     "X5"
    ],
    "tripped": [
     "X5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-singular-values",
    "kind": "mutation",
    "expected": [
     "X5"
    ],
    "tripped": [
     "X5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-gradient-file",
    "kind": "mutation",
    "expected": [
     "X6"
    ],
    "tripped": [
     "X6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-restart-scale",
    "kind": "mutation",
    "expected": [
     "X6"
    ],
    "tripped": [
     "X6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-manifest-files",
    "kind": "mutation",
    "expected": [
     "X6"
    ],
    "tripped": [
     "X6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-peak",
    "kind": "mutation",
    "expected": [
     "X7"
    ],
    "tripped": [
     "X7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-width",
    "kind": "mutation",
    "expected": [
     "X7"
    ],
    "tripped": [
     "X7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-minimum-count",
    "kind": "mutation",
    "expected": [
     "X8"
    ],
    "tripped": [
     "X8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-minimum-source",
    "kind": "mutation",
    "expected": [
     "X8"
    ],
    "tripped": [
     "X8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-report-share",
    "kind": "mutation",
    "expected": [
     "X9"
    ],
    "tripped": [
     "X9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-readme-gain",
    "kind": "mutation",
    "expected": [
     "X9"
    ],
    "tripped": [
     "X9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M21-handoff-base",
    "kind": "mutation",
    "expected": [
     "X9"
    ],
    "tripped": [
     "X9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M22-audit-restarts",
    "kind": "mutation",
    "expected": [
     "X9"
    ],
    "tripped": [
     "X9"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}