01must proveProposed | Workspace content waits until the access context matches the address workspace exactly, and an answer naming a different workspace fails entry. | invariant | console | documented |
02must proveProposed | An unknown workspace identifier produces the workspace not-found presentation. | validation | console | test |
03must proveProposed | A non-staff person who cannot reach the named workspace remains on the access-denied presentation. | permission | console | test |
04must proveProposed | A denied destination links back to the current workspace, otherwise the first other reachable workspace, and offers no return workspace when none is available. | calculation | console | test |
05must proveProposed | An out-of-service workspace uses the unavailable presentation, offering HQ to staff or another reachable workspace to other users. | validation | console | test |
06Proposed | The gate retains its last refusal for ten seconds across remounts and can request access again on a later visit. | lifecycle | console | observed |
07Proposed | Immediately after leaving for HQ, entry to the workspace just left waits six seconds before retrying if its address remains active. | lifecycle | console | observed |
08must proveProposed | An entry failure outside the recognized refusal cases displays the failure message. | validation | console | observed |
09must proveProposed | A fresh direct load reuses the boot request’s answer for the address workspace rather than issuing a second gate request. | policy | console | observed react-console:lib/security-context/provider.tsx:pendingUrlAnswer, openTenantId |
10must proveProposed | The gate decodes the workspace identifier and compares its lowercase value. | validation | console | observed |