{
 "run": "RUN-067",
 "subject": "BCODR LUC 05: the balanced overlap germ taxonomy, root 127 against root 131",
 "document": "main.zip!/BCODR/BCODR_LUC_05_Package_v0.1.zip!/BCODR_LUC_05_Balanced_Overlap_Germ_Taxonomy_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": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "r": "0.002540688874928299",
  "T": "0.04733334989194495657",
  "printed_r": 4.2e-11,
  "printed_T": 6e-17,
  "luc03_printed": 7.9e-13,
  "luc03_rebuilt": true,
  "min_margin": 0.0095,
  "nearest_box": "155",
  "next": [
   "144",
   "0.246383"
  ],
  "half_distance": true
 },
 "w2": {
  "g_sum_zero": true,
  "stationary": true,
  "rank": 1,
  "dimension": 4,
  "outside_155": [
   0,
   2,
   4
  ],
  "D_plus": "1709.2110247947"
 },
 "w3": {
  "kappa": [
   "0.45464980777815",
   1.4e-13
  ],
  "t": "0.50003",
  "eig_Q_plus": [
   0.0001098,
   1.0,
   1.0,
   1.0
  ],
  "eig_Q_minus": [
   0.0,
   0.0,
   1.0,
   1.0
  ],
  "C_R": [
   "4.802637134452",
   1e-12
  ],
  "C_H": [
   "0.4563101327193",
   7e-14
  ],
  "v_soft_vs_record": 2e-07
 },
 "w4": {
  "lagrangian": [
   "0.4546497978",
   "0.5",
   "0.5454051121",
   "1.0"
  ],
  "line_minus_lagrangian": 1e-08,
  "predicted": {
   "x5": "0.5",
   "y3": "0.491831"
  },
  "slices": {
   "x5": {
    "1e-3": "0.500027",
    "3e-4": "0.500002",
    "1e-4": "0.500000"
   },
   "y3": {
    "1e-3": "0.491857",
    "3e-4": "0.491834",
    "1e-4": "0.491831"
   }
  },
  "slice_error_at_1e-4": {
   "x5": 3e-07,
   "y3": 3e-07
  }
 },
 "w5": {
  "line_ratio": [
   "1.00078142542",
   3e-11
  ],
  "lagrangian": [
   "0.236577",
   "0.45465"
  ],
  "ratio": "1.92179",
  "both_isolated": true,
  "cost": [
   "0.931745",
   "4.80264",
   "5.154"
  ],
  "extent": [
   "1.03598",
   "0.45631",
   "0.4405"
  ],
  "record": [
   2.6842146795153217,
   0.6103674656914958
  ]
 },
 "w6": {
  "Q_minus_psd": [
   true,
   true
  ],
  "alpha_c": "0.9987",
  "at_alpha_1": "-0.00119",
  "at_actual_alpha": "0.236576",
  "alpha_127": "0.2394",
  "Q_plus_131_pd": true
 },
 "w7": {
  "ratios": [
   true,
   true,
   true
  ],
  "gap_vs_T": 7.9e-13,
  "rule": "kappa_germ > 0",
  "state": {
   "127": "FCBG_SECOND_ORDER_ISOLATED",
   "131": "IMBG_SECOND_ORDER_ISOLATED"
  },
  "next": "BCODR-LUC-06 — Frontier Spine Closure Against the Aref Tail",
  "luc_files": [
   "01",
   "02",
   "03",
   "04",
   "05",
   "07"
  ]
 },
 "w8": {
  "lines": 45,
  "reads": 1,
  "fails": 10,
  "thresholds": [
   "0.4",
   "0.4"
  ],
  "computes": 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",
   "root127 type = FCBG",
   "root127 tangent dim = 3",
   "root127 kappa = 0.45429481027797036",
   "root131 type = IMBG",
   "root131 tangent dim = 4",
   "root131 kappa = 0.45464980777829145",
   "kappa ratio = 1.0007814253922556"
  ]
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 190,
  "must_stay_green_held": 190,
  "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-ratio",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-nearest-box",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-luc03",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-rank",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-outside",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-kappa131",
    "kind": "mutation",
    "expected": [
     "W3",
     "W4",
     "W5"
    ],
    "tripped": [
     "W3",
     "W4",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-soft-direction",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-slice",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-lagrangian127",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-record-ratio",
    "kind": "mutation",
    "expected": [
     "W5",
     "W7"
    ],
    "tripped": [
     "W5",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-alpha-c",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-Q-minus",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-state",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-gap",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-verifier-computes",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-paper-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}