Registry · Definition IV.D392 tau-effective not_applicable

IV.D392 — Glass Threshold K_glass

K_glass = min{K : d₁(K) < d₁^arrest}. Minimal NF budget at which mobility stabilizes below arrest threshold. Computable from NF code structure.

Book IV Part 7 Ch. 62

Dependency Graph

Depended on by (1)

IV.D393

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter