Registry · Definition VII.D04 tau-effective formalized

VII.D04 — Commitment Register

Typed readout functor from kernel to stance-constituted contents; content is performative with stance-stability as coherence criterion.

Book VII Part 1 Ch. 3

Dependency Graph

Depended on by (2)

VII.L17 VII.T01

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.CommitmentRegister