Established in scope
Actual quark-lepton split prevents weak grading uniqueness inference
In the question: Automated construction of operator maps and sources
Original block proof plus integer coefficient and all24 real SM basis controls. Does not change the original gamma, construct a physical countermodel or test the full normal J or Hochschild orientation. Further original orientation data may select the grading.
Read the exact result, assumptions and evidence
Result
Actual v252 preserves quarks(rank72) and leptons(rank24) for all its Yukawa, Majorana and SM algebra blocks and internal J. gamma(2q−I) is another internal KO6-compatible grading, distinct from ±gamma, and yields an additional B-reducing rank96 fibre image when A preserves q. Full M96 irreducibility cannot be inferred from this smaller source class.
Required assumptions
- Actual v252 SM coefficients and internal KO6 structure
Original v252 full_D, rep, grading and Kswap, arbitrary Yukawas and symmetric Majorana, SM connection and quark-preserving momentum. No extra quark-lepton mixing or full normal real structure is assumed.
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
- v252_full_finite_triple.py lines 68–170
Source checked at this snapshot
Original location and fingerprint
verification/v252_full_finite_triple.py
820254440e178430422e50605067775656236602996307f67c9e69124ba5d163
finding:actual-v252-quark-lepton-split-prevents-weak-grading-uniqueness-inference