TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/primitive_insertions_review/CLAUDE-WORD-REVIEW.txt Original file SHA-256: 17fd1bed6c23cf1aca4673ff4f29c75193c32d0909e241bd25e8840b985cd242 Inclusive original lines: 79-240 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. 000079 | 000080 | (ad_u)^t=-ad_u, (Ad_g)^t=Ad_(g^-1). 000081 | 000082 | For any finite product w of such letters, transpose reverses their order. 000083 | If n letters are adjoint actions and rev reverses all letters and inverts 000084 | each group letter, then w^t=(-1)^n w_rev. Consequently, on ANY subspace 000085 | where the indicated bilinear is evaluated, 000086 | 000087 | B_w(x,y)=K(x,w y), 000088 | B_w(y,x)=(-1)^n B_(w_rev)(x,y), 000089 | Sym B_w(x,y)=K(x,[w+(-1)^n w_rev]y)/2. (1) 000090 | 000091 | This proves the all-orders vanishing of Sym K(x,(ad_h)^(2m+1)y), without 000092 | numerical tests or a vacuum-invariance assumption. If every h lies in g2 000093 | and all group letters preserve the C4 grading, an even number of ad_h 000094 | letters also gives zero on g1 x g1, because K pairs g1 with g3, not g1. 000095 | The latter grade statement is a separate hypothesis from transpose(1). 000096 | 000097 | Equation(1) is a necessary and sufficient coefficient criterion WITHIN 000098 | this explicit bilinear word ansatz, after restricting to the actual input 000099 | fields. Nonpalindromic syntax alone is insufficient: the restricted 000100 | matrix of w+(-1)^n w_rev can still vanish. Even h1!=h3 is insufficient 000101 | for the asserted full structure: h3=2h1 gives 000102 | ad_h1 ad_h2 ad_h3=2 ad_h1 ad_h2 ad_h1, 000103 | whose symmetric bilinear is zero by(1). 000104 | 000105 | Most importantly this is transpose, not a theorem about physical time. 000106 | Different matrices in an ordered product can all be static operators. 000107 | Neither noncommutativity nor the word rev introduces a time parameter, 000108 | reflection-positive physical dynamics, or a map from g1 currents to Weyl 000109 | fermions. The latter is a field-type assumption additional to(1). 000110 | 000111 | 3. CLOCK INSERTION: CORRECT LOCAL FORMULA, CORRECT DEDUPLICATION 000112 | 000113 | For a toral T and eigenvectors x,y with eigenvalues phi_x,phi_y, 000114 | the skew form B_h=K(x,[h,y]) gives exactly 000115 | 000116 | Sym B_(ad_h T)(x,y)=(phi_y-phi_x) B_h(x,y)/2. (2) 000117 | 000118 | This is a real algebraic way to obtain a nonzero symmetric coefficient 000119 | from the available current operators. The factor is not automatically 000120 | a physical Yukawa or a mass. 000121 | 000122 | On g1 the gluequarter kappa is the single scalar i, up to the retained 000123 | orientation convention. Thus c^k=kappa^k sigma^k contributes only sigma^k 000124 | to the eigenvalue DIFFERENCES in(2). For3|k, c^k is scalar on all g1 and 000125 | (2) vanishes for every h. For3 not dividing k, nonzero coefficients require 000126 | that B_h actually connect DIFFERENT sigma eigenvalues. A claim of nonzero 000127 | for every h or every channel does not follow merely from3 not dividing k. 000128 | 000129 | The allowed toral representative b=(-1,-1,-1,0,0,-1,0,0) is compatible 000130 | with the old complete native class[A-C]. No new clock origin is established. 000131 | The color-center conclusion is itself already a finished stronger original 000132 | result[C]: all12 marked native toral thirds commuting with U3xU2 have 000133 | 000134 | b_D5=(a,a,a,0,0), a=1 or2 modulo3, 000135 | b_D3 one of the six signed coordinate vectors modulo3. 000136 | 000137 | For the shorter character proof, a toral element centralizing the fixed 000138 | SU3xSU2 has vector phases from(a,a,a,b,b), modulo toral periods. At order3, 000139 | the vector character(4,3,3) excludes a=0, which would already give6 fixed 000140 | vectors, and forces b=0, a=+/-1/3. The unique order3 lifts compensate the 000141 | shared Spin/family center as in[B,C]. On colorless lepton channels this 000142 | gives a common carrier phase, and family phases with multiplicities2+2. 000143 | That result preserves the original physical subgroup marks; it does not 000144 | identify the family4 with the different Gaussian Cartan4. 000145 | 000146 | 4. THE CORRECT WHOLE-FOUR LEPTON THEOREM 000147 | 000148 | Assume the actual lepton carrier matrix element is fixed, h contains ONE 000149 | g2 insertion, and every diagonal letter acts on its four family indices 000150 | through the SAME two spectral projectors P and Q of sigma, each rank2. 000151 | Products and sums of these letters lie in C P+C Q. Moving diagonal letters 000152 | to the two sides of the one h insertion and symmetrizing gives zero within 000153 | P x P and Q x Q. Therefore, in orthonormal family bases, 000154 | 000155 | Y=[[0,Z],[Z^t,0]], Z a2-by2 complex matrix. (3) 000156 | 000157 | If s1,s2 are the singular values of Z, those of Y are 000158 | 000159 | (s1,s1,s2,s2). (4) 000160 | 000161 | Indeed YY* is block diagonal with blocks ZZ* and Z^t conjugate(Z), 000162 | which have the same singular-value squares. This is an exact algebraic 000163 | pairing result. No rank1 condition on Z follows from the2+2 split. 000164 | 000165 | SMALLEST COUNTEREXAMPLE TO THE EXTRA TWO ZEROS. 000166 | 000167 | Take the actual family clock T=diag(omega,omega,omega^2,omega^2), and a 000168 | family6 coefficient eta=e1 wedge e3+2 e2 wedge e4. This is a single fixed 000169 | vector of Lambda^2 C4, hence a single fixed h in the stated generic g2 000170 | class after fixing its weak carrier component. Set eta13=1,eta24=2, 000171 | eta31=-1,eta42=-2 and all other entries zero. By(2), 000172 | 000173 | Y13=Y31=d, Y24=Y42=2d, d=(omega^2-omega)/2. 000174 | 000175 | Its singular values are |d|(2,2,1,1), and det Y=4d^4!=0. It has no zero 000176 | singular value. Multiplying by the scalar gluequarter changes none of this. 000177 | The bare current coefficient eta remains skew; only the inserted coefficient 000178 | Y is symmetric. This preserves exactly the transpose convention above. 000179 | 000180 | THE SAME WITNESS IN ORIGINAL E8 ROOT COORDINATES. 000181 | 000182 | Let the four family weights be 000183 | w1=(+++)/2,w2=(+--)/2,w3=(-+-)/2,w4=(--+)/2. 000184 | Let original carrier half-spin weights be 000185 | p=(-1,-1,-1,+1,-1)/2, 000186 | q=(+1,+1,+1,-1,-1)/2. 000187 | They have even numbers of minus signs; all(p,w_i),(q,w_i) are actual g1 000188 | half roots. Both carriers are color singlets under the original D5 SM 000189 | embedding. One is a weak lepton component, the other the charged singlet, 000190 | up to the retained particle/conjugate convention. They obey p+q=-e4. 000191 | The two actual g2 Higgs roots 000192 | r13=e4-e6, r24=e4+e6 000193 | neutralize respectively w1+w3=e6 and w2+w4=-e6. All four brackets required 000194 | for eta13,eta31,eta24,eta42 are nonzero. The original cocycle fixes their 000195 | relative antisymmetry. Choosing the two root coefficients with the indicated 000196 | 1:2 magnitudes and inherited phases gives the eta above. 000197 | 000198 | For the claimed b, the full sigma phases on both carrier choices are 000199 | omega for i=1,2 and omega^2 for i=3,4. This follows directly from b.x/3, 000200 | not from replacing the spin/family lift by an independent four-level model. 000201 | Adding adjoint roots with the actual compact-adjoint signs makes h 000202 | selfadjoint; they have the opposite weak carrier charge and do not change 000203 | this fixed lepton channel. Thus a reality condition alone does not restore 000204 | the two claimed zeros. This is a witness in the declared generic full g2 000205 | space, not a claim that P1 has selected its coefficient ratio. 000206 | 000207 | It also refutes the supposed necessity of a NONCOMMUTING sigma insertion: 000208 | both r13 and r24 have b.r=0, hence Ad_sigma h=h and 000209 | [ad_h,Ad_sigma]=0, 000210 | while the symmetric bilinear above is nonzero. The reason is exact: 000211 | word rev contains sigma^-1, not sigma. Commutativity of the two operators 000212 | does not make that word equal to its K-transpose reversal. Thus the first 000213 | invalid implication is already 000214 | not reversal-symmetric => noncommuting => physical time ordering. 000215 | Neither arrow is implied by the proved identity(1). 000216 | 000217 | NARROWER CONTRACTS WHERE THE TWO ZEROS CAN RETURN. 000218 | 000219 | If h is fixed to ONE Higgs root plus its adjoint, this lepton channel can 000220 | have rank Z<=1, giving(m,m,0,0). If a prior Creation30 contract imposes 000221 | further support or coefficient relations, those must be checked in its 000222 | actual constructor before transferring the full g2 witness to it. The 000223 | generic AX451 claim does not contain that narrower hypothesis. 000224 | 000225 | If instead one original tetrahedral family direction is removed, a genuine 000226 | three-family subspace meets the two sigma classes in dimensions2+1. 000227 | Restriction of(3) to that MARKED subspace then has rank<=2 and singular 000228 | values(s,s,0). If padded by the excluded fourth direction the list is 000229 | (s,s,0,0). This is a valid three-family restriction result, not a theorem 000230 | about the whole original four-family module. An arbitrary rotated3-space 000231 | would need its own projector/clock transport and cannot be substituted. 000232 | 000233 | Finally, arbitrary TORAL letters do not mean functions of this ONE sigma. 000234 | An additional original A3 Cartan current can distinguish weights within P 000235 | or Q, even though it commutes with sigma and with SM. For example the Cartan 000236 | direction e6 has family eigenvalues(+,-,+,-)/2. Along with the fixed sigma 000237 | it separates all four family weights. Thus the pairing theorem is about 000238 | the two-projector alphabet. It does not cover all of the existing A3 torus. 000239 | Selecting a particular extra letter as a physical coupling still needs the 000240 | actual source rule; this observation merely prevents an overbroad exclusion.