Registry · Proposition
V.P190
conjectural
formalized
V.P190 — Crust Fraction from Defect-Tuple Crossing
Crust fraction ΔR/R_NS ≈ ι_τ ≈ 0.34 for canonical 1.4M☉ NS (R≈12 km). Gives ΔR≈4.1 km vs observed 1–2 km (factor 2–4× overshoot). Discrepancy from missing GR corrections to defect-tuple inequality.
Book V
Part 4
Ch. 33