@fougere/core 0.6.0-alpha.0 → 0.7.0-alpha.0

package/dist/wire/loggerMiddleware.d.ts

@@ -2,13 +2,7 @@
  * Logger middleware — logs every operation with timing.
  */
 import type { AppMiddleware } from './middleware.js';
-import type { Logger } from '../builtins/logger.js';
-/**
- * Create a logger middleware that logs operation entry, exit, and errors.
- *
- * ```ts
- * app.use(loggerMiddleware(app.resolve('Logger')))
- * ```
- */
+import type { Logger } from '../builtin/logger.js';
+/** Create a logger middleware that logs operation entry, exit, and errors. */
 export declare function loggerMiddleware(logger: Logger): AppMiddleware;
 //# sourceMappingURL=loggerMiddleware.d.ts.map

package/dist/wire/loggerMiddleware.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loggerMiddleware.d.ts","sourceRoot":"","sources":["../../src/wire/loggerMiddleware.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAe9D"}
+{"version":3,"file":"loggerMiddleware.d.ts","sourceRoot":"","sources":["../../src/wire/loggerMiddleware.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEnD,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAe9D"}

package/dist/wire/loggerMiddleware.js

@@ -1,10 +1,4 @@
-/**
- * Create a logger middleware that logs operation entry, exit, and errors.
- *
- * ```ts
- * app.use(loggerMiddleware(app.resolve('Logger')))
- * ```
- */
+/** Create a logger middleware that logs operation entry, exit, and errors. */
 export function loggerMiddleware(logger) {
     return async (ctx, next) => {
         const start = performance.now();

package/dist/wire/loggerMiddleware.js.map

@@ -1 +1 @@
-{"version":3,"file":"loggerMiddleware.js","sourceRoot":"","sources":["../../src/wire/loggerMiddleware.ts"],"names":[],"mappings":"AAMA;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE,KAAK,CAAC,CAAC;YACxD,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"loggerMiddleware.js","sourceRoot":"","sources":["../../src/wire/loggerMiddleware.ts"],"names":[],"mappings":"AAMA,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE,KAAK,CAAC,CAAC;YACxD,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/wire/middleware.d.ts

@@ -1,8 +1,4 @@
-/**
- * App-level middleware — intercepts handler facade operations.
- *
- * Works regardless of entry point (HTTP, Nitro, event bus, CLI, tests).
- */
+/** App-level middleware — intercepts handler facade operations. */
 export interface OperationContext {
     /** Entity name (e.g. 'product'). */
     entity: string;
@@ -17,8 +13,8 @@ export interface OperationContext {
     args: unknown[];
     /** Extensible bag — middlewares deposit data here (user, permissions, etc.). */
     state: Record<string, unknown>;
-    /** Transport-agnostic invocation context (params, query, body, state). */
-    invocation?: import('../contract/Invocation.js').InvocationContext;
+    /** Transport-agnostic invocation context (params, query, input, state). */
+    invocation?: import('../wire/Invocation.js').InvocationContext;
 }
 export type AppNext = () => Promise<unknown>;
 export type AppMiddleware = (ctx: OperationContext, next: AppNext) => Promise<unknown>;

package/dist/wire/middleware.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"middleware.d.ts","sourceRoot":"","sources":["../../src/wire/middleware.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,MAAM,WAAW,gBAAgB;IAC/B,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,IAAI,EAAE,OAAO,EAAE,CAAC;IAChB,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,OAAO,2BAA2B,EAAE,iBAAiB,CAAC;CACpE;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;AAC7C,MAAM,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AAIvF;;GAEG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,aAAa,EAAE,EAC5B,GAAG,EAAE,gBAAgB,EACrB,OAAO,EAAE,OAAO,GACf,OAAO,CAAC,OAAO,CAAC,CASlB"}
+{"version":3,"file":"middleware.d.ts","sourceRoot":"","sources":["../../src/wire/middleware.ts"],"names":[],"mappings":"AAAA,mEAAmE;AAGnE,MAAM,WAAW,gBAAgB;IAC/B,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,IAAI,EAAE,OAAO,EAAE,CAAC;IAChB,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,2EAA2E;IAC3E,UAAU,CAAC,EAAE,OAAO,uBAAuB,EAAE,iBAAiB,CAAC;CAChE;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;AAC7C,MAAM,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AAIvF;;GAEG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,aAAa,EAAE,EAC5B,GAAG,EAAE,gBAAgB,EACrB,OAAO,EAAE,OAAO,GACf,OAAO,CAAC,OAAO,CAAC,CASlB"}

package/dist/wire/middleware.js

@@ -1,8 +1,4 @@
-/**
- * App-level middleware — intercepts handler facade operations.
- *
- * Works regardless of entry point (HTTP, Nitro, event bus, CLI, tests).
- */
+/** App-level middleware — intercepts handler facade operations. */
 // ── Runner ──────────────────────────────────────
 /**
  * Execute a middleware chain (onion model) then the handler.

package/dist/wire/middleware.js.map

@@ -1 +1 @@
-{"version":3,"file":"middleware.js","sourceRoot":"","sources":["../../src/wire/middleware.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAwBH,mDAAmD;AAEnD;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,WAA4B,EAC5B,GAAqB,EACrB,OAAgB;IAEhB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,GAAqB,EAAE;QAClC,IAAI,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YAC/B,OAAO,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC,CAAC;IACF,OAAO,IAAI,EAAE,CAAC;AAChB,CAAC"}
+{"version":3,"file":"middleware.js","sourceRoot":"","sources":["../../src/wire/middleware.ts"],"names":[],"mappings":"AAAA,mEAAmE;AAwBnE,mDAAmD;AAEnD;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,WAA4B,EAC5B,GAAqB,EACrB,OAAgB;IAEhB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,GAAqB,EAAE;QAClC,IAAI,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YAC/B,OAAO,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC,CAAC;IACF,OAAO,IAAI,EAAE,CAAC;AAChB,CAAC"}

package/dist/wire/operation.d.ts

@@ -1,14 +1,7 @@
 import type { SchemaView } from '@fougere/schema';
 import type { BindingPlan } from './binding.js';
 import type { Signature, TypeRef, Param } from './signature.js';
-/**
- * The contract of one operation — everything the façade needs to serve a call.
- *
- * Produced two ways, indistinguishable once here: the scan DERIVES it from a
- * method's parsed signature, a prefab handler DECLARES it outright. The façade
- * consumes contracts and nothing else — it knows no operation by name, and a
- * declared contract survives a scan that resolved nothing.
- */
+/** The contract of one operation — everything the façade needs to serve a call. */
 export interface OperationContract {
     /** Judged on the way in. The view carries its own mode (`partial()` → patch). */
     input?: SchemaView;
@@ -16,42 +9,14 @@ export interface OperationContract {
     output?: SchemaView;
     /** Where each argument is read from in the invocation. */
     binding?: BindingPlan;
-    /**
-     * The operation in words, for a caller that meets it over the wire and has to
-     * choose. Same three producers as the rest: the scan derives it from the method's
-     * doc comment, a prefab declares it, config states it and wins.
-     */
+    /** The operation in words, for a caller that meets it over the wire and has to choose. */
     description?: string;
-    /**
-     * How MUCH comes back — the half of the return type that `output` cannot say.
-     *
-     * `output` is the shape of ONE row; it is silent on whether the op hands back one,
-     * several, or a page. The prefab knows (`list` returns a `ListResult`, `findById`
-     * returns `T | undefined`) and the card did not, so anything generating a signature
-     * from the card would have written `list(): Promise<Post[]>` — false, and a false
-     * signature is worse than none.
-     *
-     * `none` says there is no shaped output at all (a boolean, a void), not that the op
-     * returns nothing.
-     */
+    /** How MUCH comes back — the half of the return type that `output` cannot say. */
     cardinality?: 'one' | 'maybe' | 'many' | 'page' | 'none';
-    /**
-     * The argument names and TYPES — the one thing `binding` cannot say.
-     *
-     * `binding` says where an argument is read from, `cardinality` how much comes back;
-     * neither gives a type, and a GraphQL argument needs one. So this is not the scan's
-     * private material: a prefab fills it too, from signatures it wrote itself. `binding`
-     * still wins on where an argument comes from.
-     */
+    /** The argument names and TYPES — the one thing `binding` cannot say. */
     signature?: Signature;
 }
-/**
- * Read an op's cardinality off its parsed return type.
- *
- * `Promise` is unwrapped first — it says when, not how much. `ListResult<T>` extends
- * `Array<T>`, so it must be recognised BEFORE the array test or a page would read as
- * a plain list and lose its `total`/`hasMore`.
- */
+/** Read an op's cardinality off its parsed return type. */
 export declare function cardinalityOf(type: TypeRef | undefined): OperationContract['cardinality'];
 /** Map of operation name → its contract. */
 export type OperationsMap = Map<string, OperationContract>;
@@ -69,9 +34,8 @@ export declare function knownVerbs(): {
     command: string[];
 };
 /**
- * Infer only when the leading word names one convention and a composed clause does not
- * name the opposite one. This is intentionally partial: `ofBook`, `computeReport` and
- * `getOrCreateUser` have no inferred kind instead of falling through to command/query.
+ * Infer only when the leading word names one convention and a composed clause does not name the
+ * opposite one.
  */
 export declare function inferOperationKind(name: string): OperationKindInference;
 /** Explicit config is authoritative; otherwise the finite convention may decline. */

package/dist/wire/operation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../../src/wire/operation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEhE;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAChC,iFAAiF;IACjF,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,gCAAgC;IAChC,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,0DAA0D;IAC1D,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACzD;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAQzF;AAKD,4CAA4C;AAC5C,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAE3D,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAQ/B,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,SAAS,CAAC;AAEhD,+FAA+F;AAC/F,MAAM,WAAW,sBAAsB;IACrC,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AA2BD,oFAAoF;AACpF,wBAAgB,UAAU,IAAI;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAEnE;AAYD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,sBAAsB,CA4BvE;AAED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,IAAI,CAAC,EAAE,aAAa,CAAA;CAAE,CAAC,GACnD,aAAa,GAAG,SAAS,CAE3B;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE9C;AAED,sFAAsF;AACtF,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,IAAI,CAAC,EAAE,aAAa,CAAA;CAAE,CAAC,GACnD,OAAO,CAET"}
+{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../../src/wire/operation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEhE,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,iFAAiF;IACjF,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,gCAAgC;IAChC,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,0DAA0D;IAC1D,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,0FAA0F;IAC1F,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kFAAkF;IAClF,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACzD,yEAAyE;IACzE,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED,2DAA2D;AAC3D,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAQzF;AAKD,4CAA4C;AAC5C,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAE3D,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAQ/B,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,SAAS,CAAC;AAEhD,+FAA+F;AAC/F,MAAM,WAAW,sBAAsB;IACrC,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAuBD,oFAAoF;AACpF,wBAAgB,UAAU,IAAI;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAEnE;AAYD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,sBAAsB,CA4BvE;AAED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,IAAI,CAAC,EAAE,aAAa,CAAA;CAAE,CAAC,GACnD,aAAa,GAAG,SAAS,CAE3B;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE9C;AAED,sFAAsF;AACtF,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,IAAI,CAAC,EAAE,aAAa,CAAA;CAAE,CAAC,GACnD,OAAO,CAET"}

package/dist/wire/operation.js

@@ -1,10 +1,4 @@
-/**
- * Read an op's cardinality off its parsed return type.
- *
- * `Promise` is unwrapped first — it says when, not how much. `ListResult<T>` extends
- * `Array<T>`, so it must be recognised BEFORE the array test or a page would read as
- * a plain list and lose its `total`/`hasMore`.
- */
+/** Read an op's cardinality off its parsed return type. */
 export function cardinalityOf(type) {
     if (!type)
         return undefined;
@@ -21,11 +15,7 @@ export function cardinalityOf(type) {
 }
 /** A return that carries no schema — the card has nothing to project onto it. */
 const PRIMITIVE_RETURNS = new Set(['boolean', 'string', 'number', 'void', 'undefined', 'unknown', 'any']);
-/**
- * Deliberately finite: these are verbs whose leading use carries a stable read meaning.
- * `stats` and `check` preserve conventions already used by the project; the rest are the
- * ordinary query vocabulary shared by the built-in adapters.
- */
+/** Deliberately finite. */
 const QUERY_VERBS = new Set([
     'all', 'check', 'count', 'exists', 'fetch', 'find', 'get', 'has', 'health', 'list',
     'load', 'mine', 'ping', 'quote', 'read', 'search', 'stats', 'status', 'who',
@@ -57,9 +47,8 @@ function wordsOf(name) {
         .map((word) => word.toLowerCase());
 }
 /**
- * Infer only when the leading word names one convention and a composed clause does not
- * name the opposite one. This is intentionally partial: `ofBook`, `computeReport` and
- * `getOrCreateUser` have no inferred kind instead of falling through to command/query.
+ * Infer only when the leading word names one convention and a composed clause does not name the
+ * opposite one.
  */
 export function inferOperationKind(name) {
     const words = wordsOf(name);

package/dist/wire/operation.js.map

@@ -1 +1 @@
-{"version":3,"file":"operation.js","sourceRoot":"","sources":["../../src/wire/operation.ts"],"names":[],"mappings":"AAiDA;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAyB;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,MAAM,CAAC;IAC/C,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC/B,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACrD,OAAO,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7D,CAAC;AAED,iFAAiF;AACjF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;AAsB1G;;;;GAIG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM;IAClF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK;CAC5E,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ;IAC/E,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ;IACxF,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ;IACnF,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK;IAClF,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU;IAClF,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO;CACpD,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3D,oFAAoF;AACpF,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAChF,CAAC;AAED,yFAAyF;AACzF,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI;SACR,OAAO,CAAC,mBAAmB,EAAE,OAAO,CAAC;SACrC,OAAO,CAAC,uBAAuB,EAAE,OAAO,CAAC;SACzC,KAAK,CAAC,cAAc,CAAC;SACrB,MAAM,CAAC,OAAO,CAAC;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,OAAO,GAAG,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7C,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;YACjC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAE/E,MAAM,YAAY,GAAG,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,cAAc,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QACrD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;YAC1D,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;gBACtD,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,SAAS;QACf,YAAY;QACZ,cAAc;KACf,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,SAAoD;IAEpD,OAAO,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC;AAChD,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,SAAoD;IAEpD,OAAO,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,OAAO,CAAC;AAC3D,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAY,EACZ,SAAoD;IAEpD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,IAAI,KAAK,CACb,qCAAqC,IAAI,KAAK;UAC5C,sBAAsB,IAAI,mDAAmD,CAChF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"operation.js","sourceRoot":"","sources":["../../src/wire/operation.ts"],"names":[],"mappings":"AAoBA,2DAA2D;AAC3D,MAAM,UAAU,aAAa,CAAC,IAAyB;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,MAAM,CAAC;IAC/C,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC/B,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACrD,OAAO,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7D,CAAC;AAED,iFAAiF;AACjF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;AAsB1G,2BAA2B;AAC3B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM;IAClF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK;CAC5E,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ;IAC/E,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ;IACxF,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ;IACnF,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK;IAClF,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU;IAClF,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO;CACpD,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3D,oFAAoF;AACpF,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAChF,CAAC;AAED,yFAAyF;AACzF,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI;SACR,OAAO,CAAC,mBAAmB,EAAE,OAAO,CAAC;SACrC,OAAO,CAAC,uBAAuB,EAAE,OAAO,CAAC;SACzC,KAAK,CAAC,cAAc,CAAC;SACrB,MAAM,CAAC,OAAO,CAAC;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,OAAO,GAAG,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7C,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;YACjC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAE/E,MAAM,YAAY,GAAG,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,cAAc,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QACrD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;YAC1D,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;gBACtD,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,SAAS;QACf,YAAY;QACZ,cAAc;KACf,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,SAAoD;IAEpD,OAAO,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC;AAChD,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,SAAoD;IAEpD,OAAO,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,OAAO,CAAC;AAC3D,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAY,EACZ,SAAoD;IAEpD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,IAAI,KAAK,CACb,qCAAqC,IAAI,KAAK;UAC5C,sBAAsB,IAAI,mDAAmD,CAChF,CAAC;AACJ,CAAC"}

package/dist/wire/signature.d.ts

@@ -1,8 +1,4 @@
-/**
- * A method's signature, as a contract is built from it — the shape, never the reading.
- *
- * The scan derives one from source; `frond.config.ts` states one. Neither owns the shape.
- */
+/** A method's signature, as a contract is built from it — the shape, never the reading. */
 /** A type reference — primitives, entities, arrays, generics. */
 export interface TypeRef {
     /** Raw type text as written in source (e.g. 'Pagination<Post>'). */
@@ -11,13 +7,7 @@ export interface TypeRef {
     name: string;
     /** Whether this is an array (T[] or Array<T>) — true at any depth. */
     array?: boolean;
-    /**
-     * How MANY array levels: `string[]` is 1, `string[][]` is 2. `array` only ever said
-     * "at least one", which sufficed while one level meant one thing. It stopped sufficing
-     * when a presenter method started taking the page — there the outer level IS the page
-     * and what remains is the field, so telling `string[]` from `string[][]` is telling a
-     * computed string from a computed list.
-     */
+    /** How MANY array levels. */
     arrayDepth?: number;
     /** Generic type arguments (e.g. for Pagination<Post> → [{ name: 'Post' }]). */
     generics?: TypeRef[];
@@ -39,20 +29,9 @@ export interface Signature {
     name: string;
     params: Param[];
     returnType?: TypeRef;
-    /**
-     * Came from a base class, not from the file being scanned. What a prefab
-     * handler declares about its own ops beats this — the scan reads a signature
-     * and guesses, the builder knows.
-     */
+    /** Came from a base class, not from the file being scanned. */
     inherited?: boolean;
-    /**
-     * The operation in words — the first sentence of the method's doc comment.
-     *
-     * Not a new thing to write: handlers already carry it (`/** Judge: the author,
-     * a draft… *&#47;`), the AST already holds it, and nothing read it. A caller that
-     * discovers an operation over the wire has its name and its schema; what the
-     * operation is FOR lived only in the source.
-     */
+    /** The operation in words — the first sentence of the method's doc comment. */
     description?: string;
 }
 //# sourceMappingURL=signature.d.ts.map

package/dist/wire/signature.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../src/wire/signature.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,iEAAiE;AACjE,MAAM,WAAW,OAAO;IACtB,oEAAoE;IACpE,GAAG,EAAE,MAAM,CAAC;IACZ,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,mEAAmE;IACnE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,+DAA+D;IAC/D,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,oCAAoC;AACpC,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,0BAA0B;AAC1B,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;OAIG;IACH,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB;;;;;;;OAOG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../src/wire/signature.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,iEAAiE;AACjE,MAAM,WAAW,OAAO;IACtB,oEAAoE;IACpE,GAAG,EAAE,MAAM,CAAC;IACZ,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,6BAA6B;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,mEAAmE;IACnE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,+DAA+D;IAC/D,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,oCAAoC;AACpC,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,0BAA0B;AAC1B,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,+DAA+D;IAC/D,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,+EAA+E;IAC/E,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/core",
-  "version": "0.6.0-alpha.0",
+  "version": "0.7.0-alpha.0",
   "description": "The core — scan, call contract, façades, remote stand-ins.",
   "keywords": [
     "fougere",
@@ -56,8 +56,8 @@
   "dependencies": {
     "@typescript/typescript6": "^6.0.2",
     "dequal": "^2.0.3",
-    "@fougere/container": "0.6.0-alpha.0",
-    "@fougere/schema": "0.6.0-alpha.0"
+    "@fougere/container": "0.7.0-alpha.0",
+    "@fougere/schema": "0.7.0-alpha.0"
   },
   "devDependencies": {
     "@types/node": "^22.0.0"

package/src/boot/Emissions.ts

@@ -3,8 +3,8 @@ import type { Container } from '@fougere/container';
 import { validationErrorsOf } from '../wire/errors.js';
 import { emitKeyOf, factsAnnouncedBy } from '../emit.js';
 import { ambient } from '#ambient';
-import { EMPTY_INVOCATION } from '../contract/Invocation.js';
-import type { Logger } from '../builtins/logger.js';
+import { EMPTY_INVOCATION } from '../wire/Invocation.js';
+import type { Logger } from '../builtin/logger.js';
 import type { Fronds } from '../descriptor/Fronds.js';
 import type { OperationsMap } from '../wire/operation.js';
 
@@ -17,25 +17,15 @@ interface Listener {
 /** Carries an announced fact out of this process — see `CreateAppOptions.onEmit`. */
 type Carrier = (fact: string, payload: unknown) => void | Promise<void>;
 
-/**
- * Emissions — the only place in Fougere where an initiator names a SUBJECT.
- *
- * It was eight closures over four collections in the middle of the boot, which is a
- * class that had not been named: the announced set, the subscriber index, the chain
- * carried in async context, and the shapes a fact is judged against.
- *
- * **It is a resolver, not a channel.** It answers *who*, then hands over to the door
- * that already exists — so a subscriber keeps its judge, its binding and its
- * middlewares, and nothing here is durable.
- */
+/** Emissions — the only place in Fougere where an initiator names a SUBJECT. */
 export class Emissions {
   /** Who listens to what. Filled as each door's contracts are resolved. */
   private readonly subscribers = new Map<string, Listener[]>();
 
   /**
-   * What is announced here, read from the DEPS and not from the subscribers: a handler
-   * declaring `Emit<PostPublished>` must resolve it whether or not anybody listens, and
-   * announcing to nobody is legal.
+   * What is announced here, read from the DEPS and not from the subscribers: a handler declaring
+   * `Emit<PostPublished>` must resolve it whether or not anybody listens, and announcing to nobody
+   * is legal.
    */
   private readonly announced: Set<string>;
 
@@ -52,13 +42,6 @@ export class Emissions {
   /**
    * Who listens to what — read from the PLAN, where `{ kind: 'fact' }` is a sentence
    * `computeBindingPlan` already wrote, so nothing re-derives what a parameter is.
-   *
-   * It is called for a frond hosted here AND for one declared remote. A remote frond is
-   * still scanned — only its hosting is elsewhere — so its subscriptions are known, and
-   * its door resolves to a doublure. That is the whole reason an emission crosses a
-   * process without a line of transport code: the emitter learned the signature locally
-   * and calls the same key. Noting only the hosted ones left the index EMPTY under a
-   * split, and a fact announced to a remote listener reached nobody, in silence.
    */
   note(contracts: OperationsMap, door: string): void {
     for (const [op, contract] of contracts) {
@@ -71,7 +54,7 @@ export class Emissions {
     }
   }
 
-  /** The shape a fact is judged by, when the fact is a declared entity. */
+  /** The shape a fact is validated by, when the fact is a declared entity. */
   shapeOf(fact: string): SchemaView | undefined {
     return this.shapes.get(fact);
   }
@@ -81,13 +64,7 @@ export class Emissions {
     return [...this.subscribers.keys()];
   }
 
-  /**
-   * Register one emission value per fact — announced here, or merely listened to.
-   *
-   * A process that only subscribes still needs the value, because `deliver` is what a
-   * carrier calls and it goes through the same door. Called once every door has been
-   * built, so the two sets are complete.
-   */
+  /** Register one emission value per fact — announced here, or merely listened to. */
   register(): void {
     for (const fact of new Set([...this.announced, ...this.subscribers.keys()])) {
       this.container.registerValue(emitKeyOf(fact), (raw: unknown) => this.announce(fact, raw));
@@ -97,69 +74,27 @@ export class Emissions {
     }
   }
 
-  /**
-   * Announcing. Dispatch, never delivery — the emitter is handed back the moment every
-   * subscriber has been HANDED the fact, not when any of them is done.
-   *
-   * The `EventBus` this replaces did `await Promise.all(handlers)` and passed their
-   * rejections up, which made a publication hostage to its own indexer.
-   */
+  /** Announcing. */
   private async announce(fact: string, raw: unknown): Promise<void> {
     /**
-     * A fact announced inside a frame that then rolls back is a lie, and nothing can take
-     * it back: announcing is DISPATCH — every subscriber has been handed the fact and the
-     * carrier has already put it on the wire — while the frame's writes are still
-     * provisional.
-     *
-     * Refused rather than deferred to the commit. Deferring would make `Emit<T>` behave
-     * differently depending on where it is called from, which is the hidden runtime the
-     * doctrine refuses; and it opens a window between the commit and the announcement whose
-     * only remedy is an outbox — a table, therefore durability, the one thing Fougere says
-     * it does not hold.
-     *
-     * A fact designates something that HAS happened. `run` returning is when that becomes
-     * true, so that is where the announcement belongs.
+     * A fact announced inside a frame that then rolls back is a lie, and nothing can take it back:
+     * announcing is DISPATCH — every subscriber has been handed the fact and the carrier has
+     * already put it on the wire — while the frame's writes are still provisional.
      */
     await ambient.beforeAnnounce(fact);
 
     const payload = this.stamped(fact, raw);
 
-    /**
-     * Whoever is not in this process — and it is the ONLY way to reach them.
-     *
-     * The local dispatch finds its listeners by having READ their code, so it stops at
-     * the repository boundary: another team's Frond is not on this disk, and the
-     * emission reaches nobody. A carrier hands the fact to a name instead, and the far
-     * side subscribes to that same name from ITS own code. Neither reads the other.
-     *
-     * `deliver` deliberately does NOT come here: a hub that resolved this value to hand
-     * on an incoming reading echoed it straight back to the whole fleet.
-     */
-    const carried = this.carry?.(fact, payload);
-    if (carried) void Promise.resolve(carried).catch((cause) => this.log.error(`${fact} — carrier refused it`, cause));
+    /** Whoever is not in this process — and it is the ONLY way to reach them. */
+    const delivery = this.carry?.(fact, payload);
+    if (delivery) void Promise.resolve(delivery).catch((cause) => this.log.error(`${fact} — carrier refused it`, cause));
 
     for (const { door, op, done } of this.handToListeners(fact, payload)) {
       void done.catch((cause) => this.log.error(`${fact} → ${door}.${op}`, this.describeRefusal(fact, cause) ?? cause));
     }
   }
 
-  /**
-   * Receiving. **The opposite rule, deliberately**: this one waits, and it tells.
-   *
-   * `deliver` is what a CARRIER calls, and a carrier's whole job is to know whether the
-   * fact landed — at-least-once is retrying what failed, so a delivery that cannot report
-   * makes durability impossible to build on top. It used to be the announcement itself:
-   * it resolved before any subscriber had run and swallowed every failure into a log, so a
-   * queue calling it could only ever ack blindly.
-   *
-   * That is not a contradiction of "dispatch is not delivery". That rule protects the
-   * EMITTER, which must not become hostage to a subscriber; a carrier is not the emitter,
-   * it is precisely the party whose business this is.
-   *
-   * What it still does not do is HOLD anything. A fact refused here is refused, and the
-   * carrier decides whether it comes back — which is the whole of Fougere's position on
-   * durability: the channel goes underneath, it is not reimplemented here.
-   */
+  /** Receiving. */
   async deliver(fact: string, payload: unknown): Promise<void> {
     const handed = this.handToListeners(fact, payload);
     const settled = await Promise.allSettled(handed.map((h) => h.done));
@@ -180,22 +115,8 @@ export class Emissions {
   }
 
   /**
-   * The announcement realizes the fact's own `lifecycle.create` — a `created()` stamped,
-   * an id generated, a default applied.
-   *
-   * `applyCreate` (`schema/src/schema/axis/lifecycle/apply.ts`) is where the split is realized:
-   * the judge never fills a hole, the STORAGE does, at the point of persistence. A fact has no storage, so nobody did — the judge declared an
-   * absent `created()` legal and omitted it, and a subscriber received a value missing a
-   * field its own type promises. Announcing is a fact's point of persistence.
-   *
-   * Announcing only, never `deliver`: a fact that arrives from elsewhere was stamped by
-   * its sender, and stamping it again would give one fact a different identity in every
-   * process that relayed it.
-   *
-   * **A typed emitter cannot reach this yet.** `Emit<T>` names the ROW type, where a
-   * `created()` field is present and required, so `announce({ id, title })` is a compile
-   * error and the author writes `at: new Date()` anyway. So this runs for a payload built
-   * outside the type — a bridge, a replay, a test — and is inert for everyone else.
+   * The announcement realizes the fact's own `lifecycle.create` — a `created()` stamped, an id
+   * generated, a default applied.
    */
   private stamped(fact: string, raw: unknown): unknown {
     const shape = this.shapes.get(fact);
@@ -204,16 +125,7 @@ export class Emissions {
       : raw;
   }
 
-  /**
-   * Hand the fact to every listener in THIS process, and give back one promise each.
-   *
-   * The call goes THROUGH the door, so a subscriber meets the same judge, the same binding
-   * and the same middlewares as any caller. Nothing new answers for correctness — that is
-   * the dividend of a subscriber being an ordinary op rather than a special kind.
-   *
-   * It returns the promises rather than settling them, because the two callers want
-   * opposite things and only one of them is wrong to wait.
-   */
+  /** Hand the fact to every listener in THIS process, and give back one promise each. */
   private handToListeners(fact: string, payload: unknown): (Listener & { done: Promise<unknown> })[] {
     const walked = ambient.currentChain();
     if (walked.includes(fact)) {
@@ -239,21 +151,12 @@ export class Emissions {
         } catch (cause) {
           throw new Error(`${fact} → ${door} could not be reached`, { cause });
         }
-        return facade[op]({ ...EMPTY_INVOCATION, body: payload });
+        return facade[op]({ ...EMPTY_INVOCATION, input: payload });
       }),
     }));
   }
 
-  /**
-   * A subscriber refusing the SHAPE, said in one line instead of dumped as an error.
-   *
-   * This is the one refusal nobody else will ever see. A door hands its 400 back to the
-   * caller who can fix it; a fact is dispatched, not delivered, so the sender learns
-   * nothing and the log is the whole of the evidence. The most likely cause is also the
-   * one a stack trace hides worst — this process's copy is older than the sender's — so
-   * the line names the fields and the remedy, and hedges because a genuinely bad payload
-   * produces the same refusal.
-   */
+  /** A subscriber refusing the SHAPE, said in one line instead of dumped as an error. */
   private describeRefusal(fact: string, cause: unknown): string | undefined {
     const refusals = validationErrorsOf(cause);
     if (!refusals?.length) return undefined;

package/src/boot/ambient-port.ts

@@ -1,20 +1,9 @@
-/**
- * What a call needs to know about the call it is inside, and the two ways to answer it.
- *
- * One realization reads an async context (`ambient.als.ts`), the other cannot and waits
- * its turn instead (`ambient.queue.ts`). `#ambient` in package.json picks one per runtime,
- * so a bundle for a host without async context never names `node:async_hooks`.
- */
+/** What a call needs to know about the call it is inside, and the two ways to answer it. */
 export interface Ambient {
   /** True when this runtime has no async context, and the boot says so. */
   readonly degraded: boolean;
 
-  /**
-   * Run `fn` as the frame `key`. A frame opened inside another must not proceed.
-   *
-   * Measured on SQLite: a second transaction on the same connection WAITS for the first,
-   * so a nested frame hangs on one engine and returns when split across two.
-   */
+  /** Run `fn` as the frame `key`. */
   enterFrame<R>(key: string, fn: () => Promise<R>): Promise<R>;
 
   /**
@@ -23,17 +12,7 @@ export interface Ambient {
    */
   beforeAnnounce(fact: string): Promise<void>;
 
-  /**
-   * The facts already being announced up the stack, so a fact cannot cause itself.
-   *
-   * A CHAIN and not a depth: `A → B → D` and `A → C → D` is a diamond, perfectly legal,
-   * while `A → … → A` never ends. Empty where it cannot be followed.
-   *
-   * Detecting this at boot was the first idea and it was wrong: `Emit<G>` is a CONSTRUCTOR
-   * dependency, so it belongs to the handler and not to one of its methods. A handler that
-   * subscribes to `A` in one method and emits `G` from another would have been refused for
-   * a cycle it never walks.
-   */
+  /** The facts already being announced up the stack, so a fact cannot cause itself. */
   currentChain(): readonly string[];
 
   /** Run `fn` with `fact` appended to the emission chain. */

package/src/boot/ambient.als.ts

@@ -1,9 +1,4 @@
-/**
- * The realization that can tell whose frame is open: an async context.
- *
- * Chosen by `#ambient` wherever `node:async_hooks` exists — Node, Deno, Bun, and workerd
- * with `nodejs_als`. Every refusal here is immediate and names its cause.
- */
+/** The realization that can tell whose frame is open: an async context. */
 import { AsyncLocalStorage } from 'node:async_hooks';
 import type { Ambient } from './ambient-port.js';
 
@@ -14,10 +9,10 @@ export const ambient: Ambient = {
   degraded: false,
 
   enterFrame<R>(key: string, fn: () => Promise<R>): Promise<R> {
-    const held = frame.getStore();
-    if (held !== undefined) {
+    const open = frame.getStore();
+    if (open !== undefined) {
       return Promise.reject(new Error(
-        `Together<[…]> (${key}) cannot be opened inside ${held}: on one engine the second `
+        `Together<[…]> (${key}) cannot be opened inside ${open}: on one engine the second `
         + `transaction waits for the first and the call hangs. Two frames that must both hold `
         + `are ONE frame — declare a single Together naming every member.`,
       ));
@@ -26,10 +21,10 @@ export const ambient: Ambient = {
   },
 
   beforeAnnounce(fact: string): Promise<void> {
-    const held = frame.getStore();
-    if (held === undefined) return Promise.resolve();
+    const open = frame.getStore();
+    if (open === undefined) return Promise.resolve();
     return Promise.reject(new Error(
-      `${fact} cannot be announced inside Together<[…]> (${held}): announcing is dispatch, `
+      `${fact} cannot be announced inside Together<[…]> (${open}): announcing is dispatch, `
       + `so subscribers and the carrier would have it while these writes can still be taken `
       + `back. Announce after run() returns, when it is true.`,
     ));

package/src/boot/ambient.queue.ts

@@ -1,9 +1,6 @@
 /**
- * The realization for a runtime with no async context: it cannot tell whose frame is
- * open, so it never guesses — it waits its turn.
- *
- * Two consequences the boot reports rather than hides: frames run one at a time, and a
- * frame opened inside another is not refused, it waits for itself and times out.
+ * The realization for a runtime with no async context: it cannot tell whose frame is open, so it
+ * never guesses — it waits its turn.
  */
 import type { Ambient } from './ambient-port.js';