Original ledger status
FIRSTPRINCIPLES.BOUNDARY.01
THE HONEST FIRST-PRINCIPLES BOUNDARY, mapped precisely (2026-06-22): answers (a) can M_Planck/v_geo be computed from first principles? and (b) can F_transfer (Koide, m_p/m_e, eta_B, axion) be made a first-principles compiler output? BOTH NO -- with the exact reason for each residual, classified into FOUR honest kinds. [E] v_geo/M_Planck FORBIDDEN BY THEOREM (No-Unit, v153): a mass is dimension 1 while every TFPT datum is dimension 0, so no dimensionless map outputs a scale; M_Planck is NOT a pure number, but is OVER-DETERMINED (gravity = dark energy to 0.11%, v274); every dimensionless RATIO is derived, only the one unit is not. [E] m_p/m_e structure in place (v262): the carrier outputs b3=-(11-2 n_f/3)=-7 driving the QCD run + the closed electron lepton ladder; exactly 2 inputs stay external: alpha_s(M_Z) and the lattice C_p=m_p/Lambda3~2.83. [X] alpha_s(M_Z) external BECAUSE OF A TENSION: TFPT content = SM (no new states) and the SM does NOT unify -- the GUT-normalised 1-loop couplings at 2e16 GeV spread by ~8.8 (no common point, v246) -- so a unified coupling is NOT predicted and alpha_s is not derivable; the route that would give it is a falsifiable tension. [N] C_p parameter-free but lattice-only (m_p/Lambda_QCD~2.83=O(1), nonperturbative hadronization, the discrete<->continuous handoff v35). [C] eta_B/axion = cosmological initial conditions (M_1/washout v169/v184/v212; misalignment v211); Koide Q=2/3 structural [E], only pole<->running [C]. [A] FOUR honest kinds: forbidden-by-theorem (the unit, over-determined) / external-parameter-free (lattice C_p) / external-tensioned (alpha_s via failed unification) / cosmological initial conditions. A boundary audit; fabricates nothing, closes nothing. [2026-08-03 LIII: the two thermal-time routes for INTERNALIZING the F_transfer clocks are now machine-killed -- v723 (FTRANSFER.STT.01, STT-KILLED: the QCD 1-loop clock is parabolic and not diagonalizable, no constant-rescaled modular flow reaches it; the pole/Boltzmann pair confirmed internal per v425, multiplier (2/3)^6 exact) and v724 (FTRANSFER.COCYCLE.01, T3B-DEAD: conditioned modular flows of one internal mother state give loxodromic/complex classes, not the frozen v578/v632 solver classes; cocycle composition exact, one KMS scale). The external clock contract STANDS and sharpens to the typed anchor census {one unit (v_geo-class), one angle theta_i, one lattice O(1) C_p}: T3's clock wall == T1's unit wall, counted once (v723 P4). No status move.]
Recorded status: Boundary audit [E]/[X]/[C] (what is derived / external / tensioned / forbidden)
Dependencies, status detail and source
Canonical status: [E] the No-Unit dimensional argument + b3; [X] the non-unification spread; [N] the lattice O(1); [C] the cosmological scenarios; [A] the four-way classification. A boundary audit (like v35/v167/v275); does NOT close anything, fabricates nothing.
Dependencies: v153; v274; v262; v246; v35; ANCHOR.VGEO.01; FR.MPME.02
Scripts: v339_firstprinciples_boundary.py
Location: tfpt_4_frontier
Original CSV, line 441Original ledger status
FR.POLE.QED.01
F_pole, the external side (2026-06-25): the Koide source->pole transfer is a ONE-LOOP ELECTROMAGNETIC effect, not an algebraic step -- the honest 'do the external physics' follow-up to v93 (which left the source->pole flow time t~2.84 as an undetermined [P] generator) and to the clock No-Go (the unitary/algebraic lens cannot reach a contraction rate). [E] KOIDE RESCALING INVARIANCE: Q(m)=sum m/(sum sqrt m)^2 is degree-0 homogeneous, Q(c*m)=Q(m) for all c>0, so any FLAVOR-UNIVERSAL running leaves the Koide ratio EXACTLY fixed -- the source->pole shift is purely the FLAVOR-SPLIT (per-lepton) part of the running. [C] ONE-LOOP-EM SIZE: the tree ladder gives 2/3-Q_src=0.002203, which is the TFPT seed quantum phi0/24=0.002216 to 0.6% AND the one-loop EM scale alpha/pi=0.002323 to ~5%; the PDG pole sits AT 2/3 (gap 2.2e-6, the IR attractor) -- the source->pole gap is a one-loop EM size, so the transfer is QED. [C] FLAVOR-SPLIT QED ESTIMATE: a standard 1-loop QED pole<->MSbar relation with the per-lepton log shifts Koide by EM-loop order (|dQ|/(alpha/pi)~0.5) and the pole (IR) is closer to 2/3 than the MSbar (UV) -- the IR is the attractor (v82 direction); size EM-loop, exact value scheme/scale-dependent. [O]/[C] HONEST NEGATIVE/FIREWALL: the EXACT flow time t~2.84 (v93) depends on the renormalisation scheme and the tree-scale identification (external QED choices), so it is NOT derived here, only sized; the algebraic lens forces the RATE (2/3)^6 (v327/v82), this external EM physics supplies the source->pole flow; F_pole stays [C], firewalled (v187), never re-pressed into the compiler. VERDICT: the Koide source->pole transfer is identified as a one-loop EM effect (size ~alpha/pi, IR-attractor direction), confirming F_transfer is genuinely external -- the open theme is sharpened (QED), not closed. Numerical (mpmath), Python-only.
Recorded status: F_pole external [E]/[C]/[O]: the Koide source->pole transfer is a one-loop EM effect; Koide is rescaling-invariant (Q(c*m)=Q(m)) so the shift is flavor-split; the tree->pole gap 0.0022 is one-loop-EM-sized (=phi0/24 to 0.6%, =alpha/pi to ~5%), pole at 2/3 (IR attractor); a 1-loop QED per-lepton-log estimate shifts Koide by EM-loop order toward 2/3; the exact flow time t~2.84 is scheme-dependent external QED, only sized; F_pole stays [C], firewalled (v187) -- rate forced (v327/v82), flow external
Dependencies, status detail and source
Canonical status: Physical
Dependencies: FR.KOIDE.04; FR.KOIDE.05; CONTRACT.F.01; FR.POLE.SOLVE; v93; v82; v327; v371; v187
Scripts: v420_fpole_qed_running.py
Location: tfpt_4
Original CSV, line 488Original ledger status
DYN.TRANSFER.UNIVERSAL.01
The single-flow reduction of F_transfer (2026-06-25): the four frontier transfers (F_pole, F_Boltzmann, F_relic, F_QCD) do NOT each need a separate external solver -- their DYNAMICS is the ONE native flow of the theory (the seam modular/recovery semigroup, v238/v240, gap 6 ln(3/2)) restricted to each sector. Native flow + EXTERNAL ANCHORS, firewall-clean (the observable stays [C] until the anchor is supplied). [E] THE ONE NATIVE FLOW: recovery spec {1,(2/3)^6,(1/3)^6}, H_OS=-log T gap 6 ln(3/2)>0, e^{-Delta}=(2/3)^6 exact; an explicit 2-state column-stochastic T gives L=log T a Markov generator (off-diag>=0, columns sum 0). [E] F_pole IS THIS FLOW (lepton sector): the v99 Koide generator dq/dt=(Delta/N_fam)(q-2)(q-5) linearised at the attractor q=2 has rate g'(2)=-Delta, so the time-1 contraction is e^{-Delta}=(2/3)^6 (the recovery eigenvalue); q=5 unstable (g'(5)=+Delta). [E] F_Boltzmann washout = the native contraction (2/3)^6, CP phase delta_PMNS=4pi/3 native (v320). [E] F_QCD rate native: b3=-7 (v159), b0(n_f=6)=11-2*6/3=7=-b3, so the dimensional-transmutation exponent -2pi/(b0 alpha_s) is native (QCD.LAMBDA.01). [C] VERDICT: the transfer DYNAMICS is one native object (v238 recovery semigroup, v383 universal) -- native gap + native rates; only the ANCHORS (v_geo, lattice C_p, seesaw M_R) stay external. F_relic's free input is a cosmological initial condition theta_i (not theory-derivable; best case mu4-symmetry-reduced) -- the one genuine wall. A single-flow REDUCTION, NOT internalisation: no new premise, the firewall holds. Extends v383 (static universal gap) to a dynamic universal flow.
Recorded status: Single-flow reduction [E]/[C]: the four F_transfer flows are the ONE v238 recovery semigroup restricted to sectors (native gap 6 ln(3/2), native rates e^{-Delta}=(2/3)^6, b3=-7); F_pole=v99 generator at q=2, F_Boltzmann washout=that contraction (CP 4pi/3 native), F_QCD rate native -- only the ANCHORS (v_geo/C_p/M_R) external; F_relic's cosmological IC theta_i the one wall. Reduction not internalisation, firewall-clean; extends v383 static->dynamic
Dependencies, status detail and source
Canonical status: Numerical
Dependencies: CONTRACT.F.01; DYN.SEMIGROUP.01; DYNAMICS.UNIVERSAL.01; QCD.LAMBDA.01; v238; v240; v99; v320; v159; v383
Scripts: v425_dyn_transfer_universal.py
Location: tfpt_research_contracts
Original CSV, line 492Original ledger status
FLAV.DM2RATIO.01
SPLITTING RATIO = LEPTONIC JARLSKOG (2026-07-02, v468): the neutrino mass-squared splitting ratio equals the Jarlskog invariant of the FROZEN PMNS matrix -- dm21^2/dm31^2 = |J_PMNS| = 0.029653 vs NuFIT 6.0 NO measured 0.029805 +- 0.000792 -> -0.19 sigma; equivalently m2/m3 = sqrt|J| = 0.17220 vs 0.17264(229). A parameter-free CANDIDATE relation for a ratio the compiler does not otherwise predict: |J| is the canonical derived CP invariant of the already-frozen matrix (angles v9/v268 + delta = 4pi/3, assembled v270; zero dials). It SUPERSEDES the informal tfpt_2 table heuristic m2/m3 ~ pi phi0 = 0.16704 (a '~' entry, never frozen), which is now at -2.44 sigma vs NuFIT 6.0. Spectrum consistency: with r = |J| the NO floor Sigma m_nu = m3(1+sqrt|J|) = 0.0588 eV reproduces the documented 0.0586 eV (v272); the absolute scale stays the ONE seesaw ratio (no absolute number added). HONEST: post-hoc; as a free formula the window density is ~1.2e-2 (unremarkable alone) -- the content is structural (canonical invariant, zero dials); NO mechanism (the mu-tau texture gives theta13 = 0 at leading order and cannot carry this relation) -- [O] until an M_nu-level derivation exists. Pre-registered kill: JUNO shrinks the r-window ~4x; a stable offset from 0.029653 at >3 sigma kills the relation; the v467 pattern would shift |J| to 0.028849 (-1.21 sigma today), so the two candidates cross-discriminate at JUNO precision.
Recorded status: Numerical [N]/[C]/[O] (candidate relation; informal pi phi0 table heuristic superseded as comparator)
Dependencies, status detail and source
Canonical status: Open [O] candidate relation (post-hoc, parameter-free): dm21^2/dm31^2 = |J_PMNS(frozen)| at -0.19 sigma (the informal pi phi0 heuristic, -2.44 sigma, is retyped to this comparator); NO floor Sigma m_nu consistent; JUNO decides; needs an M_nu-level derivation
Dependencies: FLAV.PMNS.03; FLAV.TH13.01; FLAV.NUSCALE.01; FLAV.THIRDGEN.PATTERN.01
Scripts: v468_dm2_ratio_jarlskog.py
Location: tfpt_2
Original CSV, line 529Original ledger status
HYP.REWRITE.02
THE FULL TRANSFER SPECTRUM FROM ONE FORCED LOCAL RULE (2026-07-15, generator-hunt round; sharpens HYP.REWRITE.01/v327): the verified seam transfer spectrum {1, (2/3)^6, (1/3)^6} (v54/v221) now has a single local recursive generator -- the LAZY Z2-PAIR WALK. [E] UNIQUENESS: for the 3-channel rule M(s,h) = [[1,0,0],[0,s,h],[0,h,s]] (one absorbing family channel + symmetric Z2 pair) the survival spectrum is {s+h, s-h}; demanding the PHYSICAL pair {2/3, 1/3} forces UNIQUELY (stay, hop, leak) = (1/2, 1/6, 1/3) = (1/|Z2|, 1/(|Z2| N_fam), 1/N_fam) -- all three rates exact atom expressions (recorded; honest direction: spectrum -> rates). [E] SIX-HAND GENERATION: over the order-6 = 2 N_fam = |R+(A3)| dynamic hand (v327's hand) the rule generates EXACTLY eig(B^6) = {64/729, 1/729} = {(2/3)^6, (1/3)^6}; the two decay gaps are 6 ln(3/2) (the recovery gap, v76) and 6 ln 3 (the subdominant gap -- previously WITHOUT any local-rule origin). [E] SUPERSESSION: v327's uniform rule (s = h = 1/3, spectrum {2/3, 0}) has a persistent zero mode under every power -- no iterate can produce the (1/3)^6 mode; its lambda_2 content (2/3 = |Z2|/N_fam from the arity) is unchanged; superseded as generator of the FULL spectrum. [E] sub-stochastic, symmetric (detailed balance on the pair), absorbing democratic family attractor unchanged (v317). [O] HONEST RESIDUAL: the arity {|Z2|, N_fam} = {2, 3} stays the anchor input (as in v327); ADDITIONALLY the lazy split (1/2, 1/6) vs the uniform split (1/3, 1/3) is SELECTED by the physical spectrum, not yet derived from a first principle -- named candidate: 'stay = 1/|Z2|' as the sheet-symmetric choice of the Z2 involution (recorded, not claimed). Discovery provenance: experiments/tfpt-discovery/generator_hunt_full_transfer_rule.py (with the anchor-bilinear coverage inventory and the lepton-exponent (5,3,2) = K-row = atom-triple observation, both typed, no unforced claims). No gate closes, no marker moves. UPDATE 2026-07-15 (v487/HYP.REWRITE.03): the split selection [O] CLOSES -- the lazy rule's one-step spectrum is the complete v124 clock ladder below the wall and ladder faithfulness + Z2 equivariance + rates >= 0 force (1/2, 1/6) uniquely (the uniform rule collapses the odd channel onto the wall); only the arity and the clock's semiclassical derivation remain open.
Recorded status: Construction/uniqueness [E]/[O] (full spectrum from the unique lazy Z2-pair walk; split selection stays open)
Dependencies, status detail and source
Canonical status: Full-spectrum generator [E]: unique lazy Z2-pair walk (1/2, 1/6, 1/3); (1/3)^6 mode generator-full (gap 6 ln 3); v327 rule = degenerate case; arity [O]; split selection CLOSED by v487 (clock-ladder faithfulness)
Dependencies: HYP.REWRITE.01; HYP.FIBER.01; HYP.INJECT.01; DYN.SEMIGROUP.01; v54; v76; v221; v312; v317; v324; v327; v395
Scripts: v486_transfer_full_rule.py
Location: origin_theory
Original CSV, line 547Original ledger status
FLAV.NUSCALE.04
THE 3/5 CLEBSCH DOOR ENUMERATED AND CLOSED (2026-07-15; executes the mechanism search behind FLAV.NUSCALE.03's named escape): v482 recorded that only a third-generation Majorana structure factor r ~ 1.6696 (0.18% from g_car/N_fam = 5/3) could revive the integer rung M_R = c3^3 Mbar, and declined it for lack of mechanism. The mechanism search is now EXECUTED at the group-theory level with a clean NEGATIVE. [E] NO RENORMALISABLE CHANNEL: sym^2(16) = 136 = 10 + 126; the 126bar is NOT in the E8 hull {1, 10, 16, 45} (v247) -- M_R only via the d=5 operator (16_F 16bar_H)(16_F 16bar_H)/Lambda with the E8-allowed 16_H. [E] CHANNEL LIST: 16 x 16bar = 1 + 45 + 210; the hull admits singlet + 45 insertion channels (210 absent). [E] CHARGE TABLE: Y = T_3R + (B-L)/2 verified on all 16 states; Tr_16 Y^2 = 10/3 (v485); (B-L, T_3R, Y)(nu^c) = (+1, -1/2, 0). [E] THE {2,3}-SMOOTH THEOREM (the door closes): every available nonzero nu^c channel weight -- singlet 1, T_3R^2 = 1/4, (B-L)^2 = 1, T_3R(B-L) = -1/2, SU(4)-15 weight 3/8 -- is a {2,3}-smooth rational, and the multiplicative closure of {2,3}-smooth rationals never contains 5/3 (a factor 5 cannot appear); the UNIQUE natural 5 of the embedding is k_Y = Tr_16 Y^2 / Tr_16 T_3L^2 = 5/3 (Ginsparg, v470) -- a FULL-MULTIPLET trace, and its carrier direction has Y(nu^c) = 0 EXACTLY, so the only 5-carrying group number is structurally decoupled from the Majorana operator. [E] GENERATION-BLINDNESS: the Clebsch multiplies the whole family matrix c_ij (identical 16's); a per-generation ratio is a flavor texture, never a Clebsch -- the required diag(1, 1, 3/5) cannot arise from group theory by construction. [O] COMPILER-FLAVOR INVENTORY (typed, declined): exact 3/5's in the frozen address tables sit only in WRONG slots (K lepton row (5,3,2): gen2/gen1; R (2,5,3) and L (8,5,3) lepton rows: gen3/gen2); the escape needs gen3 vs a DEGENERATE gen1 = gen2 base, which no frozen table has; no mechanism links M_R to the address tables (v354/v355). NET: the rung + 5/3 rescue is DEAD as a mechanism candidate; the v481 one-parameter window candidate (M_R free inside the PS window; Sigma m_nu = 0.059 eV floor as kill test) stands as the honest endpoint. Contract provenance: experiments/theory-contracts/clebsch01_majorana_35_door.py. No gate closes; the frozen record is untouched.
Recorded status: Enumeration/decision [E]/[O] (the 3/5 Clebsch door closed; negative result; window candidate stands)
Dependencies, status detail and source
Canonical status: Door closed [E]: no renormalisable channel (126 E8-forbidden); nu^c channel weights {2,3}-smooth -> 5/3 unreachable; k_Y = 5/3 decoupled (Y(nu^c) = 0); Clebsches generation-blind; [O] wrong-slot compiler 3/5's typed and declined
Dependencies: FLAV.NUSCALE.03; FLAV.NUSCALE.02; PS.E8BRANCH.01; v247; v249; v470; v481; v482; v485
Scripts: v488_majorana_clebsch_door.py
Location: tfpt_2_standard_model
Original CSV, line 549Original ledger status
CP.CHANNEL.IDENT.01
THE CP CHANNEL / INVARIANT IDENTITIES (2026-07-29; one module, 25 checks, ~1 s; promotion of the exact cores of discovery T177 (contract CP.INVARIANT, probe cp_invariant_probe.py, 49/49, verdict DEGENERATE) -- THE CP MIRROR AS ALGEBRA: the prime-front toolkit (gauge-degree bookkeeping under declared group actions) turned on the four CP ledger rows REDTEAM.D.01 / E8.CHAN.01 / CP.MOD.01 / DUAL.FRAME.01; every statement is a NARROWING of an existing reading, executed in the same change, with NO marker moves and NO CP derivation claimed. CONTENT: (1) THE HEXAGONAL CHANNEL IDENTITY -- on the CM unit rho = e^{i pi/3} (CP.MOD.01) the E8 split 248 = 120 + 128 (E8.CHAN.01/v227) has an EXACT fiber realisation: sum_k rho^{d_k} = 4 rho (arg = pi/3 exactly; the degrees mod 6 are four 0s and four 2s, 1 + rho^2 = rho) and sum_k rho^{m_k} = 4 (arg = 0 exactly), with the parity typing forced by integer parity -- all degrees EVEN (phase channel SHEET-EVEN under the sheet flip rho -> rho^4 = -rho), all exponents ODD (magnitude channel SHEET-ODD); CONSEQUENCE: the sheet-even phase-channel angle cannot distinguish quark from lepton (it carries pi/3, not the CP.MU6.01 sheet split); mutation controls: the identity breaks on the non-CM unit e^{i pi/5} and on a mutated degree list (30 -> 31), reality breaks on a mutated exponent list (29 -> 30); HONEST CAVEAT wired as a check: reality of the exponent sum alone is NOT hexagon-specific (the exponent residues are conjugation-closed mod 10 too) -- only the degree half (= 4 rho) is; (2) ZERO PHASE IN THE MAGNITUDE DATA + THE BRANCH-ORDER LAW (the REDTEAM.D.01 narrowing): arg(prod c) = 0 EXACTLY on both TFPT sectors (lepton triple (16/7, 4/3, 7/6), product 32/9; up-quark triple (1/2, 34/41, 4/13)) -- the CP residual is not hidden in the product -- and the mu3 branch group is EXACTLY the kernel of the magnitude data because its order divides N_fam = 3 (w^{3j} = 1; a mu4 branch already shifts the product phase by -pi/2, mutation): the residual is a FIBER datum, not a magnitude datum; (3) TIER-1 EMPTINESS BY THE BLINDNESS THEOREM: both complex kernels commute with conjugation (conj sum rho^{d_k} = 4 conj rho exactly; Im det(1, d, conj(rho) n) = -Im det(1, d, rho n) exactly), so EVERY pi/3-carrier is kappa-odd and invariant + odd forces Im F = 0: strict invariance under all four T177 groups is EMPTY on pi/3-carriers, per algebra and as preregistered; (4) THE FRAME REMOVAL (the DUAL.FRAME.01 narrowing): det(1, d, n) = 21 = N_fam * scalaron and Im det(1, d, rho n) = 21 sin(pi/3) exactly (v225 rebuilt); the orientation functional is homogeneous of DEGREE +1 in the frame normalisation (Im det(1, d, rho(t n)) = t 21 sin(pi/3) symbolically), so the NUMBER 21 sin(pi/3) is FRAME data; dividing by the oriented volume removes the frame IDENTICALLY (Im(rho v)/v = Im rho symbolically for every real v != 0): the invariant core is the fiber datum Im(rho) = sin(pi/3), the sign a declared orientation; sheet control Im det(1, d, rho^4 n) = -21 sin(pi/3); mutation: n' = (5, -8, 6) gives det = 39/2 != 21; (5) THE TWO TIER-2 CHARACTERS + THE JARLSKOG ANCHOR: P2 = arg(sum rho^{d_k}) carries (chi(kappa), chi(sigma)) = (-1, +1) and V5 = Im(rho det)/det carries (-1, -1), both verified as character HOMOMORPHISMS on the full four-element group (16 products) -- TWO INEQUIVALENT invariants carry the same value pi/3 (the DEGENERATE verdict as algebra) and NEITHER couples to the frame; the classical anchor: the TFPT CKM rebuild (s12 = lambda_C, s23 = phi0/(1+lambda_C), s13 = lambda_C^3/3, frozen delta = pi/3 + 3 lambda_C^2 per REG.FREEZE.01) is unitary to 1.1e-41 and gives J = 3.327021e-5 = the v88 lattice value; J passes rephasing invariance (incl. the mu3 branch group) and CP-oddness and fails ONLY the pi/3-carrier test (its phase content is delta, not pi/3) -- the benchmark VALIDATES the criterion instead of the value, and the full delta has NO character under the parity involution (a CP-even correction on a CP-odd angle: the CP.MOD.01 scope narrowing). NAMED LIMITS AS LOAD-BEARING CONTENT: (i) NARROWINGS ONLY -- no marker of any pre-existing contract moves, the CP residual is NOT closed, the word 'derived' appears nowhere, REG.FREEZE.01 and the 3-vs-2 lambda_C^2 coefficient question are untouched; (ii) R1 STAYS OPEN: whether a frame-coupled, scale-free, character-covariant pi/3-carrier can exist at all (the T177 obstruction: the (1, d, n) frame has only ONE oriented volume to normalise against); R2 STAYS OPEN: which of the two Tier-2 characters is physical -- the sheet-odd (orientation) reading reproduces CP.MU6.01's quark/lepton split, the sheet-even (channel) reading cannot: a structural preference, NOT a derivation; (iii) the D4 deck column of T177 is a DECLARED MODEL and is not promoted (only the model-free statements are). HONEST FENCES: no RH statement anywhere (finite exact statements about roots of unity, 3x3 determinants and one 3x3 unitary matrix); Jarlskog 1985, Wolfenstein 1983, Weyl 1946 named CLASSICAL as addresses. Discovery: T177 (experiments/tfpt-discovery/cp_invariant_probe.py, 49/49, 0.2 s, verdict DEGENERATE). UPDATE (2026-07-30, T178/v564, CP.FIBER.PIN.01): R1 is DECIDED -- the natural (metric-free) class is fiber-only BY THEOREM (one bracket generator), the metric class couples but is NON-CANONICAL (a continuum of normaliser-relative values) -- and R2 is SELECTED conditional on the classical anchor (the Jarlskog character tuple (-1,-1,-1) matches the sheet-odd orientation class only); the single-sine lemma types this row's DEGENERATE verdict as FORCED on crystallographic fibers. Markers unchanged.
Recorded status: Identity [E] (exact identities and certified numerics with mutation controls -- the hexagonal channel identity sum rho^{d_k} = 4 rho / sum rho^{m_k} = 4 sympy-exact with the sheet-even/odd parity typing, arg(prod c) = 0 exactly on both magnitude sectors with the branch-order law, Tier-1 emptiness by the conjugation-commutation theorem, the frame removal Im(rho det)/det = Im rho exact with the degree +1 account, the two inequivalent Tier-2 characters as verified homomorphisms, and the Jarlskog anchor J = 3.327021e-5 = v88 at unitarity 1.1e-41) -- NARROWINGS of four existing ledger readings only; no marker moves; R1/R2 typed OPEN
Dependencies, status detail and source
Canonical status: [E] sum_k rho^{d_k} = 4 rho (arg = pi/3 exactly, sheet-EVEN) and sum_k rho^{m_k} = 4 (arg = 0 exactly, sheet-ODD) on the hexagonal CM unit -- the E8 channel typing has an exact fiber realisation and the phase channel is sheet-blind; arg(prod c) = 0 exactly on both TFPT sectors (the CP residual is a FIBER datum, not a magnitude datum); Tier-1 invariance EMPTY per algebra (every pi/3-carrier is kappa-odd); Im(rho det)/det = Im rho = sin(pi/3) exactly (the orientation reading is degree +1 in the frame normalisation, 21 sin(pi/3) is frame data, the sign a declared orientation); two inequivalent Tier-2 characters (-1,+1) vs (-1,-1) carry the same pi/3 (DEGENERATE), neither frame-coupled; Jarlskog anchor J = 3.327021e-5 = v88 passes (a)-(c), fails only the pi/3-carrier test. Four ledger rows narrowed, no marker moves; R1/R2 OPEN.
Dependencies: REDTEAM.D.01; E8.CHAN.01; CP.MOD.01; DUAL.FRAME.01; CP.MU6.01; FLAV.CP.01; REG.FREEZE.01; v88; v220; v225; v227; T177
Scripts: v561_cp_channel_identities.py
Location: tfpt_5_redteam
Original CSV, line 602Original ledger status
FTRANSFER.GENERATING.01
THE GENERATING FUNCTIONAL CONTRACT [O] (registered 2026-08-27 from the external bird's-eye review; the constructive successor named by the FR.TRANSFER.01 guard). The four continuous-transfer interfaces (F_pole: source masses -> pole, Koide v183; F_Boltzmann: CP source -> eta_B, v169/v184; F_relic: (f_a, m_a, theta_i, N_DW) -> Omega_a, v185; F_QCD: (alpha_s, b3, Lambda_QCD, lattice) -> m_p/m_e, v164) are currently four SEPARATE bridges. DEMAND: IF the 4D theory Z_a[J] of TFPT4D.LATTICE.ACTION.01 exists with a controlled continuum limit (QFT4D.OS.RECON.01), the four bridges MUST arise from ONE generating functional W[J] = log Z[J] -- lepton/quark masses as poles of two-point functions (zeros of Gamma^(2)), m_p/m_e from the baryon and electron correlator poles of the SAME theory, eta_B from the real-time Schwinger-Keldysh dynamics of the SAME theory (CP violation, B violation, nonequilibrium), the axion relic from the cosmological solution of the SAME normalized action. F_transfer is then not another 3x3 matrix; it is the full W[J]. BINDING (the guard stays in force): the four frontier observables remain [C]/[A]/[O] under FR.TRANSFER.01 UNTIL W[J] exists and each bridge is DERIVED from it -- this contract does NOT permit any marker upgrade; it names the single object whose existence would collapse the four transfer problems into computations within one theory. KILL TEST: the four bridges provably require mutually inconsistent normalizations of the same W[J]. EXECUTED UPDATE (2026-08-28, v990): Z6-centre 6Y table + the first executed W[J] at dim 96 -- dW/dJ = <O> (6e-11), Hessian = Kubo (1e-7), transduction shadow d2W/dJ dtheta: seam-coupled -9.3e-3, decoupled e^c control exactly 0. Finite-level mechanism, not the 4D generating functional. FR.TRANSFER.01 guard stays binding. Python-only / Wolfram mirror deferred.
Recorded status: Open (research contract; finite W[J] derivative identities + transduction shadow executed at 1+1D Z6; no upgrade permitted)
Dependencies, status detail and source
Canonical status: Open: one generating functional W[J] = log Z[J] from which all four F_transfer bridges derive. EXECUTED (v990): finite 1+1D Z6 W[J] derivative identities + transduction shadow. No upgrade permitted by this row.
Dependencies: FR.TRANSFER.01; TFPT4D.LATTICE.ACTION.01; QFT4D.OS.RECON.01
Scripts: v990_wj_transduction_mechanism.py
Location: tfpt_research_contracts
Original CSV, line 759Original ledger status
FLAV.NUSCALE.06
THE PENTAGON-CLASS MISALIGNMENT CANDIDATE (registered 2026-08-29, review wave 4, v1001). Candidate [C]/[N]; mechanism = the Q_+-to-flavor operator [O]; NO closure; FLAV.NUSCALE.05 unmoved. [E] U_e = I inventory theorem: no charged-lepton mass matrix in the compiler; companion algebra G-self-adjoint with eigenvalues (16/7, 4/3, 7/6). [E] misalignment U = U_v9 R13(theta, phi) solves the 13/23 pair analytically (held-out theta12 inside 1 sigma of NuFIT). [N] pentagon double hit: phi = 288 deg = 4(2pi/5) frozen => all three measured angles <= 0.56 sigma (honest max pull 0.557) at theta = 2pi/35; that theta is the unique LEE survivor of nine pre-declared candidates (LEE expectation 2.7%). [N] v3 chain SHA-16 a4c28732fa687620: Sigma = 0.0599 eV, m_beta = 9.0 meV, m_bb in [1.5, 3.8] meV, delta_CP = 287.66 deg. [N] v270-theta23 tension 1.85 sigma TYPED (TFPT-target refit pull; the pentagon phase does not recover the assembled v270 angle set). [X] census nulls: matrix 0/1607, ratio grammar null, circularity kills -- frozen 3x3 inventory insufficient. Kills: DESI floor on Sigma, DUNE delta_CP discriminates 287.7 vs 240, JUNO. y2 is DATA_CALIBRATED; no seesaw closure.
Recorded status: Candidate [C]/[N] + mechanism [O] (pentagon-class misalignment; no seesaw closure; FLAV.NUSCALE.05 unmoved)
Dependencies, status detail and source
Canonical status: [C]/[N] pentagon-class misalignment candidate (v1001): phi=288 deg, theta=2pi/35, LEE 2.7%, v3 SHA a4c28732fa687620, Sigma=0.0599 eV, m_beta=9.0 meV, m_bb [1.5,3.8] meV, delta_CP=287.66 deg; v270-theta23 tension 1.85 sigma TYPED; census 0/1607. Mechanism Q_+-to-flavor [O]. No closure. WAVE-5 (2026-08-29, v1003): both structural nulls (D4-even Schur; scale cancellation 1.885e-4) are binding on FLAV.NU.TEXTURE.MECHANISM.01 [O]. Pentagon-class candidate unmoved; no seesaw closure.
Dependencies: FLAV.NUSCALE.05; FLAV.NUSCALE.02; FLAV.NUSCALE.01; AX.P2.01
Scripts: v1001_nu_pentagon_chain.py, v1003_nu_structural_nulls.py
Location: tfpt_2_standard_model;tfpt_research_contracts;tfpt_4_frontier
Original CSV, line 765Established within the stated premises
finding:actual-joint-insertion-hull-resolves-eight-coefficient-directions
The unchanged exact intertwiner path gives commutant dimension6 for gauge+grading on the actual reducing diagonal lepton8, then1 after adding the actual quarter generator h=gamma/4−i gamma Phi alone. Four original Higgs images remain jointly compatible. From the neutral test input individual fixed h+h_q reach4 directions; common words in the separate original h/Higgs images instead give1→4→7→8→8, closing at depth3. A gauge/grading-compatible nu_R^c phase flip fails h already at entry(1,5) with2i. Root independently decoded the stored rational matrices and exactly recomputed these values.
Scope: Actual finite coefficient contract and minimal coupled identification, not a physical state functional or P1 origin. Input values are controls, not derived masses. Common-phase freedom applies to the given linear tuple; physical antiunitary J/R types are not excluded by the formal same-label antilinear branch. An independently original second operator image is still needed; W Phi W* manufactured from the desired dictionary would be circular.
Required premises and original source excerpts
- Actual reducing lepton8 contract with common insertions
Given unchanged v252 with the existing diagonal integer control Yu11,13,17;Yd19,23,29;Ye31,37,41;Ynu1,2,3;MR1,4,9, its actual gauge lift and grading, p1/4 and four adjoint/J-real completed original quaternion one-forms q[D,b]. The generation0 lepton8 is proved reducing for these matrices. Source=target tests only automorphisms of this given tuple.
premise:actual-diagonal-lepton8-common-insertion-contract
Excluded in the stated class
finding:e8-bare-trilinear-and-single-anchor-weyl-class-insufficient
The antisymmetric E8 current coefficient B_h vanishes if literally used in the same left-Weyl quadratic, since B_h tensor Lorentz epsilon is symmetric. For any skew4x4 family form omega and arbitrary polynomials F,G of the same X=diag(3,-1,-1,-1), X²=2X+3I and Sym(F omega G)=(ad−bc)(omega X−X omega)/2. Every such symmetrized family block is a star matrix with zero triplet block, rank at most2 and complex singular values||v||,||v||,0,0. Exact24-basis checks and independent analytic review close the whole stated polynomial class. The reviewed therefore had no justification for comparing singular values of the unsymmetrized current coefficient directly with physical lepton masses.
Scope: Excludes only the stated one-bracket/one-anchor/same-Weyl identification. Rank2 per4x4 family channel, not the full64 operator. Fixed-omega image at most1D; dimension3 only over all omega. Other original family-distinguishing operations, independent Dirac variables, higher insertions and physical field maps remain open. This is not an E8/Yukawa/TFPT no-go and does not refute independently asserted mass relations.
Required premises and original source excerpts
- One E8 current trilinear as the same Weyl quadratic with one anchor mark only
Test only literal B_h=κ(x,[h,y]),h in(10,6),x,y in(16,4), as the local quadratic coefficient of the SAME left four-dimensional Weyl multiplet with Lorentz epsilon. In each fixed spin/charge channel the family form omega is skew. Allow linear combinations F(X)omega G(X) for only ONE X=diag(3,-1,-1,-1) and arbitrary polynomials. Other original family generators, independent Dirac variables, derivative vertices, multiple omega factors and different field maps are outside this class.
premise:one-e8-bracket-weyl-pairing-with-single-anchor-dressing
Non-scientific attribution omitted from public display.
Established within the stated premises
finding:native-clock-word-transpose-has-static-rank-four-counterexample
For K(x,w y),w^t=(-1)^n w_rev with inverted group letters. In the native two-phase lepton class generic h gives [[0,Z],[Z^t,0]],hence(s1,s1,s2,s2). Actual g2 roots e4−e6,e4+e6 with family coefficients eta13=1,eta24=2 give det Sym(eta T)=9/4 and squared singular values3,3,3/4,3/4. Both roots are sigma invariant:[ad_h,Ad_sigma]=0 despite nonzero symmetric pairing. Lack of reversal symmetry therefore proves neither noncommutativity nor physical time ordering. The word is already the actual grade-one affine source correlator <Omega,J^x_1 rho(w)J^y_-1 Omega>.
Scope: Generic whole four-carrier. A narrow Creation30 or single-root contract needs separate checking; marked2+1 three-plane still gives(s,s,0). Arbitrary additional original torus letters lie outside the two-projector alphabet. No physical Yukawa or mass origin. Retain old symmetric source420 and complete normal-clock hierarchy bound.
Required premises and original source excerpts
- Native third clock and actual current-word pairing
Given original D5+A3 E8 embedding, native toral third b=(-1,-1,-1,0,0,-1,0,0) and its coherent C12 field lift. Test K(x,w y) on g1 using complex-bilinear invariant K and actual ad_u/group letters. In the lepton pairing the carrier color charges vanish and actual family4 sigma phases have multiplicities2+2. A one-Higgs two-class subclass permits one generic fixed h in g2 and otherwise only functions of those same two sigma projectors. Do not presume physical Weyl-field type, temporal ordering, the arbitrary A3 torus or a marked three-plane.
premise:native-third-clock-current-word-pairing-class - Full unitary E8 field conjugacy with transported marks
Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.
premise:full-unitary-e8-field-conjugacy-with-transported-marks
Established within the stated premises
finding:original-mixed-spin-products-realize-positive-u6-cycle
Actual odd spin lines have nonzero global multiplication isomorphisms into the one-dimensional mixed twisted-canonical sectors. Six off-diagonal sectors form a single orbit under actual R=sc²; spin signs cancel after six steps. On the existing sixteenfold Kummer cover, intrinsic Hodge positivity and deck-character orthogonality make the orbit realization unitarily equal to the oriented v231 U6. Its rho projector has rank one although the full trace vanishes. Existing triality/sheet factors U6^4,U6^3 select rho and rho^4 joint character lines.
Scope: Constructive geometric origin of the supplied six-cycle matrix, without selecting a physical character, CP reader, field source, state or time. Keep twist lines and the harmless common orbit phase. The original physical charge assignment of triality and sheet characters still needs its actual operator map. Originals already declare rho/rho^4 as CP readouts. v233 inserts exponents 1/4 rather than evaluating the actual map J from U6^3,U6^4 to color-Casimir sector parity and family center. Geometric q/p names and the old carrier seam tau do not identify quark/lepton sectors. Clarification 30 October: the phase-free orbit basis absorbs partner phases. Raw s pullback is minus transpose, so raw antisymmetry is on the positive U6-cube sheet. Independent full q/p signs plus R have no rank-three projector; see the new complete deck test.
Required premises and original source excerpts
- Recovered genus2 cover with retained coefficients
Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.
premise:recovered-genus-two-cover-with-retained-signed-coefficients - Unchanged A0* Fuchsian equation and actual C4 clock
Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.
premise:actual-original-a0star-fuchsian-connection-and-c4-clock - Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
premise:typed-source-structures
Established within the stated premises
finding:original-weak-current-coefficient-has-explicit-finite-oneform-consumer
The actual weak bar5 coefficient has an explicit quaternionic Higgs witness in the original finite algebra. Its evaluated one-form has LR=q(H)diag(Yup,Ydown), with correct SU2, hypercharge and grading and explicit nonzero lepton/quark entries. General sums retain a common2x2 matrix Q multiplying the already supplied Yukawas across generations and sectors. The separately evaluated central dz normal reader is finite-identity valued and does not create a family Hom matrix.
Scope: A genuine finite-slot coefficient witness, not a full geometric mu-to-current-to-Higgs identification. General complex-linear span gives Q in M2(C); quaternion conjugation constraints require an explicit real-algebra/reality contract and do not follow merely from self-adjoint completion. Preserve actual color projection and Pati-Salam scopes. Old v258 modular inversion is for a given covariance and records the physical seam compression as conditional, not an independently evaluated mu source. Next test the simultaneous common-Q times given-Y relation at the actual geometric sewing consumer. Crucial goal distinction: the QY test applies to inner fluctuations around a fixed supplied D_F, not to original generation of D_F and its Yukawa matrices themselves. Source reconstruction of the background may change those matrices and must neither be excluded by the fixed-background fluctuation class nor replaced by merely varying it. The reviewed further mandatory family-scalar mu-reader conclusion is unsupported. A bare C3 sum is not A4 invariant, and real D†D does not imply real full Pstr kernel with unchecked complex projectors.
Required premises and original source excerpts
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
premise:typed-source-structures - Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
premise:actual-full-v252-unimodular-p2-gauge-lift - Given original C/X current source with E8 cocycle and compact adjoint
Use the actual supplied level-one E8 current source C in1x4 and X inbar5x4, original cocycle and compact adjoints. The expressly restricted initial seed keeps only family labels1,2,3. Check current Lie words without presupposing geometric q/p access, a finite Phi coefficient or physical P1 source selection.
premise:given-original-e8-cx-current-cocycle-and-compact-adjoint
Non-scientific attribution omitted from public display.
Established within the stated premises
finding:actual-hardy-response-has-weak-clifford-odd-and-ko-real-completion
For the actual nonzero Hardy coefficient and marked original weak P2 creators, the exact commutator gives a nonzero grading-odd color-neutral weak doublet of hypercharge+1/2, rank16 for each component in the declared whole-96 comparison. All45 D5 Clifford bilinears commute with the even Hardy projection. Adjoint completion alone has rank32 and fails finite reality. Full original KO6 completion has rank64, is selfadjoint, grading odd and J_F real, with D_KO^2=|kappa|^2(E00+E22) tensor I32. All four sectors retain the same family matrix but fixed quark/lepton signs and antiparticle conjugations; no Majorana block. Actual checker replays and independent root algebra pass. Crucially, original carrier008 already contains the primitive exterior-volume coupling. Its actual up-quark channel reads the new directed coefficient as+kappa; the fixed signed KO Hilbert convention gives-kappa because compact conjugation reverses the complementary wedge. No phase is fitted. The original weak carrier consumer is therefore present.
Scope: Exact operator and original carrier consumer under the declared family/96 P2 comparison. Original wedge contraction corrects the earlier overly broad claim that no original weak Clifford application exists; read the two earlier operator reports with this addendum. Original family coefficients are already prescribed by Hol(nablaF*)Kstr. It remains to compare the actual Hardy contribution with the relevant entry, actual variation or path summand, without imposing equality to the whole Ybr as a universal condition or treating original Y as arbitrary free v252 inputs. Keep mixed E8 family leg, fixed-background limits, C0 versus J_F, internal versus field CAR parity, and NS versus physical quarter time distinct. A correct finite block is not the complete physical source derivation. General addendum: identical familyM on all96slots yields S=M+M^T. Two directed edges give equal nonzero singular values, not unique polarCKM. Different bare doublet-component coefficients violate fixedSU2. Typed original sector-specific readers remain allowed.
Required premises and original source excerpts
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
premise:typed-source-structures - Original oriented exterior carrier
Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.
premise:oriented-p2-exterior-carrier - Alternative chiral comparison of q columns with actual v252 P2 carrier
For this explicitly alternative comparison identify actual G columns(L0,L2,L1) with supplied generation slots through whole signed P2 dictionary. D_E acts on gamma_F positive,barD_E on negative. Retain unchanged full_D with Y and symmetricMR,F5 structure,faces,graph state and given time. Do not silently replace earlier particlewise hypothesis. No P1 selection,global trivialization,new state/time or physicalE8gauge action assumed.
premise:declared-q-column-to-v252-chiral-slot-comparison - Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
premise:actual-full-v252-unimodular-p2-gauge-lift - Original D5 base-current action on supplied P2 and E8 carrier
Original D5_1 x A3_1 base net and explicit P2 Clifford carrier supply full45-dimensional D5 operator action including20 non-U5 roots. Its zero modes act with the existing Chevalley cocycle on the supplied compact E8 currents; no primitive P1 preparation or history selecting a word is presumed.
premise:original-d5-base-current-action-on-given-p2-e8-source - Relative spin and reference Hardy cable on original three-cover
Compare holomorphic Hardy shifts M_z on S0 tensor L and the same degree-zero coefficient line L over the original pi:C→P1_z. Spin half-forms give boundary norm; Fredholm convention is det kernel tensor inverse det cokernel. Relative line is spin line tensor inverse reference line. This defines a mathematical sewing contract, not an established identification with physical D_rel/D_ref or state.
premise:relative-spin-scalar-hardy-cable-on-original-three-cover - Original hard-holonomy contract with pure closed-triangle trace
Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.
premise:original-hard-holonomy-and-closed-triangle-readout-contract
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-PRIMITIVE-WEDGE-CONSUMER-HARDY-REVIEW.txt, lines 1–123
Source SHA256: f830ec1e84b614b175918fd7aad5659121c3f53d9f12693ab0bed602e4d4f87c
bounded-excerpt · current-at-snapshot
- documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/008-source.tex, lines 155–245
Source SHA256: aa2731355579b961ea9de47532cb0a4cb3db6e1c29e0f18965b517d1280d8d85
bounded-excerpt · current-at-snapshot
- documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/004-source.tex, lines 180–244
Source SHA256: 107d525221eb816043dbf4fb1a3c7e8244d3e24a5a5bcbfe1c2c34d8ee192f4a
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HARDY-BMU-WEAK-CLIFFORD-ODD-LIFT-REVIEW.txt, lines 1–176
Source SHA256: 2840c19c6f80ad23c88011194c21dbc02905538891fb4b0ac4384e165783c975
bounded-sanitized-excerpt · current-at-snapshot · 18 administrative lines explicitly omitted
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HARDY-BMU-KO-AND-FOUR-SECTOR-COMPLETION.txt, lines 1–178
Source SHA256: 6548f713daafb6c76d0ba195bbd16a0a0f1d7ac28b235a38854239533d97bb89
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_hardy_bmu_weak_clifford_lift.py, lines 1–193
Source SHA256: 5e2cbc4cda9dfd3ccbb35df45b13b796861e42545e3c6b9729c666925b7787e8
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_hardy_bmu_ko_completion.py, lines 1–184
Source SHA256: 4b4702bf9911db2e100c4db18799e0145efcbcc0c7c4a4faf84a7a67f8c61204
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-HARDY-CLIFFORD-AND-MODEL-REVIEW.txt, lines 1–69
Source SHA256: 7d0e548953e7e52e56a6da43dce2c71e5387376e189c966f2b2be08bb9cd174a
bounded-sanitized-excerpt · current-at-snapshot · 15 administrative lines explicitly omitted
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE42-GENERAL-FAMILY-KO-AND-SU2-REVIEW.txt, lines 1–170
Source SHA256: 5029b23a17a31856d3b1cf74348fc2b83484f3f38e83ace5a3ecd01fa22c6904
bounded-sanitized-excerpt · current-at-snapshot · 18 administrative lines explicitly omitted
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-C6-KO-CANDIDATE-REVIEW.txt, lines 1–70
Source SHA256: f691ed00544966a616cebfa260517a6a464ef7d68bc805f4e1ca6a0122e84a03
bounded-sanitized-excerpt · current-at-snapshot · 22 administrative lines explicitly omitted
Established within the stated premises
finding:actual-weak-connection-transmits-family-orientation-to-both-faces
In the given v252 source the actual real weak lift Q=-i(T+J_F T J_F^-1) has the required antiparticle minus sign. For h=(pI+tQ)gamma-i gamma D_F the commutator term in h² is retained. Two constant diagnostic quark backgrounds with equal separate singular spectra give DeltaTrh²=DeltaTrh⁴=0 but DeltaTrh⁶=5760t² at p=1/4, with all96 slots and identical nonzero lepton/Majorana data. Independent block calculation yields36 DeltaTr(HdHu). Thus for every nonzero t and every given positive width the actual cross-face X eigenvalue multisets differ. Finite small-width trace and logdet differences begin at -244ell⁶t² and -128ell⁶t². The actual coupled source retains mixing information at constant Higgs through its existing weak connection. Under the whole unitary polar formula Y_f=T_f K_f, Tr(LuLd)=Tr(Ku² V Kd² V*) with V=T_u* T_d; a common T gives V=I. Retain original lambda dressing and path-reader typing.
Scope: Actual full96 source operation in one existing quarter mode; no selection of Yukawas,weak background,width or physical time. Unlabelled fullG projection spectra remain0/1; labelled cross blocks differ. No interchange with infinite mode sums and no established coefficient in the original full action/Gamma. Refutes extending frozen separate-spectrum blindness to the existing coupled operator, not every particular functional. A new seam derivative is not required for this capability.
Required premises and original source excerpts
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
premise:typed-source-structures - Geometric Clifford boundary with explicit changed complex structure
Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.
premise:canonical-recomplexified-graded-boundary-clifford-typing - Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
premise:actual-full-v252-unimodular-p2-gauge-lift
Established within the stated premises
finding:actual-v252-quark-lepton-split-prevents-weak-grading-uniqueness-inference
Actual v252 preserves quarks(rank72) and leptons(rank24) for all its Yukawa, Majorana and SM algebra blocks and internal J. gamma(2q−I) is another internal KO6-compatible grading, distinct from ±gamma, and yields an additional B-reducing rank96 fibre image when A preserves q. Full M96 irreducibility cannot be inferred from this smaller source class.
Scope: Original block proof plus integer coefficient and all24 real SM basis controls. Does not change the original gamma, construct a physical countermodel or test the full normal J or Hochschild orientation. Further original orientation data may select the grading.
Required premises and original source excerpts
- Actual v252 SM coefficients and internal KO6 structure
Original v252 full_D, rep, grading and Kswap, arbitrary Yukawas and symmetric Majorana, SM connection and quark-preserving momentum. No extra quark-lepton mixing or full normal real structure is assumed.
premise:actual-v252-sm-coefficients-and-internal-ko6-without-extra-mixing
Established within the stated premises
finding:actual-graded-hypercharge-trace-rejects-quark-lepton-sign-intertwiner
The actual real unimodular v252 gauge lift gives Tr(gammaY³)=0, quark−9/2 and lepton+9/2. gamma_prime=gamma(2q−I) gives−9, excluding every unitary simultaneously preserving Y and intertwining those two fixed gradings. Weak KO6/operator signs alone allow gamma_prime, while the original fixed graded charge tuple is not equivalent. The complete four sector-sign choices have distinct cubic/fifth graded trace pairs: (0,10/3),(-9,-95/12),(9,95/12),(0,-10/3). Only the original (+,+) preserves the fixed joint dictionary.
Scope: Finite trace proof and actual rational96 gauge-lift computation with ten controls. Excludes only the specified simultaneous dictionary intertwiner. Does not derive physical PF or reject every other intrinsic grading on the same normal fibre image, extra sectors or inflow; anomaly cancellation is not treated as sufficient source selection.
Required premises and original source excerpts
- Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
premise:actual-full-v252-unimodular-p2-gauge-lift - Actual v252 SM coefficients and internal KO6 structure
Original v252 full_D, rep, grading and Kswap, arbitrary Yukawas and symmetric Majorana, SM connection and quark-preserving momentum. No extra quark-lepton mixing or full normal real structure is assumed.
premise:actual-v252-sm-coefficients-and-internal-ko6-without-extra-mixing
Established within the stated premises
finding:finite-original-tower-reader-and-existing-weak-symmetry-fix-shared-matter-responses
MultipointSchurforward/backwardrecursionreadstargetouterintervalsfromactualfinitepanswers. ExactagreementonNanswersineachquartergivesoccupationdifferenceatmathematicalq1/2≤2/(16N²−1);individualBlaschkeproducts1/(4N∓1). Occupation=1/(1−s),s∈(−1,0],derivative≤1,sofactor2correct. N1000eachgives2/15999999. PositivePickGramnecessaryonly,notStieltjesorH-classsufficiency. UnderadditionalunchangedR057weak-invariantpositiveHmarginalandgenuinefieldmap,xiHaarS3independentofradius;identifiedmufixeswholeconstantHmarginandeachGIVENconditionalfermionwordintmu intHaarW_A(sqrtu xi),withoriginalY/MR/Pf/phases. Direct96leptonresponsefromsamereconstructeddiagnosticlawagreeswithoutYfit.
Scope: Momentfreeradialtheorem;symmetrycorollaryONLYwithadditionalexistingR057field/covariance/invariancepremises,symmetrynotnewmeasureselection. Allwordsshareoriginalmu,noperwordfit. NoWickreplacementbyaveragedcovariance. FiniteboundassumesEXACTsampleagreement,notnoiseormeasuredistance.120-digitdiagnosticsnotrigorousintervalarithmetic. q1/2notnewphysicalmode/clock.129controls,noLean/paper/ledger.
Required premises and original source excerpts
- One original common positive constant Higgs source over the whole quarter mode tower
Samegivenoriginal96Yukawa/Higgs/Majoranaconsumerh_H(p)=p gamma−i gammaPhi(H),samefixedrightupfamilyvectorofgivenYu*Yu,y²>0,allp=n+alpha,n≥0,alpha1/4or3/4,onefixedell>0. Originalellipticnormalizationell2piretained. ONEpositivenormalizedfulllawoverfiniteconstantu=H*Hyieldsallaveragedconditionalt_p(u)=1/2+p tanh(ell sqrt(p²+y²u))/(2sqrt(p²+y²u)). AllRef/Eta/det/Pf/Z0andotherintegratedweightsbelongtothisSAMElaw,notrefittedpermode. NoHmomentorcompactnessassumption. Extra conditionalfermionverticesorH(x)changingthegivenconditionalformareoutofscope. NoidentitywithprimitiveC_Sigma/physicalcarrier/originassumed.
premise:original-common-positive-constant-higgs-law-over-whole-quarter-tower - Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
premise:typed-source-structures - Original quark Higgs consumer and actual positive conditional source mixture
Given whole96 Phi(H)=L(H)+DM with original q and fixed supplied Y/MR;existing constant common quarter circle p=1/4,ell>0,h=p gammaF−i gammaF Phi,second-face C_H. Existing charged left-quark CAR subalgebra is conditionally quasifree with A_H tensor I_color3 and zero anomalous pairs. Actual full normalized H weight must give a positive mixture including Z_F/reference/eta and all factors. Strictness requires nonconstant u=HdaggerH and a nonzero quarkY. No new physical96-fold integration,measure derivation,general variable H(x)/connection or3+1D assumption.
premise:actual-original-quark-higgs-family-and-positive-conditional-source-mixture - Actual original rightup color triplet with fixed family vector and even color source
Given original96 Phi(H),gamma_L+1,gamma_R−1,fixedp1/4,ell>0. Samefixed eigenvector of GIVEN Yu*Yu,y²>0,inall3originalrightupcolors;notnewphysicalstateselection. M*M=u diag(Yu*Yu,Yd*Yd) givesactualt(u)=1/2+p tanh(ell sqrt(p²+y²u))/(2sqrt(p²+y²u)) on(a,b],a1/2,b(1+tanh(ell p))/2. Reader assumespositiveevenstateinvariantunderoriginalconstantSU3;finite modularlogrequiresfaithfuldensity. Forcednonlinearity and positivemixturetestONLYadditionallyunderR054positive normalizedwholeHmixturewithnonconstantradialu,includingwholedet/Pf,Ref,Eta,Z_F,Z0. Generalreaderdoesnotrequiremixture. No primitiveP1measure,physicaltimeorfull96modularrestrictionclaim.
premise:actual-original-rightup-triplet-fixed-family-and-even-color-source - Given O1 isometry and additional weak-invariant positive Higgs covariance marginal
Named identifiability test only:original normal O1 space C2 with actual supplied normalized embedding T and compatible unitary WEAK SU2 identification,normalspin2/weak2/spin4 distinct. Even additional actual positive normalized invariant H marginal with EHH*=cI,c>0 is GRANTED,not derived from index/P=T T*. Fourth moments only where finite. Four real H coordinates and original whole96 Phi/Y/MR unchanged. Fourier readout requires actual positive original Euclidean field source/commuting image and H=T*varphi_N,not a replacement for their origin.
premise:given-o1-mode-isometry-and-weak-invariant-positive-higgs-covariance-marginal
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE-PROOF.txt, lines 1–200
Source SHA256: fc4fb8e221aed1f4802ecb00a2d93578bd629ab08783378fcd364d135d1d90cc
bounded-sanitized-excerpt · current-at-snapshot · 7 administrative lines explicitly omitted
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE-PROOF.txt, lines 201–204
Source SHA256: fc4fb8e221aed1f4802ecb00a2d93578bd629ab08783378fcd364d135d1d90cc
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_quarter_tower_higgs_inverse.py, lines 1–188
Source SHA256: a09c2e4a8e2f9dcdf3b3868fc66f744bd3ec84b64a00ef9d56919dbbd4dd7da0
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE.json, lines 1–200
Source SHA256: f5e606f849a47a329b46bc1eb624ea058eb40ac1205562e76b839bc14ca47524
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE.json, lines 201–400
Source SHA256: f5e606f849a47a329b46bc1eb624ea058eb40ac1205562e76b839bc14ca47524
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE.json, lines 401–600
Source SHA256: f5e606f849a47a329b46bc1eb624ea058eb40ac1205562e76b839bc14ca47524
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE.json, lines 601–800
Source SHA256: f5e606f849a47a329b46bc1eb624ea058eb40ac1205562e76b839bc14ca47524
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE.json, lines 801–819
Source SHA256: f5e606f849a47a329b46bc1eb624ea058eb40ac1205562e76b839bc14ca47524
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HIGGS-COLOR-MODULAR-SOURCE-PROOF.txt, lines 1–196
Source SHA256: f0de82f6ca8f7fa77bfd493bcd2d5bfaca970e6c6ad02635e7bfea470dbdfdc8
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HIGGS-MIXTURE-WICK-PROOF.txt, lines 1–150
Source SHA256: 1264ad59c4b8de007156b50e4fd0b352a868db1d82bfeafebb50e5173f99ec73
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-O1-HIGGS-LAW-PROOF.txt, lines 1–124
Source SHA256: df7786587b09d7075125e4d77adc077eb4aca081adf33efdb491581f8a24a5e3
bounded-excerpt · current-at-snapshot
- verification/v252_full_finite_triple.py, lines 86–121
Source SHA256: 820254440e178430422e50605067775656236602996307f67c9e69124ba5d163
bounded-excerpt · current-at-snapshot
- verification/v252_full_finite_triple.py, lines 202–212
Source SHA256: 820254440e178430422e50605067775656236602996307f67c9e69124ba5d163
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/native-arc-charge-source-interface-20261026/ELLIPTIC-CURRENT-SOURCE.txt, lines 1–178
Source SHA256: 657b2ace6d7152c53dbb29c76d8e0daca6e6b1ce747c535da7dffb0ff38d9b48
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MASTER-VARIATION-SOURCE-TYPES-REVIEW.txt, lines 1–101
Source SHA256: dad88bd82d64bababee05395644fb3368b8e2e458c08650979fec56597a035ff
bounded-excerpt · current-at-snapshot
Established within the stated premises
finding:original-center-selector-requires-typed-state-field-and-face-transport
TotalcenterfixeswholeGstatebutonefaceconditioningchangesit:exactoriginaltripletcoefficientc1/5givesGstar9/25,selectionweight13/25,conditional1. InvariantobservableRESTRICTIONleaves9/25. Onefaceconditioningisratioofcenter-shiftedXi;integrateHbeforetakingratio. EquivariantfundamentalquarkSLOTembeddingintoSAMEcenterneutralSTATEsectorobeysT=zetaT,hencezero;native96oneparticlecenterwouldretain24leptonsandkill72quarks. NophysicalPadmidentityasserted;chargedfieldsactintersector. OriginalfixedZref0cancelsinnormalizedZrelstateanddoesnotselectH.
Scope: Specifiedrepresentationsanddistinctoperationorders,notabanonquarkfieldsorTFPT. NeitherdiagonalliftnoronefaceconditioningidentifiedwithphysicalPsing. SU3singletiscompatiblewithZ3selector. Notallmixturesarenonquasifree;retainR054conditions. Otherfield-dependentrelativeactionvariationsrequirefullR043.
Required premises and original source excerpts
- Given whole quarter graph and canonical diagonal original color lift
GivenwholeG(C)twofaceprojectionandC=(1+exp(4pihH))^-1fromoriginal36quarkparticleCARandgivenY. Sameactualpi/JSU3liftonbothcopiesofthedisplayedcommonSOURCEfiber,[C,U]=0,det36U1. Twoquartersarenottwofaces. OriginalCARRIERPsingandfixedZref[0]quotientretainedverbatim;NOidentificationofcarrierselectorwithoneface/diagonalFockprojectionorPF. Finiteoriginalregulatorsandconvergentfullmodecharacters;positiveHmixtureonlywithactualcompletepositiveweight.
premise:given-whole-quarter-graph-and-canonical-diagonal-original-color-lift - Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
premise:typed-source-structures - Constant odd circle-source coefficient with existing sea and full boundary graph
In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.
premise:constant-odd-quarter-circle-source-sea-and-full-graph - Original color group counting on the whole constant quarter quark source
Sameoriginalconditionalquasifree36-labelquarkPARTICLECARsubspaceperp=n+a,a=1/4or3/4,b=4pi,h=pgamma−igammaPhi,M=q(H)diag(Yu,Yd),q*q=uI2. GivenYremainfixed. ActualrealSU3liftusespiandJandactsidenticallyonL/Rcolor,notrawleftpiandnot96independentphysicalfermions. Retainwholemodetower,bothquartersatSAMEH,andallcomplement/ref/eta/ZF/H0/Z0inwholeweight. Boundedglobalgroupinsertionnotalreadyidentifiedwithlocal4D,EMormetricsource. PositiveHmixtureonlyunderactualpositivecompleteweight.
premise:original-quark-particle-color-group-counting-on-whole-constant-quarter-source - Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
premise:actual-full-v252-unimodular-p2-gauge-lift - Stipulated E8 H8 module with original color-center selector
Retain stipulated E8 lattice extension with H8=8K_alpha,alpha=1/4 or3/4,actual rational Weyl dictionary M and original marked color center on first three carrier slots. Apply its P_sing after the carrier theorem. No intertwiner to the primitive P1/OS space is assumed.
premise:stipulated-e8-h8-with-original-color-center-selector
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION-PROOF.txt, lines 1–200
Source SHA256: 6c7879b6f5c4245dab78dca85c2907e076ee56dd66450970a7967c19b3dceb0d
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION-PROOF.txt, lines 201–212
Source SHA256: 6c7879b6f5c4245dab78dca85c2907e076ee56dd66450970a7967c19b3dceb0d
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_whole_color_selection.py, lines 1–109
Source SHA256: 7990930b7824acdb9f019a1667ebafebe2a26b154a09a78407f981bb67de8311
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION.json, lines 1–200
Source SHA256: 7a81824f45e515b2ef0f7f28280bcff0a174ee1bf888f97e51bdfff0f5fdec36
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION.json, lines 201–400
Source SHA256: 7a81824f45e515b2ef0f7f28280bcff0a174ee1bf888f97e51bdfff0f5fdec36
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION.json, lines 401–449
Source SHA256: 7a81824f45e515b2ef0f7f28280bcff0a174ee1bf888f97e51bdfff0f5fdec36
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HIGGS-COLOR-HOLONOMY-PROOF.txt, lines 1–185
Source SHA256: b018cd619e98f9cc05b1994cf18b77427af61932293070036dc633bad05adc2d
bounded-excerpt · current-at-snapshot
- verification/v252_full_finite_triple.py, lines 63–168
Source SHA256: 820254440e178430422e50605067775656236602996307f67c9e69124ba5d163
bounded-excerpt · current-at-snapshot
- documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex, lines 12–120
Source SHA256: 61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c
bounded-excerpt · current-at-snapshot
- documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex, lines 256–265
Source SHA256: 61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/CLUSTERING-ADMISSIBLE-SECTOR.txt, lines 65–120
Source SHA256: 349e5a149d34078da67775e56f25e3aebf2c55111798a86d58322aa61cd380bc
bounded-excerpt · current-at-snapshot