TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION-PROOF.txt
Original file SHA-256: 6c7879b6f5c4245dab78dca85c2907e076ee56dd66450970a7967c19b3dceb0d
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 | R068. Whole original graph distinguishes shared color selection from one-face reading.
000002 | 1 November2026, Sitzung036. Mathematical source-operation result; F1 open.
000003 | 
000004 | 1. Actual source and first operation test
000005 | R067 reads the second FACE of the existing full quarter projection
000006 |  G(C)=[[1-C,X],[X,C]], X=sqrt(C(1-C)).
000007 | The two QUARTERS are different mode blocks, not the two faces. Keep both
000008 | quarters at the same H. Reuse the original36-label quark PARTICLE CAR
000009 | subspace, h=p gamma-i gamma Phi(H), C=(1+exp(4pi h))^-1 and its actual
000010 | pi/J color action U(G), G in SU3. It commutes with C, X and h for every
000011 | constant original H and the GIVEN Yukawas. det36 U(G)=(det3G)^12=1.
000012 | The rest of the96er constructor, Majorana and all original fields remain
000013 | in the whole source/weight; they are not additional independent quark CAR.
000014 | 
000015 | Original source qft002 lines12-120 defines on its CARRIER Hilbert space
000016 |  P_sing=(I+Z_c+Z_c^2)/3, Padm=Pprim P_sing PTheta.
000017 | This is a center-neutrality selector, not the Haar SU3 singlet projector.
000018 | The earlier H8/center result is reused, not re-proved. Applying P_sing on
000019 | a carrier, restricting its observable algebra, and postselecting a FACE
000020 | of a CAR source are three different operations unless the actual map
000021 | identifies them. The question is whether the already GIVEN full G can
000022 | be neutral while R067's one-face response is nontrivial. No free projector,
000023 | H measure, normal geometry or extra vertex is introduced.
000024 | 
000025 | The diagonal color lift below is the canonical equivariant lift on the
000026 | TWO COPIES OF THE SAME source fiber in the displayed G chart. It is
000027 | computed directly. Identifying it, or a one-face lift, with the physical
000028 | original carrier selector still needs the original carrier/source map.
000029 | Success: decide the full G operation, including its normalized one-face
000030 | and cross-face words. Stop any inference of a physical Padm identity
000031 | from commutation, dimensions or notation alone.
000032 | 
000033 | 2. Exact entire two-face color response
000034 | At a finite regulator define E=[sqrt(1-C);sqrt(C)]. Then E*E=I and EE*=G.
000035 | The original pure quasifree G state is the filled Slater vector of Ran E.
000036 | For the bounded Fock implementer (exterior action) of diag(U_L,U_R),
000037 |  F_H(U_L,U_R)=det[E*diag(U_L,U_R)E]
000038 |  =det[sqrt(1-C)U_Lsqrt(1-C)+sqrt(C)U_Rsqrt(C)]
000039 |  =det[(1-C)U_L+C U_R]
000040 |  =det U_L det[(1-C)+C U_L^-1 U_R]
000041 |  =Xi_H(G_L^-1 G_R).
000042 | Both U_L and U_R are the existing color action; C commutes with each.
000043 | No mutual commutation of G_L,G_R is assumed. The last Xi is R067's
000044 | one-face response with its original color dictionary and normalization.
000045 | 
000046 | In particular F_H(G,G)=1 for EVERY G in SU3 and every H. At each finite
000047 | regulator the Slater vector is fixed by the diagonal full SU3 action:
000048 | its occupied space transforms by U(G), with determinant1. The invariance
000049 | is of the STATE VECTOR, stronger than the invariance [G,diag(U,U)]=0
000050 | of a covariance. The center selector on this total lift fixes the state.
000051 | A common color operation cannot select H=0 or distinguish its original
000052 | Yukawa-coupled states. This is not an absence of one-face color physics.
000053 |  F_H(I,G)=Xi_H(G), F_H(G,I)=Xi_H(G^-1)=Xi_H(G)
000054 | for this specific particle/hole paired source, where Xi is real positive.
000055 | Thus the free full quarterpair has F(I,Gstar)=1/64 but F(Gstar,Gstar)=1.
000056 | Those are different questions about the SAME source, not conflicting values.
000057 | 
000058 | This equality covers the ENTIRE SU3 x SU3 class. R067's uniform summable
000059 | factor bound applies to G_L^-1G_R and proves convergence of every entire
000060 | mode response, uniformly in H and both group arguments. It also preserves
000061 | the diagonal value1. The finite-regulator vector proof and this scalar
000062 | limit do not alone assert convergence of infinite filled-sea vectors in
000063 | an unspecified ordinary vacuum Fock space. The consistent original CAR
000064 | source and its invariant state have a canonical diagonal symmetry in
000065 | its GNS representation. A bare infinite determinant det U is not used.
000066 | There is no generic cross-H disjointness obstruction forced by this fixed
000067 | one-dimensional constant-H class. For fixed finite H, the exact sign is
000068 |  h_H(p)/sqrt(p^2+Phi_H^2).
000069 | Its difference from sgn(p)gamma has norm O(||Phi_H||/|p|) at large |p|;
000070 | the diagonal correction is O(||Phi_H||^2/p^2). Thermal corrections decay
000071 | exponentially. Thus the fixed finite-dimensional internal block yields a
000072 | square-summable O(1/p^2) bound on the squared Hilbert-Schmidt differences
000073 | of the full G projections for two fixed finite H. This addresses THIS
000074 | constant-H circle class, not arbitrary spatial backgrounds or4D limits.
000075 | No reference denominator is needed to make the scalar comparisons below.
000076 | The counted one-face implementer is not automatically the canonical GNS
000077 | symmetry implementer that fixes the cyclic vector: the latter has its
000078 | partner action on the other face. Retain the actual representation and
000079 | sea prescription if making an operator statement beyond these limits.
000080 | 
000081 | After the first-face particle/hole rewrite, the paired vector is expressed
000082 | in the familiar conjugate/defining color convention. In the original
000083 | G chart BOTH one-particle copies carry the same U; inserting Ubar on one
000084 | copy without also performing this rewrite would alter the operator.
000085 | No new antiparticle, Nambu duplication or physical species is introduced.
000086 | 
000087 | 3. The missing information is in opposite-face correlations
000088 | For t=diag(1,-1,0) in the original color slots, let Q_L,Q_R be its
000089 | second-quantized charges on the two faces. Both conditional means vanish.
000090 | The exact Wick bilinear formula gives
000091 |  K_H=Tr[t^2 C(1-C)],
000092 |  Var(Q_L)=Var(Q_R)=K_H,
000093 |  Cov(Q_L,Q_R)=-Tr[t X t X]=-K_H,
000094 |  Var(Q_L+Q_R)=0.
000095 | Equivalently the joint charge covariance is K_H[[1,-1],[-1,1]].
000096 | For the whole original quark mode tower K_H is exactly R067's
000097 | 4 sum_(a,n,j) s(sqrt((n+a)^2+y_j^2|H|^2)). It strictly decreases with
000098 | |H|^2 if some given quark Yukawa is nonzero. The total charge stays zero.
000099 | Hence the actual source can change its relative correlations while
000100 | preserving total neutrality. This is an exact source coefficient, not a
000101 | local3+1D color flux, Einstein equation or derived spacetime metric.
000102 | 
000103 | Every actually positive normalized COMPLETE H mixture of these whole
000104 | states retains diagonal singlet support at finite regulator and all the
000105 | above normalized diagonal identities; its one-face Xi and K are the
000106 | corresponding SAME-weight integrals. Both conditional charge means are0,
000107 | so no extra variance of conditional means appears. Its general words
000108 | need not be quasifree: retain R054's four-word and R063's tower results.
000109 | No H law is chosen or derived. In a general coupled original action,
000110 | additional fermion vertices, H(x), gauge fields and signed weights need
000111 | the original full consumer rather than this conditional quasifree rule.
000112 | 
000113 | 4. Exact first counterexample to exchanging total and face selection
000114 | Take ONE color-degenerate eigenvalue triplet of the existing source,
000115 | C=c I3, c=1/5 as an exact coefficient control, not a physical H choice.
000116 | Its original full graph is the 3-particle Slater vector of the columns
000117 |  [sqrt(1-c)I3;sqrt(c)I3] in a6-orbital/64-state Fock space.
000118 | It is a diagonal SU3 singlet. Its right marginal has independent color
000119 | occupations c. Consequently
000120 |  omega(U_R(Gstar))=(1-2c)^2=9/25,
000121 |  omega(U_L(Gstar)U_R(Gstar))=1.
000122 | The TOTAL center selects this same vector with probability1. Restricting
000123 | the observable algebra to center-invariant words leaves its right Gstar
000124 | expectation9/25: U_R(Gstar) commutes with the center.
000125 | 
000126 | If instead one POSTSELECTS the right-face number N_R=0 mod3, only its
000127 | empty and fully occupied triplets survive. The selection weight is
000128 |  (1-c)^3+c^3=13/25,
000129 | and its conditional Gstar expectation is1, not9/25. This is an actual
000130 | change of state. It is not a restriction of the same state to invariant
000131 | observables and it is not the total admissibility operation.
000132 | The example is a spectral coefficient factor of the original source.
000133 | It is not a replacement3-mode physical theory or a proposed measure.
000134 | An explicit exterior-algebra/Fock calculation independently checks it.
000135 | 
000136 | For any full one-face source with a genuine Fock-center projection
000137 | P_R=(I+U_R(zeta I)+U_R(zeta^2 I))/3, the exact conditional response is
000138 |  Xi_H^R(G)=sum_(k=0)^2 Xi_H(zeta^k G)/sum_(k=0)^2 Xi_H(zeta^k I).
000139 | For an H mixture the numerator and denominator are integrated BEFORE
000140 | taking their ratio. Equivalently conditional H weights are reweighted
000141 | by omega_H(P_R). Averages of normalized ratios with the old weight are
000142 | wrong. R067's unprojected strict inequality cannot simply be asserted
000143 | for this ratio. No new H scan or postselected monotonicity is claimed.
000144 | Most importantly, the ORIGINAL carrier P_sing has not been identified
000145 | with this P_R. Its name is not a transport rule.
000146 | 
000147 | 5. What the original relative normalization actually does
000148 | Original qft002 lines256-265 and bosonic-relative section lines364-372
000149 | explicitly define Z_rel[J,eta,bareta]=Z_adm[J,eta,bareta]/Z_ref[0,0,0].
000150 | The reference is a fixed, source-independent normalizing denominator.
000151 | For the normalized state of this very contract, any admitted insertion O
000152 | therefore satisfies
000153 |  Z_rel[O]/Z_rel[1]=Z_adm[O]/Z_adm[1].
000154 | This factor cannot turn the1/64 one-face response into the diagonal1,
000155 | repair a mismatched projector, or erase an H dependence of this state.
000156 | It also cannot select the H law. A field-dependent reference inside a
000157 | DIFFERENT S_rel or a joint background variation is a different operation;
000158 | carry its full R043 score/domain/eta/measure terms. No claim is made that
000159 | all TFPT relative objects or all reference operators are constant.
000160 | The conditional reflection-positivity clauses remain conditional. The
000161 | printed proof is not used here to infer positivity of an interacting
000162 | boson/fermion measure from commuting algebra factors alone.
000163 | 
000164 | 6. Consequence and next decisive original arrow
000165 | The preceding F1 test must retain its FACE LABEL and the actual lifted
000166 | source action. A globally neutral full source and a nontrivial one-face
000167 | matter response are compatible, by the exact same original G. This
000168 | removes a false obstruction and rules out using a common color rotation
000169 | or a constant relative denominator as a primitive H selector. It also
000170 | supplies the exact cross-face correlation to test jointly, not a new
000171 | isolated toy source. Existing Y/Flavor/Alpha, E8/clocks, complete words,
000172 | memory, state/time/RP and R035/R037/R043 are preserved.
000173 | 
000174 | There is also an exact representation obstruction to one particular shortcut.
000175 | On the original quark one-particle slots U(zeta I)=zeta I36. On the SAME
000176 | center-neutral STATE sector Z_c acts as I. Any proposed equivariant linear
000177 | embedding T between these representations would obey
000178 |  Z_c T=T U(zeta I), hence T=zeta T and T=0.
000179 | Thus no nonzero such embedding can identify colored quark SLOTS directly
000180 | with center-neutral admissible STATES. In the unchanged96er real pi/J
000181 | representation, applying this one-particle center average retains24 lepton
000182 | slots and kills72 particle/antiparticle quark slots. This is a diagnostic
000183 | of that proposed same-space identification, not the physical Padm action.
000184 | A charged FIELD can instead satisfy Z_c psi Z_c^-1=zeta psi and map
000185 | between center sectors; neutral composite words preserve the neutral
000186 | observable sector. This is consistent with the earlier original H8
000187 | observable/charged-field distinction. The whole G Slater construction
000188 | is an exterior-algebra state representation, not a fundamental one-particle
000189 | embedding, and its neutral paired state does not contradict this result.
000190 | No quark removal or full TFPT inconsistency is inferred. P_F, P_sing,
000191 | one-particle carrier, field operators and state vectors must stay typed.
000192 | 
000193 | Next evaluate the original carrier-to-source intertwiner and the actual
000194 | source insertion in C_Sigma, P_F C_Sigma P_F or Z_adm. It must specify
000195 | which original observable becomes U_L and U_R, how the actual Z_c/Padm
000196 | and retained observable algebra act, and whether H is still conditional
000197 | or integrated. Operator/field, representation, state, domain, norm and
000198 | reference must be transported together. Commutation alone is insufficient.
000199 | The actual relative word must reproduce both R067's one-face response
000200 | and this exact opposite-face correlation; R054 and R063 remain additional