Registry · Definition VII.D11 tau-effective formalized

VII.D11 — Logos Sector S_L

Mixed sector where diagrammatic and commitment registers coincide; proof-validity equals stance-stability; unique crossing mediator.

Book VII Part 1 Ch. 5

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.LogosSectorSl