The source is an observer-like self-reading patch system: bounded local state, twelve boundary ports, readback records, feedback and repair moves, and public evidence bundles specify its operations.
The existing twelve-port source has enough native response control to
perform an entangling gate: the sum of its generators is the observable
relative phase diag(i I3,0). Coherent proper-code transport then supplies
the entire massive-clock circuit. The construction includes a full-algebra
instrument, spherical support/refinement, source response completeness,
finite preparation, positive control time and an executed serial readout
instrument, including all no-click branches.
Classical record agreement is insufficient. In the complete code-channel family, A3 with tracial Choi reference selects dephasing under one-basis agreement and identity under two complementary-basis agreement. The noisy optimizer and its refinement semigroup are solved exactly. A classical source completion obeys the declared A1--A3 grammar and RG but cannot transmit an unknown qubit: its four complementary-test average is at most 3/4. Coherent code gluing (CCG) is an explicit proposed extra requirement, not a silently adopted fourth core axiom.
The compiler preserves the operational clock on vacuum and one-particle
states. A finite analytic witness retains probability swing above .6752
after preparation, control-time and phase-noise costs. Phase noise has a
population-independent signal bound on that sector, but its rate must
scale as O(a) for bounded Floquet accounting energy at refinement.
Population-independent stability does not hold for occupation-flip noise.
Ordinary register flights do not automatically supply fermionic signs on
many-particle states; the executable countercontrol keeps that boundary.
Read the contract and complete proof and resource ledger. This is an explicit mathematical source completion, not a simulator capture or selection of empirical masses, physical energy or a unique representation.
With the repository's pinned requirements.txt:
python code/m1_source_realization/build.py
python code/m1_source_realization/verify.py
python -m pytest -q code/m1_source_realizationThe checker imports no new producer functions. It reconstructs source generators from the parent's independent exact formula, verifies the exact control coefficients without solving the producer's inverse problem, checks channels against analytic Bell spectra, and checks spatial evolution against direct path entries. Preparation is compared to every requested leaf amplitude, including zero subtrees. The entire vacuum/one-particle detector effect is replayed from its serial destructive instruments, and integer schedules expose every serialized buffer access. The same readout with dephasing at every code access loses its phase dependence. Noise is checked against the independent sector-channel identity. The parent clock's outward interval certificate is executed, and resource arithmetic is repeated at 65 digits. The source-support tower is checked as oriented chains and actual retained factor maps. These finite tests support the analytic all-size proofs; they are not substituted for them or claimed Lean formalizations.
The receipt is compact and reproducible. It contains all small execution
outputs, not a tape for the enormous analytic witness. Strict JSON types,
catalogues and source/claim commitments reject malformed and substituted
inputs. Matrix residuals have absolute tolerance 2e-10; other nonzero
values use relative 2e-9, with 1e-12 for expected zero. Tiny positive
time, rate and probability budgets cannot be replaced with zero.
Hostile controls also exercise the CLI with Python assertions disabled.