TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE54-CONSTANT-GAUGE-MIXING-INDEPENDENT-REVIEW.txt Original file SHA-256: df665ebbfdde7952a29b930a3429d079c5efc90b6e55e8a9e339e626ddf03b31 Inclusive original lines: 1-157 Line numbers below refer to the original source. This bounded excerpt is source evidence; it is not a new proof/checker run. Conversation metadata and personal execution details are omitted where indicated. 000001 | [OMITTED: non-scientific conversation or execution metadata] 000002 | [OMITTED: non-scientific conversation or execution metadata] 000003 | [OMITTED: non-scientific conversation or execution metadata] 000004 | [OMITTED: non-scientific conversation or execution metadata] 000005 | 000006 | [OMITTED: non-scientific conversation or execution metadata] 000007 | [OMITTED: non-scientific conversation or execution metadata] 000008 | [OMITTED: non-scientific conversation or execution metadata] 000009 | [OMITTED: non-scientific conversation or execution metadata] 000010 | [OMITTED: non-scientific conversation or execution metadata] 000011 | [OMITTED: non-scientific conversation or execution metadata] 000012 | 000013 | Tr(W+ D_F^2 W- D_F^2) 000014 | =3 Tr((Y_d Y_d*) (Y_u Y_u*)). (1) 000015 | 000016 | The factor 3 is colour. Equation (1) is invariant under a common family-frame 000017 | change and detects the relative left orientation. It needs no seam derivative. 000018 | It is an exact possible coefficient of an interacting charged-current expansion, 000019 | not a proof that the unfinished full Gamma_ren caller assigns it a nonzero 000020 | coefficient. 000021 | 000022 | There is a second, independent type error in the proposed conclusion. The 000023 | original v252/v254 geometry takes the Yukawa matrices as supplied coefficients 000024 | of D_F. Its dynamical finite one-form is the common Higgs quaternion built from 000025 | that fixed D_F; the continuum connection supplies gauge fields. The already 000026 | proved radial witness is 000027 | 000028 | Phi_s=(1+s) D_Y+D_MR. (2) 000029 | 000030 | Thus the original displayed variation gives one contracted radial equation. It 000031 | does not give independent Euler equations delta Gamma/delta Y_u=0 and 000032 | delta Gamma/delta Y_d=0. “Stationarity selects the fermion singular values” is 000033 | therefore not an original consequence. 000034 | 000035 | 1. What is true in the frozen finite sector 000036 | With no gauge or other charged insertion, the quark part of D_F^2 restricted to 000037 | the left doublet is 000038 | 000039 | diag(H_u,H_d), H_u=Y_uY_u*, H_d=Y_dY_d*. 000040 | 000041 | [OMITTED: non-scientific conversation or execution metadata] 000042 | [OMITTED: non-scientific conversation or execution metadata] 000043 | [OMITTED: non-scientific conversation or execution metadata] 000044 | [OMITTED: non-scientific conversation or execution metadata] 000045 | [OMITTED: non-scientific conversation or execution metadata] 000046 | 000047 | This scope is smaller than the proposed Gamma_ren. The original relative action 000048 | retains A_Sigma inside Tr f((D_rel+A_Sigma)/chi); 000049 | documents/tfpt_research_contracts/sections/007-source.tex:4-13. QFT7 defines 000050 | Gamma_k from the full S_adm[varphi] functional integral, rather than from the 000051 | frozen finite spectrum alone; documents/archive--tfpt-45--source_extracts-- 000052 | 04_qft_source/sections/007-subsection-renormalized-physical-and-scheme-readout- 000053 | laye.tex:3-27. The finite 000054 | v254 one-forms are scalars, while gauge bosons come from the continuum 000055 | [D_M,a]; verification/v254_inner_fluctuations.py:6-20. Dropping the charged 000056 | connection before taking the spectrum does not establish a theorem about the 000057 | interacting functional after that connection is included or integrated. 000058 | 000059 | 2. Smallest actual v252 countertest 000060 | In the actual v252 representation, q acts on every (u_L,d_L) pair; 000061 | verification/v252_full_finite_triple.py:139-168. Let sigma_x,sigma_y be the 000062 | ordinary Pauli matrices and define, through that same rep, 000063 | 000064 | W+=(pi(0,sigma_x,0)+i pi(0,sigma_y,0))/2, 000065 | W-=W+*. 000066 | 000067 | Then W+ maps d_L to u_L with coefficient one for all three colours and all 000068 | three generations. Since D_F is the actual full_D of lines102-116, block 000069 | multiplication gives equation (1). The KO6 completion W+ + J_F W+ J_F^-1 000070 | acts on the disjoint antiparticle block and doubles this real trace. 000071 | 000072 | Use the exact integer matrices 000073 | 000074 | Y_u=diag(1,2,3), 000075 | Y_d=diag(4,5,6), 000076 | Y'_d=P_13 diag(4,5,6). 000077 | 000078 | Y_d and Y'_d have the same singular values, as do the unchanged up matrices. 000079 | Nevertheless 000080 | 000081 | Tr(H_d H_u) =440, Tr(H'_d H_u) =280, 000082 | Tr(W+H W-H) =1320, Tr(W+H'W-H') =840, 000083 | KO6-completed word=2640, KO6-completed word =1680. 000084 | 000085 | The exact difference on the particle quark block is480. This is the requested 000086 | first decisive counterexample: separate spectra agree, while an operator word 000087 | formed only from the original D_F and original weak action differs. 000088 | 000089 | The word is gauge neutral because the charged insertions close as W+...W-. It 000090 | also survives a common family basis change. It tests relative orientation, not 000091 | an arbitrary chart. No new physical coupling was chosen; an eventual action 000092 | coefficient remains a separate caller calculation. 000093 | 000094 | 3. Consequence for the full effective functional 000095 | The universal statement 000096 | 000097 | “constant H implies Gamma depends only on the two separate singular spectra” 000098 | 000099 | is not proved and is false as an operator-algebra assertion once the existing 000100 | charged weak connection is retained. Terms proportional to Tr(H_u H_d) are 000101 | allowed at constant H. They can arise from charged-current insertions without 000102 | any derivative along the seam. At quadratic order in the simplest covariant 000103 | Higgs kinetic term the orientation may still cancel; equation (1) identifies a 000104 | higher mixed word. The checker does not assign it to a particular heat-kernel 000105 | coefficient or loop order. 000106 | 000107 | The stronger CP question requires a higher invariant, for example a word that 000108 | contains the commutator of H_u and H_d. This review does not claim that the 000109 | original Gamma_ren supplies its coefficient. It establishes only that seam 000110 | derivatives are not the unique possible carrier of mixing information and that 000111 | the frozen-spectrum argument cannot exclude gauge-mediated constant-background 000112 | terms. 000113 | 000114 | 4. What the original variation can actually constrain 000115 | The actual inner fluctuation is 000116 | 000117 | D_A=D_F+A+epsilon' J_F A J_F^-1, 000118 | A=sum pi(a_i)[D_F,pi(b_i)], 000119 | 000120 | with fixed D_F; verification/v254_inner_fluctuations.py:6-12. The existing 000121 | whole-source calculation identifies its real radial direction as equation (2), 000122 | with all four Yukawa matrices retained as supplied coefficient inputs; 000123 | ACTUAL-ONEFORM-COUPLED-SOURCE-RESPONSE.txt:5-22. 000124 | 000125 | For a frozen spectral functional schematically written as 000126 | 000127 | Gamma_0(r)=Tr f(r^2 H_u)+Tr f(r^2 H_d)+other fixed sectors, 000128 | 000129 | the allowed radial derivative is one scalar condition 000130 | 000131 | d Gamma_0/dr 000132 | =2r[Tr(H_u f'(r^2H_u))+Tr(H_d f'(r^2H_d))+...] =0. (3) 000133 | 000134 | Equation (3) neither gives one equation per singular value nor varies Y_u and 000135 | Y_d independently. The full Higgs quaternion adds its gauge orbit and common 000136 | amplitude, not independent family matrices. A true mass-selection theorem would 000137 | therefore need an original integration or variation rule for D_F/Y itself, or a 000138 | different source equation which determines those fixed coefficients. None is 000139 | present in the reviewed v252/v254 path. QFT7's generic integration variable 000140 | varphi does not by itself identify D_F/Y_u/Y_d as independently varied fields. 000141 | 000142 | 5. Reproducible control and exact scope 000143 | Checker: 000144 | aps_source_review/check_constant_weak_mixing_word.py 000145 | Result: 000146 | aps_source_review/constant-weak-mixing-word-results.json 000147 | 000148 | All nine exact structural checks pass. Normal and python -OO output are byte 000149 | identical. SHA256: 000150 | checker 64b078154918124ce7542c86a7c10e976906f4d16a2cb16c5998e8970b658ae1 000151 | result ed1bc8d7096df8ff625d77c53a11bf440006237870306a166f6898cb36b195af 000152 | 000153 | The gained result is the precise scope correction: the zero-connection finite 000154 | spectrum is mixing blind, while the actual interacting operator is not forced to 000155 | be. The existing original variation supplies a common Higgs direction, not an 000156 | independent Yukawa minimisation. The missing calculation is the coefficient of 000157 | the allowed mixed weak word in the actual full Gamma_ren caller.