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

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,10 @@ export interface TypeRef {
     undefined?: boolean;
     /** Whether this is a Promise wrapper (unwrapped in output). */
     promise?: boolean;
+    /** `Post['id']` — the entity whose primary key this value is, and the field holding it. */
+    identifies?: {
+        entity: string;
+        field: 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,2FAA2F;IAC3F,UAAU,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CAChD"}

package/dist/wire/binding.d.ts

@@ -20,10 +20,13 @@ type ParamSource = {
  | {
     kind: 'pipe';
     factName: string;
-} | {
+}
+/** `identifies` names the entity whose row the value designates — `id: Post['id']`. */
+ | {
     kind: 'param';
     name: string;
     coerce?: 'number' | 'boolean';
+    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,uFAAuF;GACrF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GACnF;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 identifies = param.type.identifies?.entity;
+        return { kind: 'param', name: param.name, coerce: coercionFor(typeName), ...(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;AA6B7C,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,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC;QAEjD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC/G,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.18.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.18.0-alpha.0",
+    "@fougere/schema": "0.18.0-alpha.0",
     "dequal": "^2.0.3"
   },
   "devDependencies": {

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/bootstrap.ts

@@ -574,7 +574,7 @@ function answerRemotes(
   { container, routeRegistry, dispatcher, getMiddlewares, options, state }: Pick<Assembly, 'container' | 'routeRegistry' | 'dispatcher' | 'getMiddlewares' | 'options' | 'state'>,
   remoteRouter: RemoteRouter,
   fronds: Fronds,
-): void {
+): (name: string) => boolean {
   // Only for what another process may serve: an entity a frond hosts HERE and gives no handler
   // is served by nobody, and a stand-in for it had GraphQL project an entity with no operation.
   const servedElsewhere = (address: string): boolean => {
@@ -582,9 +582,8 @@ function answerRemotes(
 
     return owner === undefined || owner.name in (options.remotes ?? {});
   };
-  container.setFallback((name) => (isFacadeKey(name) && servedElsewhere(addressOf(name))
-    ? facadeOperations(dispatcher, addressOf(name))
-    : undefined));
+  const answeredElsewhere = (name: string): boolean => isFacadeKey(name) && servedElsewhere(addressOf(name));
+  container.setFallback((name) => (answeredElsewhere(name) ? facadeOperations(dispatcher, addressOf(name)) : undefined));
 
   const remoteFacades = new Map<string, Record<string, Function>>();
   routeRegistry.addResolver(remoteRoutes((address) => {
@@ -595,6 +594,8 @@ function answerRemotes(
 
     return facade;
   }));
+
+  return answeredElsewhere;
 }
 
 /** Refused rather than replaced: two declarations of one name would make the answer depend on wiring order. */
@@ -700,7 +701,7 @@ export async function createApp(options: CreateAppOptions): Promise<App> {
     refuseWhatDoesNotHold(refused);
     markLineCarriers(emissions);
 
-    if (remoteRouter) answerRemotes(assembly, remoteRouter, fronds);
+    const answeredElsewhere = remoteRouter ? answerRemotes(assembly, remoteRouter, fronds) : () => false;
 
     const { resolve, schemaFor, facadeFor, operationsFor, presenterFor } = readings({
       container, fronds, remoteRouter, localDispatcher, routeRegistry, effectiveByKey, log,
@@ -741,7 +742,7 @@ export async function createApp(options: CreateAppOptions): Promise<App> {
 
     built = app;
     await appLifecycle.up(app);
-    refuseWhatDoesNotHold(unregistered(container, fronds));
+    refuseWhatDoesNotHold(unregistered(container, fronds, answeredElsewhere));
     stopAnnouncing = announceLines(emissions, container, carry);
 
     return app;

package/src/boot/unregistered.ts

@@ -1,42 +1,40 @@
 import type { Container } from '@fougere/container';
 import type { Diagnostic } from '../diagnostic.js';
 import type { FrondDescriptor } from '../descriptor/FrondDescriptor.js';
-
-type Declared = { frond: string; filePath: string };
-
-/** Every class a frond hands the container, by identity — the one key a bundler cannot rename. */
-function declaredBy(fronds: readonly FrondDescriptor[]): Map<Function, Declared> {
-  const declared = new Map<Function, Declared>();
-  for (const frond of fronds) {
-    const entries = [...frond.handlers, ...frond.providers, ...frond.presenters, ...frond.collectors, ...frond.middlewares];
-    for (const { ctor, filePath } of entries) declared.set(ctor, { frond: frond.name, filePath });
-  }
-
-  return declared;
-}
+import { SEAMS } from './ports.js';
 
 /**
  * What a constructor asks for and nothing where it is built answers — refused at boot rather than
- * at its first call, once the extensions have risen, since `up` registers too.
+ * at its first call, once the extensions have risen, since `up` registers too. Read off what each
+ * class DECLARES, in the scope of the frond that declares it. A seam is answered by the link that
+ * wraps it, and a facade another process serves by the stand-in `answeredElsewhere` names.
  */
-export function unregistered(container: Container, fronds: readonly FrondDescriptor[]): Diagnostic[] {
-  const declared = declaredBy(fronds);
-  const seen = new Set<string>();
-
-  return container.unresolved().flatMap(({ ctor, missing }) => {
-    const subject = ctor.name;
-    if (seen.has(`${subject}→${missing}`)) return [];
-    seen.add(`${subject}→${missing}`);
-    const where = declared.get(ctor);
+export function unregistered(
+  container: Container,
+  fronds: readonly FrondDescriptor[],
+  answeredElsewhere: (name: string) => boolean,
+): Diagnostic[] {
+  const refused = new Map<string, Diagnostic>();
+  for (const frond of fronds) {
+    if (!container.has(`frond:${frond.name}`)) continue;
+    const scope = container.resolve<Container>(`frond:${frond.name}`);
+    const declared = [...frond.handlers, ...frond.providers, ...frond.presenters, ...frond.collectors, ...frond.middlewares];
+    for (const { ctor, deps, filePath } of declared) {
+      for (const missing of deps) {
+        if (scope.has(missing) || SEAMS.has(missing) || answeredElsewhere(missing)) continue;
+        if (refused.has(`${ctor.name}→${missing}`)) continue;
+        refused.set(`${ctor.name}→${missing}`, {
+          severity: 'blocking',
+          code: 'dependency-unregistered',
+          frond: frond.name,
+          subject: ctor.name,
+          filePath,
+          message: `${ctor.name} asks for ${missing}, and nothing in frond '${frond.name}' or above it answers that name. `
+            + `A class of that name in a convention directory, or one extending it, would.`,
+        });
+      }
+    }
+  }
 
-    return [{
-      severity: 'blocking' as const,
-      code: 'dependency-unregistered',
-      ...(where ? { frond: where.frond } : {}),
-      subject,
-      filePath: where?.filePath ?? '',
-      message: `${subject} asks for ${missing}, and nothing ${where ? `in frond '${where.frond}' or above it ` : ''}answers that name. `
-        + `A class of that name in a convention directory, or one extending it, would.`,
-    }];
-  });
+  return [...refused.values()];
 }