Validation

EstablishedDashboard tracks doctrine-aligned tags; campaign pages may still carry lab [M] language.

Integrity Dashboard

Claim register aligned with Public Doctrine v1.1.15. Structure banked does not mean every residual is closed.

Last updated: 20 August 2026

Structure package: Claims here are geometric/packaging results under named premises. They do not by themselves close leftover α, one-seat continuum hold, or the full SM mass spectrum. See /status.

Every hub claim should match /status residual chips. Lab campaign pages may report modelled fits — they are not automatic free theorems.

Open frontiers (doctrine)

  • [O] F1 One-seat continuum hold (two-seat Darwin does not close it)
  • [O] F2 Hard bulk–face E = mc² join (independent geometric a)
  • [O] F4 Spin growth-rate / moment-arm (0.744 is a ratio, not a constant to discover; it waits on an F1 stress)
  • [O] F6 Native heavy flavour membership (PARKED; not free c,b,t on e_i)
  • [O] F7 Smash-fragment census if asked (whole seats, not on-shell quarks)

Other books · parks · process

  • Visibility lab work is closed. The ground window is the account. The close does not move the hold, the hard join, or heavy flavour
  • F5 Foot δ is [E INPUT]; K/L is [E] algebra of that input, not a second input and not a derivation (Route E ratios are another track)
  • α and local m_e are leftovers (INPUT / access), not frontiers
  • Hadronic dual / m_dyn (O-H-pack needs new principle)
  • Unique CKM / PMNS DENIED / PARK; oscillation numbers stay in the measurement basket
  • Ontology of R_eff (inferred Mach length; unnamed)
  • Genesis G–H₀ splice is [M packaging]. At CODATA G, named as K=c⁴/G, the evaluation is 68.973054 (codata_2022) and 68.9730537 (codata_2018) [E algebra]. Printed 68.97305 is rounding. Baseline 68.973 and 3/8 stay [P]. ω₂=H₀ stays [M]. The cross-book derivation token stays unissued (FAIL_DERIVE_LOCK). The coefficient line stays closed as a one-functional derivation
  • Pair vertex is [M packaging]. The cut, charge, Hopf labels, λ(t), and the manifold spawner stay [O residual]. Token BN1 stays unissued. The explicit bulk field equation stays open
  • Neck depth d_neck=(π/4)R_cl≈8.362 Gpc is [E algebra] of the clothes lock [M]. Discrete survey containment in V₁ is [M packaging]
  • A dynamical selection of T(2,3) that would promote ω₂=H₀ stays [O residual]
  • Radio-clock gate FT-Z-RCK stays logged and unpassed; bulk stationary (R_dot=0); η retained; no pass token
  • Neutrino coframe triad placed [M packaging]; m_1=0 unsigned; C4 has no residual rule for α; individual masses stay [O residual]; PMNS stays OPEN
  • Light nuclei simplex A=2,3,4: denominator step in ΔB_face=(13/16)B_D and bond factor 10/9 use stay unpaid; printed rows use measured gap E_C=0.763752 MeV
  • Inputs of the splice: G (equivalently K=c⁴/G, §0bn1176, §0bn1189) and m_p remain inputs; 6π⁵ is permanently forbidden (F30)
  • NZ shadow emission book / fluid GRMHD library (Paper I is a comparison theorem, not GRMHD)
  • Regular Einstein interior on the NZ area-minimum (lab: Δk=0 is a MOTS)
  • Paper I submit is programme process, not an eighth frontier
  • Leftover extra-Φ constitutive W (OPEN / [M] slot, not [E]; 1 Oct F(X) target withdrawn; 2 Oct yield envelope Y(a_sym/g) on log source placed as join, p≥2 fast face, Y→1 returns v⁴=GMa_sym; sky redshift/dilation stays open residual; √6 [M]; P5 cluster book OPEN) — index /validation/leftover-phi so the mills are not redone

Forbidden as public results (sample)

  • [F] Continuum hold closed
  • [F] α derived
  • [F] Absolute m_e from dual cancel or pure local ED alone
  • [F] Soft P_EMC = Einstein bulk–face theorem
  • [F] Willmore = Weber self-energy theorem
  • [F] Lattice barcode for full SM multiplet
  • [F] Finished TOE / completed UFT certificate
  • [F] μ/τ as other knots at the same bag scale

Full forbidden list on /status.

Claim table

11Established
3Modelled
2Open
5Forbidden
IDClaimStatusPage
DOC-01Public doctrine residual chips govern hub claimsView →
FD-01Cover S³=Spin(3) supplies half-integer spin typeView →
EM-01Electron as T(1,1) core-ready under multiplet packagesView →
EM-02Dual cancel packaging ≠ continuum hold theoremView →
EM-03α is public INPUT — not free theoremView →
GEN-01Route E Willmore ladder μ/τ ratios vs dataView →
GEN-02Foot δ [E INPUT]; K/L [E] algebra of that inputView →
EQ-01Equivalence target is SM/QED measurements, not ontologyView →
FL-01Light G2 3⊕3̄ flavour structureView →
EXP-01Two leftovers downstairs (α and one length); {c, ℏ, ε₀, e} are clothesView →
EXP-02Seven genuine physics frontiers F1–F7; Paper I is process not F8View →
NUC-02T(2,3) hadronic sector candidate (structural)View →
ABS-01Soft absolute mass package P_EMCView →
GR-01S³ factor-six join (Ω_k and gravity 1/6 shadow)View →
FL-03FL-HEAVY heavy multiplet membershipView →
HD-01Continuum single-seat hold fixed pointView →
EQ-02Experiment counted three quarks on a live protonView →
EQ-03Proton 2-lobe derives μ_n/μ_p = −2/3View →
FL-02Free (c,b,t) on e_i / six-quark basis mapView →
NUC-01Proton as free T(2,3) mass theoremView →
EXP-03α = tan β as a derivation of 1/137 / 137-formula from present 3-algebraView →

Source Documents

The primary research documents underlying this page. All files are freely viewable and downloadable. They represent the working research as written — including integrity tags, equations, and finding IDs.

Documents open in the CPT Research Library — a formatted viewer for all source research files.