Established in scope
Original reconstruction uses the stronger operational seed
In the question: Automated construction of operator maps and sources
Source audit and reuse of the known geometric Green identity. No derivation of fermionic statistics or physical operator from P1/P2. the reviewed source checked against current Ludewig/Roos primary text1909.04212v4: algebraic twist also needs closed harmonic determinant factor; published2020 coherence proof correction is in v4. This is no new original source derivation or established error in direct TFPT collar proofs.
Read the exact result, assumptions and evidence
Result
P1/P2 does not fully specify the primitive kernel's field arguments. The archived reconstruction starts with algebra, time flow, state and collar operator; CAR and anticommuting sources are later premises. For a supplied product Dirac operator, the classical Green boundary form follows from normal symbol and boundary metric. Identification with the quantum field amplitude does not follow.
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.
Original evidence
- PROOF.txt lines 449–480
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt
3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce
- GROK18-PRIMARY-REVIEW.txt lines 1–23
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/GROK18-PRIMARY-REVIEW.txt
034a282ad63cb5b848077c6ee8dd06509e9e057ed6b2526242070a19093abdf2
finding:original-operational-seed-and-given-green-pairing