{
 "run": "RUN-006",
 "subject": "Round 05 (v0.5): the contact-event equations and the nonsmooth KKT system of the five-link",
 "package": {
  "id": "round-v0.5",
  "sha256": "2a86975f16ef806febc8ba73f0264552840877266c0dd5f349b721d872379bb8"
 },
 "checks": {
  "V1": {
   "pass": true,
   "failures": []
  },
  "V2": {
   "pass": true,
   "failures": []
  },
  "V3": {
   "pass": true,
   "failures": []
  },
  "V4": {
   "pass": true,
   "failures": []
  },
  "V5": {
   "pass": true,
   "failures": []
  },
  "V6": {
   "pass": true,
   "failures": []
  },
  "V7": {
   "pass": true,
   "failures": []
  },
  "V8": {
   "pass": true,
   "failures": []
  },
  "V9": {
   "pass": true,
   "failures": []
  },
  "V10": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "precision": {
   "triangle_A_B": 1.1102230246251565e-16,
   "B_over_A_minus_sqrt3": 2.220446049250313e-16,
   "curve_minus_parameters": 5.551115123125783e-17,
   "closed_minus_exact_at_events": 3.3306690738754696e-16,
   "closed_minus_stated": 2.220446049250313e-16,
   "least_scale": [
    0.9989037571325088,
    4.71238898038469
   ],
   "gradients_minus_logged": 8.881784197001252e-16,
   "equations_at_stated": 5.704260373652517e-16,
   "jacobian_minus_logged": 2.6261177676900616e-09
  },
  "newton_from_stated": 2.220446049250313e-16,
  "newton_from_run005": 3.1433189384699745e-15,
  "newton_from_round04": 8.049116928532385e-16,
  "gradient_rank": {
   "singular_values": [
    5.681343497211843,
    0.31408978730694476,
    0.04073710846103402,
    1.691514019392993e-17
   ],
   "left_null_vs_mu": 3.9898639947466563e-16
  },
  "second_order": {
   "curvature_along_null": -0.12268618160079316,
   "curvature_from_values": -0.12268619453692509,
   "null_direction": [
    -0.14003596090960385,
    0.09710608550849104,
    0.541157040709958,
    -0.8234739796128244
   ]
  },
  "newton_returns_of_40": {
   "0.001": 40,
   "0.01": 40,
   "0.03": 32
  },
  "identity_stability": {
   "1e-05": {
    "max_full_minus_closed": 4.440892098500626e-16,
    "max_rise": -1.8258088518852134e-07,
    "distance_min_median_max": [
     5.8349646366067535e-06,
     1.859963683616953e-05,
     3.694217027151147e-05
    ]
   },
   "0.0001": {
    "max_full_minus_closed": 5.551115123125783e-16,
    "max_rise": -5.625399648767626e-06,
    "distance_min_median_max": [
     3.7460896742476665e-05,
     0.0001927415456499004,
     0.00033777591932631273
    ]
   }
  },
  "run005": {
   "value_minus_event": -9.992007221626409e-16,
   "eta_minus_event": [
    1.0222478974419857e-09,
    -7.088616360562128e-10,
    -3.950420213172379e-09,
    6.011321898591326e-09
   ]
  },
  "one_sided_exact_minus_stated": [
   [
    1.5669090080994152e-08,
    -1.7079875680447998e-08
   ],
   [
    1.7079879621739735e-08,
    2.994783254717248e-09
   ],
   [
    -2.3888033218177895e-08,
    3.909952317471266e-08
   ],
   [
    1.5669090136505304e-08,
    1.3835909640214084e-08
   ]
  ],
  "grid_holds_event_phase": {
   "B1": false,
   "B2": false,
   "B3": false,
   "B4": true
  },
  "fifth_minimum_above": 0.03014519905673052,
  "exact_jacobian": {
   "hessian_self_consistency": 2.183453418069803e-11,
   "singular_values": [
    5.8718936927057035,
    5.8493444548186915,
    1.437313893784427,
    1.4015445762889354,
    1.031187082259778,
    0.13092021897223088,
    0.07724825070533355,
    0.042444175023379785,
    0.03607219010513168
   ],
   "condition_number": 162.7817350593958,
   "stated_sigma_min_minus_exact": 3.7662081092681987e-10,
   "stated_singular_values_max_minus_exact": 4.247437956905742e-10,
   "stated_condition_minus_exact": -1.693334951369252e-06,
   "logged_minus_exact": 2.654873432206273e-09,
   "this_run_difference_minus_exact": 1.055188436627219e-09
  },
  "one_sided_differences_step_1e-8": [
   {
    "label": "B1",
    "left_minus_stated": 0.0,
    "right_minus_stated": 1.1102230246251565e-08
   },
   {
    "label": "B2",
    "left_minus_stated": 1.1102230246251565e-08,
    "right_minus_stated": 0.0
   },
   {
    "label": "B3",
    "left_minus_stated": -2.220446049250313e-08,
    "right_minus_stated": 0.0
   },
   {
    "label": "B4",
    "left_minus_stated": 2.220446049250313e-08,
    "right_minus_stated": -1.1102230246251565e-08
   }
  ],
  "critical_line_probes": {
   "straight_line_drop_and_full_minus_closed": {
    "0.0001": [
     [
      -2.040784874424162e-09,
      2.220446049250313e-16
     ],
     [
      -2.0408462697574237e-09,
      0.0
     ]
    ],
    "0.001": [
     [
      -2.0405087053365634e-07,
      0.0
     ],
     [
      -2.0411222645400073e-07,
      0.0
     ]
    ],
    "0.01": [
     [
      -2.0377392430992458e-05,
      1.1102230246251565e-16
     ],
     [
      -2.0438747829532034e-05,
      1.1102230246251565e-16
     ]
    ]
   },
   "level_curve_drop_spread_and_full_minus_closed": {
    "0.001": [
     [
      -6.136951569146731e-08,
      2.220446049250313e-16,
      2.220446049250313e-16
     ],
     [
      -6.131657315222583e-08,
      0.0,
      0.0
     ]
    ],
    "0.003": [
     [
      -5.527987662068412e-07,
      4.440892098500626e-16,
      2.220446049250313e-16
     ],
     [
      -5.513693106529161e-07,
      0.0,
      0.0
     ]
    ],
    "0.01": [
     [
      -6.160316408543309e-06,
      2.220446049250313e-16,
      1.1102230246251565e-16
     ],
     [
      -6.107368602403795e-06,
      2.220446049250313e-16,
      1.1102230246251565e-16
     ]
    ]
   }
  },
  "identity_margins": [
   {
    "hypotenuse": {
     "active": 1,
     "margin": 0.07257691218966733
    },
    "left": {
     "active": 2,
     "margin": 0.006735955536137673
    },
    "bottom": {
     "active": 1,
     "margin": 0.04800054311828799
    }
   },
   {
    "hypotenuse": {
     "active": 1,
     "margin": 0.05875248209895778
    },
    "left": {
     "active": 2,
     "margin": 0.009243986490257329
    },
    "bottom": {
     "active": 1,
     "margin": 0.06772753286279601
    }
   },
   {
    "hypotenuse": {
     "active": 2,
     "margin": 0.4060489518365151
    },
    "left": {
     "active": 1,
     "margin": 0.10955212276101628
    },
    "bottom": {
     "active": 1,
     "margin": 0.050022573436866016
    }
   },
   {
    "hypotenuse": {
     "active": 1,
     "margin": 0.230447307560324
    },
    "left": {
     "active": 2,
     "margin": 0.19303121867427958
    },
    "bottom": {
     "active": 1,
     "margin": 0.022283081614532074
    }
   }
  ]
 },
 "drill": {
  "plants": 19,
  "plants_caught_by_named_checks": 19,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 177,
  "must_stay_green_held": 177,
  "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-curve-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-readme-trailing-spaces",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "V1",
     "V3",
     "V4",
     "V5",
     "V6",
     "V7",
     "V8",
     "V9"
    ],
    "tripped": [
     "V1",
     "V3",
     "V4",
     "V5",
     "V6",
     "V7",
     "V8",
     "V9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-common-scale",
    "kind": "mutation",
    "expected": [
     "V10",
     "V3",
     "V4",
     "V6",
     "V8"
    ],
    "tripped": [
     "V10",
     "V3",
     "V4",
     "V6",
     "V8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-event-phase",
    "kind": "mutation",
    "expected": [
     "V10",
     "V2",
     "V4"
    ],
    "tripped": [
     "V10",
     "V2",
     "V4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-length-l1",
    "kind": "mutation",
    "expected": [
     "V1",
     "V10",
     "V3",
     "V4",
     "V5",
     "V6",
     "V8"
    ],
    "tripped": [
     "V1",
     "V10",
     "V3",
     "V4",
     "V5",
     "V6",
     "V8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-pressure",
    "kind": "mutation",
    "expected": [
     "V10",
     "V6",
     "V7",
     "V8"
    ],
    "tripped": [
     "V10",
     "V6",
     "V7",
     "V8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-singular-value",
    "kind": "mutation",
    "expected": [
     "V10",
     "V7"
    ],
    "tripped": [
     "V10",
     "V7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-contact-ledger",
    "kind": "mutation",
    "expected": [
     "V10",
     "V9"
    ],
    "tripped": [
     "V10",
     "V9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-cusp-slope",
    "kind": "mutation",
    "expected": [
     "V10",
     "V9"
    ],
    "tripped": [
     "V10",
     "V9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-improvement",
    "kind": "mutation",
    "expected": [
     "V10",
     "V6"
    ],
    "tripped": [
     "V10",
     "V6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-grid-minimum",
    "kind": "mutation",
    "expected": [
     "V4"
    ],
    "tripped": [
     "V4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-gradient-entry",
    "kind": "mutation",
    "expected": [
     "V10",
     "V5"
    ],
    "tripped": [
     "V10",
     "V5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-jacobian-entry",
    "kind": "mutation",
    "expected": [
     "V7"
    ],
    "tripped": [
     "V7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-trial-distance",
    "kind": "mutation",
    "expected": [
     "V8"
    ],
    "tripped": [
     "V8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-curve-point",
    "kind": "mutation",
    "expected": [
     "V1"
    ],
    "tripped": [
     "V1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-report-digit",
    "kind": "mutation",
    "expected": [
     "V10"
    ],
    "tripped": [
     "V10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-readme-digit",
    "kind": "mutation",
    "expected": [
     "V10"
    ],
    "tripped": [
     "V10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-source-count",
    "kind": "mutation",
    "expected": [
     "V10"
    ],
    "tripped": [
     "V10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-formula-term",
    "kind": "mutation",
    "expected": [
     "V3",
     "V4",
     "V5",
     "V6",
     "V7",
     "V8",
     "V9"
    ],
    "tripped": [
     "V3",
     "V4",
     "V5",
     "V6",
     "V7",
     "V8",
     "V9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-event-degrees",
    "kind": "mutation",
    "expected": [
     "V10",
     "V2"
    ],
    "tripped": [
     "V10",
     "V2"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}