Manuscript En05-A@1 · En05-A.tex · section · f076e703
Transmission and complete operational input
Exceptional blocks and original-metric necessity › Transmission and complete operational input · lines 1160–1165
The theorem violates original-metric autonomy, not locality relative to the complete operational input. The arriving record is part of that input.