01Proposed | The main menu presents application sections in registry order, then Websites, with Tasks, Queries and Reports & Dashboards grouped as Tools. | policy | console | observed react-console:components/console/nav-config.ts:primaryNav, toolLinks, applicationLinks |
02must proveProposed | A section with an application domain appears only when that domain is enabled, retains only permitted entries and disappears when no entries remain. no proof recorded yet | permission | console | test |
03must proveProposed | Links and tools with a permission require it, while links without a permission remain visible to signed-in users. no proof recorded yet | permission | console | test |
04must proveProposed | The static primary navigation retains an application section only when at least one registered destination is implemented. no proof recorded yet | policy | console | observed react-console:components/console/nav-config.ts:primaryNav, hasBuiltItem |
05Proposed | A visible application section retains its planned entries, whose destinations display placeholders. | policy | console | observed |
06must proveProposed | Outside filtering, opening a section closes the others and the current page’s section opens automatically, including after delayed custom navigation arrives; filtering opens all matching sections. no proof recorded yet | lifecycle | console | observed |
07must proveProposed | Navigation highlights the current entry and descendants unless exact matching is requested, and highlights its containing section in collapsed mode. no proof recorded yet | calculation | console | observed |
08Proposed | Choosing a collapsed section expands navigation and opens that section. | lifecycle | console | observed |
09must proveProposed | The filter matches trimmed text without case sensitivity, keeps all entries of a matching section title, expands retained sections and highlights the first matching text. no proof recorded yet | calculation | console | observed react-console:components/console/app-sidebar.tsx:filterSections, Highlight |
10Proposed | Escape and the clear control reset the filter, and an empty result displays a message containing the entered text. | validation | console | observed react-console:components/console/app-sidebar.tsx:SidebarFilter, NoMatches |
11Proposed | Websites has neither an application nor a permission check in this menu and relies on its owning service for authority. | permission | console | observed |
12Proposed | The flattened menu retains the first occurrence of a repeated destination for placeholder lookup and page naming. | invariant | console | observed |
13must proveProposed | In workspace application navigation, Accounting sits immediately after CRM in the application registry, while every other registry entry retains its relative order from before the move. origin: RS-20 no proof recorded yet | policy | console | documented |