Established in scope
Complete fixed-background fermion source does not fix the Higgs derivative
In the question: Historical: common source, state and event selection
Exact zero-jet identifiability test on the given free source path. No no-go for a complete Φ-dependent functional or later original selector; no general interacting Yukawa theorem.
Read the exact result, assumptions and evidence
Result
The existing direct Grassmann path yields the same complete unnormalized source polynomial and Z0=69649/65536 for both supplied extensions at Φ=0. The mixed derivative is zero or offdiagonal -65536/69649; -K0(∂Φ K^-1)K0 reconstructs the supplied derivative K′. A joint source derivation therefore still needs the actual original field dependence and correctly equivariantly typed coupling.
Required assumptions
- Given free quarter-source background without a selected Higgs derivative
The existing two-mode source path has K0=diag(17/16,4097/4096) and a fixed Berezin measure. Compare only completely coincident fermionic source polynomials at Φ=0 and explicitly supplied extensions K0 or K0+Φσx. These are diagnostic extensions, not two claimed P1/P2-admissible worlds or a comparison of complete Φ-dependent functionals.
- 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 154–209
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/PROOF.txt
f91443b115994302aa3b10d2a6b44131e13c3998b13d47b34aeaa59e25c86315
finding:fixed-background-source-does-not-fix-mixed-vertex