@fougere/core 0.9.3-alpha.0 → 0.11.0-alpha.0

package/dist/boot/ownership.js

@@ -1,29 +1,35 @@
 import { lowerFirst } from '@fougere/schema';
-import { nameOf } from '../descriptor/frond.js';
-import { inheritsCrud } from '../prefab/crud.js';
+import { nameOf } from '../descriptor/FrondDescriptor.js';
+import { inheritsCrud } from '../prefab/CrudConstructor.js';
 import { targetOf } from '../prefab/prefab.js';
-import { ownedBy, repositoryKeyOf } from '../prefab/repository.js';
-import { entityOfStorageKey } from '../storage/port.js';
+import { ownedBy, repositoryKeyOf } from '../prefab/RepositoryConstructor.js';
+import { entityOfStorageKey } from '../storage/Storage.js';
 /** One name, one file: two providers under one key and the second silently replaces the first. */
-export function refuseSharedName(frond) {
+export function sharedNames(frond, refused) {
     const declared = new Map();
     for (const provider of frond.providers) {
         const name = nameOf(provider);
         const first = declared.get(name);
         if (first !== undefined) {
-            throw new Error(`[provider] two files declare ${name}:\n`
-                + `    ${first}\n`
-                + `    ${provider.filePath}\n`
-                + `  A frond registers both under one key, so the second replaces the first and whoever `
-                + `asks for ${name} is handed whichever was scanned last.\n`
-                + '  Rename one of the two.');
+            refused.push({
+                severity: 'blocking',
+                code: 'provider-name-taken',
+                filePath: provider.filePath,
+                frond: frond.name,
+                subject: name,
+                message: `${first} already declares ${name}. A frond registers both under one key, so the `
+                    + `second replaces the first and whoever asks for ${name} is handed whichever was `
+                    + 'scanned last. Rename one of the two.',
+            });
         }
         declared.set(name, provider.filePath);
     }
 }
 /** Who owns an entity's storage. */
-export function ownersOf(providers) {
+export function ownersOf(providers, frond, refused) {
     const owners = new Map();
+    /** Claimed twice, so it has no owner — and no owner is nobody to judge a reader against. */
+    const contested = new Set();
     for (const provider of providers) {
         const owned = ownedBy(provider.ctor);
         if (owned.length < 2)
@@ -35,12 +41,26 @@ export function ownersOf(providers) {
                 // Refused rather than settled, for the reason `ports:` refuses two implementations
                 // and `remotes` two owners of an entity: whichever won would depend on scan order,
                 // and one of the two aggregates would be silently unenforced.
-                throw new Error(`[aggregate] ${first} and ${provider.ctor.name} both own ${name}. `
-                    + 'An entity has one owner: merge the two, or take it out of one of them.');
+                refused.push({
+                    severity: 'blocking',
+                    code: 'entity-owned-twice',
+                    filePath: provider.filePath,
+                    frond,
+                    subject: name,
+                    message: `${first} and ${provider.ctor.name} both own ${name}. An entity has one owner: `
+                        + 'merge the two, or take it out of one of them.',
+                });
+                contested.add(name);
+                continue;
             }
             owners.set(name, provider.ctor.name);
         }
     }
+    // The second claimant is BUILT ON what it claims, so `storageInUserCode` would read it as
+    // reaching around the first — two more refusals naming the same declaration, in the one
+    // case where the answer to "who owns this" is already the diagnostic above.
+    for (const name of contested)
+        owners.delete(name);
     return owners;
 }
 /**
@@ -55,8 +75,8 @@ function builtOn(ctor) {
     return target?.name ? [lowerFirst(target.name)] : [];
 }
 /** `Storage<E>` is not a word of the user's vocabulary — `<E>Repository` is the one way in. */
-export function refuseStorageInUserCode(frond, owners, known) {
-    const doors = [
+export function storageInUserCode(frond, owners, known, refused) {
+    const facades = [
         ...frond.handlers.map((h) => ({ ...h, kind: 'handler' })),
         ...frond.presenters.map((p) => ({ ...p, kind: 'presenter' })),
         ...frond.collectors.map((c) => ({ ...c, kind: 'collector' })),
@@ -69,12 +89,18 @@ export function refuseStorageInUserCode(frond, owners, known) {
         const held = entityOfStorageKey(registered, known);
         if (!held)
             continue;
-        throw new Error(`[storage] ${registered} is a provider, and it is the container key of ${held}'s `
-            + `own storage — the storage is registered second, so the provider is never resolved.\n`
-            + `  Name it for what it holds; \`<Entity>Storage\` belongs to the entity.\n`
-            + `  ${provider.filePath}`);
+        refused.push({
+            severity: 'blocking',
+            code: 'storage-key-is-provider',
+            filePath: provider.filePath,
+            frond: frond.name,
+            subject: registered,
+            message: `${registered} is a provider, and it is the container key of ${held}'s own storage `
+                + '— the storage is registered second, so the provider is never resolved. Name it for '
+                + 'what it holds; `<Entity>Storage` belongs to the entity.',
+        });
     }
-    for (const decl of [...doors, ...holders]) {
+    for (const decl of [...facades, ...holders]) {
         const allowed = decl.kind === 'provider' ? builtOn(decl.ctor) : [];
         for (const dep of decl.deps) {
             const entity = entityOfStorageKey(dep, known);
@@ -82,36 +108,51 @@ export function refuseStorageInUserCode(frond, owners, known) {
                 continue;
             const owner = owners.get(entity);
             if (owner && owner !== decl.ctor.name) {
-                throw new Error(`[aggregate] ${decl.ctor.name} asks for ${dep}, and ${owner} owns ${entity}.\n`
-                    + `  Nothing else reaches an owned entity's storage — name the operation on `
-                    + `${owner} and ask for it:\n`
-                    + `    constructor(private ${entity}: ${owner}) {}\n`
-                    + `  ${decl.filePath}`);
+                refused.push({
+                    severity: 'blocking',
+                    code: 'aggregate-storage-reached',
+                    filePath: decl.filePath,
+                    frond: frond.name,
+                    subject: `${decl.ctor.name}(${dep})`,
+                    message: `${decl.ctor.name} asks for ${dep}, and ${owner} owns ${entity}. Nothing else `
+                        + `reaches an owned entity's storage — name the operation on ${owner} and ask for it: `
+                        + `constructor(private ${entity}: ${owner}) {}`,
+                });
+                continue;
             }
             if (allowed.includes(entity))
                 continue;
-            throw new Error(`${decl.ctor.name} asks for ${dep}. Storage is reached through a repository, `
-                + `never through the port:\n`
-                + `    constructor(private ${entity}: ${repositoryKeyOf(entity)}) {}\n`
-                + `  It answers every gesture ${dep} does, whether or not anyone wrote the file — `
-                + `and the day ${entity} belongs to an aggregate, this line does not move.\n`
-                + `  ${decl.filePath}`);
+            refused.push({
+                severity: 'blocking',
+                code: 'storage-outside-repository',
+                filePath: decl.filePath,
+                frond: frond.name,
+                subject: `${decl.ctor.name}(${dep})`,
+                message: `${decl.ctor.name} asks for ${dep}. Storage is reached through a repository, never `
+                    + `through the port: constructor(private ${entity}: ${repositoryKeyOf(entity)}) {}. It `
+                    + `answers every gesture ${dep} does, whether or not anyone wrote the file — and the day `
+                    + `${entity} belongs to an aggregate, this line does not move.`,
+            });
         }
     }
 }
 /** An owned entity has no automatic CRUD — said at boot, not at the first request. */
-export function refuseCrudOnOwned(frond, owners) {
+export function crudOnOwned(frond, owners, refused) {
     for (const handler of frond.handlers) {
         const owner = owners.get(handler.address);
         if (!owner || handler.deps.length > 0 || !inheritsCrud(handler.ctor))
             continue;
-        throw new Error(`[aggregate] ${handler.ctor.name} takes the five gestures on ${handler.address}, `
-            + `which ${owner} owns.\n`
-            + `  An owned entity has no automatic CRUD: nothing writes it but its owner, so there `
-            + `is no storage to hand this handler.\n`
-            + `  Name the operations on ${owner} and call them:\n`
-            + `    constructor(private ${handler.address}: ${owner}) {}\n`
-            + `  ${handler.filePath}`);
+        refused.push({
+            severity: 'blocking',
+            code: 'crud-on-owned-entity',
+            filePath: handler.filePath,
+            frond: frond.name,
+            subject: handler.ctor.name,
+            message: `${handler.ctor.name} takes the five gestures on ${handler.address}, which ${owner} `
+                + 'owns. An owned entity has no automatic CRUD: nothing writes it but its owner, so there '
+                + `is no storage to hand this handler. Name the operations on ${owner} and call them: `
+                + `constructor(private ${handler.address}: ${owner}) {}`,
+        });
     }
 }
 //# sourceMappingURL=ownership.js.map

package/dist/boot/ownership.js.map

@@ -1 +1 @@
-{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../src/boot/ownership.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAA4C,MAAM,wBAAwB,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,KAAsB;IACrD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,KAAK;kBACvC,OAAO,KAAK,IAAI;kBAChB,OAAO,QAAQ,CAAC,QAAQ,IAAI;kBAC5B,uFAAuF;kBACvF,YAAY,IAAI,0CAA0C;kBAC1D,0BAA0B,CAC7B,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,QAAQ,CAAC,SAAmC;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,UAAU,CAAE,MAA2B,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,KAAK,IAAI,KAAK,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1C,mFAAmF;gBACnF,mFAAmF;gBACnF,8DAA8D;gBAC9D,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,QAAQ,QAAQ,CAAC,IAAI,CAAC,IAAI,aAAa,IAAI,IAAI;sBACjE,wEAAwE,CAC3E,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,OAAO,CAAC,IAAa;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAE,CAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAkC,CAAC;IAC/D,OAAO,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,uBAAuB,CACrC,KAAsB,EACtB,MAA2B,EAC3B,KAAkC;IAElC,MAAM,KAAK,GAAG;QACZ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7D,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;KAC9D,CAAC;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC,CAAC,CAAC;IAElF,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;QAC/B,mFAAmF;QACnF,2CAA2C;QAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,MAAM,IAAI,KAAK,CACb,aAAa,UAAU,kDAAkD,IAAI,KAAK;cAChF,sFAAsF;cACtF,2EAA2E;cAC3E,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAC3B,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,KAAK,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACb,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,SAAS,KAAK,SAAS,MAAM,KAAK;sBAC7E,2EAA2E;sBAC3E,GAAG,KAAK,oBAAoB;sBAC5B,2BAA2B,MAAM,KAAK,KAAK,QAAQ;sBACnD,KAAK,IAAI,CAAC,QAAQ,EAAE,CACvB,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS;YAEvC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,6CAA6C;kBAC5E,2BAA2B;kBAC3B,2BAA2B,MAAM,KAAK,eAAe,CAAC,MAAM,CAAC,QAAQ;kBACrE,8BAA8B,GAAG,gDAAgD;kBACjF,eAAe,MAAM,sDAAsD;kBAC3E,KAAK,IAAI,CAAC,QAAQ,EAAE,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,KAAsB,EAAE,MAA2B;IACnF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAE/E,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,CAAC,IAAI,+BAA+B,OAAO,CAAC,OAAO,IAAI;cAChF,SAAS,KAAK,UAAU;cACxB,qFAAqF;cACrF,uCAAuC;cACvC,4BAA4B,KAAK,mBAAmB;cACpD,2BAA2B,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ;cAC5D,KAAK,OAAO,CAAC,QAAQ,EAAE,CAC1B,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../src/boot/ownership.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAwB,MAAM,kCAAkC,CAAC;AAEhF,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,kGAAkG;AAClG,MAAM,UAAU,WAAW,CAAC,KAAsB,EAAE,OAAqB;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,GAAG,KAAK,qBAAqB,IAAI,iDAAiD;sBACvF,kDAAkD,IAAI,2BAA2B;sBACjF,sCAAsC;aAC3C,CAAC,CAAC;QACL,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,QAAQ,CACtB,SAAmC,EACnC,KAAa,EACb,OAAqB;IAErB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,4FAA4F;IAC5F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,UAAU,CAAE,MAA2B,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,KAAK,IAAI,KAAK,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1C,mFAAmF;gBACnF,mFAAmF;gBACnF,8DAA8D;gBAC9D,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,oBAAoB;oBAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,KAAK;oBACL,OAAO,EAAE,IAAI;oBACb,OAAO,EAAE,GAAG,KAAK,QAAQ,QAAQ,CAAC,IAAI,CAAC,IAAI,aAAa,IAAI,6BAA6B;0BACrF,+CAA+C;iBACpD,CAAC,CAAC;gBACH,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,0FAA0F;IAC1F,wFAAwF;IACxF,4EAA4E;IAC5E,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAElD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,OAAO,CAAC,IAAa;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAE,CAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAkC,CAAC;IAC/D,OAAO,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,iBAAiB,CAC/B,KAAsB,EACtB,MAA2B,EAC3B,KAAkC,EAClC,OAAqB;IAErB,MAAM,OAAO,GAAG;QACd,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7D,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;KAC9D,CAAC;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC,CAAC,CAAC;IAElF,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;QAC/B,mFAAmF;QACnF,2CAA2C;QAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE,GAAG,UAAU,kDAAkD,IAAI,iBAAiB;kBACzF,qFAAqF;kBACrF,yDAAyD;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,KAAK,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtC,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,2BAA2B;oBACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG;oBACpC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,SAAS,KAAK,SAAS,MAAM,iBAAiB;0BACpF,6DAA6D,KAAK,mBAAmB;0BACrF,uBAAuB,MAAM,KAAK,KAAK,MAAM;iBAClD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS;YAEvC,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,4BAA4B;gBAClC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG;gBACpC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,mDAAmD;sBACzF,yCAAyC,MAAM,KAAK,eAAe,CAAC,MAAM,CAAC,WAAW;sBACtF,yBAAyB,GAAG,4DAA4D;sBACxF,GAAG,MAAM,oDAAoD;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,WAAW,CACzB,KAAsB,EACtB,MAA2B,EAC3B,OAAqB;IAErB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAE/E,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,sBAAsB;YAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;YAC1B,OAAO,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,+BAA+B,OAAO,CAAC,OAAO,WAAW,KAAK,GAAG;kBAC1F,yFAAyF;kBACzF,8DAA8D,KAAK,kBAAkB;kBACrF,uBAAuB,OAAO,CAAC,OAAO,KAAK,KAAK,MAAM;SAC3D,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/boot/peerOver.d.ts

@@ -0,0 +1,4 @@
+import type { Transport } from '../wire/Transport.js';
+import type { Peer } from './Peer.js';
+export declare function peerOver(transport: Transport): Peer;
+//# sourceMappingURL=peerOver.d.ts.map

package/dist/boot/peerOver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"peerOver.d.ts","sourceRoot":"","sources":["../../src/boot/peerOver.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,wBAAgB,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAUnD"}

package/dist/boot/peerOver.js

@@ -0,0 +1,12 @@
+/** The two readings core serves everywhere, asked of one process over one transport. */
+import { Invocation } from '../wire/Invocation.js';
+import { RPC_ENTITY } from '../wire/RpcAnswer.js';
+export function peerOver(transport) {
+    const ask = (op, params) => transport({ entity: RPC_ENTITY, op }, { ...Invocation.empty, params: params });
+    return {
+        missing: async (entity, keys) => (await ask('holds', { entity, keys })).missing,
+        dependents: (entity) => ask('dependents', { entity }),
+        release: async (entity, key, visited) => { await ask('release', { entity, key, visited }); },
+    };
+}
+//# sourceMappingURL=peerOver.js.map

package/dist/boot/peerOver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"peerOver.js","sourceRoot":"","sources":["../../src/boot/peerOver.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAIlD,MAAM,UAAU,QAAQ,CAAC,SAAoB;IAC3C,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,MAA+B,EAAE,EAAE,CAC1D,SAAS,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,MAAe,EAAE,CAAC,CAAC;IAE1F,OAAO;QACL,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAC7B,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAqC,CAAC,OAAO;QACrF,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC;QACrD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,MAAM,GAAG,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}

package/dist/boot/ports.d.ts

@@ -1,4 +1,5 @@
-import { type ProviderEntry } from '../descriptor/frond.js';
+import { type ProviderEntry } from '../descriptor/ProviderEntry.js';
+import type { Diagnostic } from '../diagnostic.js';
 /**
  * The framework's own ports — a class core exports that a user class may stand in front of.
  *
@@ -19,7 +20,7 @@ export declare const SEAMS: Set<string>;
  * What stands in front of each seam, outermost first — the same reading `portBindings`
  * does, with no realization to find.
  */
-export declare function seamChains(providers: ProviderEntry[], chosen: Record<string, string | readonly string[]> | undefined): Map<string, ProviderEntry[]>;
+export declare function seamChains(providers: ProviderEntry[], chosen: Record<string, string | readonly string[]> | undefined, refused: Diagnostic[]): Map<string, ProviderEntry[]>;
 /** Put the declared chain in front of an instance the framework holds, and hand back the outermost. */
 export declare function wrapping<T extends object>(seam: string, links: readonly ProviderEntry[], inner: T, resolve: (name: string) => unknown): T;
 /**
@@ -32,5 +33,5 @@ export declare function wrapping<T extends object>(seam: string, links: readonly
  * Returns, per port, the chain from the OUTSIDE IN: the last entry is the realization,
  * every one before it wraps what follows.
  */
-export declare function portBindings(providers: ProviderEntry[], answers: (name: string) => boolean, chosen: Record<string, string | readonly string[]> | undefined): Map<string, ProviderEntry[]>;
+export declare function portBindings(providers: ProviderEntry[], answers: (name: string) => boolean, chosen: Record<string, string | readonly string[]> | undefined, refused: Diagnostic[]): Map<string, ProviderEntry[]>;
 //# sourceMappingURL=ports.d.ts.map

package/dist/boot/ports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ports.d.ts","sourceRoot":"","sources":["../../src/boot/ports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,KAAK,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK,aAAuB,CAAC;AAE1C;;;GAGG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,aAAa,EAAE,EAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,GAAG,SAAS,GAC7D,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAmB9B;AAED,uGAAuG;AACvG,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,EACvC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,aAAa,EAAE,EAC/B,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GACjC,CAAC,CAUH;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,aAAa,EAAE,EAC1B,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,EAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,GAAG,SAAS,GAC7D,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CA6B9B"}
+{"version":3,"file":"ports.d.ts","sourceRoot":"","sources":["../../src/boot/ports.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK,aAAuB,CAAC;AAE1C;;;GAGG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,aAAa,EAAE,EAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,GAAG,SAAS,EAC9D,OAAO,EAAE,UAAU,EAAE,GACpB,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAwB9B;AAED,uGAAuG;AACvG,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,EACvC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,aAAa,EAAE,EAC/B,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GACjC,CAAC,CAUH;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,aAAa,EAAE,EAC1B,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,EAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,GAAG,SAAS,EAC9D,OAAO,EAAE,UAAU,EAAE,GACpB,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAe9B"}

package/dist/boot/ports.js

@@ -1,4 +1,5 @@
-import { nameOf } from '../descriptor/frond.js';
+import { nameOf } from '../descriptor/FrondDescriptor.js';
+import { basesOf } from '../descriptor/bases.js';
 /**
  * The framework's own ports — a class core exports that a user class may stand in front of.
  *
@@ -19,22 +20,29 @@ 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, chosen) {
+export function seamChains(providers, chosen, refused) {
     const wrappers = new Map();
     for (const provider of providers) {
         const seam = Object.getPrototypeOf(provider.ctor)?.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}).`);
+            refused.push({
+                severity: 'blocking',
+                code: 'seam-not-wrapped',
+                filePath: provider.filePath,
+                subject: nameOf(provider),
+                message: `${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}).`,
+            });
+            continue;
         }
         wrappers.set(seam, [...(wrappers.get(seam) ?? []), provider]);
     }
     const bound = new Map();
     for (const [seam, all] of wrappers)
-        bound.set(seam, chain(seam, [], all, chosen?.[seam]));
+        bound.set(seam, chain(seam, [], all, chosen?.[seam], refused));
     return bound;
 }
 /** Put the declared chain in front of an instance the framework holds, and hand back the outermost. */
@@ -58,23 +66,8 @@ export function wrapping(seam, links, inner, resolve) {
  * Returns, per port, the chain from the OUTSIDE IN: the last entry is the realization,
  * every one before it wraps what follows.
  */
-export function portBindings(providers, answers, chosen) {
-    // port class name → the classes that extend it, in scan order.
-    const candidates = new Map();
-    for (const provider of providers) {
-        const base = Object.getPrototypeOf(provider.ctor);
-        const port = base?.name;
-        // ONE condition: something already answers under that name. Providers are
-        // registered into this scope just above, and the builtins sit in its parent, so
-        // this covers a neighbour service and `Logger` alike — a framework class is a
-        // port like any other, which is what makes a default overridable.
-        //
-        // It is also what excludes a prefab: a repository extends the class
-        // `Repository(Post)` returned (`RepositoryBase`), and no key is ever that name.
-        if (!port || !answers(port))
-            continue;
-        candidates.set(port, [...(candidates.get(port) ?? []), provider]);
-    }
+export function portBindings(providers, answers, chosen, refused) {
+    const candidates = basesOf(providers, answers);
     const bound = new Map();
     for (const [port, all] of candidates) {
         /** It extends the port and asks for it: it stands in front of what answers. */
@@ -82,41 +75,59 @@ export function portBindings(providers, answers, chosen) {
         const wrappers = all.filter(wraps);
         const impls = all.filter((one) => !wraps(one));
         const stated = chosen?.[port];
-        bound.set(port, chain(port, impls, wrappers, stated));
+        bound.set(port, chain(port, impls, wrappers, stated, refused));
     }
     return bound;
 }
-function chain(port, impls, wrappers, stated) {
+function chain(port, impls, wrappers, stated, refused) {
     // The whole chain, outside in — a string is a chain of one, and the last name is what
     // actually answers. What a deployment wraps its realization with is the same kind of
     // decision as which realization it uses, so it is the same key.
     if (stated !== undefined) {
         const order = typeof stated === 'string' ? [stated] : stated;
         const all = [...wrappers, ...impls];
-        return order.map((name) => {
+        return order.flatMap((name) => {
             const pick = all.find((one) => nameOf(one) === name);
             if (!pick) {
-                throw new Error(`[ports] ${port}: '${name}' does not extend it. `
-                    + `What does: ${all.map(nameOf).join(', ')}.`);
+                refused.push({
+                    severity: 'blocking',
+                    code: 'port-not-extended',
+                    filePath: all[0]?.filePath ?? 'fougere.config.ts',
+                    subject: `ports: { ${port}: '${name}' }`,
+                    message: `${port}: '${name}' does not extend it. What does: ${all.map(nameOf).join(', ')}.`,
+                });
+                return [];
             }
-            return pick;
+            return [pick];
         });
     }
     if (impls.length > 1) {
         // Refusing rather than keeping one, for the reason `remotes` refuses two owners
         // of an entity: whichever won would depend on scan order, and the handler would
         // charge the wrong provider without a word.
-        throw new Error(`[ports] ${impls.map(nameOf).join(' and ')} both extend ${port}, `
-            + 'and nothing says which one answers it. Which realization a deployment uses is '
-            + `not a fact about the code — state it: ports: { ${port}: '${nameOf(impls[0])}' } `
-            + 'in fougere.config.ts.');
+        refused.push({
+            severity: 'blocking',
+            code: 'port-implemented-twice',
+            filePath: impls[0].filePath,
+            subject: port,
+            message: `${impls.map(nameOf).join(' and ')} both extend ${port}, and nothing says which one `
+                + 'answers it. Which realization a deployment uses is not a fact about the code — state it: '
+                + `ports: { ${port}: '${nameOf(impls[0])}' } in fougere.config.ts.`,
+        });
+        return [...wrappers, ...impls];
     }
     if (wrappers.length > 1) {
         // Same refusal one layer out: two wrappers are an ORDER, and scan order is not one.
-        throw new Error(`[ports] ${wrappers.map(nameOf).join(' and ')} both wrap ${port}, `
-            + 'and nothing says which stands in front. State the chain, outside in: '
-            + `ports: { ${port}: [${[...wrappers, ...impls].map((one) => `'${nameOf(one)}'`).join(', ')}] } `
-            + 'in fougere.config.ts.');
+        refused.push({
+            severity: 'blocking',
+            code: 'port-wrapped-twice',
+            filePath: wrappers[0].filePath,
+            subject: port,
+            message: `${wrappers.map(nameOf).join(' and ')} both wrap ${port}, and nothing says which `
+                + 'stands in front. State the chain, outside in: '
+                + `ports: { ${port}: [${[...wrappers, ...impls].map((one) => `'${nameOf(one)}'`).join(', ')}] } `
+                + 'in fougere.config.ts.',
+        });
     }
     return [...wrappers, ...impls];
 }

package/dist/boot/ports.js.map

@@ -1 +1 @@
-{"version":3,"file":"ports.js","sourceRoot":"","sources":["../../src/boot/ports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAsB,MAAM,wBAAwB,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAE1C;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,SAA0B,EAC1B,MAA8D;IAE9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAI,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAA8B,EAAE,IAAI,CAAC;QACtF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,WAAW,MAAM,CAAC,QAAQ,CAAC,YAAY,IAAI,0CAA0C;kBACnF,iFAAiF;kBACjF,8DAA8D,IAAI,IAAI,CACzE,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,QAAQ,CACtB,IAAY,EACZ,KAA+B,EAC/B,KAAQ,EACR,OAAkC;IAElC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,uFAAuF;IACvF,uEAAuE;IACvE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAgD,CAAC;QACnE,OAAO,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAC1B,SAA0B,EAC1B,OAAkC,EAClC,MAA8D;IAE9D,+DAA+D;IAC/D,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAA6B,CAAC;QAC9E,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,0EAA0E;QAC1E,gFAAgF;QAChF,8EAA8E;QAC9E,kEAAkE;QAClE,EAAE;QACF,oEAAoE;QACpE,gFAAgF;QAChF,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;QACrC,+EAA+E;QAC/E,MAAM,KAAK,GAAG,CAAC,GAAkB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QAE9B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,KAAK,CACZ,IAAY,EACZ,KAAsB,EACtB,QAAyB,EACzB,MAA8C;IAE9C,sFAAsF;IACtF,qFAAqF;IACrF,gEAAgE;IAChE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;QAEpC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC;YACrD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACb,WAAW,IAAI,MAAM,IAAI,wBAAwB;sBAC/C,cAAc,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9C,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,gFAAgF;QAChF,gFAAgF;QAChF,4CAA4C;QAC5C,MAAM,IAAI,KAAK,CACb,WAAW,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,IAAI;cAChE,gFAAgF;cAChF,kDAAkD,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM;cACnF,uBAAuB,CAC1B,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,oFAAoF;QACpF,MAAM,IAAI,KAAK,CACb,WAAW,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,IAAI;cACjE,uEAAuE;cACvE,YAAY,IAAI,MAAM,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;cAC/F,uBAAuB,CAC1B,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;AACjC,CAAC"}
+{"version":3,"file":"ports.js","sourceRoot":"","sources":["../../src/boot/ports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kCAAkC,CAAC;AAE1D,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAGjD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAE1C;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,SAA0B,EAC1B,MAA8D,EAC9D,OAAqB;IAErB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAI,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAA8B,EAAE,IAAI,CAAC;QACtF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,kBAAkB;gBACxB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC;gBACzB,OAAO,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,IAAI,iDAAiD;sBACzF,wFAAwF;sBACxF,gDAAgD,IAAI,IAAI;aAC7D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAEnG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,QAAQ,CACtB,IAAY,EACZ,KAA+B,EAC/B,KAAQ,EACR,OAAkC;IAElC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,uFAAuF;IACvF,uEAAuE;IACvE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAgD,CAAC;QACnE,OAAO,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAC1B,SAA0B,EAC1B,OAAkC,EAClC,MAA8D,EAC9D,OAAqB;IAErB,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;QACrC,+EAA+E;QAC/E,MAAM,KAAK,GAAG,CAAC,GAAkB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QAE9B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,KAAK,CACZ,IAAY,EACZ,KAAsB,EACtB,QAAyB,EACzB,MAA8C,EAC9C,OAAqB;IAErB,sFAAsF;IACtF,qFAAqF;IACrF,gEAAgE;IAChE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;QAEpC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC;YACrD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,mBAAmB;oBACzB,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,mBAAmB;oBACjD,OAAO,EAAE,YAAY,IAAI,MAAM,IAAI,KAAK;oBACxC,OAAO,EAAE,GAAG,IAAI,MAAM,IAAI,oCAAoC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC5F,CAAC,CAAC;gBAEH,OAAO,EAAE,CAAC;YACZ,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,gFAAgF;QAChF,gFAAgF;QAChF,4CAA4C;QAC5C,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,wBAAwB;YAC9B,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ;YAC5B,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,+BAA+B;kBAC1F,2FAA2F;kBAC3F,YAAY,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,2BAA2B;SACvE,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,oFAAoF;QACpF,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,oBAAoB;YAC1B,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,QAAQ;YAC/B,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,2BAA2B;kBACvF,gDAAgD;kBAChD,YAAY,IAAI,MAAM,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;kBAC/F,uBAAuB;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;AACjC,CAAC"}

package/dist/boot/relations.d.ts

@@ -0,0 +1,54 @@
+/** Who holds a `ref()`: the source it lives in, this process, or nobody. */
+import { type SchemaView } from '@fougere/schema';
+import type { Dependent } from '../dispatch/Dependent.js';
+import type { RelationCheck } from '../dispatch/RelationCheck.js';
+import type { Hosting } from './Hosting.js';
+import type { Diagnostic } from '../diagnostic.js';
+import type { Releasing } from '../dispatch/Release.js';
+/**
+ * The references a foreign key cannot hold, each as a read the guard makes before the write.
+ *
+ * Documented: [entities](https://fougere.dev/docs/schema/entities).
+ */
+export declare function heldBy(entity: SchemaView, name: string, hosting: Hosting): RelationCheck[];
+/**
+ * The rows that name this entity's, and what becomes of them — the dual of `heldBy`.
+ *
+ * Read over EVERY entity of the app, because a namer is declared wherever its own frond is,
+ * and the target learns of it from nowhere else. What a key already holds is left out: the
+ * engine answers it at the rows, inside the delete's own transaction.
+ *
+ * Documented: [entities](https://fougere.dev/docs/schema/entities).
+ */
+export declare function dependentsOf(target: string, hosting: Hosting): Dependent[];
+/**
+ * `set null` on a field that may not hold one — refused where the FIELD is, not in `ref()`.
+ *
+ * `optional()` wraps a `ref()` and is applied after it, so only the field the entity ended up
+ * declaring knows whether null is admitted. Asked here rather than at the target, because the
+ * declaration is the namer's and so is the fix.
+ */
+export declare function refuseUnwritableNull(entity: SchemaView, name: string, filePath: string): Diagnostic[];
+/** The checks nothing in this process can answer — asked once every frond has registered. */
+export declare function unheldAmong(checks: readonly RelationCheck[], hosting: Hosting): string[];
+/**
+ * What a release asks the boot, built once per app — the same `Hosting` the guard reads.
+ *
+ * `dependentsOf` is answered per call rather than cached: a frond installed after this one
+ * brings rows that name an entity already registered, and a table taken at boot would miss
+ * exactly the crossings this exists for.
+ */
+export declare function releasing(hosting: Hosting): Releasing;
+/**
+ * A release this process can START and cannot FINISH.
+ *
+ * Read from what is HERE and never asked of anyone: an entity states `cascade` or `set null`,
+ * and nothing registered a journal — both facts are local, so the line is too. The same shape
+ * as `unique declared, and the source does not enforce it`, one rung up: what is declared, and
+ * what this process cannot keep.
+ *
+ * Silent when a key holds every hop: the engine carries those out in one statement, and there
+ * is no half-done state for anybody to finish.
+ */
+export declare function unfinishable(hosting: Hosting): string[];
+//# sourceMappingURL=relations.d.ts.map

package/dist/boot/relations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relations.d.ts","sourceRoot":"","sources":["../../src/boot/relations.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,OAAO,EAA4B,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAQ,MAAM,wBAAwB,CAAC;AA4C9D;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE,CA0B1F;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,EAAE,CAI1E;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,EAAE,CAiBrG;AAED,6FAA6F;AAC7F,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAIxF;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAQrD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAYvD"}