01must proveProposed | Before recording an execution, the gateway rejects requests over one megabyte, contract violations, unsupported modes, missing required idempotency keys, keys with surrounding whitespace and excessive timeout requests. | validation | service | test |
02must proveProposed | Application principals invoke only for their own application except Platform, while a console caller needs invoke authority and the capability’s permission. | permission | api, service | test |
03must proveProposed | Idempotency keys distinguish calls within a workspace and capability: identical pending calls return in progress, settled calls replay their first response and changed requests conflict; cancellation or admission refusal releases the key. | invariant | service, database | test |
04must proveProposed | An execution records attempts, request fingerprint, serving binding and connection and scalar summaries within four kilobytes that exclude secrets and personal or payment-instrument details; the provider uses the execution identifier for idempotency. | invariant | service | test |
05must proveConfirmed | Immediate retries reuse the execution at one, four and sixteen seconds within the caller budget for unavailability, rate limits or pre-send timeouts, and retry adapter errors once; declines, refusals and unknown post-send outcomes are not repeated. | policy | service | test |
06must proveProposed | A sensitive call that cannot retry within its budget settles failed, frees the key and queues nothing, while a non-sensitive call can continue asynchronously. | policy | service | test |
07must proveProposed | Each attempt passes circuit, rate and credential admission; refusal returns the appropriate retry or re-authorization information, never switches connections and releases the unused key. | policy | service | test |
08must proveConfirmed | Five consecutive provider-unavailable or timeout outcomes open the connection circuit for sixty seconds; one probe follows, failed probes double the wait up to fifteen minutes and success closes it. | calculation | service | documented |
09must proveConfirmed | Asynchronous invocation returns acceptance before provider contact and uses six queued attempts with delays of one, five and thirty minutes, two hours and six hours. | policy | service | test |
10must proveConfirmed | An execution permits at most ten attempts including operator retries; a requested retry at ten is refused and an eleventh queued attempt settles failed with key release. | invariant | service | test |
11must proveConfirmed | Opted-in non-sensitive payloads are redacted, truncated at one megabyte and retained for thirty days, while sensitive payloads are never recorded and storage failure does not fail the call. | policy | service | test |
12Confirmed | Provider rate declarations govern admission, operator overrides can lower them and retry-after drains the bucket for the requested wait; immediate calls receive a retry time and queued calls wait. | calculation | service | test |
13must proveProposed | Stored gateway request keys contain at most one hundred and twenty-eight characters. | validation | database | observed |