{
 "run": "RUN-068",
 "subject": "BCODR LUC 07: root 131, candidate/germ alignment and mirror covariance",
 "document": "main.zip!/BCODR/BCODR_LUC_07_Root131_Candidate_Germ_Alignment_and_Mirror_Covariance_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "from_luc03": [
   true,
   true,
   true,
   true
  ],
  "off_exact": {
   "p": 5e-07,
   "q": 6e-08,
   "z": 2e-07,
   "z_original": 6e-09
  },
  "p_vs_ray_at_printed_rho": 5e-07,
  "luc03_rho": 0.002540676056935806,
  "q_carries_z": [
   true,
   true,
   true
  ],
  "T": 6e-17,
  "rho": 4.2e-11,
  "kappa_run067": "0.45464980777815"
 },
 "w2": {
  "printed_distances": [
   true,
   true,
   true
  ],
  "printed_pair_over_exact": 1.5e-12,
  "exact_midpoint": [
   true,
   true
  ]
 },
 "w3": {
  "value": 0.8349862484449208,
  "printed": true,
  "exact_area": true,
  "lowest": 131,
  "inside_131": true,
  "least_margin": 6.6e-06,
  "d_germ": 0.1091,
  "d_ray": [
   0.000773,
   0.000167
  ],
  "nearest_box": [
   "155",
   0.1243
  ],
  "barrier": [
   true,
   [
    1,
    2,
    4
   ]
  ],
  "below": 1.379e-07
 },
 "w4": {
  "Sx_is_Rpi_Sy": true,
  "corners": [
   true,
   true
  ],
  "even": true,
  "half_turn": true
 },
 "w5": {
  "slivers": [
   [
    "B5a3",
    0.454
   ],
   [
    "D",
    1.571
   ],
   [
    "B5a2",
    5.829
   ]
  ],
  "corners_at_pi_pm_theta": false
 },
 "w6": {
  "luc07_files": [
   "BCODR_LUC_07_Root131_Candidate_Germ_Alignment_and_Mirror_Covariance_v0.1.md"
  ],
  "luc06_files": [],
  "packages": [
   "01",
   "02",
   "03",
   "04",
   "05"
  ]
 },
 "p1": {
  "manifest": true,
  "size": [
   23127,
   23127
  ],
  "delimiters": [],
  "ends": true
 },
 "drill": {
  "plants": 11,
  "plants_caught_by_named_checks": 11,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 100,
  "must_stay_green_held": 100,
  "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-ledger-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-text-area",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-printed-z",
    "kind": "mutation",
    "expected": [
     "W1",
     "W2"
    ],
    "tripped": [
     "W1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-luc03-row",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-distance",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-stored-value",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-barrier",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-even",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-corners",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-sliver",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-luc06",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}