2640 — Dynamic Storage Residual Is a Transported Cohomology Class
After subtracting source-derived boundary supply, let . Dynamic storage exists exactly when the transported cocycle is a coboundary:
On a closed loop the obstruction is the class of in the cokernel of
Identity holonomy makes , so every nonzero loop discrepancy is absolute. For the unit rank-two shear, has real rank two and cokernel dimension two, detecting the upper-left and imaginary off-diagonal residual coordinates.
Exact hostiles show scalar projection can hide a matrix residual, mismatched carriers make subtraction undefined, cutoffwise exact gauges can diverge with no common bounded topology, and one local residual propagates globally by invertible congruence.
Scope
This is a finite algebraic and pro-topological compiler theorem. It does not derive theta boundary supply, establish its graph topology or uniform observability, identify physical flux, or prove RH.
Durable verification
- Packet:
research/kitaev/dynamic-storage-residual-is-a-transported-cohomology-class.md - Checker:
research/kitaev/checkers/check_dynamic_storage_residual_cohomology.py - Results:
research/kitaev/results/dynamic-storage-residual-cohomology.json - Sequence authority:
seqclaim-7d37251acb2fcb443d4f80b8 - Epistemic graph event:
ev-000000003979-cb1c875b-bff1-4823-b08a-bfefb2e38e7c
The research state is coherent but uncommitted. No commit or push was authorized.