Established in scope
Bare C3 kernel class with diagonal readers has a common real frame
In the question: Automated construction of operator maps and sources
Only the specified bare kernel class without additional relative readers or noncommuting actual holonomy words. No general TFPT CP obstruction, Majorana/theta claim or identification with full Pstr. Singular parameters are outside the inverse-square-root domain. Outside the common-real class, twisted contributions in both sectors are not necessary for algebraic CP: invariant Yu and one-sector twisted Yd=I+Pdiag(1,2,i) have Tr([Hu,Hd]^3)=-1440i. This is not an original TFPT mass derivation.
Read the exact result, assumptions and evidence
Result
The same D=diag(1,omega,omega²) conjugates every positive bare H3 and its inverse square root to real symmetric matrices. Real diagonal left/right readers commute with D, so all such Yukawas are simultaneously real and all weak flavor CP-odd invariants vanish. No parameter or genetic search within this fully classified bare class can change the result.
Required assumptions
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
- Bare positive C3 kernel with real diagonal Yukawa readers
For this restricted analytic class only, take the displayed positive circulant H3 with real parameters and strictly positive eigenvalues, and Y_f=L_f H3_f^-1/2 R_f with real diagonal readers. This is not assumed to be the original P1 consumer or full Pstr compression.
Original evidence
- K3-COMMON-PHASE-CP-REVIEW.txt lines 1–75
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/K3-COMMON-PHASE-CP-REVIEW.txt
7e99e250e90dc5e96ca8b02f2f6d1bfacbfe9b02d7c09297f3ac7eee859345d0
- CLAUDE38-GROK39-WHOLE-SOURCE-FIRST-TEST.txt lines 1–83
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE38-GROK39-WHOLE-SOURCE-FIRST-TEST.txt
cb967c0f48af4ff8282fdced8d4f2d67cd90b10734dfe9fa77c3af6e36c991aa
- CLAUDE40-GROK41-FIRST-OPERATOR-REVIEW.txt lines 1–60
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE40-GROK41-FIRST-OPERATOR-REVIEW.txt
017a3816ee0fdf84d682c5956b129871b142481f4d9bf454ce639e51106cdfbc
- ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json lines 1–20
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json
f9d87f9acdf92ae0ef8a3223fdac0ec82f86a1af649aac2819e47eec03cd11d2
finding:bare-c3-kernel-diagonal-yukawas-have-common-real-frame