Registry · Definition VII.D14 tau-effective formalized

VII.D14 — Sector Normaliser

NF-coded bounded pipeline evaluating coherence verdict for witnessed content; subject to boundedness, soundness, determinism constraints.

Book VII Part 1 Ch. 6

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.SectorNormaliser