01must proveConfirmed | Draft checks use detection's keys and scoring within the workspace and exclude the edited record from its own results. no proof recorded yet | calculation | service | test |
02must proveConfirmed | A check returns at most five matches in descending score order, using the weakest active-rule confidence floor for that type or medium when there are no active rules. no proof recorded yet | calculation | service | test |
03Confirmed | Each result supplies record number, name, score, confidence and reasons, and the response indicates whether a blocking rule applies. | policy | api, service | test |
04must proveConfirmed | Checking a draft writes no record, match key or review candidate. no proof recorded yet | invariant | service | test |
05must proveConfirmed | The duplicate-read permission is required for a draft check, and callers lacking it are refused. no proof recorded yet | permission | api | test |
06must proveConfirmed | An overridden create and its override record share a transaction; the record retains the author, time, trimmed reason, distinct blocking rules and bypassed matches, and an audit-write failure rolls back creation. no proof recorded yet | invariant | service, database | test |
07must proveConfirmed | An override requires a nonempty reason and at least one rule, with at most one override record for a created record. no proof recorded yet | validation | service, database | test |
08must proveConfirmed | Application updates cannot alter an existing override record. no proof recorded yet | invariant | database | test |
09Confirmed | The created record does not store override confirmation or explanation; the separate override record stores those details. | policy | service | test |
10must proveConfirmed | Organization creation uses organization matching settings and requires the organization-specific override permission. no proof recorded yet | policy | api, service | test |
11must proveConfirmed | The console presents Create Anyway with a required explanation only when the refusal reports override authority; service checks decide whether creation proceeds. no proof recorded yet | permission | console | observed |
12Confirmed | Workspace data exports include duplicate-block override records. | policy | service | observed |
13must proveConfirmed | A draft check rejects record types other than contacts or organizations as an invalid request. no proof recorded yet | validation | api | observed |