TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/compiler-clock-current-closure-20260919/source_origin_audit.txt
Original file SHA-256: 2a58849fba72bdbdb21178bbd91947702ed5ce93c5fef40d248b3ebb7cbbd2f6
Inclusive original lines: 69-111
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.

000069 | This is an exact obstruction to identifying the existing scalar seam twist or the
000070 | finite clock shift with the even local lambda field. It is not a no-go against a
000071 | different source-derived, channel-resolved charged action.
000072 | 
000073 | Useful positive mapping, with its exact boundary
000074 | ------------------------------------------------
000075 | On the enlarged direct sum of the four QWZ boundary sectors, v1033's
000076 | 
000077 |     D_I = X_flux tensor U_arc
000078 | 
000079 | is even, has dual Z4 charge one, and intertwines H_r with H_(r+1) away from the
000080 | far endpoint: its Hamiltonian commutator is supported exactly at that endpoint.
000081 | Combined with the equivariant crossed-product theorem, this gives a constructive
000082 | local charged route in the enlarged model. It does not put D_I in the original
000083 | matter CAR algebra and it carries the common quarter-twist weight, not yet the
000084 | D5+A3 lambda weight.
000085 | 
000086 | There is also a sharp algebraic source test for the Coxeter action. If the exact
000087 | root census shows that C sends any D8 bilinear root to a half-integral Ramond root,
000088 | then the EXISTING target-defined C is not an automorphism of the unextended neutral
000089 | D8 current net: it does not preserve that net's weight-one space. Its checked root
000090 | closure is therefore evidence about the already extended E8 target and cannot by
000091 | itself establish source provenance. This is not a logical no-go against a source
000092 | derivation. An independently constructed local normal source automorphism C, on a
000093 | source field algebra containing the D8 subnet, which preserves the source vacuum
000094 | and actually carries a D8 current into a nonzero Ramond current, would instead be
000095 | positive evidence that the source forces a charged completion. The distinction is
000096 | whether that local source implementation is constructed independently of the
000097 | target E8 root dictionary.
000098 | 
000099 | First additional assumption
000100 | ---------------------------
000101 | The first source-specific premise is a support-preserving covariant charged
000102 | generator, not another lattice census:
000103 | 
000104 | There exists an even, charge-one sequence Phi_N(f) in the actual raw local seam
000105 | algebra B_N(I), with no auxiliary flux register, whose clock character is the
000106 | factorwise D5+A3 lambda character, whose vacuum-to-charge matrix element is
000107 | nonzero, and whose microscopic Heisenberg evolution converges to the charged
000108 | sector evolution H_1/4=L0-Q/4 (or to L0 after an independently derived covariance
000109 | cocycle).
000110 | 
000111 | This is the concrete FE-GEN bridge. ALG-EXH is the later statement that these