TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MU-CURRENT-DZ-FINITE-INSERTION-REVIEW.txt
Original file SHA-256: e421b635bad88784b461c517f85d3b7c0ea90e2c673c92a9a979f1a14072fa06
Inclusive original lines: 1-62
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 | ACTUAL ORIGINAL EVALUATION: CURRENT OUTPUT, dz READER AND FINITE HIGGS SLOT
000002 | Independent bounded source review, 30 October 2026.
000003 | No new B, state, model, source selection, Atlas write or original edit.
000004 | 
000005 | VERDICT
000006 | There IS a concrete original weak-component insertion, not just a matching
000007 | dimension. The weak part of the existing bar5 current coefficient gives
000008 | the standard Higgs doublet and its conjugate, and the original finite
000009 | one-form evaluates it to nonzero v252 matrix entries with the right
000010 | SU(2), hypercharge and grading. The exact formulas are below.
000011 | 
000012 | The original product rule also distinguishes that finite insertion from
000013 | the central c(dz) insertion. It does not identify an arbitrary geometric
000014 | mu_ab or a root current with the fixed Yukawa matrix input. The next test
000015 | is the concrete common-Higgs/Yukawa matrix relation in section4, rather
000016 | than a new common state or a search for a missing O fermion.
000017 | 
000018 | 1. What the actual current dictionary already supplies
000019 | Read compiler-current-product-20260919/current_bracket_dictionary.py and
000020 | its original-generated .txt. The dictionary imports the original
000021 | v1_e8_glue roots and the v498 Chevalley/Affine definitions (py:109-167),
000022 | fixes the carrier/family phases by actual root actions (185-240), and
000023 | derives, rather than just names,
000024 |   [C_a,X_(i,b)]=Y_(i,a wedge b), a!=b,
000025 |   [C_a,X_(i,a)]=0.                                    (1)
000026 | The exact root output and reverse sign are checked at242-263. The whole
000027 | SU(5) and A3 action is checked at265-295. The output is
000028 |   bar5 tensor Lambda^2(4),
000029 | with thirty distinct complex root outputs, plus their compact adjoints.
000030 | These are actual bosonic affine E8_1 currents in the GIVEN compact-adjoint
000031 | vacuum. The source's own .txt:67-70 expressly does not derive a raw seam
000032 | insertion or physical matter selector. No new execution was needed here.
000033 | 
000034 | 2. The original Clifford reader has a definite, restricted operator value
000035 | Use the already whole F5 source
000036 |   D=N partial_r-i0 S partial_x+Z Phi,
000037 |   N=[[0,-1],[1,0]], Z=diag(1,-1), S=NZ,
000038 | and the original cylinder coordinate z=exp(r+ix). Thus
000039 |   c(dz)=z(N+S),
000040 |   -N c(dz)=z(I+Z) tensor I_F.                         (2)
000041 | For E v=(P_gamma,+v,i0 P_gamma,-v), its charged evaluation is
000042 |   E*[-N c(dz)]E=2 M_z P_gamma,+.                     (3)
000043 | The reader contains its actual normal and finite-grade projection. It is
000044 | not an unspecified scalar multiplier on all96 finite labels. In
000045 | particular a central coordinate form contains I_F, not a new family Hom
000046 | matrix or the thirty current coefficients from (1).
000047 | 
000048 | The original product one-form formula is precise:
000049 |   (f tensor a)[D_M tensor I+Gamma_M tensor D_F,g tensor b]
000050 |    =f c(dg) tensor ab+fg Gamma_M tensor a[D_F,b].      (4)
000051 | For a=b=I the second term vanishes. For the actual Higgs witness below,
000052 | ab=0, so the first term vanishes. These are two evaluated directions in
000053 | the SAME original calculus; a coefficient map between them has to satisfy
000054 | (4), not follow just from the existence of dz and a current.
000055 | 
000056 | 3. Positive exact weak-component map into the actual finite one-form
000057 | In the original marked P2 weak basis (w1,w2), the two weak coefficients
000058 | of bar5 form bar2 with hypercharge -1/2. Write them t=(t3,t4). With the
000059 | given SU(2) volume tensor epsilon=[[0,1],[-1,0]],
000060 |   tilde H=epsilon t=(t4,-t3), H=bar(t)=(bar(t3),bar(t4)).
000061 | Here H is a fundamental doublet with Y=+1/2 and tilde H has Y=-1/2.
000062 | The original quaternion is exactly