{
  "lcert-img-preregistration-sha256": "4e0f15027f141c95",
  "scope": "the enclosure is sound relative to the npup DISCRETIZED-Hopkins engine on the committed grid, NOT silicon (eigh backward error out of scope); the fast ADMIT is sound wrt that npup authority via the S142 truncation-bound (not surrogate-relative); the LCERT-IMG-1 receipt certifies the surrogate IBP enclosure + gate verdict (the surrogate<->SOCS gap is the separate composition leg, empirical/finite-calibration); the linear-relaxation is a numpy secant, NOT auto_LiRPA/CROWN (which cannot bound-propagate the FFT layers); any competitor/economics figures are contingent-ceiling; simulator-relative",
  "config": {
    "grid": 64,
    "pixel_nm": 2.0,
    "k_fast": 3,
    "m_tail": 6
  },
  "soundness": {
    "violations": 0,
    "checked": 13303808,
    "tightness_ratio": 0.6266231603683654
  },
  "soundness_n_masks": 232,
  "tightness_ratio": 0.6287999611526279,
  "tighter_than_crude": true,
  "neutral_delta_zero": true,
  "m_tail_monotone": true,
  "directed_rounding_teeth": true,
  "inv_a": {
    "false_admit": 0,
    "n_admit": 2,
    "checked": 87,
    "coverage_teeth": true
  },
  "speedup": {
    "aerial_x": 41.164492388010714,
    "gate_x": 1.4382617958179609,
    "t_npup_aerial_s": 0.005626386133371852,
    "t_fast_aerial_s": 0.00013668056635651737,
    "gate_note": "the FORWARD MODEL (aerial/enclosure) is the robust measured win; the full admission GATE is ~1x because it is NOT imaging-bound (the k-independent optimality leg + PW bisections dominate) \u2014 disclosed, not hidden. The fast gate's value is cheap REJECT + the sound enclosure, not end-to-end wall-clock."
  },
  "receipt_honest_clean": true,
  "tampers": {
    "narrow_hi": true,
    "narrow_lo": true,
    "primitive": true,
    "verdict": true,
    "K": true,
    "thr": true,
    "drop_locus": true
  },
  "extracted_verifier_ok": true,
  "linrelax": {
    "sound_subset_ibp": true,
    "n_tighter": 1984,
    "n_loci": 1984,
    "width_ratio": 0.6808870516329965
  },
  "crown_backend_honest": true,
  "crown_backend": "ibp",
  "crown_ran": false,
  "composition": {
    "Q": 0.1741715910027723,
    "misses": 0,
    "n_mc": 200,
    "covered": true,
    "kl_upper": 0.014867039231271915,
    "Q_exceeds_center": true
  },
  "competitor": {
    "fast_estimate_certified": true,
    "iccad_clip": "M1_test1",
    "openilt_runnable": true,
    "openilt_reason": "ok",
    "openilt_mask_certified": true,
    "openilt_note": "OpenILT SimpleILT mask (clip M1_test1, L2=9347.6943359375) certified end-to-end: verdict REJECT, receipt re-derives clean"
  },
  "determinism_bit_identical": true,
  "readonly_upstream": {
    "ok": true,
    "source": "HEAD-diff",
    "files": [
      "litholab/forward/optics.py",
      "litholab/theory/hopkins_gap.py",
      "litholab/formal/float_sound_gate.py",
      "litholab/formal/verdict_robustness.py",
      "litholab/legalizer/certified_gate.py",
      "litholab/formal/interval_gate.py",
      "litholab/data/iccad.py"
    ]
  },
  "spine_9of9": true,
  "fold": {
    "n_sprints": 234,
    "policed_has_232": true,
    "check_numbers_green": true
  }
}