Established in scope
Universal graded reducing images do not fix the carrier frame
In the question: Automated construction of operator maps and sources
Analytic finite classification with exact dimension4,6,8 and symbolic phase controls. Fibre reduction retains the circle; no physical PF, clock identification or new Lean proof, and no transfer to a smaller SM coefficient class.
Read the exact result, assumptions and evidence
Result
For the full independent graded matrix class the common commutant is span{I,Z⊗gamma}, giving exactly two nontrivial reducing projections of rank dimF. Frames retain unitary freedom; every phase chart E_theta has the same image. The intrinsic odd reader is independent of that chart. Reduction does not select its phase.
Required assumptions
- Full independent finite even and odd coefficient class
Both grading sectors are nonzero; A and Phi independently range over every self-adjoint even and odd matrix. This stronger coefficient class is not asserted to be the original SM source.
Original evidence
- B1-WHOLE-SOURCE-REDUCTION.txt lines 1–183
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-WHOLE-SOURCE-REDUCTION.txt
4e69eb782b67a27e820fdee1f57a6755d4e8674b87c1fcd6242d7e53790e9cb9
- check_b1_whole_source_reduction.py lines 1–132
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_b1_whole_source_reduction.py
d7230cf739c0f0d327c9b8eec369cf42d9b13909cbf06f3c7c0f9d5ef5a7cc65
- B1-WHOLE-SOURCE-REDUCTION.json lines 1–113
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-WHOLE-SOURCE-REDUCTION.json
61b37346a53cf54404153268ff72f69261dc21675fe01e0d73ec309aab917dd6
finding:universal-graded-source-reducing-images-do-not-fix-carrier-frame