Generated: 2026-09-07
49 claims · T0: 1 · T1: 10 · T2: 1 · T3: 1 · T4: 8 · T5: 10 · T6: 15 · T7: 3 · T7-candidates: 3 · refuted: 1
Tier scale TSv2 (governance/tier-system.md). A claim is exactly as strong
as its registered tier, scope, and hypotheses — never stronger. Falsifiers,
reproduction commands, and history live on the claim cards.
| Claim | Title | Tier | Lifecycle | Evidence | Hypotheses | Open gates |
|---|---|---|---|---|---|---|
| A1-KERNEL-CONV | Production-kernel convention and G6 recomputation cascade | T5 | ACTIVE | EXECUTED | — | — |
| A1-KERNEL-IDENTITY | Kernel complete-the-square identity (zero-momentum vs shell mass) | T6 | ACTIVE | ANALYTIC, EXECUTED | A1-KERNEL-CONV | — |
| A1-PRODUCTION-FUNCTIONAL-REALISATION | Full production functional realisation: standalone variational backend | T5 | ACTIVE | EXECUTED, CONDITIONAL | — | — |
| A1-PRODUCTION-KERNEL-MANIFEST | Canonical N-001 production-kernel manifest: scalar-slice consistency gates | T5 | ACTIVE | ANALYTIC, EXECUTED | — | — |
| A1-SCALAR-ANALYTIC-BRANCH | Scalar analytic branch: K>=m_sh^2>0 (the A2/A3 hypothesis) | T6 | ACTIVE | ANALYTIC, EXECUTED | A1-SHELL-POSITIVITY | — |
| A10-CLASSII-RELATIVE-COMMUTATOR-REDUCTION | Frozen-energy relative Class-II structural reduction | T4 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | — | A10-CLASSII-STABILISED-RELATIVE-LOG-LAPLACE |
| A11-CLASSII-TRUE-INCREMENT-DETERMINANT-REDUCTION | Class-II true-increment determinant reduction | T4 | ACTIVE | ANALYTIC, EXACT, EXECUTED | — | A11-CLASSII-TRUE-INCREMENT-STABILISED-LOG-LAPLACE |
| A12-CLASSII-SOURCE-SQUARE-REDUCTION | Class-II sharp-cube source-square reduction | T4 | ACTIVE | ANALYTIC, EXACT, EXECUTED | — | — |
| A13-CLASSII-RELATIVE-PHASE-SOURCE-BUDGET-OBSTRUCTION | Class-II source, translated model, balanced coefficient jets, and obstruction boundary | T4 | ACTIVE | ANALYTIC, EXACT, EXECUTED | — | A13-CLASSII-FULL-PROGRESSIVE-REVISIT-EXTENSION, A13-CLASSII-CONTROLLED-SHELL-ENERGY-ONE-USE |
| A2-FULL-PRODUCTION-WELLPOSED | Full production well-posedness, pinned equilibrium, and conditional charge-ensemble transition | T6 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | A2-H3-CANONICAL-PRODUCTION-FUNCTIONAL | — |
| A2-PDE-WELLPOSED | Well-posedness of the TECT gradient flow and minimisation problem | T6 | ACTIVE | ANALYTIC, EXECUTED | A2-H1-KERNEL-POSITIVITY, A2-H2-SEXTIC-COERCIVITY | — |
| A3-FULL-PRODUCTION-DISCRETIZATION-CONTINUUM | Full-production spectral discretization to continuum PDE | T6 | ACTIVE | ANALYTIC, EXECUTED, CONDITIONAL | A2-H3-CANONICAL-PRODUCTION-FUNCTIONAL | — |
| A3-PERTURBATIVE-CONTINUUM-CORRELATORS | Cutoff-independent continuum limit of the perturbative correlators (conditional) | T6 | ACTIVE | ANALYTIC, ESTIMATOR | A3-H1-DIM3-Q4-KERNEL, A3-H2-IR-POSITIVITY, A2-H2-SEXTIC-COERCIVITY | — |
| A3-UV-SUPERRENORMALISABILITY | UV super-renormalisability of the scalar Brazovskii functional | T6 | ACTIVE | ANALYTIC, EXECUTED | A3-H1-DIM3-Q4-KERNEL, A3-H2-IR-POSITIVITY | — |
| A4-SCALAR-SPECTRAL-CONSTRUCTIVE-MEASURE | Finite-volume scalar spectral constructive Gibbs measure | T6 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | A1-SHELL-POSITIVITY, A2-H2-SEXTIC-COERCIVITY | — |
| A5-SECTOR-A-SYNTHESIS | Sector A branch-aware synthesis and termination package | T6 | ACTIVE | EXACT, EXECUTED, CONDITIONAL | A5-H1-CANONICAL-KERNEL-MANIFEST, A1-KERNEL-CONV, A1-SHELL-POSITIVITY, A2-H2-SEXTIC-COERCIVITY, A2-H3-CANONICAL-PRODUCTION-FUNCTIONAL, A3-H1-DIM3-Q4-KERNEL, A3-H2-IR-POSITIVITY | — |
| A6-CLASSII-K-COMPOSITE-DEFINITION | Fixed-floor canonical spectral definition of the Class-II K current | T5 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | — | A6-CLASSII-COUNTERTERM-CLOSURE, A6-CLASSII-FULL-FIELD-BARE-CONCENTRATION |
| A6-CLASSII-UV-POWER-COUNTING | Full derivative Class-II Gaussian UV power counting and leading contraction | T4 | ACTIVE | ANALYTIC, EXACT, EXECUTED | — | A6-CLASSII-COUNTERTERM-CLOSURE, A6-CLASSII-FULL-FIELD-BARE-CONCENTRATION |
| A7-CLASSII-RENORMALISED-ENERGY-COMPOSITE | Covariance-normal-ordered full three-component Class-II energy composite | T5 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | — | A7-CLASSII-NELSON-EXPONENTIAL-BOUND, A6-CLASSII-FULL-FIELD-BARE-CONCENTRATION |
| A8-CLASSII-DECOUPLED-NELSON-BOUND | Decoupled Class-II Nelson bound with spatial PSD backgrounds | T5 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | — | A7-CLASSII-SELF-COUPLING-INTERPOLATION |
| A9-CLASSII-SMART-PATH-CANCELLATION | Exact Class-II smart-path cancellation and noncentral frozen-shell control | T5 | ACTIVE | ANALYTIC, EXACT, EXECUTED, CONDITIONAL | — | A10-CLASSII-STABILISED-RELATIVE-LOG-LAPLACE |
| Claim | Title | Tier | Lifecycle | Evidence | Hypotheses | Open gates |
|---|---|---|---|---|---|---|
| B1-RH-ENUM | Reading-H selection within enumerated condensate ensembles | T7 | ACTIVE | ANALYTIC, EXECUTED | A1-KERNEL-CONV | — |
| B2-PROPA-HLAYER | Proposition A: the isotropic Gaussian-Hartree layer is the strict comparison infimum (T7, H-LAYER discharged) | T7 | ACTIVE | ANALYTIC, CONDITIONAL | A1-KERNEL-CONV | — |
| B3-BCC-STRUCT | BCC structural selection among tested ordered condensates | T0 | REFUTED | EXECUTED | — | — |
| B3-RH-TESTED-STRUCTURE-RANKING | Reading-H is selected within the tested ordered-reading ensemble (estimator grade) | T4 | ACTIVE | EXECUTED, ESTIMATOR | — | — |
| B4-CONE-CURVATURE-ANCHOR | BCC single-mode-cone uniqueness + positive local curvature anchor (metastable branch) | T5 | ACTIVE | ANALYTIC, EXECUTED | — | — |
| B4-MASS-GAP | BCC ground-state uniqueness within the single-mode constraint cone | T1 | ACTIVE | ANALYTIC | — | — |
| B5-BEYOND-LAYER-BOUND | Pattern-generic Gershgorin reduction of the beyond-layer bound | T7 | ACTIVE | ANALYTIC, EXECUTED | A1-KERNEL-CONV | — |
| Claim | Title | Tier | Lifecycle | Evidence | Hypotheses | Open gates |
|---|---|---|---|---|---|---|
| C1-LORENTZ-KIN | Kinematic Lorentz invariance (inertia) under H-SUPPRESSION | T6 | ACTIVE | ANALYTIC, CONDITIONAL | H-SUPPRESSION | H-SUPPRESSION-DISCHARGE |
| C2-LORENTZ-EMERGENT | Emergent Lorentz isotropy via 1-loop interval enclosure | T6 (T7-cand.) | ACTIVE | ANALYTIC, EXECUTED | H-LEGACY-CHAIN | — |
| C3-EP | Equivalence principle via Fermi-frame ODE lemma | T6 (T7-cand.) | ACTIVE | ANALYTIC | H-LEGACY-CHAIN | — |
| C4-GRAVITY-1LOOP | Gravity sector closure at 1-loop | T5 | ACTIVE | ANALYTIC, EXECUTED | — | SCHEME-2LOOP |
| C5-NEWTON-G | Newton-constant relation (T6/T7-SPLIT management) | T6 | ACTIVE | ANALYTIC, MATCHED | H-LEGACY-CHAIN | GAP-3, PRED-G-FREEZE |
| C6-SPACETIME-SIGNATURE | Emergent 3+1 dimensionality and Lorentzian signature | T1 | ACTIVE | CONDITIONAL | — | C6-BCC-PREMISE-BLOCKED |
| Claim | Title | Tier | Lifecycle | Evidence | Hypotheses | Open gates |
|---|---|---|---|---|---|---|
| D1-SO10-BUNDLE | SO(10) emergence via BCC defect bundle on CP2 | T6 | ACTIVE | ANALYTIC, CONDITIONAL | H-LEGACY-CHAIN, H-CP2-BUNDLE-DATA | — |
| D2-GAUGE-FORCING | Gauge-group emergence by flat-Cartan forcing (post-rollback) | T3 | ACTIVE | ANALYTIC | — | — |
| D3-CHIRALITY | Chirality with protected zeros | T6 (T7-cand.) | ACTIVE | ANALYTIC | H-LEGACY-CHAIN | — |
| D4-QUANTUM-CONSISTENCY | Quantum consistency per generation | T5 | ACTIVE | ANALYTIC | — | CP-UNITARITY |
| D5-GENERATIONS | Three fermion generations from the defect-bundle topology | T1 | ACTIVE | CONDITIONAL | — | — |
| D6-GUT-BREAKING | SO(10) to Standard-Model symmetry-breaking cascade | T1 | ACTIVE | CONDITIONAL | — | — |
| Claim | Title | Tier | Lifecycle | Evidence | Hypotheses | Open gates |
|---|---|---|---|---|---|---|
| E1-HIGGS-EW | Higgs mechanism, EW scale, GUT embedding | T4 | ACTIVE | EXECUTED, ESTIMATOR | — | GAP-3 |
| E2-HBAR-ORIGIN | Origin of hbar: phase-transition programme | T2 | ACTIVE | EXECUTED | — | — |
| E3-GAUGE-COUPLINGS | Standard-Model gauge couplings and unification | T1 | ACTIVE | CONDITIONAL | — | GAP-3 |
| E4-FERMION-MASSES | Charged-fermion mass spectrum and Yukawa hierarchy | T1 | ACTIVE | CONDITIONAL | — | GAP-3 |
| E5-CKM-MIXING | Quark flavour mixing (CKM matrix) | T1 | ACTIVE | CONDITIONAL | — | GAP-3 |
| E6-PMNS-NEUTRINO | Neutrino masses and lepton mixing (PMNS) | T1 | ACTIVE | CONDITIONAL | — | GAP-3 |
| Claim | Title | Tier | Lifecycle | Evidence | Hypotheses | Open gates |
|---|---|---|---|---|---|---|
| F1-COSMO-DARK-SECTOR | Cosmological sector programme (Lambda, dark sector) | T4 | ACTIVE | EXECUTED, ESTIMATOR | — | GAP-4 |
| F2-BARYOGENESIS | Matter-antimatter asymmetry (baryogenesis) | T1 | ACTIVE | CONDITIONAL | — | GAP-4 |
| F3-INFLATION-CMB | Primordial cosmology and CMB constraints | T1 | ACTIVE | CONDITIONAL | — | GAP-4 |
- T5 results are closed only within their pinned scope (scope string on the card).
- T6 results are theorems modulo the listed hypotheses (registry:
claims/GATES.md). - T7-cand. marks legacy-proved results awaiting a TSv2 verification package — entered at T6 by the no-auto-T7 rule.
- Gate status and priorities:
claims/GATES.md· roadmap:ROADMAP.md.