2668 — Strong Real-Structure Transport Does Not Control Moving Tail Frames
On (\ell^2), let (J_N) differ from standard conjugation only by a sign on the (N)-th coordinate. Then (J_N\to J) strongly because
for each fixed state, while (|J_N-J|=2) for every cutoff. The fixed real subspaces likewise converge strongly but retain gap one. The moving witness (e_N) is invisible to every fixed finite-prefix probe and to the preserved vacuum (e_1).
Completion therefore requires uniform intertwiner control, gap convergence, a source topology killing the moving witness, or an authorized observation row detecting it uniformly. Pointwise finite certification is insufficient.
Durable verification
- Packet:
research/kitaev/strong-real-structure-transport-does-not-control-moving-tail-frames.md - Checker:
research/kitaev/checkers/check_moving_tail_real_structure.py - Results:
research/kitaev/results/moving-tail-real-structure.json - Sequence authority:
seqclaim-a53bd8ed358f79ffd163301a - Epistemic graph event:
ev-000000004060-47cd46d3-6d01-40de-959f-25871ad1996e
No commit or push was authorized.