Registry · Definition VII.D31 tau-effective formalized

VII.D31 — Law as Admissible Continuation

Laws are operators extending local data to maximal coherent domains; lawhood is structural, not legislative.

Book VII Part 2 Ch. 23

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.LawAsAdmissibleContinuation