Checked arithmetic, open analytic frontier
Solid arrows are actual direct root dependencies extracted from the accepted proof bundles. Dashed arrows show intended support for an unproved campaign parent. Shared notation is not a proof dependency. Historical ancestors omitted from this small view remain fully present in the downloadable certificates.
Exact statements
- NG001 — Constructive natural strict gap
- SN002 — Witnessed integer norm separation
- SN003 — Signed quadratic norm multiplicativity
- CV001 — Universal convolution vanishing
- RN001 — Rational norm representative independence
- RN002 — Rational quadratic norm multiplication
- SI001 — Nonzero signed-integer products
- QN001 — Nonzero quadratic-integer products
- QF001 — Nonvanishing finite quadratic product traces
Conservative definition network · All execution evidence · Full irrationality planning cone · Typed DAG data.
IR072 is still open; no Alpha/Stable admission is implied.