Deadlock-Free by Construction: How Typhon Eliminates Deadlocks Instead of Detecting Them

Why Typhon ships without a deadlock detector — three structural decisions that make lock-dependency cycles architecturally impossible, and why that bet was made before any code was written.