01must proveProposed | Console work uses HQ or workspace console roots, while route guards separately allow authentication, previews, portals, public payments, print pages and temporary legacy entry points. no proof recorded yet | invariant | console | test |
02Proposed | Workspace addresses place the product area before its resource and optional record, nest child records under parents and organize Configuration separately by module. | invariant | console | documented |
03must proveProposed | Console-defined path words are lowercase or camelCase without hyphens or underscores, while data identifiers may include hyphens. no proof recorded yet | validation | console | test |
04must proveProposed | Shared builders construct console links and source guards check literal paths and page inventory with declared non-console and redirect exceptions. no proof recorded yet | invariant | console | test |
05must proveProposed | A Configuration module key cannot also name a cross-module Configuration area. no proof recorded yet | validation | console | test |
06must proveProposed | Record links survive reload in their workspace, and browser history moves between console pages. no proof recorded yet | invariant | console | test |
07must proveProposed | Sign-in after a signed-out deep link returns to its requested page and query. no proof recorded yet | lifecycle | console | test |
08must proveProposed | A registered planned destination renders a named, permission- and application-guarded placeholder, while an unregistered destination returns not found. no proof recorded yet | policy | console | observed |
09Proposed | Builders accept queries and legacy redirects retain them, while switching workspaces intentionally removes the query. | invariant | console | observed |
10Proposed | Former Eligibility addresses permanently redirect to the corresponding Configuration rule screen within the same workspace. | lifecycle | console | test |