Registry · Definition VII.D86 tau-effective formalized

VII.D86 — Logos Sector

The unique sector where proof-validity and stance-stability coincide; S_L = S_D ∩ S_C with mutual witnessing property.

Book VII Part 10 Ch. 119

Dependency Graph

Depended on by (2)

VII.P29 VII.T46

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.LogosSectorExtended