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

package/dist/dispatch/RouteResolver.d.ts

@@ -1,7 +1,5 @@
-import type { RouteAddress } from '../contract/RouteAddress.js';
+import type { RouteAddress } from '../wire/RouteAddress.js';
 import type { Route } from './Route.js';
 /** Resolves routes that cannot be known when the registry is built. */
-export interface RouteResolver {
-    resolve(address: RouteAddress): Route | undefined | Promise<Route | undefined>;
-}
+export type RouteResolver = (address: RouteAddress) => Route | undefined | Promise<Route | undefined>;
 //# sourceMappingURL=RouteResolver.d.ts.map

package/dist/dispatch/RouteResolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RouteResolver.d.ts","sourceRoot":"","sources":["../../src/dispatch/RouteResolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,OAAO,EAAE,YAAY,GAAG,KAAK,GAAG,SAAS,GAAG,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;CAChF"}
+{"version":3,"file":"RouteResolver.d.ts","sourceRoot":"","sources":["../../src/dispatch/RouteResolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,uEAAuE;AACvE,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,EAAE,YAAY,KAAK,KAAK,GAAG,SAAS,GAAG,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC"}

package/dist/dispatch/StorageGuard.d.ts

@@ -1,15 +1,47 @@
 import { type Fields } from '@fougere/schema';
-/**
- * Judges storage writes and list options without narrowing the storage interface.
- *
- * Storage is a way out like the client surface, so what goes to it is judged too — the
- * same rule `OutputProjector` applies on the other exit.
- */
+/** What a guard says about a filter it let through. The boot owns the voice. */
+export interface GuardReport {
+    /** The fields this door hands back, when it hands back fewer than the entity has. */
+    view?: Fields;
+    /** Said once per field — a filter is not a write, and a warning per call is noise. */
+    outOfView?: (message: string) => void;
+}
+/** Judges storage writes and list options without narrowing the storage interface. */
 export declare class StorageGuard {
     private readonly fields;
     private readonly entity;
-    constructor(fields: Fields, entity: string);
+    private readonly report;
+    /** What has already been said, so a filter in a loop says it once. */
+    private readonly said;
+    constructor(fields: Fields, entity: string, report?: GuardReport);
     guard<T extends object>(storage: T): T;
-    private judge;
+    /**
+     * The values this write carries, validated and handed on PARSED — the rule the client door
+     * already holds (`InputValidator`), applied to a write that never passed through it. What a
+     * handler is allowed to write is not asked here: only the value is.
+     */
+    private rowAt;
+    /**
+     * What a read may ask for. The write door judges what LANDS in a row; this one judges
+     * what a caller says about one — and it was the single entrance to the port with no
+     * judge at all, while `params.filter` from a browser reaches it verbatim.
+     *
+     * A criterion may name a SET, which is the one thing the write door would refuse: an
+     * array is judged member by member, since that is what `IN` binds.
+     */
+    private criteria;
+    /**
+     * A filter on a field this door does not hand back.
+     *
+     * `output(schema)` narrows what is RETURNED and has never narrowed what is asked, so a
+     * caller can already sort a hidden column into existence one comparison at a time — and
+     * the admin door copies a browser's filter here verbatim. Said rather than refused: it
+     * is legal today, GraphQL batches a relation on a key a view may not carry, and a
+     * refusal would break that on the way to fixing this.
+     */
+    private beyondTheView;
+    /** One value against one field — validated, then decoded the way the wire hands it. */
+    private value;
+    private validated;
 }
 //# sourceMappingURL=StorageGuard.d.ts.map

package/dist/dispatch/StorageGuard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StorageGuard.d.ts","sourceRoot":"","sources":["../../src/dispatch/StorageGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAS1D;;;;;GAKG;AACH,qBAAa,YAAY;IAErB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;gBADN,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM;IAGjC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC;IA4BtC,OAAO,CAAC,KAAK;CAqBd"}
+{"version":3,"file":"StorageGuard.d.ts","sourceRoot":"","sources":["../../src/dispatch/StorageGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyD,KAAK,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAcrG,gFAAgF;AAChF,MAAM,WAAW,WAAW;IAC1B,qFAAqF;IACrF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,sFAAsF;IACtF,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACvC;AAED,sFAAsF;AACtF,qBAAa,YAAY;IAKrB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IANzB,sEAAsE;IACtE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAqB;gBAGvB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,WAAgB;IAG3C,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC;IAiDtC;;;;OAIG;IACH,OAAO,CAAC,KAAK;IAMb;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ;IAgDhB;;;;;;;;OAQG;IACH,OAAO,CAAC,aAAa;IAUrB,uFAAuF;IACvF,OAAO,CAAC,KAAK;IASb,OAAO,CAAC,SAAS;CA6ClB"}

package/dist/dispatch/StorageGuard.js

@@ -1,18 +1,18 @@
-import { ValueJudge } from '@fougere/schema';
+import { Boundary, FieldSet, FieldValueValidator, InputRefusal } from '@fougere/schema';
+import { COMPARISONS, comparisonOf, unknownIn } from '../criterion.js';
 import { assertListOptions } from '../storage.js';
 import { ErrorCode, FougereError } from '../wire/errors.js';
-/**
- * Judges storage writes and list options without narrowing the storage interface.
- *
- * Storage is a way out like the client surface, so what goes to it is judged too — the
- * same rule `OutputProjector` applies on the other exit.
- */
+/** Judges storage writes and list options without narrowing the storage interface. */
 export class StorageGuard {
     fields;
     entity;
-    constructor(fields, entity) {
+    report;
+    /** What has already been said, so a filter in a loop says it once. */
+    said = new Set();
+    constructor(fields, entity, report = {}) {
         this.fields = fields;
         this.entity = entity;
+        this.report = report;
     }
     guard(storage) {
         const writer = storage;
@@ -21,33 +21,162 @@ export class StorageGuard {
         const validation = this;
         const guarded = Object.create(storage);
         guarded.create = async function (...args) {
-            validation.judge(args[0], 'create');
+            args[0] = validation.validated(args[0], 'create');
             return writer.create.apply(this, args);
         };
         guarded.update = async function (...args) {
-            validation.judge(args[1], 'update');
+            args[1] = validation.validated(args[1], 'update');
             return writer.update.apply(this, args);
         };
-        const reader = storage;
-        if (typeof reader.list === 'function') {
+        const upsert = writer.upsert;
+        if (typeof upsert === 'function') {
+            guarded.upsert = async function (...args) {
+                args[0] = validation.validated(args[0], 'upsert');
+                return upsert.apply(this, args);
+            };
+        }
+        const upsertAll = writer.upsertAll;
+        if (typeof upsertAll === 'function') {
+            // Every row before the first write: a page refused halfway leaves rows behind that
+            // the caller asked for as one, and the refusal is readable from the input alone.
+            guarded.upsertAll = async function (...args) {
+                args[0] = args[0].map((row, index) => validation.validated(row, 'upsertAll', index));
+                return upsertAll.apply(this, args);
+            };
+        }
+        const list = writer.list;
+        if (typeof list === 'function') {
             guarded.list = async function (...args) {
-                assertListOptions(args[0], validation.entity);
-                return reader.list.apply(this, args);
+                const options = args[0];
+                assertListOptions(options, validation.entity);
+                if (options?.where)
+                    args[0] = { ...options, where: validation.criteria(options.where) };
+                return list.apply(this, args);
             };
         }
         return guarded;
     }
-    judge(value, operation) {
-        if (typeof value !== 'object' || value === null)
+    /**
+     * The values this write carries, validated and handed on PARSED — the rule the client door
+     * already holds (`InputValidator`), applied to a write that never passed through it. What a
+     * handler is allowed to write is not asked here: only the value is.
+     */
+    rowAt(row, index) {
+        const primary = FieldSet.of(this.fields).primary;
+        const key = primary === undefined ? undefined : row[primary];
+        return key === undefined ? `row ${index} of this page` : `row ${primary} ${JSON.stringify(key)}`;
+    }
+    /**
+     * What a read may ask for. The write door judges what LANDS in a row; this one judges
+     * what a caller says about one — and it was the single entrance to the port with no
+     * judge at all, while `params.filter` from a browser reaches it verbatim.
+     *
+     * A criterion may name a SET, which is the one thing the write door would refuse: an
+     * array is judged member by member, since that is what `IN` binds.
+     */
+    criteria(where) {
+        const errors = [];
+        const parsed = {};
+        for (const [key, asked] of Object.entries(where)) {
+            const field = this.fields[key];
+            if (!field) {
+                errors.push(`${key}: ${InputRefusal.unknownField}`);
+                continue;
+            }
+            // A comparison names its own vocabulary, and a typo in it would otherwise be a
+            // criterion that filters nothing — the silent truncation this door exists to stop.
+            const comparison = comparisonOf(field, asked);
+            if (comparison) {
+                const unknown = unknownIn(comparison);
+                if (unknown.length) {
+                    errors.push(`${key}: unknown comparison ${unknown.join(', ')} — one of ${COMPARISONS.join(', ')}`);
+                    continue;
+                }
+                parsed[key] = comparison;
+                this.beyondTheView(key);
+                continue;
+            }
+            const values = Array.isArray(asked) ? asked : [asked];
+            const each = values.map((value) => this.value(field, value));
+            const refused = each.find((one) => typeof one === 'object' && one !== null && 'error' in one);
+            if (refused) {
+                errors.push(`${key}: ${refused.error}`);
+                continue;
+            }
+            parsed[key] = Array.isArray(asked) ? each.map(unwrap) : unwrap(each[0]);
+            this.beyondTheView(key);
+        }
+        if (errors.length > 0) {
+            throw new FougereError({
+                code: ErrorCode.BAD_REQUEST,
+                message: `Refused as a filter — ${errors.join(', ')}`,
+                entity: this.entity,
+                operation: 'list',
+                details: errors,
+            });
+        }
+        return parsed;
+    }
+    /**
+     * A filter on a field this door does not hand back.
+     *
+     * `output(schema)` narrows what is RETURNED and has never narrowed what is asked, so a
+     * caller can already sort a hidden column into existence one comparison at a time — and
+     * the admin door copies a browser's filter here verbatim. Said rather than refused: it
+     * is legal today, GraphQL batches a relation on a key a view may not carry, and a
+     * refusal would break that on the way to fixing this.
+     */
+    beyondTheView(field) {
+        const view = this.report.view;
+        if (!view || view[field] || this.said.has(field))
             return;
+        this.said.add(field);
+        this.report.outOfView?.(`${this.entity}.list() filtered on '${field}', which this door does not hand back — `
+            + 'a filter on a hidden field answers questions about it one call at a time.');
+    }
+    /** One value against one field — validated, then decoded the way the wire hands it. */
+    value(field, asked) {
+        if (asked === null || asked === undefined)
+            return { value: asked };
+        const checked = FieldValueValidator.of(field).validate(asked);
+        if ('error' in checked)
+            return checked;
+        if (checked.value === null)
+            return { value: null };
+        return Boundary.of(field).decode(checked.value);
+    }
+    validated(value, operation, index) {
+        if (typeof value !== 'object' || value === null)
+            return value;
         const errors = [];
+        const where = index === undefined ? '' : `${this.rowAt(value, index)} — `;
+        const parsed = {};
         for (const [key, item] of Object.entries(value)) {
             const field = this.fields[key];
-            if (!field || item === undefined)
+            // A key the entity does not declare has no column to land in and no judge to pass:
+            // on the client door it is a typo, and on this one it is a mapping that went stale.
+            if (!field) {
+                errors.push(`${where}${key}: ${InputRefusal.unknownField}`);
+                continue;
+            }
+            if (item === undefined) {
+                parsed[key] = item;
+                continue;
+            }
+            const checked = FieldValueValidator.of(field).validate(item);
+            if ('error' in checked) {
+                errors.push(`${where}${key}: ${checked.error}`);
+                continue;
+            }
+            if (checked.value === null) {
+                parsed[key] = null;
                 continue;
-            const checked = ValueJudge.of(field).check(item);
-            if ('error' in checked)
-                errors.push(`${key}: ${checked.error}`);
+            }
+            const decoded = Boundary.of(field).decode(checked.value);
+            if ('error' in decoded)
+                errors.push(`${where}${key}: ${decoded.error}`);
+            else
+                parsed[key] = decoded.value;
         }
         if (errors.length > 0) {
             throw new FougereError({
@@ -58,6 +187,8 @@ export class StorageGuard {
                 details: errors,
             });
         }
+        return parsed;
     }
 }
+const unwrap = (one) => 'value' in one ? one.value : undefined;
 //# sourceMappingURL=StorageGuard.js.map

package/dist/dispatch/StorageGuard.js.map

@@ -1 +1 @@
-{"version":3,"file":"StorageGuard.js","sourceRoot":"","sources":["../../src/dispatch/StorageGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAe,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAO5D;;;;;GAKG;AACH,MAAM,OAAO,YAAY;IAEJ;IACA;IAFnB,YACmB,MAAc,EACd,MAAc;QADd,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAQ;IAC9B,CAAC;IAEJ,KAAK,CAAmB,OAAU;QAChC,MAAM,MAAM,GAAG,OAA4B,CAAC;QAC5C,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,OAAO,CAAC;QAE/F,MAAM,UAAU,GAAG,IAAI,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAe,CAAC;QAErD,OAAO,CAAC,MAAM,GAAG,KAAK,WAAW,GAAG,IAAI;YACtC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACpC,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC;QAEF,OAAO,CAAC,MAAM,GAAG,KAAK,WAAW,GAAG,IAAI;YACtC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACpC,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC;QAEF,MAAM,MAAM,GAAG,OAAgE,CAAC;QAChF,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrC,OAAoC,CAAC,IAAI,GAAG,KAAK,WAAW,GAAG,IAAe;gBAC7E,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAuB,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBACpE,OAAQ,MAAM,CAAC,IAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrD,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,KAAK,CAAC,KAAc,EAAE,SAAiB;QAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAExD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YAC3C,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,OAAO,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAClE,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,YAAY,CAAC;gBACrB,IAAI,EAAE,SAAS,CAAC,cAAc;gBAC9B,OAAO,EAAE,4BAA4B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACxD,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,SAAS;gBACT,OAAO,EAAE,MAAM;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF"}
+{"version":3,"file":"StorageGuard.js","sourceRoot":"","sources":["../../src/dispatch/StorageGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,mBAAmB,EAAE,YAAY,EAAe,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAmB5D,sFAAsF;AACtF,MAAM,OAAO,YAAY;IAKJ;IACA;IACA;IANnB,sEAAsE;IACrD,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,YACmB,MAAc,EACd,MAAc,EACd,SAAsB,EAAE;QAFxB,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAkB;IACxC,CAAC;IAEJ,KAAK,CAAmB,OAAU;QAChC,MAAM,MAAM,GAAG,OAA4B,CAAC;QAC5C,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,OAAO,CAAC;QAE/F,MAAM,UAAU,GAAG,IAAI,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAe,CAAC;QAErD,OAAO,CAAC,MAAM,GAAG,KAAK,WAAW,GAAG,IAAI;YACtC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAClD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC;QAEF,OAAO,CAAC,MAAM,GAAG,KAAK,WAAW,GAAG,IAAI;YACtC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAClD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;YACjC,OAAO,CAAC,MAAM,GAAG,KAAK,WAAW,GAAG,IAAI;gBACtC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAClD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAClC,CAAC,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QACnC,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE,CAAC;YACpC,mFAAmF;YACnF,iFAAiF;YACjF,OAAO,CAAC,SAAS,GAAG,KAAK,WAAW,GAAG,IAAI;gBACzC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;gBACrF,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,CAAC,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,GAAG,KAAK,WAAW,GAAG,IAAe;gBAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAoD,CAAC;gBAC3E,iBAAiB,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC9C,IAAI,OAAO,EAAE,KAAK;oBAAE,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAExF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChC,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,GAAY,EAAE,KAAa;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;QACjD,MAAM,GAAG,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,GAA+B,CAAC,OAAO,CAAC,CAAC;QAC1F,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,OAAO,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;IACnG,CAAC;IAED;;;;;;;OAOG;IACK,QAAQ,CAAC,KAA8B;QAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,MAAM,GAA4B,EAAE,CAAC;QAE3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,YAAY,CAAC,YAAY,EAAE,CAAC,CAAC;gBACpD,SAAS;YACX,CAAC;YACD,+EAA+E;YAC/E,mFAAmF;YACnF,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;gBACtC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnB,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,wBAAwB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACnG,SAAS;gBACX,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;gBACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,IAAI,GAAG,CAAC,CAAC;YAC9F,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,KAAM,OAA6B,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC/D,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,YAAY,CAAC;gBACrB,IAAI,EAAE,SAAS,CAAC,WAAW;gBAC3B,OAAO,EAAE,yBAAyB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACrD,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,SAAS,EAAE,MAAM;gBACjB,OAAO,EAAE,MAAM;aAChB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;;OAQG;IACK,aAAa,CAAC,KAAa;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QACzD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CACrB,GAAG,IAAI,CAAC,MAAM,wBAAwB,KAAK,0CAA0C;cACnF,2EAA2E,CAC9E,CAAC;IACJ,CAAC;IAED,uFAAuF;IAC/E,KAAK,CAAC,KAAqB,EAAE,KAAc;QACjD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,OAAO,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QACvC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAEnD,OAAO,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IAEO,SAAS,CAAI,KAAQ,EAAE,SAAiB,EAAE,KAAc;QAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAE9D,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1E,MAAM,MAAM,GAA4B,EAAE,CAAC;QAE3C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC/B,mFAAmF;YACnF,oFAAoF;YACpF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,GAAG,KAAK,YAAY,CAAC,YAAY,EAAE,CAAC,CAAC;gBAC5D,SAAS;YACX,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC7D,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,GAAG,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;gBAChD,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,OAAO,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,GAAG,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;;gBACnE,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;QACnC,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,YAAY,CAAC;gBACrB,IAAI,EAAE,SAAS,CAAC,cAAc;gBAC9B,OAAO,EAAE,4BAA4B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACxD,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,SAAS;gBACT,OAAO,EAAE,MAAM;aAChB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,MAAW,CAAC;IACrB,CAAC;CACF;AAED,MAAM,MAAM,GAAG,CAAC,GAA2C,EAAW,EAAE,CACtE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC"}

package/dist/dispatch/presenterArguments.d.ts

@@ -0,0 +1,7 @@
+import type { InvocationContext } from '../wire/Invocation.js';
+import type { PresenterEntry } from '../descriptor/frond.js';
+import type { ArgumentResolver } from './ArgumentResolver.js';
+import type { PresenterArgs } from './PresenterExecutor.js';
+/** The invocation-dependent arguments of every computed presenter field. */
+export declare function presenterArguments(meta: PresenterEntry, invocation: InvocationContext, resolver: ArgumentResolver, collectorTypes: Set<string>): Promise<PresenterArgs>;
+//# sourceMappingURL=presenterArguments.d.ts.map

package/dist/dispatch/presenterArguments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"presenterArguments.d.ts","sourceRoot":"","sources":["../../src/dispatch/presenterArguments.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,4EAA4E;AAC5E,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,cAAc,EACpB,UAAU,EAAE,iBAAiB,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B,OAAO,CAAC,aAAa,CAAC,CAYxB"}

package/dist/dispatch/presenterArguments.js

@@ -0,0 +1,12 @@
+import { computeBindingPlan } from '../wire/binding.js';
+/** The invocation-dependent arguments of every computed presenter field. */
+export async function presenterArguments(meta, invocation, resolver, collectorTypes) {
+    const argumentsByField = {};
+    for (const field of meta.fieldMeta) {
+        if (!field.params?.length)
+            continue;
+        argumentsByField[field.name] = await resolver.resolve(computeBindingPlan(field.params, collectorTypes), invocation);
+    }
+    return argumentsByField;
+}
+//# sourceMappingURL=presenterArguments.js.map

package/dist/dispatch/presenterArguments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presenterArguments.js","sourceRoot":"","sources":["../../src/dispatch/presenterArguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAMxD,4EAA4E;AAC5E,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAoB,EACpB,UAA6B,EAC7B,QAA0B,EAC1B,cAA2B;IAE3B,MAAM,gBAAgB,GAAkB,EAAE,CAAC;IAE3C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM;YAAE,SAAS;QACpC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,CAAC,OAAO,CACnD,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,EAChD,UAAU,CACX,CAAC;IACJ,CAAC;IAED,OAAO,gBAAgB,CAAC;AAC1B,CAAC"}

package/dist/dispatch/remoteRoutes.d.ts

@@ -0,0 +1,7 @@
+import type { RouteResolver } from './RouteResolver.js';
+type RemoteFacade = Record<string, Function>;
+export type RemoteFacadeResolver = (entity: string) => RemoteFacade | undefined;
+/** Builds a remote route on the first call, once the remote façade can be resolved. */
+export declare function remoteRoutes(facades: RemoteFacadeResolver): RouteResolver;
+export {};
+//# sourceMappingURL=remoteRoutes.d.ts.map

package/dist/dispatch/remoteRoutes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remoteRoutes.d.ts","sourceRoot":"","sources":["../../src/dispatch/remoteRoutes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,KAAK,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC7C,MAAM,MAAM,oBAAoB,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAC;AAEhF,uFAAuF;AACvF,wBAAgB,YAAY,CAAC,OAAO,EAAE,oBAAoB,GAAG,aAAa,CAWzE"}

package/dist/dispatch/{RemoteRouteResolver.js → remoteRoutes.js}

@@ -1,18 +1,14 @@
 import { OperationRoute } from './OperationRoute.js';
-/** Builds a remote route on the first call, after the remote façade can be resolved. */
-export class RemoteRouteResolver {
-    facades;
-    constructor(facades) {
-        this.facades = facades;
-    }
-    resolve(address) {
+/** Builds a remote route on the first call, once the remote façade can be resolved. */
+export function remoteRoutes(facades) {
+    return (address) => {
         if (address.surface !== undefined)
             return undefined;
-        const facade = this.facades(address.entity);
+        const facade = facades(address.entity);
         const operation = facade?.[address.operation];
         if (typeof operation !== 'function')
             return undefined;
         return new OperationRoute('remote', address, (call) => operation(call.invocation));
-    }
+    };
 }
-//# sourceMappingURL=RemoteRouteResolver.js.map
+//# sourceMappingURL=remoteRoutes.js.map

package/dist/dispatch/remoteRoutes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remoteRoutes.js","sourceRoot":"","sources":["../../src/dispatch/remoteRoutes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAMrD,uFAAuF;AACvF,MAAM,UAAU,YAAY,CAAC,OAA6B;IACxD,OAAO,CAAC,OAAO,EAAE,EAAE;QACjB,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAEpD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAE9C,IAAI,OAAO,SAAS,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC;QAEtD,OAAO,IAAI,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC;AACJ,CAAC"}

package/dist/dispatch/routeNotFound.d.ts

@@ -0,0 +1,9 @@
+import type { Call } from '../wire/call.js';
+import { FougereError } from '../wire/errors.js';
+import type { Route } from './Route.js';
+import type { RoutePolicy } from './RoutePolicy.js';
+/** The operations this dispatcher would have served for the entity the call names. */
+export declare function servedOperations(call: Call, routes: readonly Route[], policy?: RoutePolicy): readonly string[];
+/** `Unknown operation 'draft' on 'post'. It serves list, findById.` */
+export declare function routeNotFound(call: Call, served: readonly string[]): FougereError;
+//# sourceMappingURL=routeNotFound.d.ts.map

package/dist/dispatch/routeNotFound.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"routeNotFound.d.ts","sourceRoot":"","sources":["../../src/dispatch/routeNotFound.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAa,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,sFAAsF;AACtF,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,MAAM,CAAC,EAAE,WAAW,GACnB,SAAS,MAAM,EAAE,CAMnB;AAED,uEAAuE;AACvE,wBAAgB,aAAa,CAC3B,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,YAAY,CAUd"}

package/dist/dispatch/routeNotFound.js

@@ -0,0 +1,21 @@
+import { ErrorCode, FougereError } from '../wire/errors.js';
+/** The operations this dispatcher would have served for the entity the call names. */
+export function servedOperations(call, routes, policy) {
+    return routes
+        .filter((route) => !policy || policy.accepts(route))
+        .filter((route) => route.address.entity === call.address.entity)
+        .filter((route) => route.kind === 'system' || route.address.surface === call.address.surface)
+        .map((route) => route.address.operation);
+}
+/** `Unknown operation 'draft' on 'post'. It serves list, findById.` */
+export function routeNotFound(call, served) {
+    const { entity, operation } = call.address;
+    const message = entity === 'rpc'
+        ? `Unknown rpc operation '${operation}'. `
+            + (served.length ? `It serves ${served.join(', ')}.` : 'It serves nothing.')
+        : served.length
+            ? `Unknown operation '${operation}' on '${entity}'. It serves ${served.join(', ')}.`
+            : `No route serves '${call.address}'`;
+    return new FougereError({ code: ErrorCode.NOT_FOUND, message, entity, operation });
+}
+//# sourceMappingURL=routeNotFound.js.map

package/dist/dispatch/routeNotFound.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"routeNotFound.js","sourceRoot":"","sources":["../../src/dispatch/routeNotFound.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAI5D,sFAAsF;AACtF,MAAM,UAAU,gBAAgB,CAC9B,IAAU,EACV,MAAwB,EACxB,MAAoB;IAEpB,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;SACnD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;SAC/D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;SAC5F,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AAC7C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAC3B,IAAU,EACV,MAAyB;IAEzB,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,KAAK,KAAK;QAC9B,CAAC,CAAC,0BAA0B,SAAS,KAAK;cACtC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC;QAC9E,CAAC,CAAC,MAAM,CAAC,MAAM;YACb,CAAC,CAAC,sBAAsB,SAAS,SAAS,MAAM,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpF,CAAC,CAAC,oBAAoB,IAAI,CAAC,OAAO,GAAG,CAAC;IAE1C,OAAO,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;AACrF,CAAC"}

package/dist/dispatch/validateInput.d.ts

@@ -0,0 +1,5 @@
+import { type SchemaView } from '@fougere/schema';
+import type { InvocationContext } from '../wire/Invocation.js';
+/** Validates and decodes the input declared by one operation contract. */
+export declare function validateInput(schema: SchemaView | undefined, invocation: InvocationContext, entity: string, operation: string): InvocationContext;
+//# sourceMappingURL=validateInput.d.ts.map

package/dist/dispatch/validateInput.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validateInput.d.ts","sourceRoot":"","sources":["../../src/dispatch/validateInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAG/D,0EAA0E;AAC1E,wBAAgB,aAAa,CAC3B,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,UAAU,EAAE,iBAAiB,EAC7B,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,iBAAiB,CAiBnB"}

package/dist/dispatch/validateInput.js

@@ -0,0 +1,20 @@
+import { InputValidator } from '@fougere/schema';
+import { ErrorCode, FougereError } from '../wire/errors.js';
+/** Validates and decodes the input declared by one operation contract. */
+export function validateInput(schema, invocation, entity, operation) {
+    if (!schema || invocation.input === undefined || invocation.input === null)
+        return invocation;
+    const result = InputValidator.of(schema.getFields(), { patch: schema.getOpts().patch })
+        .validate(invocation.input);
+    if (!result.success) {
+        throw new FougereError({
+            code: ErrorCode.VALIDATION_FAILED,
+            message: result.errors.map((error) => `${error.path}: ${error.message}`).join(', '),
+            details: result.errors,
+            entity,
+            operation,
+        });
+    }
+    return { ...invocation, input: result.data };
+}
+//# sourceMappingURL=validateInput.js.map

package/dist/dispatch/validateInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validateInput.js","sourceRoot":"","sources":["../../src/dispatch/validateInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAmB,MAAM,iBAAiB,CAAC;AAElE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE5D,0EAA0E;AAC1E,MAAM,UAAU,aAAa,CAC3B,MAA8B,EAC9B,UAA6B,EAC7B,MAAc,EACd,SAAiB;IAEjB,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC;IAE9F,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC;SACpF,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAE9B,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,YAAY,CAAC;YACrB,IAAI,EAAE,SAAS,CAAC,iBAAiB;YACjC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACnF,OAAO,EAAE,MAAM,CAAC,MAAM;YACtB,MAAM;YACN,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AAC/C,CAAC"}

package/dist/effective-operation.d.ts

@@ -87,30 +87,7 @@ export declare class EffectiveOperationModel {
 }
 /** Resolve the complete operation model without starting the application. */
 export declare function resolveEffectiveOperations(fronds: readonly FrondDescriptor[], options?: EffectiveOperationOptions): EffectiveOperationModel;
-/**
- * The contract of every operation a handler serves — the three producers, merged once.
- *
- * This lived inline in `buildFacade`, which made the façade the only thing that could
- * answer "what is this op's contract, really?". Anything else asking — a checker, a
- * client generator, a descriptor — had to redo the merge, and a second opinion that
- * drifts reports nothing wrong while looking at the wrong thing.
- *
- * The order is a claim about authority, not a convenience:
- *
- *   1. a prefab DECLARES what it built (`Crud(E).__ops`) — runtime, so it survives a
- *      scan that resolved nothing;
- *   2. the scan DERIVES from source — a method written in this very file is the
- *      author's own word and beats everything; a method it merely READ on a base
- *      class is a guess about someone else's code, and yields to that code's own
- *      declaration;
- *   3. `frond.config.ts` STATES — the most explicit statement, made by whoever
- *      assembles the app, and the only answer for an op inherited from an installed
- *      base class the workspace-only scan cannot see. Merged per key, so stating a
- *      `binding` alone does not erase an `input` the scan found.
- *
- * Pure: no container, no instance, no disk. The binding plan is resolved here, so
- * nothing downstream ever meets an AST.
- */
+/** The contract of every operation a handler serves — the three producers, merged once. */
 export declare function resolveContracts(handler: Pick<HandlerEntry, 'ctor' | 'operations'>, overrides: FrondDescriptor['operationsOverrides'], collectorTypeNames: Set<string>): OperationsMap;
 export {};
 //# sourceMappingURL=effective-operation.d.ts.map

package/dist/effective-operation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effective-operation.d.ts","sourceRoot":"","sources":["../src/effective-operation.ts"],"names":[],"mappings":"AASA,OAAO,EAAsB,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEzE,OAAO,KAAK,EAAkB,eAAe,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,aAAa,EAGnB,MAAM,qBAAqB,CAAC;AAE7B,KAAK,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;AAEnC,MAAM,WAAW,kBAAkB;IACjC,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,yDAAyD;IACzD,WAAW,EAAE,OAAO,CAAC;IACrB,iDAAiD;IACjD,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAmB,SAAQ,iBAAiB;IAC3D,6DAA6D;IAC7D,EAAE,EAAE,MAAM,CAAC;IACX,sEAAsE;IACtE,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,UAAU,GAAG,YAAY,CAAC;IACtC,OAAO,EAAE;QACP,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,8EAA8E;IAC9E,cAAc,EAAE;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,kEAAkE;IAClE,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,OAAO,GAAG,QAAQ,CAAC;QAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,iEAAiE;IACjE,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,6BAA6B,CAAC;CACjD;AAED,MAAM,MAAM,sBAAsB,GAAG,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;AAErE,gFAAgF;AAChF,eAAO,MAAM,6BAA6B;;;;;EAKxC,CAAC;AAEH,MAAM,WAAW,yBAAyB;IACxC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC;CAChD;AAED;;;GAGG;AACH,qBAAa,uBAAuB;IAShC,OAAO,CAAC,QAAQ,CAAC,SAAS;IAR5B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;IACvC,QAAQ,CAAC,qBAAqB,EAAE,cAAc,EAAE,CAAC;gBAG/C,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,EAAE,cAAc,EAAE,EAC7B,qBAAqB,EAAE,cAAc,EAAE,EACtB,SAAS,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC;IAOvE,UAAU,CAAC,OAAO,EAAE,YAAY,GAAG,sBAAsB;CAG1D;AAED,6EAA6E;AAC7E,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,eAAe,EAAE,EAClC,OAAO,GAAE,yBAA8B,GACtC,uBAAuB,CAiMzB;AAmRD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,YAAY,CAAC,EAClD,SAAS,EAAE,eAAe,CAAC,qBAAqB,CAAC,EACjD,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,GAC9B,aAAa,CA0Bf"}
+{"version":3,"file":"effective-operation.d.ts","sourceRoot":"","sources":["../src/effective-operation.ts"],"names":[],"mappings":"AAGA,OAAO,EAAsB,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEzE,OAAO,KAAK,EAAkB,eAAe,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,aAAa,EAGnB,MAAM,qBAAqB,CAAC;AAE7B,KAAK,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;AAEnC,MAAM,WAAW,kBAAkB;IACjC,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,yDAAyD;IACzD,WAAW,EAAE,OAAO,CAAC;IACrB,iDAAiD;IACjD,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAmB,SAAQ,iBAAiB;IAC3D,6DAA6D;IAC7D,EAAE,EAAE,MAAM,CAAC;IACX,sEAAsE;IACtE,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,UAAU,GAAG,YAAY,CAAC;IACtC,OAAO,EAAE;QACP,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,8EAA8E;IAC9E,cAAc,EAAE;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,kEAAkE;IAClE,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,OAAO,GAAG,QAAQ,CAAC;QAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,iEAAiE;IACjE,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,6BAA6B,CAAC;CACjD;AAED,MAAM,MAAM,sBAAsB,GAAG,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;AAErE,gFAAgF;AAChF,eAAO,MAAM,6BAA6B;;;;;EAKxC,CAAC;AAEH,MAAM,WAAW,yBAAyB;IACxC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC;CAChD;AAED;;;GAGG;AACH,qBAAa,uBAAuB;IAShC,OAAO,CAAC,QAAQ,CAAC,SAAS;IAR5B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;IACvC,QAAQ,CAAC,qBAAqB,EAAE,cAAc,EAAE,CAAC;gBAG/C,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,EAAE,cAAc,EAAE,EAC7B,qBAAqB,EAAE,cAAc,EAAE,EACtB,SAAS,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC;IAOvE,UAAU,CAAC,OAAO,EAAE,YAAY,GAAG,sBAAsB;CAG1D;AAED,6EAA6E;AAC7E,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,eAAe,EAAE,EAClC,OAAO,GAAE,yBAA8B,GACtC,uBAAuB,CAiMzB;AAmRD,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,YAAY,CAAC,EAClD,SAAS,EAAE,eAAe,CAAC,qBAAqB,CAAC,EACjD,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,GAC9B,aAAa,CA0Bf"}