{
 "run": "RUN-041",
 "subject": "DLMVC: the deep-lag verification methodology, and its case studies of Rounds 01 and 04",
 "document": "main.zip!/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology/DLMVC_Deep_Lag_Multi_Pass_Verification_Closure_Methodology_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "closed_form": true,
  "table": {
   "3": [
    0.2188,
    0.1393
   ],
   "5": [
    0.1806,
    0.1149
   ],
   "9": [
    0.1342,
    0.08541
   ],
   "17": [
    0.09093,
    0.05789
   ],
   "33": [
    0.0575,
    0.03661
   ],
   "65": [
    0.03465,
    0.02206
   ],
   "129": [
    0.0202,
    0.01286
   ]
  },
  "legal": true,
  "measured": {
   "reuleaux": {
    "3": 0.057,
    "5": 0.038,
    "9": 0.022,
    "17": 0.012,
    "33": 0.0065,
    "65": 0.0033,
    "129": 0.0017
   },
   "sign_9": {
    "3": 0.0077,
    "5": 0.0077,
    "9": 0.0069,
    "17": 0.0037,
    "33": 0.0019,
    "65": 0.00099,
    "129": 0.00051
   },
   "extremal_3": {
    "3": 0.057,
    "5": 0.038,
    "9": 0.022,
    "17": 0.012,
    "33": 0.0065,
    "65": 0.0033,
    "129": 0.0017
   }
  },
  "below_sharpened": true,
  "coefficient": [
   0.3183098862,
   0.3183098862
  ]
 },
 "w2": {
  "jpa": {
   "samples": 4000,
   "violations": 0,
   "beyond_the_radii": 2236,
   "least_slack": 1.2713482851820066
  },
  "one_active_in_R01": true,
  "corrected_in": [
   "R03"
  ],
  "taken_back": {
   "R01-CORRECTION-001": [
    "R03"
   ],
   "JPA-01": [],
   "FLC-01": [],
   "AR-04": []
  }
 },
 "w3": {
  "area": [
   "0.8440935944",
   "0.8440935944",
   1e-11
  ],
  "slope": true,
  "R_sharp": "0.721238556039142255",
  "text_digits": {
   "R_sharp": true,
   "R_P": true,
   "R_P_sharp": true,
   "eps": true,
   "eps_sharp": true,
   "beta": true,
   "beta_sharp": true
  },
  "levels": [
   2379,
   445
  ],
  "log10_ratio": -93.1884
 },
 "w4": {
  "quoted_is_recorded": {
   "area_U": true,
   "area_P": true,
   "excess": true
  },
  "quoted_is_definition": {
   "area_U": true,
   "area_P": false,
   "excess": false
  },
  "definition": {
   "area_U": 0.83275767265,
   "area_P": 0.833639164382,
   "excess": 0.000622493675876
  }
 },
 "w5": {
  "case_studies": [
   "AMRAL_LUC_FC_Verification_Round_01_by_LaggedAI_v0.1.md",
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_02_v0.1.md",
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_03_v0.1.md",
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_04_v0.1.md",
   "AMRAL_LUC_FC_Verification_Round_04_Deep_Audit_Pass_05_v0.1.md",
   "AMRAL_LUC_FC_Verification_Round_04_by_LaggedAI_v0.1.md"
  ],
  "blindness": [
   true,
   true
  ],
  "lagged_role": [
   "R00",
   "R11",
   "R12",
   "R13",
   "R17"
  ],
  "crystal": [
   true,
   true
  ]
 },
 "w6": {
  "lines": {
   "sharp_radius.py": 75
  },
  "hull_area": true,
  "bisection": [
   "200"
  ],
  "constants_as_round04": true,
  "prints_what_validation_records": [
   false,
   false
  ]
 },
 "p1": {
  "validation_passes_broken_formulas": true
 },
 "drill": {
  "plants": 14,
  "plants_caught_by_named_checks": 14,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 137,
  "must_stay_green_held": 137,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-vr04-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-lag",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-fejer-image",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-fejer-error",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-jpa-violation",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-round01-taxonomy",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-vr04-radius",
    "kind": "mutation",
    "expected": [
     "A0",
     "W3"
    ],
    "tripped": [
     "A0",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-radius-levels",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-recorded-polygon",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-crystal-copy",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-code-claim",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-validation-constant",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-definition-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}