{
 "run": "RUN-054",
 "subject": "LESR Paper 04: skew-constrained shape flow and closure graph",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper04_Package_v0.1.zip!/LESR_Paper04_Skew_Constrained_Shape_Flow_and_Closure_Graph_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "radius": true,
  "h1_multiplier": true,
  "translation": [
   true,
   true
  ],
  "preconditioner": true,
  "decrease": [
   true,
   true
  ],
  "sanity": [
   [
    true,
    true,
    true,
    true
   ],
   true,
   true
  ]
 },
 "w2": {
  "cone_identity": true,
  "feasible": true,
  "nonzero": 126,
  "trials": 200,
  "polar_zero": true,
  "polytope_inequality": true,
  "polytope_strict": 60
 },
 "w3": {
  "lp": {
   "generic": [
    true,
    true
   ],
   "qdag": [
    true,
    true
   ],
   "z": [
    true,
    true
   ]
  },
  "gradient": 0.39,
  "steepest": [
   -0.39,
   0.107
  ]
 },
 "w4": {
  "edge_types": true,
  "proof_statuses": true,
  "views": true,
  "node_required": true,
  "events_in_text": [
   "CERT_PRUNE",
   "COMPUTE_DEFERRED"
  ],
  "compute_in_text": [
   "COMPUTE_DEFERRED"
  ],
  "step_caps": true,
  "unmapped": [],
  "completed": 18,
  "not_claimed": false,
  "next": [
   true,
   false
  ]
 },
 "w5": {
  "lines": 76,
  "defs": [
   "h1_precondition",
   "area_step",
   "guaranteed_decrease_cap",
   "qp_payload"
  ],
  "classes": [
   "FourierComponent",
   "GraphNode",
   "GraphEdge",
   "ClosureGraph"
  ],
  "solver": false,
  "graph_algorithms": false,
  "edge_types_checked": false,
  "decrease_rule": true
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 13,
  "plants_caught_by_named_checks": 13,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 99,
  "must_stay_green_held": 99,
  "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-projection-sign",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-radius",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-sanity-multiplier",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-cone-identity",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-polar-nonzero",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-generic-descent",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-flat-gradient",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-edge-type",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-state-item",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-scaffold-dominators",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-scaffold-cap",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-sanity-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}