{
 "run": "RUN-061",
 "subject": "the LESR / UESFCM Lebesgue midpoint handoff: certificate line and counter-certificate line",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Lebesgue_Midpoint_Handoff_Certificate_vs_CounterCertificate_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": {
  "theta": true,
  "x5": true,
  "alpha": true,
  "area": true,
  "x3": true
 },
 "w2": {
  "bstar": true,
  "g3": true,
  "bstar_inside": true,
  "atoms": {
   "Lalpha": 2,
   "Ltheta": 4,
   "Lvert": 2,
   "zero": 4
  },
  "triple": 6,
  "balances": [
   true,
   true,
   true
  ],
  "subgradient_margin": -0.0663,
  "feasible_least": 0.0354,
  "valid_g3": [
   -0.0477,
   -0.0474
  ]
 },
 "w3": {
  "bracket": [
   "0.8344",
   "0.8440935944"
  ],
  "A3plus": 0.834781191,
  "cell131": {
   "closed_for_A3plus": [
    true,
    true
   ],
   "below_tight": [
    131
   ],
   "at_or_below_0835": [
    131,
    129,
    125,
    152,
    150
   ]
  }
 },
 "w4": {
  "cc08a": {
   "profile_ratios": [
    0.1738,
    0.2254
   ],
   "branch_ratios": [
    0.225236,
    0.225413,
    0.225501,
    0.225544
   ],
   "lower_branch_found": false
  },
  "cc08b": {
   "signature": [
    13,
    18,
    15
   ],
   "slivers_along_critical": [
    "B5a3",
    "D",
    "B5a2"
   ]
  },
  "cc08c": {
   "dual_at_generic": true,
   "gradient": 0.39,
   "p07_split_subgradient": false
  }
 },
 "w5": {
  "even": true,
  "cycle14_classes": [
   1,
   8,
   17,
   1
  ],
  "sample14": [
   "0.01409689011226",
   true
  ],
  "between_8_9": [
   0.008055365778435367,
   0.009062286500739787
  ]
 },
 "w6": {
  "present": [
   "LESR_Paper06_Actual_Lebesgue_Shape_State_and_First_Closure_Graph_v0.1.md",
   "LESR_Paper06_Actual_Closure_Graph_v0.1.json",
   "LESR_Paper06_Target_Specific_Ledgers_v0.1.json",
   "LESR_Paper07_Root6217_Barrier_Shape_Reconstruction_v0.1.md",
   "LESR_Paper07_Barrier_Shape_Certificate_v0.1.json",
   "LESR_Paper07_Verify_Barrier_Shape.py",
   "LESR_Paper07_COMPUTE_DEFERRED_Tasks_v0.1.json",
   "UESFCM_Lebesgue_Cycle_12_6217_Symmetric_Contact_Data.json",
   "UESFCM_Lebesgue_Cycle_12_6217_Rotation_Profile.json",
   "UESFCM_Lebesgue_Cycle_14_Rotation_Profile_Structure.json",
   "UESFCM_Lebesgue_Cycle_16_Tight_Aref_Certificate.json",
   "UESFCM_Lebesgue_Cycle_17_Package_v0.1.zip"
  ],
  "missing": []
 },
 "p1": {
  "digest": true,
  "manifest": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "lines": [
   "CERTIFICATE_ANALYTIC_CLOSURE",
   "COUNTER_CERTIFICATE_HEAVY_COMPUTE"
  ],
  "next": [
   "Paper 08 — Positive-Rotation Barrier Closure",
   false
  ]
 },
 "drill": {
  "plants": 13,
  "plants_caught_by_named_checks": 13,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 114,
  "must_stay_green_held": 114,
  "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-cell131-candidate",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-theta",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-bstar",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-p07-subgradient",
    "kind": "mutation",
    "expected": [
     "W2",
     "W4"
    ],
    "tripped": [
     "W2",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-cell131-ranking",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-A3plus",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-lower-branch",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-corner-sliver",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-mirror",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-cycle14-classes",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-artifact-missing",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-paper08-title",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}