{
 "run": "RUN-042",
 "subject": "DLMVC's four deep passes on Round 04",
 "documents": {
  "02": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_02_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_02_v0.1.md",
  "03": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_03_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_03_v0.1.md",
  "04": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_v0.1.md",
  "05": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_05_Package_v0.1.zip!/AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_05_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": {
  "disagree": {
   "global": [],
   "threshold": []
  },
  "trials": {
   "bodies": 60,
   "worst_ratio": 0.631,
   "median_ratio": 0.351
  },
  "identities": [
   true,
   true,
   true
  ],
  "step": [
   51,
   50,
   48,
   47
  ],
  "reduction": 0.8402
 },
 "w2": {
  "facets": [
   103,
   103
  ],
  "formula_vs_clip": true,
  "outer": [
   0.846661292560721,
   3.3771690420862
  ],
  "lower": [
   3.36584089305767,
   0.841460223264417
  ],
  "radius": [
   0.013317,
   0,
   0.02503
  ],
  "radius_with_hP": 0.0130615798,
  "uniform": [
   200,
   true
  ],
  "regular": 8e-15
 },
 "w3": {
  "floor": 0.765991489296295,
  "lower": [
   0.842616436112935,
   0.844007644444885,
   0.826801748731
  ],
  "lambda": [
   0.9882022551,
   0.8176473,
   false
  ],
  "recorded_core_there": [
   1.6e-06,
   8e-05
  ],
  "sharp_radius": [
   0.00596929668962,
   0.8176473,
   false
  ],
  "bracket": true,
  "sandwich": [
   true,
   true,
   true
  ]
 },
 "w4": {
  "signature_M128": [
   1,
   2,
   125
  ],
  "zero_modes": [
   1,
   127
  ],
  "extremes": [
   -81.470968,
   0.049097244
  ],
  "closed_form": true,
  "random_fans": {
   "5": [
    1,
    2,
    2
   ],
   "7": [
    1,
    2,
    4
   ],
   "10": [
    1,
    2,
    7
   ],
   "16": [
    1,
    2,
    13
   ],
   "32": [
    1,
    2,
    29
   ]
  },
  "dual": [
   6,
   40,
   6
  ],
  "toy": [
   4.0,
   4.41421356237309,
   true,
   0.82842712474619
  ]
 },
 "w5": {
  "lines": {
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_02_constants.py": 114,
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_03_cell_geometry.py": 123,
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_phase_core.py": 113,
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_05_contact_skeleton.py": 46
  },
  "prints_the_replay_block": {
   "02": true,
   "03": true,
   "04": true,
   "05": true
  },
  "step_by_ceiling": true,
  "unguarded_quantization": true,
  "grid": [
   "240000"
  ],
  "closed_form_spectrum": true,
  "unshipped": [
   "pass03_cell_radius",
   "pass04_phase_bound",
   "pass04_quote_of_pass03",
   "pass05_eigen_extremes",
   "pass05_toy"
  ]
 },
 "p1": {
  "pass03_radius": [
   0.013316971063423444,
   0.013060516377839004,
   0.013316971063423444
  ]
 },
 "drill": {
  "plants": 11,
  "plants_caught_by_named_checks": 11,
  "controls": 2,
  "controls_undisturbed": 2,
  "must_stay_green_assertions": 78,
  "must_stay_green_held": 78,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-texts-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-pass02-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-budget-constant",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-eps-exceeded",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-facet-count",
    "kind": "mutation",
    "expected": [
     "P1",
     "W2"
    ],
    "tripped": [
     "P1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-uniform-formula",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-sandwich",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-signature",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-toy",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-code-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-validation-number",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}