Registry · Definition III.D01 tau-effective formalized

III.D01 — Hartogs Bulk Projection

3D Cartesian space = Hartogs-projected bulk of the local T² fiber at each worldline point. Solenoidal surface coordinates (γ, η) carry boundary data; Hartogs extension fills the interior with genuine linear coordinates. Perceived 3D space is this interior.

Book III Part 0 Ch. 1

Dependency Graph

Depends on (2)

Depended on by (9)

Lean Formalization

Module: TauLib.BookIII.Prologue.HartogsBulk

Symbol: hartogs_bulk_check