Original ledger status
DATA.SCORECARD.01
Confrontation of TFPT predictions with current research data (2024/25) - honest scorecard incl. tensions [N], data-confrontation (Python-only, external data). STRONG MATCHES: alpha^-1=137.0359992 vs CODATA 137.035999177 (~9 sig figs); sin^2 th12=0.30675 vs NuFIT 6.0 (2024) 0.307+-0.012 (0.02 sigma); beta_rad=0.2424 deg vs ACT DR6 (Diego-Palazuelos-Komatsu 2025) 0.215+-0.074 (0.37 sigma). MILD ~2 sigma TENSIONS: sin^2 th13=0.0231 vs NuFIT 0.02195+-0.00058 (1.98 sigma high); R+R^2 Starobinsky n_s=0.960-0.967 consistent with Planck 0.9649 but ~2 sigma below the DESI-combined P-ACT-LB 0.9743+-0.0034 (DESI-driven shift under discussion; CMB-only favors Starobinsky range). OPEN: theta23 octant ([P], NuFIT ambiguous 0.470/0.561). FUTURE FALSIFIER: tensor-to-scalar r~0.004 (Starobinsky), well below bound ~0.03, testable by CMB-S4/LiteBIRD. Honest verdict: impressive matches AND real current ~2 sigma tests - a falsifiable theory, not self-confirming
Recorded status: Numerical/data [N]
Dependencies, status detail and source
Canonical status: Numerical/data [N]
Dependencies: v3; v16; v21; v8; v60
Scripts: v62_data_scorecard.py
Location: origin_theory
Original CSV, line 127Original ledger status
ARCH.CFT.01
Boundary-CFT bridge (WZW central charges = compiler atoms) + SU(3)<->SU(4) reconciliation [I]/[L]; NOT a closure. (A) level-1 WZW central charges c=dim(g)/(1+h^v) are the atoms: c(E8)_1=248/31=8=rank E8, c(D5=SO10)_1=45/9=5=g_car, c(A3=SU4)_1=15/5=3=N_fam; coset c=8-5-3=0 = conformal-embedding criterion => (D5)_1x(A3)_1 ⊂ (E8)_1 is a conformal embedding (CFT mirror of the lattice glue (D5(+)A3)+mu4->E8); (5,3) split = central-charge additivity = rank split; the 8 in c3=1/(8pi) = c(E8)_1 (NOT oversold - the content is c_coset=0, per Alessandro's earlier caveat). (B) SU(3)<->SU(4) reconciliation: P^1\\mu4 has n=4 punctures => H_1=Z^(n-1) => N_fam=|mu4|-1=3; carrier side = puncture/center Z4=mu4 (A3=SU4); flavor side = monodromy rho on H_1=Z^3, SU(3)-valued, center Z3=triality, phases {0,1/3,2/3}=parabolic weights (NOT SU(4)_1 weights {0,3/8,1/2}); SU(3) ⊂ SU(4) via 4->3+1. => NOT one WZW for all gates (C falsified), but ONE geometry P^1\\mu4 with two dual sides. CHECKED: Cardy route c=8->S=A/4 is NOT a shortcut (c=8 is matter central charge; area law needs geometric Brown-Henneaux c~ell/G) - restates the open Seam-Horizon coefficient, does not close it
Recorded status: Identity/Lie [I]/[L]
Dependencies, status detail and source
Canonical status: Identity/Lie [I]/[L]
Dependencies: BND.GLUE.01; v6; v15; v19; SEAM.THEOREM.01
Scripts: v61_cft_bridge.py
Location: origin_theory
Original CSV, line 128Original ledger status
LAMBDA.BRANCH.01
Lambda-metrology branch selection => G_N as horizon-metrology OUTPUT, the 123-orders double overlap, and the ACT DR6 birefringence comparison. (1) The form rho_Lambda/Mbar^4=(3/(4pi^2))e^(-2 alpha^-1) is in Paper 1; NEW: with delta_top=48 c3^4=3/(256 pi^4) the physical branch prefactor is (8pi)^2 delta_top=3/(4pi^2) [I], and the alternative branch 2c3 e^(-2a) is mis-scaled by 2c3/delta_top=1/(24 c3^3)=64 pi^3/3=661.467 - so selecting the physical branch PINS Mbar (hence G_N): Newton constant is an output, not a free input [I]+[P consequence]. (2) 123-orders split [I]/[N]: |log10(rho_Lambda/M_Pl^4)|=122.948=119.028(=2 alpha^-1/ln10, EM fixed point)+3.920(=log10(256 pi^4/3), seam-defect prefactor in M_Pl units) - double overlap of one boundary compiler, not fine-tuning. (3) ACT DR6 birefringence [N]: TFPT beta_rad=phi0/(4pi)=0.2424 deg (same seed as Cabibbo); ACT DR6 (Diego-Palazuelos & Komatsu 2025, arXiv:2509.13654, PRD 113 L101302) beta=0.215+-0.074 deg (2.9 sigma) => TFPT ~0.37 sigma from central value (consistent, falsifiable). Plus action exponents (1,5,10)=K5 graph counts (5 vertices, 10 edges)=Pascal 16=1+5+10
Recorded status: Identity [I] + observational [N] + [P] consequence
Dependencies, status detail and source
Canonical status: Identity [I] + observational [N] + [P] consequence
Dependencies: EM.FP.01; v3; v8; v55
Scripts: v60_lambda_metrology_branch.py
Location: origin_theory;tfpt_1
Original CSV, line 129Original ledger status
SEAM.AREALAW.01
Area-law evidence for the open Seam-Horizon step (necessary condition met, NOT a closure): (1) NUMERICAL [Python-only] - the simplest reflection-positive Gaussian system (harmonic chain) has ground-state block entanglement entropy that SATURATES to a constant when gapped (area law: 1D boundary=O(1) points) and grows ~(c/3)log L when gapless (CFT c-coefficient, c~1); demonstrated S(8)=S(16)=S(32)=0.271 gapped vs 2.197<2.409<2.602 gapless (Srednicki 1993, Bombelli-Sorkin). So an RP Calderon-type kernel GENERICALLY yields an area law - the form S=A/(4G_Sigma) needs. (2) GAP TIE: the physical sector is gapped by the SAME gap Delta=6log(3/2)>0 that makes the attractor unique (v56) => gapped => area law; one gap gives BOTH attractor and area-law structure. (3) EXACT [I]: 8=|Z2|*|mu4| (sheet x glue), c3=1/(|Z2||mu4|pi); 2pi=1/(4c3) (chaos bound/seam unit); scrambling beta/2pi=|mu4|M. HONEST: fixes the area-law FORM; the c3=1/(8pi) COEFFICIENT still needs the specific seam kernel (open [A]). Cascade D=60-2n monotone c-function-like, 60=2h(E8) [P/analogy]
Recorded status: Numerical + Identity [I] (necessary condition)
Dependencies, status detail and source
Canonical status: Numerical + Identity [I] (necessary condition)
Dependencies: SEAM.THEOREM.01; v56; v58
Scripts: v59_area_law_evidence.py
Location: origin_theory
Original CSV, line 130Original ledger status
SEAM.THEOREM.01
Seam-Horizon chain (precise framing) + the OPEN Seam-Horizon Theorem. PRECISE: the seam is NOT identical to an event horizon - it is the abstract boundary normaliser whose LOCAL gravitational realisation is a horizon (black hole = local instance of seam grammar; de Sitter = global). EXACT arithmetic [I]: (geom origin) one-sided S^2 Gauss-Bonnet oint K dA=2pi chi(S^2)=4pi, Z2/Mobius => c3=1/(|Z2|*4pi)=1/(2*4pi)=1/(8pi), so 8pi=|Z2|*2pi chi(S^2) (the seam '8' is one-sided S^2 curvature, matching lattice rank E8 and gravitational 8pi); KMS T=kappa/(2pi)=4c3 kappa; Schwarzschild T_H=c3/M, S_BH=A/4=M^2/(2c3) (1/(2c3)=4pi); de Sitter T_dS=4c3 H; RT 1/(4G)=2pi Mbar^2=Mbar^2/(4c3) (1/(4c3)=2pi). OPEN [A] Seam-Horizon Theorem (next hard target): given a reflection-positive Calderon seam kernel on the doubled collar, replica variation of the seam determinant should give area entropy S=A/(4 G_Sigma); then Jacobson closes Einstein 8pi G. Chain Mobius=>Z2[L]=>c3=1/8pi[I]=>KMS[I]=>[A: area-law from seam determinant]=>Einstein[P]. Three theses: weak [I] (c3 horizon factor) proven, medium [P] (BH=local seam thermality) plausible, strong [A] (seam=holographic horizon) open - needs ONE analytic area-law, not more numerics
Recorded status: Identity [I] + open theorem [A]
Dependencies, status detail and source
Canonical status: Identity [I] + open theorem [A]
Dependencies: SEAM.HORIZON.01; SEAM.CROSSLINK.01; v8; v57
Scripts: v58_seam_horizon_chain.py
Location: origin_theory
Original CSV, line 131Original ledger status
SEAM.CROSSLINK.01
Horizon cross-links - published black-hole results meeting compiler atoms (exact arithmetic [I]; physical seam=horizon identification is [P]): (1) JACOBSON/EINSTEIN: c3=1/(8pi) is exactly the Einstein-eq coefficient G_uv=8pi T_uv and EH action 1/(16piG)=c3/(2G); Jacobson 1995 derives Einstein eq from dQ=T dS on local Rindler horizons with entropy density 1/(4G), entropy coeff 1/4=1/|mu4| => if seam=horizon, gravity is its thermodynamics and c3 the conversion constant. (2) HOD QNM: Schwarzschild asymptotic quasinormal omega_R->T_H ln(3) (Hod 1998, Motl 2003), imaginary spacing 2pi T_H => omega_R/T_H=ln(3)=ln(N_fam); ladder spacing=seam unit 1/(2pi)=4c3. HONEST: the 3 is spin-dependent => [P] cross-link not forced. (3) Hawking power P_H=c3/(1920 M^2), 1920=|W(D5)|=2^4*5! (carrier Weyl group). (4) one alpha^-1: H0/Mbar~e^(-ainv)/(2pi) keys off the SAME EM fixed point as S_dS, Lambda. (5) S_BH=A/(4G)=A/(|mu4| l_P^2): one boundary cell per |mu4|=4 Planck areas. Supports the seam=horizon picture; not a closure
Recorded status: Identity [I] + [P] cross-links
Dependencies, status detail and source
Canonical status: Identity [I] + [P] cross-links
Dependencies: SEAM.HORIZON.01; v8; v3; v55
Scripts: v57_horizon_crosslinks.py
Location: origin_theory;tfpt_horizon_readouts
Original CSV, line 132Original ledger status
SEAM.ATTRACTOR.01
Unique attractor: a gapped boundary transport selects ONE fixed point [I]/[L]. The boundary transport spectrum {1,(2/3)^6,(1/3)^6} has spectral gap Delta=-log(2/3)^6=6 log(3/2)=2.4328>0. By Perron-Frobenius a primitive gapped operator has a UNIQUE dominant eigenvector and iteration converges to it geometrically at rate lambda2/lambda1=(2/3)^6, independent of initial state (demonstrated: two different starts -> same fixed direction, cos=1). This is the dynamical-systems content of 'parameter-free via fixed point' - the realized state is an ATTRACTOR, not a tuning; the convergence rate is the SAME (2/3)^6 of flavor+horizon (v54). Coxeter rotation lives in |mu4|=4 invariant planes (exponents pair m+(30-m)=30); sum exps=120=|R+(E8)|; #roots=rank*h=240. Entropy reset = the gap: T^n/lambda1^n -> rank-1 projector (only boundary law survives). Cyclic-cosmology reading is [P], not included
Recorded status: Identity/Lie [I]/[L]
Dependencies, status detail and source
Canonical status: Identity/Lie [I]/[L]
Dependencies: SEAM.HORIZON.01; SEAM.CYCLE.01; v54; v55
Scripts: v56_unique_attractor.py
Location: origin_theory;tfpt_3
Original CSV, line 133Original ledger status
SEAM.CYCLE.01
A cyclic element INSIDE the compiler hull (computed, not asserted): built from the E8 Cartan matrix, the Coxeter element c=s1...s8 has order EXACTLY h(E8)=30=|Z2|*N_fam*g_car=2*3*5 (verified by matrix powers, v55), and its eigenvalues are primitive 30th roots exp(2pi i m/30) with m the E8 exponents {1,7,11,13,17,19,23,29} = EXACTLY the phi(30)=8 totatives of 30. Hence rank E8=8=phi(30)=#exponents=#live phases of the order-30 cycle => the 8 in c3=1/(8pi) is the live-phase count of a primitive order-30 cyclic rotation of the hull, period 30=|Z2|*N_fam*g_car. PLUS one-alpha cross-sector: S_dS*rho_Lambda=1/(128 c3^4)=32 pi^4 (de Sitter Gibbons-Hawking entropy ~ 1/Lambda), so the SAME EM fixed point alpha^-1=137.036 sets the cosmic horizon entropy and Lambda smallness ~10^-122=e^(-2 alpha^-1). FURTHER: S_dS=2^g_car*pi^|mu4|*e^(2 alpha^-1) - the entropy prefactor 32 pi^4 = (Dirac spinor dim of D5=SO(10): S+ + S- =16+16=2^g_car) x pi^|mu4|, with 128=2^7 (7=scalaron exponent g+n-1): cosmic horizon entropy = carrier Clifford dim x pi^glue x EM fixed point. [I]/[L]; cyclic-cosmology reading is [P], not included
Recorded status: Identity/Lie [I]/[L]
Dependencies, status detail and source
Canonical status: Identity/Lie [I]/[L]
Dependencies: v6; v8; v3; h(E8)=30
Scripts: v55_coxeter_cycle.py
Location: tfpt_3;origin_theory
Original CSV, line 134Original ledger status
SEAM.HORIZON.01
Seam=horizon [I] keystones (pure identities, NO cosmological narrative): (1) the integer 8 in c3=1/(8pi) is OVERDETERMINED and gravitationally aligned: geometry 8=2|mu4| (8pi=|mu4|*2pi seam winding), lattice 8=rank E8=g+n=h(D5)=phi(30)=det R, gravity 8pi=Hawking/Einstein coeff (G_uv=8pi T_uv) => if seam=horizon, c3 is gravitationally forced and the gravitational 8 MUST equal the lattice/geometry 8 (it does). Both pi-coeffs are 2pi*integer: phi_tree=1/(6pi),6=2 N_fam (Gauss-Bonnet); c3=1/(8pi),8=2|mu4|; phi_tree=(|mu4|/N_fam)c3=(4/3)c3. (2) ONE transfer operator for BOTH sectors: boundary transport spec {1,(2/3)^6,(1/3)^6}; lambda2=(2/3)^6 = SM flavor gap eigenvalue (Delta=-log(2/3)^6=6 log 3/2=2.4328, tfpt_2) = horizon Page recovery rate (I_n~lambda2^n, Appendix H). Cusp weights {0,1/3,2/3} at 4 mu4-punctures = boundary data. Supporting: S_BH=A/|mu4|, 128 c3^4=1/(32 pi^4), T_dS coeff 16=|mu4|^2. The cyclic self-reproduction reading is [P] interpretation NOT included here
Recorded status: Identity [I]
Dependencies, status detail and source
Canonical status: Identity [I]
Dependencies: BND.GLUE.01; v6; v8; v10; tfpt_2 transport spec
Scripts: v54_seam_horizon_keystones.py
Location: tfpt_3;tfpt_horizon_readouts
Original CSV, line 135Original ledger status
ARCH.CORE.01
Compiler core - the whole integer skeleton from one pair (g_car,N_fam)=(5,3): rank E8=g+n=8 (D5(+)A3 rank split), |Z2|=g-n=2 (carrier-family), |mu4|=(g+n)/2=4; (N_fam,|mu4|,g_car)=(3,4,5) is THE Pythagorean triple. NOT decorative: grand-mass-volume exponent Delta_Y=g_car^2=25 (det M_SM~phi0^25) splits as a DIFFERENCE OF SQUARES Delta_Y=g^2=N_fam^2 + (g-n)(g+n)=N_fam^2+|Z2|*rank(E8)=9+16=dim S+, i.e. down sector=N_fam^2, up+lepton=|Z2|*rank E8=dim S+ (K-row sums (6,9,10)). ANCHOR is the Dirac square root: a=(1,1,2) is the UNIQUE 3-multiset (0..6) with elem-symm (|mu4|,g_car,|Z2|)=(4,5,2); char poly chi_a(t)=(t-1)^2(t-2)=t^3-|mu4|t^2+g_car t-|Z2| => compiler atoms ARE its char-poly coefficients. Only transcendental is pi (c3=1/(8pi), 8=rank E8; seed 1/(6pi), 6=|R+A3|). New READINGS/syntheses of v23/v37/v46/v47 atoms [I]
Recorded status: Identity [I]
Dependencies, status detail and source
Canonical status: Identity [I]
Dependencies: FLAV.MASSVOL.01; v23; v47; BND.GLUE.01
Scripts: v53_compiler_core.py
Location: tfpt_1
Original CSV, line 136Original ledger status
FLAV.RIGID.02
SIMPLE R-bridge closure (the much-simpler solution, no transcendental machinery): the selector stratum S_{8,Q}={det R=8, SNF(R)=(1,1,8), Spec(Q+)={1,2,3}} is now FULLY DERIVED - det R=8=rank E8 and SNF from the lattice (cf det Q=3=N_fam, v70), Spec(Q+)={1,2,3} from D4-equivariant geometry (v69). The four flavor operators are integer lattice maps with compiler-atom determinants (det Q,det K,det R,det L)=(3,4,8,20), product 1920=|W(D5)|. By Readout Rigidity (v49) the quark RATIOS are constant on this derived stratum => c_u/c_d=g_car*11/(Nfam^2*13)=55/117 etc are PURE INTEGER PLUCKER READOUTS, no monodromy solve. The earlier monodromy machinery (v19-v49) was over-engineering for the ratios; the only transcendental piece U_point (full uniqueness of rho*) is the ABSOLUTE amplitude normalisation = an anchor (same nature as the one dimensionful scale), not a missing computation. 13=DeltaQ reads 8+5=rank E8+g_car=N_fam^2+|mu4| (the one not-uniquely-atomic number, flagged) [I]+[A]
Recorded status: Identity [I] (ratios) + [A] (U_point=anchor)
Dependencies, status detail and source
Canonical status: Identity [I] (ratios) + [A] (U_point=anchor)
Dependencies: FLAV.RIGID.01; v49; v69; v70
Scripts: v71_simple_r_bridge.py
Location: tfpt_research_contracts;tfpt_2
Original CSV, line 137Original ledger status
FLAV.QGEO.03
det Q = N_fam DERIVED from the cusp class (Alessandro Q-residual closed to the same geometry): the integer-lift datum det Q=|coker Q|=3 is the ORDER of the cusp monodromy class (eigenvalues {1,omega,omega^2}, omega^3=1) = the common DENOMINATOR of the cusp weights {0,1/3,2/3} that fix Spec(Q_+)=diag(1,2,3) (v69). So det Q=N_fam is NOT an independent lattice input - it is the cusp-class order = N_fam = rank A3 = dim H1, and coker Q = Z/N_fam is the deck group of the degree-N_fam triality cover. Q-geometry now derived at spectra + Sigma-split + integer lift; only standing input is N_fam=3 itself
Recorded status: Identity [I] chain + [L] non-abelian Hodge
Dependencies, status detail and source
Canonical status: Identity [I] chain + [L] non-abelian Hodge
Dependencies: FLAV.QGEO.02; v69; v70
Scripts: v72_q_det_from_cusp.py
Location: tfpt_2
Original CSV, line 138Original ledger status
SEAM.KHALF.01
k=c3/2 FORCED - the central seam-area coefficient (Alessandro central target met at the dimensionless level): k=c3/2=(1/2)x(1/(|Z2|*2pi*chi(S2))) splits into TWO cutoff-independent pieces, neither a free normalisation. (a) factor 1/2 = universal action<->EOM variational factor (16piG action vs 8piG field eq, forced by delta(sqrt(g)R)->G_uv). (b) c3=1/(|Z2|*2pi*chi(S2))=1/(2*4pi)=1/(8pi) = one-sided Gauss-Bonnet of the seam S2 normal slice (chi(S2)=2 => intK=4pi, TOPOLOGICAL). With k=c3/2, Fursaev-Solodukhin S=4pi k A=2pi c3 A=A/4 exactly. So the central theorem coefficient is internally forced by topology x variation; ONLY the absolute 4D Newton scale (Lambda^2*f2 prefactor of carrier-Dirac a2, v68) stays UV-sensitive = the one irreducible dimensionful anchor
Recorded status: Identity [I] + Lattice/topology [L] (coefficient) + [A] (absolute scale only)
Dependencies, status detail and source
Canonical status: Identity [I]/[L] (coefficient forced) + [A] (absolute scale)
Dependencies: v67; v68; AX.P1.01; SEAM.HORIZON.01
Scripts: v73_k_c3_half.py
Location: origin_theory;tfpt_4
Original CSV, line 139Original ledger status
ARCH.MICRO.01
Compiler micro-lemmas (review synthesis, all exact identities compressing scattered factors): (1) SPINE QUOTIENT LADDER - the recurring O(1) factors 2/3,3/4,4/5,5/4,4/3 are adjacent quotients of the spine (|Z2|,N_fam,|mu4|,g_car)=(2,3,4,5); feed lambda2=(2/3)^6 (gap=Page rate=Koide target 2/3), eps=3/4 phi0=q(A3)phi0 (solar), phi0 lead (4/3)c3=1/(6pi), q(D5)+q(A3)=5/4+3/4=2. (2) PENCIL DIFFERENCES - P(x)=det(K+xQ)=3x^3+7x^2+6x+4, endpoints (2,4,20,68), consecutive differences (2,16,48)=(|Z2|,dim S+,Omega_adm)=sheet->1gen->3gens. (3) ANCHOR QUADRATIC FORM - 1^TK1=25=g_car^2 (mass volume), a^TKa=41=10b1 (EM budget), a^TKa-1^TK1=16=dim S+ => EM budget = mass volume + one generation. (4) SOLAR DUAL ANCHOR - L=R+6*1*e1^T rank-one winding, a^T R^-1.1=0 => Sherman-Morrison => a^T L^-1=a^T R^-1=(-1/2,-1/2,1): winding invisible to dual anchor, TBM vector stable (mechanism for eps=q(A3)phi0). NOTE fixed doc typo L=R+6 e1 a^T -> L=R+6*1*e1^T
Recorded status: Identity [I]
Dependencies, status detail and source
Canonical status: Identity [I]
Dependencies: ANCHOR.GEN.01; FLAV.KQ.01; FLAV.PENCIL.01; FLAV.SOLAR.01; BND.GLUE.01
Scripts: v74_compiler_micro_lemmas.py
Location: tfpt_1;tfpt_2
Original CSV, line 140Original ledger status
FLAV.UPOINT.01
Gate 1 COMPLETE - U_point reduces to v_geo (the absolute flavor amplitude is not an independent gate): quark ratios closed (Plucker, v49/v71) + lepton c exact (16/7,4/3,7/6, v20) + each sector c-product a clean phi0-power (Grand Mass Volume v46: det M ~ phi0^{6,9,10}; lepton product 16/7*4/3*7/6=32/9=2^gcar/Nfam^2). Since (pairwise ratios)+(product)<=>(individuals) is a bijection, the 9 charged-fermion amplitudes are fixed up to ONE overall scale v_geo. So U_point = v_geo = the SAME one irreducible dimensionful anchor as gravity's 1/G (v68): the two [A] anchors collapse to one. Only v_geo (one scale) + pi remain irreducible
Recorded status: Identity [I] (reduction) + [A] (the one scale v_geo)
Dependencies, status detail and source
Canonical status: Identity [I] + [A] (v_geo, shared with 1/G)
Dependencies: FLAV.RIGID.02; FLAV.LEPTONC.01; FLAV.MASSVOL.01; v68
Scripts: v75_upoint_to_vgeo.py
Location: tfpt_research_contracts;origin_theory;tfpt_2
Original CSV, line 141Original ledger status
GATE.METRIC.02
Gate 2 attack - two clean tiers (was: diffuse 'full QG missing'). TIER A (physics, CLOSED under RP+gap): Decoupling Theorem - Delta_eff=Delta-2||V||=6log(3/2)-31/(4pi^2)=1.648>0 with ||V_metric||_rel<=248 c3^2=dim(E8) c3^2=31/(8pi^2) (31=2^gcar-1); strictly positive effective gap protects the admissible IR sector => every testable low-energy readout (masses, mixings, alpha^-1, R+R^2) is independent of G6. TIER B (strict TOE, REDUCED not closed): the seam is a FINITE causal boundary => the ambient BULK metric measure is reconstructed from a finite-codimension seam-Calderon BOUNDARY measure (holographic) => G6 is a BOUNDARY projective limit; conditional theorem RP(seam-Calderon)+tightness => G_metric closes. Residual = boundary projective limit (constructive-QFT grade), reduced not closed
Recorded status: Identity [I] (decoupling, cond. on norm bound) + [P]/[A] (boundary G6)
Later scope correction: the DtN form estimate alone does not prove the transfer gap.
Dependencies, status detail and source
Canonical status: Identity [I] (Tier A) + [P]/[A] (Tier B boundary measure)
Dependencies: CONTRACT.G.01; QG.GAPDEC.01; GATE.METRIC.01
Scripts: v76_gmetric_reduction.py
Location: tfpt_research_contracts;origin_theory
Original CSV, line 142Original ledger status
GATE.METRIC.03
G6 route - the seam BOUNDARY measure IS a rigorously constructed conformal net (imports G6 into existing rigor): level-1 central charges c=k dim/(k+h^v) give c(E8)_1=248/31=8=rank E8 (holomorphic c=8 E8-LATTICE VOA, single primary, Frenkel-Kac-Segal / Kawahigashi-Longo / Carpi), c(D5)_1=45/9=5, c(A3)_1=15/5=3; conformal embedding (D5)_1 x (A3)_1 ⊂ (E8)_1 since 5+3=8 => coset c=0. The gap Delta_eff>0 (v76) => exponential clustering => tightness of the boundary projective limit. So G_metric Tier B reduces to identifying the seam-Calderon boundary measure with the (E8)_1 lattice net; residual = the identification + bulk reconstruction
Recorded status: Identity [I] (central charges, embedding) + [P] (net identification)
Dependencies, status detail and source
Canonical status: Identity [I] + [P] (boundary net identification)
Dependencies: GATE.METRIC.02; FLAV.CFT (v61); v76
Scripts: v77_e8_conformal_net.py
Location: tfpt_research_contracts;origin_theory
Original CSV, line 143Original ledger status
ANCHOR.VGEO.01
v_geo = CLOSED METROLOGY STRUCTURE (R_+ unit torsor; one dimensionful calibration necessary by dimensional analysis -- the No-Unit theorem v153/v725; honest reframe, not a derived mass and not an open physics gap): no pure number can be dimensionful => one calibration is forced by LOGIC (every theory carries >=1 dimensionful input). ALL TFPT scales are dimensionless ratios times ONE M_bar: rho_Lambda/M_bar^4=(3/4pi^2)e^{-2 ainv} (v60), M_scal/M_bar=c3^{7/2} (v7), masses = (pi/sqrt2)c_f phi0^{k_f} v_geo. Cosmological pinning S_dS*rho_Lambda=1/(128 c3^4)=32 pi^4 (v55) => one measurement sets the unit. The flavor U_point reduces to the SAME v_geo (v75) => one scale shared by flavor+gravity. Theory at the minimum: one scale v_geo + one primitive pi
Recorded status: Identity [I] (ratios) + [A]/[O] (closed metrology: R_+ unit torsor; one calibration by dimensional analysis)
Dependencies, status detail and source
Canonical status: Identity [I] + [A] (one scale, irreducible by logic) | 2026-08-29 wave-4 retype: CLOSED METROLOGY STRUCTURE (R_+ unit torsor; one dimensionful calibration necessary by dimensional analysis, No-Unit v153/v725). Display [O] remains the unit/calibration, not a derived mass; no [E] upgrade of physics. WAVE-5 (2026-08-29): unit choice closed; dimensionless hierarchies (M_Pl/v_EW, M_R/M_scal, Lambda_QCD/v_EW, T_reh/M_scal) remain predictive obligations.
Dependencies: FLAV.UPOINT.01; v60; v55; v68
Scripts: v78_vgeo_floor.py
Location: origin_theory;introduction;tfpt_4
Original CSV, line 144Original ledger status
FORM.CAR.01
Theorem A (carrier rank uniqueness g_car=5) machine-formalised in Lean 4: the Pascal carrier condition 2^(g-1)=C(g,0)+C(g,1)+C(g,2), division-free 2^g=g^2+g+2, has the UNIQUE solution g=5 (theorem carrier_rank_pascal_unique: forall g, 2^g=g^2+g+2 <-> g=5; growth lemma pascal_growth for g>=6; g_car_unique ExistsUnique; carrier_closure_integers N_fam=(2^4-1)/5=3, g+N_fam=8=rank E8). AUDIT: PASS (no sorry/admit, no domain axioms, only propext/Classical.choice/Quot.sound). Complements FORM.P2.02 (P2 carrier algebra)
Recorded status: Formal
Dependencies, status detail and source
Canonical status: Formal [F]
Dependencies: AX.P2.01; CAR.UNIQ.01; v6; v14
Scripts: lean4-carrier-rigidity
Location: tfpt_1;tfpt_3
Original CSV, line 145Original ledger status
ARCH.REVIEW.01
Four validated review identities (passed arithmetic AND the anti-numerology/admissible-invariant discipline) + one disciplined rejection: (1) HYPERCHARGE LUCAS-BINET: carrier charges (q+,q-)=(3,-2) [X^2-X-6=(X-3)(X+2), Lean unique_carrier_pair] generate D_n=(3^n-(-2)^n)/5=1,1,7,13,55,133 = (N_Phi, -, scalaron exp 7, Delta_Q 13, quark numerator 55, dim E7 133) in order; c_u/c_d=D_5/(N_fam^2 D_4)=55/117 (cleaner than Plucker 11). (2) INVERSE ANCHOR THEOREM: 1^T M^-1 1 = 1/atom (Q->1/3=1/N_fam, R=K->1/4=1/|mu4|, L->1/10=1/A_Lambda); anchor self-dual a^T R^-1 a=a^T K^-1 a=a^T L^-1 a=1 (a^T Q^-1 a=7/3, so self-duality is exactly residue/mass/transport, not the pure difference Q). (3) MACWILLIAMS: C^+=even-weight code [5,4,2], dual=repetition [5,1,5], weight enum (1,10,5)=Lambda^even(5) (makes the existing Hamming-scheme duality the named MacWilliams/UV-IR transform). (4) 6Y^2-Y-1=(2Y-1)(3Y+1)=(sY-1)(bY+1), roots 1/2 (SU2) and -1/3 (SU3). FIREWALL (recorded): m_p/m_e=1920-84+3lamC^2 (SU(9)=A_8 not in carrier; m_p is QCD confinement, no mechanism) and eta_B=(2/13)c3^6 (model-dependent leptogenesis output) are arithmetically close but REJECTED -> stay [A]/[P] frontier, NOT promoted to [I]
Recorded status: Identity/Lattice [I]/[L]
Dependencies, status detail and source
Canonical status: Identity/Lattice [I]/[L] (4 accepted; m_p/m_e + eta_B firewalled)
Dependencies: CAR.UNIQ.01; FLAV.KQ.01; FLAV.SOLAR.01; v44; FR.MPME.01; FR.ETAB.01
Scripts: v79_review_identities.py
Location: tfpt_1;tfpt_2;tfpt_4
Original CSV, line 146