TFPT scientific source excerpt Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt Original file SHA-256: 62a9eeb4519b59d4514445f9d4dd5d2059e29179956a4c97ec94b7bae9ae3094 Inclusive original lines: 162-207 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. 000162 | 5. Original charged seam acts on the full density/geometric field products 000163 | 000164 | Use the already derived internal charged character v=(0^5,1/2^3). 000165 | The SAME original M gives t=M^T v=(1/2,1/4,0,-1/4)^2. Its one-particle 000166 | CAR phases are [-1,i,1,-i]^2, or u_r=-i^(-r). Therefore EXACTLY 000167 | t_v J_m t_v^-1=i^m J_m, 000168 | t_v Lcal_m^alpha t_v^-1=i^m Lcal_m^alpha. 000169 | Products carry the total Fourier degree, with all OPE/contact terms; 000170 | the central terms have total degree0, so the character respects them. 000171 | 000172 | The known global identity is retained on EVERY charge sector: 000173 | t_v=exp(-4pi iK_alpha) exp(i pi(1+alpha/2)Q)=(-1)^Q W_alpha^-1, 000174 | W_alpha=exp(4pi iK_alpha)exp(-i pi alpha Q/2). 000175 | Indeed, with original residue charges p and oscillator level N, 000176 | t.p-[-2K_alpha+(1/2+alpha/4)Q] 000177 | =2N+sum_k p_k^2-Q+sum_(k=4..7)p_k is integer. 000178 | Odd CAR parity must NOT be deleted on the full CAR; it disappears only on 000179 | the even source. The internal order4 character is still not the original 000180 | charged quarter holonomy. Its time/charge relation does not physically 000181 | compensate that holonomy or prove a newly autonomous clock. 000182 | 000183 | 6. Complete seam-graded energy response does not yield a sharp3+2 000184 | 000185 | Use ALL actual positive-mode density response matrices G_m, m=1,...,32, 000186 | already independently computed on the full five inputs, both quarters. 000187 | The original seam fixes four characters, without fitting a profile: 000188 | G_rho=sum_(1<=m<=32,m=rho mod4) G_m, rho=0,1,2,3. 000189 | Exactly sum_rho G_rho=32 B4, with B4 the ACTUAL source input metric. 000190 | All four G_rho are positive definite (rank5) in BOTH quarters, independently 000191 | checked by exact Gaussian-rational Sylvester minors. So for the normalized 000192 | mathematical response effects E_rho=(32B4)^-1/2 G_rho (32B4)^-1/2, 000193 | 0