TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/compiler-current-descendant-20260919/PROOF.txt
Original file SHA-256: ad45198c44b84365a862b709e8b7e49af708f2e1a58adff67dc55d7cf4fa459b
Inclusive original lines: 201-224
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000201 | charge-compatible, phase-faithful map from Bell10 and all sixty event paths to
000202 | the named current module, plus its precise E8 glue placement.
000203 | Not closed: the source must realize those global module operators through its
000204 | actual local boundary dynamics, with the same label/record/refresh law and a
000205 | prepared physical state. Neither the abstract current algebra nor positivity
000206 | chooses H_l^aff as physical time evolution. No spatial auxiliary graph or
000207 | additional independent oscillator is introduced by this contract.
000208 | 
000209 | The next equality is consequently an operational one, not a dimension match:
000210 | physical source propagation restricted to the prepared common sector must
000211 | intertwine the labelled H_l^aff flow and the .13 recorded instrument, with a
000212 | source-derived relation between seam time and theta. The L0 comparison above
000213 | already rules out simply renaming the standard circle-energy clock as that
000214 | flow on this fixed grade. All T1-T8 global closure claims stay open here.
000215 | 
000216 | Sources and reproducibility
000217 | Original TFPT source audit: current_origin_audit.txt.
000218 | Conventions, affine fusion and primary literature: primary_literature.txt.
000219 | Independent exact memory audit: memory_review.txt.
000220 | Full checker review: independent_review.txt.
000221 | Pinned inputs and generated outputs: artifact_manifest.json, source_manifest.json.
000222 | Normal and python -OO: 731 exact finite requirements, byte-identical certificates.
000223 | The infinite-module and net premises remain explicitly separated from those
000224 | finite checks. The original input/source suite is not promoted or edited.