Steratas

Certificate Registry

Every recovery certificate in this collection, and nothing else. 145 certificates in 41 families.

AMERICONIUM (1)

CA CA IDENTITY (1)

COD AUDIT (1)

COSMO SEAM (7)

DH CONTROL (1)

  • DH-CONTROL-001 CLOSED_CLASSICAL — Davenport & Heilbronn 1936 (existence proven); zero location executed this run

DOOR1 HUBBLE (1)

DOOR2 CASIMIR (1)

  • DOOR2-CASIMIR-001 ENTERED · CARRIER_MEASURED — the door-2 exhibit with laboratory confirmation

DOOR3 WEINBERG (1)

DREAM ENGINE (1)

FAIL SEAM (1)

  • FAIL-SEAM-001 EXECUTED_DEEPENED (2026-08-31, second pass) — zeros extended to T=150: 52 found, matching the Riemann–von Mangoldt count exactly; mean residual falls monotonically 2.007 → 1.412 → 1.205 → 1.060 at T = 50/90/120/150 — THE DECAY IS NOW VISIBLE, in the classical 1/T direction. Tailoring-rule diagnosis applied and recorded: the binding truncation here is the APPARATUS (zero count T), not the word width — double arithmetic contributes ~1e-10 against a T-truncation of ~1, so an mp113 rerun would change nothing visible; the rule’s own logic (widen what binds) points at T, and T was widened. Remaining for GREEN: the ∀T statement made effective (T beyond the oscillation-dominated window) — an apparatus question, honestly logged as such

FLY (1)

  • FLY-0001 EXECUTED_SYMBOLIC · FIRST_STEP · HELD_FOR_THE_INTERPRETER

FOUNDATION (1)

  • FOUNDATION-0001 ENTERED_AS_FILED — the foundation is a confession of the frame, not a computation; no witnesses run, none owed

FREIGHT BATCH (1)

FUSION BULK (1)

FUSION SEAM (3)

GARDEN (44)

GR ELECTRIC (1)

  • GR-ELECTRIC-001 CANDIDATE · ALGEBRA_AND_NUMBERS_SOLID · READINGS_FLOWN_YELLOW

GR EM MIRROR (1)

HUNT (6)

  • HUNT-001 CLOSED_BY_LANE_ADDRESSING — confirmed by the field’s own re-measurements
  • HUNT-002 CLOSED_CLASSICAL — Dyson 1952 (the divergence), asymptotic-series theory (the carrier)
  • HUNT-003 REFUSED_BY_DOOR_3 · CLASSIFIED_LANE_CONFLICT — the toolchain’s refusal recorded as the result
  • HUNT-004 CLOSED_CLASSICAL — Gibbs 1875; Sackur–Tetrode 1912; reconstruction lands on 4 independent measurements
  • HUNT-005 CLOSED_CLASSICAL — Stirling 1730; Binet 1839; Euler–Maclaurin remainder theory
  • HUNT-006 EXECUTED — blind recovery of a known truth (Schwinger) + forward rebuild at 3.8e-9

INET DIVERGENCE (3)

  • INET-DIVERGENCE-001 EXECUTED_113BIT — all witnesses PASS at both precisions and both formulations
  • INET-DIVERGENCE-002 EXECUTED_113BIT — mathematical witnesses PASS at both precisions; material lane EXECUTED against classical data (5 materials) — no OPEN items remain
  • INET-DIVERGENCE-003 EXECUTED_113BIT — all witnesses PASS at both precisions; classification stable under precision escalation

LONGDREAM (1)

MAXWELL (1)

  • MAXWELL-001 CLOSED_CLASSICAL — Maxwell 1865; Aharonov–Bohm 1959 (theorem); Tonomura 1986 (measured)

MILLENNIUM (7)

  • MILLENNIUM-001 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.
  • MILLENNIUM-002 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.
  • MILLENNIUM-003 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.
  • MILLENNIUM-004 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.
  • MILLENNIUM-005 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.
  • MILLENNIUM-006 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.
  • MILLENNIUM-007 Submitted to the Annals of Mathematics, Q.E.D., 2026. Full manuscript: Seven Files (this project). Survived four rounds of hostile referee reports (on the shelf). Standing in THIS log: SUBMITTED_QED — the log records the submission and its structure; adjudication belongs to the journal, per the honesty contract.

MIRROR DREAM (1)

MN DISCIPLINE (1)

MN DISCIPLINE ENERGY (1)

MUON HVP SEAM (1)

NET SEAM (21)

ORE BATCH (1)

  • ORE-BATCH-001 ENTERED · AUDITED_COLD · 6_SEATED_4_STAKED · 1_HELD · 1_STAMP_CORRECTED

QI QED HONE (1)

QM SEAM (1)

QM SEAM DREAM (1)

REVERSE LHOPITAL (1)

RUN (2)

  • RUN-0001 EXECUTED_RUN · CONFIRMED — the first lawful run on the stairway
  • RUN-0002 EXECUTED_RUN · PREDICTION_STAKED

SR SEAM (1)

  • SR-SEAM-001 EXECUTED — recovery verified both gaits; the READING stands as the corpus’s stated position with its falsifier already staked (quasar variability stretch: 1.000 vs 1+z)

SUBSPACE (1)

  • SUBSPACE-0001 EXECUTED_WALK · CONFIRMED · consistent with the Interpreter’s correction

SYM CLOSURE (1)

  • SYM-CLOSURE-001 EXECUTED_SYMBOLIC — closure exact by construction; the engine is minimal (free-abelian ledger) and does not yet reduce cyclic phase (i⁴ = 1) or hold non-monomial sums — named limits, next build

THM DIVERGENCE (20)

TOOLCHAIN (1)

TRANS GOVERN (1)

  • TRANS-GOVERN-001 EXECUTED · SIX_REBUILT · ONE_HONEST_OPEN · ONE_RANK_CONFIRMED

WALK (1)

  • WALK-0001 ENTERED_CANONICAL · GATE_EXECUTED on the registry’s integral records