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
60 matching records · page 1 of 3
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
FLAV.UFSTAR.01
exact pole delta_ph=z_*^(1/6), z_*=(794-7sqrt9961)/2187 (2187=3^7); bare resolvent fails lepton ratios 3-11x (holonomy essential); required Lambda=(0.475,1.107,0.917), Lambda_mu>1 => non-unitary resolvent dressing; D4-symmetric SU(3) monodromy constructible but D4-fixed locus POSITIVE-DIMENSIONAL => exact quark c reduce to the (U) stable-point selection
Recorded status: Numerical
Canonical status: Numerical
Dependencies: H2 monodromy; Mehta-Seshadri; (U)
Scripts: v19_monodromy_moduli.py
Location: tfpt_2
Original CSV, line 21Original ledger status
FLAV.LEPTONC.01
lepton c's DERIVED: non-anchor c=|mu4|^w/(5/4-cos(r pi/3)) at delta=1/2,y=1 gives c_e=16/7,c_mu=4/3 exactly; anchor from product rule prod c=2^gcar/Nfam^2=32/9 gives c_tau=7/6; reproduces (8/7,12/7,3/2) ratios. Lepton-specific: down sector forces c_d/c_s=4 vs actual 0.94 (quarks structurally different)
Recorded status: Identity
Canonical status: Identity
Dependencies: delta=1/2 (distinguished); hexagon resolvent; g_car,N_fam,mu4
Scripts: v20_lepton_c_derivation.py
Location: tfpt_2
Original CSV, line 22Original ledger status
FLAV.SOLAR.02
solar coefficient is the A3 glue-norm: eps=q(A3)*phi0=(3/4)phi0, q(A3)=3/4 the same norm in q(D5)+q(A3)=2; leading term = c3 exact; sin^2 th12=1/3-phi0/2=0.30675. Product rule 32/9=2^gcar/Nfam^2 interpreted (full Clifford dim/Nfam^2); sum L_lepton=16=dim S+. Quark non-extension: cusp-leg law gives c_c/c_s=1/7 vs actual 0.724
Recorded status: Identity
Canonical status: Identity
Dependencies: FLAV.SOLAR.01; FLAV.LEPTONC.01; E8 glue norms
Scripts: v21_solar_product_quark.py
Location: tfpt_2
Original CSV, line 23Original ledger status
H2.BRIDGE.01
H2 bridge attempt: explicit per-puncture monodromies M_k computed (cusp class, prod M_k=I to 1e-5). HONEST NEGATIVE: |diag M_k|=(0,1/2,1/2), natural resolvent-dressed extraction h_j*g(1,r_j) does NOT reproduce lepton amplitudes (0.475,1.107,0.917). The Gamma^min geodesic-to-word dictionary (C6 hexagon <-> family rho*) is genuinely missing; R stays combinatorial (H1+det R=8); c_u/c_d NOT obtained, no fabrication
Recorded status: Numerical (honest negative)
Canonical status: Numerical (honest negative)
Dependencies: RH.BUNDLE.01
Scripts: v34_h2_bridge_attempt.py
Location: tfpt_research_contracts
Original CSV, line 32Original 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.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.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
FLAV.DELTA.01
delta=1/2 glue-norm origin + (g_car,N_fam)/|mu4| unification: the two E8-glue discriminant norms ARE the carrier rank and family count over the glue index, q(D5)=g_car/|mu4|=5/4 (rank D5=g_car=5), q(A3)=N_fam/|mu4|=3/4 (rank A3=N_fam=3, n+1=4=|mu4|). Then all FOUR arithmetic ops are forced compiler atoms: sum=(g+n)/|mu4|=rank(E8)/|mu4|=2 (E8 root norm), diff=(g-n)/|mu4|=|Z2|/|mu4|=1/2=delta (lepton transport, used in v20 for c_e=16/7,c_mu=4/3,c_tau=7/6), prod=g*n/|mu4|^2=dim su(4)/dim S+=15/16, ratio=g/n=5/3. (sum,ratio) invert uniquely to (5/4,3/4). So delta=1/2 is the carrier-minus-family count over the glue index, not a chosen rational; it also equals the harmonic-frame holonomy diagonal modulus 1/2 (v41). Hardens v20's chosen delta into a fully atomic readout [I]
Recorded status: Identity [I]
Canonical status: Identity [I]
Dependencies: BND.GLUE.01; v20; v41
Scripts: v51_boundary_half_step.py
Location: tfpt_1;tfpt_2
Original CSV, line 117Original 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]
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.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)
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
FLAV.PENCIL.03
The mass-transport pencil P(x)=K+xQ as a projective line with two anchor-block singularities, and the DOUBLE COVER branched over them (validated review block; all in admissible classes). CENTRAL [I/L]: det B(K+xQ)=(3x+2)(3x+5) is quadratic => y^2=det B(K+xQ) is a 2:1 cover ramified exactly over its zeros, so the Koide/gap point x=-|Z2|/N_fam=-2/3 and the carrier point x=-g_car/N_fam=-5/3 are THE TWO BRANCH POINTS of one double cover; deck involution y->-y of degree 2=|Z2|=the sheet (line-bundle reflection of the Spin(10)->SO(10) half-spinor cover the carrier lives on). Branch locus = -(spine ends 2,5)/N_fam; discriminant = 81 = N_fam^4 (perfect square => rational/split, sqrt=9=N_fam^2=det B_Q); separation = 1 = one transport period (deck-translation x->x+1 maps carrier->Koide). So 2/3 is not a recurring quotient but ONE ramification point of the mass<->transport double cover; sharper open question: why does the leptonic source-to-pole transfer renormalise onto a branch point and which sheet (y->+-) does parity select. DEEPER: the branch divisor symmetric functions ARE the core atoms - sum of branch points = -scalaron/N_fam = -7/3, product = A_Lambda/N_fam^2 = 10/9, integer labels {|Z2|,g_car}={2,5} have sum=7=scalaron, product=10=A_Lambda, diff=3=N_fam, so the scalaron is the TRACE of the branch divisor and all earlier scalaron readouts collapse to this one geometric origin; the fiber y^2=det B is A_Lambda at K and 4A_Lambda at L (transport K->L multiplies the fiber by |Z2|), and the Z2 sheet endpoint x=-1 lies between the branch points where y^2=-|Z2|<0 (the sheet lives on the imaginary cut joining Koide and carrier); the clean cover is a property of the anchor 2-plane <1,a> (the full-3-space cubic det(K+xQ) has disc -1132 with an irrational real root), so the anchor projection regularises the geometry (anchor-first). CLEARING MATRICES [I/L]: Koide C_{2/3}=3K-2Q reproduces D5+A3 glue (tr=15=dim A3, sum=45=dim D5, det=60=D_start), rank-one (forced) anchor block B(C23)=(g_car,7)^T(N_fam^2,11)=(5,7)^T(9,11), sum=240=|R(E8)|; carrier C_{5/3}=3K-5Q charge-neutral (sum=0), chi=(lam+|Z2|)(lam^2+lam+|R+A3|)=(lam+2)(lam^2+lam+6). Scalaron 7 = mixed anchor discriminant/N_fam = (det B_L - det B_K - det B_Q)/N_fam = (40-10-9)/3 (B_L=B_K+B_Q linearity; 7 is an interference area, not a leftover) [I]. c_u/c_d=55/117 diagnostic readout at sheet endpoint K-Q (Plucker v37 canonical) [I]
Recorded status: Identity/Lattice [I]/[L] + audit [P]
Canonical status: Identity/Lattice [I]/[L] (double cover / branch locus, clearing matrices, mixed-disc scalaron) + [P] (per-entry atlas reading of clearing matrices)
Dependencies: FLAV.PENCIL.01; FLAV.PENCIL.02; v37; v52; v74; v80
Scripts: v81_singular_pencil_matrices.py
Location: tfpt_2
Original CSV, line 148Original ledger status
FLAV.PENCIL.04
Anchor-placement splitting trichotomy - the clean rational double cover is NON-GENERIC (anchor-first hardening) [I] + [P] (sector id). The splitting-type exponents (2,1,1) (= the anchor (1,1,2); v32 splitting O(-2)+O(-1)^2) placed across the three family slots give three DIFFERENT covers: (1,1,2) heavy-in-fam3 (lepton) det B(K+xQ)=(3x+2)(3x+5) disc=81=N_fam^4 -> SPLIT (individually rational branch labels {2,5}); (2,1,1) heavy-in-fam1 det B=(x+2)(9x+11) disc=49=scalaron^2 -> SPLIT; (1,2,1) heavy-in-fam2 det B=5x^2+10x+3 disc=40=|R(D5)|=det B(L) -> NON-SPLIT (Galois-conjugate IRRATIONAL branch points -1 +/- sqrt(10)/5, centered EXACTLY on the sheet x=-1 (q=3), separation 2 sqrt(A_Lambda)). The three discriminants are themselves compiler atoms (N_fam^4, scalaron^2, |R(D5)|). Negative control (cf. v81): the R-pencil disc=153 is not a square either => Koide & carrier as SEPARATE RATIONAL singularities is a special feature of the canonical anchor placement, not generic. Restates the basis-invariant core T=3 B(Q)^-1 B(K)=[[5,11/3],[0,2]] (Spec{2,5}, tr=7=scalaron, det=10=A_Lambda). The physical fermion-sector identification of the placements is NOT claimed and stays [P]
Recorded status: Identity [I] + Physical [P] (sector id)
Canonical status: Identity [I] (discriminant trichotomy, non-genericity, negative control) + [P] (physical sector identification of the placements)
Dependencies: FLAV.PENCIL.02; FLAV.PENCIL.03; v32; v80; v81
Scripts: v82_koide_attractor_splitting.py
Location: tfpt_2
Original CSV, line 150Original ledger status
REDTEAM.D.01
Red Team Target D - stress test of the U_point->v_geo bijection (FLAV.UPOINT.01). For positive reals (ratios,product) <=> (individuals) is a bijection and the TFPT sectors satisfy it (positive rational c, odd size 3=N_fam). Counterexamples off-assumption: even sector size leaves a SIGN ambiguity ({2,3} vs {-2,-3} share ratio 3/2 and product 6); complex amplitudes leave an n-th-root BRANCH ambiguity ({1,1,1},{w,w,w},{w^2,w^2,w^2}, w=e^{2pi i/3}, share all ratios and product 1); a zero amplitude is degenerate. GENUINE RESIDUAL: the bijection fixes amplitude MAGNITUDES only - CP phases delta_CKM/PMNS are complex and are NOT folded into v_geo. VERDICT: holds for TFPT once four hypotheses (real, positive, fixed branch, no zeros / odd sector size) are made EXPLICIT (they are silent in v75). NARROWED (2026-07-29, T177/v561): the magnitude data carry EXACTLY ZERO phase on the TFPT sectors -- arg(prod c) = 0 exactly for both the lepton and the up-quark triple, so the CP residual is not hidden in the product -- and the branch-group blindness is the statement that the branch ORDER divides N_fam = 3 (a mu4 branch already shifts the product phase by -pi/2). The residual is a FIBER datum (the hexagonal CM unit), not a magnitude datum -- a narrowing of the residual, no upgrade.
Recorded status: Red-team [I]+[A] (survives, narrowed)
Canonical status: Red-team verdict: survives; four hypotheses now explicit; CP-phase residual, narrowed to a FIBER datum: arg(prod c)=0 exactly on both sectors, branch blindness = order divides N_fam=3 (T177/v561)
Dependencies: FLAV.UPOINT.01; v75; v20; v24
Scripts: redteam/rt_D_upoint.py, v561_cp_channel_identities.py
Location: tfpt_5_redteam
Original CSV, line 154Original ledger status
REG.FREEZE.01
Blind-prediction registry FROZEN 2026-06-09, machine-enforced (review point: pre-registration before JUNO/CMB-S4/LiteBIRD/DESI). predictions_frozen.json freezes every dimensionless prediction of record at 25 significant digits; v84 re-derives each decimal from the two axioms {c3,g_car} on every run, so formula and frozen value are locked together (changing either alone FAILS the suite; the file is covered by manifest.sha256). Registry layers: core [N] (alpha^-1, lambda_C, s23/s13 CKM, sin^2 th13, lepton + quark mass ratios), conditional [N]/[P] with the hypothesis NAMED (th12 seed via seam-misalignment, beta_rad, Omega_b, delta_CKM leading, M_scal/Mbar, rho_Lambda/Mbar^4 branch), assigned (delta_CP^nu=240deg, th23=0.5), conditional BANDS for r and n_s at the declared external N_star in [50,60]. THETA12 FREEZE ENFORCED: exactly ONE prediction of record = seed 1/3-phi0/2 = 0.306747357245; the seam (0.306808) and nonlinear (0.307020) values are typed as derived variants of the SAME texture and may NOT appear as predictions (look-elsewhere ambiguity machine-excluded)
Recorded status: Numerical [N] (registry lock) + typing discipline
Canonical status: Numerical [N] (registry lock)
Dependencies: EM.FP.01; FLAV.TH12.01; PRED.LAYER.01; freeze_file.csv
Scripts: v84_frozen_registry.py
Location: verification;tfpt_2;introduction
Original CSV, line 158Original ledger status
FR.KOIDE.05
Koide relaxation toy (next.txt P2 NARROWED, not closed): (1) BASIN LEMMA [I] - under the canonical dictionary q=N_fam*Q the physical Koide range Q in [1/3,1] (Cauchy-Schwarz) maps to q in [1,3]: the attractor q=2 lies inside, the repeller q=5 outside => EVERY physically possible charged-lepton configuration is in the attractor basin, no fine-tuning of the start needed. (2) EXACT RATE [I]: along the trajectory from the physical source value the cross-ratio rho=(q-2)/(5-q) contracts by EXACTLY mu=(2/3)^6 per F-step (Moebius linearity, machine-checked to 1e-30). (3) SOURCE [I]: the exact ladder gives Q_src=0.6644638161, i.e. rho_src=-0.0021980 = -phi0/24 to 0.8% - the v25 conjecture re-expressed in attractor coordinates: the source sits ONE SEED QUANTUM phi0/24 before the branch point (24=|W(A3)|). (4) POLE [N]: PDG pole masses give Q_pole=0.6666644634 - the branch point is hit to 3.3e-6 at the pole layer. HONEST NEGATIVES (they narrow P2): (5) flow time source->pole t=log_mu(rho_pole/rho_src)=2.838 is NOT an integer => the literal discrete iteration pole=F^n(source) is EXCLUDED; if the v82 map drives the transfer at all it must be the CONTINUOUS flow exp(t log F) at t~2.8 - the missing object is a continuous-time generator; (6) the 0.79% mismatch of rho_src vs -phi0/24 is far above ladder precision => 'exactly phi0/24' remains a [P] conjecture about the transfer normalisation. STATUS: basin/uniqueness/rate forced [I]; open [P]: the continuous generator and its flow time
Recorded status: Identity [I] (basin/rate/source) + Numerical [N] (pole) + [P] (transfer mechanism)
Canonical status: Identity/Numerical: basin lemma + exact rate + honest negatives; P2 narrowed to the continuous transfer generator
Dependencies: FR.KOIDE.04; FLAV.PENCIL.04; v82
Scripts: v93_koide_relaxation_toy.py
Location: tfpt_4_frontier;next.txt
Original CSV, line 167Original ledger status
FLAV.DIAMOND.01
SHEET DIAMOND & WINDING LINE (second review round 2026-06-11; arithmetic fully validated, interpretations corrected where needed) [I]: (1) all four flavor operators are distinguished points of ONE two-parameter surface M(s,t)=R+Q diag(s,t,t): R=M(0,0), K=M(1,-1), L=M(2,0), F=M(1,1), with the global invariants det M(s,t)=3st^2+9st+6s+t^2+5t+8 and det B_M(s,t)=6st+12s+3t^2+15t+16; the mass-transport pencil K+xQ is the cut (s,t)=(1+x,x-1), on which det B factorises as (3x+2)(3x+5) = the v81/v85 master cover. (2) BUILT-IN NEGATIVE CONTROLS: the factorisation is special to that cut - the diagonal cut t=s gives 9s^2+27s+16 with disc=153 NON-square, the SAME control discriminant as v85's R-direction (anchor-first coherence), and the R->L cut t=0 is linear/degenerate. (3) WINDING SYNCHRONISATION: on R_s=R+s*1e1^T, det B_{R_s}=2 det R_s for ALL s (8+2s vs 16+4s); the triple lock (tr=15=dim A3, det=20=det L, coxeter lift (R_s^T a)_1=30=h(E8)) fixes s=6=|R+(A3)| by each condition alone. (4) COFACTOR SEAM NORMAL (typed as repackaging - adjugate row by construction; content = integer readings): n=(5,-9,6) is the common first adjugate row of R and L, n.1=2=|Z2| is the per-winding determinant increment, n^T R=(8,0,0) and n^T L=(20,0,0): the normal annihilates the stable columns - only generation 1 is an open torsion channel. (5) REALITY CORRECTED (the review's 'Reality Selector' is wrong as a selection claim): disc(s)=17s^4-18s^3+709s^2+588s-7996 changes sign at s*~2.825, so the spectrum is real for all s>~2.83 and reality does NOT select s=6; at the physical s=6: disc=39200=2^5 5^2 7^2=2(10*14)^2, spectrum real positive. (6) F-CORNER AUDIT extending v80: det F=32=2^5, chi_F=(lam-2)(lam^2-13lam+16), B_F=[[37,43],[53,63]] with det 52=dim F4, sum 196=14^2=(dim G2)^2, tr 100, 43+53=96=2 Omega_adm - audit fingerprints, not load-bearing. (7) FIREWALL REJECTED as a hard rule: 'all small rational factors must be adjacent spine quotients' is FALSE - 16/7, 7/6 (lepton c), 5/6 (gamma_car), 8/7 are load-bearing non-members; the v74 quotient ladder remains an observation, not an admissibility filter
Recorded status: Identity [I] (surface/winding/normal closures + negative controls) + Audit (F corner) + honest corrections
Canonical status: Identity [I]: one surface carries R/K/L/F; winding synchronised; reality threshold corrected; firewall rejected
Dependencies: FLAV.KQ.01; FLAV.PENCIL.05; v74; v80; v81; v85
Scripts: v94_sheet_diamond.py
Location: tfpt_2;verification
Original CSV, line 171Original ledger status
FLAV.SHEET.01
BRANCH-KERNEL SELECTION (next.txt P1 unblocked): at each branch point of the anchor-block cover the 2x2 anchor block is RANK 1 with canonical INTEGER kernels (Koide -2/3: right w=11*1-9a=(2,2,-7), left v=7*1-5a=(2,2,-3); carrier -5/3: right kernel = the democratic vector 1, left v=8*1-7a=(1,1,-6)). COLLAPSE LEMMA [L]: rank-1 forces P(x0).w perp span{1,a} => proportional to the antisymmetric direction (-1,1,0) of the anchor's two equal slots, on BOTH sides: sectors (up=-down, lepton pairing=0 - leptons sit ON the ramification; Koide is leptonic) and generations (gen1=-gen2, gen3=0). SECTOR ZERO LADDER [I]: lepton pairings ARE the det-B factors (zeros = the two branch points); up zeros = -3/2=-N_fam/|Z2| doubly (the v85 GL(2) rung; the whole up-row of P(-3/2) IS the odd direction); down zeros = 0 (=K itself) and -9/5=-N_fam^2/g_car. ORIENTATION: deck translation flips (up,down)=(+,-)->(-,+), magnitude ratio 10=A_Lambda; convention-free invariant f_up*f_down<0. CONTROLS: anchor (2,1,1) moves the collapse to (0,1,-1); (1,2,1) disc 40 non-split, no rational kernels (v82 trichotomy). The sector->sheet map is now DEFINED by the cover's own kernels - the P1 blocker (no independently motivated definition) is removed; the physical identification with the v92 chirality swap stays [P] (FLAV.SHEET.02)
Recorded status: Identity/Lattice [I]/[L] (kernels, collapse, ladder, controls) + [P] (sector-sheet physics)
Canonical status: Identity/Lattice: the cover defines the sector map; physics [P]
Dependencies: FLAV.PENCIL.03; FLAV.PENCIL.05; FLAV.DIAMOND.02; FLAV.MASSVOL.01 (sector rows)
Scripts: v96_branch_kernel_selection.py
Location: tfpt_2
Original CSV, line 174Original ledger status
FLAV.SHEET.03
DISCRIMINANT DICTIONARY DERIVED (P1 closed modulo GATE.QGEO): the generation space carries an INTEGER mu4 - G = T_A*Sigma acts on the cusp basis as G e1=-e1, G e3=e2, G e2=-e3 (the v69 B1+E decomposition realised integrally; G^4=I, char (t+1)(t^2+1)); the cusp-0 eigenvector IS the unique self-conjugate Z4-class-2 line and the swapped cusp pair {1/3,2/3} IS the conjugate class pair {1,3} => the v97 dictionary 'Q_+ grading = A3 discriminant grading' is DERIVED inside the model, not assumed. T_A G T_A^-1 = G^-1 (= discriminant conjugation k->-k); q_A3(1)=q_A3(3)=3/8 (equal on the swapped pair), q_A3(2)=1/2 (fixed); the A3-side negation swaps the two Lagrangian glues (v92 re-derived). The two D4 reflection classes separate the physics: T_A e1=+e1, det=-1 (glue-SWAPPING, v92 single conjugation) vs Sigma e1=-e1, det=+1 (glue-FIXING, simultaneous); Sigma=T_A G. CONSEQUENCE: P1 carries NO separate [P] residual any more - what remains is exactly the already-open GATE.QGEO realisation step (one gate, not two); conditional on that established typing the sector->sheet selection is CLOSED (up/down = deck-odd pair, leptons on the ramification, deck involution = A3-side conjugation T_A)
Recorded status: Identity/Lattice [I]/[L] (dictionary derived) - residual folded into GATE.QGEO
Canonical status: Identity/Lattice: P1 dissolved into the one existing Q-geometry gate
Dependencies: FLAV.SHEET.01; FLAV.SHEET.02; FLAV.QGEO.01; GATE.QGEO.01; GATE.METRIC.07 (v92)
Scripts: v98_discriminant_dictionary.py
Location: tfpt_2
Original CSV, line 176Each 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?