Registry · Definition VII.D68 tau-effective formalized

VII.D68 — Moral Monodromy

Ethical loops that don't close; traversing a closed path in ethical space and arriving at a different value; topological non-closure.

Book VII Part 7 Ch. 81

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.MoralMonodromy