Registry · Definition VI.D88 tau-effective not_formalized

VI.D88 — Neural Defect Tower

4-level defect accumulation structure with one functional Delta_i(n) per level; each monotonically non-decreasing; levels cascade when threshold theta_i is crossed.

Book VI Part 6 Ch. 40

Dependency Graph

Depends on (1)

VI.D87

Depended on by (4)

VI.D90 VI.T52 VI.T53 VI.T54

Lean Formalization

Module:

Symbol: