Established in scope
Actual gauge-real frames leave carrier phase as coordinate freedom
In the question: Automated construction of operator maps and sources
Completeness uses the six original inequivalent irreps and Schur. Extra fixed Phi, connection or clocks require intersecting their stabilizers. Does not derive physical PF.
Read the exact result, assumptions and evidence
Result
All rephased Etheta intertwine the fixed JS and JF. The fixed P2 gauge/grading/real dictionary admits constant U(3)^6 frame freedom, real dimension54, with negative-grade action determined by J. Actual-slot generators preserve all24 left algebra basis elements and therefore the opposite action. These are coordinate equivalences, not additional physical couplings.
Required assumptions
- Given normal-independent product collar, internal KO6 and separable normal antiunitary ansatz. J-odd actual gauge connection and scalar quarter image transport are separate premises and cases.
Given normal-independent product collar, internal KO6 and separable normal antiunitary ansatz. J-odd actual gauge connection and scalar quarter image transport are separate premises and cases.
- Fixed actual v252 left/opposite algebra, graded real P2 gauge representation, gamma and J. Six inequivalent positive-grade irreps with family multiplicity3. Constant coordinate frames are classified, without claiming they fix extra numerical Phi/clock/family operators.
Fixed actual v252 left/opposite algebra, graded real P2 gauge representation, gamma and J. Six inequivalent positive-grade irreps with family multiplicity3. Constant coordinate frames are classified, without claiming they fix extra numerical Phi/clock/family operators.
Original evidence
- B1-NORMAL-REAL-AND-FRAME.txt lines 1–111
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-NORMAL-REAL-AND-FRAME.txt
4af165a08652c4954210a81625dd84f4b7f60c069135db625bfe0ba990d4b903
- check_b1_real_structure.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_real_structure.py
087673fac202066390178c686a5bee453cf75feac4b30548c970ba1ac7700533
- B1-NORMAL-REAL-AND-FRAME.json lines 1–94
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-NORMAL-REAL-AND-FRAME.json
eb5be6318730b7a5b4fa3b74df91610b7a00c58af3a6da7bc451c0b7155617f2
- REVIEW-CLAUDE-P2.txt lines 1–191
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/old_source_embedding/REVIEW-CLAUDE-P2.txt
274bb0ff37dfd8362568de0d6851a1807449f2c2870efe0f0739922a51b4e9d5
finding:actual-gauge-real-frames-leave-carrier-phase-as-coordinate-freedom