Registry · Definition III.D38 tau-effective formalized

III.D38 — Fluid Sector Decomposition

The 4+1 template applied to fluid data. Each ω-germ decomposes into A/B/C/D-sector components. The ω-coupling mediates inter-sector energy transfer.

Book III Part 5 Ch. 35

Dependency Graph

Depends on (3)

III.D13 III.D14 III.D36

Depended on by (1)

III.D39

Lean Formalization

Module: TauLib.BookIII.Physics.FluidData

Symbol: abcd_check