01must proveConfirmed | The view-reporting registry accepts contacts, organizations and committees and rejects unsupported record types with the supported vocabulary. | validation | service | test |
02must proveConfirmed | View reporting resolves the target under the caller’s record-read and dataset-query authority before writing; refused or missing targets create no event. ✓ A request satisfying the stated conditions receives the permitted result.✗ A request outside the allowed conditions cannot establish the claimed result. | permission | api, service | test |
03must proveConfirmed | Organization views require organization readership rather than contact readership. | permission | service | test |
04must proveConfirmed | The server derives attribution and event identity from verified execution context and refuses request bodies that supply those values or undeclared fields. | validation | api | test |
05must proveConfirmed | A repeat visit key for the same record returns the original event as a duplicate, while reuse for another record is refused and a fresh visit needs a fresh key. | invariant | service, database | test |
06must proveConfirmed | Visit keys use UUID form, are normalized to lower case and are unique within a person’s workspace history. | validation | service, database | test |
07must proveConfirmed | View metadata admits only short application and screen tokens and stores no record name, image or content. | validation | service, database | test |
08must proveConfirmed | Console tracking records one visit after a successfully displayed record navigation; tab changes retain that visit, returning or reloading creates another, and unresolved screens report nothing. | policy | console | test |
09must proveConfirmed | View-reporting errors remain invisible to the person; retryable transport, throttle and server failures reuse the visit key, while client refusals are not retried. | policy | console | test |
10must proveConfirmed | The custom-record read endpoint records a server-attributed view with a newly generated key rather than relying on console reporting. | policy | service | observed |