Registry · Remark V.R471 tau-effective not_applicable

V.R471 — Condensed Matter Bridge Status (OQ-C6)

OQ-C6 (condensed matter) upgraded from OPEN to PARTIAL. Defect-tuple crossings apply to real condensed-matter systems. ρ_cc ≈ 0.5ρ₀ within standard range. Remaining: crust fraction overshoots without metric corrections; no superconductor gap calculation.

Book V Part 4 Ch. 33

Dependency Graph

Depends on (2)

Lean Formalization

Module: