Registry · Definition III.D41 tau-effective formalized

III.D41 — Operator Polarity Swap

Split-complex holomorphy (j² = +1) pairs with the wave operator ∂²/∂t² − ∂²/∂x² (hyperbolic), NOT the Laplacian. The lemniscate's bipolar structure forces hyperbolic PDEs. Classical NS uses the Laplacian — this is the VM shadow's signature.

Book III Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIII.Physics.HartogsFlow

Symbol: polarity_swap_check