TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE29-CHIRAL-FINITE-REVIEW.txt
Original file SHA-256: 3446a9b90d1cbc7bd558c9b860bf10f8822e56cfce2169cab40423b29f095059
Inclusive original lines: 1-200
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 | 
000004 | Scope
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 | [OMITTED: non-scientific conversation or execution metadata]
000013 | 
000014 | VERDICT
000015 | 
000016 | The proposed Yukawa formula is correct.  The proposed Majorana formula is
000017 | wrong by one power of omega.  For
000018 | 
000019 |   D=omega^2 S,  S=diag(1,-1,1),  omega^3=1,
000020 | 
000021 | and the proposed chiral continuation, the exact v252 result is
000022 | 
000023 |   Y'_f = omega S bar(Y_f) S,
000024 |   M'_R = omega^2 S bar(M_R) S.                         (1)
000025 | 
000026 | The correction does not destroy the proposed torus absorption.  It makes its
000027 | mechanism precise.  After the family sign S is removed, the actual Spin(10)
000028 | weight pattern from lambda_5 together with the stated common A3 family shift
000029 | acts on all Yukawas by omega^2 and on the Majorana term by omega.  Therefore it
000030 | maps the corrected pair (omega bar(Y_f),omega^2 bar(M_R)) exactly to
000031 | (bar(Y_f),bar(M_R)).  Lambda_5 alone does not do this.  The A3 shift is
000032 | essential.
000033 | 
000034 | This is an exact finite matrix identity in the displayed v252 field chart.  It
000035 | is still conditional as an original K/clock equivalence because the proposed
000036 | K mark identification is independently false in the current line ordering,
000037 | and the complete v252 to E8 weight dictionary is being checked separately.
000038 | 
000039 | 1. THE MAJORANA BLOCK FIXES THE PHASE
000040 | 
000041 | The original constructor is
000042 | 
000043 |   Phi=[[S_Y,T_MR],[T_MR^*,bar(S_Y)]],
000044 | 
000045 | where T_MR is the top right map from particle nu_R to antiparticle nu_R.  Let
000046 | D_K act by
000047 | 
000048 |   D on particle L and antiparticle R,
000049 |   bar(D) on particle R and antiparticle L.
000050 | 
000051 | For the finite coefficient part of K_E=D_K kappa P_E one therefore has
000052 | 
000053 |   Phi^K=D_K bar(Phi) D_K^*.
000054 | 
000055 | On a particle L to particle R Yukawa block this gives
000056 | 
000057 |   D bar(Y_f) (bar(D))^* = D bar(Y_f) D^T
000058 |                          = omega S bar(Y_f) S.
000059 | 
000060 | On the particle nu_R to antiparticle nu_R Majorana block it gives instead
000061 | 
000062 |   bar(D) bar(M_R) D^* = bar(D) bar(M_R) bar(D)^T
000063 |                        = omega^2 S bar(M_R) S.
000064 | 
000065 | The second formula is forced by the actual position of T_MR.  Reusing the
000066 | Yukawa row and column types for this block produces the candidate's erroneous
000067 | common omega.
000068 | 
000069 | A targeted replay imported verification/v252_full_finite_triple.py and used
000070 | deterministic Gaussian integer matrices with seed 2929.  It found
000071 | 
000072 |   ||Phi^K-Phi(equation (1))|| = 3.26e-14.
000073 | 
000074 | The same calculation with the candidate's omega Majorana formula differs by a
000075 | macroscopic nonzero norm.  This is a structural block error, not numerical
000076 | roundoff.
000077 | 
000078 | 2. KO6 AND THE COMPLETE F5 OPERATOR
000079 | 
000080 | The chiral diagonal itself is consistently typed on the v252 coefficient
000081 | space:
000082 | 
000083 |   D_K bar(D_K)=I,
000084 |   [K_E,gamma_F]=0,
000085 |   [K_E,J_F]=0,
000086 |   K_E^2=I,
000087 | 
000088 | with J_F=K_swap kappa.  Thus the transformed coefficient still satisfies the
000089 | original KO6 reality relation.
000090 | 
000091 | For the full F5 chart use the existing data
000092 | 
000093 |   Gamma=Z tensor gamma_F,
000094 |   Ical=i Gamma,
000095 |   C0=i N tensor I_96,
000096 |   B_Phi=Z tensor A-S_normal tensor Phi.
000097 | 
000098 | Because K_E is antiunitary and commutes with Gamma,
000099 | 
000100 |   K_E Ical=-Ical K_E,  K_E C0=-C0 K_E.
000101 | 
000102 | Consequently
000103 | 
000104 |   Jcal_E=Ical K_E
000105 | 
000106 | is a NEW antiunitary involution which commutes with C0 and the oriented face
000107 | operator and satisfies
000108 | 
000109 |   Jcal_E B_Phi Jcal_E^-1=B_(Phi^K),
000110 |   Jcal_E G(B_Phi) Jcal_E^-1=G(B_(Phi^K)).              (2)
000111 | 
000112 | In the charged chart E(v)=(P_+v,iP_-v), the pullback is
000113 | 
000114 |   j_E=i gamma_F K_E,
000115 |   j_E h_Phi j_E^-1=h_(Phi^K).
000116 | 
000117 | Since j_E is antiunitary, the corresponding circle identity is
000118 | 
000119 |   j_E exp(i t h_Phi) j_E^-1=exp(-i t h_(Phi^K)).       (3)
000120 | 
000121 | Equations (2) and (3) are source family covariance.  They do not turn K_E
000122 | into the physical CAR/OS reflection and do not give a same Phi symmetry for
000123 | generic complex controls.
000124 | 
000125 | The independent targeted F5 replay gave, at floating precision,
000126 | 
000127 |   ||K_E^2-I||                 = 2.18e-15,
000128 |   ||[K_E,gamma_F]||           = 0,
000129 |   ||[K_E,J_F]||               = 0,
000130 |   ||Jcal_E^2-I||              = 3.08e-15,
000131 |   ||[Jcal_E,C0]||             = 0,
000132 |   B covariance residual       = 1.54e-15,
000133 |   charged chart residual      = 0,
000134 |   h covariance residual       = 1.09e-15.
000135 | 
000136 | 3. THE ACTUAL SPIN(10) TORUS PATTERN
000137 | 
000138 | The original weight source v109 constructs the chiral spinor as the sixteen
000139 | weights (epsilon_1,...,epsilon_5)/2 with even sign parity.  In the standard
000140 | even exterior chart, for an even subset A of {1,...,5}, the lambda pairing is
000141 | 
000142 |   P(A)=sum_(i in A) lambda_i - (1/2)sum_i lambda_i.
000143 | 
000144 | For
000145 | 
000146 |   lambda_5=(1/6,1/6,1/6,1/2,1/2)
000147 | 
000148 | the six Standard Model weight classes have the following values:
000149 | 
000150 |   nu^c : -3/4        empty subset,
000151 |   u^c  : -5/12       two colour indices,
000152 |   Q    : -1/12       one colour and one weak index,
000153 |   e^c  :  1/4        two weak indices,
000154 |   d^c  :  7/12       four indices, missing colour,
000155 |   L    :  1/4        four indices, missing weak.
000156 | 
000157 | Add the common A3 family shift +1/12 on the selected family triplet, with
000158 | -1/4 on the fourth slot so that the A3 trace remains zero.  Relative to Q the
000159 | resulting phases are exactly
000160 | 
000161 |   Q:0,
000162 |   u^c,d^c:-1/3,
000163 |   L,e^c,nu^c:+1/3                         modulo 1. (4)
000164 | 
000165 | Thus the corresponding complex linear unitary T in the v252 particle chart
000166 | acts as
000167 | 
000168 |   Q_L:1,  L_L:omega,
000169 |   u_R,d_R:omega,  e_R,nu_R:omega^2,
000170 | 
000171 | and by conjugate phases on antiparticles.  Direct block multiplication gives
000172 | 
000173 |   T Phi(Y_f,M_R) T^* = Phi(omega^2 Y_f,omega M_R).     (5)
000174 | 
000175 | The common A3 shift is not cosmetic.  Lambda_5 without it gives factor -1 on
000176 | both Y_f and M_R.  Its opposite contributions to Dirac and Majorana bilinears
000177 | are what change these into the two different factors in (5).
000178 | 
000179 | Let L_S apply S to the three family slots on particles and antiparticles.
000180 | Combining (1) and (5) yields the exact identity
000181 | 
000182 |   T L_S Phi^K L_S^* T^*
000183 |      = Phi(bar(Y_f),bar(M_R)).                         (6)
000184 | 
000185 | The v252 replay of (6) gave residual 3.12e-14.  Normal and Python -O outputs
000186 | were byte identical, SHA256
000187 | 0aa983be7cfb6a5b2ddcfb7a8a1ce998a2d4c09dcd5ce9182940112b1faf8b00.
000188 | 
000189 | 4. WHAT EQUATION (6) DOES AND DOES NOT ESTABLISH
000190 | 
000191 | [OMITTED: non-scientific conversation or execution metadata]
000192 | [OMITTED: non-scientific conversation or execution metadata]
000193 | [OMITTED: non-scientific conversation or execution metadata]
000194 | 
000195 | It does not by itself prove that T L_S is an allowed element of the original
000196 | marked K action.  The candidate identifies its S with iota_mq(-I5), but the
000197 | actual G column order is (L0,L2,L1).  The independent first K mark review
000198 | shows that iota_mq(-I5) puts the minus sign on the wrong line and has a
000199 | different commutator with the quarter coefficient.  Therefore the statements
000200 | "D_K lies in K", "it commutes with Q4 and M_q", and "all marks are preserved"