Established in scope
Original reducing net separates vacuum selector and visible transfer
In the question: Original TFPT source versus DET16 mirror vertex
Exactly bare reducing-CAR premise;no actual P_adm=Pphi claim. Vacuum state on full CAR valid;retain dressings/charged extensions. No invisible ambient-kernel demand.
Read the exact result, assumptions and evidence
Result
Original net is A/A*-preserving restriction. All unchanged bare16CAR tensor I_R in it force P_adm=I_mirror tensor P_R;rank1 Pphi incompatible,Pphi c_i Pphi=0. With actual H/source reduction,direct complement extensions invisible in every restricted physical word/unnormalized trace. Charged exiting/returning legs can see them.
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.
- Unchanged bare CAR legs in actual reducing net
Original admissible net restricts operators preserving RanP together with adjoints. Tested case contains all16 unchanged bare c_i tensor I_R and adjoints on same Fock/rest split. Invisibility of complement extensions additionally assumes P reduces actual H,all source legs,reflection and state/unnormalized physical trace supported on RanP. Charged exiting/returning legs and rest dressings are not silently included.
Original evidence
- FIELD-PROJECTOR-MAP.txt lines 150–245
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/FIELD-PROJECTOR-MAP.txt
fde3e8e2894f98c52565f4fb480e1aa2d74378fd0528c134ace81a4b45a20625
finding:k-original-reducing-net-separates-vacuum-selector-and-ambient-transfer