Nrs3 Defect Curvature

NRS³ · Defect and curvature: each non-local link of transport closes one cycle with one quantum δ∞; 2g links carry the defect of Σ_g, which fixes its curvature (Gauss–Bonnet declared); the change stays inside the light cone — Lean 4 + Mathlib

Description excerpted from the original listing, which is linked below.