Non-Depletion Condition

Definition

The requirement that capability does not diminish across mission cycles. Weak non-depletion requires V(x_{t+T}) ≥ V(xₜ) (preservation), while strong non-depletion requires E[V(x_{t+T})] > V(xₜ) (growth). This is the second invariant required for regeneration.

Formula

Example

A scientific laboratory satisfies non-depletion if its research throughput at the end of each equipment cycle equals or exceeds throughput at the start—capability is never silently degrading.

Source

FRS Section 3.2