Registry · Definition II.D93 established planned

II.D93 — Combined Gain-Cost Ledger

Combined gain-cost ledger: 49 gains (23 Mode D + 13 Mode E + 17 neutral) vs 16 Mode C costs. No partial selection possible due to trade-off atomicity.

Book II Part 11 Ch. 66

Dependency Graph

Depends on (3)

II.D91 II.D82 II.D92

Depended on by (3)

II.T56 II.R40 II.R41

Lean Formalization

Module:

Symbol: