{
 "run": "RUN-016",
 "subject": "Round 15 (v0.15): curvature function modes, the pressure-projected Hessian, the branch-opening window and the eight-mode candidate",
 "package": {
  "id": "round-v0.15",
  "sha256": "21f48cf6db6301e0538d5010168358f064e07612891c088cff1f59ee3d8eb443"
 },
 "checks": {
  "Z1": {
   "pass": true,
   "failures": []
  },
  "Z2": {
   "pass": true,
   "failures": []
  },
  "Z3": {
   "pass": false,
   "failures": [
    "the parameter gradients are not the branches' partial derivatives at the base"
   ]
  },
  "Z4": {
   "pass": true,
   "failures": []
  },
  "Z5": {
   "pass": true,
   "failures": []
  },
  "Z6": {
   "pass": false,
   "failures": [
    "at the five-parameter solution the pressure-weighted mode gradients do not vanish: it is not stationary in the modes"
   ]
  },
  "Z7": {
   "pass": true,
   "failures": []
  },
  "Z8": {
   "pass": false,
   "failures": [
    "ledger row m = 3.2235: below the window the full scale is not the four-branch scale",
    "ledger row m = 3.224: below the window the full scale is not the four-branch scale",
    "ledger row m = 3.2244: below the window the full scale is not the four-branch scale",
    "ledger row m = 3.2245: below the window the full scale is not the four-branch scale"
   ]
  },
  "Z9": {
   "pass": true,
   "failures": []
  },
  "Z10": {
   "pass": false,
   "failures": [
    "the report prints the least, the gain and the latent margin past the digits the curve holds"
   ]
  }
 },
 "findings": {
  "curve_file_largest_difference": 4.2804371158666754e-12,
  "final_exact": {
   "c120": "0.99891448071696447977",
   "c270": "0.99891448071696486256",
   "B1": "0.99891448112086535179",
   "B2": "0.99891448173927109999",
   "latent": "0.99891448372155292519",
   "least": "0.99891448071696447977"
  },
  "final_least_minus_stated": {
   "highest_resolution": "-1.84e-14",
   "by_resolution": {
    "6001": "-9.8e-16",
    "12001": "5.2e-16",
    "24001": "6.72e-15",
    "48001": "1.62e-15",
    "96001": "-1.84e-14"
   }
  },
  "final_branches_above_least": {
   "c270": "3.82793e-16",
   "B1": "4.03901e-10",
   "B2": "1.02231e-9",
   "latent": "3.00459e-9"
  },
  "latent_margin_exact": "3.0045884e-9",
  "gain_over_round13_exact": "1.37419479448e-7",
  "listed_minima_exact": [
   {
    "phase": "2.09439510239",
    "scale": "0.9989144807169645"
   },
   {
    "phase": "4.71238898038",
    "scale": "0.9989144807169649"
   },
   {
    "phase": "0.155043707721",
    "scale": "0.9989144811208654"
   },
   {
    "phase": "0.123610808954",
    "scale": "0.9989144817392711"
   },
   {
    "phase": "0.138424644635",
    "scale": "0.9989144837215529"
   },
   {
    "phase": "1.73614850885",
    "scale": "1.029348172727588"
   },
   {
    "phase": "5.23598775598",
    "scale": "1.081427088911554"
   },
   {
    "phase": "3.0281924538",
    "scale": "1.099806229894026"
   },
   {
    "phase": "3.77890049357",
    "scale": "1.127584185185214"
   }
  ],
  "listed_minima_stated_minus_exact": [
   [
    "-1.92e-16",
    "-1.84e-14"
   ],
   [
    "1.42e-16",
    "-1.6e-14"
   ],
   [
    "-2.48e-9",
    "-5.25e-15"
   ],
   [
    "2.86e-9",
    "-6.3e-15"
   ],
   [
    "3.86e-9",
    "-5.83e-15"
   ],
   [
    "-9.59e-11",
    "-1.51e-14"
   ],
   [
    "-2.07e-14",
    "-1.61e-14"
   ],
   [
    "1.01e-12",
    "-8.8e-15"
   ],
   [
    "-1.92e-9",
    "-6.37e-15"
   ]
  ],
  "dense_scan_local_minima": 9,
  "base_exact": {
   "values": [
    "0.99891434421084619",
    "0.99891434420912835",
    "0.99891434324276693",
    "0.9989143432427674"
   ],
   "least": "0.99891434324276693",
   "stated_minus_exact": "-2.84e-13",
   "low_branches_above_cusps": "9.664e-10"
  },
  "base_parameter_gradients_stated_minus_exact_largest": {
   "low_branches": "1.02e-5",
   "cusps": "3.0e-10"
  },
  "profile_zero_row_minus_base_exact": [
   "-9.68e-10",
   "-9.66e-10",
   "3.66e-16",
   "2.05e-16"
  ],
  "base_mode_gradients_stated_minus_exact_largest": "8.09e-8",
  "base_weighted_mode_gradient_exact": [
   "-6.37763e-9",
   "4.8095e-7",
   "1.60804e-8",
   "-1.97875e-6",
   "5.99676e-9",
   "5.42424e-7",
   "1.06249e-9",
   "3.95438e-7"
  ],
  "solution_weighted_mode_gradient": {
   "translation_like_P1": "-1.93344e-14",
   "width_split_P2": "4.8108e-7",
   "skew_P3": "1.4939e-8",
   "shoulder_P4": "-1.97872e-6",
   "tail_skew_P5": "5.74105e-9",
   "triple_peak_P6": "5.42425e-7",
   "wave_P7": "1.32656e-9",
   "wave_P8": "3.95459e-7"
  },
  "base_minus_solution_parameters": [
   "-3.81e-9",
   "4.38e-8",
   "-6.53e-8",
   "-2.97e-8",
   "4.8e-9"
  ],
  "base_pressures_minus_solution": [
   "-1.1e-5",
   "1.13e-5",
   "3.08e-7",
   "-5.98e-7"
  ],
  "newton_direction_cosines": {
   "minus_H_inverse_g": 0.633958262634542,
   "seven_negative_directions": 0.9999298197621147,
   "six_most_negative_directions": 0.9999999636526148,
   "components_along_weakest_negative_and_positive": [
    -4.77e-18,
    -1.73e-17
   ],
   "ratio_to_newton_step_six_directions": [
    0.0433,
    0.043476,
    0.04353,
    0.043357,
    0.043324,
    0.043339
   ]
  },
  "ledger_full_minus_four_branch": [
   [
    3.2235,
    -1.027e-07
   ],
   [
    3.224,
    -3.554e-08
   ],
   [
    3.2244,
    -3.748e-09
   ],
   [
    3.2245,
    -1.513e-09
   ],
   [
    3.228,
    -9.912e-09
   ],
   [
    3.2285,
    -9.205e-09
   ],
   [
    3.229,
    -8.501e-09
   ],
   [
    3.23,
    -1.407e-08
   ],
   [
    3.24,
    -4.05e-08
   ],
   [
    3.25,
    -6.468e-08
   ],
   [
    3.27,
    -1.177e-07
   ],
   [
    3.3,
    -1.97e-07
   ],
   [
    3.33,
    -2.75e-07
   ],
   [
    3.4,
    -4.652e-07
   ],
   [
    3.6,
    -9.041e-07
   ],
   [
    3.8,
    -1.404e-06
   ],
   [
    4.0,
    -1.947e-06
   ],
   [
    4.3,
    -2.62e-06
   ],
   [
    4.6,
    -3.396e-06
   ],
   [
    5.0,
    -4.306e-06
   ]
  ],
  "profile_cusps_stated_minus_exact": {
   "shoulder_P4 -0.04": [
    "-2.27e-16",
    "-7.01e-17"
   ],
   "shoulder_P4 0.04": [
    "-1.74e-15",
    "-1.4e-15"
   ],
   "wave_P8 -0.04": [
    "-9.86e-16",
    "-8.14e-16"
   ],
   "wave_P8 0.04": [
    "1.39e-15",
    "1.41e-15"
   ]
  },
  "first_order_term_at_solution": "1.55833e-7",
  "first_order_term_at_base": "1.5588e-7",
  "second_order_term_stated_hessian": "-1.09001e-8",
  "newton_line_rows_rebuilt": {
   "1.0": "-1.1e-15",
   "2.0": "-5.14e-16"
  },
  "curve_file_t_from_other_layers": {
   "round15_base": 4.98818208960472e-11,
   "run014_solution": 3.8900827004084704e-11,
   "candidate_own": 1.0647829243315421e-07
  },
  "certificate": {
   "target": "0.99891448056696447977",
   "wing_steps": 262144,
   "interval_digits": 30,
   "premise_beta_above_pi_6_alpha_below_pi_2": true,
   "largest_box": [
    4.8122981846438445e-12,
    1.6040990063388525e-12
   ],
   "s270_at_least": "0.998914480714660181",
   "s270_at_most": "0.998914480719269544",
   "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.998914480715277336",
    "0.998914480715277336"
   ],
   "lipschitz_at_most": "1.33056963",
   "phase_intervals": 1598,
   "intervals_refused_and_split": 0,
   "pieces_tiled": true,
   "elsewhere_at_least": "0.998914480841346124",
   "elsewhere_worst_midpoint": 0.15513270331117804,
   "certified": true,
   "round13_least_at_most": "0.998914343315416653",
   "round13_least_at_least": "0.998914343147485100",
   "gain_over_round13_at_least": "0.000000137251547827",
   "gain_over_round13_at_most": "0.000000137571784444"
  }
 },
 "drill": {
  "plants": 25,
  "plants_caught_by_named_checks": 25,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 259,
  "must_stay_green_held": 259,
  "unplanted_checks": [
   "Z6"
  ],
  "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-profiles-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "Z3",
     "Z7",
     "Z8",
     "Z9"
    ],
    "tripped": [
     "Z3",
     "Z7",
     "Z8",
     "Z9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-mode-maximum",
    "kind": "mutation",
    "expected": [
     "Z1"
    ],
    "tripped": [
     "Z1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-gram-error",
    "kind": "mutation",
    "expected": [
     "Z1"
    ],
    "tripped": [
     "Z1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-curve-point",
    "kind": "mutation",
    "expected": [
     "Z2"
    ],
    "tripped": [
     "Z2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-curve-reversed",
    "kind": "mutation",
    "expected": [
     "Z2"
    ],
    "tripped": [
     "Z2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-newton-first-row",
    "kind": "mutation",
    "expected": [
     "Z3"
    ],
    "tripped": [
     "Z3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-stationarity-norm",
    "kind": "mutation",
    "expected": [
     "Z3"
    ],
    "tripped": [
     "Z3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-mode-gradient",
    "kind": "mutation",
    "expected": [
     "Z4",
     "Z8",
     "Z9"
    ],
    "tripped": [
     "Z4",
     "Z8",
     "Z9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-compensation",
    "kind": "mutation",
    "expected": [
     "Z4",
     "Z8"
    ],
    "tripped": [
     "Z4",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-hessian-file",
    "kind": "mutation",
    "expected": [
     "Z5"
    ],
    "tripped": [
     "Z5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-positive-count",
    "kind": "mutation",
    "expected": [
     "Z5"
    ],
    "tripped": [
     "Z5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-coefficient",
    "kind": "mutation",
    "expected": [
     "Z7"
    ],
    "tripped": [
     "Z7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-audit-spread",
    "kind": "mutation",
    "expected": [
     "Z7"
    ],
    "tripped": [
     "Z7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-listed-minimum",
    "kind": "mutation",
    "expected": [
     "Z7"
    ],
    "tripped": [
     "Z7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-minimum-count",
    "kind": "mutation",
    "expected": [
     "Z7"
    ],
    "tripped": [
     "Z7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-newton-norm",
    "kind": "mutation",
    "expected": [
     "Z8"
    ],
    "tripped": [
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-ledger-four-branch",
    "kind": "mutation",
    "expected": [
     "Z8"
    ],
    "tripped": [
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-takeover-window",
    "kind": "mutation",
    "expected": [
     "Z8"
    ],
    "tripped": [
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-profile-cusp",
    "kind": "mutation",
    "expected": [
     "Z9"
    ],
    "tripped": [
     "Z9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-profile-minimum",
    "kind": "mutation",
    "expected": [
     "Z9"
    ],
    "tripped": [
     "Z9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M21-readme-gain",
    "kind": "mutation",
    "expected": [
     "Z10"
    ],
    "tripped": [
     "Z10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M22-report-resolution-row",
    "kind": "mutation",
    "expected": [
     "Z10"
    ],
    "tripped": [
     "Z10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M23-audit-hidden-phase",
    "kind": "mutation",
    "expected": [
     "Z10"
    ],
    "tripped": [
     "Z10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M24-handoff-phase",
    "kind": "mutation",
    "expected": [
     "Z10"
    ],
    "tripped": [
     "Z10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M25-manifest-files",
    "kind": "mutation",
    "expected": [
     "Z10"
    ],
    "tripped": [
     "Z10"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}