{
  "box": {
    "d0_um": [
      25.0,
      60.0
    ],
    "jog_mult": [
      -0.4,
      0.4
    ],
    "pt_mult": [
      1.0,
      1.2
    ],
    "sep_mult": [
      2.5,
      4.5
    ]
  },
  "certified_boxes": 138052,
  "certified_volume_frac": 1.0000000000006144,
  "content_sha256": "d8847f6420a16c893dc5ec69483a851c74b29cd7d0136c25d2391c57bdf6830b",
  "enclosure_mode": "centered",
  "failure_regions": [],
  "failure_volume_frac": 0.0,
  "family": "two_tight_pairs (nfill=0 core)",
  "honest_scope": "a theorem about the MONOPOLE-CLOSURE model (Gate 88), which matches the frozen BEM to 0.081% at the exact 2-cylinder limit; the closure-vs-BEM model gap is an ADDITIVE disclosed term (worst weak-regime family slice ~11-17%), never absorbed into the floor. NEVER a statement 'about BEM' bare. Sim-vs-sim. Enclosures via outward-rounded interval arithmetic (interval_core, containment-validated).",
  "inf_certified_k_lo": 0.8300001641114997,
  "interval_core": "genesis/verify/interval_core.py",
  "k_floor_target": 0.83,
  "n_failure_regions": 0,
  "open_boxes": 0,
  "processed_boxes": 276103,
  "proven_floor": 0.8300001641114997,
  "reference_point_sample_min_k": 0.8402,
  "statement_if_certified": "for EVERY layout in the stated family box, the monopole-closure many-body screening factor satisfies k_min >= 0.830000 (target 0.83); geometry-based many-body screening in this family CANNOT reduce the pair coupling below 0.8300x the isolated-pair value \u2014 a certified lower limit on achievable isolation, complementary to the Gate-105 ceiling",
  "status": "THEOREM_CERTIFIED",
  "wall_s": 420.3
}