Acceptable Resource Consumption
Kind: invariant
Record: reasoning:invariant-acceptable-resource-consumption
Canonical: Reasoning
Resource consumption is acceptable
Listed in Reasoning records, after Acceptable Execution Time and before Safe Concurrent Behavior.