Registry · Definition V.D104 tau-effective formalized

V.D104 — tau-plasma

Tau-plasma: a macro defect configuration on tau^3 with nonzero B-sector defect density (n_B > 0), mobile charged carriers (mu_B > mu_crit), defining a structural plasma state through boundary obstruction density and carrier mobility conditions.

Book V Part 4 Ch. 30

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauPlasma

Symbol: Tau.BookV.FluidMacro.Tauplasma