{
 "run": "RUN-066",
 "subject": "BCODR LUC 04: the tangent decomposition of root 127's true-overlap germ",
 "document": "main.zip!/BCODR/BCODR_LUC_04_Package_v0.1.zip!/BCODR_LUC_04_True_Overlap_Germ_Tangent_Decomposition_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": true,
   "failures": []
  },
  "W7": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "r": "0.002545286340304561",
  "T": "0.12695366779092487910",
  "T_is_luc03": true,
  "z_printed": 3e-10,
  "z_result": 3e-10,
  "T_printed": 1.7e-14,
  "active": [
   true,
   true,
   [
    true,
    true
   ]
  ]
 },
 "w2": {
  "g": [
   1e-09,
   3e-10
  ],
  "alpha": [
   "0.23944475705941",
   7.1e-12
  ],
  "eta": [
   "0.12035442698726",
   3e-13
  ],
  "stationary": true,
  "singular": [
   1.0133,
   0.07374,
   true
  ],
  "collinear_off_rstar": true,
  "result_rank": 2,
  "result_alpha": 7.1e-12
 },
 "w3": {
  "slope": [
   "-0.4041979697",
   1.9e-08
  ],
  "D_plus": [
   "1706.98000390142",
   4e-11
  ],
  "Q_plus": 6e-11,
  "Q_minus": true,
  "eig_Q_plus": [
   -0.0011924,
   1.0,
   1.0
  ],
  "dimension": [
   3,
   3
  ]
 },
 "w4": {
  "kappa": [
   "0.45429481026314",
   1.5e-11
  ],
  "t": "0.4996",
  "v_soft": 2e-07,
  "x5": 0.0,
  "forms_equal": true,
  "result": 1.5e-11
 },
 "w5": {
  "lagrangian": [
   "0.236577",
   "0.239445",
   "0.763138"
  ],
  "isolated": true,
  "softest": [
   0.0,
   -0.9992,
   -0.0382,
   0.0,
   0.0154
  ],
  "predicted": {
   "x5": "0.239444",
   "y3": "0.236854"
  },
  "slices": {
   "x5": {
    "1e-3": "0.239473",
    "3e-4": "0.239447",
    "1e-4": "0.239445"
   },
   "y3": {
    "1e-3": "0.236881",
    "3e-4": "0.236856",
    "1e-4": "0.236854"
   }
  },
  "slice_error_at_1e-4": {
   "x5": 3e-07,
   "y3": 2e-07
  },
  "extent": [
   "1.03598",
   "1.02976",
   "0.7475"
  ],
  "cost": [
   "0.931745",
   "1.7892"
  ],
  "line_model": {
   "x5": 1,
   "y3": "0.991753"
  }
 },
 "w6": {
  "radius_is_luc03": true,
  "coefficients": [
   true,
   true
  ],
  "state": [
   "SECOND_ORDER_ISOLATED_TRUE_OVERLAP_GERM",
   2,
   3,
   0,
   true
  ],
  "interpretation": [
   3,
   0
  ],
  "definition": "min_{||v||=1,v in Tcrit} max(v^T Hplus v, v^T Hminus v)",
  "next": "Compare root 131 balanced separated germ or delegate interval certification of root 127."
 },
 "w7": {
  "lines": 44,
  "reads": 1,
  "fails": 7,
  "threshold": [
   "0.4"
  ],
  "geometry": false
 },
 "p1": {
  "digests": {
   "paper_sha256": true,
   "result_sha256": true,
   "plot_sha256": true,
   "verifier_sha256": true,
   "state_sha256": true
  },
  "manifest": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "replay": [
   "PASS",
   "active gradient rank = 2",
   "critical tangent dimension = 3",
   "kappa_germ = 0.45429481027797036",
   "Qplus soft = 0.45429481027797036",
   "Qminus soft = 0.4542948102779702",
   "radius growth coefficient = 1.7892149875735401"
  ]
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 163,
  "must_stay_green_held": 163,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-result-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-text-kappa",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-meeting-point",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-luc03-T",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-alpha",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-collinear",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-D-plus",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-Q-plus",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-kappa-line",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-result-kappa",
    "kind": "mutation",
    "expected": [
     "W4",
     "W6"
    ],
    "tripped": [
     "W4",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-slice",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-lagrangian",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-coefficient",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-state",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-verifier-geometry",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-paper-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}