TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/FULL96-QUARTER-COMPLEMENT-20261102.txt Original file SHA-256: 123835e19c1d3a070c8bdd01422ac0cb3b45f32a134ef44cc46f9f0e2a50965a Inclusive original lines: 1-54 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 | FULL ORIGINAL 96 BLOCK: DIAGNOSTIC QUARTER COMPLEMENT 000002 | 2 November 2026. Fixed-H conditional quasifree source only. 000003 | 000004 | Start with the original v252 finite operator h=p gamma_F-i gamma_F Phi(H), 000005 | its whole Majorana term and C=(1+exp(2 ell h))^-1. The constant-H and 000006 | conditional quasifree premises are exactly those of R062/R090. In the actual 000007 | quark source let R be the same given Yu*Yu eigenvector, eigenvalue y²>0, in 000008 | each of three original colors. For nonzero u=H*H let m=y sqrt(u) and define 000009 | L=(h+p)R/m. Original grading and h²R=(p²+m²)R yield R*L=0, L*L=I3, 000010 | hR=-pR+mL and hL=mR+pL. Thus S=span(R,L) reduces h and all its functional 000011 | calculus, including C. Its orthogonal complement S_perp has dimension 90. 000012 | The induced basis depends on H; it is a change of coordinates, not a new 000013 | source or Yukawa selection. At H=0 use the limiting chosen partner or any 000014 | equivalent reducing decomposition, and do not divide by m. 000015 | 000016 | For the explicitly DIAGNOSTIC second-quantized total particle-number action 000017 | Q_z=z^(N_96), and the even six-mode word W6=a_R1 z^(N_R+N_L) O_R a_R1*, 000018 | the full conditional expectation exactly factorizes 000019 | 000020 | _H = _H det_(S_perp)(I-C_perp+z C_perp). 000021 | 000022 | The ordered local term _H is R090 equation (1). This follows from the 000023 | CAR Fock factorization of the reducing one-particle subspaces and the even 000024 | total degree of the inserted local word. The determinant is the entire 000025 | remaining 90-mode number-phase response of THIS 96-mode conditional state. 000026 | For an unnormalized fermionic trace it is multiplied by its fixed-H partition 000027 | factor det_96(I+exp(-2 ell h)); the latter is not the entire bosonic/fermionic 000028 | Z_adm, its bound reference, eta phase, global sea convention or Z0. 000029 | 000030 | The original unaltered v252 builder with deterministic seed252 structural 000031 | controls, retained nonzero Majorana, p=1/4, ell=1 and H=(0,x) gives: 000032 | x=.5 determinant complement = 1.3438692018171805e-7 i 000033 | x=1 determinant complement = 7.005882509698738e-5 i 000034 | x=2 determinant complement = 0.0023613754470240044 i 000035 | Printed negligible real parts and detailed numeric errors are in the checker. 000036 | The maximum absolute reduction and factorization residual is 1.3e-15; ordinary 000037 | double precision, no interval certification. These numerical Yukawas and H 000038 | values are explicit diagnostic inputs, not physical predictions. The rapidly 000039 | varying factor shows directly why dropping the complement inside an H 000040 | integration changes this diagnostic source: it is not generally a constant 000041 | that cancels before integrating. 000042 | 000043 | The common original time reader is already defined by QFT8 217-253: 000044 | T_s[F]=[tau_s F], ([F],T_s[G])_OS=omega_rel(Theta F tau_s G). The existing 000045 | source review DIRECT-ACTION-TO-WHOLE-TRANSFER-REVIEW.txt gives the source 000046 | intervals and distinguishes this whole-source reader from its source-action 000047 | identification. h is a quarter Fourier/collar block; its real-time unitary 000048 | exponential is not thereby the OS time generator. No separated-time formula, 000049 | global physical quarter, full 96-field CAR identification, dynamic H measure, 000050 | additional vertices, continuum limit, or F1 closure is inferred here. 000051 | 000052 | Reproduce: python3 experiments/theory-contracts/tfpt-unified-source- 000053 | derivation-20261029/aps_source_review/check_full96_quarter_complement_20261102.py 000054 | No new Lean, experimental measurement, verification suite or ledger promotion.