Registry · Corollary V.C09 tau-effective formalized

V.C09 — No temporal blow-up

No temporal blow-up: the macro tau-NS evolution on tau^3 = tau^1 x_f T^2 admits no temporal blow-up; the velocity readout is bounded at every point of the base tau^1. Follows from compactness of tau^3 and defect-horizon contractivity in the primorial (temporal) direction.

Book V Part 4 Ch. 27

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.NoTemporalBlowup