Implement canonical navigation phase 4 non-web runtime mapping

.spec/conformance/desktop_ui/manifest.json

@@ -33,6 +33,7 @@
     {"requirement_id":"desktop_ui.structure.transport_translation_modules","status":"verified","notes":"Verified by dedicated transport translation and diagnostics modules.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/transport.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/transport/normalize.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/transport/signal.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/transport/diagnostics.ex"}]},
     {"requirement_id":"desktop_ui.structure.platform_artifact_modules","status":"verified","notes":"Verified by dedicated artifact policy, build staging, and packaging modules.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/artifacts.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/build.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/package.ex"}]},
     {"requirement_id":"desktop_ui.structure.no_dsl_or_iur_authorship","status":"verified","notes":"Verified as a maintained package boundary that does not author UnifiedUi or UnifiedIUR.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui.ex"},{"kind":"command","run":"! grep -R -nE \"defmodule (UnifiedUi|UnifiedIUR)\" packages/desktop_ui/lib","cwd":"."}]},
+    {"requirement_id":"desktop_ui.structure.navigation_modules","status":"verified","notes":"Verified by dedicated navigation controller, registry, signal, and runtime integration modules plus focused navigation tests.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/controller.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/registry.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/signal.ex"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/navigation/controller_test.exs test/desktop_ui/navigation/registry_test.exs test/desktop_ui/navigation/signal_test.exs test/desktop_ui/navigation/integration_test.exs test/desktop_ui/canonical_navigation_transport_integration_test.exs test/desktop_ui/canonical_navigation_desktop_runtime_integration_test.exs test/desktop_ui/canonical_navigation_non_web_examples_integration_test.exs","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.native_widgets.direct_native_surface","status":"verified","notes":"Verified by the direct-native widget API and widget test coverage.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/widget.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/widgets.ex"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/widgets_test.exs"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.native_widgets.covers_canonical_iur_surface","status":"verified","notes":"Verified by the widget families, renderer mapping layer, and renderer tests.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/widgets.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/renderer/mapper.ex"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/renderer_test.exs"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.native_widgets.multiplatform_widget_meaning","status":"verified","notes":"Verified by shared examples, platform diagnostics, and package tests across targets.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/examples.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/platform/integration.ex"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/platform_test.exs"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},
@@ -56,6 +57,12 @@
     {"requirement_id":"desktop_ui.runtime.window_lifecycle_and_input","status":"verified","notes":"Verified by window lifecycle, event-loop, and event-routing runtime modules.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/runtime/window.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/runtime/event_loop.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/runtime/event_router.ex"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.runtime.interactive_visible_execution","status":"verified","notes":"Verified by compiled-host hit-testing, focus, scrolling, overlay transitions, and multiwindow interaction roundtrip coverage.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/sdl3/interaction_script.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/sdl3/visible_runner.ex"},{"kind":"path_exists","path":"packages/desktop_ui/native/desktop_ui_sdl3_host/src/main.c"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/sdl3_interaction_script_test.exs"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/sdl3_visible_runner_test.exs"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/sdl3_interactive_native_behavior_test.exs"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/sdl3_interaction_script_test.exs test/desktop_ui/sdl3_visible_runner_test.exs test/desktop_ui/sdl3_interactive_native_behavior_test.exs","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.runtime.platform_variation_bounded","status":"verified","notes":"Verified by explicit platform integration diagnostics and strict package validation.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/platform/integration.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/transport/normalize.ex"},{"kind":"command","run":"mix desktop_ui.validate --strict","cwd":"packages/desktop_ui"}]},
+    {"requirement_id":"desktop_ui.runtime.screen_navigation_support","status":"verified","notes":"Verified by the shared desktop runtime navigation layer and focused canonical navigation integration coverage.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/runtime/navigation.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation.ex"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/navigation/controller_test.exs test/desktop_ui/navigation/registry_test.exs test/desktop_ui/navigation/signal_test.exs test/desktop_ui/navigation/integration_test.exs test/desktop_ui/canonical_navigation_transport_integration_test.exs test/desktop_ui/canonical_navigation_desktop_runtime_integration_test.exs test/desktop_ui/canonical_navigation_non_web_examples_integration_test.exs","cwd":"packages/desktop_ui"}]},
+    {"requirement_id":"desktop_ui.runtime.navigation_controller_process","status":"verified","notes":"Verified by the navigation controller GenServer and focused controller lifecycle tests.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/controller.ex"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/navigation/controller_test.exs"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/navigation/controller_test.exs test/desktop_ui/navigation/lifecycle_test.exs","cwd":"packages/desktop_ui"}]},
+    {"requirement_id":"desktop_ui.runtime.screen_registry","status":"verified","notes":"Verified by the screen registry modules and registry resolution coverage.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/registry.ex"},{"kind":"path_exists","path":"packages/desktop_ui/test/desktop_ui/navigation/registry_test.exs"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/navigation/registry_test.exs test/desktop_ui/navigation/integration_test.exs","cwd":"packages/desktop_ui"}]},
+    {"requirement_id":"desktop_ui.runtime.navigation_actions","status":"verified","notes":"Verified by the canonical navigation action model and desktop runtime action coverage for navigate, replace, history, and modal transitions.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/signal.ex"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/navigation/controller_test.exs test/desktop_ui/navigation/signal_test.exs test/desktop_ui/canonical_navigation_desktop_runtime_integration_test.exs","cwd":"packages/desktop_ui"}]},
+    {"requirement_id":"desktop_ui.runtime.navigation_event_routing","status":"verified","notes":"Verified by transport and runtime routing that carry canonical navigation transitions into the desktop runtime.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/transport.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/runtime/navigation.ex"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/canonical_navigation_transport_integration_test.exs test/desktop_ui/canonical_navigation_desktop_runtime_integration_test.exs","cwd":"packages/desktop_ui"}]},
+    {"requirement_id":"desktop_ui.runtime.modal_stack_independence","status":"verified","notes":"Verified by navigation state and runtime integration coverage that keeps modal transitions independent from primary screen history.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/state.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/navigation/controller.ex"},{"kind":"command","run":"mix deps.get && mix test test/desktop_ui/navigation/state_test.exs test/desktop_ui/navigation/integration_test.exs test/desktop_ui/canonical_navigation_desktop_runtime_integration_test.exs","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.iur_renderer.accepts_canonical_iur","status":"verified","notes":"Verified by the canonical renderer entrypoints and renderer tests.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/renderer.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/renderer/mapper.ex"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.iur_renderer.full_construct_coverage","status":"verified","notes":"Verified by canonical mapping coverage across widgets, layout, and layering surfaces.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/renderer/mapper.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/layout.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/layer.ex"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},
     {"requirement_id":"desktop_ui.iur_renderer.deterministic_mapping","status":"verified","notes":"Verified by the canonical renderer mapping implementation and package-local tests.","evidence":[{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/renderer.ex"},{"kind":"path_exists","path":"packages/desktop_ui/lib/desktop_ui/renderer/mapper.ex"},{"kind":"command","run":"mix deps.get && mix test","cwd":"packages/desktop_ui"}]},

.spec/conformance/elm_ui/manifest.json

@@ -518,6 +518,46 @@
         }
       ]
     },
+    {
+      "requirement_id": "elm_ui.server_runtime.canonical_navigation_transition_mapping",
+      "status": "verified",
+      "notes": "Verified by the server-side navigation mapper and focused canonical web-runtime navigation coverage.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/elm_ui/lib/elm_ui/server_runtime/navigation.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/elm_ui/test/elm_ui/canonical_navigation_web_runtime_integration_test.exs"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/elm_ui/runtime_navigation_test.exs test/elm_ui/canonical_navigation_web_runtime_integration_test.exs",
+          "cwd": "packages/elm_ui"
+        }
+      ]
+    },
+    {
+      "requirement_id": "elm_ui.server_runtime.host_route_resolution_boundary",
+      "status": "verified",
+      "notes": "Verified by the server-runtime navigation boundary that keeps host route resolution outside the authored contract while preserving host integration options.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/elm_ui/lib/elm_ui/server_runtime/navigation.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/elm_ui/test/elm_ui/canonical_navigation_web_runtime_integration_test.exs"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/elm_ui/runtime_navigation_test.exs test/elm_ui/canonical_navigation_web_runtime_integration_test.exs",
+          "cwd": "packages/elm_ui"
+        }
+      ]
+    },
     {
       "requirement_id": "elm_ui.frontend_runtime.elm_rendering_layer",
       "status": "verified",

.spec/conformance/live_ui/manifest.json

@@ -594,6 +594,50 @@
         }
       ]
     },
+    {
+      "requirement_id": "live_ui.runtime.canonical_navigation_transition_mapping",
+      "status": "verified",
+      "notes": "Verified by the canonical navigation runtime mapper, maintained comparison examples, and focused web-runtime navigation tests.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/live_ui/lib/live_ui/runtime/navigation.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/live_ui/lib/live_ui/examples/web_navigation_transition_comparison.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/live_ui/test/live_ui/canonical_navigation_web_runtime_integration_test.exs"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/live_ui/runtime_navigation_test.exs test/live_ui/canonical_navigation_web_runtime_integration_test.exs",
+          "cwd": "packages/live_ui"
+        }
+      ]
+    },
+    {
+      "requirement_id": "live_ui.runtime.host_route_resolution_boundary",
+      "status": "verified",
+      "notes": "Verified by the runtime navigation boundary that keeps host route lookup outside the authored contract while still allowing host integration in focused tests.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/live_ui/lib/live_ui/runtime/navigation.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/live_ui/test/live_ui/canonical_navigation_web_runtime_integration_test.exs"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/live_ui/runtime_navigation_test.exs test/live_ui/canonical_navigation_web_runtime_integration_test.exs",
+          "cwd": "packages/live_ui"
+        }
+      ]
+    },
     {
       "requirement_id": "live_ui.iur_renderer.accepts_canonical_iur",
       "status": "verified",

.spec/conformance/unified_iur/manifest.json

@@ -806,6 +806,50 @@
         }
       ]
     },
+    {
+      "requirement_id": "unified_iur.interactions.navigation_transition_representation",
+      "status": "verified",
+      "notes": "Verified by canonical navigation transition descriptor helpers, fixtures, and focused boundary integration coverage.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/lib/unified_iur/interaction.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/lib/unified_iur/fixtures.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/test/unified_iur/canonical_navigation_boundary_integration_test.exs"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/unified_iur/interaction_test.exs test/unified_iur/canonical_navigation_boundary_integration_test.exs",
+          "cwd": "packages/unified_iur"
+        }
+      ]
+    },
+    {
+      "requirement_id": "unified_iur.interactions.no_host_router_assumptions",
+      "status": "verified",
+      "notes": "Verified by canonical navigation boundary validation that rejects host-router leakage and preserves portable target descriptors.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/lib/unified_iur/interactions/transport.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/test/unified_iur/canonical_navigation_boundary_integration_test.exs"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/unified_iur/interactions_transport_test.exs test/unified_iur/canonical_navigation_boundary_integration_test.exs",
+          "cwd": "packages/unified_iur"
+        }
+      ]
+    },
     {
       "requirement_id": "unified_iur.interoperability.runtime_library_consumption",
       "status": "verified",
@@ -958,6 +1002,30 @@
           "cwd": "."
         }
       ]
+    },
+    {
+      "requirement_id": "unified_iur.tooling.navigation_transition_review_surfaces",
+      "status": "verified",
+      "notes": "Verified by maintained navigation fixtures plus inspection and tooling coverage that keep canonical transition descriptors reviewable without a runtime library.",
+      "evidence": [
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/lib/unified_iur/fixtures.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/lib/unified_iur/inspect.ex"
+        },
+        {
+          "kind": "path_exists",
+          "path": "packages/unified_iur/lib/unified_iur/tooling.ex"
+        },
+        {
+          "kind": "command",
+          "run": "mix deps.get && mix test test/unified_iur/canonical_navigation_boundary_integration_test.exs test/unified_iur/inspect_test.exs test/unified_iur/tooling_test.exs",
+          "cwd": "packages/unified_iur"
+        }
+      ]
     }
   ]
 }