Record and permitOn supported governed paths, an attempted action has a record before execution. External effects admitted to the permit path require a signed, single-use token bound to the tenant, capability, exact arguments and time window. A verifier checks the signature; the authority service mints the permit. This does not establish coverage for every capability or channel.
Restrictions, not grantsThe supported rule grammar expresses restrictions, not grants. It does not treat an owner restriction as permission to spend or a model suggestion as a standing rule. Verify that one-time approval is bound to the exact revision, consumed and expired on the deployed path.
AttestationThe attestation design binds admitted capabilities to signed, time-limited evidence and a code revision. Lapsed or mismatched evidence must return covered capabilities to propose-only. Check that behavior for the exact deployed path; the design does not certify fleet-wide coverage.
Receipt before speechOn supported completion-check paths, a booking, payment or change needs a committed result before it is described as complete. Test the exact channel and failure handling; this is not evidence that every sentence is checked.
Written onceThe governed-record design appends grants, rule changes, revocations and approvals while retaining their history. Inspect deployed access controls and retention before treating that record as tamper-evident; an architectural requirement is not proof that no administrator can change storage.