@fougere/core 0.17.4-alpha.0 → 0.19.0-alpha.0

package/dist/wire/StateShape.d.ts

@@ -12,9 +12,8 @@ export interface StateDeclaration {
  * Documented: [collectors](https://fougere.dev/docs/business/collectors).
  */
 export declare class StateShape {
-    private readonly fields;
+    private readonly schema;
     static readonly empty: StateShape;
-    private readonly validator;
     private constructor();
     /** Two extensions declaring one member refuse: the field that judges it would depend on wiring order. */
     static of(declarations: readonly StateDeclaration[]): StateShape;

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

@@ -1 +1 @@
-{"version":3,"file":"StateShape.d.ts","sourceRoot":"","sources":["../../src/wire/StateShape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoC,KAAK,KAAK,EAAe,MAAM,iBAAiB,CAAC;AAI5F,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;CACzC;AAED;;;;;;GAMG;AACH,qBAAa,UAAU;IAKD,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJ3C,MAAM,CAAC,QAAQ,CAAC,KAAK,aAAsB;IAE3C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAiB;IAE3C,OAAO;IAIP,yGAAyG;IACzG,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,GAAG,UAAU;IAoBhE;;;OAGG;IACH,KAAK,CACH,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACpC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAmB3B"}
+{"version":3,"file":"StateShape.d.ts","sourceRoot":"","sources":["../../src/wire/StateShape.ts"],"names":[],"mappings":"AAAA,OAAO,EAA4B,KAAK,KAAK,EAAwD,MAAM,iBAAiB,CAAC;AAI7H,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;CACzC;AAED;;;;;;GAMG;AACH,qBAAa,UAAU;IAGD,OAAO,CAAC,QAAQ,CAAC,MAAM;IAF3C,MAAM,CAAC,QAAQ,CAAC,KAAK,aAA6C;IAElE,OAAO;IAEP,yGAAyG;IACzG,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,GAAG,UAAU;IAsBhE;;;OAGG;IACH,KAAK,CACH,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACpC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAmB3B"}

package/dist/wire/StateShape.js

@@ -1,4 +1,4 @@
-import { InputValidator, dotted, optional } from '@fougere/schema';
+import { Schema, dotted, optional } from '@fougere/schema';
 import { ErrorCode } from './ErrorCode.js';
 import { FougereError } from './FougereError.js';
 /**
@@ -9,18 +9,17 @@ import { FougereError } from './FougereError.js';
  * Documented: [collectors](https://fougere.dev/docs/business/collectors).
  */
 export class StateShape {
-    fields;
-    static empty = new StateShape({});
-    validator;
-    constructor(fields) {
-        this.fields = fields;
-        this.validator = InputValidator.of(fields);
+    schema;
+    static empty = new StateShape(Schema.of({ fields: {} }));
+    constructor(schema) {
+        this.schema = schema;
     }
     /** Two extensions declaring one member refuse: the field that judges it would depend on wiring order. */
     static of(declarations) {
-        const fields = {};
         const owners = new Map();
+        let schema = Schema.of({ fields: {} });
         for (const { name, state } of declarations) {
+            const fields = {};
             for (const [member, field] of Object.entries(state ?? {})) {
                 const owner = owners.get(member);
                 if (owner) {
@@ -30,8 +29,9 @@ export class StateShape {
                 owners.set(member, name);
                 fields[member] = optional(field);
             }
+            schema = schema.extend(fields);
         }
-        return new StateShape(fields);
+        return new StateShape(schema);
     }
     /**
      * The members written since `entered` rebuilt by their fields, or a refusal naming the member
@@ -41,10 +41,10 @@ export class StateShape {
         const written = Object.fromEntries(Object.entries(state).filter(([member, value]) => entered[member] !== value));
         if (Object.keys(written).length === 0)
             return state;
-        const result = this.validator.validate(written);
+        const result = this.schema.validate(written);
         if (result.success)
             return { ...state, ...result.data };
-        const declared = Object.keys(this.fields);
+        const declared = Object.keys(this.schema.getFields());
         const errors = result.errors.map((error) => ({ ...error, path: ['state', ...error.path] }));
         throw new FougereError({
             code: ErrorCode.VALIDATION_FAILED,

package/dist/wire/StateShape.js.map

@@ -1 +1 @@
-{"version":3,"file":"StateShape.js","sourceRoot":"","sources":["../../src/wire/StateShape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAA2B,MAAM,iBAAiB,CAAC;AAC5F,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAQjD;;;;;;GAMG;AACH,MAAM,OAAO,UAAU;IAKgB;IAJrC,MAAM,CAAU,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAE1B,SAAS,CAAiB;IAE3C,YAAqC,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;QACjD,IAAI,CAAC,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,yGAAyG;IACzG,MAAM,CAAC,EAAE,CAAC,YAAyC;QACjD,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,YAAY,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,IAAI,KAAK,CACb,YAAY,MAAM,qCAAqC,KAAK,UAAU,IAAI,MAAM;0BAC9E,mEAAmE,CACtE,CAAC;gBACJ,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACzB,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;;OAGG;IACH,KAAK,CACH,KAA8B,EAC9B,OAAe,EACf,SAAiB,EACjB,UAAmC,EAAE;QAErC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QACjH,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO,EAAE,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAExD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAE5F,MAAM,IAAI,YAAY,CAAC;YACrB,IAAI,EAAE,SAAS,CAAC,iBAAiB;YACjC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;kBAChF,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,4BAA4B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,0CAA0C,CAAC;YACtH,OAAO,EAAE,MAAM;YACf,OAAO;YACP,SAAS;SACV,CAAC,CAAC;IACL,CAAC"}
+{"version":3,"file":"StateShape.js","sourceRoot":"","sources":["../../src/wire/StateShape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAoE,MAAM,iBAAiB,CAAC;AAC7H,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAQjD;;;;;;GAMG;AACH,MAAM,OAAO,UAAU;IAGgB;IAFrC,MAAM,CAAU,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAElE,YAAqC,MAAkB;QAAlB,WAAM,GAAN,MAAM,CAAY;IAAG,CAAC;IAE3D,yGAAyG;IACzG,MAAM,CAAC,EAAE,CAAC,YAAyC;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,IAAI,MAAM,GAA8B,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAY,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,YAAY,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAW,EAAE,CAAC;YAC1B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,IAAI,KAAK,CACb,YAAY,MAAM,qCAAqC,KAAK,UAAU,IAAI,MAAM;0BAC9E,mEAAmE,CACtE,CAAC;gBACJ,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACzB,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YACnC,CAAC;YACD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QAED,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;;OAGG;IACH,KAAK,CACH,KAA8B,EAC9B,OAAe,EACf,SAAiB,EACjB,UAAmC,EAAE;QAErC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QACjH,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO,EAAE,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAExD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAE5F,MAAM,IAAI,YAAY,CAAC;YACrB,IAAI,EAAE,SAAS,CAAC,iBAAiB;YACjC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;kBAChF,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,4BAA4B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,0CAA0C,CAAC;YACtH,OAAO,EAAE,MAAM;YACf,OAAO;YACP,SAAS;SACV,CAAC,CAAC;IACL,CAAC"}

package/dist/wire/TypeRef.d.ts

@@ -16,5 +16,12 @@ export interface TypeRef {
     undefined?: boolean;
     /** Whether this is a Promise wrapper (unwrapped in output). */
     promise?: boolean;
+    /** `Post['title']` — the field this type is read from, whose rules the value obeys. */
+    field?: {
+        entity: string;
+        name: string;
+    };
+    /** The entity whose row this value designates — set by the scan when `field` is its primary. */
+    identifies?: string;
 }
 //# sourceMappingURL=TypeRef.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TypeRef.d.ts","sourceRoot":"","sources":["../../src/wire/TypeRef.ts"],"names":[],"mappings":"AAAA,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"}
+{"version":3,"file":"TypeRef.d.ts","sourceRoot":"","sources":["../../src/wire/TypeRef.ts"],"names":[],"mappings":"AAAA,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;IAClB,uFAAuF;IACvF,KAAK,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,gGAAgG;IAChG,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB"}

package/dist/wire/binding.d.ts

@@ -20,10 +20,20 @@ type ParamSource = {
  | {
     kind: 'pipe';
     factName: string;
-} | {
+}
+/**
+ * `field` is where the value's rules are declared — `title: Post['title']`. `identifies` names
+ * the entity whose row the value designates, when that field is its primary.
+ */
+ | {
     kind: 'param';
     name: string;
     coerce?: 'number' | 'boolean';
+    field?: {
+        entity: string;
+        name: string;
+    };
+    identifies?: string;
 } | {
     kind: 'input';
 } | {

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

@@ -1 +1 @@
-{"version":3,"file":"binding.d.ts","sourceRoot":"","sources":["../../src/wire/binding.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAKxC,KAAK,WAAW,GACZ;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACzC,qFAAqF;GACnF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACpC;;;;GAIG;GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE;AACrB,2EAA2E;GACzE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtB,UAAU,YAAY;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,MAAM,WAAW,GAAG,YAAY,EAAE,CAAC;AAezC,qDAAqD;AACrD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,KAAK,EAAE,EACf,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,GAC9B,WAAW,CAMb"}
+{"version":3,"file":"binding.d.ts","sourceRoot":"","sources":["../../src/wire/binding.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAKxC,KAAK,WAAW,GACZ;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACzC,qFAAqF;GACnF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACpC;;;;GAIG;GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACpC;;;GAGG;GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;IAAC,KAAK,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7H;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE;AACrB,2EAA2E;GACzE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtB,UAAU,YAAY;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,MAAM,WAAW,GAAG,YAAY,EAAE,CAAC;AAezC,qDAAqD;AACrD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,KAAK,EAAE,EACf,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,GAC9B,WAAW,CAMb"}

package/dist/wire/binding.js

@@ -37,8 +37,10 @@ function sourceOf(param, collectorTypeNames) {
         return { kind: 'collector', typeName: typeKey };
     if (typeName === 'InvocationContext')
         return { kind: 'context' };
-    if (PRIMITIVES.has(typeName))
-        return { kind: 'param', name: param.name, coerce: coercionFor(typeName) };
+    if (PRIMITIVES.has(typeName)) {
+        const { field, identifies } = param.type;
+        return { kind: 'param', name: param.name, coerce: coercionFor(typeName), ...(field && { field }), ...(identifies && { identifies }) };
+    }
     return { kind: 'input' };
 }
 //# sourceMappingURL=binding.js.map

package/dist/wire/binding.js.map

@@ -1 +1 @@
-{"version":3,"file":"binding.js","sourceRoot":"","sources":["../../src/wire/binding.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AA4B7C,iDAAiD;AAEjD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAE5D,SAAS,WAAW,CAAC,QAAgB;IACnC,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE7C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iDAAiD;AAEjD,qDAAqD;AACrD,MAAM,UAAU,kBAAkB,CAChC,MAAe,EACf,kBAA+B;IAE/B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;QAC3C,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK;KAClC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,KAAY,EAAE,kBAA+B;IAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IACjC,8FAA8F;IAC9F,qFAAqF;IACrF,sDAAsD;IACtD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,SAAS,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1G,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;IAC1F,CAAC;IAED,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACrF,IAAI,QAAQ,KAAK,mBAAmB;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjE,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;IAExG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC"}
+{"version":3,"file":"binding.js","sourceRoot":"","sources":["../../src/wire/binding.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAgC7C,iDAAiD;AAEjD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAE5D,SAAS,WAAW,CAAC,QAAgB;IACnC,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE7C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iDAAiD;AAEjD,qDAAqD;AACrD,MAAM,UAAU,kBAAkB,CAChC,MAAe,EACf,kBAA+B;IAE/B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;QAC3C,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK;KAClC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,KAAY,EAAE,kBAA+B;IAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IACjC,8FAA8F;IAC9F,qFAAqF;IACrF,sDAAsD;IACtD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,SAAS,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1G,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;IAC1F,CAAC;IAED,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACrF,IAAI,QAAQ,KAAK,mBAAmB;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjE,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;QAEzC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IACxI,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC"}

package/dist/wire/card/CardOp.d.ts

@@ -1,23 +1,17 @@
 import type { SchemaDescriptor } from '@fougere/schema';
-import type { ErrorCode } from '../ErrorCode.js';
+import type { OperationContract } from '../OperationContract.js';
+import type { OperationKind } from '../OperationKind.js';
 /**
  * One operation, as a stranger meets it — its name, what it is for, what it takes and whether it
  * reads or writes.
  */
-export interface CardOp {
+export interface CardOp extends Pick<OperationContract, 'description' | 'cardinality' | 'errors'> {
     name: string;
-    /** The author's own doc sentence, when the method carries one. */
-    description?: string;
     /** JSON Schema of what it accepts, when the contract names a view. */
     input?: SchemaDescriptor;
     /** JSON Schema of what it emits, when the contract names one. */
     output?: SchemaDescriptor;
-    /** `query` reads, `command` writes — the same call REST turns into GET vs POST. */
-    kind: 'query' | 'command';
-    /** How much `output` describes. */
-    cardinality?: 'one' | 'maybe' | 'many' | 'page' | 'none';
-    /** What this op can REFUSE, beyond what `kind` and `input` already imply. */
-    errors?: ErrorCode[];
+    kind: OperationKind;
     /** The fact this op is handed when it is announced — its `Fact<T>`, which IS the subscription. */
     listens?: string;
 }

package/dist/wire/card/CardOp.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CardOp.d.ts","sourceRoot":"","sources":["../../../src/wire/card/CardOp.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sEAAsE;IACtE,KAAK,CAAC,EAAE,gBAAgB,CAAC;IACzB,iEAAiE;IACjE,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,mFAAmF;IACnF,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1B,mCAAmC;IACnC,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACzD,6EAA6E;IAC7E,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,kGAAkG;IAClG,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB"}
+{"version":3,"file":"CardOp.d.ts","sourceRoot":"","sources":["../../../src/wire/card/CardOp.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;;GAGG;AACH,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,iBAAiB,EAAE,aAAa,GAAG,aAAa,GAAG,QAAQ,CAAC;IAC/F,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,KAAK,CAAC,EAAE,gBAAgB,CAAC;IACzB,iEAAiE;IACjE,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,IAAI,EAAE,aAAa,CAAC;IACpB,kGAAkG;IAClG,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB"}

package/dist/wire/refusals.d.ts

@@ -14,9 +14,10 @@
  * Documented: [observability](https://fougere.dev/docs/infra/observability).
  */
 import { ErrorCode } from './ErrorCode.js';
+import type { OperationKind } from './OperationKind.js';
 /** The little of an operation this reads — so a card op and an effective one both fit. */
 export interface Refusable {
-    kind?: 'query' | 'command';
+    kind?: OperationKind;
     input?: unknown;
     errors?: readonly string[];
     /** Absent on a card op read from a frond that answers in this process. */

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

@@ -1 +1 @@
-{"version":3,"file":"refusals.d.ts","sourceRoot":"","sources":["../../src/wire/refusals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,0FAA0F;AAC1F,MAAM,WAAW,SAAS;IACxB,IAAI,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,0EAA0E;IAC1E,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAmBD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,SAAS,GAAG,SAAS,EAAE,CAIrD"}
+{"version":3,"file":"refusals.d.ts","sourceRoot":"","sources":["../../src/wire/refusals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,0FAA0F;AAC1F,MAAM,WAAW,SAAS;IACxB,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,0EAA0E;IAC1E,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAmBD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,SAAS,GAAG,SAAS,EAAE,CAIrD"}

package/dist/wire/refusals.js.map

@@ -1 +1 @@
-{"version":3,"file":"refusals.js","sourceRoot":"","sources":["../../src/wire/refusals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAW3C;;;;GAIG;AACH,MAAM,OAAO,GAA4D;IACvE,qFAAqF;IACrF,EAAE,IAAI,EAAE,SAAS,CAAC,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE;IACzD,sFAAsF;IACtF,EAAE,IAAI,EAAE,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,EAAE;IAC3E,oFAAoF;IACpF,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE;IACpE,0FAA0F;IAC1F,EAAE,IAAI,EAAE,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE;CAClE,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,EAAa;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAE7E,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAgB,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC"}
+{"version":3,"file":"refusals.js","sourceRoot":"","sources":["../../src/wire/refusals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAY3C;;;;GAIG;AACH,MAAM,OAAO,GAA4D;IACvE,qFAAqF;IACrF,EAAE,IAAI,EAAE,SAAS,CAAC,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE;IACzD,sFAAsF;IACtF,EAAE,IAAI,EAAE,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,EAAE;IAC3E,oFAAoF;IACpF,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE;IACpE,0FAA0F;IAC1F,EAAE,IAAI,EAAE,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE;CAClE,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,EAAa;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAE7E,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAgB,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC"}

package/dist/wire/topology/DeclaredFrond.d.ts

@@ -1,7 +1,8 @@
+import type { Placement } from '../Placement.js';
 /** A frond the config knows of, and where it says to reach it. */
 export interface DeclaredFrond {
     frond: string;
-    placement: 'local' | 'remote';
+    placement: Placement;
     /**
      * Host and port of the address `remotes:` names, absent when the frond runs here. Never the
      * whole address: a declared one may carry credentials, and this answer leaves the process.

package/dist/wire/topology/DeclaredFrond.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DeclaredFrond.d.ts","sourceRoot":"","sources":["../../../src/wire/topology/DeclaredFrond.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IAC9B;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,CAAC;CACb"}
+{"version":3,"file":"DeclaredFrond.d.ts","sourceRoot":"","sources":["../../../src/wire/topology/DeclaredFrond.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,CAAC;CACb"}

package/dist/wire/topology/FrondPlacement.d.ts

@@ -1,7 +1,8 @@
+import type { Placement } from '../Placement.js';
 /** A frond this process knows about, and whether it runs here. */
 export interface FrondPlacement {
     frond: string;
-    placement: 'local' | 'remote';
+    placement: Placement;
     entities: number;
     facades: number;
 }

package/dist/wire/topology/FrondPlacement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FrondPlacement.d.ts","sourceRoot":"","sources":["../../../src/wire/topology/FrondPlacement.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB"}
+{"version":3,"file":"FrondPlacement.d.ts","sourceRoot":"","sources":["../../../src/wire/topology/FrondPlacement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,kEAAkE;AAClE,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/core",
-  "version": "0.17.4-alpha.0",
+  "version": "0.19.0-alpha.0",
   "description": "The core — scan, call contract, façades, remote stand-ins.",
   "keywords": [
     "fougere",
@@ -61,8 +61,8 @@
     "tsconfig"
   ],
   "dependencies": {
-    "@fougere/container": "0.17.4-alpha.0",
-    "@fougere/schema": "0.17.4-alpha.0",
+    "@fougere/container": "0.19.0-alpha.0",
+    "@fougere/schema": "0.19.0-alpha.0",
     "dequal": "^2.0.3"
   },
   "devDependencies": {

package/src/BootRefusal.ts

@@ -0,0 +1,11 @@
+/**
+ * A boot stopped by what it was handed — a declaration, the frond tree, a database behind its
+ * entities — rather than by a bug. Its message is for whoever has to fix it, and a host shows it
+ * without a stack: the stack names the check that refused, never what it refused.
+ */
+export class BootRefusal extends Error {
+  constructor(message: string) {
+    super(message);
+    this.name = 'BootRefusal';
+  }
+}

package/src/CallIdentity.ts

@@ -32,7 +32,8 @@ async function boundTo(call: SignedCall) {
     params: call.params ?? {},
     query: call.query ?? {},
     input: await digestOf(call.input),
-    // Omitted when absent, so a call with no hour pins what it always pinned.
+    // Omitted when absent, so a call with no hour — or no arguments — pins what it always pinned.
+    ...(call.args === undefined ? {} : { args: await digestOf(call.args) }),
     ...(call.runAt === undefined ? {} : { runAt: call.runAt }),
   };
 }

package/src/Declared.ts

@@ -1,11 +1,7 @@
 import type { AbstractCtor } from './Ctor.js';
 import type { DeclaredSubject } from './DeclaredSubject.js';
+import type { ProviderEntry } from './descriptor/ProviderEntry.js';
 
 /** A class on its own — a port, which is abstract, included — or a class with what it asks for. */
-export type Declared = AbstractCtor | (Omit<DeclaredSubject, 'ctor'> & {
-  ctor: AbstractCtor;
-  /** The container key, when the class's own name cannot be trusted to survive a build. */
-  name?: string;
-  /** The class is `abstract` — a port and never a realization. The scan writes it; TypeScript erases it. */
-  abstract?: true;
-});
+export type Declared = AbstractCtor
+  | (Omit<DeclaredSubject, 'ctor'> & { ctor: AbstractCtor } & Partial<Pick<ProviderEntry, 'name' | 'abstract'>>);

package/src/DeclaredHandler.ts

@@ -1,18 +1,13 @@
 import type { OperationContract } from './wire/OperationContract.js';
 import type { DeclaredSubject } from './DeclaredSubject.js';
+import type { HandlerEntry } from './descriptor/HandlerEntry.js';
 
 /** A handler, and the surface it answers on when it is not the default one. */
-export interface DeclaredHandler extends DeclaredSubject {
-  /**
-   * The scan reads this from the directory (`handlers/public/`), so a statement has to say it: two
-   * handlers over one entity collide on their address otherwise, and the refusal names the same
-   * route twice.
-   */
-  surface?: string;
+export type DeclaredHandler = DeclaredSubject & Partial<Pick<HandlerEntry, 'surface'>> & {
   /**
    * What each method takes and answers — read from SOURCE by the scan, and unreachable
    * from a class at runtime. A prefab declares its own (`Crud.__ops`) and needs nothing
    * here; a method someone wrote does, or the route it should serve does not exist.
    */
   operations?: ReadonlyMap<string, OperationContract> | Record<string, OperationContract>;
-}
+};

package/src/DeclaredSubject.ts

@@ -1,6 +1,4 @@
-import type { Ctor } from './Ctor.js';
+import type { Subject } from './descriptor/Subject.js';
+
 /** What a subject needs beyond its class, when its constructor names a frame or a port. */
-export interface DeclaredSubject {
-  ctor: Ctor;
-  deps?: string[];
-}
+export type DeclaredSubject = Pick<Subject, 'ctor'> & Partial<Pick<Subject, 'deps'>>;

package/src/EffectiveOperation.ts

@@ -4,6 +4,7 @@ import { type OperationContract } from './wire/OperationContract.js';
 import { type OperationKind } from './wire/OperationKind.js';
 import type { EffectiveParameter } from './EffectiveParameter.js';
 import type { EffectiveCollector } from './EffectiveCollector.js';
+import type { Placement } from './wire/Placement.js';
 
 export interface EffectiveOperation extends OperationContract {
   /** Stable qualified identity: `blog/public/Post.publish`. */
@@ -30,11 +31,11 @@ export interface EffectiveOperation extends OperationContract {
   parameters: EffectiveParameter[];
   collectors: EffectiveCollector[];
   contexts: string[];
-  placement: {
-    frond: string;
-    runtime: 'local' | 'remote';
-    remote?: string;
-  };
+  /** The frond that answers it, and where — `placement` says where it ANSWERS, `reach` where it GOES. */
+  frond: string;
+  placement: Placement;
+  /** The address it is reached at, when it answers a process away. */
+  remote?: string;
   /**
    * What running this op reaches, and how much of that crosses a process.
    *
@@ -48,7 +49,7 @@ export interface EffectiveOperation extends OperationContract {
    * saying otherwise would dress a structural fact as a precise effect.
    */
   reach: {
-    fronds: { frond: string; runtime: 'local' | 'remote' }[];
+    fronds: { frond: string; placement: Placement }[];
     /** How many of them are a process away — zero when everything it reaches runs here. */
     hops: number;
   };

package/src/EffectiveOperationModel.ts

@@ -18,8 +18,10 @@ import type { EffectiveParameter } from './EffectiveParameter.js';
 import type { EffectiveOperation } from './EffectiveOperation.js';
 import type { EffectiveOperationsMap } from './EffectiveOperationsMap.js';
 import type { EffectiveOperationOptions } from './EffectiveOperationOptions.js';
+import type { Placement } from './wire/Placement.js';
+import type { Binding } from './Binding.js';
+import { opsOf } from './prefab/opsOf.js';
 
-type Binding = BindingPlan[number];
 
 /** A contract whose parameters are all bound. */
 type BoundContract = OperationContract & { binding: BindingPlan };
@@ -39,9 +41,9 @@ function reachOf(
 ): EffectiveOperation['reach'] {
   const fronds = reachedBy(deps, from, index)
     .sort()
-    .map((frond) => ({ frond, runtime: (remotes[frond] ? 'remote' : 'local') as 'local' | 'remote' }));
+    .map((frond) => ({ frond, placement: (remotes[frond] ? 'remote' : 'local') as Placement }));
 
-  return { fronds, hops: fronds.filter((one) => one.runtime === 'remote').length };
+  return { fronds, hops: fronds.filter((one) => one.placement === 'remote').length };
 }
 
 
@@ -193,7 +195,9 @@ function resolveOperation(resolving: Resolving, name: string, rawContract: Opera
     contexts: parameters
       .filter((parameter) => parameter.binding.source.kind === 'context')
       .map((parameter) => parameter.name),
-    placement: { frond: frond.name, runtime: remote ? 'remote' : 'local', ...(remote ? { remote } : {}) },
+    frond: frond.name,
+    placement: remote ? 'remote' : 'local',
+    ...(remote ? { remote } : {}),
     reach: reachOf(handler.deps, frond.name, served, options.remotes ?? {}),
     exposure: {
       surfaces: servedSurfaces(frond, handler).map((surface) => surface ?? 'default'),
@@ -388,7 +392,7 @@ function validateProvenance(
   diagnostics: Diagnostic[],
 ): boolean {
   let valid = true;
-  const declared = (handler.ctor as { __ops?: Record<string, OperationContract> }).__ops?.[name];
+  const declared = opsOf(handler.ctor)[name];
   const explicitBinding = declared?.binding !== undefined
     || handler.operations.get(name)?.binding !== undefined
     || frond.operationsOverrides?.[name]?.binding !== undefined;
@@ -519,7 +523,7 @@ function implementationOf(
   const method = override?.method ?? name;
   const declared = implementation.operations.has(method)
     || typeof (implementation.ctor as { prototype?: Record<string, unknown> }).prototype?.[method] === 'function'
-    || method in ((implementation.ctor as { __ops?: Record<string, unknown> }).__ops ?? {});
+    || method in opsOf(implementation.ctor);
   if (!declared) {
     diagnostics.push({
       severity: 'blocking',
@@ -592,7 +596,7 @@ function resolveContracts(
   overrides: FrondDescriptor['operationsOverrides'],
   collectorTypeNames: Set<string>,
 ): OperationsMap {
-  const declared = (handler.ctor as { __ops?: Record<string, OperationContract> }).__ops ?? {};
+  const declared = opsOf(handler.ctor);
   const contracts: OperationsMap = new Map(Object.entries(declared));
 
   for (const [opName, scanned] of handler.operations) {

package/src/FrondConfig.ts

@@ -10,8 +10,6 @@ export interface FrondConfig {
   reads?: NameOf<'entity'>[];
   /** Per-surface entity lists. Overrides default deduction for each named surface. */
   surfaces?: Record<string, NameOf<'entity'>[]>;
-  /** Interface → implementation bindings for DI (e.g. { Database: 'SqliteDatabase' }). */
-  bindings?: Record<string, NameOf<'provider'>>;
   /**
    * The ops that FINISH a fact, in the order they run — by class name, keyed by fact.
    *

package/src/FrondDeclaration.ts

@@ -15,9 +15,10 @@ import type { OperationContract } from './wire/OperationContract.js';
 import type { DeclaredSubject } from './DeclaredSubject.js';
 import type { DeclaredHandler } from './DeclaredHandler.js';
 import type { Declared } from './Declared.js';
+import { opsOf } from './prefab/opsOf.js';
+import type { Ctor } from './Ctor.js';
+import type { FrondConfig } from './FrondConfig.js';
 
-/** A class, as a declaration hands it over: the constructor itself. */
-type Ctor = new (...args: never[]) => unknown;
 
 const ctorOf = (d: Declared): Ctor => (typeof d === 'function' ? d : d.ctor) as Ctor;
 
@@ -47,7 +48,7 @@ const depsOf = (d: Declared): string[] => (typeof d === 'function' ? [] : d.deps
  */
 function statedOperations(h: Ctor | DeclaredHandler): Map<string, OperationContract> {
   const declared = typeof h === 'function' ? undefined : h.operations;
-  const own = (ctorOf(h) as { __ops?: Record<string, OperationContract> }).__ops ?? {};
+  const own = opsOf(ctorOf(h));
   const merged = new Map<string, OperationContract>(Object.entries(own));
   for (const [op, contract] of declared instanceof Map ? declared : Object.entries(declared ?? {})) {
     merged.set(op, contract as OperationContract);
@@ -57,7 +58,7 @@ function statedOperations(h: Ctor | DeclaredHandler): Map<string, OperationContr
 }
 
 /** What a declaration states about one frond. Everything else is derived from the classes. */
-export interface FrondDeclaration {
+export interface FrondDeclaration extends Pick<FrondConfig, 'pipes' | 'surfaces'> {
   entities?: SchemaView[];
   handlers?: (Ctor | DeclaredHandler)[];
   presenters?: (Ctor | DeclaredSubject)[];
@@ -66,10 +67,6 @@ export interface FrondDeclaration {
   seeds?: { entityName: string; data: SeedEntry['data'] }[];
   /** What runs around this frond's operations, and around those of the fronds under it. */
   middlewares?: (Ctor | DeclaredSubject)[];
-  /** The ops that finish a fact, in order — the same key `frond.config.ts` states. */
-  pipes?: Record<string, string[]>;
-  /** Per-surface entity lists — the same key `frond.config.ts` states. */
-  surfaces?: Record<string, string[]>;
   /** The import scope this frond answers under. Defaults to the conventional one. */
   scope?: string;
   /** What `frond.config.ts` states — the third producer of an operation contract. */

package/src/OperationOverride.ts

@@ -1,10 +1,12 @@
-import type { EntityConstructor, SchemaView } from '@fougere/schema';
+import type { SchemaView } from '@fougere/schema';
+import type { Ctor } from './Ctor.js';
 import type { BindingPlan } from './wire/binding.js';
+import type { OperationKind } from './wire/OperationKind.js';
 
 /** Per-operation override. */
 export interface OperationOverride {
   /** Force operation kind, over the naming convention (`isReadOp`). */
-  kind?: 'query' | 'command';
+  kind?: OperationKind;
   /** The GraphQL root field this op answers to. */
   graphql?: string;
   /**
@@ -17,7 +19,7 @@ export interface OperationOverride {
    * Handler class to delegate to (overrides the default `{Entity}Handler` lookup).
    * Class name is used to resolve from DI. E.g. `ArchiveHandler` → `app.resolve('ArchiveHandler')`.
    */
-  handler?: EntityConstructor;
+  handler?: Ctor;
   /** Method name on `handler` (defaults to the operation name). */
   method?: string;
   /** CASL ability check (e.g. */

package/src/SourceView.ts

@@ -1,5 +1,23 @@
-/** The app as ONE source sees it. */
+import type { SchemaView } from '@fougere/schema';
+import type { EntityEntry } from './descriptor/EntityEntry.js';
+
+/** The app as ONE source sees it: the entities it holds, by the name the scan wrote down. */
 export interface SourceView {
-  fronds: readonly { readonly name: string; readonly entities: readonly { readonly name: string }[] }[];
-  elsewhere: readonly string[];
+  entities: ReadonlyMap<string, SchemaView>;
+  /** The names another source holds — a reference to one gets a column and no key. Absent: all here. */
+  elsewhere?: readonly string[];
+}
+
+/** What a source holds of these fronds — every entity, or the ones `holds` keeps and the rest named. */
+export function sourceViewOf(
+  fronds: readonly { readonly entities: readonly Pick<EntityEntry, 'name' | 'entityClass'>[] }[],
+  holds?: (name: string) => boolean,
+): SourceView {
+  const all = new Map(fronds.flatMap((frond) => frond.entities.map((entry) => [entry.name, entry.entityClass] as const)));
+  if (!holds) return { entities: all };
+
+  return {
+    entities: new Map([...all].filter(([name]) => holds(name))),
+    elsewhere: [...all.keys()].filter((name) => !holds(name)).sort(),
+  };
 }

package/src/boot/AppLifecycle.ts

@@ -1,6 +1,7 @@
 import type { App } from './App.js';
 import type { Extension } from './Extension.js';
 import { StateShape } from '../wire/StateShape.js';
+import { BootRefusal } from '../BootRefusal.js';
 
 /** Runs application extensions up in order and down in reverse order. */
 export class AppLifecycle {
@@ -72,7 +73,7 @@ export function checking(pending?: (app: App) => Promise<readonly string[]>): Ex
       const behind = await pending(app);
       if (behind.length === 0) return;
 
-      throw new Error(
+      throw new BootRefusal(
         `Fougere boot refused: the database is behind the entities (${behind.length}):\n`
         + behind.map((line) => `  ${line}`).join('\n')
         + '\n  Your database: fougere migrate --latest --apply — a shared one: fougere freeze, then fougere migrate --apply',