@fougere/core 0.10.0-alpha.0 → 0.12.0-alpha.0

package/dist/boot/nesting.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Who inherits code from whom, read off `FougereConfig.fronds` and judged before anything is
+ * built. It reads no disk and holds no container: the scopes it decides are built later, in
+ * `install.ts`, and everything here is a fact about names.
+ *
+ * Documented: [fronds](https://fougere.dev/docs/infra/fronds).
+ */
+import type { Diagnostic } from '../diagnostic.js';
+import { Fronds } from '../descriptor/Fronds.js';
+import { type FrondsStated } from '../FrondsStated.js';
+/** What the tree says, against what this process actually holds. */
+export declare function nestingOf(stated: FrondsStated | undefined, fronds: Fronds, remotes: Record<string, string> | undefined, 
+/** This process carries a subset of the project — `only:`, so an absent name is expected. */
+narrowed?: boolean): {
+    under: Map<string, string>;
+    refused: Diagnostic[];
+};
+/**
+ * The same fronds, each parent before the ones inheriting from it — the order the boot installs
+ * them in, since a scope hangs off the one above it.
+ *
+ * A partition and not a sort: inheriting goes one level, so a frond that inherits has nothing
+ * under it and two passes are enough. Stable, and the same array when nothing inherits — which
+ * is what `orderSeeds` reads.
+ */
+export declare function parentsFirst(fronds: Fronds, under: Map<string, string>): Fronds;
+/**
+ * The same `under` a boot stamps, for a reader that does not boot — `fougere check` and
+ * `fougere explain` resolve the model off a scan, and a scan knows nothing of the tree.
+ * Without it they report every inherited dependency as a crossing.
+ */
+export declare function nested(fronds: Fronds, stated: FrondsStated | undefined): Fronds;
+//# sourceMappingURL=nesting.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"nesting.d.ts","sourceRoot":"","sources":["../../src/boot/nesting.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAgB,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAgDrE,oEAAoE;AACpE,wBAAgB,SAAS,CACvB,MAAM,EAAE,YAAY,GAAG,SAAS,EAChC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS;AAC3C,6FAA6F;AAC7F,QAAQ,UAAQ,GACf;IAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,OAAO,EAAE,UAAU,EAAE,CAAA;CAAE,CAkGvD;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAO/E;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,SAAS,GAAG,MAAM,CAQ/E"}

package/dist/boot/nesting.js

@@ -0,0 +1,164 @@
+import { Fronds } from '../descriptor/Fronds.js';
+import { statesModule } from '../FrondsStated.js';
+import { statedFronds } from '../StatedFrond.js';
+/** A frond that holds what a family shares serves nothing — which is what keeps it here. */
+function refuseServingParent(parent, children, refused) {
+    if (parent.handlers.length === 0)
+        return false;
+    const served = [...new Set(parent.handlers.map((handler) => handler.address))];
+    refused.push({
+        severity: 'blocking',
+        code: 'frond-parent-serves',
+        filePath: parent.handlers[0].filePath,
+        frond: parent.name,
+        subject: parent.name,
+        message: `'${parent.name}' has children (${children.join(', ')}) and answers at `
+            + `${served.join(', ')}. A frond its family inherits from holds the code they share and `
+            + 'nothing else — with no façade, nothing can call it and nothing can place it elsewhere. '
+            + 'Move its handlers into a child, or take the children out.',
+    });
+    return true;
+}
+/** Rows belong to a frond something can call — the family case is not traced, so it is refused. */
+function refuseParentEntities(parent, children, refused) {
+    if (parent.entities.length === 0)
+        return;
+    refused.push({
+        severity: 'blocking',
+        code: 'frond-parent-entities',
+        filePath: parent.entities[0].filePath,
+        frond: parent.name,
+        subject: parent.name,
+        message: `'${parent.name}' has children (${children.join(', ')}) and declares `
+            + `${parent.entities.map((entity) => entity.name).join(', ')}. A frond they inherit from `
+            + 'holds code, not rows. Declare the entity in a child and import it from there — '
+            + `\`import X from '@fronds/<child>/entities/X.js'\` reaches it from anywhere.`,
+    });
+}
+/** What the tree says, against what this process actually holds. */
+export function nestingOf(stated, fronds, remotes, 
+/** This process carries a subset of the project — `only:`, so an absent name is expected. */
+narrowed = false) {
+    const refused = [];
+    const under = new Map();
+    if (stated === undefined)
+        return { under, refused };
+    const statements = statedFronds(stated);
+    const here = new Map(fronds.map((frond) => [frond.name, frond]));
+    const childrenOf = new Map();
+    const inherits = new Set();
+    for (const statement of statements) {
+        if (statement.extends === undefined)
+            continue;
+        inherits.add(statement.key);
+        childrenOf.set(statement.extends, [...(childrenOf.get(statement.extends) ?? []), statement.key]);
+    }
+    for (const statement of statements) {
+        if (statement.extends === undefined || !inherits.has(statement.extends))
+            continue;
+        refused.push({
+            severity: 'blocking',
+            code: 'frond-extends-chain',
+            filePath: 'fougere.config.ts',
+            subject: statement.path,
+            message: `'${statement.key}' inherits from '${statement.extends}', which inherits from `
+                + `'${statedFronds(stated).find((one) => one.key === statement.extends)?.extends}'. `
+                + 'Inheriting goes one level: a scope hangs off the one above it, and a chain would make '
+                + 'a frond depend on code its own family never named. Move what they share into one '
+                + 'frond they both inherit from.',
+        });
+    }
+    // A frond a family inherits from needs no entry of its own — `extends` is said by the
+    // inheritor — so what it may not be is asked of the NAMES, not of the entries.
+    for (const [parent, children] of childrenOf) {
+        const frond = here.get(parent);
+        if (frond === undefined)
+            continue;
+        const placed = stated[parent];
+        const address = typeof placed === 'string' ? placed : placed?.remote;
+        if (address !== undefined || (remotes && parent in remotes)) {
+            refused.push({
+                severity: 'blocking',
+                code: 'frond-parent-remote',
+                filePath: frond.source.path,
+                frond: frond.name,
+                subject: parent,
+                message: `'${parent}' is inherited from by ${children.join(', ')} and is placed at `
+                    + `${address ?? remotes?.[parent]}. A frond they inherit from stands in every process `
+                    + 'that holds one of them, so it has no address of its own. Give the address to one of '
+                    + 'them, or have them inherit from somewhere else.',
+            });
+        }
+        if (!refuseServingParent(frond, children, refused))
+            refuseParentEntities(frond, children, refused);
+    }
+    for (const statement of statements) {
+        const frond = here.get(statement.key);
+        if (frond === undefined) {
+            // Three ways a stated name is absent from this process and says nothing wrong: a module
+            // key, which the host imports; an address, whose frond answers elsewhere by definition;
+            // and a frond `only:` left out, since the config describes the PROJECT and the flag one
+            // process. What is left is a name nothing carries — a typo, and the config is where it
+            // was made, so that is where the message points.
+            const elsewhere = statement.value !== undefined || (remotes && statement.key in remotes);
+            if (!statesModule(statement.key) && !elsewhere && here.size > 0 && !narrowed) {
+                refused.push({
+                    severity: 'blocking',
+                    code: 'frond-unknown',
+                    filePath: 'fougere.config.ts',
+                    subject: statement.path,
+                    message: `'${statement.path}' names no frond this project holds. It has `
+                        + `${[...here.keys()].join(', ') || 'none'}. Check the spelling, or drop the entry.`,
+                });
+            }
+            continue;
+        }
+        if (statement.extends !== undefined && !here.has(statement.extends)) {
+            refused.push({
+                severity: 'blocking',
+                code: 'frond-family-split',
+                filePath: frond.source.path,
+                frond: frond.name,
+                subject: statement.path,
+                message: `'${statement.key}' inherits from '${statement.extends}', which this process does `
+                    + 'not carry. A frond cannot leave the code it resolves behind — carry the two '
+                    + `together, or take '${statement.key}' out from under '${statement.extends}'.`,
+            });
+            continue;
+        }
+        if (statement.extends !== undefined)
+            under.set(statement.key, statement.extends);
+    }
+    return { under, refused };
+}
+/**
+ * The same fronds, each parent before the ones inheriting from it — the order the boot installs
+ * them in, since a scope hangs off the one above it.
+ *
+ * A partition and not a sort: inheriting goes one level, so a frond that inherits has nothing
+ * under it and two passes are enough. Stable, and the same array when nothing inherits — which
+ * is what `orderSeeds` reads.
+ */
+export function parentsFirst(fronds, under) {
+    if (under.size === 0)
+        return fronds;
+    return Fronds.hosting([
+        ...fronds.filter((frond) => !under.has(frond.name)),
+        ...fronds.filter((frond) => under.has(frond.name)),
+    ]);
+}
+/**
+ * The same `under` a boot stamps, for a reader that does not boot — `fougere check` and
+ * `fougere explain` resolve the model off a scan, and a scan knows nothing of the tree.
+ * Without it they report every inherited dependency as a crossing.
+ */
+export function nested(fronds, stated) {
+    const { under } = nestingOf(stated, fronds, undefined, true);
+    for (const frond of fronds) {
+        const parent = under.get(frond.name);
+        if (parent !== undefined)
+            frond.extends = parent;
+    }
+    return parentsFirst(fronds, under);
+}
+//# sourceMappingURL=nesting.js.map

package/dist/boot/nesting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nesting.js","sourceRoot":"","sources":["../../src/boot/nesting.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAqB,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,4FAA4F;AAC5F,SAAS,mBAAmB,CAC1B,MAAuB,EACvB,QAAkB,EAClB,OAAqB;IAErB,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,CAAC,IAAI,CAAC;QACX,QAAQ,EAAE,UAAU;QACpB,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,QAAQ;QACtC,KAAK,EAAE,MAAM,CAAC,IAAI;QAClB,OAAO,EAAE,MAAM,CAAC,IAAI;QACpB,OAAO,EAAE,IAAI,MAAM,CAAC,IAAI,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB;cAC7E,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mEAAmE;cACvF,yFAAyF;cACzF,2DAA2D;KAChE,CAAC,CAAC;IAEH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mGAAmG;AACnG,SAAS,oBAAoB,CAC3B,MAAuB,EACvB,QAAkB,EAClB,OAAqB;IAErB,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEzC,OAAO,CAAC,IAAI,CAAC;QACX,QAAQ,EAAE,UAAU;QACpB,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,QAAQ;QACtC,KAAK,EAAE,MAAM,CAAC,IAAI;QAClB,OAAO,EAAE,MAAM,CAAC,IAAI;QACpB,OAAO,EAAE,IAAI,MAAM,CAAC,IAAI,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB;cAC3E,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;cACxF,iFAAiF;cACjF,6EAA6E;KAClF,CAAC,CAAC;AACL,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,SAAS,CACvB,MAAgC,EAChC,MAAc,EACd,OAA2C;AAC3C,6FAA6F;AAC7F,QAAQ,GAAG,KAAK;IAEhB,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAEpD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QAE9C,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACnG,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC;YAAE,SAAS;QAElF,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,mBAAmB;YAC7B,OAAO,EAAE,SAAS,CAAC,IAAI;YACvB,OAAO,EAAE,IAAI,SAAS,CAAC,GAAG,oBAAoB,SAAS,CAAC,OAAO,yBAAyB;kBACpF,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,OAAO,CAAC,EAAE,OAAO,KAAK;kBACnF,wFAAwF;kBACxF,mFAAmF;kBACnF,+BAA+B;SACpC,CAAC,CAAC;IACL,CAAC;IAED,sFAAsF;IACtF,+EAA+E;IAC/E,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAElC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC;QACrE,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,MAAM,IAAI,OAAO,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;gBAC3B,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EAAE,MAAM;gBACf,OAAO,EAAE,IAAI,MAAM,0BAA0B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB;sBAChF,GAAG,OAAO,IAAI,OAAO,EAAE,CAAC,MAAM,CAAC,sDAAsD;sBACrF,sFAAsF;sBACtF,iDAAiD;aACtD,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC;YAAE,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrG,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAEtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,wFAAwF;YACxF,wFAAwF;YACxF,wFAAwF;YACxF,uFAAuF;YACvF,iDAAiD;YACjD,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC;YACzF,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7E,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,mBAAmB;oBAC7B,OAAO,EAAE,SAAS,CAAC,IAAI;oBACvB,OAAO,EAAE,IAAI,SAAS,CAAC,IAAI,8CAA8C;0BACrE,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,0CAA0C;iBACvF,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,oBAAoB;gBAC1B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;gBAC3B,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EAAE,SAAS,CAAC,IAAI;gBACvB,OAAO,EAAE,IAAI,SAAS,CAAC,GAAG,oBAAoB,SAAS,CAAC,OAAO,6BAA6B;sBACxF,8EAA8E;sBAC9E,sBAAsB,SAAS,CAAC,GAAG,qBAAqB,SAAS,CAAC,OAAO,IAAI;aAClF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnF,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,KAA0B;IACrE,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAEpC,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;KACnD,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,MAAgC;IACrE,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;IACnD,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC"}

package/dist/boot/ownership.d.ts

@@ -5,7 +5,6 @@ import type { Diagnostic } from '../diagnostic.js';
 export declare function sharedNames(frond: FrondDescriptor, refused: Diagnostic[]): void;
 /** Who owns an entity's storage. */
 export declare function ownersOf(providers: readonly ProviderEntry[], frond: string, refused: Diagnostic[]): Map<string, string>;
-/** `Storage<E>` is not a word of the user's vocabulary — `<E>Repository` is the one way in. */
 export declare function storageInUserCode(frond: FrondDescriptor, owners: Map<string, string>, known: (entity: string) => boolean, refused: Diagnostic[]): void;
 /** An owned entity has no automatic CRUD — said at boot, not at the first request. */
 export declare function crudOnOwned(frond: FrondDescriptor, owners: Map<string, string>, refused: Diagnostic[]): void;

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

@@ -1 +1 @@
-{"version":3,"file":"ownership.d.ts","sourceRoot":"","sources":["../../src/boot/ownership.ts"],"names":[],"mappings":"AACA,OAAO,EAAU,KAAK,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAKpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,kGAAkG;AAClG,wBAAgB,WAAW,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI,CAoB/E;AAED,oCAAoC;AACpC,wBAAgB,QAAQ,CACtB,SAAS,EAAE,SAAS,aAAa,EAAE,EACnC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,UAAU,EAAE,GACpB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAmCrB;AAaD,+FAA+F;AAC/F,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,eAAe,EACtB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC3B,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,EAClC,OAAO,EAAE,UAAU,EAAE,GACpB,IAAI,CA8DN;AAED,sFAAsF;AACtF,wBAAgB,WAAW,CACzB,KAAK,EAAE,eAAe,EACtB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC3B,OAAO,EAAE,UAAU,EAAE,GACpB,IAAI,CAiBN"}
+{"version":3,"file":"ownership.d.ts","sourceRoot":"","sources":["../../src/boot/ownership.ts"],"names":[],"mappings":"AACA,OAAO,EAAU,KAAK,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAKpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,kGAAkG;AAClG,wBAAgB,WAAW,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI,CAoB/E;AAED,oCAAoC;AACpC,wBAAgB,QAAQ,CACtB,SAAS,EAAE,SAAS,aAAa,EAAE,EACnC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,UAAU,EAAE,GACpB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAmCrB;AA2FD,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,eAAe,EACtB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC3B,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,EAClC,OAAO,EAAE,UAAU,EAAE,GACpB,IAAI,CAaN;AAED,sFAAsF;AACtF,wBAAgB,WAAW,CACzB,KAAK,EAAE,eAAe,EACtB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC3B,OAAO,EAAE,UAAU,EAAE,GACpB,IAAI,CAiBN"}

package/dist/boot/ownership.js

@@ -75,6 +75,69 @@ 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. */
+/**
+ * A provider named `<Entity>Storage` takes the key of that entity's own storage — and the storage
+ * is registered second, so the provider is never resolved. The name is already wrong by two other
+ * rules, which is why nothing hits it; it is said rather than left silent.
+ */
+function refuseStorageKeyAsProvider(provider, frond, known, refused) {
+    // The key the boot registers it under, which a bundler may have renamed — the same reading
+    // `ProviderEntry.name` exists for.
+    const registered = nameOf(provider);
+    const held = entityOfStorageKey(registered, known);
+    if (!held)
+        return;
+    refused.push({
+        severity: 'blocking',
+        code: 'storage-key-is-provider',
+        filePath: provider.filePath,
+        frond,
+        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.',
+    });
+}
+/**
+ * Storage is reached through a repository, and an OWNED entity's not even that way: an aggregate's
+ * members are reached through it and nowhere else. The ownership question is asked first, so a
+ * member says who owns it rather than being told to write a repository it may not have.
+ */
+function refuseStorageReached(decl, frond, owners, known, refused) {
+    const allowed = decl.kind === 'provider' ? builtOn(decl.ctor) : [];
+    for (const dep of decl.deps) {
+        const entity = entityOfStorageKey(dep, known);
+        if (!entity)
+            continue;
+        const owner = owners.get(entity);
+        if (owner && owner !== decl.ctor.name) {
+            refused.push({
+                severity: 'blocking',
+                code: 'aggregate-storage-reached',
+                filePath: decl.filePath,
+                frond,
+                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;
+        refused.push({
+            severity: 'blocking',
+            code: 'storage-outside-repository',
+            filePath: decl.filePath,
+            frond,
+            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.`,
+        });
+    }
+}
 export function storageInUserCode(frond, owners, known, refused) {
     const facades = [
         ...frond.handlers.map((h) => ({ ...h, kind: 'handler' })),
@@ -82,58 +145,10 @@ export function storageInUserCode(frond, owners, known, refused) {
         ...frond.collectors.map((c) => ({ ...c, kind: 'collector' })),
     ];
     const holders = frond.providers.map((p) => ({ ...p, kind: 'provider' }));
-    for (const provider of holders) {
-        // The key the boot registers it under, which a bundler may have renamed — the same
-        // reading `ProviderEntry.name` exists for.
-        const registered = nameOf(provider);
-        const held = entityOfStorageKey(registered, known);
-        if (!held)
-            continue;
-        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 provider of holders)
+        refuseStorageKeyAsProvider(provider, frond.name, known, refused);
     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);
-            if (!entity)
-                continue;
-            const owner = owners.get(entity);
-            if (owner && owner !== decl.ctor.name) {
-                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;
-            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.`,
-            });
-        }
+        refuseStorageReached(decl, frond.name, owners, known, refused);
     }
 }
 /** An owned entity has no automatic CRUD — said at boot, not at the first request. */

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,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"}
+{"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;;;;GAIG;AACH,SAAS,0BAA0B,CACjC,QAAuB,EACvB,KAAa,EACb,KAAkC,EAClC,OAAqB;IAErB,2FAA2F;IAC3F,mCAAmC;IACnC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,OAAO,CAAC,IAAI,CAAC;QACX,QAAQ,EAAE,UAAU;QACpB,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,KAAK;QACL,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE,GAAG,UAAU,kDAAkD,IAAI,iBAAiB;cACzF,qFAAqF;cACrF,yDAAyD;KAC9D,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC3B,IAAgF,EAChF,KAAa,EACb,MAA2B,EAC3B,KAAkC,EAClC,OAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,KAAK,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,2BAA2B;gBACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK;gBACL,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG;gBACpC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,SAAS,KAAK,SAAS,MAAM,iBAAiB;sBACpF,6DAA6D,KAAK,mBAAmB;sBACrF,uBAAuB,MAAM,KAAK,KAAK,MAAM;aAClD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QAEvC,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,4BAA4B;YAClC,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK;YACL,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG;YACpC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,mDAAmD;kBACzF,yCAAyC,MAAM,KAAK,eAAe,CAAC,MAAM,CAAC,WAAW;kBACtF,yBAAyB,GAAG,4DAA4D;kBACxF,GAAG,MAAM,oDAAoD;SAClE,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,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;QAAE,0BAA0B,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAEjG,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QAC5C,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACjE,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.js

@@ -80,31 +80,39 @@ export function portBindings(providers, answers, chosen, refused) {
     return bound;
 }
 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.flatMap((name) => {
-            const pick = all.find((one) => nameOf(one) === name);
-            if (!pick) {
-                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 [];
-            }
+    if (stated !== undefined)
+        return statedChain(port, [...wrappers, ...impls], stated, refused);
+    refuseUndecided(port, impls, wrappers, refused);
+    return [...wrappers, ...impls];
+}
+/**
+ * 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.
+ */
+function statedChain(port, all, stated, refused) {
+    const order = typeof stated === 'string' ? [stated] : stated;
+    return order.flatMap((name) => {
+        const pick = all.find((one) => nameOf(one) === name);
+        if (pick)
             return [pick];
+        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 [];
+    });
+}
+/**
+ * Two realizations, or two wrappers, and nothing saying which — refused rather than settled by
+ * scan order, the same reason `remotes` refuses two owners of one entity: whichever won would
+ * depend on the order files were read, and the handler would charge the wrong provider silently.
+ */
+function refuseUndecided(port, impls, wrappers, refused) {
     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.
         refused.push({
             severity: 'blocking',
             code: 'port-implemented-twice',
@@ -114,10 +122,8 @@ function chain(port, impls, wrappers, stated, refused) {
                 + '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.
         refused.push({
             severity: 'blocking',
             code: 'port-wrapped-twice',
@@ -129,6 +135,5 @@ function chain(port, impls, wrappers, stated, refused) {
                 + 'in fougere.config.ts.',
         });
     }
-    return [...wrappers, ...impls];
 }
 //# sourceMappingURL=ports.js.map

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,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"}
+{"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,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAE7F,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEhD,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAClB,IAAY,EACZ,GAAoB,EACpB,MAAkC,EAClC,OAAqB;IAErB,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAE7D,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC;QACrD,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAExB,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,mBAAmB;YACjD,OAAO,EAAE,YAAY,IAAI,MAAM,IAAI,KAAK;YACxC,OAAO,EAAE,GAAG,IAAI,MAAM,IAAI,oCAAoC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SAC5F,CAAC,CAAC;QAEH,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,IAAY,EACZ,KAAsB,EACtB,QAAyB,EACzB,OAAqB;IAErB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,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;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,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;AACH,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"}