The original technical record remains available here. For explanations, reviewed conclusions and the history of research questions, start with the knowledge atlas.
Research snapshot 2026-11-02 · 783 active ledger claims · 710 scientific findings · 707 registered scripts. These are different inventories, not counts of independent physical confirmations.
Every one of the 783 active ledger IDs is included. All 788 ledger rows, including superseded rows, remain in the download. The reviewed research corpus contains 711 findings; 1 administrative record is excluded from public scientific content, with the omission recorded in the coverage file.
The scientific findings include 519 established scoped results, 63 conditional results and 128 scoped exclusions. These labels describe the recorded finding. They do not upgrade its parent physical goal or overwrite the original ledger.
Sources were matched to their recorded hashes and line ranges at this snapshot. Bounded text excerpts make sources available even when a source is not in the earlier public release. Any omitted administrative lines are explicitly marked. This is source coverage, not a new execution of Python, Lean or Wolfram proofs.
Atlas revision 2c1b559b738e5740ecfad8e6 · snapshot SHA256 68c2fe33ce86d45a99a8c21b1e731e40749d0accb3ae69be53d198cd7ebcb48e
1493 matching records · page 3 of 75
Original ledger status
SM.RG.01
dimensionful EW/QCD masses (m_W; m_Z; m_H; sin^2 thetaW; alpha_s)
Recorded status: Physical (scheme/RG)
Canonical status: Physical (scheme/RG)
Dependencies: RG threshold matching
Scripts: See original ledger entry
Location: tfpt_2
Original CSV, line 45Original ledger status
SM.QFT.01
admissible-sector QFT measure (gap 6 log 3/2; RP from cusp; OS)
Recorded status: Numerical/Conditional
Canonical status: Numerical/Conditional
Dependencies: reflection positivity
Scripts: See original ledger entry
Location: tfpt_2
Original CSV, line 46Original ledger status
QG.AMB.01
DECOUPLED GENERAL QG PROBLEM, NOT a TFPT-specific gate (reclassified 2026-06-22, v335): the ambient/metric-sector measure IS the general Euclidean-QG conformal-factor problem (Gibbons-Hawking-Perry 1978), inherited not TFPT-specific. TFPT is rigorously GAP-DECOUPLED from it: margin Delta - 31/(4 pi^2) = 6 ln(3/2) - 31/(4 pi^2) ~ 1.648 > 0 (v76/v311/v330/v332/v335), so NO TFPT prediction depends on the ambient measure. The conformal-mode obstruction is characterized (v332) and conditionally resolved by GHP rotation + IDG (v334); its construction is a separate QG programme (Picard-Lefschetz + IDG). Reclassified from 'TFPT structural frontier' to 'inherited, decoupled general QG problem' -- it is no longer counted among TFPT's open structural items.
Recorded status: Open (decoupled general QG; non-TFPT)
Later scope correction: the DtN form estimate alone does not prove the transfer gap.
Canonical status: Open (decoupled general QG; non-TFPT)
Dependencies: QGAMB.METRIC.01; QGAMB.CONFORMAL.01; v76; v330; v332; v334; v335
Scripts: See original ledger entry
Location: tfpt_4 (status source); tfpt_2 conditional reduction
Original CSV, line 47Original ledger status
FR.ETAB.01
baryon asymmetry eta_B = 6.1e-10 (downstream of Omega_b)
Recorded status: Physical (conditional)
Canonical status: Physical (conditional)
Dependencies: COSMO.OMB.01
Scripts: See original ledger entry
Location: tfpt_4
Original CSV, line 48Original ledger status
FR.MPME.01
proton/electron ratio m_p/m_e (cross-sector QCD)
Recorded status: Open
Canonical status: Open
Dependencies: QCD confinement
Scripts: See original ledger entry
Location: tfpt_4
Original CSV, line 49Original ledger status
FR.KOIDE.01
Koide Q = 0.664 (near 2/3; not exact)
Recorded status: Physical (near-miss)
Canonical status: Physical (near-miss)
Dependencies: -
Scripts: See original ledger entry
Location: tfpt_4
Original CSV, line 50Original ledger status
FR.DM.01
dark matter: axion candidate fixed; relic scale (f_a; m_a) open
Recorded status: Open (relic scale)
Canonical status: Open (relic scale)
Dependencies: strong-CP determinant-line
Scripts: See original ledger entry
Location: tfpt_4
Original CSV, line 51Original ledger status
GATE.NSTAR.01
RESIDUAL GATE (5.0 review, B5): N_star is a reheating INPUT (observed n_s=0.9649 -> N*=57, continuous), not a compiler consequence; kept [P]
Recorded status: Physical (input)
Canonical status: Physical (input)
Dependencies: reheating
Scripts: v22_open_gates_audit.py
Location: tfpt_2;tfpt_3
Original CSV, line 54Original ledger status
GATE.METRIC.01
RESIDUAL GATE (5.0 review, B6/C7) -- RESCOPED 2026-06-24: the LOCAL covariant metric-sector field equation is now CLOSED parameter-free (G_ab+Lambda g_ab=(1/c3)T_ab, both coefficients fixed, Einstein tensor via Lovelock; GRAV.NONLINEAR.01/v359, extending v358); c3=1/8pi is the gravitational seam constant and R+R^2/scalaron (M=c3^{7/2}Mbar) is the heat-kernel-grounded IR shadow. What remains OPEN is ONLY the GLOBAL nonperturbative ambient metric-sector measure (QG.AMB.01), now a [C] redundancy gap-decoupled from every readout (Delta_eff~1.648>0, v369/v337). So this gate no longer reads 'full covariant field equation open' -- the local equation is closed; the open item is the global measure alone
Recorded status: Open (global measure only; local equation closed v359)
Later scope correction: the DtN form estimate alone does not prove the transfer gap.
Canonical status: Open (global measure only; local equation closed v359)
Dependencies: QG.AMB.01; GRAV.NONLINEAR.01
Scripts: v22_open_gates_audit.py
Location: tfpt_2;tfpt_4
Original CSV, line 55Original ledger status
QG.G2.01
G2 grounded: spectral-action Seeley-DeWitt for Dirac (E=-R/4, tr I=4) gives a2~-R/3 (Einstein-Hilbert) + a4~R^2/72 (R^2), i.e. R+R^2 STRUCTURE convention-independently; M^2/Mbar^2=6(4pi)^2/f0, TFPT closure c3^7 fixes f0; M=c3^{7/2}Mbar=3.06e13 GeV
Recorded status: Numerical (structural grounding)
Canonical status: Numerical (structural grounding)
Dependencies: GATE.METRIC.01; v28
Scripts: v36_spectral_action_g2.py
Location: tfpt_research_contracts
Original CSV, line 56Original ledger status
QG.GAPDEC.01
SIMPLER resolution: gap decoupling. 2||V_metric||=0.785<Delta=6log(3/2)=2.433 => Delta_eff=1.648>0; admissible sector keeps positive gap under metric dressing => decoupled from un-built ambient; physical QG = closed admissible-sector measure, ambient (G6) = math completeness, gap-decoupled & inert
Recorded status: Physical (conditional reframe)
Later scope correction: the DtN form estimate alone does not prove the transfer gap.
Canonical status: Physical (conditional reframe)
Dependencies: GATE.METRIC.01; G5
Scripts: v36_spectral_action_g2.py
Location: tfpt_research_contracts
Original CSV, line 57Original ledger status
GATE.WOLFRAM.01
second [C] path VERIFIED RUNNING: Wolfram Engine 14.3 reproduces alpha^-1, E8 glue, M=41, K/Q ladder, lepton c, solar angle, anchor generator, quark ratios, G2 heat-kernel (a2=-R/3,a4|R2=R2/72), Plucker apparatus (11,26,60 + pencil + dualities + lepton ring), (U_wall) selectors (Spec Q+, det R=8), Exterior Leg Lemma (scalar leg=>c_u/c_d=1; anchor microcode 55/117), carrier exterior grading (16=Lambda^even(5), exterior degrees (2,4)), the '11' is Pascal (||Pl(K)||_1=sum_{k<=2}C(4,k)=16-g_car; 15=dim su(4)=10+5=N_fam*g_car), Grand Mass Volume (det M_SM~u^25=u^g_car^2; K-row sums (6,9,10)), Selection Theorem (q(D5)+q(A3)=2, glue 4=|mu4|, only n=5 gives 16-spinor), EM Ward (8b1=(4/5)M=164/5, -5/4=q(D5)), Q geometry (chi Q+/Q-), Readout Rigidity (55/117 stratum-constant), delta=1/2 glue-norm 4-ops, pencil endpoints, compiler core (5,3)+Pythagorean, seam=horizon keystones (triply-8, shared (2/3)^6), Coxeter cycle (order 30, exponents=totatives), unique attractor (gap, Coxeter planes), S_dS carrier decomposition, horizon cross-links (Jacobson 8pi, Hod ln3, |W(D5)|), seam-horizon chain (one-sided Gauss-Bonnet, seam units), area-law seam units 8=|Z2||mu4|, Lambda branch 3/(4pi^2) + K5 counts, CFT bridge (WZW c=8/5/3, c_coset=0), Seam-Engineering Index Xi=31/(24pi^2 log(3/2)), E8 Casimir degrees=atoms, central-theorem closure (2pi c3=1/4, k=c3/2), Seeley-DeWitt a2 (1/G UV-sensitive), D4-equivariant Q-geometry, Q integer-lift (det Q=N_fam), simple R-bridge (det ladder (3,4,8,20), selector stratum derived => 55/117 integer Plucker), det Q=N_fam from cusp order (v72), k=c3/2 forced by variation x Gauss-Bonnet topology (v73), compiler micro-lemmas (pencil differences 2-16-48, anchor QF 41-25=16) (v74), Gate 1 U_point->v_geo (lepton product 32/9, ratios+product bijection) (v75), Gate 2 decoupling margin 6log(3/2)-31/(4pi^2)>0 (v76), G6 via E8 level-1 net (c=8/5/3, embedding) (v77), v_geo floor (S_dS rho_Lambda=32pi^4) (v78), hypercharge Lucas-Binet (1,1,7,13,55,133) + Inverse Anchor Theorem (1^T M^-1 1=1/atom, a^T M^-1 a=1) (v79), operator-pencil geometry (anchor singularity det B(K+xQ)=(3x+2)(3x+5), block-det type checker (9,10,16,40), F4xG2 shadow 52+14+26*7=248) (v80), double cover y^2=det B(K+xQ) branched at Koide -2/3 & carrier -5/3, disc=81=N_fam^4, clearing matrices C_{2/3}/C_{5/3}, branch-divisor symmetric fns = (scalaron,A_Lambda) (v81) (116/116 pass on independent engine; EE area-law is Python-only; re-verified 2026-07-21 after license reactivation, Wolfram Engine 14.3, 116/116 ALL WOLFRAM CHECKS PASSED) UPDATE 2026-08-28: 20 exact mirrors of v983/v985/v987/v993/v994/v997 ADDED to tfpt_readouts.wl; engine run DEFERRED_NO_ENGINE (license inactive); verified count stays 116/116 until the next activated engine run. ROUND-4 2026-09-05: 11 representative exact checks in wolfram/tfpt_round4.wl are wired into the base runner, but execution is UNVERIFIED_NO_KERNEL (wolframscript exit255: no WolframKernel location). Last verified base count remains116/116; native Arb/Fourier/cube regressions are not claimed as Wolfram verified. ROUND-7 2026-09-05: 14 exact representative blocks in wolfram/tfpt_round7.wl are included but UNVERIFIED_LICENSE_INACTIVE; explicit installed kernel selection fails license activation. Verified count remains116/116; no new engine success claimed.
Recorded status: Numerical (second path)
Canonical status: Numerical (second path) ROUND-4 2026-09-05: 11 representative exact checks in wolfram/tfpt_round4.wl are wired into the base runner, but execution is UNVERIFIED_NO_KERNEL (wolframscript exit255: no WolframKernel location). Last verified base count remains116/116; native Arb/Fourier/cube regressions are not claimed as Wolfram verified. ROUND-7 2026-09-05: 14 exact representative blocks in wolfram/tfpt_round7.wl are included but UNVERIFIED_LICENSE_INACTIVE; explicit installed kernel selection fails license activation. Verified count remains116/116; no new engine success claimed.
Dependencies: mirrors v1;v2;v3;v10;v13;v16;v20;v21;v23;v24;v36;v37;v39;v42;v44;v45;v46;v47;v48;v49;v50;v51;v52;v53;v54;v55;v56;v57;v58;v59 (algebra only);v60;v61;v62 (data-confrontation, Python-only);v63;v64 (no-CTC core numerical, Python-only);v65 (falsification layer, Python-only);v66;v67;v68;v69;v70;v71;v72;v73;v74;v75;v76;v77;v78;v79;v80;v81;v983;v985;v987;v993;v994;v997
Scripts: wolfram/tfpt_readouts.wl
Location: verification/wolfram
Original CSV, line 58Original ledger status
FLAV.PLUCKER.01
anchor-plane Plucker apparatus (anti-numerology): left/right 2x2 minors of B_M=(1^T M; a^T M) and C_M=(M1 Ma) for R,Q,K,L are compiler atoms; ||Pl(K)||_1=11 (localizes the '11' in K), ||Pl_R(K)||_1=Pl(L)_13=26, sum Pl_R(L)=60=cascade start; inverse col-sums {1,5,6}; quark ratios are anchor-plane Plucker readouts. Identities [I]; physical amplitudes STAY [P]
Recorded status: Identity (audit layer)
Canonical status: Identity (audit layer)
Dependencies: FLAV.QRATIO.01; AX anchor a
Scripts: v37_plucker_anchor.py
Location: tfpt_2;tfpt_3
Original CSV, line 59Original ledger status
FLAV.PENCIL.01
K+xQ pencil: L=K+Q => mass and transport are one pencil P(x)=K+xQ with det(K+xQ)=3x^3+7x^2+6x+4=(N_fam, scalaron 7, |R^+(A3)|, |mu4|); chi_K=t^3-9t^2+12t-4; [K,L]=[L,Q]=[K,Q], chi_[K,Q]=t^3+5t+14 (5=g_car,14=dim G2 audit); K_e-K_u=a, L_e-L_u=Exp(A3); lepton ring c_e c_tau=|Z2| c_mu
Recorded status: Identity
Canonical status: Identity
Dependencies: v10 K=R+Q*Sigma
Scripts: v37_plucker_anchor.py
Location: tfpt_2;tfpt_3
Original CSV, line 60Original ledger status
FR.KOIDE.03
sharper Koide source->pole conjecture: multiplicative seed transfer u->(1-1/(2 N_fam^3))u=(53/54)u (54=2*3^3=|Z2| N_fam^3, no new free number) gives Q=0.66666610, dev -5.7e-7 from 2/3 (10x better than additive phi0/24); research gate: derive the leptonic seed transfer
Recorded status: Physical (conjecture)
Canonical status: Physical (conjecture)
Dependencies: FR.KOIDE.01; lepton c
Scripts: v37_plucker_anchor.py
Location: tfpt_4
Original CSV, line 61Original ledger status
GATE.UWALL.02
(U_wall) U2 kill-switch HARDENED: kill-switch fires iff D4-cusp rep reducible; across 400 random cusp-class generators M_k=U^{k-1}MU^{1-k} commutant is scalar at every point (irreducible 400/400), reducible locus measure-zero (codim>=1), mixing strength >=0.35 => case A (nontrivial SU(3)_F mixing) is GENERIC not anecdotal; (U_wall) survives its cheapest falsification test. RESIDUAL: amplitude dictionary Gamma^min (Hitchin output for c_u/c_d) still research-level; R combinatorially closed
Recorded status: Numerical (survival hardened)
Canonical status: Numerical (survival hardened)
Dependencies: CONTRACT.U.01; v33
Scripts: v38_uwall_killswitch.py
Location: tfpt_research_contracts
Original CSV, line 62Original ledger status
GATE.UWALL.03
(U_wall) SELECTOR side closed on the explicit point (algebraic, no PDE): exponents at inf eig(sum A_k)={2,1,1}=anchor a => splitting O(-2)+O(-1)^2; pardeg=0 (deg E=-4=-|mu4| + 4 weight-sums of 1) => polystable; det R=8=n.a (anchor pairing on splitting type); Spec(Q_+)={1,2,3}=3*alpha+1 (alpha=cusp weights {0,1/3,2/3}) => both U4 selectors read off the bundle. RESIDUAL: amplitudes c_u/c_d are the finer harmonic-metric/Hodge datum (Gamma^min Hitchin), not fixed by splitting+weights
Recorded status: Numerical (selector side closed)
Canonical status: Numerical (selector side closed)
Dependencies: GATE.UWALL.02; v33; FLAV.R.01
Scripts: v39_uwall_selectors.py
Location: tfpt_research_contracts
Original CSV, line 63Original ledger status
GATE.UWALL.04
(U_wall) harmonic metric = FINITE linear algebra, NOT a transcendental Hitchin PDE: polystable point is unitary (Mehta-Seshadri) => Phi=0, harmonic metric = constant invariant form H. Explicit bundle: raw M_k non-unitary (||M^dag M-I||~0.83) but UNIQUE invariant Hermitian form H (null dim 1) is POSITIVE-DEFINITE => unitarisable; unitarised M~_k=H^{1/2}M_k H^{-1/2} unitary (1e-8), cusp class, prod=I, clean elements {0,1/2,1/sqrt2}. So v31 'transcendental Hitchin' applies only to generic Higgs locus; at the selected point R(rho) reduces to finite unitarisation + combinatorial R (closed). RESIDUAL: final c_u/c_d needs the quark leg/hexagon-site composition; not fabricated
Recorded status: Numerical (Hitchin reduced to finite)
Canonical status: Numerical (Hitchin reduced to finite)
Dependencies: GATE.UWALL.03; v31; v33; Mehta-Seshadri
Scripts: v40_harmonic_metric.py
Location: tfpt_research_contracts
Original CSV, line 64Original ledger status
GATE.UWALL.05
(U_wall) FINAL leg-assignment test (honest result): (i) delta=1/2 resolvent reproduces lepton c=(16/7,4/3,7/6) exactly => Lambda=(0.475,1.107,0.917); (ii) Lambda_mu=1.107>1 RULES OUT amplitudes=unitary holonomy moduli (modulus bound); (iii) SUGGESTIVE: harmonic-frame |diag M~_0|=(0,1/2,1/2), the 1/2 = delta=1/2 => geometry supplies delta (point observation, genericity future); (iv) CLEAN NEGATIVE: (I-1/2 M~)^-1 != amplitude vector. VERDICT: amplitudes are the combinatorial delta=1/2 resolvent; holonomy supplies delta+leg not magnitude; c_u/c_d NOT obtained from holonomy alone (no fabrication)
Recorded status: Numerical (honest negative + suggestive link)
Canonical status: Numerical (honest negative + suggestive link)
Dependencies: GATE.UWALL.04; v20; v40
Scripts: v41_leg_assignment.py
Location: tfpt_research_contracts
Original CSV, line 65Original ledger status
GATE.UWALL.15
EXTERIOR LEG LEMMA (re-types the v41 negative as a category error): u,d share hexagon-radial (r,w)=(1,1) and the C6 resolvent reads only (r,w) => ANY scalar leg gives c_u/c_d=1 identically (scalar sees radius not orientation). The u/d split is the smallest non-scalar invariant = exterior square Lambda^2 F = oriented anchor-plane area Pl_{1,a}(K). The '11' is GENERATED: (K,1,a)->B_K=[[13,8,4],[18,11,6]]->Pl(K)=(-1,6,4)=(-N_Phi,|R+A3|,|mu4|)->||Pl(K)||_1=11. c_u/c_d=g_car*||Pl(K)||_1/(N_fam^2 Delta_Q)=55/117 [I]; anchor microcode e2(a)(p3+1)/(p0^2(2p2+1)). TYPING: [I] Plucker/microcode identities; [P] physical C_ud(rho*)=Lambda^2 F readout needs finite U_f* selection on Lambda^2 F. Residual re-typed: 'find scalar y' -> 'show U_f* induces anchor-plane readout on Lambda^2 F'
Recorded status: Identity [I] + Physical [P]
Canonical status: Identity [I] + Physical [P]
Dependencies: GATE.UWALL.05; FLAV.PLUCKER.01; v37
Scripts: v42_exterior_leg.py
Location: tfpt_research_contracts;tfpt_2
Original CSV, line 66Each research problem has its own scope. A resolved task does not close its whole physical parent. Historical tasks remain explicitly historical in the source record.
What is determined by complete future behavior, and what additional positive word-kernel source is needed to reconstruct a cyclic operator realization?
Outside the active mathematical research program since the user's23Oct2026 decision. Historical question: Do the original principles derive a common physical source together with its state, dynamical events, and physically observed fields?
Does the joint discrete theorem determine a concrete connection and a family coupling compatible with the determinant seam action?
Do the original reflection/projector structures determine the full physical time generator and required field transfer?
Which flavor quantity is fixed on the derived discrete stratum, and which requires the continuous holonomy anchor?
Where do the factors and closed alpha equation come from, which provenance steps are proved, and which precise physical EM identification remains open?
Do common matter-only observations derive geometric horizon flow and the area response from the original gravity source?
Which complete quadratic response can the actual clock images reconstruct?
How does the actual Gaussian J act on the complete marked source?
Which data separate sources with identical complete neutral vacuum response?
Can existing native charge fields produce the quarter-twist time response of the seam?
What does the complete phase search decide, and which additional state information prevents a false source solution?
Which charge, state type and time action belong to the root partner and original sheet pairing?
Which tools generate operator maps, learn counterexamples, and can search for the full positive source?
What does reverse selection of P1/P2 give for concrete local fields and multi-field responses, and which identification with the original P1 kernel has actually been proved?
Which operational conditions are independently required, which inequivalent models satisfy them, and which observable distinctions remain for selection?
Which carrier and glue statements are already present in the papers and Lean sources, and which physical selection does not follow?
Which marked seam/lattice transport geometries, lift classes and local-coefficient invariants arise from existing clock/reflection/quartic data? First complete case: sign lifts of fourJ representation on CP1 minusμ4.
Which previously separate data of the original TFPT core follow from a common clock and representation geometry, and which complete finite measurement classification follows without asserting physical source selection?
Which additional joint response actually follows from original source equations, and which entire finite process family remains undecided without it?