Registry · Theorem VII.T29 tau-effective formalized

VII.T29 — No-Explosion at Boundaries

Contradictions at boundaries do not propagate; lemniscate crossing admits both truth values simultaneously without explosion.

Book VII Part 6 Ch. 74

Dependency Graph

Depends on (2)

VII.D64 VII.L10

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.no_explosion_at_boundaries