TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QP-WHOLE-SOURCE-PULLBACK-REVIEW.txt
Original file SHA-256: a933fd30b0295e5461d10643ab4b1ea754acc52624f4ba1d289a14c78cfe861d
Inclusive original lines: 181-224
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.

000181 | are also transported as actual data. A geometrical inversion of an annulus
000182 | additionally sends log|z| to -log|z| and exchanges the two sides. An
000183 | assertion about a full radial collar Dirac realization must retain that
000184 | face/normal exchange; the boundary B identity alone is not an unchanged
000185 | radial-domain symmetry.
000186 | 
000187 | This does not replace the original physical reflection by V. In particular
000188 | the already proved E0 map Jcal_E is antiunitary and has minus-t covariance.
000189 | Here V is linear for Ical and has plus-t covariance. The formulas are two
000190 | different source transports, not a second derivation of the old E0 map.
000191 | 
000192 | 6. DIRECT SMALL CHECK AND ORIGINAL-SOURCE BOUNDARY
000193 | 
000194 | A targeted replay imported the actual v252 constructors without calling
000195 | run(), using complex Gaussian-integer Yukawas and a complex symmetric MR.
000196 | All eight exact array identities passed: K_F gamma K_F=-gamma;
000197 | K_F Phi K_F=bar(Phi); the negative-conjugate target controls; the charged
000198 | h identity; the whole B identity; V E=E K_F; and preservation of Gamma
000199 | and C0. The differential connection and H1 formulas above are analytic;
000200 | they were not replaced by a finite Fourier cutoff.
000201 | 
000202 | [OMITTED: non-scientific conversation or execution metadata]
000203 | [OMITTED: non-scientific conversation or execution metadata]
000204 | [OMITTED: non-scientific conversation or execution metadata]
000205 | [OMITTED: non-scientific conversation or execution metadata]
000206 | [OMITTED: non-scientific conversation or execution metadata]
000207 | [OMITTED: non-scientific conversation or execution metadata]
000208 | [OMITTED: non-scientific conversation or execution metadata]
000209 | [OMITTED: non-scientific conversation or execution metadata]
000210 | 
000211 | Targeted Atlas lookup recovered the original minimal q+p completion and
000212 | the Real-versus-linear-dual distinction. Neither those records nor the
000213 | checked original p reports specify a full coupled96 Phi_p equal to the
000214 | negative transported Phi_q. This is a bounded source finding, not a claim
000215 | that no other repository source can contain it.
000216 | 
000217 | The first further original input is therefore precise: an actual original
000218 | rule associating the full v252 background and its circle connection to
000219 | the q/p source family, with the displayed inversion naturality. If that
000220 | rule gives Phi_p=-transport(Phi_q) and the transported domain/connection,
000221 | the whole arrow above proves the result immediately. Without it one has
000222 | an exact transported image of a supplied background, not a newly derived
000223 | independently specified p source. No arbitrary p control was fitted and
000224 | no existing physical time, state or reflection was declared absent.