Registry · Lemma VII.L17 tau-effective formalized

VII.L17 — Register Orthogonality

Coherence criteria are functorially independent; four codomain categories (Obs, Norm, Proof, Stance) are structurally distinct with no coherence-propagating natural transformations.

Book VII Part 1 Ch. 3

Dependency Graph

Depends on (4)

VII.D01 VII.D02 VII.D03 VII.D04

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.register_orthogonality