Registry · Remark V.R159 tau-effective formalized

V.R159 — DDT and turbulence

DDT (deflagration-to-detonation transition) in supernovae is an inequality crossing in defect-tuple space: turbulent cascade transfers mobility budget from large to small scales, and when small-scale mobility exceeds the compression threshold, the front transitions to detonation.

Book V Part 4 Ch. 33

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.DdtAndTurbulence