@fougere/core 0.9.0-alpha.1 → 0.9.2-alpha.0

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

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/wire/errors.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAE/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAIvD,0FAA0F;AAC1F,oBAAY,SAAS;IAEnB,iBAAiB,sBAAsB;IACvC,WAAW,gBAAgB;IAG3B,YAAY,iBAAiB;IAC7B,SAAS,cAAc;IAGvB,SAAS,cAAc;IACvB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,kBAAkB,uBAAuB;IAGzC,mBAAmB,wBAAwB;IAC3C,iBAAiB,sBAAsB;IACvC,oBAAoB,yBAAyB;IAC7C,iBAAiB,sBAAsB;IACvC,eAAe,oBAAoB;IAGnC,cAAc,mBAAmB;IACjC,eAAe,oBAAoB;IACnC,WAAW,gBAAgB;IAC3B,mBAAmB,wBAAwB;IAC3C,eAAe,oBAAoB;CACpC;AAID,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;gBAEf,OAAO,EAAE,mBAAmB;IASxC,MAAM;;;;;;;IAUN,iEAAiE;IACjE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY;CAW7C;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,EAAE,GAAG,SAAS,CAWhF"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/wire/errors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAIvD,0FAA0F;AAC1F,oBAAY,SAAS;IAEnB,iBAAiB,sBAAsB;IACvC,WAAW,gBAAgB;IAG3B,YAAY,iBAAiB;IAC7B,SAAS,cAAc;IAGvB,SAAS,cAAc;IACvB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,kBAAkB,uBAAuB;IAGzC,mBAAmB,wBAAwB;IAC3C,iBAAiB,sBAAsB;IACvC,oBAAoB,yBAAyB;IAC7C,iBAAiB,sBAAsB;IACvC,eAAe,oBAAoB;IAGnC,cAAc,mBAAmB;IACjC,eAAe,oBAAoB;IACnC,WAAW,gBAAgB;IAC3B,mBAAmB,wBAAwB;IAC3C,eAAe,oBAAoB;CACpC;AAID,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;gBAEf,OAAO,EAAE,mBAAmB;IASxC,MAAM;;;;;;;IAUN,iEAAiE;IACjE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY;CAW7C;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,EAAE,GAAG,SAAS,CAWhF"}

package/dist/wire/errors.js

@@ -1,4 +1,8 @@
-/** The error vocabulary — what a refusal IS, independently of who hears it. */
+/**
+ * The error vocabulary — what a refusal IS, independently of who hears it.
+ *
+ * Documented: [errors](https://fougere.dev/docs/business/errors).
+ */
 // ── ErrorCode ──────────────────────────────────
 /** Semantic error codes — transport-agnostic. Each bridge maps them to its own format. */
 export var ErrorCode;

package/dist/wire/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/wire/errors.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAI/E,kDAAkD;AAElD,0FAA0F;AAC1F,MAAM,CAAN,IAAY,SA6BX;AA7BD,WAAY,SAAS;IACnB,QAAQ;IACR,oDAAuC,CAAA;IACvC,wCAA2B,CAAA;IAE3B,OAAO;IACP,0CAA6B,CAAA;IAC7B,oCAAuB,CAAA;IAEvB,YAAY;IACZ,oCAAuB,CAAA;IACvB,0BAAa,CAAA;IACb,kCAAqB,CAAA;IACrB,8BAAiB,CAAA;IACjB,sDAAyC,CAAA;IAEzC,SAAS;IACT,wDAA2C,CAAA;IAC3C,oDAAuC,CAAA;IACvC,0DAA6C,CAAA;IAC7C,oDAAuC,CAAA;IACvC,gDAAmC,CAAA;IAEnC,SAAS;IACT,8CAAiC,CAAA;IACjC,gDAAmC,CAAA;IACnC,wCAA2B,CAAA;IAC3B,wDAA2C,CAAA;IAC3C,gDAAmC,CAAA;AACrC,CAAC,EA7BW,SAAS,KAAT,SAAS,QA6BpB;AAaD,MAAM,OAAO,YAAa,SAAQ,KAAK;IAC5B,IAAI,CAAY;IAChB,MAAM,CAAU;IAChB,SAAS,CAAU;IACnB,OAAO,CAAW;IAE3B,YAAY,OAA4B;QACtC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IACjC,CAAC;IAED,MAAM;QACJ,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3C,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,MAAM,CAAC,QAAQ,CAAC,IAAa;QAC3B,MAAM,GAAG,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAA4B,CAAC;QAC/F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAiB,CAAC,CAAC;QACvE,OAAO,IAAI,YAAY,CAAC;YACtB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,GAAG,CAAC,IAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc;YAChE,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;YACxE,MAAM,EAAE,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;YAC/D,SAAS,EAAE,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YACxE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;SAChF,CAAC,CAAC;IACL,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,IAAI,CAAC,CAAC,KAAK,YAAY,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACrG,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC7B,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;WACxC,KAAK,CAAC,OAAO,CAAE,KAAyB,CAAC,IAAI,CAAC;WAC9C,OAAQ,KAAyB,CAAC,OAAO,KAAK,QAAQ,CAC5D,CAAC;IACF,OAAO,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/wire/errors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,kDAAkD;AAElD,0FAA0F;AAC1F,MAAM,CAAN,IAAY,SA6BX;AA7BD,WAAY,SAAS;IACnB,QAAQ;IACR,oDAAuC,CAAA;IACvC,wCAA2B,CAAA;IAE3B,OAAO;IACP,0CAA6B,CAAA;IAC7B,oCAAuB,CAAA;IAEvB,YAAY;IACZ,oCAAuB,CAAA;IACvB,0BAAa,CAAA;IACb,kCAAqB,CAAA;IACrB,8BAAiB,CAAA;IACjB,sDAAyC,CAAA;IAEzC,SAAS;IACT,wDAA2C,CAAA;IAC3C,oDAAuC,CAAA;IACvC,0DAA6C,CAAA;IAC7C,oDAAuC,CAAA;IACvC,gDAAmC,CAAA;IAEnC,SAAS;IACT,8CAAiC,CAAA;IACjC,gDAAmC,CAAA;IACnC,wCAA2B,CAAA;IAC3B,wDAA2C,CAAA;IAC3C,gDAAmC,CAAA;AACrC,CAAC,EA7BW,SAAS,KAAT,SAAS,QA6BpB;AAaD,MAAM,OAAO,YAAa,SAAQ,KAAK;IAC5B,IAAI,CAAY;IAChB,MAAM,CAAU;IAChB,SAAS,CAAU;IACnB,OAAO,CAAW;IAE3B,YAAY,OAA4B;QACtC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IACjC,CAAC;IAED,MAAM;QACJ,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3C,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,MAAM,CAAC,QAAQ,CAAC,IAAa;QAC3B,MAAM,GAAG,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAA4B,CAAC;QAC/F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAiB,CAAC,CAAC;QACvE,OAAO,IAAI,YAAY,CAAC;YACtB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,GAAG,CAAC,IAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc;YAChE,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;YACxE,MAAM,EAAE,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;YAC/D,SAAS,EAAE,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YACxE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;SAChF,CAAC,CAAC;IACL,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,IAAI,CAAC,CAAC,KAAK,YAAY,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACrG,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC7B,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;WACxC,KAAK,CAAC,OAAO,CAAE,KAAyB,CAAC,IAAI,CAAC;WAC9C,OAAQ,KAAyB,CAAC,OAAO,KAAK,QAAQ,CAC5D,CAAC;IACF,OAAO,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/core",
-  "version": "0.9.0-alpha.1",
+  "version": "0.9.2-alpha.0",
   "description": "The core — scan, call contract, façades, remote stand-ins.",
   "keywords": [
     "fougere",
@@ -61,12 +61,12 @@
   "dependencies": {
     "@typescript/typescript6": "^6.0.2",
     "dequal": "^2.0.3",
-    "@fougere/container": "0.9.0-alpha.1",
-    "@fougere/schema": "0.9.0-alpha.1"
+    "@fougere/container": "0.9.2-alpha.0",
+    "@fougere/schema": "0.9.2-alpha.0"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",
-    "@fougere/compiler": "0.9.0-alpha.1"
+    "@fougere/compiler": "0.9.2-alpha.0"
   },
   "publishConfig": {
     "access": "public"

package/src/boot/AppLifecycle.ts

@@ -1,7 +1,11 @@
 import type { App } from './types.js';
 import type { FrondDescriptor } from '../descriptor/frond.js';
 
-/** One process-level extension and its reversible lifecycle. */
+/**
+ * One process-level extension and its reversible lifecycle.
+ *
+ * Documented: [lifecycle](https://fougere.dev/docs/infra/lifecycle).
+ */
 export interface Extension {
   name: string;
   /**

package/src/boot/apply.ts

@@ -9,7 +9,11 @@ export interface ConfigApplication {
   pending: string[];
 }
 
-/** What a (re-)read config changes in a process that is already running. */
+/**
+ * What a (re-)read config changes in a process that is already running.
+ *
+ * Documented: [lifecycle](https://fougere.dev/docs/infra/lifecycle).
+ */
 export function applyConfig(next: FougereConfig, inForce?: FougereConfig): ConfigApplication {
   const applied: string[] = [];
   const pending: string[] = [];

package/src/boot/install.ts

@@ -6,7 +6,7 @@ import type { Dispatcher } from '../dispatch/Dispatcher.js';
 import type { RouteRegistry } from '../dispatch/RouteRegistry.js';
 import type { Emissions } from './Emissions.js';
 import type { EffectiveOperationsMap, EffectiveOperationModel } from '../effective-operation.js';
-import { nameOf } from '../descriptor/frond.js';
+import { nameOf, type ProviderEntry } from '../descriptor/frond.js';
 import type { EntityEntry, FrondDescriptor, HandlerEntry } from '../descriptor/frond.js';
 import type { OperationsMap } from '../wire/operation.js';
 import type { AppMiddleware } from '../wire/middleware.js';
@@ -16,7 +16,7 @@ import { HandlerFacade } from '../dispatch/HandlerFacade.js';
 import { targetOf } from '../prefab/prefab.js';
 import { ownersOf, refuseStorageInUserCode, refuseCrudOnOwned } from './ownership.js';
 import { StorageGuard } from '../dispatch/StorageGuard.js';
-import { portBindings } from './ports.js';
+import { portBindings, seamChains, wrapping, SEAMS } from './ports.js';
 import { facadeKeyOf, contractsKeyOf } from '../wire/call.js';
 import { inheritsCrud, subjectOf } from '../prefab/crud.js';
 import { repositoryKeyOf } from '../prefab/repository.js';
@@ -124,11 +124,22 @@ export async function installFrond(frond: FrondDescriptor, assembly: Assembly):
   for (const provider of frond.providers) {
     scope.register(nameOf(provider), provider.ctor, { deps: provider.deps });
   }
+  // What this frond puts in front of one of the framework's own ports. Its own, like every
+  // provider — a link goes where its frond goes, which is what a frond behind `remotes:`
+  // takes with it.
+  const seams = seamChains(frond.providers, options.ports);
+  for (const [seam, links] of seams) {
+    boundPorts.add(seam);
+    frondLog.debug(`seam ${seam} → ${links.map((one) => one.ctor.name).join(' → ')} → the realization`);
+  }
   // …and again under the port each one extends, so `private payment: Payment`
   // reaches the realization instead of the base class it is declared against.
   // Registered AFTER the loop above so a port key always wins over the base's
   // own registration — same precedence as a declared repository over its default.
   for (const [port, chain] of portBindings(frond.providers, (n) => scope.has(n), options.ports)) {
+    // A seam is bound where its realization is BUILT, not under a container key — nothing
+    // resolves `Storage`, and `<Entity>Storage` is what a handler asks for.
+    if (SEAMS.has(port)) continue;
     // Registered from the INSIDE OUT, each wrapper asking for the one it stands in front
     // of: the container resolves a dep by NAME, so wrapping is a substituted key and
     // needs nothing of the container itself. The outermost answers under the port.
@@ -168,8 +179,12 @@ export async function installFrond(frond: FrondDescriptor, assembly: Assembly):
         ? baseStorage.output(outputSchema)
         : baseStorage;
 
+      // The declared chain first, then the guard OUTSIDE it: the guard hands on the value
+      // it parsed, so a wrapper reads what the entity says a row is rather than what
+      // arrived. Same order the client door has held since `StorageGuard` existed.
+      const linked = wrapping('Storage', seams.get('Storage') ?? [], scoped, (dep) => scope.resolve(dep));
       // Storage is a way out like the client surface — see `StorageGuard`.
-      const guarded = new StorageGuard(entity.entityClass.getFields(), entity.name).guard(scoped);
+      const guarded = new StorageGuard(entity.entityClass.getFields(), entity.name).guard(linked);
       scope.registerValue(key, guarded);
 
       // The default repository IS the guarded port — it already answers every gesture a

package/src/boot/ports.ts

@@ -1,5 +1,68 @@
 import { nameOf, type ProviderEntry } from '../descriptor/frond.js';
 
+/**
+ * The framework's own ports — a class core exports that a user class may stand in front of.
+ *
+ * They differ from a port in one way, and it decides everything else: their realization is
+ * HANDED IN rather than scanned (`storageFactory` builds one per entity), so a class that
+ * extends one can only be a wrapper.
+ *
+ * The scope is the FROND, like every other provider, and there is no key that widens it: a
+ * link that must be everywhere is a frond that is everywhere, which `Extension.fronds`
+ * already answers — `@fougere/calls` brings one into every app that installs it. A
+ * process-wide key would break the gradient, since a frond moved behind `remotes:` would
+ * silently leave the reach of a link its own code never mentioned.
+ *
+ * Documented: [ports](https://fougere.dev/docs/business/ports).
+ */
+export const SEAMS = new Set(['Storage']);
+
+/**
+ * What stands in front of each seam, outermost first — the same reading `portBindings`
+ * does, with no realization to find.
+ */
+export function seamChains(
+  providers: ProviderEntry[],
+  chosen: Record<string, string | readonly string[]> | undefined,
+): Map<string, ProviderEntry[]> {
+  const wrappers = new Map<string, ProviderEntry[]>();
+  for (const provider of providers) {
+    const seam = (Object.getPrototypeOf(provider.ctor) as { name?: string } | null)?.name;
+    if (!seam || !SEAMS.has(seam)) continue;
+    if (!provider.deps.includes(seam)) {
+      throw new Error(
+        `[ports] ${nameOf(provider)} extends ${seam}, and a seam's realization is handed in `
+        + `rather than declared — so a class extending one can only stand IN FRONT of it, `
+        + `which it says by asking for it: constructor(private inner: ${seam}).`,
+      );
+    }
+    wrappers.set(seam, [...(wrappers.get(seam) ?? []), provider]);
+  }
+
+  const bound = new Map<string, ProviderEntry[]>();
+  for (const [seam, all] of wrappers) bound.set(seam, chain(seam, [], all, chosen?.[seam]));
+
+  return bound;
+}
+
+/** Put the declared chain in front of an instance the framework holds, and hand back the outermost. */
+export function wrapping<T extends object>(
+  seam: string,
+  links: readonly ProviderEntry[],
+  inner: T,
+  resolve: (name: string) => unknown,
+): T {
+  let current = inner;
+  // From the INSIDE out, so each link is handed the one it stands in front of — the same
+  // order `install.ts` registers a port's chain in, for the same reason.
+  for (const link of [...links].reverse()) {
+    const made = link.ctor as unknown as new (...args: unknown[]) => T;
+    current = new made(...link.deps.map((dep) => (dep === seam ? current : resolve(dep))));
+  }
+
+  return current;
+}
+
 /**
  * A port is a class something already answers under, and what answers it may be a CHAIN:
  * the realization, wrapped by whoever stands in front of it.

package/src/boot/remote.ts

@@ -1,4 +1,8 @@
-/** Remote façade — what resolve() falls back to. */
+/**
+ * Remote façade — what resolve() falls back to.
+ *
+ * Documented: [the gradient](https://fougere.dev/docs/infra/gradient).
+ */
 import type { FrondCall, Transport } from '../wire/call.js';
 import { assertIdentityCard, RPC_ENTITY } from '../wire/call.js';
 import { runMiddlewares, type AppMiddleware, type OperationContext } from '../wire/middleware.js';

package/src/boot/seed.ts

@@ -61,7 +61,11 @@ interface SeedDoor {
   write(item: unknown): Promise<unknown>;
 }
 
-/** Plant a set of seeds, in the order given. */
+/**
+ * Plant a set of seeds, in the order given.
+ *
+ * Documented: [seeds](https://fougere.dev/docs/business/seeds).
+ */
 export async function runSeeds(
   app: App,
   seeds: SeedEntry[],

package/src/boot/together.ts

@@ -1,4 +1,8 @@
-/** Building a frame — what a handler asking for `Together<[…]>` receives. */
+/**
+ * Building a frame — what a handler asking for `Together<[…]>` receives.
+ *
+ * Documented: [together](https://fougere.dev/docs/business/together).
+ */
 import { ambient } from '#ambient';
 import { upperFirst, lowerFirst, type SchemaView } from '@fougere/schema';
 import type { Container } from '@fougere/container';

package/src/builtin/logger.ts

@@ -13,11 +13,9 @@ export interface LogRecord {
   at: number;
 }
 
+/** Where a line goes once it is written — `@fougere/log` ships one, `observability` another. */
 export type LogSink = (record: LogRecord) => void;
 
-/** Who else takes this process's log lines, beside the console. */
-const sinks: LogSink[] = [];
-
 /**
  * Where one boot's lines wait, and where they go once they can.
  *
@@ -66,15 +64,6 @@ export class Carry {
   }
 }
 
-/** Take every line this process logs. Returns the way to withdraw. */
-export function onLog(next: LogSink): () => void {
-  sinks.push(next);
-  return () => {
-    const at = sinks.indexOf(next);
-    if (at >= 0) sinks.splice(at, 1);
-  };
-}
-
 const LEVELS: Record<LogLevel, number> = { debug: 0, info: 1, warn: 2, error: 3, silent: 4 };
 
 /** The level, held ONCE for the process and CONSULTED at every emission. */
@@ -176,14 +165,6 @@ export class Logger {
       level: level as LogRecord['level'], name: this.name, message: msg, args, at: Date.now(),
     };
 
-    // Beside the console, never instead of it: a forwarded line is an addition, and a
-    // sink that throws must not cost the operator the line they were reading.
-    for (const take of sinks) {
-      try {
-        take(record);
-      } catch { /* forwarding never breaks logging */ }
-    }
-
     this.carry?.push(record);
 
     // The console ALWAYS, whoever else took the line. Skipping it once a destination

package/src/descriptor/frond.ts

@@ -1,4 +1,8 @@
-/** What a frond is made of — one interface per convention directory. */
+/**
+ * What a frond is made of — one interface per convention directory.
+ *
+ * Documented: [the Frond](https://fougere.dev/docs/concepts/frond).
+ */
 import type { SchemaView } from '@fougere/schema';
 import type { Param, OperationContract, OperationsMap } from '../wire/operation.js';
 import type { PresenterViews } from '../prefab/presenter.js';

package/src/identity.ts

@@ -1,4 +1,8 @@
-/** Who is calling — the proof, not the claim. */
+/**
+ * Who is calling — the proof, not the claim.
+ *
+ * Documented: [identity](https://fougere.dev/docs/infra/identity).
+ */
 import { crypto } from '#crypto';
 import type { PublicJwk, Signer, Verifier } from './crypto/port.js';
 import { b64url, unb64url, bytesOf, textOf, unb64 } from './crypto/encoding.js';

package/src/index.ts

@@ -63,15 +63,16 @@ export { callValueOf } from './contract.js';
 export { toHttpError } from './wire/http-error.js';
 export { toPublicError } from './contract.js';
 export { loggerMiddleware } from './wire/loggerMiddleware.js';
-export { Carry, Logger, setLogLevel, logLevel, envLevel, onLog, formatted } from './builtin/logger.js';
+export { Carry, Logger, setLogLevel, logLevel, envLevel, formatted } from './builtin/logger.js';
 export type { LogRecord, Rendered, LogSink } from './builtin/logger.js';
 // The fact a boot announces. Its destinations are `@fougere/log`'s; the line is core's.
 export { default as LogLine, CARRIES_LINE, LOG_LINE } from './builtin/LogLine.js';
 // What a re-read config changes in a running process — and what it cannot.
 export { applyConfig } from './boot/apply.js';
 export { Config } from './builtin/config.js';
-export type { Storage, StorageFactory, ListOptions, ListResult, Together } from './storage/port.js';
-export { togetherKeyOf } from './storage/port.js';
+export type { StorageFactory, ListOptions, ListResult, Together } from './storage/port.js';
+// A VALUE as well as a type: it is what a wrapper extends, which is the whole of declaring one.
+export { Storage, togetherKeyOf } from './storage/port.js';
 export type { Constraint, Source, SourceConfig, SourceView } from './source.js';
 export { Sources } from './source.js';
 export { storageOver } from './storage/store.js';

package/src/prefab/collector.ts

@@ -1,4 +1,8 @@
-/** Collector(Type) — resolves one handler input parameter from the invocation context. */
+/**
+ * Collector(Type) — resolves one handler input parameter from the invocation context.
+ *
+ * Documented: [collectors](https://fougere.dev/docs/business/collectors).
+ */
 
 import { upperFirst } from '@fougere/schema';
 

package/src/prefab/crud.ts

@@ -4,8 +4,8 @@ import type { OperationContract } from '../wire/operation.js';
 import { targetOf } from './prefab.js';
 
 /**
- * So a class is recognized by what it ANSWERS, since the mixin leaves no other trace.
- * FR : pour qu'une classe se reconnaisse à ce qu'elle répond, le mixin ne laissant rien d'autre.
+ * A class is recognized by what it ANSWERS — the mixin leaves no other trace.
+ * FR : une classe se reconnaît à ce qu'elle répond, le mixin ne laissant rien d'autre.
  * `inheritsCrud(class PostHandler extends Crud(Post) {})` → `true`
  */
 export function inheritsCrud(ctor: unknown): boolean {
@@ -15,8 +15,8 @@ export function inheritsCrud(ctor: unknown): boolean {
 }
 
 /**
- * So storage follows the shape the handler was built on, which may differ from its address.
- * FR : pour que le stockage suive la forme sur laquelle le handler est bâti.
+ * Storage follows the shape the handler was built on, which may differ from its address.
+ * FR : le stockage suit la forme sur laquelle le handler est bâti, pas son adresse.
  * `subjectOf(class Draft extends Crud(Post) {}, 'draft')` → `'post'`
  */
 export function subjectOf(ctor: unknown, address: string): string {
@@ -112,7 +112,11 @@ export interface CrudConstructor<T, V = {}> {
   readonly __ops: Record<string, OperationContract>;
 }
 
-/** Mixin — extends Crud(Entity) to get all 5 typed CRUD methods. */
+/**
+ * Mixin — extends Crud(Entity) to get all 5 typed CRUD methods.
+ *
+ * Documented: [handlers](https://fougere.dev/docs/business/handlers).
+ */
 export function Crud<E extends EntityConstructor, V extends CrudViews | EntityConstructor = {}>(
   entity: E,
   output?: V,

package/src/prefab/mirror.ts

@@ -11,7 +11,11 @@ export interface Refreshed {
   ms: number;
 }
 
-/** A paginated local copy of a source that cannot be queried directly. */
+/**
+ * A paginated local copy of a source that cannot be queried directly.
+ *
+ * Documented: [the base](https://fougere.dev/docs/concepts/the-base).
+ */
 export interface MirrorOf<T> {
   /** The copy's own storage — where a page lands. */
   storage: Storage<T>;

package/src/prefab/presenter.ts

@@ -1,4 +1,8 @@
-/** Presenter(Entity) — enriches an entity's output with computed fields. */
+/**
+ * Presenter(Entity) — enriches an entity's output with computed fields.
+ *
+ * Documented: [presenters](https://fougere.dev/docs/business/presenters).
+ */
 
 import { upperFirst, type EntityConstructor } from '@fougere/schema';
 
@@ -8,7 +12,7 @@ import { upperFirst, type EntityConstructor } from '@fougere/schema';
  */
 export type PresenterViews = Record<string, EntityConstructor | [EntityConstructor]>;
 
-/** `Presenter(Order, { items. */
+/** `Presenter(Order, { items: [OrderItemView] })` — the views its computed fields emit. */
 export function Presenter<E extends EntityConstructor>(entity: E, views?: PresenterViews) {
   class PresenterBase {
     static readonly __entity = entity;

package/src/prefab/repository.ts

@@ -2,7 +2,11 @@ import { upperFirst, type EntityConstructor } from '@fougere/schema';
 import type { Storage, ListOptions, ListResult, SelectOption } from '../storage/port.js';
 import type { SchemaView } from '@fougere/schema';
 
-/** Repository(…entities) — who owns an entity's storage, and where its questions are named. */
+/**
+ * Repository(…entities) — who owns an entity's storage, and where its questions are named.
+ *
+ * Documented: [repositories](https://fougere.dev/docs/business/repositories).
+ */
 
 /**
  * The shape a repository of ONE entity has — the port itself, plus whatever the subclass names on

package/src/source.ts

@@ -12,7 +12,11 @@ export function declares(schema: SchemaView, constraint: Constraint): boolean {
   return Object.values(schema.getFields()).some((field) => Role.of(field).isUnique);
 }
 
-/** A place rows live, whatever realizes it. */
+/**
+ * A place rows live, whatever realizes it.
+ *
+ * Documented: [sources](https://fougere.dev/docs/infra/sources).
+ */
 export interface Source {
   storageFactory: StorageFactory;
   /**

package/src/storage/port.ts

@@ -102,8 +102,81 @@ export interface Storage<T = Record<string, unknown>> {
   delete(id: string): Promise<boolean>;
   /** Returns a scoped storage that restricts all read results to the fields of the given schema. */
   output(schema: SchemaView): Storage<T>;
+}
+
+/**
+ * What each link of a chain stands in front of.
+ *
+ * A SYMBOL on the instance, set through a cast so it joins no declaration: `Storage` is an
+ * interface as well as a class, and the realizations satisfy it structurally —
+ * `storageOver` returns an object literal, and one more member would stop it being a
+ * storage. A `#private` field says the same thing and makes the class NOMINAL, which
+ * refuses every realization at once.
+ *
+ * On the instance and not in a `WeakMap` beside it, because `StorageGuard.guard` hands out
+ * `Object.create(storage)` — a new object whose prototype is the link. A symbol is found
+ * through that chain; a map keyed on the link is not, and the guarded object read
+ * `undefined`.
+ */
+const BEHIND = Symbol('fougere.storage.behind');
+
+const behind = <T>(link: object): Storage<T> =>
+  (link as Record<symbol, unknown>)[BEHIND] as Storage<T>;
+
+/**
+ * A storage that stands in front of another — the base a wrapper extends, and the only
+ * thing that makes `Storage` a seam rather than a shape.
+ *
+ * Merged with the interface above, so the class carries the thirteen gestures as a TYPE
+ * while its prototype carries them as a FORWARD. A wrapper writes what it changes and
+ * nothing else:
+ *
+ * ```ts
+ * class Audit extends Storage {
+ *   constructor(private inner: Storage) { super(inner); }
+ *   async create(row) { await say(row); return this.inner.create(row); }
+ * }
+ * ```
+ *
+ * `ports: { Storage: ['Audit'] }` orders the chain when a frond declares two, which is the
+ * same key, the same order and the same refusals a port gets. A realization does not extend
+ * this: it is handed in by `storageFactory` and is the last link, so what a wrapper does not
+ * override reaches it through these forwards.
+ *
+ * Documented: [storage](https://fougere.dev/docs/business/storage) and
+ * [ports](https://fougere.dev/docs/business/ports).
+ */
+export abstract class Storage<T = Record<string, unknown>> {
+  constructor(inner: Storage<T>) {
+    (this as Record<symbol, unknown>)[BEHIND] = inner;
+  }
+
+  list(options?: ListOptions & SelectOption): Promise<ListResult<T>> { return behind<T>(this).list(options); }
+  findById(id: string, options?: SelectOption): Promise<T | undefined> { return behind<T>(this).findById(id, options); }
+  findBy(criteria: Partial<T> | Record<string, unknown>, options?: SelectOption): Promise<T | undefined> {
+    return behind<T>(this).findBy(criteria, options);
+  }
+  findAllBy(criteria: Partial<T> | Record<string, unknown>, options?: SelectOption): Promise<T[]> {
+    return behind<T>(this).findAllBy(criteria, options);
+  }
+  findByKeys(ids: readonly string[], options?: SelectOption): Promise<Map<string, T>> {
+    return behind<T>(this).findByKeys(ids, options);
+  }
+  findAllByKeys(field: string, keys: readonly string[], options?: SelectOption): Promise<Map<string, T[]>> {
+    return behind<T>(this).findAllByKeys(field, keys, options);
+  }
+  create(input: Partial<T>, options?: SelectOption): Promise<T> { return behind<T>(this).create(input, options); }
+  upsert(input: Partial<T>, options?: SelectOption): Promise<T> { return behind<T>(this).upsert(input, options); }
+  upsertAll(inputs: readonly Partial<T>[], options?: SelectOption): Promise<number> {
+    return behind<T>(this).upsertAll(inputs, options);
+  }
+  update(id: string, input: Partial<T>, options?: SelectOption): Promise<T> {
+    return behind<T>(this).update(id, input, options);
+  }
+  delete(id: string): Promise<boolean> { return behind<T>(this).delete(id); }
+  output(schema: SchemaView): Storage<T> { return behind<T>(this).output(schema); }
   /** What this storage wraps — the Kysely instance for the SQL one, something else elsewhere. */
-  readonly client: unknown;
+  get client(): unknown { return behind<T>(this).client; }
 }
 
 /**

package/src/wire/emit.ts

@@ -1,4 +1,8 @@
-/** Announcing a fact — the half of the topology `remotes:` never covered. */
+/**
+ * Announcing a fact — the half of the topology `remotes:` never covered.
+ *
+ * Documented: [facts](https://fougere.dev/docs/business/facts).
+ */
 import { lowerFirst } from '@fougere/schema';
 
 /**

package/src/wire/errors.ts

@@ -1,4 +1,8 @@
-/** The error vocabulary — what a refusal IS, independently of who hears it. */
+/**
+ * The error vocabulary — what a refusal IS, independently of who hears it.
+ *
+ * Documented: [errors](https://fougere.dev/docs/business/errors).
+ */
 
 import type { ValidationError } from '@fougere/schema';