{
 "run": "RUN-055",
 "subject": "LESR Paper 05: contact pressure, dual multipliers and the No-Slack boundary",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper05_Package_v0.1.zip!/LESR_Paper05_Contact_Pressure_Dual_Multipliers_and_No_Slack_Boundary_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": {
  "exclusive": true,
  "exhaustive": true,
  "certificates": 213,
  "descents": 87,
  "residual": true,
  "three": [
   true,
   true
  ]
 },
 "w2": {
  "kappa0": 0.5476,
  "cap": 0.0159,
  "dA": -0.114,
  "d2A": -0.971,
  "decrease": true,
  "support": [
   -0.4,
   0.4
  ]
 },
 "w3": {
  "certificates": {
   "generic-4": [
    true,
    true,
    true
   ],
   "generic-8": [
    true,
    true,
    true
   ],
   "qdag-4": [
    true,
    true,
    true
   ],
   "qdag-8": [
    true,
    true,
    true
   ],
   "z-4": [
    true,
    true,
    true
   ],
   "z-8": [
    true,
    true,
    true
   ]
  },
  "gradient": 0.39,
  "m16_free": [
   -0.00062,
   -0.00022
  ],
  "m16_fixed": [
   true,
   true
  ],
  "coarse": -0.11,
  "perimeter": true
 },
 "w4": {
  "dual_conditions": true,
  "graph_layer": [
   "WITNESS_PRESSURE_STATE",
   "BOUNDARY_PRESSURE_STATE",
   "UNSUPPORTED_BOUNDARY",
   "DUALLY_SUPPORTED"
  ],
  "contact_states": true,
  "compiler_outputs": [
   "DESCENT_FOUND",
   "DUAL_CERTIFIED",
   "UNSUPPORTED_BOUNDARY",
   "MORE_MODES_REQUIRED",
   "MORE_WITNESSES_REQUIRED",
   "NONSMOOTH_CONTACT",
   "TOPOLOGY_TRANSITION"
  ],
  "unmapped": [],
  "completed": 14,
  "disclaimed": [
   true,
   true,
   true,
   true
  ],
  "next": [
   true,
   false
  ]
 },
 "w5": {
  "lines": 72,
  "defs": [
   "matvec_transpose",
   "max_abs",
   "verify_dual",
   "translation_balance",
   "rotation_balance"
  ],
  "classes": [
   "DualCertificate"
  ],
  "solver": false,
  "complementarity": false,
  "negative_tolerance": 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-theorem-label",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-both-alternatives",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-sanity-norm",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-no-decrease",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-first-variation-sign",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-no-certificate",
    "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-schema-conditions",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-state-not-claimed",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-scaffold-complementarity",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-scaffold-sign",
    "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
   }
  ]
 }
}