{
 "run": "RUN-058",
 "subject": "LESR Paper 08: positive-rotation certificate reduction",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper08_Package_v0.1.zip!/LESR_Paper08_Positive_Rotation_Certificate_Reduction_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": [
   true,
   true,
   true
  ],
  "diagnostic": [
   true,
   true,
   true
  ],
  "replay": [
   true,
   true,
   true
  ],
  "composition": true,
  "kappa": true
 },
 "w2": {
  "first8": [
   0.22406,
   0.24571
  ],
  "listed": [
   false,
   true
  ],
  "m0_search_excess": 7.3e-11,
  "recheck": [
   [
    0.2254,
    1.5e-09
   ],
   [
    0.2253,
    8.3e-08
   ]
  ],
  "whole_profile": [
   0.1738,
   0.2254
  ],
  "all_positive": true
 },
 "w3": {
  "affine": 0.0293,
  "affine_turn_centre": [
   0.0,
   -0.0,
   1.0,
   -0.0221,
   -0.1625
  ],
  "pure_turn": 0.0474,
  "rates": [
   [
    0.001007,
    5.3e-05
   ],
   [
    0.002014,
    0.00011
   ]
  ],
  "proportional": true,
  "p07_subgradient": true
 },
 "w4": {
  "subroots": 200,
  "counts": {
   "LOCAL_ONLY": 10,
   "TAIL_ONLY": 141,
   "SPLIT_AT_RHO_CUT": 44
  },
  "file_counts": [
   195,
   10,
   141,
   44
  ],
  "listed": 200,
  "file_classes": true,
  "file_boxes": true,
  "pruned": [
   true,
   [
    "SHAPE_PRUNED_BY_AREF",
    "SHAPE_PRUNED_BY_AREF",
    "SHAPE_PRUNED_BY_AREF",
    "SHAPE_PRUNED_BY_AREF",
    "SHAPE_PRUNED_BY_AREF"
   ]
  ],
  "shares": {
   "inside": 0.559,
   "outside_not_f3": 0.295,
   "outside_f3": 0.146,
   "outside_f3_local": 0.033,
   "outside_f3_tail": 0.113
  }
 },
 "w5": {
  "first_order": [
   "critical by Paper07 contact-pressure/KKT architecture; interval dual audit still required",
   "CRITICAL_GIVEN_P07_PRESSURE_KKT"
  ],
  "gates": {
   "LOCAL_QUADRATIC": "OPEN",
   "AREF_TAIL": "OPEN"
  },
  "schema_domains": [
   true,
   true
  ],
  "responsibility": {
   "tail_only_roots": 141,
   "split_roots_tail_portions": 44,
   "already_Aref_pruned_roots": 5
  },
  "diag_status": "NUMERICAL_DIAGNOSTIC_NOT_PROOF",
  "next": [
   true,
   false
  ]
 },
 "w6": {
  "lines": 86,
  "defs": [
   "rebuild",
   "arithmetic_gate"
  ],
  "prunes_constant": true,
  "only_subroots": true,
  "cut_tolerance": true
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "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-ledger-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-gap",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-diagnostic-rho",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-profile-sample",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-recheck",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-affine-zero",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-p07-holds",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-subroot-rho",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-shares",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-state-first-order",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-schema-domain",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-verifier-prunes",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-verifier-box",
    "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-ledger-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}