{
 "_schema": "every load-bearing claim: id, statement, class, status in {live, hypothesis, suspended, retracted, struck}, depends_on [ids], executable (committed file or NONE), note. Rules checked by check_ledger.py: R1 no live claim depends on a retracted/struck one; R2 every live computed claim has a committed executable; R3 every retraction names its note.",
 "claims": [
  {
   "id": "sites-relations-theorem",
   "statement": "watched = site-generated exactly; dark dim = E-4N+4+sum(4-deg)+, exact 12/12",
   "class": "theorem",
   "status": "live",
   "depends_on": [],
   "executable": "n269_verify.py",
   "note": "n269"
  },
  {
   "id": "leg1-M1-extensivity",
   "statement": "dark space extensive iff z>8; dim/N -> z/2-4; control z=6 dies exactly",
   "class": "measured",
   "status": "live",
   "depends_on": [],
   "executable": "consolidated_leg1.py",
   "note": "n267"
  },
  {
   "id": "leg1-M3-locality",
   "statement": "dark projector local (x40 decay over half-box)",
   "class": "measured",
   "status": "live",
   "depends_on": [
    "leg1-M1-extensivity"
   ],
   "executable": "consolidated_leg1.py",
   "note": "n267"
  },
  {
   "id": "leg1-M4-content",
   "statement": "2+2 channel content at frozen thresholds",
   "class": "gate",
   "status": "retracted",
   "depends_on": [],
   "executable": "consolidated_leg1.py",
   "note": "n267 (failed as frozen; successor gate at preflight)"
  },
  {
   "id": "n224-glass-gate",
   "statement": "p3pp-glass 7/7 as foundation evidence",
   "class": "gate",
   "status": "retracted",
   "depends_on": [],
   "executable": "NONE",
   "note": "n266 (invalidated by n249: wrong graph, wrong probes)"
  },
  {
   "id": "capacity-theorem",
   "statement": "full audit requires z>8 as a THEOREM",
   "class": "theorem",
   "status": "retracted",
   "depends_on": [],
   "executable": "NONE",
   "note": "n266 (demoted to rank count = leg1-M1)"
  },
  {
   "id": "photon-is-cycles-id",
   "statement": "the photon IS ker A inter ker G",
   "class": "identification",
   "status": "retracted",
   "depends_on": [],
   "executable": "NONE",
   "note": "n266 (formal subspace only; content gate pending)"
  },
  {
   "id": "photon-circulation-corollary",
   "statement": "any site-local vector field is exactly watched; dark vector content must be circulation",
   "class": "theorem",
   "status": "live",
   "depends_on": [
    "sites-relations-theorem"
   ],
   "executable": "content_leg1b_runner.py",
   "note": "n267/preflight"
  },
  {
   "id": "displacement-silence",
   "statement": "every site-displacement multipole pattern is exactly watched (quadrupole included)",
   "class": "theorem",
   "status": "live",
   "depends_on": [
    "sites-relations-theorem"
   ],
   "executable": "n249_momentum_audit.py",
   "note": "n268"
  },
  {
   "id": "n249-quadrupole-016",
   "statement": "quadrupole radiates at 0.16",
   "class": "measured",
   "status": "retracted",
   "depends_on": [],
   "executable": "n249_momentum_audit.py",
   "note": "n268 (unreproduced; killed by displacement-silence)"
  },
  {
   "id": "censorship-theorem",
   "statement": "no signal beats c at any scale (total censorship)",
   "class": "theorem",
   "status": "retracted",
   "depends_on": [],
   "executable": "NONE",
   "note": "n266 (C1: model-level only; retarded Green gate owed)"
  },
  {
   "id": "cherenkov-closure",
   "statement": "vacuum-Cherenkov flank closed (no on-shell states)",
   "class": "A-model",
   "status": "retracted",
   "depends_on": [
    "censorship-theorem"
   ],
   "executable": "NONE",
   "note": "n266 (reopened)"
  },
  {
   "id": "hydrogen-acquittal",
   "statement": "knee safe from spectroscopy (watched channel frozen)",
   "class": "A-model",
   "status": "retracted",
   "depends_on": [
    "censorship-theorem"
   ],
   "executable": "NONE",
   "note": "n266 (reopened as exposure)"
  },
  {
   "id": "deflection-chain",
   "statement": "light bending = 1/4 GR through the pinned chain",
   "class": "computed",
   "status": "struck",
   "depends_on": [],
   "executable": "NONE",
   "note": "n266 (B: no ray dictionary; no deflection observable exists)"
  },
  {
   "id": "mercury-b3",
   "statement": "b3/a = +0.123, zero-dial Mercury test",
   "class": "A-model",
   "status": "suspended",
   "depends_on": [
    "n224-glass-gate"
   ],
   "executable": "NONE",
   "note": "n266 (D3: not an observable; pinning from invalidated family)"
  },
  {
   "id": "gaia-inference",
   "statement": "tau > 1.7e14 yr, Delta < 0.03 Hz from Gaia null",
   "class": "measured",
   "status": "retracted",
   "depends_on": [
    "stark-channel"
   ],
   "executable": "gaia_polarization.py",
   "note": "n266 (label-odd estimator + Stark cancellation)"
  },
  {
   "id": "stark-channel",
   "statement": "constant V/tau term polarizes orbits (prediction 40)",
   "class": "A-model",
   "status": "retracted",
   "depends_on": [],
   "executable": "NONE",
   "note": "n266 (cancels exactly for universal drag; Builder's own addition)"
  },
  {
   "id": "vdrag-bounds",
   "statement": "velocity-drag time tau > 5e12 yr (J0737), > 3e12 (AU)",
   "class": "bounds",
   "status": "live",
   "depends_on": [],
   "executable": "NONE",
   "note": "n261 (arithmetic on published data; Stark rows void)"
  },
  {
   "id": "knee-hypothesis",
   "statement": "gamma = alpha me c^2 / hbar (= l_audit = 2 a0)",
   "class": "hypothesis",
   "status": "hypothesis",
   "depends_on": [],
   "executable": "NONE",
   "note": "n228/n253 (naked; no derivation route)"
  },
  {
   "id": "lesage-four-answers",
   "statement": "Maxwell/Laplace/Poincare/saturation answered for information currency",
   "class": "A-model",
   "status": "live",
   "depends_on": [
    "shadow-linearity",
    "aberration-zero",
    "vdrag-bounds",
    "rest-darkness"
   ],
   "executable": "NONE",
   "note": "n270"
  },
  {
   "id": "rest-darkness",
   "statement": "zero decoherence at rest, exact at marginality",
   "class": "A-model",
   "status": "live",
   "depends_on": [],
   "executable": "n211_joint_lindblad.py",
   "note": "n211"
  },
  {
   "id": "aberration-zero",
   "statement": "constraint statics has zero aberration; aberrated gravity unbinds Mercury in ~50 yr",
   "class": "computed",
   "status": "live",
   "depends_on": [],
   "executable": "n260_laplace.py",
   "note": "n260"
  },
  {
   "id": "shadow-exists",
   "statement": "audit load depleted between masses (the Le Sage shadow)",
   "class": "computed",
   "status": "live",
   "depends_on": [],
   "executable": "n270_shadow.py",
   "note": "n270"
  },
  {
   "id": "shadow-linearity",
   "statement": "shadow strictly linear in each mass (no saturation, EP exact)",
   "class": "computed",
   "status": "live",
   "depends_on": [
    "shadow-exists"
   ],
   "executable": "n270_shadow.py",
   "note": "n270"
  },
  {
   "id": "static-unsigned-dead-end",
   "statement": "unsigned static cost carries NO long-range force (flat at 1e-16)",
   "class": "measured",
   "status": "live",
   "depends_on": [],
   "executable": "n271_sign.py",
   "note": "n271"
  },
  {
   "id": "attraction-is-refraction",
   "statement": "wave packet deflects TOWARD drained zone (kappa > 0): Q1 settled",
   "class": "measured",
   "status": "live",
   "depends_on": [
    "static-unsigned-dead-end"
   ],
   "executable": "n271_sign.py",
   "note": "n271 (chain: drainage 1/r + P3 stiffness~k + measured refraction)"
  },
  {
   "id": "Q2-content-gate",
   "statement": "dark space carries photon-circulation + graviton-metric content",
   "class": "gate",
   "status": "suspended",
   "depends_on": [
    "photon-circulation-corollary"
   ],
   "executable": "content_leg1b_runner.py",
   "note": "awaiting Codex preflight"
  },
  {
   "id": "Q3-common-cone",
   "statement": "both carriers propagate on one cone",
   "class": "gate",
   "status": "suspended",
   "depends_on": [
    "Q2-content-gate"
   ],
   "executable": "NONE",
   "note": "dynamics gate v2 awaiting freeze"
  }
 ]
}