{
 "run": "RUN-011",
 "subject": "Round 08: the conditional-lift certificate compiler",
 "document": "main.zip!/AMRAL_LUC_FC_Round_08_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_08_Conditional_Lift_Certificate_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "X1": {
   "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": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "R7": 0.512858431636277,
  "t7": 0.1969350467711682,
  "increment": 0.00021880908299998225,
  "ratio": 6.8319878658792685
 },
 "w2": {
  "largest_dH_over_delta": 0.9532024934232871
 },
 "w3": {
  "analytic_core_min_support_gap": 0.00017132434480326975,
  "R_K_analytic": 0.52
 },
 "w4": {
  "rows": {
   "seed + best B7 @ 0.0001": {
    "half_widths": [
     0.0001,
     0.0001
    ],
    "deltas": [
     0.0001414213562373095,
     0.0001939944674273174,
     0.0001927071993795681
    ],
    "base_inner_lower": 0.8345408341930678,
    "inner_lower": 0.8368147577246808,
    "least_sampled_actual": 0.8371307143995785,
    "loss": 0.0003159566748976994
   },
   "seed + best B7 @ 0.001": {
    "half_widths": [
     0.001,
     0.001
    ],
    "deltas": [
     0.001414213562373095,
     0.0019399446525867657,
     0.0019270719726402709
    ],
    "base_inner_lower": 0.8325519165162916,
    "inner_lower": 0.8342258382820734,
    "least_sampled_actual": 0.8371444165162754,
    "loss": 0.0029185782342019406
   },
   "four-body optimum @ 0.0001": {
    "half_widths": [
     0.0001,
     0.0001
    ],
    "deltas": [
     0.0001414213562373095,
     0.0001939944674273174,
     0.0001927071993795681
    ],
    "base_inner_lower": 0.8347582627060472,
    "inner_lower": 0.836155023525527,
    "least_sampled_actual": 0.8364992042051489,
    "loss": 0.00034418067962194154
   },
   "four-body optimum @ 0.001": {
    "half_widths": [
     0.001,
     0.001
    ],
    "deltas": [
     0.001414213562373095,
     0.0019399446525867657,
     0.0019270719726402709
    ],
    "base_inner_lower": 0.832670009745732,
    "inner_lower": 0.8337169823009518,
    "least_sampled_actual": 0.836588826470334,
    "loss": 0.0028718441693821317
   }
  },
  "base_pruned_at_0.835": {
   "seed + best B7 @ 0.0001": false,
   "seed + best B7 @ 0.001": false,
   "four-body optimum @ 0.0001": false,
   "four-body optimum @ 0.001": false
  },
  "closes_at_0.835": {
   "seed + best B7 @ 0.0001": true,
   "seed + best B7 @ 0.001": false,
   "four-body optimum @ 0.0001": true,
   "four-body optimum @ 0.001": false
  }
 },
 "p1": {
  "schema_missing_sec14_fields": [
   "centering_gauge",
   "constant_width_status",
   "reflection_symmetry",
   "rotation_radius_bound",
   "translation_domain_rule"
  ],
  "s1": {
   "worst_deficit_without_rotation_term": -0.0003599950815956765,
   "random_placements_exposing": 37,
   "of": 2000
  }
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 203,
  "must_stay_green_held": 203,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-motion-by-double-angle",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-tree-identity-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-t7-digit",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-ref-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-threshold-misquoted",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-R7-digit",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-t7-digit",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-ratio",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-motion-without-rotation",
    "kind": "mutation",
    "expected": [
     "W2",
     "W3"
    ],
    "tripped": [
     "W2",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-core-eroded-by-half",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-coarse-leaf-claimed-closed",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-hard-cell-claimed-base-pruned",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-tree-single-root",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-spec-t7",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-reflection-field-assumed",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-schema-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-sanity-delta-shifted",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}