Established in scope
Entire original compatibility family leaves generic31 parameters
In the question: Automated construction of operator maps and sources
Entire family within the specified finite v252 form; basis plus linearity, Gaussian integers and exact rational rank;15 controls passed. Does not impose whole TFPT source/action selection or exclude original provenance; no new Lean theorem/ledger status. Binary2^84 subfamily is covered, not individually enumerated.
Read the exact result, assumptions and evidence
Result
At actual v252 all84 independent real directions and their whole real family pass the specified compatibility equations. Actual54 U(3)^6 Lie generators have generic orbit rank53, certified by a nonzero exact53 minor and universal baryonic U(1). Generic quotient dimension31. Enumerating the same compatibility predicate cannot select a unique source. This checks the known31 dimensional finite NCG moduli on the implementation.
Required assumptions
- Whole original v252 family under finite compatibility conditions
Four arbitrary complex3x3 Yukawas and complex symmetric3x3 MR in original full_D, with fixed original algebra,gamma,JF. Impose only Hermiticity,gamma oddness,JF reality and order zero/one. Generic quotient uses only R014 constant U(3)^6 coordinate changes. No whole TFPT source rule, extra fixed clock or action selector assumed.
Original evidence
- SEARCH-OBJECTIVE-AUDIT.txt lines 1–134
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SEARCH-OBJECTIVE-AUDIT.txt
44e20007ac710b056c9ba82c80763750c68ee77144e8a67ff6174c5bd286f669
- audit_full_candidate_space.py lines 1–112
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/audit_full_candidate_space.py
5441341a0f39824abdc3db85dd1a1575514277847f986d1965e891c38f257e68
- SEARCH-OBJECTIVE-AUDIT.json lines 1–186
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SEARCH-OBJECTIVE-AUDIT.json
b3ec34320bc70c38921a6274bdfbd47651e47e81f7f90f3a052772f2c34ade46
finding:actual-v252-entire-compatibility-family-has-generic31-dimensional-quotient