Registry · Lemma VII.L16 tau-effective formalized

VII.L16 — Register Preservation

Outside S_L, bridge fails faithfulness, fullness, or is undefined; register identity preserved everywhere except S_L.

Book VII Part 10 Ch. 120

Dependency Graph

Depends on (1)

VII.D87

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.logos_rigidity