01must proveConfirmed | The dataset catalog includes all registered workspace datasets, marks each person’s access, and counts usable datasets per application rather than hiding unauthorized entries. | permission | api, service | test |
02must proveConfirmed | Dataset descriptions and runs require query-surface access and the dataset’s query permission; missing access is refused with the permission named, while an unregistered dataset is not found. | permission | api, service | test |
03must proveConfirmed | When the dataset also declares a record-read permission, readers need both permissions, and a denied read permission makes its query surfaces unavailable despite a query grant. | permission | service | test |
04must proveConfirmed | A dataset query also requires access to its owning application, and a missing application grant produces a refusal naming that permission. | permission | api, service | test |
05must proveConfirmed | A description combines registered fields, workspace custom information and labels with permitted relationships, while excluding physical storage details. | invariant | service | test |
06Confirmed | The product should expose each registered record column for querying unless its owner records an exclusion reason. | policy | service | documented |
07must proveConfirmed | A changed field, label, classification or registration invalidates the relevant cached description so the next request reflects it. | invariant | service, database | test |
08must proveConfirmed | Descriptions advertise initial columns, ordering, criteria and discovery statuses, but execution does not add those suggested criteria to a submitted query. | policy | service | test |
09must proveConfirmed | Active custom objects become workspace datasets without deployment and require the custom-record query permission scoped to the particular object. | permission | service | test |
10must proveConfirmed | Application deployments register datasets through an internal invocation, whose response identifies rejected declarations so deployment can report them. | lifecycle | service | test |
11must proveConfirmed | Registration rejects workspace datasets without a workspace-bearing source and references that cross between workspace and system dataset scopes. | validation | service | test |
12must proveConfirmed | Registered record-opening fields must belong directly to the record; unknown fields and selected collection values are rejected. | validation | service | test |