{
 "run": "RUN-053",
 "subject": "LESR Paper 03: support-function variational calculus",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper03_Package_v0.1.zip!/LESR_Paper03_Support_Function_Variational_Calculus_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": []
  },
  "W7": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "symmetric": true,
  "by_parts": true,
  "quadratic": true,
  "first": true,
  "second": true,
  "circle": true,
  "perimeter": true,
  "translation": [
   true,
   true
  ],
  "rotation": true,
  "mixed": true,
  "rotation_affine": "-36*pi*a**2*t**2",
  "rotation_exact": true,
  "l2_gradient": true,
  "h1_gradient": [
   true,
   true
  ],
  "sanity": [
   true,
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ]
 },
 "w2": {
  "steiner": true,
  "perimeter": true,
  "path": true,
  "width": true,
  "gain": [
   0.075912615,
   0.053650459
  ]
 },
 "w3": {
  "circle": 0.333333333333,
  "reuleaux": 0.125,
  "corners_clear": true,
  "square_blocked": [
   true,
   true
  ]
 },
 "w4": {
  "agrees": true,
  "omega_term": true
 },
 "w5": {
  "average_matches": true,
  "affine_gaps": [
   0.66,
   0.94,
   0.7,
   0.85
  ],
  "ties_generic": 0,
  "gradient": [
   0.39,
   true
  ],
  "steepest": [
   -0.39,
   0.107
  ],
  "lp_generic": true,
  "z": {
   "y3": [
    [
     0.1327,
     0.732
    ],
    [
     0.1327,
     0.732
    ]
   ],
   "phi5": [
    [
     0.0442,
     0.1274
    ],
    [
     0.0442,
     0.1274
    ]
   ],
   "y5": [
    [
     0.2733,
     0.795
    ],
    [
     0.2733,
     0.795
    ]
   ]
  },
  "toward": [
   -6.3e-06,
   0.02
  ],
  "lp": true
 },
 "w6": {
  "formulas": [
   true,
   true,
   true,
   true
  ],
  "cones": true,
  "unmapped": [],
  "completed": 15,
  "disclaimed": [
   true,
   true,
   true,
   true,
   true
  ],
  "next": [
   true,
   true
  ]
 },
 "w7": {
  "lines": 61,
  "defs": [
   "contact_linear_row",
   "exact_area_along_direction",
   "exact_line_minimizer"
  ],
  "classes": [
   "FourierMode",
   "ActiveContact"
  ],
  "lp_solver": false,
  "row_signs": true,
  "m0_variation": true
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 163,
  "must_stay_green_held": 163,
  "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-contact-sign",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-no-fake-descent",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-sanity-area",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-steiner",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-path",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-reuleaux-cap",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-square-open",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-contact-off",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-omega-idle",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-average-off",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-lp-descent",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-schema-variation",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-state-not-claimed",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-scaffold-lp",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-scaffold-row-sign",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-sanity-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}