Remove the many-particle restriction of the coherent source clock by constructing its fermionic operations from the existing proper-code source. An assertion that a qubit swap is a fermion swap, or that an abstract CAR lift is automatically a local source operation, is not a derivation.
The starting source is the explicit completion in COHERENT_SOURCE_CLOCKS.md, including its stated CCG requirement. No extra reversible response or new transport axiom may be inserted. Standard fermion encodings must be credited.
- Specify a finite local encoding of the even CAR observable algebra on every particle-number sector, including both parity blocks. Prove its algebra relations, dimension, locality and independence of ordering conventions. Check against an independent occupation-basis construction.
- Prepare the constrained encoding deterministically, with all measurement branches and corrections retained. Supply explicit native circuits for its rotations, occupation instruments and a non-Gaussian density interaction. Do not grant an unexamined encoded gate set.
- Compile the actual two-mass tetrahedral walk, including fermionic flight signs and blank-bank restoration, on a finite spatial workspace. Give a uniform finite bound on local degree, circuit depth, flight time, native pulses and code events. Respect one processor per private interface.
- Transfer the named all-state CAR read bound and the clock detector to that construction. Charge preparation, measurement and reporting latency. Keep the fixed accounting observable distinct from physical energy and free evolution distinct from the interacting extension.
- Decide which noise bounds survive encoding. Exhibit actual vacuum failures of independent physical dephasing and give a valid finite error budget. A one-particle noise bound cannot be copied to a constrained gauge encoding without proof.
- Provide compact reproducible receipts, independent verification, hostile input tests and source/claim custody. Separate all-size arguments from small executions and reject false sign, parity, loop, timing and noise evidence.
A complete source realization of the parity-preserving fermionic clock process at arbitrary occupation, with executable interacting and measurement controls, and a charged finite schedule. Neither code preparation, fermion signs, physical locality nor the detector may remain a premise for a later PR.
CCG remains the existing additional transport requirement. The result does not select empirical masses, an interaction coupling, a laboratory energy standard or a unique microscopic source from A1--A3. It does not identify odd CAR fields with commuting local qubit observables.