{
 "run": "RUN-050",
 "subject": "LESR Paper 00: from skew fields to variational shape closure",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Skew_Field_Variational_Series_Paper00_Package_v0.1.zip!/LESR_Paper00_From_Skew_Fields_to_Variational_Shape_Closure_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": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "area_forms": true,
  "first_variation": true,
  "second_variation": true,
  "translation_kernel": true,
  "translation_area": true,
  "rotation_generator": true,
  "rotation_area": true,
  "fourier_multiplier": true,
  "second_variation_modes": [
   0,
   -3,
   -8,
   -15
  ],
  "placement": 1e-15,
  "reuleaux_triangle": [
   0.70477092301,
   0.70477092301
  ],
  "seed_hull": [
   0.834780945912,
   2.6e-10
  ]
 },
 "w2": {
  "area_change": "-3*pi*epsilon**2/8",
  "first_variation_interior": "0",
  "atom_needed": "2",
  "inside_density": "3*sin(2*theta)"
 },
 "w3": {
  "found": {
   "SKEW-CALC v0.2": 0,
   "Moser skew field v0.1": 0,
   "Subtractive Topology v3.0": 0,
   "GSC": 0,
   "RVSC": 0,
   "TGSA": 0,
   "Geometric Skew": 0
  }
 },
 "w4": {
  "bridge": [
   true,
   {}
  ],
  "next_gate": true,
  "recovered": 7
 },
 "p1": {
  "digests": [
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 9,
  "plants_caught_by_named_checks": 9,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 75,
  "must_stay_green_held": 75,
  "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-first-variation-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-identity-broken",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-mode-value",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-corner-first-variation",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-predecessor-present",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-state-bridge",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-state-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-delimiter",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}