01must proveProposed | The reservation is the rounded per-turn estimate multiplied by permitted turns and limited to the operation’s declared credit ceiling. | calculation | service | observed |
02must proveProposed | Publication rejects the whole catalog for unpriced routing, inconsistent timeouts, duplicate operations or rates, unknown applications, empty features, zero estimates or invalid prices, writing no versions. | validation | service | observed |
03must proveProposed | An unchanged declaration adds no version, a changed declaration appends one, and reverting appends another version with the earlier content digest. | lifecycle | service, database | observed |
04must proveProposed | Published routing and rate versions reject updates and deletions by both application and publishing roles. | invariant | database | test |
05must proveProposed | A request retains its original rate version when prices change; only subsequent requests resolve the newer version. | calculation | service, database | test |
06must proveProposed | Usage costs are summed at per-million rates before one division, with credits rounded upward and cents rounded to nearest. | calculation | service | observed |
07Proposed | One credit represents one hundredth of a cent, and model input, output, cache-read and cache-write units have declared credit and cent prices per million. | calculation | service | documented |
08must proveProposed | Unpriced usage dimensions contribute no charge and remain visible under their provider names for later pricing decisions. | calculation | service | test |
09Proposed | Engineers choose and deploy model prices; Rhythm does not reconcile those declarations with the provider’s actual bill. | policy | service | documented |
10Proposed | The HQ catalog and rates show each key’s current version and up to nineteen preceding versions. | policy | api | observed |