Registry · Definition VI.D75 tau-effective not_formalized

VI.D75 — Complexity Budget

Freed structural capacity C(n) = N - |D_n| at orbit step n; measures resources available for increasingly complex configurations as defects exhaust.

Book VI Part 2 Ch. 14

Dependency Graph

Depended on by (4)

VI.D77 VI.L15 VI.T44 VI.T46

Lean Formalization

Module:

Symbol: