Conditional result
Folded Ward target and smaller neutral source route
In the question: Automated construction of operator maps and sources
Exact fold matrix and normalized lattice-vacuum target test; existing conditional quotient sources and finite creation30 contracts. No primitive P1 Ward response, automatic physical time or F1 completion. The historical one-channel checker is currently blocked by a stale source pin and not counted as a fresh PASS.
Read the exact result, assumptions and evidence
Result
The given rational fold matrix M maps s=(1/2)^8 exactly to e3+e6 and q=(1,...,1) to 2(e3+e6). For the normalized lattice-vacuum Ward formula at z=0,w=1,u=3 the old eight components −1/12 become −1/6 on H3 and H6; the transported total current is −2/3 on both sides. This is a target calculation and does not identify a P1 response. The existing grade-2/U5-residue-3 creation30 branch and smooth neutral half-kink on the folded even-CAR quotient form a smaller approach than assuming a full 50-event process; they do not derive a P1 local embedding, source, reflection, state or OS time. The marked colour-charged intermediate must be retained in the neutral pair.
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
- R092-NAHT-WARD-UND-NEUTRALER-QUELLPFAD.md lines 1–34
Source checked at this snapshot
Original location and fingerprint
docs/research/fundamental-plan/R092-NAHT-WARD-UND-NEUTRALER-QUELLPFAD.md
58a2f9695436252c4210924f077add193da3b3eb40cce35157db31ffbe599556
- check_fold_ward_pair_20261102.py lines 1–36
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_fold_ward_pair_20261102.py
5b0822971cde0d869d3eeaa9b48a741e4c904dc78de6a52610650cf9d4b11e35
finding:r092-fold-ward-target-neutral-source-and-smaller-creation-branch