{
 "run": "RUN-059",
 "subject": "LESR Paper 09A v0.2: the multi-scale topology wall and the one-sided blow-up critical cone",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper09A_v0.2_Package.zip!/LESR_Paper09A_Multiscale_Topology_Wall_and_Blowup_Critical_Cone_v0.2.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": {
  "on_circle": 2.4e-08,
  "anchor_uvw": [
   5.1967,
   -0.1891,
   -0.0002
  ],
  "branch": [
   [
    0.002,
    5.2312,
    -0.18896,
    -0.00035
   ],
   [
    0.0010069207223044208,
    5.1944,
    -0.18909,
    -0.00018
   ],
   [
    0.0005,
    5.1756,
    -0.18916,
    -9e-05
   ],
   [
    0.00025,
    5.1664,
    -0.18919,
    -4e-05
   ]
  ],
  "limit": [
   5.157,
   -0.1892,
   0.0
  ],
  "in_box": [
   true,
   true,
   true
  ],
  "stated": [
   true,
   true,
   true
  ]
 },
 "w2": {
  "barrier": [
   13,
   12
  ],
  "anchor": 18,
  "diagnostic": [
   18,
   18
  ],
  "same_pieces": true,
  "ends": 2e-08
 },
 "w3": {
  "anchor": [
   [
    "D",
    8.4595e-06
   ],
   [
    "B3a2",
    0.14804
   ],
   [
    "B5v2",
    0.0003696
   ],
   [
    "B5v3",
    0.00069135
   ],
   [
    "B5a1",
    1.148
   ]
  ],
  "diagnostic": [
   true,
   6e-09
  ],
  "primary": [
   [
    0.002,
    0.14903
   ],
   [
    0.0010069207223044208,
    0.14797
   ],
   [
    0.0005,
    0.14741
   ],
   [
    0.00025,
    0.14714
   ]
  ],
  "b5_is_b3_plus_rho": true,
  "secondary_below_1e-11": [
   true,
   true,
   true,
   true
  ],
  "pieces_at_minimum": [
   15,
   15,
   15,
   15
  ],
  "same_at_every_rho": true,
  "anchor_excess": 1.5e-09
 },
 "w4": {
  "grid": [
   280,
   8.6e-06,
   [
    5.16,
    -0.1892,
    0.0
   ]
  ],
  "outside_least": 0.00054,
  "minimizer": [
   5.1572,
   -0.18923,
   0.0
  ],
  "min_value": -1e-07,
  "slopes": [
   [
    0.0013,
    0.0012
   ],
   [
    0.26,
    0.26
   ],
   [
    0.4,
    0.036
   ]
  ],
  "ray_positive": true,
  "ray_ratio": [
   [
    1e-05,
    0.336
   ],
   [
    3e-05,
    0.344
   ],
   [
    0.0001,
    0.347
   ],
   [
    0.0003,
    0.348
   ],
   [
    0.001,
    0.348
   ]
  ],
  "richardson": [
   -1.2e-07,
   -1.2e-07
  ]
 },
 "w5": {
  "ratios": [
   0.225236,
   0.225413,
   0.225501,
   0.225544
  ],
  "limit": 0.2256,
  "target_slack": 2.26,
  "ledger_195": 195,
  "missing_share": 0.146
 },
 "w6": {
  "status": "NUMERICAL_STRUCTURAL_DIAGNOSTIC_NOT_PROOF",
  "corrections": [
   "WITHDRAWN",
   "WITHDRAWN"
  ],
  "anchor_is_sample1": true,
  "critical_branch": [
   5.16,
   -0.1892,
   0.0,
   0.22,
   0.1
  ],
  "schema": [
   [
    "PRIMARY_BLOWUP_CHART",
    "SECONDARY_SLIVER_CLASSIFICATION",
    "FIRST_EPI_DERIVATIVE_NONNEGATIVITY",
    "SECOND_EPI_DERIVATIVE_LOWER_0p1"
   ],
   {
    "u": 5.16,
    "v": -0.1892,
    "w": 0.0,
    "c2_approx": 0.22
   },
   "Do not freeze an 18-piece signature globally; interval classification may yield several positive-rho subcharts."
  ],
  "state": [
   "MULTISCALE_TOPOLOGY_WALL_CORRECTION",
   [
    "Paper07 zero-rotation barrier",
    "Paper08 local/tail two-gate decomposition",
    "barrier shape ledger 200->195"
   ],
   [
    "fixed zero-chart rotation derivative",
    "single smooth positive-rho chart assumption"
   ],
   "Paper 09B — Analytic Primary Blow-Up Equations"
  ],
  "next": [
   true,
   true
  ]
 },
 "p1": {
  "validation": {
   "status": "PASS",
   "paper_sha256": "4e6589e4e8735088c234ed3738377dbdfef1a87a64e541e1448b3693d4350a0e",
   "diagnostic_sha256": "f80a2f7ba4c2ea0eb1da8c1370a89ae85f782ec1db515bfe94844d3b335a7e9f",
   "schema_sha256": "141fe9bfb94e3733567898acac73f1ebd97d901535b61bedb34add9061e13c10",
   "state_sha256": "2cb22302e416c6a984be2fbfff9e9d198a25573a678f2ab28e773d36e2f05324",
   "utf8": true,
   "math_delimiters": "PASS"
  },
  "digests": {
   "LESR_Paper09A_Multiscale_Topology_Wall_and_Blowup_Critical_Cone_v0.2.md": "4e6589e4e8735088c234ed3738377dbdfef1a87a64e541e1448b3693d4350a0e",
   "LESR_Paper09A_Multiscale_Topology_Wall_Diagnostic_v0.2.json": "f80a2f7ba4c2ea0eb1da8c1370a89ae85f782ec1db515bfe94844d3b335a7e9f",
   "LESR_Paper09A_Multiscale_Certificate_Schema_v0.2.json": "141fe9bfb94e3733567898acac73f1ebd97d901535b61bedb34add9061e13c10",
   "LESR_State_Paper09A_v0.2.json": "2cb22302e416c6a984be2fbfff9e9d198a25573a678f2ab28e773d36e2f05324"
  },
  "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-primary-width",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-off-circle",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-branch-u",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-diagnostic-piece",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-signature-dropped",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-diagnostic-width",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-branch-sliver",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-grid-negative",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-ray-negative",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-branch-ratio",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-ledger-share",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-diagnostic-status",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-state-next",
    "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-schema-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}