feat(runtime): route ledger + conformance guard for the dispatcher↔client surface (#3563)

#3528's root-cause class — a route that exists and works while
@objectstack/client has no way to express it — now has an inventory and a
ratchet.

route-ledger.ts records the audited disposition of every dispatcher route:
sdk (with the client method named) / gap / server-only / public / dynamic /
mismatch. The audit found 27 gaps across 6 domains — /actions is entirely
unreachable from the SDK (the largest hole), /keys has no SDK path to mint an
API key, /share-links and /security have zero expression, /packages exposes 6
of 17 lifecycle routes, plus 4 shape mismatches where the client speaks REST
dialect at dispatcher-only routes.

route-ledger.conformance.test.ts is the guard, and it bites in both
directions (each verified to fail when broken):

- a dispatcher domain registered with no ledger entry fails — a new route
  surface cannot land without a reviewed SDK disposition;
- a ledger entry claiming a client method that does not exist fails — the
  ledger cannot claim coverage the SDK does not have;
- the gap count is ratcheted at 27 — closing a gap lowers it, raising it is a
  reviewed decision.

The client is imported as a built artifact via a relative path deliberately:
a runtime→client package edge would close a turbo build cycle (client's own
devDeps point back at runtime for its Hono tests). A vitest subpath alias for
@objectstack/core/logger makes that dist resolvable under the test aliases.

Full findings — including the stale DEFAULT_DISPATCHER_ROUTES spec table that
CLIENT_SPEC_COMPLIANCE.md anchors its "FULLY COMPLIANT" claim on, mount-less
dispatch branches, the RealtimeAPI stub, six phantom methods in the client
README, five surfaces with zero tests, and the un-audited @objectstack/rest
second surface — live in docs/audits/2026-07-dispatcher-client-route-coverage.md
with proposed follow-up slicing.

No runtime behavior change.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LX9ut3MK3KykE11S9bJmv5

Author: claude

.changeset/route-ledger-audit-guard.md

@@ -0,0 +1,15 @@
+---
+"@objectstack/runtime": patch
+---
+
+Route ledger + conformance guard for the dispatcher↔client surface (#3563)
+
+#3528's root-cause class — a route that exists and works while
+`@objectstack/client` has no way to express it — now has an inventory and a
+ratchet. `route-ledger.ts` records the audited disposition of every dispatcher
+route (sdk / gap / server-only / public / dynamic / mismatch);
+`route-ledger.conformance.test.ts` fails when a dispatcher domain lands with no
+ledger entry, when an entry claims a client method that doesn't exist, and when
+the audited gap count (27 at PR-1) grows. Findings and follow-up slicing live
+in `docs/audits/2026-07-dispatcher-client-route-coverage.md`. No runtime
+behavior change.

docs/audits/2026-07-dispatcher-client-route-coverage.md

@@ -0,0 +1,145 @@
+# Dispatcher ↔ client route-coverage audit (#3563)
+
+**Date:** 2026-07-27 · **Trigger:** #3528 → #3552 · **Machine ledger:** `packages/runtime/src/route-ledger.ts` · **Guard:** `packages/runtime/src/route-ledger.conformance.test.ts`
+
+#3528 shipped because a route existed, worked, and was documented while the SDK
+had no way to call it (`automation resume`, fixed in #3552). This audit asks how
+many more instances of that class exist. Answer: **27 dispatcher routes with no
+SDK expression, across 6 domains — plus a second, larger un-audited surface in
+`@objectstack/rest`.**
+
+The audit is three-column, not two. A route can fail to reach users at three
+distinct layers, and instances of all three were found:
+
+```
+dispatch() branch  ↔  HTTP mount (dispatcher-plugin.ts)  ↔  client method
+```
+
+## 1. Coverage by domain (dispatcher surface)
+
+Full per-route dispositions live in the ledger; this is the shape of it.
+
+| Domain | Routes | sdk | gap | other |
+|---|---|---|---|---|
+| `/automation` | 15 | 12 | 3 (`/actions`, `/connectors`, `/_status`) | — |
+| `/packages` | 17 | 6 | 11 (publish/drafts/commits/revert/rollback/export/adopt/duplicate/edit) | — |
+| `/meta` | 8 | 4 | 3 (`published`, `_drafts`, FSM states) | 1 server-only |
+| `/data` | 6 | 6 | — | — |
+| `/actions` | 3 | 0 | **3 — the largest functional hole** | — |
+| `/share-links` | 5 | 0 | 3 | 2 public |
+| `/security` | 3 | 0 | 3 | — |
+| `/keys` | 1 | 0 | 1 (no SDK path to mint an API key at all) | — |
+| `/i18n`, `/notifications` | 6 | 6 | — | — |
+| `/analytics` | 3 | 1 | — | 2 **mismatch** (§4) |
+| `/storage` | 2 | 0 | — | 2 **mismatch** (§4) |
+| `/ui` | 1 | 1 (as `meta.getView`) | — | — |
+| `/auth`, `/ai`, `/mcp*`, probes, discovery, openapi | — | — | — | wildcard / dynamic / server-only |
+
+`engine.registerAction`-registered actions (`POST /actions/...`, three shapes,
+`http-dispatcher.ts:1951-1953`) are entirely unreachable from the SDK — every
+console today hand-rolls `fetch` for them.
+
+## 2. Reachability: dispatch branches with no HTTP mount
+
+The dispatcher has **no catch-all**; `dispatcher-plugin.ts` mounts routes
+explicitly, so a `dispatch()` branch without a mount is dead over HTTP in a
+plain runtime (`dispatcher-plugin.routes.test.ts:9-14` records `/mcp`, `/keys`,
+`/ready` shipping broken exactly this way). Currently mount-less:
+
+- `/security/*`, `/share-links/*`, `/ui/view/*`, `/meta/*`, `/data/*`,
+  `/openapi.json`, `/automation/actions|connectors|_status`, and the i18n
+  query-param variants.
+
+They are reachable only where `@objectstack/rest` or a host-mounted catch-all
+(cloud) fronts the dispatcher — noted in the domain files themselves
+(`domains/security.ts:13-15`, `domains/share-links.ts:11-14`). The
+`route-parity.integration.test.ts` gate (#3369) probes a hardcoded list of six
+paths; extending its probe list from the ledger is the natural follow-up.
+
+## 3. The stale spec route table
+
+`DEFAULT_DISPATCHER_ROUTES` (`packages/spec/src/api/dispatcher.zod.ts:141-164`)
+is consumed by **nothing in `packages/runtime`** — only by its own tests and
+`api-surface.json`. It lists `/workflow` and `/realtime` (no dispatcher branch
+exists; `/realtime` is deliberately never advertised,
+`http-dispatcher.ts:1128-1133`) and omits `/keys`, `/mcp`, `/mcp/skill`,
+`/actions`, `/security`, `/share-links`, `/ready`, `/openapi.json`.
+
+Worse, `packages/client/CLIENT_SPEC_COMPLIANCE.md:14` anchors its "✅ FULLY
+COMPLIANT" claim on that table — compliance measured against a route list that
+predates five of the domains it should be measuring. Disposition: deprecate the
+export (removal is a spec major) and retire the compliance doc or regenerate it
+from the ledger.
+
+## 4. Shape mismatches (client speaks REST, dispatcher speaks dispatcher)
+
+| Dispatcher route | Client call | Effect |
+|---|---|---|
+| `GET /analytics/meta` (`domains/analytics.ts:49`) | `analytics.meta(cube)` → `GET /analytics/meta/:cube` | extra segment only REST understands |
+| `POST /analytics/sql` (`analytics.ts:55`) | `analytics.explain()` → `POST /analytics/explain` | different route name entirely |
+| `POST /storage/upload` (`domains/storage.ts:47`) | presigned/chunked protocol (`/upload/presigned`, `/upload/complete`, `/upload/chunked/*`) | client can't upload through a bare dispatcher |
+| `GET /storage/file/:id` (`storage.ts:56`) | `storage.getDownloadUrl` → `GET /storage/files/:id/url` | ditto for download |
+
+These are ledgered as `mismatch`, not `sdk`: the method exists but does not
+speak the dispatcher's dialect. Reconciliation (pick one shape, alias the
+other) is its own follow-up.
+
+## 5. Client-internal findings
+
+- **`trigger` vs `execute`** hit different URLs for the same intent
+  (`index.ts:2170` `POST /automation/trigger/:name` vs `index.ts:2283`
+  `POST /automation/:name/trigger`).
+- **`client.analytics.*` skips `unwrapResponse()`** (`index.ts:533-554`) —
+  callers get the raw envelope; every other surface unwraps.
+- **`ScopedProjectClient` silently drops `If-Match`** on `update`/`delete`
+  (`index.ts:3567`, `:3608` vs unscoped `:3053`, `:3152`) — OCC capability loss
+  in environment-scoped code, and re-expresses only 4 of 20 surfaces.
+- **`getRoute()` invents `views` and `permissions`** (`index.ts:3330-3331`) —
+  not in `ApiRoutesSchema`, so discovery can never override them; `projects`
+  (23 methods) bypasses routing entirely with hardcoded `/api/v1/cloud/*`.
+- **`client.events` (`RealtimeAPI`) is a non-functional stub** — an in-memory
+  buffer nothing populates over the network (`realtime-api.ts:163-168`), while
+  `client.realtime.*` is the real HTTP surface. Two surfaces, one working.
+
+## 6. Documentation drift (all hand-written; no generator exists)
+
+`packages/client/README.md` documents **six methods that do not exist**
+(`meta.getObject`, `views.share`, `views.setDefault`, `workflow.approve`,
+`workflow.reject`, `ai.chat` — the last three were deliberately removed) and
+claims "13 namespaces" where the SDK ships 20 (~171 methods; README says
+"95+"). `content/docs/api/client-sdk.mdx` names `organizations` /
+`projects` / `oauth` in its feature bullet and documents none of their 52
+methods. No script anywhere generates any of these lists.
+
+## 7. Test deserts
+
+Five entire surfaces have **zero test references**: `analytics`, `storage`,
+`projects` (23), `organizations` (23), `oauth` — 62 methods, ~36% of the SDK.
+(Grep across all five client test files; `tests/integration/` is additionally
+excluded from `pnpm test` by config.)
+
+## 8. The second surface (out of ledger scope, tracked here)
+
+`@objectstack/rest` mounts routes the dispatcher never sees; the client
+already targets some (views CRUD, permissions, workflow, approvals, realtime,
+notification devices/preferences, presigned storage, import jobs). Zero client
+expression exists for: `GET /search`, `POST /email/send`, `forms/:slug`
+(3 routes), record shares (`/data/:object/:id/shares*`), `POST .../clone`,
+`POST /analytics/dataset/query`, `sharing/rules` (5), `reports` (8),
+`external-datasource/*` (`rest-server.ts:4514-5734`,
+`external-datasource-routes.ts`). Auditing that surface with the same
+three-column method is the next tranche of #3563.
+
+## Follow-up slicing (proposed)
+
+1. **`client.actions.invoke(...)`** — closes the largest hole (3 routes).
+2. **`keys` / `share-links` / `security`** surfaces — 7 gaps, small and mechanical.
+3. **Packages lifecycle** (11 gaps) — publish/drafts/commits/revert/export.
+4. **Meta drafts/published/FSM + automation descriptors** (6 gaps).
+5. **Mismatch reconciliation** (§4) — server-side aliases or client-side fixes.
+6. **Docs**: delete or regenerate README surface table + CLIENT_SPEC_COMPLIANCE.md; extend client-sdk.mdx.
+7. **Deprecate `DEFAULT_DISPATCHER_ROUTES`**; point at the ledger.
+8. **REST-surface tranche** (§8) with the same ledger+guard treatment.
+
+Each gap closed must flip its ledger row to `sdk` and lower the ratchet bound
+in the conformance test — the guard enforces both directions from PR-1 onward.

packages/runtime/src/route-ledger.conformance.test.ts

@@ -0,0 +1,107 @@
+// Copyright (c) 2025 ObjectStack. Licensed under the Apache-2.0 license.
+
+/**
+ * Route-ledger conformance (#3563) — the guard that keeps the dispatcher's
+ * route surface and `@objectstack/client` from drifting apart silently again.
+ *
+ * #3528's root cause was exactly such a drift: the resume route existed and
+ * worked while the SDK had no way to express it, and nothing failed. These
+ * assertions make the two failure directions loud:
+ *
+ *  1. A domain registered on the dispatcher with no ledger entry — a new
+ *     route surface landed without a reviewed SDK disposition.
+ *  2. A ledger entry claiming a client method that does not exist — the
+ *     ledger says "covered" but the SDK cannot make the call.
+ *
+ * The ledger's per-route rows are documentation; the machine contract here is
+ * domain-level (registry introspection) plus method-level (client instance
+ * introspection). The legacy if-chain prefixes cannot be enumerated from the
+ * registry, so they are pinned in LEGACY_CHAIN_PREFIXES — when ADR-0076 D11
+ * extracts another branch, that list and the ledger move together.
+ */
+
+import { describe, it, expect } from 'vitest';
+// Relative import of the BUILT client, NOT a package dependency:
+// @objectstack/client's own devDependencies already point back at runtime
+// (its Hono tests boot a real server), so a runtime→client package edge would
+// close a turbo build cycle. Importing the dist keeps the graph acyclic — and
+// CI's Test job always runs after Build, so the dist is present. (The client
+// SOURCE can't be imported here: its module graph resolves through runtime's
+// vitest aliases and breaks on subpath imports like @objectstack/core/logger.)
+import { ObjectStackClient } from '../../client/dist/index.mjs';
+import { HttpDispatcher } from './http-dispatcher.js';
+import { ROUTE_LEDGER, LEGACY_CHAIN_PREFIXES } from './route-ledger.js';
+
+/** Minimal kernel — enough for the constructor to register builtin domains. */
+function fakeKernel(): any {
+  return {
+    getState: () => 'running',
+    getService: () => undefined,
+    getServiceAsync: async () => undefined,
+  };
+}
+
+/** Live registry prefixes, normalized (`/keys?` query-form → `/keys`). */
+function registryPrefixes(): Set<string> {
+  const dispatcher = new HttpDispatcher(fakeKernel());
+  const routes = (dispatcher as any).domainRegistry.list() as Array<{ prefix: string }>;
+  return new Set(routes.map((r) => (r.prefix.endsWith('?') ? r.prefix.slice(0, -1) : r.prefix)));
+}
+
+describe('route ledger ↔ dispatcher domain registry', () => {
+  it('every registered dispatcher domain has at least one ledger entry', () => {
+    const ledgerDomains = new Set(ROUTE_LEDGER.map((e) => e.domain));
+    const missing = [...registryPrefixes()].filter((p) => !ledgerDomains.has(p));
+    expect(
+      missing,
+      `Dispatcher domains with no route-ledger entry: ${missing.join(', ')}. ` +
+        'A new route surface needs a reviewed disposition in route-ledger.ts (#3563).',
+    ).toEqual([]);
+  });
+
+  it('every ledger domain is a live registry prefix or a pinned legacy branch', () => {
+    const live = registryPrefixes();
+    const legacy = new Set<string>(LEGACY_CHAIN_PREFIXES);
+    const stale = [...new Set(ROUTE_LEDGER.map((e) => e.domain))].filter(
+      (d) => !live.has(d) && !legacy.has(d),
+    );
+    expect(
+      stale,
+      `Route-ledger domains that no longer exist on the dispatcher: ${stale.join(', ')}. ` +
+        'Remove or reclassify them so the ledger stays truthful.',
+    ).toEqual([]);
+  });
+});
+
+describe('route ledger ↔ @objectstack/client surface', () => {
+  const client = new ObjectStackClient({ baseUrl: 'http://localhost:9' });
+
+  const resolve = (path: string): unknown =>
+    path.split('.').reduce<unknown>((o, k) => (o == null ? o : (o as Record<string, unknown>)[k]), client);
+
+  it('every `sdk`/`mismatch` entry names a client method that actually exists', () => {
+    const broken = ROUTE_LEDGER.filter((e) => e.client != null)
+      .filter((e) => typeof resolve(e.client!) !== 'function')
+      .map((e) => `${e.route} → client.${e.client}`);
+    expect(
+      broken,
+      `Ledger entries claiming a client method that does not exist: ${broken.join('; ')}`,
+    ).toEqual([]);
+  });
+
+  it('every `sdk` entry names its client method; every non-sdk entry carries a rationale', () => {
+    const sdkWithout = ROUTE_LEDGER.filter((e) => e.disposition === 'sdk' && !e.client).map((e) => e.route);
+    expect(sdkWithout, 'sdk-disposition entries missing a client method name').toEqual([]);
+
+    const bareNonSdk = ROUTE_LEDGER.filter((e) => e.disposition !== 'sdk' && !e.note).map((e) => e.route);
+    expect(bareNonSdk, 'non-sdk entries must say WHY they are not SDK surface').toEqual([]);
+  });
+
+  it('gap count only shrinks — update the ledger (and this number) when closing gaps', () => {
+    // Ratchet, not aspiration: 27 audited gaps at #3563 PR-1. Closing one =
+    // reclassify the entry to `sdk` AND lower this bound. Raising it demands
+    // an explicit, reviewed decision to ship a new un-expressed route.
+    const gaps = ROUTE_LEDGER.filter((e) => e.disposition === 'gap').length;
+    expect(gaps).toBeLessThanOrEqual(27);
+  });
+});