Registry · Theorem VII.T38 tau-effective not_applicable

VII.T38 — C Register Independence

The commitment register is structurally independent of the other three; C-register claims have their own coherence criterion.

Book VII Part 7 Ch. 90

Dependency Graph

Depends on (3)

VII.D12 VII.T03 VII.T06

Lean Formalization

Module:

Symbol: