TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt
Original file SHA-256: 07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9
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 | THE EXISTING WHOLE F5 SOURCE SUPPLIES AN ACTUAL REVERSE q/p HOM KERNEL
000002 | Independent bounded original-source/operator review, 30 October 2026.
000003 | No new kernel, independent q/p species, state, reader or Atlas mutation.
000004 | 
000005 | VERDICT
000006 | The whole given Cauchygraph and the proved geometric source transport DO
000007 | provide a canonical reverse-Hom comparison kernel. Its same-face q/p
000008 | blocks are the original smoothing cross-face kernel X_q=(2cosh(ell h_q))^-1
000009 | followed by the inverse geometric map. This is a genuine positive source
000010 | connection, with fixed endpoint, spin and coefficient factors. It is not
000011 | a freely fitted dual character or an additional common CAR covariance.
000012 | 
000013 | The resulting two-field responses are computable in the given source.
000014 | Their promotion to the original structural Yukawa or closed CP reader is
000015 | a distinct operator statement. The whole C3 image also gives a decisive
000016 | test for any proposed rho insertion, stated below with the TOTAL Hom action.
000017 | 
000018 | 1. Use the entire already given source and its actual geometric map
000019 | Let H_q and H_p be the full charged boundary coefficient spaces on one face,
000020 | including all actual finite slots. Put K_q=H_q+H_q and K_p=H_p+H_p.
000021 | The existing charged covariance is
000022 |   G_q=[[A_q,X_q],[X_q,I-A_q]],
000023 |   A_q=(I+exp(-2ell h_q))^-1, X_q=(2cosh(ell h_q))^-1. (1)
000024 | The symbols A_q here denote the graph occupation, not the differential
000025 | connection in h_q. No occupied or unoccupied quarter modes are discarded.
000026 | 
000027 | The proved whole source transport has the form
000028 |   J:K_q -> K_p, J=Swap tensor j,
000029 |   j=i0 gamma_F F_R R_x, j h_q j^-1=-h_p,
000030 |   J G_q J*=G_p.                                       (2)
000031 | Its actual G/W frame factors, quarter carry, C_faces and closed transported
000032 | domain are already proved. They are reused, not replaced by a fiber matrix.
000033 | 
000034 | There is consequently ONE specified reverse comparison operator
000035 |   B_qp=G_q J*:K_p -> K_q.                             (3)
000036 | Its blocks are exactly
000037 |   B_qp=[[X_q j*,A_q j*],[(I-A_q)j*,X_q j*]].          (4)
000038 | In particular B_qp^(00)=B_qp^(11)=X_q j*. The geometrical face swap in J
000039 | is essential: it is why these components are the original crossing
000040 | coherence, rather than a newly postulated mixed occupation.
000041 | 
000042 | 2. Actual kernel composition in the G/W charts
000043 | On regular lifted arcs write the ALREADY FIXED maps as W_q,W_p. Their
000044 | pointwise factors include 3^-1/2 sqrt(pi'), the explicit G^-1, and the
000045 | original spin phase, metric and analytic continuation. Define
000046 |   Gtilde_q=W_q,faces G_q W_q,faces*,
000047 |   Jtilde=W_p,faces J W_q,faces*.
000048 | The entire transported reverse kernel is thus exactly
000049 |   Btilde_qp=Gtilde_q Jtilde*=W_q,faces B_qp W_p,faces*.
000050 | For boundary variables u,v and their given half-density measures,
000051 |   Btilde_qp^(ij)(u,v)
000052 |    =sum_k integral Gtilde_q^(ik)(u,t) Jtilde^(jk)(v,t)* dt. (5)
000053 | For the geometric local spin pullback in Jtilde, the integral evaluates to
000054 |   Gtilde_q^(i,1-j)(u,R^-1 v) jtilde(v)*,              (6)
000055 | with the actual pullback half-Jacobian in jtilde. Equation (5), rather
000056 | than a bare coefficient matrix, fixes all endpoint and density factors.
000057 | The reverse kernel maps the p fiber at v to the q fiber at u. It does NOT
000058 | mean that the p packet is the second independent radial face.
000059 | 
000060 | On the charged conjugate slots the complete covariance is I-bar(G_q).
000061 | Its reverse comparison is (I-bar(G_q))bar(J)*; the same-face component
000062 | is -overline(X_q j*). This is fixed by T_faces and retains the entire
000063 | selfdual source. An ordinary trace over normal components is not silently
000064 | identified with a charged neutral-field observable.
000065 | 
000066 | 3. Why (3) needs no new joint state
000067 | For the convention omega(a*(f)a(g))=<g,G_q f>, put the p notation for the
000068 | SAME field equal to a_p(g)=a_q(J* g). Then its cross matrix element is
000069 |   omega(a_p*(f)a_q(g))=<g,G_q J* f>.
000070 | The whole block of such comparisons is positive, but its CAR metric on
000071 | K_q+K_p is [[I,J*],[J,I]], not diag(I,I). In the ACTUAL source take any
000072 | nonzero v in Ran(G_q). The cross block acts on (v,Jv) with eigenvalue2.
000073 | It cannot be called a covariance of two independent CAR copies with
000074 | identity metric. Quotienting the
000075 | redundant labels gives exactly the old one-source field space. No new
000076 | Gaussian premise or common state is being inferred from a rectangular map.
000077 | 
000078 | 4. Pairing with the actual K-valued mu, without losing a weight
000079 | RHO-DUAL-COEFFICIENT-HOM-REVIEW.txt proves
000080 |   mu in K_C tensor Hom(Fq,Fp)
000081 | using the original normalized beta:(L_a)^2 -> O. This is now paired with
000082 | the actual reverse Hom in (5). At matched endpoints the coefficient part
000083 |   tr_Fp(mu(u) B_qp(u,u))                              (7)
000084 | is well typed: the intermediate Fq and Fp fibers cancel in the right order.
000085 | It still has the displayed differential/spin-density weight. It is not
000086 | automatically a dimensionless scalar simply because the Hom trace exists.
000087 | 
000088 | Use the GIVEN boundary half-density pairing and the original tangent or
000089 | Clifford contraction of the insertion being evaluated. For example, in a
000090 | fixed arclength trace chart mu|boundary=mu_tau ds; a neutral scalar-current
000091 | reader uses mu_tau, whereas the boundary Clifford product N c(mu) uses
000092 | i0 Z mu_tau (or its specified selfadjoint normalization). These are different
000093 | operators. The source's N, c and metric determine their factors when that
000094 | reader is specified. This review neither chooses between them nor treats
000095 | the raw K-valued mu as a dimensionless multiplication operator.
000096 | 
000097 | Denote an actually specified contraction H_q -> H_p by M_mu. With bounded
000098 | smearing on regular arcs the given same-face response is the genuine
000099 | finite number
000100 |   A_mu=Tr_Hp(M_mu X_q j*)=Tr_Hq(j* M_mu X_q).          (8)
000101 | Here X_q is trace class for the existing one-dimensional elliptic h_q with
000102 | smooth bounded finite coefficients; its exponential spectral decay proves
000103 | this analytically. Unitary j and W preserve trace class. The regular-arc
000104 | statement suffices without assigning an unproved global multiplier domain
000105 | to a new reader at branch vertices. If that reader's transported closed
000106 | domain is already supplied, use that domain, with no new extension choice.
000107 | The complete boundary contraction must use (5) and the given pairing, so
000108 | no square-root Jacobian, conjugate spin factor or endpoint is omitted.
000109 | 
000110 | For the WHOLE actual mu, do not replace that qualification by a bounded
000111 | multiplier claim or select new cutoffs. At an original ramification point
000112 | z-z_j~u^3 its flat differential is generically a nonzero constant times du.
000113 | The actual base tangent coefficient consequently has behavior
000114 |   m_mu~u^-2~|theta-theta_j|^-2/3.
000115 | The two W half-form factors cancel in the multiplication conjugacy; they
000116 | do not remove this norm singularity. This coefficient is L1 but generically
000117 | not L2. Multiplication by it after a smoothing operator need not be an L2
000118 | operator if the output is nonzero at the mark. Thus (8) is NOT an automatic
000119 | Hilbert-space trace for the complete unsmeared original insertion.
000120 | 
000121 | The original smooth crossing kernel nevertheless supplies its finite
000122 | DIAGONAL FORM PAIRING, with no newly selected smearing:
000123 |   A_mu^form=integral tr[m_mu(theta)
000124 |                   (X_q j*)(theta,theta)] dtheta.       (8a)
000125 | The L1 singularity and bounded smooth kernel prove absolute local
000126 | integrability at all four marks. The coefficient metric and spin factors
000127 | are the ones in (5), not a Euclidean raw Fuchs row norm. This is a typed
000128 | source-kernel form response. A physical unbounded CAR composite or an L2
000129 | trace-class realization still has to use the actually given domain rule;
000130 | it is not supplied by calling the integrable diagonal form an operator.
000131 | 
000132 | 5. The TOTAL cubic test of the proposed response
000133 | The actual coefficient descent has delta_q=Pc,q c*, delta_p=Pc,p c*,
000134 | with delta_q W_q=W_q, delta_p W_p=W_p. The map J intertwines them and
000135 | the transported covariance commutes with them. The typed Hom actions are
000136 |   delta(M)=Pc,p (c*M) Pc,q^-1       for M:Fq -> Fp,
000137 |   delta(B)=Pc,q (c*B) Pc,p^-1       for B:Fp -> Fq.    (9)
000138 | Their intermediate factors cancel in the trace. These directions must
000139 | not be interchanged. They include all coefficient signs, not only a naked
000140 | geometrical differential or a scalar native family-center phase.
000141 | 
000142 | Consequently, if an insertion M_chi has character chi under this FULL
000143 | natural action and its tangent/Clifford contraction is covariant, then on
000144 | the given test domain its compression satisfies
000145 |   W_p* M_chi W_q=chi W_p* M_chi W_q.                  (10)
000146 | For the complete singular multiplier this equation is an identity of its
000147 | integrable forms, not an unproved L2 operator identity. For chi!=1 that
000148 | form compression is zero. Averaging the three sheets keeps only
000149 | (M+delta M+delta^2 M)/3. Since J and X_q are equivariant, the whole form
000150 | pairing (8a), or (8) when its stronger domain premise holds, has the same
000151 | selection. This does not require adding a cutoff to the original source.
000152 | 
000153 | The calibration to the ORIGINAL lift is concrete. The normalized f_a and
000154 | beta in the Hom report obey c*f_a=f_(a-1), so the square trivializations
000155 | carry no extra cubic phase. Applying the old R product map twice gives
000156 | exactly this c pullback on both coefficient ends. Its two spin-central
000157 | minus signs cancel. Changing from (L0,L1,L2) to G's actual (L0,L2,L1)
000158 | order only conjugates the coefficient matrices. Thus c=R_V^2 on the
000159 | actual Voff product representation is the natural Hom action in (9),
000160 | including its differential factor. The Pc factors express that action;
000161 | they are NOT an extra second multiplication of its character.
000162 | 
000163 | Hence the rho line has chi=rho^2=omega under the full action. Provided
000164 | the proposed boundary reader really intertwines that SAME action, (10)
000165 | annihilates its insertion in the fully descended source. This is a
000166 | testable condition, not an assumption that every reader has that action.
000167 | The two c orbits on the six off-diagonal products have length three, so
000168 | their invariant space has rank2. The total mu family also has invariant
000169 | components; this does not annihilate the full family, its norm or the
000170 | whole F5 kernel.
000171 | An additional compensating ACTUAL reader/endpoint leg, a marked open arc,
000172 | or a different original sewing consumer changes this test. A reverse Hom
000173 | frame by itself is not such an extra selected character: it is already
000174 | included in (9). No exclusion of all physical rho channels follows.
000175 | 
000176 | 6. Compare the actual original sewing and original output consumer
000177 | Directly read fullv21 introduction:198-205,225-251 and its seam appendix
000178 | 006:346-366,007:1-22. They prescribe FOUR cut pieces C1,C2,Gamma_+,Gamma_-,
000179 | APS on C1,C2, and a unitary phase U_Gamma=e^(i theta) on the seam pair.
000180 | The seam operation is real original data. These passages do not give the
000181 | specific trace formula identifying Gamma_+/- with the two F5 faces and
000182 | the q/p R-related endpoints, including their coefficient/spin frames.
000183 | The appendix's U_Gamma^2=I can mean the WHOLE two-way matching, whose
000184 | return uses the inverse unitary; it does not alone prove a pointwise
000185 | angular reflection or identify the bare multiplier with an involution.
000186 | 
000187 | At fixed ungauged endpoint labels, j* M_mu is supported on the R graph,
000188 | whereas the actual original finite one-form qM is multiplication on the
000189 | diagonal. A nonzero test field in an arc disjoint from its R image detects
000190 | this difference immediately. This excludes their DIRECT equality in those
000191 | labels. It is no general locality obstruction: original seam gluing can
000192 | identify the two arcs, and eliminating the bulk can turn a local variation
000193 | into a nonlocal boundary response. Both effects must use their original
000194 | endpoint/Poisson maps, not a new arbitrary p species or fitted kernel.
000195 | 
000196 | The first concrete equality to check for such a seam realization is
000197 |   T_- psi(theta)=U_Gamma(theta) F_Gamma(theta)
000198 |                     T_+ psi(b_Gamma(theta)),        (11)
000199 | with T_+/- the actual original trace maps. Comparing its b_Gamma and
000200 | F_Gamma with (5)-(6) decides whether (8) is a local insertion on the glued