{
 "run": "RUN-006",
 "subject": "Round 03: the fixed-cover placement certificate",
 "document": "main.zip!/AMRAL_LUC_FC_Round_03_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_03_Placement_Certificate_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "rng_seed": 20260924,
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "B1": {
   "pass": true,
   "failures": []
  },
  "B2": {
   "pass": true,
   "failures": []
  },
  "B3": {
   "pass": true,
   "failures": []
  },
  "B4": {
   "pass": true,
   "failures": []
  },
  "B5": {
   "pass": true,
   "failures": []
  },
  "B6": {
   "pass": true,
   "failures": []
  },
  "B7": {
   "pass": true,
   "failures": []
  },
  "B8": {
   "pass": true,
   "failures": []
  },
  "B9": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "b2_stats": {
  "lps": 168,
  "two": 63,
  "three": 105
 },
 "b4_rows": [
  {
   "coarse": [
    -0.4229097829164881,
    0.8656066787002763
   ],
   "fine": [
    -0.19383531859223266,
    -0.09776470020228956
   ]
  },
  {
   "coarse": [
    -0.29877375524603517,
    0.9050885672540963
   ],
   "fine": [
    -0.06927792966260543,
    0.021569754964446942
   ]
  },
  {
   "coarse": [
    -0.3160908915794451,
    0.8810236915570465
   ],
   "fine": [
    -0.08651782248658062,
    0.003913544685551051
   ]
  },
  {
   "coarse": [
    -0.3245510177909263,
    1.009813939184422
   ],
   "fine": [
    -0.09547655346667047,
    0.003422794349676281
   ]
  },
  {
   "coarse": [
    -0.33398083642801435,
    0.8813270552744883
   ],
   "fine": [
    -0.10455187498072122,
    -0.012998029373870706
   ]
  },
  {
   "coarse": [
    -0.31115049046381943,
    0.8959933845783291
   ],
   "fine": [
    -0.08134303175737989,
    0.009707115876741626
   ]
  }
 ],
 "b6": {
  "G_coarse": -0.02000000000000002,
  "coarse_sigma": 1,
  "coarse_index": 0,
  "G_reference": -0.02000000000000007,
  "reference_sigma": 1,
  "reference_index": 0,
  "r_range": [
   0.1860377516946924,
   0.8139622483053075
  ]
 },
 "b7": {
  "lower_bound": -0.020000000000000018,
  "sampled_margin_at_placement": -0.019999984580083452,
  "rigorous_upper_bound": -0.0199971952776603,
  "sigma": -1,
  "phi": 0.9075712110370514,
  "t": [
   0.05473423247544632,
   -0.01046172228519981
  ]
 },
 "b9": {
  "eps": 0.002,
  "reflected_placement_residual": 5.377642775528102e-17,
  "R_K": 0.5420358200279315,
  "G_proper_only": 0.0029997502155205283,
  "rho_P": 0.0023650774308087066,
  "proper_only_lower_bound": 0.0006346727847118218
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 5,
  "controls_undisturbed": 5,
  "must_stay_green_assertions": 231,
  "must_stay_green_held": 231,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-law-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-eta-as-secant",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K4-record-float-noise",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-reflection-law-ignored",
    "kind": "mutation",
    "expected": [
     "B1",
     "B9"
    ],
    "tripped": [
     "B1",
     "B9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-both-branches-reflected",
    "kind": "mutation",
    "expected": [
     "B1",
     "B9"
    ],
    "tripped": [
     "B1",
     "B9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-only-3-active",
    "kind": "mutation",
    "expected": [
     "B2"
    ],
    "tripped": [
     "B2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-translation-bound-tiny",
    "kind": "mutation",
    "expected": [
     "B3"
    ],
    "tripped": [
     "B3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-eta-missing-factor",
    "kind": "mutation",
    "expected": [
     "B5"
    ],
    "tripped": [
     "B5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-rho-halved",
    "kind": "mutation",
    "expected": [
     "B5"
    ],
    "tripped": [
     "B5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6b-errors-dropped",
    "kind": "mutation",
    "expected": [
     "B4",
     "B5",
     "B6"
    ],
    "tripped": [
     "B4",
     "B5",
     "B6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-recorded-G",
    "kind": "mutation",
    "expected": [
     "B5",
     "B6"
    ],
    "tripped": [
     "B5",
     "B6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-recorded-reference",
    "kind": "mutation",
    "expected": [
     "B6"
    ],
    "tripped": [
     "B6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-width-claim",
    "kind": "mutation",
    "expected": [
     "B7"
    ],
    "tripped": [
     "B7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-eps-too-large",
    "kind": "mutation",
    "expected": [
     "B9"
    ],
    "tripped": [
     "B9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-doc-eta-edited",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-package-sha",
    "kind": "mutation",
    "expected": [
     "B8"
    ],
    "tripped": [
     "B8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-ref-title",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-definition-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}