Invariants / T-RESOURCE-01

T-RESOURCE-01

T true declared

Untrusted inputs must not allocate unbounded authoritative resources before deterministic validation

Source: Project constitution §2, audit #5

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references