Registry · Definition III.D36 tau-effective formalized

III.D36 — τ-Admissible Fluid Data

Fluid data = ω-germ assignment on clopen cylinders in τ³, with finite primorial depth and bounded ABCD extraction. Admissibility: finite primorial depth + bounded ABCD coordinates + tower-coherent cylinder structure.

Book III Part 5 Ch. 34

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIII.Physics.FluidData

Symbol: fluid_data_check