01must proveConfirmed | The catalogue defines sixteen reconciliation keys: read-tier inspection, user-tier ordinary changes and four sensitive administrator approvals for finalize, reverse, resolve and accept, without bulk keys. | permission | api | test |
02must proveConfirmed | Declared preparer and approver policies separate duties, with preparers reading and doing ordinary work and approvers adding the four sensitive approvals; a role must assign a policy before it grants access. | permission | api | test |
03must proveConfirmed | Permission grants operate throughout the workspace, while financial records retain their unit context for accounting. | permission | api | observed |
04must proveConfirmed | Keyed creation, payout void or verification, manual addition, finalize, reverse, split, resolution and acceptance require a header key up to 255 characters, scope retries to caller and operation, reject changed bodies and retain keys until purge. | validation | api, service, database | observed |
05must proveConfirmed | Audit events keep the actual actor and bounded detail in the command transaction, with keys where applicable; bulk claims may emit several, repeat no-ops and replay may emit none, and rollback emits none, while history permits deletion only in purge. | invariant | service, database | observed |
06must proveConfirmed | Refusals carry a stable machine code independently of their displayed wording. | policy | api | test |
07must proveConfirmed | Workspace isolation prevents reading or writing another customer’s reconciliation records. | invariant | database | test |
08must proveConfirmed | Missing authentication fails before access, and denied Accounting access prevents reconciliation reads. | permission | api | test |
09must proveConfirmed | Amounts use integer minor units, reject arithmetic beyond the exact safe range and display the currency’s decimal places. | calculation | service | test |
10must proveConfirmed | Second-person finalization defaults on and can be represented as waived in settings, but no current product operation or screen changes that setting. | policy | service | observed |
11Confirmed | Console action gates cover creation, finalize, reverse, verification, resolution and acceptance with permission hints; the exception-note button checks text presence without update permission. | permission | console | observed |
12Confirmed | Exports retain reconciliation record identities and relationships while excluding operational retry keys and integration connection or execution references. | policy | service | observed |
13must proveConfirmed | Evidence exports contain asset references without copyable service addresses, so a retained reference alone does not prove that the package contains the document. | policy | service | observed |