{
 "run": "RUN-056",
 "subject": "LESR Paper 06: actual Lebesgue shape state, target-specific ledgers, first closure graph",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper06_Package_v0.1.zip!/LESR_Paper06_Actual_Lebesgue_Shape_State_and_First_Closure_Graph_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "x3": [
   true,
   true
  ],
  "theta": [
   true,
   true,
   true
  ],
  "x5": true,
  "dirs": [
   true,
   true
  ],
  "supports": true,
  "area": 0.834986110559,
  "above": true,
  "stabilizer": [
   1,
   1
  ]
 },
 "w2": {
  "translation": true,
  "rotation_star": [
   true,
   true
  ],
  "lemma": true,
  "task_b": {
   "2": [
    1.6,
    0.124,
    2.05
   ],
   "4": [
    2.0,
    0.124,
    2.05
   ],
   "8": [
    3.0,
    0.124,
    2.05
   ]
  },
  "full": [
   true,
   true
  ],
  "toward_anchor": -0.0331
 },
 "w3": {
  "size": [
   23,
   24
  ],
  "target_ids": true,
  "acyclic": true,
  "reached": [],
  "roles_outside_44": [
   "COMPUTE_DATA_GATE",
   "SHAPE_REFERENCE"
  ],
  "edge_types": [
   20,
   [
    "CERT_PRUNE",
    "REOPEN_FOR_SHAPE",
    "UPPER_FEASIBLE"
   ]
  ],
  "dot": [
   true,
   true
  ],
  "svg": true,
  "ledger": [
   true,
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ]
 },
 "w4": {
  "rho0_status": "CLOSED_FOR_A3PLUS",
  "arc_certified": 0.013,
  "search_only": 0.4415,
  "remaining": 61,
  "polish_below_A3plus": 2.45e-07,
  "ceiling": 0.834781191
 },
 "w5": {
  "unmapped": [],
  "discoveries": 6,
  "tasks": [
   "TASK_A_BARRIER_SHAPE_TREE_REBUILD",
   "TASK_B_DUAL_CONTACT_MATRIX",
   "TASK_C_OUTER_SHAPE_IMPORT",
   "TASK_D_F3_NEAR_ANCHOR_RECONSTRUCTION"
  ],
  "tasks_in_text": true,
  "template_status": [
   true,
   true,
   true
  ],
  "next": [
   true,
   false
  ]
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "unhashed": [
   "LESR_Paper06_Actual_Closure_Graph_v0.1.png",
   "LESR_Paper06_Actual_Closure_Graph_v0.1.svg"
  ],
  "norm": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 13,
  "plants_caught_by_named_checks": 13,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 99,
  "must_stay_green_held": 99,
  "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": "M1-x3-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-barrier-below",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-ledger-theta",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-lemma-off",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-moment-match",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-edge-target",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-dot-edge",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-coverage",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-rho0-status",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-state-discovery",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-task-dropped",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-template-norm",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}