TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/FUCHS-FRAME-INDEPENDENT-TRACE-REVIEW.txt
Original file SHA-256: b6014bc7ff48a743dd62768e66e307b33e552b95829afeb06355cd5381c690a1
Inclusive original lines: 37-100
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.

000037 | The columns of G are horizontal solution sections of the ORIGINAL connection
000038 |   nabla=d-A(z)dz.
000039 | They are not nonvanishing meromorphic divisor frames of each L_a on C.
000040 | On the unramified sign cover their deck changes are signed permutation
000041 | matrices, unitary for the standard column norm. Thus
000042 |   H(z)=G(z)^(-*) G(z)^(-1)
000043 | is single valued and positive away from the actual singular marks. It obeys
000044 |   H=Psi^(-*) H0 Psi^-1, Psi=G G0^-1,
000045 | and is the explicit invariant flat coefficient metric, up to common scale.
000046 | It is generally NOT the Euclidean norm on the printed ODE row coefficients.
000047 | Finite irreducible monodromy makes this a coefficient-metric determination;
000048 | it does not specify a many-body field state or the physical P1 metric.
000049 | 
000050 | 4. The formerly abstract spin/coefficient trace is now an explicit matrix
000051 | Keep the canonical spin pullback from CANONICAL-BRANCHED-SPIN-PULLBACK.txt.
000052 | In holomorphic half-form frames the actual map on a regular lifted arc is
000053 |   W psi(u)=3^(-1/2) sqrt(pi'(u)) G(pi(u))^-1 psi(pi(u)).      (1)
000054 | The G branch and signed column order are the ones just checked. Its column
000055 | deck signs make the result a section of the actual sum L0+L1+L2; this is not
000056 | an identification of a Kummer function value with a flat fiber value.
000057 | The spin factor carries S0 exactly. In boundary half-density frames replace
000058 | sqrt(pi') by the corresponding unit spin phase times sqrt(|dtheta/dt|).
000059 | Then pointwise norm change and the three-sheet integral give
000060 |   ||W psi||_up^2=||psi||_(base,H)^2.
000061 | The image is the C3-equivariant pullback subspace, not the full ordinary
000062 | rank9 pushforward. This replaces an unspecified coefficient gauge in the
000063 | earlier trace note by an actual algebraic matrix from the original ODE.
000064 | 
000065 | 5. Explicit covariant B and a genuine closed domain, with its input named
000066 | Here G is the analytic branch in the ORIGINAL open interior z disk,
000067 | fixed by the same basepoint continuation used above. H1_NS is glued with
000068 | that SAME interior continuation; no independent extension is selected
000069 | between the four marked points. Another global gauge must carry the
000070 | actual signed coefficient continuation and its domain, not only a matrix
000071 | equality on separate arcs. In that fixed NS coefficient frame put
000072 |   nabla_theta=partial_theta-i z A(z), B_H=-i nabla_theta.
000073 | Writing psi=G c gives exactly
000074 |   B_H=G(-i partial_theta)G^-1.
000075 | Thus on the weighted Hilbert space L2_H, the transported ORIGINAL NS domain
000076 |   D_H={G c:c in H1_NS}
000077 | gives a closed selfadjoint operator, by this unitary coefficient map. No
000078 | claim that the printed raw Euclidean H1 domain equals D_H is justified.
000079 | The four detG zeros occur at the ORIGINAL marks; they cannot be discarded
000080 | from the graph domain merely because they have measure zero.
000081 | 
000082 | Combining (1) with this B_H cancels the Fuchs matrix connection in the
000083 | horizontal line frames. The remaining differential consumer is exactly
000084 |   -i/theta'(t) [partial_t-partial_t log s_spin(t)],
000085 | as in BRANCHED-SPIN-FUCHS-TRACE-DOMAIN.txt. The domain is W D_H. Locally
000086 | the original residue eigenvalues0,1/3,2/3 give raw powers u,u^2,u^3; G^-1
000087 | removes the coefficient factors, while the genuine spin zero u remains.
000088 | The multiplier is also exact: W M_z=M_pi(u) W.
000089 | 
000090 | This provides an explicit original-connection covariant B and its closed
000091 | domain WHEN the existing interior NS trace is the source domain being
000092 | transported. It does not prove that this particular covariant derivative
000093 | is the physical P1 B_Sigma, identify outer circles with Gamma_+/Gamma_-,
000094 | or identify it with the previous constant-coefficient F5 operator. The
000095 | actual quantum insertion, charge, reference and normal trace maps are not
000096 | replaced by a metric calculation. No Phi or state was chosen in this review.
000097 | 
000098 | Sources checked: the actual v117 input above; original September28
000099 | section004:205-290, SHA256
000100 | 574058876ebe23d693a9fce061f68da6fdec63419af78243ac9d457d7858f74b;