Registry · Definition VII.D12 tau-effective formalized

VII.D12 — Sector Witness Bundle

Fibred collection pairing content with typed witnesses certifying satisfaction of coherence criterion; witnesses are register-specific.

Book VII Part 1 Ch. 6

Dependency Graph

Depended on by (3)

VII.L02 VII.L13 VII.T38

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.SectorWitnessBundle