01must proveProposed | Shared queries execute with the runner’s own dataset permissions and never confer additional field, row or dataset access. | permission | service | test |
02must proveProposed | Runs accept paging changes, requested values and a refinement; paging options merge into stored paging, and other request content is rejected. | validation | api | test |
03must proveProposed | Requested-at-run declarations must match their criterion types and options, and saving rejects undeclared, unused, mismatched or unsupported requests for values. | validation | service | test |
04must proveProposed | Execution supplies given values or defaults, preserves text exactly, and rejects missing required values, wrong types, out-of-bound values, disallowed options and unrequested names at their locations. | validation | service | test |
05must proveProposed | Refinement adds criteria to the stored criteria, may replace columns, grouping and ordering, and retains the stored scope, joins, links and requested values without widening the matching population. | policy | service | test |
06must proveProposed | A reader’s refinement can select permitted dataset columns omitted by the author. | policy | service | test |
07must proveProposed | A refinement cannot introduce requested-at-run values or substitute for a required supplied value. | validation | service | test |
08must proveProposed | Applications can enumerate a saved query’s record identities in ordered pages of one thousand, resume with a criteria-bound cursor and definition fingerprint, and request a count that reports when its supplied cap is reached. | policy | service | test |
09must proveProposed | Each population page rebuilds the named person’s access and rejects missing, suspended, portal or wrong-customer users and missing permissions; inaccessible saved queries are reported as missing. | permission | service | test |
10must proveProposed | Recently Viewed queries, unanswered required values and joins that repeat base records are rejected as application populations. | validation | service | test |
11must proveProposed | Population logs identify the query, dataset and criteria structure without including values or record identities. | invariant | service | test |
12Proposed | Population entry points restrict invocation to their designated application service roles, with separate Accounting and Marketing entry points. | permission | service | documented |