Registry · Theorem II.T56 established planned

II.T56 — Trade-Off Atomicity

The gain-cost structure of Category tau is atomic: accepting K0-K6 simultaneously forces all 16 Mode C costs and enables all Mode D gains and Mode E earned results. No partial selection possible.

Book II Part 11 Ch. 66

Dependency Graph

Depends on (10)

Depended on by (1)

Lean Formalization

Module:

Symbol: