01must proveProposed | The organization receives one allowance period per local calendar month, created on demand with its configured allowance or the default 100,000 credits. ✓ An organization in Eastern time starts a new period at midnight on the first in its own zone.✗ Nothing has to run at month end for the allowance to start over. | calculation | service, database | observed |
02must proveProposed | Admission atomically holds the estimate only if charged credits, existing holds and the new hold fit within active allowance capacity, capped at ten million credits; racing requests cannot over-reserve that capacity. | calculation | service, database | observed |
03must proveProposed | An unaffordable request creates an allowance-refusal record with its needed and remaining credits, but sends nothing to the model and reserves and charges nothing. | policy | service | observed |
04must proveProposed | The concurrency default is eight requests unless organization limits specify another cap; an excess request gets a two-second retry hint, settlement or release returns its slot, and no daily cap applies. | policy | service, database | test |
05must proveProposed | When allowance and concurrency would both reject admission, the refusal reports the allowance. | policy | service | test |
06must proveProposed | Capacity grants add together and apply from their start inclusive until their end exclusive or revocation, evaluated directly at request time without an activation or expiry job. | calculation | service, database | observed |
07must proveProposed | Already admitted work is charged its measured usage even if the period exceeds its allowance. | calculation | service | observed |
08must proveProposed | Lower limits preserve running requests and their holds; later admission fails while charged and held credits exceed the reduced allowance, and settlement cannot drive holds below zero. | invariant | service, database | observed |
09must proveProposed | Charged usage includes request settlements and signed corrections, while available credits subtract both charged usage and outstanding holds from the allowance. | calculation | service, database | observed |
10must proveProposed | A refusal retains its decision-time allowance, committed and needed credits, active capacity, limits version, concurrency and switches once, without prompt or person content. | invariant | service, database | observed |
11Proposed | The allowance covers the organization as a whole and has no departmental or cost-centre allocations. | policy | service | documented |