Registry · Theorem III.T62 tau-effective formalized

III.T62 — NS Flow Causal Arrow

Hartogs flow on primorial tower has causal arrow from B/C sector asymmetry. Flow stabilization (BNF fixed point) = τ-internal analog of NS regularity. Asymmetry grows with stage depth. Verified at depth 4.

Book III Part 5 Ch. 40

Dependency Graph

Depends on (1)

III.D28

Depended on by (1)

III.P39

Lean Formalization

Module: TauLib.BookIII.Doors.BridgeTightening

Symbol: ns_causal_4