TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/E0-WHOLE-FINITE-SOURCE-TYPE-REVIEW.txt
Original file SHA-256: 495da7fc1f9eb2e78e28834885b0ba1c89158923e121a13c53ac037fdb69e957
Inclusive original lines: 201-259
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.

000201 | fixed.  With W_E the effective coefficient matrix is the identity.  The
000202 | omega Majorana phase is therefore not by itself a physical same-source
000203 | obstruction, and the actual off-diagonal MR also requires the explicit L_S.
000204 | 
000205 | These extra steps are more than a common change of the three Fuchs solution
000206 | columns: V_omega rephases particle and antiparticle sectors oppositely, while
000207 | L_S is generation dependent.  They give a unitary equivalence in the
000208 | commutant of the displayed finite representation.  They are not generated
000209 | by the inner gauge group of the shown A_F.  Indeed an
000210 | inner gauge unitary pi(u)J_F pi(u)J_F^-1 acts trivially on particle nu_R:
000211 | the left factor is lambda and the opposite factor is bar(lambda).  V_t acts
000212 | there by t, so t!=1 cannot be such an inner gauge transformation.
000213 | 
000214 | Whether the original full source admits W_E, or either of its factors, as a
000215 | physical global action compatible with its native K, clock and cut marking
000216 | is a separate original action-menu question.  No SU4, E8 or G31 centre is
000217 | inferred merely from these commutant unitaries.  For generic complex inputs
000218 | W_E leaves the coefficientwise conjugation in (6), so it does not reduce
000219 | Phi^E to Phi.
000220 | 
000221 | 6. VERDICT AND SCOPE
000222 | 
000223 | The smallest decisive test is positive at the family level and negative at
000224 | the generic fixed-background level:
000225 | 
000226 | * the entire original v252 operator, not only a selected channel, has an
000227 |   exact E0 covariance;
000228 | * the existing J_F does not contain the E0 flavour matrix, but it commutes
000229 |   with the actual E0 antiunitary and retains its KO6 role;
000230 | * the full F5 Ical, C0, T_faces and graph G transport without a new state;
000231 | * generic Phi goes to the explicitly reflected Phi^E of (1);
000232 | * real controls can be made same-Phi by the additional W_E=V_omega L_S
000233 |   commutant equivalence; V_omega alone suffices only for S-real controls,
000234 |   and the physical source permission for either factor is still open;
000235 | * the transported circle evolution has reversed parameter.
000236 | 
000237 | This establishes a whole-operator/state/time family transport on the given
000238 | F5 source.  It does not prove a physical P1 insertion, choose the classical
000239 | Yukawa/Majorana background, derive the extra W_E action from the native
000240 | clock, or prove a universal OS symmetry for every Phi.
000241 | 
000242 | Original and reviewed sources
000243 | 
000244 | * verification/v252_full_finite_triple.py:86-168,
000245 |   SHA256 820254440e178430422e50605067775656236602996307f67c9e69124ba5d163.
000246 | * aps_source_review/ORIGINAL-FUCHS-ALGEBRAIC-FRAME.txt,
000247 |   SHA256 3a57907902631b58e0abee61e9a424c3ac03ff7a8fa074cc4d27e3379b406cf3.
000248 | * aps_source_review/FUCHS-FRAME-INDEPENDENT-TRACE-REVIEW.txt,
000249 |   SHA256 b6014bc7ff48a743dd62768e66e307b33e552b95829afeb06355cd5381c690a1.
000250 | * aps_source_review/E0-SPIN-PIN-SEAM-FAMILY.txt,
000251 |   SHA256 c96bdf169e3ecf7e8202ff90f0ab25a1f60ab0f5bb68e2e0456b376527ee470e.
000252 | * aps_source_review/ROOT-E0-FUCHS-REAL-CHECK.json,
000253 |   SHA256 54e950afaee4db9f0b25646ccf65d062d591e7044b881e99737a522c5b0e2e88.
000254 | * graded_boundary_functor/FINITE-COUPLED.txt,
000255 |   SHA256 61d3d524801aff0147d393c518ad554e3ab550271165e2000d9efbf613b90234.
000256 | * graded_boundary_functor/PROOF.txt,
000257 |   SHA256 708dad21942cc00dd56d3348eacee3f0d90ccfc53e3f4987e39ded00ddc70841.
000258 | * graded_boundary_functor/check_finite_typing.py,
000259 |   SHA256 404cd24e04ae86ca95b981c5fc6a728930bbc2579aaefdd22e2bf2da9113f06e.