Registry · Proposition
IV.P227
tau-effective
formalized
IV.P227 — Domain Wall Energy from T² Winding
σ_wall = 4√(AK), width δ = π√(A/K). A = exchange stiffness, K = anisotropy. T² non-contractible cycles impose global consistency via H₁(T²;ℤ)≅ℤ².
Book IV
Part 7
Ch. 63