{
 "run": "RUN-057",
 "subject": "LESR Paper 07: root-6217 barrier shape reconstruction",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper07_Package_v0.1.zip!/LESR_Paper07_Root6217_Barrier_Shape_Reconstruction_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": {
  "text": {
   "theta": true,
   "x5": true,
   "alpha": true,
   "Ltheta": true,
   "Lalpha": true,
   "Lvert": true,
   "area": true,
   "bstar": true,
   "margin": true,
   "F5x": true,
   "g3": true
  },
  "roots": 1,
  "certificate": [
   true,
   true,
   true,
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "parts": true,
  "pieces": true,
  "replay": [
   true,
   true,
   true,
   true,
   true,
   true
  ]
 },
 "w2": {
  "owners": true,
  "ends": true,
  "atoms": {
   "Lalpha": 2,
   "Ltheta": 4,
   "Lvert": 2,
   "zero": 4
  },
  "triple": [
   0.454045,
   1.570796,
   2.687547,
   3.595638,
   4.712389,
   5.82914
  ],
  "winner_margin": [
   0.00526073,
   0.000604651
  ]
 },
 "w3": {
  "split": [
   true,
   true
  ],
  "balance": [
   true,
   true,
   true
  ],
  "exact_sign": [
   true,
   true
  ],
  "premise_gap": [
   0.265,
   0.451
  ],
  "margin_72": -0.0663,
  "worst": [
   -0.0696,
   3.53
  ],
  "steps": [
   -7e-08,
   -6.9e-06,
   -0.00025
  ],
  "feasible_least": 0.0354,
  "valid": [
   -0.0477,
   -0.0474
  ],
  "x3": [
   -0.0331,
   0.213
  ]
 },
 "w4": {
  "arc_least": [
   0.8349861106,
   3.142
  ],
  "barrier_is_least": true,
  "arc_certified": 0.013,
  "relies_on_symmetrization": true
 },
 "w5": {
  "statuses": [
   "DERIVED_FROM_PRESSURE_DECOMPOSITION GIVEN_SIGNATURE",
   "CLOSED_GIVEN_SIGNATURE"
  ],
  "closure_block": true,
  "unmapped": [],
  "facts": 9,
  "tasks": [
   "P07_INTERVAL_SIGNATURE_AUDIT",
   "P08_ROTATION_PROFILE_INTERVAL_DERIVATIVE",
   "P07_PRESSURE_CERT_RATIONALIZATION"
  ],
  "dot_nodes": 13,
  "next": [
   true,
   false
  ]
 },
 "w6": {
  "lines": 152,
  "defs": [
   "regular_reuleaux",
   "b5arc3",
   "area_piece"
  ],
  "classes": [
   "Body"
  ],
  "midpoints_only": true,
  "fails": [
   "pressure allocation",
   "B3 KKT sign",
   "B5 stationarity",
   "triple tie"
  ],
  "b5_by_definition": true,
  "area_evaluations": 1
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "unhashed": [
   "LESR_Paper07_Support_Signature_Graph_v0.1.dot"
  ],
  "status": "PASS",
  "delimiters": [],
  "manifest": true
 },
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 129,
  "must_stay_green_held": 129,
  "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-kkt-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-certificate-alpha",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-replay-area",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-owner",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-bridge",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-subgradient-holds",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-premise-holds",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-arc-least",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-no-symmetrization",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-state-status",
    "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-verifier-derivative",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-verifier-sample",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-dot-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}