refactor(runtime): address residue ownership review

Author: thymikee

docs/agents/adr-0019-unit.md

@@ -58,7 +58,7 @@ Each step names its declaration site; read that, not prose.
 - A migrated command with a legacy fallback, a provider/local fallback, or a `dispatchCommand`
   branch left "just in case" — the row's retirement claim rejects it, and so does review.
 - Tests green because they mock the old seam. Grep the command's name across
-  `vi.mock('.../core/dispatch.ts')` users before calling the tail closed.
+  `vi.mock('.../core/dispatch-resolve.ts')` users before calling the tail closed.
 - A per-command policy file in `scripts/layering/`. If the row's generalized columns cannot
   express the invariant, first return to step 3; extensions are the exception and each one names
   what the seam could not make impossible.

packages/contracts/package.json

@@ -191,9 +191,13 @@
       "types": "./src/host-diagnostics.ts",
       "default": "./src/host-diagnostics.ts"
     },
-    "./host-platform-services": {
-      "types": "./src/host-platform-services.ts",
-      "default": "./src/host-platform-services.ts"
+    "./daemon-owner-cleanup": {
+      "types": "./src/daemon-owner-cleanup.ts",
+      "default": "./src/daemon-owner-cleanup.ts"
+    },
+    "./managed-web-backend": {
+      "types": "./src/managed-web-backend.ts",
+      "default": "./src/managed-web-backend.ts"
     },
     "./gesture-plan-types": {
       "types": "./src/gesture-plan-types.ts",

packages/contracts/src/clipboard.ts

@@ -1,6 +1,6 @@
 /**
- * Closed result of the `clipboard` command. Mirrors the dispatch handler's
- * literal return EXACTLY (src/core/dispatch.ts `handleClipboardCommand`): a
+ * Closed result of the `clipboard` command. Mirrors the session runtime's
+ * literal return exactly (`src/daemon/handlers/session-clipboard.ts`): a
  * discriminated union on `action`. `read` returns the clipboard `text`; `write`
  * reports the written `textLength` plus the `successText` message. The handler
  * spreads nothing else, so each branch is closed.

packages/contracts/src/daemon-owner-cleanup.ts

@@ -0,0 +1,10 @@
+/** Identity of the daemon process whose retained host resources may be reconciled. */
+export type DaemonOwnerIdentity = Readonly<{
+  pid: number;
+  startTime?: string | null;
+}>;
+
+/** Host-scoped cleanup used after a daemon has stopped and can no longer clean itself. */
+export type DaemonOwnerCleanup = Readonly<{
+  cleanup(owner: DaemonOwnerIdentity): Promise<void>;
+}>;

packages/contracts/src/keyboard.ts

@@ -1,7 +1,6 @@
 /**
- * Closed result of the `keyboard` command, grounded in the dispatch handlers'
- * literal returns (src/core/dispatch.ts `handleAndroidKeyboardCommand` /
- * `handleIosKeyboardCommand`).
+ * Closed result of the `keyboard` command, grounded in the runtime operation
+ * results projected by `src/daemon/keyboard-runtime.ts`.
  *
  * `platform` and `action` are always present; the remaining fields appear per
  * branch (Android `status`/`dismiss` carry the keyboard-state fields; `enter`

…/contracts/src/host-platform-services.ts …ges/contracts/src/managed-web-backend.tspackages/contracts/src/host-platform-services.ts renamed to packages/contracts/src/managed-web-backend.ts packages/contracts/src/host-platform-services.ts renamed to packages/contracts/src/managed-web-backend.ts

@@ -1,14 +1,3 @@
-/** Identity of the daemon process whose retained host resources may be reconciled. */
-export type DaemonOwnerIdentity = Readonly<{
-  pid: number;
-  startTime?: string | null;
-}>;
-
-/** Host-scoped cleanup used after a daemon has stopped and can no longer clean itself. */
-export type DaemonOwnerCleanup = Readonly<{
-  cleanup(owner: DaemonOwnerIdentity): Promise<void>;
-}>;
-
 export type ManagedWebBackendStatus = Readonly<{
   version: string;
   stateDir: string;

packages/contracts/src/navigation.ts

@@ -4,9 +4,8 @@ import type { SettleObservation } from './interaction.ts';
 import type { TvRemoteButton } from './tv-remote.ts';
 
 /**
- * Closed results of the navigation/global action commands. Each mirrors the
- * dispatch handler's literal return EXACTLY (src/core/dispatch.ts
- * `DISPATCH_HANDLERS`): a fixed `action` discriminant plus the always-present
+ * Closed results of the navigation/global action commands. Each mirrors its
+ * request-scoped runtime's literal return: a fixed `action` discriminant plus the always-present
  * `successText` message (the handlers always pass a non-empty message, so it is
  * required here). The handlers spread nothing else, so the shapes are closed —
  * consistent with the `viewport` contract, the generic-dispatch Android
@@ -22,7 +21,7 @@ export type HomeCommandResult = {
 /**
  * `back` — `{ action: 'back', mode, message: 'Back' }`; `mode` defaults to
  * `'in-app'`. The one field the generic route may add on top of the dispatch
- * handler's literal return: `settle`, the opt-in `--settle` observation
+ * runtime's literal return: `settle`, the opt-in `--settle` observation
  * (#1638), attached after the command by the generic dispatcher.
  */
 export type BackCommandResult = {

scripts/layering/package-boundaries.test.ts

@@ -97,7 +97,7 @@ const CONTRACT_EXPORTS = [
   '@agent-device/contracts/gesture-runtime',
   '@agent-device/contracts/home-runtime',
   '@agent-device/contracts/host-diagnostics',
-  '@agent-device/contracts/host-platform-services',
+  '@agent-device/contracts/daemon-owner-cleanup',
   '@agent-device/contracts/interaction',
   '@agent-device/contracts/interaction-error',
   '@agent-device/contracts/interaction-guarantees',
@@ -107,6 +107,7 @@ const CONTRACT_EXPORTS = [
   '@agent-device/contracts/keyboard-runtime',
   '@agent-device/contracts/local-interactor-operation-set',
   '@agent-device/contracts/logs-runtime-plan',
+  '@agent-device/contracts/managed-web-backend',
   '@agent-device/contracts/navigation',
   '@agent-device/contracts/network-runtime',
   '@agent-device/contracts/network-runtime-plan',

scripts/layering/runtime-command-cutover-extensions.test.ts

@@ -244,12 +244,10 @@ test('lifecycle route proofs accept one shared admission per descriptor operatio
   assert.deepEqual(
     runtimeLifecycleRouteBindingViolations(
       lifecycleSources([
+        [RUNTIME_HANDLER_FILE, lifecycleAdmissionSource('admitClearRuntime', 'admitRuntimeUse')],
         [
-          RUNTIME_HANDLER_FILE,
-          [
-            lifecycleAdmissionSource('admitClearRuntime', 'admitRuntimeUse'),
-            lifecycleAdmissionSource('readGestureViewport', 'admitRuntimeUse'),
-          ].join('\n'),
+          'src/daemon/gesture-runtime.ts',
+          lifecycleAdmissionSource('resolveBoundGestureViewportRuntime', 'admitRuntimeUse'),
         ],
         [
           PORT_REVERSE_HANDLER_FILE,

scripts/layering/runtime-command-cutover-lifecycle.ts

@@ -68,7 +68,10 @@ const LIFECYCLE_HANDLER_RULES = {
     file: 'src/daemon/handlers/session-runtime-command.ts',
     admissions: [
       { functionName: 'admitClearRuntime' },
-      { functionName: 'readGestureViewport' },
+      {
+        functionName: 'resolveBoundGestureViewportRuntime',
+        file: 'src/daemon/gesture-runtime.ts',
+      },
       {
         functionName: 'handlePortReverseCommand',
         file: 'src/daemon/handlers/session-runtime-port-reverse.ts',