Established in scope
Separable normal real maps yield existing deck and typed quarter transport
In the question: Automated construction of operator maps and sources
Analytic coefficient/domain result with46 actual controls. Not every96 antiunitary, physical OS reflection or archived inv/Gamma dictionary is classified.
Read the exact result, assumptions and evidence
Result
Exactly four normal real types in the stated separable product ansatz. Their product JS JR is the existing Clifford deck, old linear and new antilinear. Scalar quarter shifts violate J-oddness and map to the existing inverse-holonomy source rather than an endomorphism of the same periodic bundle.
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.
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
finding:separable-normal-real-maps-compose-to-given-deck-and-quarter-image