01must proveProposed | Only applications listed in the security context enable their mapped console domains, for staff and customer users alike. no proof recorded yet | policy | console | test |
02must proveProposed | Platform enables Configuration, Security, Maintenance, Tools and Eligibility; its Accounting, Commerce and Events keys map to their console names, and Publications, Advertising or Subscriptions can enable Publications. no proof recorded yet | calculation | console | test |
03must proveProposed | A staff wildcard permission grant cannot enable a domain absent from the listed applications. no proof recorded yet | permission | console | test |
04must proveProposed | Allowed backend permissions grant their mapped console keys, including multiple console keys for one backend permission. no proof recorded yet | calculation | console | test |
05must proveProposed | A console domain with no backend aliases receives its item keys while enabled unless denied, and adding any alias makes its mapped authority decisive. no proof recorded yet | calculation | console | test |
06must proveProposed | At least one listed application supplies console access, staff identity supplies console system access, and an enabled domain supplies its domain access key subject to explicit denial. no proof recorded yet | calculation | console | observed |
07must proveProposed | In normalized console checks, explicit denies override grants, prefix wildcards cover descendant permissions and keys without covering authority fail. no proof recorded yet | calculation | console | test |
08must proveProposed | A permission request with unknown entitlements is refused. no proof recorded yet | invariant | console | test |
09Proposed | Feature values are copied from the context and do not independently enable application domains. | policy | console | test |
10must proveProposed | A scoped permission reveals its surface when no record is checked, permits only its named records when scope is checked, and does not narrow an existing workspace-wide grant. no proof recorded yet | permission | console | test |
11must proveProposed | While deriving console permissions, a backend allowed key takes precedence over a contradictory stale deny rule and is not added to the derived denied set. no proof recorded yet | calculation | console | test |