Application model.
FRAMEWORKREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| componentProjection | typed Rust properties and events. Semantic RSX. Registered CSS |
| desktopRenderer | system WebView via Wry |
| name | Dioxus |
| version | 0.7.0 |
NAVIGATIONREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| maxSubmenuDepth | 1 |
| narrow | secondary panes may collapse. Location and restore command remain visible |
| preference | visible labeled navigation with stable categories |
| search | complements browse |
| wide | primary navigation and frequent commands remain visible |
LAYERSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0].authority | Rust domain model |
| [0].contract | authoritative entities, lifecycles, selection, and effects |
| [0].layer | DOMAIN STATE |
| [1].authority | Rust command registry |
| [1].contract | one identity across menu, toolbar, context, shortcut, and command search |
| [1].layer | COMMAND MODEL |
| [2].authority | typed component properties |
| [2].contract | semantic RSX, registered CSS, visible state, no domain authority |
| [2].layer | DIOXUS UI |
| [3].authority | narrow Rust adapters |
| [3].contract | validate input and current authority at the effect boundary |
| [3].layer | NATIVE SERVICES |
| [4].authority | platform renderer |
| [4].contract | verify WebKit, WebView2, and WebKitGTK behavior |
| [4].layer | SYSTEM WEBVIEW |
DENSITYREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| definition | useful legible information and reachable actions per unit area |
| metadataType | UI-02 |
| pointerControl | 36 |
| primaryType | UI-01 |
| standardRow | 44 |
| touchTarget | 48 |
Command and widget contracts.
COMMAND FIELDSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0].field | id |
| [0].meaning | stable machine identity |
| [1].field | label |
| [1].meaning | visible action phrase |
| [2].field | role |
| [2].meaning | ordinary, primary, cancel, destructive, toggle, or navigation |
| [3].field | scope |
| [3].meaning | application, window, document, pane, selection, or transient context |
| [4].field | enabled |
| [4].meaning | current availability |
| [5].field | disabled_reason |
| [5].meaning | explanation when useful |
| [6].field | checked |
| [6].meaning | optional toggle state |
| [7].field | shortcut |
| [7].meaning | platform-resolved shortcut, if assigned |
| [8].field | requires_input |
| [8].meaning | whether another surface opens before completion |
| [9].field | authority |
| [9].meaning | policy or privilege checked at the effect boundary |
| [10].field | handler |
| [10].meaning | one invocation path |
| [11].field | telemetry |
| [11].meaning | consequential evidence policy |
INTERACTION STATESREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | enabled |
| [1] | hover |
| [2] | focus-visible |
| [3] | pressed |
| [4] | selected |
| [5] | current destination |
| [6] | checked or mixed |
| [7] | pending |
| [8] | live |
| [9] | error |
| [10] | disabled |
| [11] | unavailable because authority verification failed |
COMMAND CONTRACTSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | Every projection shares command identity, label, role, enabled state, checked state, shortcut, scope, authority, and invocation policy. |
| [1] | A hidden toolbar control does not make a command unavailable. |
| [2] | Unavailable known commands remain visible and disabled when disclosure is safe. |
| [3] | A command label ends in an ellipsis when more information is required before completion. |
| [4] | A destructive command never receives the ordinary primary role. |
| [5] | A view has no more than one ordinary primary action unless evidence establishes two equal commits. |
WIDGET CONTRACTSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | native or ARIA semantics |
| [1] | accessible name, description, and state |
| [2] | keyboard model and focus restoration |
| [3] | pointer and touch model when applicable |
| [4] | zoom and text-resize behavior |
| [5] | high-contrast and reduced-motion behavior |
| [6] | disabled and error behavior |
| [7] | automated and manual verification boundaries |
DIOXUS PROJECTIONSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | Approved visual components are Rust components with typed properties and explicit events. |
| [1] | Components emit native semantic elements through RSX when those elements satisfy the contract. |
| [2] | Shared application state uses typed Rust state and signals. Presentation components do not own domain authority. |
| [3] | JavaScript evaluation is limited to capabilities without an adequate Dioxus interface. |
| [4] | Interactive charts and diagrams prefer semantic SVG and DOM projections. |
| [5] | Canvas instruments isolate JavaScript in a reviewed adapter and expose an equivalent accessible entity model. |
| [6] | SSR tests can verify markup and properties but do not verify browser interaction. |
| [7] | Playwright verifies keyboard, pointer, focus, accessibility, resize, and WebView behavior at the rendered boundary. |
Collection and trust contracts.
COLLECTIONSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | A sidebar preserves one current destination. Object selection remains a separate state. |
| [1] | A sidebar shows at most two hierarchy levels. Deeper hierarchy uses an outline or another pane. |
| [2] | A split view declares minimum and default sizes, collapse behavior, restoration, and persistence. |
| [3] | A table contains nonhierarchical rows. Hierarchical records use an outline or tree table. |
| [4] | Sortable columns expose direction to assistive technology. |
| [5] | Resizable columns and panes provide keyboard alternatives. |
TEMPORARY STATEREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | A popover is source-anchored, contains a few related tasks, and has one active instance per window. |
| [1] | A tooltip contains brief explanatory text. Essential instructions appear elsewhere. |
| [2] | A dialog contains one bounded task and uses the registered cancel, ordinary commit, and destructive commit roles. |
| [3] | A toast is never the only record of failure or a consequential result. |
TRUSTREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | Dioxus UI components request consequential effects through narrow typed Rust services. |
| [1] | Visible or enabled appearance never establishes authority. |
| [2] | Rust handlers validate identifiers, paths, URLs, drag payloads, clipboard data, and native integration results. |
| [3] | Presentation components do not receive arbitrary file, network, subprocess, secret, or platform authority. |
| [4] | document::eval is confined to reviewed adapters when no adequate typed interface exists. |
| [5] | Wry and native crates document platform support, authority, failure behavior, and update ownership. |
| [6] | Consequential effects record command identity, principal, target, result, and time under the retention policy. |
NAVIGATION CONTRACTSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | Wide windows keep primary navigation and high-frequency commands visible. |
| [1] | Search complements browse and is not the only way to discover ordinary destinations or commands. |
| [2] | Primary navigation uses stable domain terms and does not rely on unlabeled icons. |
| [3] | Menus remain flat with no more than one submenu level. |
| [4] | Frequently used commands remain visible in their toolbar or pane. The menu and command search carry the long tail. |
| [5] | Narrow windows may collapse secondary panes only when location and a direct restore command remain visible. |
| [6] | Cards, dashboard tiles, carousels, and hidden more-collections do not replace a dense list, table, outline, or category index. |
| [7] | Pane sizes, column sizes, expansion state, and last valid location persist by workspace identity. |
Platforms and families.
COMPONENT FAMILIESREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0].current | buttons, links, toolbar |
| [0].family | COMMANDS |
| [0].required | shared registry, shortcuts, command search, platform menu projection |
| [0].status | P0 |
| [1].current | select only |
| [1].family | MENUS |
| [1].required | flat command and context menus, checked and disabled items, shallow submenu |
| [1].status | P0 |
| [2].current | ordinary and destructive |
| [2].family | BUTTONS |
| [2].required | icon, toggle, group, segmented, and split command |
| [2].status | P0 |
| [3].current | rail links and tabs |
| [3].family | NAVIGATION |
| [3].required | visible application sidebar or rail with adaptive collapse |
| [3].status | P0 |
| [4].current | dense data table |
| [4].family | COLLECTIONS |
| [4].required | list, outline or tree, sortable and resizable columns |
| [4].status | P0 |
| [5].current | fixed workbench panes |
| [5].family | WORKSPACE |
| [5].required | resizable and hideable split panes with remembered sizes |
| [5].status | P0 |
| [6].current | input and select |
| [6].family | TEXT CHOICE |
| [6].required | combo box, autocomplete, and token field |
| [6].status | P0 |
| [7].current | dialog and inspection popup |
| [7].family | TEMPORARY SURFACES |
| [7].required | general tooltip, anchored popover, and explicit lifecycle |
| [7].status | P0 |
| [8].current | message, progress, meter, trace |
| [8].family | FEEDBACK |
| [8].required | persistent notice, busy or stalled state, accountable toast |
| [8].status | P0 |
| [9].current | search input |
| [9].family | SEARCH |
| [9].required | scope, suggestions, results status, and recent query policy |
| [9].status | P1 |
| [10].current | telemetry and status bar |
| [10].family | STATUS + PATH |
| [10].required | bounded badge, status indicator, and path control |
| [10].status | P1 |
| [11].current | not specified |
| [11].family | DRAG + DROP |
| [11].required | drop target, reorder, keyboard alternative, and result evidence |
| [11].status | P1 |
| [12].current | not required |
| [12].family | MOBILE-PRIMARY |
| [12].required | FAB, bottom navigation, bottom sheet, carousel only with a mobile goal |
| [12].status | DEFER |
| [13].current | prohibited |
| [13].family | CARDS + ELEVATION |
| [13].required | use fields, frames, panes, lists, tables, and outlines |
| [13].status | REJECT |
SOURCESREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0].adopt | desktop commands, keyboard, panes, outlines, platform conventions |
| [0].reject | glass and platform appearance |
| [0].source | APPLE HIG |
| [1].adopt | family taxonomy, complete states, adaptive navigation, explicit feedback roles |
| [1].reject | cards, elevation, pills, FAB defaults, shape morphing |
| [1].source | MATERIAL 3 |
| [2].adopt | typed Rust components, signals, semantic RSX, system WebView, rendered tests |
| [2].reject | unbounded JavaScript evaluation and presentation-owned domain state |
| [2].source | DIOXUS 0.7 |
PLATFORM SURFACESREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | native window frame and controls |
| [1] | application menu |
| [2] | open, save, and folder selection |
| [3] | system notifications |
| [4] | tray integration only for a real background-access goal |
| [5] | operating-system permission requests |
PLATFORM CONTRACTSREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | Prefer audited operating-system integrations for the window frame, application menu, file and folder selection, notifications, permissions, and justified tray behavior. |
| [1] | Retain native title bars unless a recorded requirement outweighs the lost platform behavior. |
| [2] | Record and test the selected Rust or Wry integration on every supported platform. |
| [3] | Do not custom-draw an imitation merely to match application content. |
VERIFICATION GATESREGISTERED DICTIONARY / ARRAY
| PATH | VALUE |
|---|---|
| [0] | Public semantics and states are registered in the manifest. |
| [1] | Pointer, keyboard, zoom, reduced-motion, high-contrast, and disabled behavior pass. |
| [2] | Focus entry, traversal, Escape, dismissal, and restoration pass. |
| [3] | Native and WebView command projections agree. |
| [4] | Restart and window reconstruction preserve required state. |
| [5] | Authorization denial and native-service failure close safely with an intelligible result. |
| [6] | macOS, Windows, and Linux tests cover every native surface used. |
| [7] | Screenshots cover desktop, narrow window, focus, hover, selected, error, and disabled states. |