01must proveProposed | Query execution confines source records and joins to the requested workspace, with database row security also preventing cross-workspace reads when a compiled predicate is absent. | invariant | service, database | test |
02must proveProposed | Queries use a read-only reader transaction with a time limit; timeouts produce an actionable limit message, and other failures reveal neither statement text nor stored data. | invariant | service, database | test |
03must proveProposed | Unsupported fields, operators and relationships are rejected without distinguishing inaccessible metadata from metadata that does not exist. | validation | service | test |
04must proveProposed | Criterion validation rejects blank text, empty identity lists, fractional integer values, unsafe whole numbers and dates outside the required calendar-date form. | validation | service | test |
05must proveProposed | Paging cursors carry the query’s ordered position, and malformed cursors, cursors from another query or cursors with incompatible keys are rejected. | validation | service | test |
06must proveProposed | Requested totals count all matching base records or groups in the page’s database snapshot, independently of cursor position and join multiplication; unrequested totals are omitted. | calculation | service | test |
07must proveProposed | Recently Viewed returns this person’s workspace records once each at their latest viewing time, newest first, and rejects system executions without a person. | policy | service | test |
08must proveProposed | The current-person criterion resolves from the execution identity on a user-bearing field with a compatible operator, and rejects unsuitable fields, operators and non-person executions. | policy | service | test |
09must proveProposed | Unsaved execution rejects requested-at-run values and supplied parameter maps, while validation reports those uses as located problems in a successful validation response. | validation | api, service | test |
10must proveProposed | Calendar and relative-date criteria use the workspace’s time zone and calendar, and date previews report the calendar used. | calculation | service | test |
11must proveProposed | Validation collects located query problems without executing the query, while execution stops at its first invalid part. | validation | service | test |
12must proveProposed | Linked result cells identify records whose identities the reader may select, and an override referring to a record absent from the result is rejected. | policy | service | test |
13must proveProposed | Reference columns display the referenced record’s name, fall back to its identity when nameless, and remain empty when absent; an explicitly selected identity stays separate. | calculation | service | test |
14must proveProposed | A field reached through a record reference supports one many-to-one traversal and rejects a second traversal. | validation | service | test |
15must proveProposed | The documented query bounds are 255 selected fields, five sort keys, 100 criteria at depth six, two to-one hops and pages of at most one thousand rows, defaulting to one hundred. | validation | api, service | documented |
16must proveProposed | Grouped calculations apply sums, averages, minima and maxima to the matching group rows, preserve appropriate result types, and yield no value for a field absent from every row. | calculation | service | test |