@fuzdev/fuz_app 0.48.0 → 0.49.0

package/dist/actions/CLAUDE.md

@@ -68,11 +68,45 @@ throws on any non-`remote_notification` kind.
 
 ## Registry + codegen (`action_registry.ts`, `action_codegen.ts`)
 
+**Symmetric design — universal calling abstraction.** SAES is one spec
+shape that drives dispatch across (a) network boundaries (frontend ⇄
+backend over HTTP / WS) and (b) within the same runtime (`local_call`
+actions). `ActionPeer` is symmetric on both sides (`send` + `receive`).
+The two typed surfaces are paired: `FrontendActionsApi` is "what the
+frontend can call" (typed Proxy from `create_rpc_client`);
+`BackendActionsApi` is "what the backend can call" (typed object from
+`create_broadcast_api` today; broader runtime constructors will join).
+The remaining asymmetry today is runtime: there is no
+`create_backend_rpc_client` and `create_broadcast_api` returns
+`Promise<void>` (fire-and-forget broadcast) rather than the
+`Promise<Result<{value}, {error}>>` shape `FrontendActionsApi` methods
+return. Closing those gaps is captured in the SAES quest's API
+review III deferred set — wait for a second backend runtime case.
+
 `ActionRegistry(specs)` is a query/filter wrapper over `ActionSpecUnion[]`.
-Used getters today are `spec_by_method`, `request_response_specs`,
-`remote_notification_specs`, `local_call_specs`, `frontend_methods`,
-`backend_methods`, `methods`. The rest are pre-built stubs — revisit when
-the system matures.
+Codegen-used getter groups:
+
+- Identity: `spec_by_method`, `methods`.
+- Kind-narrow specs + matching `_methods`: `request_response_specs`,
+  `remote_notification_specs`, `local_call_specs`.
+- Narrow handler-side (request_response only, `initiator` excludes own
+  side, drives the typed `BackendActionHandlers` map):
+  `frontend_handled_specs`, `frontend_handled_methods`,
+  `backend_handled_specs`, `backend_handled_methods`.
+- Loose "relevant to this side" (everything the side might encounter,
+  drives the typed-Proxy method enums `FrontendActionMethod` and
+  `BackendActionMethod`): `specs_relevant_to_frontend`,
+  `methods_relevant_to_frontend`, `specs_relevant_to_backend`,
+  `methods_relevant_to_backend`.
+- Broadcast (kind-narrow `remote_notification`, `initiator !== 'frontend'`,
+  excludes `streams` targets): `broadcast_specs`, `broadcast_methods`.
+- Backend-initiated (forward-looking kind-agnostic version of broadcast;
+  same content today, will widen when local_calls or backend
+  `request_response` join): `backend_initiated_specs`,
+  `backend_initiated_methods`.
+
+Other getters (auth, initiator-direction) are pre-built stubs flagged
+`@action-system-review`.
 
 `action_codegen.ts` provides gen helpers (used by consumer `*.gen.ts` files,
 not the runtime):
@@ -83,7 +117,7 @@ not the runtime):
 - `get_executor_phases(spec, executor)` — phases a given executor (`'frontend' | 'backend'`) participates in for the spec. Deduplicates via `Set` (handles `initiator: 'both'` overlap).
 - `get_handler_return_type(spec, phase, imports, collections_path?)` — the TS type a phase handler must return; triggers the `ActionOutputs` import (sourced from `collections_path`, default `'./action_collections.js'`) as a side effect.
 - `generate_phase_handlers(spec, executor, imports, {action_event_type?, collections_path?})` — emits the typed handler-map fragment for one action; consumers compose these into `ActionHandlers` types.
-- `generate_actions_api_method_signature(spec, {sync_returns_value?})` — single source of truth for the typed `ActionsApi` method shape. Threads `options?: RpcClientCallOptions` (`{signal?, transport_name?, queue?}`) onto every async method — `request_response`, `remote_notification`, and async `local_call` — and wraps the return in `Promise<Result<...>>`. Notifications were previously emitted as `=> void`, mismatching the runtime (`create_remote_notification_method` returns a Promise that resolves to `Result<{value: void}>`); regenerate consumer typed clients to pick up the corrected shape.
+- `generate_actions_api_method_signature(spec, {sync_returns_value?})` — single source of truth for the typed `FrontendActionsApi` method shape. Threads `options?: RpcClientCallOptions` (`{signal?, transport_name?, queue?}`) onto every async method — `request_response`, `remote_notification`, and async `local_call` — and wraps the return in `Promise<Result<...>>`. Notifications were previously emitted as `=> void`, mismatching the runtime (`create_remote_notification_method` returns a Promise that resolves to `Result<{value: void}>`); regenerate consumer typed clients to pick up the corrected shape.
 - `create_banner(origin_path)` — gen banner comment.
 - `to_action_spec_identifier(method)` / `to_action_spec_input_identifier` / `to_action_spec_output_identifier` — naming convention helpers (emit `foo_action_spec` / `foo_action_spec.input` / `foo_action_spec.output`).
 - `COMPOSABLE_ACTION_METHODS` (+ `ComposableActionMethod` type) — readonly tuple `['heartbeat', 'cancel']`. Consumers spread when filtering backend `request_response` methods so dispatcher-owned composables don't leak into `BackendRequestResponseMethod` / handler maps.
@@ -92,18 +126,19 @@ not the runtime):
 - `DEFAULT_SPECS_MODULE = './action_specs.js'` — shared default for helpers that emit `specs.{method}_action_spec` and need a `* as specs` namespace import.
 - `DEFAULT_METATYPES_PATH = './action_metatypes.js'` — shared default for the sibling module carrying the generated `ActionMethod` enum.
 
-### High-level helpers (Step 1 of codegen orchestration upstream — 2026-04-26)
+### High-level helpers
 
 Each accepts `(specs, imports, options?)` and returns one block of declarations.
 Composed by consumer `*.gen.ts` producers; outputs do not include the banner or
-surrounding `imports.build()`.
+surrounding `imports.build()`. Use `compose_gen_file` to assemble the block
+list + banner + imports into the final file body in one call.
 
 **Composables are filtered by default.** Every spec-iterating helper accepts
 `{include_composables?: boolean}` (default `false`) and drops `heartbeat` /
 `cancel` from the emitted output. Composables ship from fuz_app and are
 spread into each consumer's `actions` array at registration time — they
 should not appear in consumer-owned typed surfaces (`ActionMethod`,
-`ActionsApi`, `ActionInputs`, `FrontendActionHandlers`, etc.). Pass
+`FrontendActionsApi`, `ActionInputs`, `FrontendActionHandlers`, etc.). Pass
 `include_composables: true` only if a consumer genuinely owns composables
 in their typed API.
 
@@ -113,32 +148,40 @@ into the helpers and accept the default `* as specs from specs_module`
 namespace import. Multi-source consumers (tx, visiones — which stitch
 local specs together with `all_admin_action_specs` /
 `all_permit_offer_action_specs` / `all_account_action_specs` /
-`all_self_service_role_action_specs` from fuz_app) pass
-`qualify_spec?: (spec) => string` to the three multi-source helpers
+`all_self_service_role_action_specs` from fuz_app) call
+`create_namespace_qualifier(sources, imports)` once, then pass the
+returned `qualify_spec` callback to the multi-source helpers
 (`generate_action_specs_record`, `generate_action_inputs_outputs`,
 `generate_backend_actions_api`). When `qualify_spec` is set, the helper
 emits the callback's return value (e.g.
 `admin_specs.account_list_action_spec`) and skips the default `* as specs`
-import — the consumer manages its own multi-namespace imports. The helper
-appends `.input` / `.output` to the qualified identifier in
-`generate_action_inputs_outputs` automatically; the callback returns the
-bare spec identifier.
+import — the consumer (or the namespace-qualifier helper) owns the
+multi-namespace imports. The helper appends `.input` / `.output` to the
+qualified identifier in `generate_action_inputs_outputs` automatically;
+the callback returns the bare spec identifier.
 
 Tier 1 (HTTP-only, e.g. tx/visiones) emits a smaller surface — typically just
-`ActionMethod` + `ActionsApi` + `ActionInputs` / `ActionOutputs` interfaces —
-and never calls `generate_typed_action_event_alias` or
+`ActionMethod` + `FrontendActionsApi` + `ActionInputs` / `ActionOutputs`
+interfaces — and never calls `generate_typed_action_event_alias` or
 `generate_frontend_action_handlers`. Tier 2 (`TypedActionEvent`-aware, e.g.
-zzz) emits the full set including `ActionEventDatas`, `TypedActionEvent`, and
-`FrontendActionHandlers`.
+zzz) emits the full set including `ActionEventDatas`, `TypedActionEvent`,
+and `FrontendActionHandlers`.
 
-- `generate_action_method_enums(specs, imports, {emit?})` — up to six `z.enum` + `z.infer` pairs (`ActionMethod`, `RequestResponseActionMethod`, `RemoteNotificationActionMethod`, `LocalCallActionMethod`, `FrontendActionMethod`, `BackendActionMethod`). `emit: ReadonlySet<ActionMethodEnumKind>` restricts to a subset (Tier 1 HTTP-only consumers don't need all six). Skips kinds whose method list is empty (`z.enum([])` is invalid) and skips the `zod` import when no blocks are emitted. Adds `import {z} from 'zod'` only when at least one block is produced.
+- `generate_action_method_enums(specs, imports, {emit?, include_composables?})` — up to nine `z.enum` + `z.infer` pairs (`ActionMethod`, `RequestResponseActionMethod`, `RemoteNotificationActionMethod`, `LocalCallActionMethod`, `FrontendActionMethod`, `BackendActionMethod`, `FrontendRequestResponseMethod`, `BackendRequestResponseMethod`, `BroadcastActionMethod`). `emit: ReadonlySet<ActionMethodEnumKind>` restricts to a subset (Tier 1 HTTP-only consumers don't need all nine). Skips kinds whose method list is empty (`z.enum([])` is invalid) and skips the `zod` import when no blocks are emitted. Adds `import {z} from 'zod'` only when at least one block is produced. The `frontend_handled` / `backend_handled` / `broadcast` kinds use the registry's narrow handler-side / streams-aware getters; the loose `frontend` / `backend` kinds preserve the everything-relevant-to-this-side semantic for the typed-Proxy method enum.
+- `generate_action_method_enum_block(specs, imports, {name, jsdoc, predicate, include_composables?})` — lower-level escape hatch for genuinely cross-product enums the discriminator doesn't cover. Caller owns the predicate, name, and jsdoc.
 - `generate_typed_action_event_alias(imports, {collections_path?, metatypes_path?})` — fixed-shape `TypedActionEvent<TMethod, TPhase, TStep>` alias narrowing `ActionEvent.data` against `ActionEventDatas`. Adds the three fuz_app type imports + `ActionEventDatas` (from `collections_path`) + `ActionMethod` (from `metatypes_path`).
-- `generate_action_specs_record(specs, imports, {specs_module?, qualify_spec?})` — `ActionSpecs` runtime const + interface + `action_specs: Array<ActionSpecUnion>` value. Adds `* as specs` from `specs_module` unless `qualify_spec` is set (then `specs_module` is ignored and the consumer owns namespace imports).
-- `generate_action_inputs_outputs(specs, imports, {specs_module?, qualify_spec?})` — `ActionInputs` and `ActionOutputs` runtime consts + interfaces. Same `qualify_spec` semantics as `generate_action_specs_record`; the helper appends `.input` / `.output` to the qualified identifier.
-- `generate_action_event_datas(specs, imports, {same_file?, collections_path?})` — `ActionEventDatas` interface; per-spec variant by kind (`ActionEventRequestResponseData` / `ActionEventRemoteNotificationData` / `ActionEventLocalCallData`). `same_file` (default `true`) is the file-layout switch: when `true`, assumes `ActionInputs` / `ActionOutputs` are in the same module and adds no import (the zzz pattern); when `false`, adds the type imports from `collections_path` (default `'./action_collections.js'`). `collections_path` alone is a no-op — the surprising omit-vs-default behavior of earlier versions has been replaced.
-- `generate_actions_api(specs, imports, {method_filter?, collections_path?, sync_returns_value?})` — `ActionsApi` interface. Composables filtered by default; `method_filter: (spec) => boolean` runs after the composable filter for tx-style additional subsets.
-- `generate_frontend_action_handlers(specs, imports, {collections_path?})` — `FrontendActionHandlers` interface (Tier 2 only — wraps `generate_phase_handlers` with `action_event_type: 'TypedActionEvent'`). Pair with `generate_typed_action_event_alias`.
-- `generate_backend_actions_api(specs, imports, {specs_module?, collections_path?, qualify_spec?})` — `BackendActionsApi` interface AND `broadcast_action_specs: ReadonlyArray<ActionSpecUnion>` array. Filter: `kind === 'remote_notification' && initiator !== 'frontend'`. Adds `ActionInputs` (from `collections_path`) + `ActionSpecUnion`, plus `* as specs` from `specs_module` unless `qualify_spec` is set.
+- `generate_action_specs_record(specs, imports, {specs_module?, qualify_spec?, include_composables?})` — `ActionSpecs` runtime const + interface + `action_specs: Array<ActionSpecUnion>` value. Adds `* as specs` from `specs_module` unless `qualify_spec` is set (then `specs_module` is ignored and the consumer owns namespace imports).
+- `generate_action_inputs_outputs(specs, imports, {specs_module?, qualify_spec?, include_composables?})` — `ActionInputs` and `ActionOutputs` runtime consts + interfaces. Same `qualify_spec` semantics as `generate_action_specs_record`; the helper appends `.input` / `.output` to the qualified identifier.
+- `generate_action_event_datas(specs, imports, {same_file?, collections_path?, include_composables?})` — `ActionEventDatas` interface; per-spec variant by kind (`ActionEventRequestResponseData` / `ActionEventRemoteNotificationData` / `ActionEventLocalCallData`). `same_file` (default `true`) is the file-layout switch: when `true`, assumes `ActionInputs` / `ActionOutputs` are in the same module and adds no import (the zzz pattern); when `false`, adds the type imports from `collections_path` (default `'./action_collections.js'`). `collections_path` alone is a no-op — the surprising omit-vs-default behavior of earlier versions has been replaced.
+- `generate_frontend_actions_api(specs, imports, {interface_name?, method_filter?, collections_path?, sync_returns_value?, include_composables?})` — emits the typed `FrontendActionsApi` interface (configurable via `interface_name`, default `'FrontendActionsApi'`). One method signature per spec via `generate_actions_api_method_signature`. Composables filtered by default; `method_filter: (spec) => boolean` runs after the composable filter. Renamed from `generate_actions_api` in API review III to make the side-of-the-wire intent visible at every consumer site.
+- `generate_frontend_action_handlers(specs, imports, {collections_path?, include_composables?})` — `FrontendActionHandlers` interface (Tier 2 only — wraps `generate_phase_handlers` with `action_event_type: 'TypedActionEvent'`). Pair with `generate_typed_action_event_alias`.
+- `generate_backend_actions_api(specs, imports, {interface_name?, spec_array_name?, specs_module?, collections_path?, qualify_spec?, include_composables?})` — `BackendActionsApi` interface AND `broadcast_action_specs: ReadonlyArray<ActionSpecUnion>` array (both names configurable). Filter: `kind === 'remote_notification' && initiator !== 'frontend'`, with `streams`-target methods (request-scoped progress notifications invoked via `ctx.notify`) excluded — the discriminator is `ActionSpec.streams`, not a manual list. Adds `ActionInputs` (from `collections_path`) + `ActionSpecUnion`, plus `* as specs` from `specs_module` unless `qualify_spec` is set. Method shape today is `(input) => Promise<void>` (matches `create_broadcast_api`'s fire-and-forget runtime); generalizing to per-kind shapes via `generate_actions_api_method_signature` is deferred until a second backend runtime constructor lands (see SAES quest § API review III deferred set).
+- `generate_backend_action_handlers_map(imports, options?)` — emits the `BackendActionHandlers` mapped type (`{[K in BackendRequestResponseMethod]: (input: ActionInputs[K], ctx: BackendHandlerContext) => ActionOutputs[K] | Promise<ActionOutputs[K]>}`). Replaces the hand-maintained `Exclude<>` + parallel mapped-type pattern (zzz had this at `zzz/src/lib/server/zzz_action_handlers.ts:42-66`). Configurable type name, method enum name, and context type name; configurable `collections_path` / `metatypes_path` for the type imports.
+
+### Wrapper + multi-source helper
+
+- `compose_gen_file({origin_path, imports, blocks})` — encapsulates the per-`*.gen.ts` boilerplate (banner + `imports.build()` + blocks join + template literal). Returns the full file body. Each consumer producer collapses to one `compose_gen_file` call wrapping the helper invocations.
+- `create_namespace_qualifier(sources, imports)` — multi-source consumer helper. Takes `ReadonlyArray<{ns, module, specs}>`, registers `import * as ns from module` for each on `imports`, builds the `method_to_ns` lookup with duplicate-method detection, returns `{qualify_spec, all_specs}` ready to thread through the high-level helpers. Closes the per-file boilerplate gap that kept tx + visiones on hand-rolled template strings even after the `qualify_spec?` callback landed (the per-call callback wasn't enough — the import dance + dup-check was the real boilerplate).
 
 ## HTTP bridge (`action_bridge.ts`)
 
@@ -642,12 +685,12 @@ zzz's `Actions` cell calls its own `add_from_json` +
 `listen_to_action_event` here so the history plumbing stays inside zzz
 instead of leaking onto the rpc_client surface. `event.spec.method` and
 `event.data.method` narrow to `keyof TApi & string` so consumers passing
-a generated `ActionsApi` get the literal method-name union without an
-`as ActionMethod` cast at the call site.
+a generated `FrontendActionsApi` get the literal method-name union without
+an `as ActionMethod` cast at the call site.
 
-Cast the return to a generated `ActionsApi` interface for full typing:
-codegen via `generate_actions_api_method_signature` keeps the shape
-consistent. See ../../docs/usage.md §Typed Client Codegen.
+Cast the return to a generated `FrontendActionsApi` interface for full
+typing: codegen via `generate_actions_api_method_signature` keeps the
+shape consistent. See ../../docs/usage.md §Typed Client Codegen.
 
 ### Throwing variants — `create_throwing_rpc_call` + `create_throwing_api`
 
@@ -658,10 +701,10 @@ is spec-level optional). Same hardening on both: only `{code, data}` cross
 onto the Error, leaving `name` / `stack` as the native Error's own so
 attacker-shaped `result.error` payloads cannot overwrite them.
 
-| Helper                     | Shape                            | Use at                                                                     |
-| -------------------------- | -------------------------------- | -------------------------------------------------------------------------- |
-| `create_throwing_rpc_call` | `(method, input?) => Promise<T>` | adapter wiring (e.g. `ui/admin_rpc_adapters.ts`) — method comes from a map |
-| `create_throwing_api`      | typed Proxy over `ActionsApi`    | direct call sites — `await api.foo(input)` keeps full inference            |
+| Helper                     | Shape                                 | Use at                                                                     |
+| -------------------------- | ------------------------------------- | -------------------------------------------------------------------------- |
+| `create_throwing_rpc_call` | `(method, input?) => Promise<T>`      | adapter wiring (e.g. `ui/admin_rpc_adapters.ts`) — method comes from a map |
+| `create_throwing_api`      | typed Proxy over `FrontendActionsApi` | direct call sites — `await api.foo(input)` keeps full inference            |
 
 **Layered design.** Result is the protocol primitive — `create_rpc_client`
 returns `Result<{value}, {error}>` per call with no Error allocation. The
@@ -675,12 +718,12 @@ ritual.
 
 `create_frontend_rpc_client` ships both shapes by default — see
 [Frontend factory](#frontend-factory-frontend_rpc_clientts) below. Direct
-consumers of `create_rpc_client` pass their typed `ActionsApi` as the
-generic to get the typed Result-shaped Proxy without casts, then build
-the throwing form on top:
+consumers of `create_rpc_client` pass their typed `FrontendActionsApi`
+as the generic to get the typed Result-shaped Proxy without casts, then
+build the throwing form on top:
 
 ```ts
-const api_result = create_rpc_client<MyActionsApi>({peer, environment});
+const api_result = create_rpc_client<FrontendActionsApi>({peer, environment});
 const api = create_throwing_api(api_result);
 // hot path:    await api.foo(input)
 // rare branch: const r = await api_result.foo(input); if (!r.ok) { … }
@@ -724,7 +767,7 @@ Returns both Proxy shapes from one factory call:
 - `peer`, `environment` — exposed for advanced consumers that want to register more transports or share the environment with a separate dispatcher.
 
 ```ts
-const {api, api_result} = create_frontend_rpc_client<MyActionsApi>({
+const {api, api_result} = create_frontend_rpc_client<FrontendActionsApi>({
 	specs: all_standard_action_specs,
 });
 // hot path:    await api.account_verify()

package/dist/actions/action_codegen.d.ts

@@ -9,12 +9,12 @@ export declare const COMPOSABLE_ACTION_METHODS: readonly ["heartbeat", "cancel"]
 /** Methods that ship from fuz_app, kept out of consumer-owned method enums + handler maps. */
 export type ComposableActionMethod = (typeof COMPOSABLE_ACTION_METHODS)[number];
 /**
- * Type predicate for filtering composable methods out of a typed `ActionsApi`
+ * Type predicate for filtering composable methods out of a typed `FrontendActionsApi`
  * `method_filter`. Avoids the `(... as never)` cast required to call
  * `Array.prototype.includes` on the readonly tuple at narrow string types.
  *
  * @example
- * generate_actions_api(specs, imports, {
+ * generate_frontend_actions_api(specs, imports, {
  *   method_filter: (s) => !is_composable_action_method(s.method),
  * });
  */
@@ -132,10 +132,10 @@ export declare const to_action_spec_identifier: (method: string) => string;
 export declare const to_action_spec_input_identifier: (method: string) => string;
 export declare const to_action_spec_output_identifier: (method: string) => string;
 /**
- * Generates one method line of the typed `ActionsApi` interface for a single
- * spec. Encapsulates the input/options/return-type signature shape so the
- * surface evolves in one place when fields like `signal` or `transport_name`
- * are added to per-call options.
+ * Generates one method line of the typed `FrontendActionsApi` interface for a
+ * single spec. Encapsulates the input/options/return-type signature shape so
+ * the surface evolves in one place when fields like `signal` or
+ * `transport_name` are added to per-call options.
  *
  * Async methods (`request_response`, `remote_notification`, async
  * `local_call`) get an optional second `options?: RpcClientCallOptions` arg
@@ -156,21 +156,23 @@ export declare const to_action_spec_output_identifier: (method: string) => strin
  * @param options.sync_returns_value - when true (default), sync local_call
  *   methods return the output value directly; when false they're wrapped in
  *   `Result<{value, error}>` like async methods. Set to `false` if your
- *   ActionsApi treats every method uniformly.
+ *   FrontendActionsApi treats every method uniformly.
  * @returns one line like `foo: (input: ActionInputs['foo'], options?: RpcClientCallOptions) => Promise<Result<...>>;`
  */
 export declare const generate_actions_api_method_signature: (spec: ActionSpecUnion, options?: {
     sync_returns_value?: boolean;
 }) => string;
 /** Discriminator for `generate_action_method_enums` — which method-set enums to emit. */
-export type ActionMethodEnumKind = 'all' | 'request_response' | 'remote_notification' | 'local_call' | 'frontend' | 'backend';
+export type ActionMethodEnumKind = 'all' | 'request_response' | 'remote_notification' | 'local_call' | 'frontend' | 'backend' | 'frontend_handled' | 'backend_handled' | 'broadcast';
 /** Default emit set — every enum kind. */
 export declare const ACTION_METHOD_ENUM_KINDS_ALL: ReadonlySet<ActionMethodEnumKind>;
 /**
  * Emit one or more `z.enum([...])` declarations for action method names —
  * `ActionMethod`, `RequestResponseActionMethod`, `RemoteNotificationActionMethod`,
- * `LocalCallActionMethod`, `FrontendActionMethod`, `BackendActionMethod`. Pairs
- * each runtime const with a `z.infer` type alias under the same identifier.
+ * `LocalCallActionMethod`, `FrontendActionMethod`, `BackendActionMethod`,
+ * `FrontendRequestResponseMethod`, `BackendRequestResponseMethod`,
+ * `BroadcastActionMethod`. Pairs each runtime const with a `z.infer` type
+ * alias under the same identifier.
  *
  * Composable methods (`heartbeat`, `cancel`) are filtered out by default —
  * pass `include_composables: true` if a consumer genuinely wants them on
@@ -180,7 +182,11 @@ export declare const ACTION_METHOD_ENUM_KINDS_ALL: ReadonlySet<ActionMethodEnumK
  * Adds `import {z} from 'zod';` to `imports` only when at least one block
  * is emitted (idempotent).
  *
- * @param options.emit - subset of enums to emit; defaults to all six.
+ * For genuinely cross-product enums the discriminator doesn't cover, use
+ * `generate_action_method_enum_block` — caller owns the predicate, name,
+ * and jsdoc.
+ *
+ * @param options.emit - subset of enums to emit; defaults to all nine.
  * @param options.include_composables - when true, retains `heartbeat` /
  *   `cancel` in the emitted enums. Default `false`.
  */
@@ -188,6 +194,26 @@ export declare const generate_action_method_enums: (specs: ReadonlyArray<ActionS
     emit?: ReadonlySet<ActionMethodEnumKind>;
     include_composables?: boolean;
 }) => string;
+/**
+ * Emit a single named `z.enum([...])` + `z.infer` block for an arbitrary
+ * spec subset. Lower-level escape hatch from `generate_action_method_enums` —
+ * for cross-product or domain-specific enums the built-in discriminator
+ * doesn't cover.
+ *
+ * Mirrors the built-in helper's contract: composables filtered by default,
+ * empty subsets return `''` (skip rather than emit `z.enum([])`), `zod`
+ * import registered idempotently only when at least one method qualifies.
+ *
+ * The cross-product space is open-ended; rather than grow the
+ * `ActionMethodEnumKind` discriminator one cross-product at a time, callers
+ * own the subset shape — name, jsdoc, predicate.
+ */
+export declare const generate_action_method_enum_block: (specs: ReadonlyArray<ActionSpecUnion>, imports: ImportBuilder, options: {
+    name: string;
+    jsdoc: string;
+    predicate: (spec: ActionSpecUnion) => boolean;
+    include_composables?: boolean;
+}) => string;
 /**
  * Emit the fixed-shape `TypedActionEvent` alias used by `FrontendActionHandlers`
  * to narrow `ActionEvent.data` against the consumer's generated `ActionEventDatas`
@@ -265,14 +291,20 @@ export declare const generate_action_event_datas: (specs: ReadonlyArray<ActionSp
     include_composables?: boolean;
 }) => string;
 /**
- * Emit the `ActionsApi` interface — one method signature per spec via
+ * Emit the `FrontendActionsApi` interface — one method signature per spec via
  * `generate_actions_api_method_signature`. Optionally filter the spec set
  * (e.g. omit composable methods) via `method_filter`.
  *
  * Adds the `Result`, `JsonrpcErrorObject`, and `RpcClientCallOptions` type
  * imports plus `ActionInputs` / `ActionOutputs` (sourced from `collections_path`).
+ *
+ * The interface name is fixed at `FrontendActionsApi` — the symmetric counterpart
+ * of `BackendActionsApi`. Earlier consumer-named variants (`MyActionsApi`,
+ * `VisionesActionsApi`) were retired in API review III to make the side-of-the-wire
+ * intent visible at every call site. If a consumer needs a different name they
+ * hand-roll the interface (the helper's job is the standard symmetric shape).
  */
-export declare const generate_actions_api: (specs: ReadonlyArray<ActionSpecUnion>, imports: ImportBuilder, options?: {
+export declare const generate_frontend_actions_api: (specs: ReadonlyArray<ActionSpecUnion>, imports: ImportBuilder, options?: {
     method_filter?: (spec: ActionSpecUnion) => boolean;
     collections_path?: string;
     sync_returns_value?: boolean;
@@ -295,12 +327,23 @@ export declare const generate_frontend_action_handlers: (specs: ReadonlyArray<Ac
  * each `(input) => Promise<void>`. The array bundles the matching specs as a
  * `ReadonlyArray<ActionSpecUnion>`.
  *
- * Filter: `kind === 'remote_notification' && initiator !== 'frontend'`.
+ * Filter: `kind === 'remote_notification' && initiator !== 'frontend'`,
+ * additionally excluding methods that are the target of another spec's
+ * `streams` field. Streams targets (e.g. `completion_progress`,
+ * `ollama_progress`) are request-scoped notifications invoked via
+ * `ctx.notify` inside their parent handler — they're never callable through
+ * the broadcast API. The discriminator is `ActionSpec.streams`, not a manual
+ * exclusion list.
  *
  * Adds the `* as specs` namespace import (from `specs_module`), the
  * `ActionInputs` type import (from `collections_path`), and the
  * `ActionSpecUnion` type import.
  *
+ * Method signature shape today is `(input) => Promise<void>` — matches the
+ * fire-and-forget runtime of `create_broadcast_api`. Generalizing per-kind
+ * via `generate_actions_api_method_signature` is deferred until a second
+ * backend runtime constructor lands (see SAES quest § API review III).
+ *
  * @param options.qualify_spec - per-spec qualified identifier callback for
  *   multi-source consumers. When set, the helper emits the callback's return
  *   value instead of ``specs.${method}_action_spec`` in the broadcast array
@@ -314,5 +357,116 @@ export declare const generate_backend_actions_api: (specs: ReadonlyArray<ActionS
     qualify_spec?: (spec: ActionSpecUnion) => string;
     include_composables?: boolean;
 }) => string;
+/**
+ * Emit the `BackendActionHandlers` mapped type — one entry per
+ * `BackendRequestResponseMethod`, each `(input, ctx) => output | Promise<output>`.
+ * Replaces the hand-maintained `Exclude<>` + parallel mapped-type pattern
+ * (zzz had this at `zzz/src/lib/server/zzz_action_handlers.ts:42-66`).
+ *
+ * The context type is consumer-defined (e.g. zzz's `ZzzHandlerContext`). Pass
+ * `context_type` to name it; the helper assumes it's importable or defined
+ * in the emitted module's scope (consumer's responsibility).
+ *
+ * Adds `ActionInputs` / `ActionOutputs` type imports from `collections_path`
+ * and the `BackendRequestResponseMethod` import from `metatypes_path`.
+ *
+ * @param options.type_name - default `'BackendActionHandlers'`.
+ * @param options.method_enum_name - default `'BackendRequestResponseMethod'`.
+ *   Pair with `generate_action_method_enums` emitting the `'backend_handled'` kind.
+ * @param options.context_type - default `'BackendHandlerContext'`. Caller's
+ *   handler context type — must be in scope at the emit site.
+ * @param options.collections_path - default `'./action_collections.js'`.
+ * @param options.metatypes_path - default `'./action_metatypes.js'`.
+ */
+export declare const generate_backend_action_handlers_map: (imports: ImportBuilder, options?: {
+    type_name?: string;
+    method_enum_name?: string;
+    context_type?: string;
+    collections_path?: string;
+    metatypes_path?: string;
+}) => string;
+/**
+ * One source in a multi-source consumer's namespace map. `ns` is the local
+ * alias used inside the generated file; `module` is the import path; `specs`
+ * is the runtime spec array. `create_namespace_qualifier` consumes a list of
+ * these.
+ */
+export interface SpecSource {
+    ns: string;
+    module: string;
+    specs: ReadonlyArray<ActionSpecUnion>;
+}
+/**
+ * Multi-source consumer helper. Takes a list of `{ns, module, specs}` rows,
+ * registers `import * as ns from module` for each on `imports`, builds the
+ * `method_to_ns` lookup with duplicate-method detection, and returns
+ * `{qualify_spec, all_specs}` ready to thread through the high-level
+ * helpers.
+ *
+ * Closes the per-file boilerplate gap that kept tx + visiones on hand-rolled
+ * template strings even after `qualify_spec?` landed in API review II — the
+ * per-call callback wasn't enough; the import dance + dup-check was the
+ * real boilerplate.
+ *
+ * @example
+ * ```ts
+ * const sources = [
+ *   {ns: 'tx_specs', module: './action_specs.js', specs: all_tx_action_specs},
+ *   {ns: 'admin_specs', module: '@fuzdev/fuz_app/auth/admin_action_specs.js', specs: all_admin_action_specs},
+ * ];
+ *
+ * export const gen: Gen = ({origin_path}) => {
+ *   const imports = new ImportBuilder();
+ *   const {qualify_spec, all_specs} = create_namespace_qualifier(sources, imports);
+ *   return compose_gen_file({
+ *     origin_path,
+ *     imports,
+ *     blocks: [
+ *       generate_action_specs_record(all_specs, imports, {qualify_spec}),
+ *       generate_action_inputs_outputs(all_specs, imports, {qualify_spec}),
+ *     ],
+ *   });
+ * };
+ * ```
+ *
+ * @throws if two sources contain the same method name (same-method detection
+ *   is the consumer's primary debugging signal).
+ */
+export declare const create_namespace_qualifier: (sources: ReadonlyArray<SpecSource>, imports: ImportBuilder) => {
+    qualify_spec: (spec: ActionSpecUnion) => string;
+    all_specs: ReadonlyArray<ActionSpecUnion>;
+};
+/**
+ * Wrap the per-`*.gen.ts` boilerplate (banner + `imports.build()` +
+ * blocks join + template literal) into one call. Returns the full file body
+ * as a string ready to return from a `Gen` function.
+ *
+ * Each consumer producer collapses to one `compose_gen_file` call wrapping
+ * the helper invocations.
+ *
+ * @example
+ * ```ts
+ * export const gen: Gen = ({origin_path}) => {
+ *   const imports = new ImportBuilder();
+ *   return compose_gen_file({
+ *     origin_path,
+ *     imports,
+ *     blocks: [
+ *       generate_action_specs_record(all_action_specs, imports),
+ *       generate_action_inputs_outputs(all_action_specs, imports),
+ *       generate_action_event_datas(all_action_specs, imports),
+ *     ],
+ *   });
+ * };
+ * ```
+ *
+ * Empty blocks (`''`) are filtered out so helpers that short-circuit on
+ * empty spec sets don't introduce stray double blank lines.
+ */
+export declare const compose_gen_file: (input: {
+    origin_path: string;
+    imports: ImportBuilder;
+    blocks: ReadonlyArray<string>;
+}) => string;
 export {};
 //# sourceMappingURL=action_codegen.d.ts.map

package/dist/actions/action_codegen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"action_codegen.d.ts","sourceRoot":"../src/lib/","sources":["../../src/lib/actions/action_codegen.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAC,eAAe,EAAE,gBAAgB,EAAC,MAAM,kBAAkB,CAAC;AAGxE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,kCAAmC,CAAC;AAE1E,8FAA8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAIhF;;;;;;;;;GASG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,sBACrC,CAAC;AAEnC;;GAEG;AACH,UAAU,UAAU;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,WAAW,CAAC;CACrC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,aAAa;;IACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAa;IAE1D;;;;OAIG;IACH,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAQrC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI1C;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI;IAOrD;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI;IAgCtD;;;OAGG;IACH,KAAK,IAAI,MAAM;IAIf;;OAEG;IACH,WAAW,IAAI,OAAO;IAItB;;OAEG;IACH,IAAI,YAAY,IAAI,MAAM,CAEzB;IAED;;;OAGG;IACH,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC;IAIxB;;OAEG;IACH,KAAK,IAAI,IAAI;CAqDb;AAED;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC/B,MAAM,eAAe,EACrB,UAAU,UAAU,GAAG,SAAS,KAC9B,KAAK,CAAC,gBAAgB,CA4DxB,CAAC;AAEF,gHAAgH;AAChH,eAAO,MAAM,wBAAwB,4BAA4B,CAAC;AAElE,4FAA4F;AAC5F,eAAO,MAAM,oBAAoB,sBAAsB,CAAC;AAExD,sGAAsG;AACtG,eAAO,MAAM,sBAAsB,0BAA0B,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GACnC,MAAM,eAAe,EACrB,OAAO,gBAAgB,EACvB,SAAS,aAAa,EACtB,mBAAkB,MAAiC,KACjD,MAkBF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,GACnC,MAAM,eAAe,EACrB,UAAU,UAAU,GAAG,SAAS,EAChC,SAAS,aAAa,EACtB,UAAU;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAAC,KAC/D,MA2BF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,aAAa,MAAM,KAAG,MACU,CAAC;AAG/D,eAAO,MAAM,yBAAyB,GAAI,QAAQ,MAAM,KAAG,MAAiC,CAAC;AAC7F,eAAO,MAAM,+BAA+B,GAAI,QAAQ,MAAM,KAAG,MACpB,CAAC;AAC9C,eAAO,MAAM,gCAAgC,GAAI,QAAQ,MAAM,KAAG,MACpB,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,qCAAqC,GACjD,MAAM,eAAe,EACrB,UAAU;IAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAAC,KACtC,MAoBF,CAAC;AAqBF,yFAAyF;AACzF,MAAM,MAAM,oBAAoB,GAC7B,KAAK,GACL,kBAAkB,GAClB,qBAAqB,GACrB,YAAY,GACZ,UAAU,GACV,SAAS,CAAC;AAEb,0CAA0C;AAC1C,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,oBAAoB,CAOzE,CAAC;AAoCH;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,4BAA4B,GACxC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IAAC,IAAI,CAAC,EAAE,WAAW,CAAC,oBAAoB,CAAC,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAC,KACjF,MA6DF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iCAAiC,GAC7C,SAAS,aAAa,EACtB,UAAU;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAC,KAC5D,MAcF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,4BAA4B,GACxC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAkCF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,8BAA8B,GAC1C,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MA0DF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,2BAA2B,GACvC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAC,KACvF,MA0CF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,GAChC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,OAAO,CAAC;IACnD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAuCF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC7C,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAC,KAClE,MA+BF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,4BAA4B,GACxC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAsCF,CAAC"}
+{"version":3,"file":"action_codegen.d.ts","sourceRoot":"../src/lib/","sources":["../../src/lib/actions/action_codegen.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAC,eAAe,EAAE,gBAAgB,EAAC,MAAM,kBAAkB,CAAC;AAGxE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,kCAAmC,CAAC;AAE1E,8FAA8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAIhF;;;;;;;;;GASG;AACH,eAAO,MAAM,2BAA2B,GAAI,QAAQ,MAAM,KAAG,MAAM,IAAI,sBACrC,CAAC;AAEnC;;GAEG;AACH,UAAU,UAAU;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,WAAW,CAAC;CACrC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,aAAa;;IACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAa;IAE1D;;;;OAIG;IACH,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAQrC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI1C;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI;IAOrD;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI;IAgCtD;;;OAGG;IACH,KAAK,IAAI,MAAM;IAIf;;OAEG;IACH,WAAW,IAAI,OAAO;IAItB;;OAEG;IACH,IAAI,YAAY,IAAI,MAAM,CAEzB;IAED;;;OAGG;IACH,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC;IAIxB;;OAEG;IACH,KAAK,IAAI,IAAI;CAqDb;AAED;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC/B,MAAM,eAAe,EACrB,UAAU,UAAU,GAAG,SAAS,KAC9B,KAAK,CAAC,gBAAgB,CA4DxB,CAAC;AAEF,gHAAgH;AAChH,eAAO,MAAM,wBAAwB,4BAA4B,CAAC;AAElE,4FAA4F;AAC5F,eAAO,MAAM,oBAAoB,sBAAsB,CAAC;AAExD,sGAAsG;AACtG,eAAO,MAAM,sBAAsB,0BAA0B,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GACnC,MAAM,eAAe,EACrB,OAAO,gBAAgB,EACvB,SAAS,aAAa,EACtB,mBAAkB,MAAiC,KACjD,MAkBF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,GACnC,MAAM,eAAe,EACrB,UAAU,UAAU,GAAG,SAAS,EAChC,SAAS,aAAa,EACtB,UAAU;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAAC,KAC/D,MA2BF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,aAAa,MAAM,KAAG,MACU,CAAC;AAG/D,eAAO,MAAM,yBAAyB,GAAI,QAAQ,MAAM,KAAG,MAAiC,CAAC;AAC7F,eAAO,MAAM,+BAA+B,GAAI,QAAQ,MAAM,KAAG,MACpB,CAAC;AAC9C,eAAO,MAAM,gCAAgC,GAAI,QAAQ,MAAM,KAAG,MACpB,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,qCAAqC,GACjD,MAAM,eAAe,EACrB,UAAU;IAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAAC,KACtC,MAoBF,CAAC;AA0CF,yFAAyF;AACzF,MAAM,MAAM,oBAAoB,GAC7B,KAAK,GACL,kBAAkB,GAClB,qBAAqB,GACrB,YAAY,GACZ,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,iBAAiB,GACjB,WAAW,CAAC;AAEf,0CAA0C;AAC1C,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,oBAAoB,CAUzE,CAAC;AAqCH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,4BAA4B,GACxC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IAAC,IAAI,CAAC,EAAE,WAAW,CAAC,oBAAoB,CAAC,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAC,KACjF,MAiFF,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,iCAAiC,GAC7C,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,SAAS;IACR,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,OAAO,CAAC;IAC9C,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAMF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iCAAiC,GAC7C,SAAS,aAAa,EACtB,UAAU;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAC,KAC5D,MAcF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,4BAA4B,GACxC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAkCF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,8BAA8B,GAC1C,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MA0DF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,2BAA2B,GACvC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAC,KACvF,MA0CF,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,6BAA6B,GACzC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,OAAO,CAAC;IACnD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAwCF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC7C,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAC,KAClE,MA+BF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,4BAA4B,GACxC,OAAO,aAAa,CAAC,eAAe,CAAC,EACrC,SAAS,aAAa,EACtB,UAAU;IACT,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B,KACC,MAwCF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,oCAAoC,GAChD,SAAS,aAAa,EACtB,UAAU;IACT,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;CACxB,KACC,MAqBF,CAAC;AAMF;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CACtC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,0BAA0B,GACtC,SAAS,aAAa,CAAC,UAAU,CAAC,EAClC,SAAS,aAAa,KACpB;IACF,YAAY,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC;IAChD,SAAS,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CA6B1C,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO;IACvC,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC9B,KAAG,MAYH,CAAC"}

package/dist/actions/action_codegen.js

@@ -10,12 +10,12 @@ import { ActionRegistry } from './action_registry.js';
 export const COMPOSABLE_ACTION_METHODS = ['heartbeat', 'cancel'];
 const COMPOSABLE_METHOD_SET = new Set(COMPOSABLE_ACTION_METHODS);
 /**
- * Type predicate for filtering composable methods out of a typed `ActionsApi`
+ * Type predicate for filtering composable methods out of a typed `FrontendActionsApi`
  * `method_filter`. Avoids the `(... as never)` cast required to call
  * `Array.prototype.includes` on the readonly tuple at narrow string types.
  *
  * @example
- * generate_actions_api(specs, imports, {
+ * generate_frontend_actions_api(specs, imports, {
  *   method_filter: (s) => !is_composable_action_method(s.method),
  * });
  */
@@ -312,10 +312,10 @@ export const to_action_spec_identifier = (method) => `${method}_action_spec`;
 export const to_action_spec_input_identifier = (method) => `${to_action_spec_identifier(method)}.input`;
 export const to_action_spec_output_identifier = (method) => `${to_action_spec_identifier(method)}.output`;
 /**
- * Generates one method line of the typed `ActionsApi` interface for a single
- * spec. Encapsulates the input/options/return-type signature shape so the
- * surface evolves in one place when fields like `signal` or `transport_name`
- * are added to per-call options.
+ * Generates one method line of the typed `FrontendActionsApi` interface for a
+ * single spec. Encapsulates the input/options/return-type signature shape so
+ * the surface evolves in one place when fields like `signal` or
+ * `transport_name` are added to per-call options.
  *
  * Async methods (`request_response`, `remote_notification`, async
  * `local_call`) get an optional second `options?: RpcClientCallOptions` arg
@@ -336,7 +336,7 @@ export const to_action_spec_output_identifier = (method) => `${to_action_spec_id
  * @param options.sync_returns_value - when true (default), sync local_call
  *   methods return the output value directly; when false they're wrapped in
  *   `Result<{value, error}>` like async methods. Set to `false` if your
- *   ActionsApi treats every method uniformly.
+ *   FrontendActionsApi treats every method uniformly.
  * @returns one line like `foo: (input: ActionInputs['foo'], options?: RpcClientCallOptions) => Promise<Result<...>>;`
  */
 export const generate_actions_api_method_signature = (spec, options) => {
@@ -356,6 +356,40 @@ export const generate_actions_api_method_signature = (spec, options) => {
             : result_return;
     return `${spec.method}: (${input_param}${options_param}) => ${return_type};`;
 };
+// --------------------------------------------------------------------------
+// High-level codegen helpers — compose the lower-level primitives above into
+// the literal blocks consumer `*.gen.ts` producers emit. Tier 1 consumers
+// (HTTP-only, e.g. tx) call the value-side helpers; Tier 2 (`TypedActionEvent`-
+// aware, e.g. zzz) also call the typed-event + frontend-handlers helpers.
+//
+// **Multi-source consumers.** Helpers that reference specs at runtime
+// (`generate_action_specs_record`, `generate_action_inputs_outputs`,
+// `generate_backend_actions_api`) default to a single `* as specs from
+// specs_module` namespace import and emit `specs.{method}_action_spec`. Pass
+// `qualify_spec?: (spec) => string` to emit a per-spec qualified identifier
+// (e.g. `admin_specs.account_list_action_spec`) for consumers stitching local
+// specs together with multiple upstream sources (`all_admin_action_specs` /
+// `all_permit_offer_action_specs` / `all_account_action_specs` /
+// `all_self_service_role_action_specs` from fuz_app). When `qualify_spec` is
+// set, the helper does NOT add a `* as specs` import — the consumer manages
+// the multiple `* as ns` imports itself — and `specs_module` is ignored.
+// `create_namespace_qualifier` automates the source-table → qualifier wiring.
+// --------------------------------------------------------------------------
+/**
+ * Format a `z.enum([...])` runtime const + matching `z.infer` type alias.
+ * Caller is responsible for ensuring `methods` is non-empty (`z.enum([])` is
+ * invalid) and registering the `zod` import on the `ImportBuilder`.
+ */
+const format_method_enum_block = (name, jsdoc, methods) => {
+    const lines = methods.map((m) => `\t'${m}',`).join('\n');
+    return `/**
+ * ${jsdoc}
+ */
+export const ${name} = z.enum([
+${lines}
+]);
+export type ${name} = z.infer<typeof ${name}>;`;
+};
 /** Default emit set — every enum kind. */
 export const ACTION_METHOD_ENUM_KINDS_ALL = new Set([
     'all',
@@ -364,12 +398,16 @@ export const ACTION_METHOD_ENUM_KINDS_ALL = new Set([
     'local_call',
     'frontend',
     'backend',
+    'frontend_handled',
+    'backend_handled',
+    'broadcast',
 ]);
 /**
  * Filter `heartbeat` / `cancel` out of `specs` unless the consumer opts back in.
  * Composables ship from fuz_app and are spread into every consumer's `actions`
  * array at registration time — they should not appear in consumer-owned typed
- * surfaces (`ActionMethod`, `ActionsApi`, `ActionInputs`, etc.) by default.
+ * surfaces (`ActionMethod`, `FrontendActionsApi`, `ActionInputs`, etc.) by
+ * default.
  */
 const filter_composables = (specs, include_composables) => include_composables ? specs : specs.filter((s) => !is_composable_action_method(s.method));
 /**
@@ -391,8 +429,10 @@ const resolve_spec_qualifier = (imports, options) => {
 /**
  * Emit one or more `z.enum([...])` declarations for action method names —
  * `ActionMethod`, `RequestResponseActionMethod`, `RemoteNotificationActionMethod`,
- * `LocalCallActionMethod`, `FrontendActionMethod`, `BackendActionMethod`. Pairs
- * each runtime const with a `z.infer` type alias under the same identifier.
+ * `LocalCallActionMethod`, `FrontendActionMethod`, `BackendActionMethod`,
+ * `FrontendRequestResponseMethod`, `BackendRequestResponseMethod`,
+ * `BroadcastActionMethod`. Pairs each runtime const with a `z.infer` type
+ * alias under the same identifier.
  *
  * Composable methods (`heartbeat`, `cancel`) are filtered out by default —
  * pass `include_composables: true` if a consumer genuinely wants them on
@@ -402,7 +442,11 @@ const resolve_spec_qualifier = (imports, options) => {
  * Adds `import {z} from 'zod';` to `imports` only when at least one block
  * is emitted (idempotent).
  *
- * @param options.emit - subset of enums to emit; defaults to all six.
+ * For genuinely cross-product enums the discriminator doesn't cover, use
+ * `generate_action_method_enum_block` — caller owns the predicate, name,
+ * and jsdoc.
+ *
+ * @param options.emit - subset of enums to emit; defaults to all nine.
  * @param options.include_composables - when true, retains `heartbeat` /
  *   `cancel` in the emitted enums. Default `false`.
  */
@@ -418,21 +462,48 @@ export const generate_action_method_enums = (specs, imports, options) => {
         // Consumers that need a kind to exist should check their spec set, not the helper.
         if (methods.length === 0)
             return;
-        const lines = methods.map((m) => `\t'${m}',`).join('\n');
-        blocks.push(`/**\n * ${jsdoc}\n */\nexport const ${name} = z.enum([\n${lines}\n]);
-export type ${name} = z.infer<typeof ${name}>;`);
+        blocks.push(format_method_enum_block(name, jsdoc, methods));
     };
     emit_block('all', 'ActionMethod', registry.methods, 'All action method names. Request/response actions have two types per method.');
     emit_block('request_response', 'RequestResponseActionMethod', registry.request_response_methods, 'Names of all request_response actions.');
     emit_block('remote_notification', 'RemoteNotificationActionMethod', registry.remote_notification_methods, 'Names of all remote_notification actions.');
     emit_block('local_call', 'LocalCallActionMethod', registry.local_call_methods, 'Names of all local_call actions.');
-    emit_block('frontend', 'FrontendActionMethod', registry.frontend_methods, 'Names of all actions that may be handled on the client.');
-    emit_block('backend', 'BackendActionMethod', registry.backend_methods, 'Names of all actions that may be handled on the server.');
+    // Loose: every spec the side might encounter (call, receive, or execute).
+    // Drives the typed-Proxy method enum keyed by FrontendActionsApi.
+    emit_block('frontend', 'FrontendActionMethod', registry.methods_relevant_to_frontend, 'Names of all actions in the typed FrontendActionsApi surface — every spec the frontend may encounter (call, receive, or execute locally).');
+    emit_block('backend', 'BackendActionMethod', registry.methods_relevant_to_backend, 'Names of all actions the backend may encounter — request_response and remote_notification (local_call is frontend-only).');
+    // Narrow: request_response actions this side handles (receives).
+    emit_block('frontend_handled', 'FrontendRequestResponseMethod', registry.frontend_handled_methods, 'Names of request_response actions the frontend handles (initiator excludes frontend).');
+    emit_block('backend_handled', 'BackendRequestResponseMethod', registry.backend_handled_methods, 'Names of request_response actions the backend handles (initiator excludes backend).');
+    // Broadcast: backend-initiated remote_notification, excluding `streams` targets.
+    emit_block('broadcast', 'BroadcastActionMethod', registry.broadcast_methods, "Names of remote_notification actions exposed by the broadcast API (backend-initiated, excluding request-scoped progress notifications named by another action's `streams`).");
     if (blocks.length === 0)
         return '';
     imports.add('zod', 'z');
     return blocks.join('\n\n');
 };
+/**
+ * Emit a single named `z.enum([...])` + `z.infer` block for an arbitrary
+ * spec subset. Lower-level escape hatch from `generate_action_method_enums` —
+ * for cross-product or domain-specific enums the built-in discriminator
+ * doesn't cover.
+ *
+ * Mirrors the built-in helper's contract: composables filtered by default,
+ * empty subsets return `''` (skip rather than emit `z.enum([])`), `zod`
+ * import registered idempotently only when at least one method qualifies.
+ *
+ * The cross-product space is open-ended; rather than grow the
+ * `ActionMethodEnumKind` discriminator one cross-product at a time, callers
+ * own the subset shape — name, jsdoc, predicate.
+ */
+export const generate_action_method_enum_block = (specs, imports, options) => {
+    const filtered = filter_composables(specs, options.include_composables);
+    const methods = filtered.filter(options.predicate).map((s) => s.method);
+    if (methods.length === 0)
+        return '';
+    imports.add('zod', 'z');
+    return format_method_enum_block(options.name, options.jsdoc, methods);
+};
 /**
  * Emit the fixed-shape `TypedActionEvent` alias used by `FrontendActionHandlers`
  * to narrow `ActionEvent.data` against the consumer's generated `ActionEventDatas`
@@ -630,29 +701,36 @@ ${lines.join('\n')}
 }`;
 };
 /**
- * Emit the `ActionsApi` interface — one method signature per spec via
+ * Emit the `FrontendActionsApi` interface — one method signature per spec via
  * `generate_actions_api_method_signature`. Optionally filter the spec set
  * (e.g. omit composable methods) via `method_filter`.
  *
  * Adds the `Result`, `JsonrpcErrorObject`, and `RpcClientCallOptions` type
  * imports plus `ActionInputs` / `ActionOutputs` (sourced from `collections_path`).
+ *
+ * The interface name is fixed at `FrontendActionsApi` — the symmetric counterpart
+ * of `BackendActionsApi`. Earlier consumer-named variants (`MyActionsApi`,
+ * `VisionesActionsApi`) were retired in API review III to make the side-of-the-wire
+ * intent visible at every call site. If a consumer needs a different name they
+ * hand-roll the interface (the helper's job is the standard symmetric shape).
  */
-export const generate_actions_api = (specs, imports, options) => {
+export const generate_frontend_actions_api = (specs, imports, options) => {
     const composable_filtered = filter_composables(specs, options?.include_composables);
     const filter = options?.method_filter;
     const filtered = filter ? composable_filtered.filter((s) => filter(s)) : composable_filtered;
     const interface_doc = `/**
- * Interface for action dispatch functions.
- * Async methods (request_response, remote_notification, async local_call)
- * return \`Promise<Result<...>>\` and accept an optional \`RpcClientCallOptions\`
- * second arg that threads \`signal\`, \`transport_name\`, and \`queue\` through to
- * the peer. Sync local_call methods return values directly.
+ * Typed dispatch surface for the frontend's RPC client. Symmetric counterpart
+ * of \`BackendActionsApi\`. Async methods (request_response, remote_notification,
+ * async local_call) return \`Promise<Result<...>>\` and accept an optional
+ * \`RpcClientCallOptions\` second arg that threads \`signal\`, \`transport_name\`,
+ * and \`queue\` through to the peer. Sync local_call methods return values
+ * directly.
  */`;
     if (filtered.length === 0) {
-        // Empty spec list — emit `ActionsApi {}` and skip every import. None
-        // of the symbols would be referenced by the empty body.
+        // Empty spec list — emit `FrontendActionsApi {}` and skip every import.
+        // None of the symbols would be referenced by the empty body.
         return `${interface_doc}
-export interface ActionsApi {}`;
+export interface FrontendActionsApi {}`;
     }
     const collections_path = options?.collections_path ?? DEFAULT_COLLECTIONS_PATH;
     imports.add_type('@fuzdev/fuz_util/result.js', 'Result');
@@ -666,7 +744,7 @@ export interface ActionsApi {}`;
         .map((line) => `\t${line}`)
         .join('\n');
     return `${interface_doc}
-export interface ActionsApi {
+export interface FrontendActionsApi {
 ${lines}
 }`;
 };
@@ -712,12 +790,23 @@ ${lines};
  * each `(input) => Promise<void>`. The array bundles the matching specs as a
  * `ReadonlyArray<ActionSpecUnion>`.
  *
- * Filter: `kind === 'remote_notification' && initiator !== 'frontend'`.
+ * Filter: `kind === 'remote_notification' && initiator !== 'frontend'`,
+ * additionally excluding methods that are the target of another spec's
+ * `streams` field. Streams targets (e.g. `completion_progress`,
+ * `ollama_progress`) are request-scoped notifications invoked via
+ * `ctx.notify` inside their parent handler — they're never callable through
+ * the broadcast API. The discriminator is `ActionSpec.streams`, not a manual
+ * exclusion list.
  *
  * Adds the `* as specs` namespace import (from `specs_module`), the
  * `ActionInputs` type import (from `collections_path`), and the
  * `ActionSpecUnion` type import.
  *
+ * Method signature shape today is `(input) => Promise<void>` — matches the
+ * fire-and-forget runtime of `create_broadcast_api`. Generalizing per-kind
+ * via `generate_actions_api_method_signature` is deferred until a second
+ * backend runtime constructor lands (see SAES quest § API review III).
+ *
  * @param options.qualify_spec - per-spec qualified identifier callback for
  *   multi-source consumers. When set, the helper emits the callback's return
  *   value instead of ``specs.${method}_action_spec`` in the broadcast array
@@ -727,12 +816,16 @@ ${lines};
  */
 export const generate_backend_actions_api = (specs, imports, options) => {
     const composable_filtered = filter_composables(specs, options?.include_composables);
-    const broadcast = composable_filtered.filter((s) => s.kind === 'remote_notification' && s.initiator !== 'frontend');
+    const registry = new ActionRegistry([...composable_filtered]);
+    const broadcast = registry.broadcast_specs;
     imports.add_type('@fuzdev/fuz_app/actions/action_spec.js', 'ActionSpecUnion');
     const interface_doc = `/**
- * Broadcast-style notifications from the backend to all connected clients.
- * Request-scoped streaming goes through \`ctx.notify\` instead — it's
- * socket-scoped, not a broadcast.
+ * Typed dispatch surface for backend-initiated calls. Symmetric counterpart
+ * of \`FrontendActionsApi\`. Today exposes broadcast-style \`remote_notification\`
+ * methods (1→N fan-out via \`create_broadcast_api\`); request-scoped streaming
+ * goes through \`ctx.notify\` inside a handler — it's socket-scoped, not a
+ * broadcast. Will widen when a second backend runtime constructor (targeted
+ * send, backend-initiated request_response) lands.
  */`;
     if (broadcast.length === 0) {
         // No backend-initiated remote_notifications — skip `* as specs` and
@@ -756,3 +849,142 @@ export interface BackendActionsApi {${interface_body}}
 
 export const broadcast_action_specs: ReadonlyArray<ActionSpecUnion> = [${array_body}];`;
 };
+/**
+ * Emit the `BackendActionHandlers` mapped type — one entry per
+ * `BackendRequestResponseMethod`, each `(input, ctx) => output | Promise<output>`.
+ * Replaces the hand-maintained `Exclude<>` + parallel mapped-type pattern
+ * (zzz had this at `zzz/src/lib/server/zzz_action_handlers.ts:42-66`).
+ *
+ * The context type is consumer-defined (e.g. zzz's `ZzzHandlerContext`). Pass
+ * `context_type` to name it; the helper assumes it's importable or defined
+ * in the emitted module's scope (consumer's responsibility).
+ *
+ * Adds `ActionInputs` / `ActionOutputs` type imports from `collections_path`
+ * and the `BackendRequestResponseMethod` import from `metatypes_path`.
+ *
+ * @param options.type_name - default `'BackendActionHandlers'`.
+ * @param options.method_enum_name - default `'BackendRequestResponseMethod'`.
+ *   Pair with `generate_action_method_enums` emitting the `'backend_handled'` kind.
+ * @param options.context_type - default `'BackendHandlerContext'`. Caller's
+ *   handler context type — must be in scope at the emit site.
+ * @param options.collections_path - default `'./action_collections.js'`.
+ * @param options.metatypes_path - default `'./action_metatypes.js'`.
+ */
+export const generate_backend_action_handlers_map = (imports, options) => {
+    const type_name = options?.type_name ?? 'BackendActionHandlers';
+    const method_enum_name = options?.method_enum_name ?? 'BackendRequestResponseMethod';
+    const context_type = options?.context_type ?? 'BackendHandlerContext';
+    const collections_path = options?.collections_path ?? DEFAULT_COLLECTIONS_PATH;
+    const metatypes_path = options?.metatypes_path ?? DEFAULT_METATYPES_PATH;
+    imports.add_types(collections_path, 'ActionInputs', 'ActionOutputs');
+    imports.add_type(metatypes_path, method_enum_name);
+    return `/**
+ * Typed handler map for request_response actions the backend handles.
+ * One entry per ${method_enum_name}; each handler receives the typed input
+ * and returns the typed output (sync or async).
+ */
+export type ${type_name} = {
+	[K in ${method_enum_name}]: (
+		input: ActionInputs[K],
+		ctx: ${context_type},
+	) => ActionOutputs[K] | Promise<ActionOutputs[K]>;
+};`;
+};
+/**
+ * Multi-source consumer helper. Takes a list of `{ns, module, specs}` rows,
+ * registers `import * as ns from module` for each on `imports`, builds the
+ * `method_to_ns` lookup with duplicate-method detection, and returns
+ * `{qualify_spec, all_specs}` ready to thread through the high-level
+ * helpers.
+ *
+ * Closes the per-file boilerplate gap that kept tx + visiones on hand-rolled
+ * template strings even after `qualify_spec?` landed in API review II — the
+ * per-call callback wasn't enough; the import dance + dup-check was the
+ * real boilerplate.
+ *
+ * @example
+ * ```ts
+ * const sources = [
+ *   {ns: 'tx_specs', module: './action_specs.js', specs: all_tx_action_specs},
+ *   {ns: 'admin_specs', module: '@fuzdev/fuz_app/auth/admin_action_specs.js', specs: all_admin_action_specs},
+ * ];
+ *
+ * export const gen: Gen = ({origin_path}) => {
+ *   const imports = new ImportBuilder();
+ *   const {qualify_spec, all_specs} = create_namespace_qualifier(sources, imports);
+ *   return compose_gen_file({
+ *     origin_path,
+ *     imports,
+ *     blocks: [
+ *       generate_action_specs_record(all_specs, imports, {qualify_spec}),
+ *       generate_action_inputs_outputs(all_specs, imports, {qualify_spec}),
+ *     ],
+ *   });
+ * };
+ * ```
+ *
+ * @throws if two sources contain the same method name (same-method detection
+ *   is the consumer's primary debugging signal).
+ */
+export const create_namespace_qualifier = (sources, imports) => {
+    const method_to_ns = new Map();
+    const all_specs = [];
+    for (const { ns, module, specs } of sources) {
+        imports.add(module, `* as ${ns}`);
+        for (const spec of specs) {
+            if (method_to_ns.has(spec.method)) {
+                throw new Error(`duplicate action method across sources: ${spec.method} (in ${method_to_ns.get(spec.method)} and ${ns})`);
+            }
+            method_to_ns.set(spec.method, ns);
+            all_specs.push(spec);
+        }
+    }
+    const qualify_spec = (spec) => {
+        const ns = method_to_ns.get(spec.method);
+        if (!ns) {
+            throw new Error(`unknown action method passed to qualify_spec: ${spec.method} — not in any registered source`);
+        }
+        return `${ns}.${spec.method}_action_spec`;
+    };
+    return { qualify_spec, all_specs };
+};
+/**
+ * Wrap the per-`*.gen.ts` boilerplate (banner + `imports.build()` +
+ * blocks join + template literal) into one call. Returns the full file body
+ * as a string ready to return from a `Gen` function.
+ *
+ * Each consumer producer collapses to one `compose_gen_file` call wrapping
+ * the helper invocations.
+ *
+ * @example
+ * ```ts
+ * export const gen: Gen = ({origin_path}) => {
+ *   const imports = new ImportBuilder();
+ *   return compose_gen_file({
+ *     origin_path,
+ *     imports,
+ *     blocks: [
+ *       generate_action_specs_record(all_action_specs, imports),
+ *       generate_action_inputs_outputs(all_action_specs, imports),
+ *       generate_action_event_datas(all_action_specs, imports),
+ *     ],
+ *   });
+ * };
+ * ```
+ *
+ * Empty blocks (`''`) are filtered out so helpers that short-circuit on
+ * empty spec sets don't introduce stray double blank lines.
+ */
+export const compose_gen_file = (input) => {
+    const banner = create_banner(input.origin_path);
+    const body = input.blocks.filter(Boolean).join('\n\n');
+    return `
+		// ${banner}
+
+		${input.imports.build()}
+
+		${body}
+
+		// ${banner}
+	`;
+};

package/dist/actions/action_registry.d.ts

@@ -1,6 +1,29 @@
 /**
  * `ActionRegistry` — query and filter utility over `ActionSpecUnion[]`.
  *
+ * Vocabulary (set in API review III, see the `docs/` directory and the SAES quest):
+ * - `*_handled_*` — request_response specs the named side **receives**
+ *   (so the named side owns the handler). Used by codegen to emit typed
+ *   handler maps.
+ * - `*_relevant_to_*` — the loose "everything this side might encounter"
+ *   set, used by the typed-Proxy method enums (`FrontendActionMethod`,
+ *   `BackendActionMethod`).
+ * - `broadcast_*` — kind-narrow `remote_notification` set with the
+ *   `streams`-target exclusion. Today this matches what the broadcast
+ *   API exposes.
+ * - `backend_initiated_*` — forward-looking kind-agnostic version of the
+ *   broadcast set. Same content today; will diverge when local_calls or
+ *   backend `request_response` join the backend's typed surface.
+ *
+ * Cache discipline: `spec_by_method` (Map) and the internal streams-target
+ * set lazy-memoize because the Map is consulted per-RPC dispatch
+ * (`frontend_rpc_client.ts` wires it into `lookup_action_spec`) and the
+ * streams set is rebuilt by two public getters. Array-returning getters
+ * recompute on each call so callers can mutate the result freely
+ * (`.sort()`, `.push(injected)` on a copy, etc.) without affecting the
+ * registry — codegen is a build-time path where the extra `.filter` /
+ * `.map` work is negligible.
+ *
  * @module
  */
 import type { ActionSpecUnion, RequestResponseActionSpec, RemoteNotificationActionSpec, LocalCallActionSpec } from './action_spec.js';
@@ -9,26 +32,35 @@ import type { ActionSpecUnion, RequestResponseActionSpec, RemoteNotificationActi
  * Provides helper methods to get actions by various criteria.
  */
 export declare class ActionRegistry {
+    #private;
     readonly specs: Array<ActionSpecUnion>;
     constructor(specs: Array<ActionSpecUnion>);
     get spec_by_method(): Map<string, ActionSpecUnion>;
+    get methods(): Array<string>;
     get request_response_specs(): Array<RequestResponseActionSpec>;
     get remote_notification_specs(): Array<RemoteNotificationActionSpec>;
     get local_call_specs(): Array<LocalCallActionSpec>;
-    get backend_specs(): Array<ActionSpecUnion>;
-    get frontend_specs(): Array<ActionSpecUnion>;
-    get backend_to_frontend_specs(): Array<ActionSpecUnion>;
-    get frontend_to_backend_specs(): Array<ActionSpecUnion>;
-    get public_specs(): Array<ActionSpecUnion>;
-    get authenticated_specs(): Array<ActionSpecUnion>;
-    get methods(): Array<string>;
     get request_response_methods(): Array<string>;
     get remote_notification_methods(): Array<string>;
     get local_call_methods(): Array<string>;
-    get backend_methods(): Array<string>;
-    get frontend_methods(): Array<string>;
+    get specs_relevant_to_frontend(): Array<ActionSpecUnion>;
+    get specs_relevant_to_backend(): Array<ActionSpecUnion>;
+    get methods_relevant_to_frontend(): Array<string>;
+    get methods_relevant_to_backend(): Array<string>;
+    get frontend_handled_specs(): Array<RequestResponseActionSpec>;
+    get backend_handled_specs(): Array<RequestResponseActionSpec>;
+    get frontend_handled_methods(): Array<string>;
+    get backend_handled_methods(): Array<string>;
+    get broadcast_specs(): Array<RemoteNotificationActionSpec>;
+    get broadcast_methods(): Array<string>;
+    get backend_initiated_specs(): Array<ActionSpecUnion>;
+    get backend_initiated_methods(): Array<string>;
+    get backend_to_frontend_specs(): Array<ActionSpecUnion>;
+    get frontend_to_backend_specs(): Array<ActionSpecUnion>;
     get frontend_to_backend_methods(): Array<string>;
     get backend_to_frontend_methods(): Array<string>;
+    get public_specs(): Array<ActionSpecUnion>;
+    get authenticated_specs(): Array<ActionSpecUnion>;
     get public_methods(): Array<string>;
     get authenticated_methods(): Array<string>;
 }

package/dist/actions/action_registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"action_registry.d.ts","sourceRoot":"../src/lib/","sources":["../../src/lib/actions/action_registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACX,eAAe,EACf,yBAAyB,EACzB,4BAA4B,EAC5B,mBAAmB,EACnB,MAAM,kBAAkB,CAAC;AAQ1B;;;GAGG;AACH,qBAAa,cAAc;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;gBAE3B,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC;IAIzC,IAAI,cAAc,IAAI,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAEjD;IAED,IAAI,sBAAsB,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAE7D;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAEnE;IAED,IAAI,gBAAgB,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAEjD;IAKD,IAAI,aAAa,IAAI,KAAK,CAAC,eAAe,CAAC,CAE1C;IAED,IAAI,cAAc,IAAI,KAAK,CAAC,eAAe,CAAC,CAE3C;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEtD;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEtD;IAED,IAAI,YAAY,IAAI,KAAK,CAAC,eAAe,CAAC,CAEzC;IAED,IAAI,mBAAmB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEhD;IAED,IAAI,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,CAE3B;IAED,IAAI,wBAAwB,IAAI,KAAK,CAAC,MAAM,CAAC,CAE5C;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAED,IAAI,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC,CAEtC;IAED,IAAI,eAAe,IAAI,KAAK,CAAC,MAAM,CAAC,CAEnC;IAED,IAAI,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,CAEpC;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAED,IAAI,cAAc,IAAI,KAAK,CAAC,MAAM,CAAC,CAElC;IAED,IAAI,qBAAqB,IAAI,KAAK,CAAC,MAAM,CAAC,CAEzC;CACD"}
+{"version":3,"file":"action_registry.d.ts","sourceRoot":"../src/lib/","sources":["../../src/lib/actions/action_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EACX,eAAe,EACf,yBAAyB,EACzB,4BAA4B,EAC5B,mBAAmB,EACnB,MAAM,kBAAkB,CAAC;AAS1B;;;GAGG;AACH,qBAAa,cAAc;;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;gBAE3B,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC;IAKzC,IAAI,cAAc,IAAI,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAEjD;IAED,IAAI,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,CAE3B;IAID,IAAI,sBAAsB,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAE7D;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAEnE;IAED,IAAI,gBAAgB,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAEjD;IAED,IAAI,wBAAwB,IAAI,KAAK,CAAC,MAAM,CAAC,CAE5C;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAED,IAAI,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC,CAEtC;IAOD,IAAI,0BAA0B,IAAI,KAAK,CAAC,eAAe,CAAC,CAEvD;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEtD;IAED,IAAI,4BAA4B,IAAI,KAAK,CAAC,MAAM,CAAC,CAEhD;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAOD,IAAI,sBAAsB,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAE7D;IAED,IAAI,qBAAqB,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAE5D;IAED,IAAI,wBAAwB,IAAI,KAAK,CAAC,MAAM,CAAC,CAE5C;IAED,IAAI,uBAAuB,IAAI,KAAK,CAAC,MAAM,CAAC,CAE3C;IASD,IAAI,eAAe,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAKzD;IAED,IAAI,iBAAiB,IAAI,KAAK,CAAC,MAAM,CAAC,CAErC;IAED,IAAI,uBAAuB,IAAI,KAAK,CAAC,eAAe,CAAC,CAKpD;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,MAAM,CAAC,CAE7C;IAID,IAAI,yBAAyB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEtD;IAED,IAAI,yBAAyB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEtD;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAED,IAAI,2BAA2B,IAAI,KAAK,CAAC,MAAM,CAAC,CAE/C;IAID,IAAI,YAAY,IAAI,KAAK,CAAC,eAAe,CAAC,CAEzC;IAED,IAAI,mBAAmB,IAAI,KAAK,CAAC,eAAe,CAAC,CAEhD;IAED,IAAI,cAAc,IAAI,KAAK,CAAC,MAAM,CAAC,CAElC;IAED,IAAI,qBAAqB,IAAI,KAAK,CAAC,MAAM,CAAC,CAEzC;CAaD"}

package/dist/actions/action_registry.js

@@ -1,13 +1,37 @@
 /**
  * `ActionRegistry` — query and filter utility over `ActionSpecUnion[]`.
  *
+ * Vocabulary (set in API review III, see the `docs/` directory and the SAES quest):
+ * - `*_handled_*` — request_response specs the named side **receives**
+ *   (so the named side owns the handler). Used by codegen to emit typed
+ *   handler maps.
+ * - `*_relevant_to_*` — the loose "everything this side might encounter"
+ *   set, used by the typed-Proxy method enums (`FrontendActionMethod`,
+ *   `BackendActionMethod`).
+ * - `broadcast_*` — kind-narrow `remote_notification` set with the
+ *   `streams`-target exclusion. Today this matches what the broadcast
+ *   API exposes.
+ * - `backend_initiated_*` — forward-looking kind-agnostic version of the
+ *   broadcast set. Same content today; will diverge when local_calls or
+ *   backend `request_response` join the backend's typed surface.
+ *
+ * Cache discipline: `spec_by_method` (Map) and the internal streams-target
+ * set lazy-memoize because the Map is consulted per-RPC dispatch
+ * (`frontend_rpc_client.ts` wires it into `lookup_action_spec`) and the
+ * streams set is rebuilt by two public getters. Array-returning getters
+ * recompute on each call so callers can mutate the result freely
+ * (`.sort()`, `.push(injected)` on a copy, etc.) without affecting the
+ * registry — codegen is a build-time path where the extra `.filter` /
+ * `.map` work is negligible.
+ *
  * @module
  */
-// TODO @action-system-review Many getters below are stub API surface — only `spec_by_method`,
-// `request_response_specs`, `remote_notification_specs`, `local_call_specs`,
-// `frontend_methods`, `backend_methods`, and `methods` are used by consumers (codegen).
-// The rest are pre-built for future use. Revisit which getters to keep when the action
-// system matures. Also consider lazy memoization (`??=` or derived).
+// TODO @action-system-review Many getters below are stub API surface — only
+// `spec_by_method`, `methods`, the kind-narrow `*_specs` (`request_response_specs`,
+// `remote_notification_specs`, `local_call_specs`), the `*_handled_*` pair,
+// the `*_relevant_to_*` pair, and `broadcast_*` / `backend_initiated_*` are
+// used by codegen. The auth + initiator-direction getters are pre-built for
+// future use. Revisit which getters to keep when the action system matures.
 /**
  * Utility class to manage and query action specifications.
  * Provides helper methods to get actions by various criteria.
@@ -17,9 +41,14 @@ export class ActionRegistry {
     constructor(specs) {
         this.specs = specs;
     }
+    #spec_by_method;
     get spec_by_method() {
-        return new Map(this.specs.map((spec) => [spec.method, spec]));
+        return (this.#spec_by_method ??= new Map(this.specs.map((spec) => [spec.method, spec])));
+    }
+    get methods() {
+        return this.specs.map((spec) => spec.method);
     }
+    // --- Kind-narrow getters ---
     get request_response_specs() {
         return this.specs.filter((spec) => spec.kind === 'request_response');
     }
@@ -29,44 +58,73 @@ export class ActionRegistry {
     get local_call_specs() {
         return this.specs.filter((spec) => spec.kind === 'local_call');
     }
-    // TODO @action-system-review `backend_specs` filters out local_call (can't run on backend);
-    // `frontend_specs` returns all specs (all action kinds are relevant to the frontend).
-    // Revisit whether these filters are correct as the action system matures.
-    get backend_specs() {
+    get request_response_methods() {
+        return this.request_response_specs.map((spec) => spec.method);
+    }
+    get remote_notification_methods() {
+        return this.remote_notification_specs.map((spec) => spec.method);
+    }
+    get local_call_methods() {
+        return this.local_call_specs.map((spec) => spec.method);
+    }
+    // --- Loose "relevant to side" getters ---
+    // Backs the `FrontendActionMethod` / `BackendActionMethod` enums — the
+    // typed-Proxy method enums where every spec the side might encounter
+    // (call, receive, or execute) belongs in the union.
+    get specs_relevant_to_frontend() {
+        return this.specs.slice();
+    }
+    get specs_relevant_to_backend() {
         return this.specs.filter((spec) => spec.kind !== 'local_call');
     }
-    get frontend_specs() {
-        return this.specs;
+    get methods_relevant_to_frontend() {
+        return this.specs_relevant_to_frontend.map((spec) => spec.method);
     }
-    get backend_to_frontend_specs() {
-        return this.specs.filter((spec) => spec.initiator === 'backend' || spec.initiator === 'both');
+    get methods_relevant_to_backend() {
+        return this.specs_relevant_to_backend.map((spec) => spec.method);
     }
-    get frontend_to_backend_specs() {
-        return this.specs.filter((spec) => spec.initiator === 'frontend' || spec.initiator === 'both');
+    // --- Narrow handler-side getters (request_response only) ---
+    // "Handled" = this side **receives** (initiator excludes own side).
+    // Drives `FrontendRequestResponseMethod` / `BackendRequestResponseMethod`
+    // enums and the typed `BackendActionHandlers` mapped type.
+    get frontend_handled_specs() {
+        return this.request_response_specs.filter((spec) => spec.initiator !== 'frontend');
     }
-    get public_specs() {
-        return this.specs.filter((spec) => spec.auth === 'public');
+    get backend_handled_specs() {
+        return this.request_response_specs.filter((spec) => spec.initiator !== 'backend');
     }
-    get authenticated_specs() {
-        return this.specs.filter((spec) => spec.auth === 'authenticated');
+    get frontend_handled_methods() {
+        return this.frontend_handled_specs.map((spec) => spec.method);
     }
-    get methods() {
-        return this.specs.map((spec) => spec.method);
+    get backend_handled_methods() {
+        return this.backend_handled_specs.map((spec) => spec.method);
     }
-    get request_response_methods() {
-        return this.request_response_specs.map((spec) => spec.method);
+    // --- Broadcast / backend-initiated getters ---
+    // Excludes `streams` targets (request-scoped progress notifications
+    // invoked via `ctx.notify` inside the parent handler). Today
+    // `broadcast_*` and `backend_initiated_*` return the same set;
+    // `backend_initiated_*` is the forward-looking name that will widen
+    // when local_calls or backend-initiated `request_response` join.
+    get broadcast_specs() {
+        const streams_targets = this.#get_streams_target_methods();
+        return this.remote_notification_specs.filter((spec) => spec.initiator !== 'frontend' && !streams_targets.has(spec.method));
     }
-    get remote_notification_methods() {
-        return this.remote_notification_specs.map((spec) => spec.method);
+    get broadcast_methods() {
+        return this.broadcast_specs.map((spec) => spec.method);
     }
-    get local_call_methods() {
-        return this.local_call_specs.map((spec) => spec.method);
+    get backend_initiated_specs() {
+        const streams_targets = this.#get_streams_target_methods();
+        return this.specs.filter((spec) => spec.initiator !== 'frontend' && !streams_targets.has(spec.method));
     }
-    get backend_methods() {
-        return this.backend_specs.map((spec) => spec.method);
+    get backend_initiated_methods() {
+        return this.backend_initiated_specs.map((spec) => spec.method);
     }
-    get frontend_methods() {
-        return this.frontend_specs.map((spec) => spec.method);
+    // --- Initiator-direction (pre-built, unused by codegen today) ---
+    get backend_to_frontend_specs() {
+        return this.specs.filter((spec) => spec.initiator === 'backend' || spec.initiator === 'both');
+    }
+    get frontend_to_backend_specs() {
+        return this.specs.filter((spec) => spec.initiator === 'frontend' || spec.initiator === 'both');
     }
     get frontend_to_backend_methods() {
         return this.frontend_to_backend_specs.map((spec) => spec.method);
@@ -74,10 +132,29 @@ export class ActionRegistry {
     get backend_to_frontend_methods() {
         return this.backend_to_frontend_specs.map((spec) => spec.method);
     }
+    // --- Auth (pre-built, unused by codegen today) ---
+    get public_specs() {
+        return this.specs.filter((spec) => spec.auth === 'public');
+    }
+    get authenticated_specs() {
+        return this.specs.filter((spec) => spec.auth === 'authenticated');
+    }
     get public_methods() {
         return this.public_specs.map((spec) => spec.method);
     }
     get authenticated_methods() {
         return this.authenticated_specs.map((spec) => spec.method);
     }
+    // --- Internal ---
+    #streams_target_methods;
+    #get_streams_target_methods() {
+        if (this.#streams_target_methods)
+            return this.#streams_target_methods;
+        const targets = new Set();
+        for (const spec of this.specs) {
+            if (spec.streams)
+                targets.add(spec.streams);
+        }
+        return (this.#streams_target_methods = targets);
+    }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fuzdev/fuz_app",
-  "version": "0.48.0",
+  "version": "0.49.0",
   "description": "fullstack app library",
   "glyph": "🗝",
   "logo": "logo.svg",