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

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.crust_fraction_permille