The complete active claim ledger and the eligible source reviewed research findings, including conditional achievements and precise negative results. The original statement, premises and status remain attached.
Research snapshot 2026-11-02 · 783 active ledger claims · 696 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 697 findings; 1 administrative record is excluded from public scientific content, with the omission recorded in the coverage file.
The scientific findings include 505 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 3ddcc9643e499ce39900d9c5 · snapshot SHA256 7622b36de7ed79901ae75361b009fa423a6505076f388f4fbaf2d42e1ba7dcf5
2 matching records · page 1 of 1
Original ledger status
FLAV.QUARK.01
charged-fermion Yukawas y=lambda_Y^L*Lambda reproduce quark source ratios exactly (mu/md=0.470085, mc/ms=13.61, mt/mb=40.80), lepton c=(16/7,4/3,7/6) to Lambda rounding, full hierarchy; exact quark c rationals need U_f* holonomy
Recorded status: Numerical
Canonical status: Numerical
Dependencies: FLAV.RESOLV.01; word-lengths; Lambda table
Scripts: v18_quark_yukawa.py
Location: tfpt_2
Original CSV, line 20Original ledger status
CONTRACT.QFT4D.DIRAC.01
THE SPECTRAL-TRIPLE CONTRACT (2026-06-17): the object that would turn 'carrier is gauged' from a fork into a theorem (Reviewer-A Theorem 3 + the sigma=scalaron identification). Target: a real even almost-commutative triple (A,H,D,J,gamma) with A_F = PS algebra (v248), H_F = 3x16, D_F = D_M (x) 1 + gamma_5 (x) D_F(R,L,phi0,Majorana). (1) [E] H_F = N_fam x dim S^+ = 3x16 = 48 (three generations of the SO(10) spinor); A_F acts on it. (2) [E] the charged-fermion Yukawas are ALREADY fixed (FLAV.QUARK.01/v18), so the open test is NCG CONSISTENCY of D_F, not 'nice Yukawas' (Reviewer A). (3) [O] the 7 NCG obligations: reality J, grading gamma, KO-dimension (6 mod 8), the FIRST-ORDER CONDITION (the historic SO(10)-NCG obstruction), orientability, Poincare duality, no-junk forms. (4) [O] sigma=SCALARON HYPOTHESIS: the Chamseddine-Connes-Mukhanov singlet sigma (rescues first-order + gives nu_R Majorana) is conjectured to BE the R+R^2 scalaron (supported by M_PS=kappa M_s, v249); CAVEAT: the scalaron<->nu_R nu_R coupling is NOT automatic and must be proven. (5) [O] inner fluctuations Omega^1_D -> Higgs content 10+16+45 not 126 (NCG complement of v247). (6) [C] verdict: reduces the '4d QFT' residual to ONE constructive object (the triple) + the finite NCG checks; gauge group (v248), matter rep (v245), Yukawas (v18) and unification corridor (v249) already in place -- what is missing is D_F + its axioms.
Recorded status: Contract [O] (with [E] finite facts)
Canonical status: [E] H_F=3x16=48, Yukawas already fixed (test is NCG consistency); [O] the 7 NCG axioms (first-order condition the hard one), sigma=scalaron, inner-fluctuation Higgs content -- reduces 4d QFT to one spectral triple
Dependencies: PS.ALGEBRA.01; CONTRACT.QFT4D.01
Scripts: v250_dirac_triple_contract.py
Location: tfpt_research_contracts
Original CSV, line 336Each 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?
Which closure equation follows for a fixed seam projector, and which inputs still need justification?
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?