{
 "run": "RUN-065",
 "subject": "BCODR LUC 03: the true common-point overlap time of the nine frontier parents",
 "document": "main.zip!/BCODR/BCODR_LUC_03_Package_v0.1.zip!/BCODR_LUC_03_True_Common_Point_Overlap_and_Provenance_Resolution_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": {
  "T_box": 1e-09,
  "T_true": 8e-13,
  "theorem": true,
  "zero_gap": [
   101,
   103,
   104,
   164,
   165,
   166,
   167
  ],
  "negative_raw": [
   101,
   103,
   104,
   164,
   165,
   166,
   167
  ],
  "raw_is_grid": 5e-13,
  "gaps": {
   "131": "0.047333349891945",
   "127": "0.00195366779092488"
  }
 },
 "w2": {
  "modes": {
   "131": "BALANCED_BOTH_ACTIVE",
   "166": "OUTWARD_LIMITED",
   "167": "OUTWARD_LIMITED",
   "164": "OUTWARD_LIMITED",
   "165": "OUTWARD_LIMITED",
   "127": "BALANCED_BOTH_ACTIVE",
   "101": "OUTWARD_LIMITED",
   "104": "OUTWARD_LIMITED",
   "103": "OUTWARD_LIMITED"
  },
  "ledger": true,
  "mu": {
   "131": "0.5",
   "127": "0.239445"
  },
  "balanced": [
   127,
   131
  ],
  "ledger_balanced": [
   127,
   131
  ],
  "ledger_outward": true,
  "balanced_equal": true,
  "outward_inside": 0.026
 },
 "w3": {
  "first": {
   "131": [
    155
   ],
   "166": [
    155
   ],
   "167": [
    155
   ],
   "164": [
    155
   ],
   "165": [
    155
   ],
   "127": [
    155
   ],
   "101": [
    28,
    68,
    144,
    155
   ],
   "104": [
    28,
    68,
    144,
    155
   ],
   "103": [
    28,
    68,
    144,
    155
   ]
  },
  "second": {
   "131": [
    144
   ],
   "166": [
    144
   ],
   "167": [
    144
   ],
   "164": [
    28,
    68,
    144
   ],
   "165": [
    144
   ],
   "127": [
    144
   ],
   "101": [
    36
   ],
   "104": [
    36
   ],
   "103": [
    36
   ]
  },
  "ledger_first_in_ties": true,
  "ledger_second_in_ties": true,
  "margins": 2e-12,
  "degenerate_ledger_margins": [
   1.4e-13,
   2e-13,
   4.4e-16
  ],
  "next_after_ties": {
   "101": "0.181738",
   "104": "0.239762",
   "103": "0.19536"
  },
  "164_second": "0.3952847075210474165",
  "sqrt_5_32": "0.3952847075210474165"
 },
 "w4": {
  "mu_half": true,
  "half_ray_to_155": true,
  "inside_131": true,
  "T": "0.04733334989194496",
  "ledger": [
   8e-13,
   2.7855833491842798e-08
  ],
  "second_144": [
   [
    144
   ],
   true,
   [
    0,
    0,
    0.125,
    0,
    0.125
   ],
   true
  ],
  "ledger_second_below_bound": 1.3e-12,
  "rho": "0.002540688875"
 },
 "w5": {
  "reduction_is_5d": true,
  "T": "0.12695366779092487911",
  "lambda_is_1_minus_mu": true,
  "rho": "0.0025452863403046",
  "lambda": "0.76055524294058",
  "face": [
   "-0.125",
   "-0.25",
   "-0.4375",
   "0.375"
  ],
  "active": [
   true,
   true,
   true
  ],
  "printed": {
   "reduced_T": 1e-16,
   "slsqp_T": 1.7e-14,
   "rho": 3.7e-11,
   "lambda": 7.1e-12,
   "T_at_printed_rho_above": 2e-18
  },
  "gap": "0.00195366779092488",
  "ledger": [
   155,
   2e-14,
   2e-16
  ]
 },
 "w6": {
  "csv": [
   9,
   true,
   true
  ],
  "state": [
   [
    127,
    131
   ],
   [
    166,
    167,
    164,
    165,
    101,
    104,
    103
   ]
  ],
  "state_matches": [
   true,
   true,
   true,
   true,
   true
  ],
  "role": "BALANCED_NEAR_TRUE_OVERLAP_GERM",
  "next": "BCODR-LUC-04 — True Overlap Germ Tangent Decomposition",
  "rows_match_reduction": true,
  "heuristic": {
   "127": 144,
   "104": 144,
   "103": 144
  }
 },
 "w7": {
  "lines": 46,
  "reads": 1,
  "fails": 11,
  "constants": [
   "0.04",
   "155",
   "1e-6",
   "1e-8",
   "[127, 131]"
  ],
  "geometry": false
 },
 "p1": {
  "digests": {
   "paper_sha256": true,
   "ledger_sha256": true,
   "csv_sha256": true,
   "plot_sha256": true,
   "verifier_sha256": true,
   "state_sha256": true
  },
  "plot_present": true,
  "manifest": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "replay": [
   "PASS",
   "balanced true-overlap germs = [127, 131]",
   "outward-limited selected cells = [166, 167, 164, 165, 101, 104, 103]",
   "root131 T_true = 0.04733334989273121",
   "root127 T_true = 0.12695366779094175",
   "root127 provenance = 155"
  ]
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 160,
  "must_stay_green_held": 160,
  "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-ledger-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-text-reduced-T",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-T-true",
    "kind": "mutation",
    "expected": [
     "W1",
     "W6"
    ],
    "tripped": [
     "W1",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-raw-gap",
    "kind": "mutation",
    "expected": [
     "W1",
     "W6"
    ],
    "tripped": [
     "W1",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-mode",
    "kind": "mutation",
    "expected": [
     "W2",
     "W6"
    ],
    "tripped": [
     "W2",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-mu",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-provenance",
    "kind": "mutation",
    "expected": [
     "W3",
     "W6"
    ],
    "tripped": [
     "W3",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-tie",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-midpoint",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-131-box",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-reduction",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-active",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-csv-value",
    "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
   }
  ]
 }
}