{
 "run": "RUN-051",
 "subject": "LESR Paper 01: topology envelope and stratified shape space",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper01_Package_v0.1.zip!/LESR_Paper01_Topology_Envelope_and_Stratified_Shape_Space_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "roots": 2,
  "degenerate": 0,
  "segments": 18,
  "within_bound": true
 },
 "w2": {
  "inside": [
   1.2e-15,
   1.6e-15
  ],
  "across": 3.7e-06,
  "pieces": [
   21,
   21,
   true
  ]
 },
 "w3": {
  "signature": true,
  "statuses": [],
  "completed": 15,
  "not_claimed": 3,
  "next": true
 },
 "w4": {
  "lines": 54,
  "defs": [
   "prune",
   "add_mandatory",
   "stable_stratum",
   "topology_gate"
  ],
  "classes": [
   "ContactSignature",
   "StratumState",
   "TopologyEnvelope"
  ],
  "returns": [
   "MULTI_CHART",
   "STABLE_STRATUM",
   "TRANSITION_BOX"
  ],
  "sensitivity_constant": false,
  "computes_crossings": false
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 10,
  "plants_caught_by_named_checks": 10,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 68,
  "must_stay_green_held": 68,
  "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-frontier-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-three-roots",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-segments",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-no-kink",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-same-pieces",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-schema-status",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-state-completed",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-scaffold-status",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-state-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}