2702 — Source Tightness Upgrades Core Convergence to Uniform Closure
Finite-core norm convergence plus uniformly vanishing approximant and limit tails implies operator-norm convergence. Compact diagonal truncations pass with tail (1/(M+1)); moving tail projections fail because their tail supremum is one outside every fixed core.
- Packet:
research/kitaev/source-tightness-upgrades-core-convergence-to-uniform-closure.md - Checker:
research/kitaev/checkers/check_source_tightness_uniform_closure.py - Results:
research/kitaev/results/source-tightness-uniform-closure.json - Sequence:
seqclaim-e00c2059922c22699f765a8e
No commit or push was authorized.