@bett3r-dev/blueprint-schema 1.6.0 → 1.8.0

package/build/esm/effective-design.js

@@ -0,0 +1,169 @@
+import { isCommentIdAnchor, joinedNote } from './design.js';
+import { proposedNodeId } from './apply-design.js';
+import { canonicalEndpoint } from './edge-endpoints.js';
+const edgeKey = (edge) => `${edge.from}|${edge.to}|${edge.kind}`;
+// A modify's note folds in beside the proposal's own, so a note-only modify of a proposal is never lost.
+function withSet(node, set, note) {
+    const next = { ...node };
+    const joined = joinedNote(node.note, note);
+    if (joined !== undefined)
+        next.note = joined;
+    if (set.label !== undefined)
+        next.label = set.label;
+    if (set.subdomain !== undefined)
+        next.subdomain = set.subdomain;
+    if (set.resourceKey !== undefined)
+        next.resourceKey = set.resourceKey;
+    if (set.queries !== undefined)
+        next.queries = set.queries;
+    if (set.rule !== undefined)
+        next.rule = set.rule;
+    if (set.errorCodes !== undefined)
+        next.errorCodes = [...set.errorCodes];
+    if (set.generic !== undefined)
+        next.generic = set.generic;
+    return next;
+}
+function anchorOf(anchor, idOf) {
+    if (anchor === null || anchor === undefined || isCommentIdAnchor(anchor))
+        return anchor;
+    if (typeof anchor === 'string')
+        return idOf(anchor);
+    return { ...anchor, from: idOf(anchor.from), to: idOf(anchor.to) };
+}
+function kpiOf(kpi, idOf) {
+    if (kpi.mode !== 'define' || kpi.definition.source.kind !== 'events')
+        return kpi;
+    const side = (events) => ({
+        ...events, esIds: events.esIds.flatMap(id => idOf(id) ?? [])
+    });
+    const { numerator, denominator } = kpi.definition.source;
+    return {
+        ...kpi,
+        definition: {
+            ...kpi.definition,
+            source: { ...kpi.definition.source, numerator: side(numerator), ...(denominator === undefined ? {} : { denominator: side(denominator) }) }
+        }
+    };
+}
+/** The map with each element id rewritten by `idOf`, and each reference to an element `idOf` drops (undefined) left out. */
+function mapOf(map, idOf) {
+    const linked = (entries) => entries.flatMap(entry => {
+        const esId = idOf(entry.esId);
+        return esId === undefined ? [] : [{ ...entry, esId }];
+    });
+    return {
+        ...map,
+        links: linked(map.links),
+        coverage: linked(map.coverage),
+        observations: map.observations.map(observation => ({ ...observation, kpi: kpiOf(observation.kpi, idOf) })),
+        ...(map.review === undefined ? {} : { review: linked(map.review) })
+    };
+}
+export function effectiveDesignOf(design, map) {
+    const nodes = (design.propose?.nodes ?? []).map(node => ({ ...node }));
+    // Each live proposal's current id, to its index in `nodes`; the first proposal of an id is the one applyDesign keeps.
+    const live = new Map();
+    nodes.forEach((node, index) => {
+        const id = proposedNodeId(node);
+        if (!live.has(id))
+            live.set(id, index);
+    });
+    const proposedIds = new Set(live.keys());
+    const renamed = new Map();
+    const resolve = (id) => renamed.get(id) ?? id;
+    // An endpoint is resolved from the id it names as written, so a reference first becomes the id it was proposed as.
+    const endpoint = (id) => resolve(canonicalEndpoint(id, proposedIds) ?? id);
+    const modify = [];
+    for (const entry of design.modify ?? []) {
+        const id = resolve(entry.id);
+        const index = live.get(id);
+        if (index === undefined) {
+            modify.push(entry);
+            continue;
+        }
+        nodes[index] = withSet(nodes[index], entry.set ?? {}, entry.note);
+        const next = proposedNodeId(nodes[index]);
+        if (next === id)
+            continue;
+        live.delete(id);
+        if (!live.has(next))
+            live.set(next, index);
+        for (const [from, to] of renamed)
+            if (to === id)
+                renamed.set(from, next);
+        renamed.set(id, next);
+    }
+    const droppedNodes = new Set();
+    const dropped = new Set();
+    const writtenEdges = design.propose?.edges ?? [];
+    const proposedEdges = writtenEdges.map(edge => ({
+        ...edge,
+        from: endpoint(edge.from),
+        to: endpoint(edge.to),
+        ...(edge.handlers === undefined ? {} : { handlers: edge.handlers.map(endpoint) })
+    }));
+    // A removal drops the proposals it names as written; only when none is written so does it drop by the resolved
+    // endpoints. So removing a reference-form edge never also drops its correctly written twin.
+    const writtenKeys = writtenEdges.map(edge => edgeKey({ from: resolve(edge.from), to: resolve(edge.to), kind: edge.kind }));
+    const resolvedKeys = proposedEdges.map(edgeKey);
+    const droppedEdges = new Set();
+    const remove = [];
+    for (const entry of design.remove ?? []) {
+        if (entry.kind === 'node') {
+            const id = resolve(entry.id);
+            const index = live.get(id);
+            if (index === undefined) {
+                remove.push(entry);
+                continue;
+            }
+            live.delete(id);
+            droppedNodes.add(index);
+            dropped.add(id);
+            continue;
+        }
+        const written = edgeKey({ from: resolve(entry.from), to: resolve(entry.to), kind: entry.edgeKind });
+        const resolved = edgeKey({ from: endpoint(entry.from), to: endpoint(entry.to), kind: entry.edgeKind });
+        const asWritten = writtenKeys.flatMap((key, index) => key === written ? [index] : []);
+        const matched = asWritten.length > 0 ? asWritten : resolvedKeys.flatMap((key, index) => key === resolved ? [index] : []);
+        if (matched.length > 0)
+            matched.forEach(index => droppedEdges.add(index));
+        else
+            remove.push(entry);
+    }
+    const kept = new Set();
+    const edges = proposedEdges.flatMap((edge, index) => {
+        const key = edgeKey(edge);
+        if (droppedEdges.has(index) || dropped.has(edge.from) || dropped.has(edge.to) || kept.has(key))
+            return [];
+        kept.add(key);
+        if (edge.handlers === undefined)
+            return [edge];
+        const { handlers, ...artifactWide } = edge;
+        const scoped = handlers.filter(handler => !dropped.has(handler));
+        return [scoped.length > 0 ? { ...artifactWide, handlers: scoped } : artifactWide];
+    });
+    const proposedNodes = nodes.filter((_node, index) => !droppedNodes.has(index));
+    const comments = design.comments?.map(comment => ({ ...comment, anchor: anchorOf(comment.anchor, resolve) }));
+    const folds = {
+        propose: {
+            ...(design.propose?.nodes === undefined ? {} : { nodes: proposedNodes }),
+            ...(design.propose?.edges === undefined ? {} : { edges })
+        },
+        modify,
+        remove,
+        comments
+    };
+    // Each key where the design holds it, in its order, so the exported file differs from the replay only where it folds.
+    const folded = Object.fromEntries(Object.entries(design).map(([key, value]) => [key, key in folds ? folds[key] : value]));
+    return {
+        design: folded,
+        map: mapOf(map, id => {
+            const at = resolve(id);
+            return dropped.has(at) ? undefined : at;
+        }),
+        renamed,
+        dropped
+    };
+}
+//# sourceMappingURL=effective-design.js.map

package/build/esm/effective-design.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effective-design.js","sourceRoot":"","sources":["../../src/effective-design.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAqBxD,MAAM,OAAO,GAAG,CAAE,IAAgD,EAAU,EAAE,CAAC,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AAE5H,yGAAyG;AACzG,SAAS,OAAO,CAAE,IAAkB,EAAE,GAAkC,EAAE,IAAwB;IAChG,MAAM,IAAI,GAAiB,EAAE,GAAG,IAAI,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;IAC/C,IAAK,GAAG,CAAC,KAAK,KAAK,SAAS;QAAG,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACtD,IAAK,GAAG,CAAC,SAAS,KAAK,SAAS;QAAG,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAClE,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS;QAAG,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IACxE,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS;QAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5D,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS;QAAG,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACnD,IAAK,GAAG,CAAC,UAAU,KAAK,SAAS;QAAG,IAAI,CAAC,UAAU,GAAG,CAAE,GAAG,GAAG,CAAC,UAAU,CAAE,CAAC;IAC5E,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS;QAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAE,MAAqB,EAAE,IAA8B;IACtE,IAAK,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,iBAAiB,CAAE,MAAM,CAAE;QAAE,OAAO,MAAM,CAAC;IAC3F,IAAK,OAAO,MAAM,KAAK,QAAQ;QAAG,OAAO,IAAI,CAAE,MAAM,CAAE,CAAC;IACxD,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAE,MAAM,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,IAAI,CAAE,MAAM,CAAC,EAAE,CAAE,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,KAAK,CAAE,GAAmB,EAAE,IAA0C;IAC7E,IAAK,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAG,OAAO,GAAG,CAAC;IACnF,MAAM,IAAI,GAAG,CAAE,MAAoB,EAAiB,EAAE,CAAC,CAAC;QACtD,GAAG,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAE,EAAE,CAAE,IAAI,EAAE,CAAC;KAChE,CAAC,CAAC;IACH,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;IACzD,OAAO;QACL,GAAG,GAAG;QACN,UAAU,EAAE;YACV,GAAG,GAAG,CAAC,UAAU;YACjB,MAAM,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAE,SAAS,CAAE,EAAE,GAAG,CAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAE,WAAW,CAAE,EAAE,CAAC,EAAE;SAChJ;KACF,CAAC;AACJ,CAAC;AAED,4HAA4H;AAC5H,SAAS,KAAK,CAAE,GAAY,EAAE,IAA0C;IACtE,MAAM,MAAM,GAAG,CAAkC,OAAyB,EAAY,EAAE,CAAC,OAAO,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE;QAChH,MAAM,IAAI,GAAG,IAAI,CAAE,KAAK,CAAC,IAAI,CAAE,CAAC;QAChC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAE,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,OAAO;QACL,GAAG,GAAG;QACN,KAAK,EAAE,MAAM,CAAE,GAAG,CAAC,KAAK,CAAE;QAC1B,QAAQ,EAAE,MAAM,CAAE,GAAG,CAAC,QAAQ,CAAE;QAChC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAE,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,GAAG,EAAE,KAAK,CAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAE,EAAE,CAAC,CAAC;QAC7G,GAAG,CAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAE,GAAG,CAAC,MAAM,CAAE,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAE,MAAkB,EAAE,GAAY;IACjE,MAAM,KAAK,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,sHAAsH;IACtH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,MAAM,EAAE,GAAG,cAAc,CAAE,IAAI,CAAE,CAAC;QAClC,IAAK,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE;YAAE,IAAI,CAAC,GAAG,CAAE,EAAE,EAAE,KAAK,CAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAE,EAAU,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,EAAE,CAAC;IAClE,mHAAmH;IACnH,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAW,EAAE,CAAC,OAAO,CAAE,iBAAiB,CAAE,EAAE,EAAE,WAAW,CAAE,IAAI,EAAE,CAAE,CAAC;IAEjG,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAM,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QAC7B,IAAK,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,KAAK,CAAE,KAAK,CAAE,GAAG,OAAO,CAAE,KAAK,CAAE,KAAK,CAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;QACzE,MAAM,IAAI,GAAG,cAAc,CAAE,KAAK,CAAE,KAAK,CAAG,CAAE,CAAC;QAC/C,IAAK,IAAI,KAAK,EAAE;YAAG,SAAS;QAC5B,IAAI,CAAC,MAAM,CAAE,EAAE,CAAE,CAAC;QAClB,IAAK,CAAC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAE;YAAE,IAAI,CAAC,GAAG,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;QAChD,KAAM,MAAM,CAAE,IAAI,EAAE,EAAE,CAAE,IAAI,OAAO;YAAG,IAAK,EAAE,KAAK,EAAE;gBAAG,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,IAAI,CAAE,CAAC;QACjF,OAAO,CAAC,GAAG,CAAE,EAAE,EAAE,IAAI,CAAE,CAAC;IAC1B,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACjD,MAAM,aAAa,GAAmB,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,GAAG,IAAI;QACP,IAAI,EAAE,QAAQ,CAAE,IAAI,CAAC,IAAI,CAAE;QAC3B,EAAE,EAAE,QAAQ,CAAE,IAAI,CAAC,EAAE,CAAE;QACvB,GAAG,CAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAE,QAAQ,CAAE,EAAE,CAAC;KACrF,CAAC,CAAC,CAAC;IACJ,+GAA+G;IAC/G,4FAA4F;IAC5F,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,OAAO,CAAE,IAAI,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChI,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAM,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,IAAK,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;YAC7B,IAAK,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAE,EAAE,CAAE,CAAC;YAClB,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,OAAO,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAE,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,QAAQ,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3G,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,CAAE,GAAG,EAAE,KAAK,EAAG,EAAE,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAE,GAAG,EAAE,KAAK,EAAG,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7H,IAAK,OAAO,CAAC,MAAM,GAAG,CAAC;YAAG,OAAO,CAAC,OAAO,CAAE,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC,CAAC;;YAC1E,MAAM,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;IAC5B,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QACpD,MAAM,GAAG,GAAG,OAAO,CAAE,IAAI,CAAE,CAAC;QAC5B,IAAK,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,IAAI,IAAI,CAAC,GAAG,CAAE,GAAG,CAAE;YAAE,OAAO,EAAE,CAAC;QACnH,IAAI,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;QAChB,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,OAAO,CAAE,IAAI,CAAE,CAAC;QACnD,MAAM,EAAE,QAAQ,EAAE,GAAG,YAAY,EAAE,GAAG,IAAI,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;QACpE,OAAO,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,YAAY,CAAE,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC,CAAC;IAEnF,MAAM,QAAQ,GAAgC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAE,EAAE,CAAC,CAAC,CAAC;IAC9I,MAAM,KAAK,GAAwB;QACjC,OAAO,EAAE;YACP,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;YACzE,GAAG,CAAE,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC3D;QACD,MAAM;QACN,MAAM;QACN,QAAQ;KACT,CAAC;IACF,sHAAsH;IACtH,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAE,MAAM,CAAC,OAAO,CAAE,MAAM,CAAE,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,EAAE,KAAK,CAAE,EAAE,EAAE,CACjF,CAAE,GAAG,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAE,GAAuB,CAAE,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC,CAAe,CAAC;IACnF,OAAO;QACL,MAAM,EAAE,MAAM;QACd,GAAG,EAAE,KAAK,CAAE,GAAG,EAAE,EAAE,CAAC,EAAE;YACpB,MAAM,EAAE,GAAG,OAAO,CAAE,EAAE,CAAE,CAAC;YACzB,OAAO,OAAO,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,CAAC,CAAC;QACF,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC"}

package/build/esm/entry-points.d.ts

@@ -1,5 +1,5 @@
-import { BlueprintGraph } from './graph.js';
-import { BlueprintNode } from './nodes.js';
+import type { BlueprintGraph } from './graph.js';
+import type { BlueprintNode } from './nodes.js';
 export type EntryPointIndex = {
     entryPoints: ReadonlySet<string>;
     crossSubdomainEntryPoints: ReadonlySet<string>;

package/build/esm/entry-points.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entry-points.d.ts","sourceRoot":"","sources":["../../src/entry-points.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,yBAAyB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,YAAY,EAAE,OAAO,CAAC;IACtB,0BAA0B,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,OAAO,cAAc,EACrB,YAAW,WAAW,CAAC,MAAM,EAAE,aAAa,CAE3C,KACA,eA0CF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAE2E,CAAC;AAE/E,eAAO,MAAM,cAAc,GACzB,IAAI,MAAM,EACV,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAOA,CAAC"}
+{"version":3,"file":"entry-points.d.ts","sourceRoot":"","sources":["../../src/entry-points.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,yBAAyB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,YAAY,EAAE,OAAO,CAAC;IACtB,0BAA0B,EAAE,OAAO,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,OAAO,cAAc,EACrB,YAAW,WAAW,CAAC,MAAM,EAAE,aAAa,CAE3C,KACA,eA0CF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAE2E,CAAC;AAE/E,eAAO,MAAM,cAAc,GACzB,IAAI,MAAM,EACV,OAAO,eAAe,EACtB,UAAS,gBAAqB,KAC7B,OAOA,CAAC"}

package/build/esm/find-orphan-nodes.d.ts

@@ -1,5 +1,5 @@
-import { BlueprintEdge } from './edges.js';
-import { BlueprintNode } from './nodes.js';
-import { OrphanNode } from './diagnostics.js';
+import type { BlueprintEdge } from './edges.js';
+import type { BlueprintNode } from './nodes.js';
+import type { OrphanNode } from './diagnostics.js';
 export declare function findOrphanNodes(nodes: BlueprintNode[], edges: BlueprintEdge[]): OrphanNode[];
 //# sourceMappingURL=find-orphan-nodes.d.ts.map

package/build/esm/find-orphan-nodes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"find-orphan-nodes.d.ts","sourceRoot":"","sources":["../../src/find-orphan-nodes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,wBAAgB,eAAe,CAAE,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,GAAI,UAAU,EAAE,CAU9F"}
+{"version":3,"file":"find-orphan-nodes.d.ts","sourceRoot":"","sources":["../../src/find-orphan-nodes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,wBAAgB,eAAe,CAAE,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,GAAI,UAAU,EAAE,CAU9F"}

package/build/esm/flow-traversal.d.ts

@@ -1,6 +1,6 @@
-import { EdgeKind, BlueprintEdge } from './edges.js';
-import { BlueprintGraph } from './graph.js';
-import { BlueprintNode } from './nodes.js';
+import type { EdgeKind, BlueprintEdge } from './edges.js';
+import type { BlueprintGraph } from './graph.js';
+import type { BlueprintNode } from './nodes.js';
 export declare const TRAVERSABLE_KINDS: ReadonlySet<EdgeKind>;
 export type CrossSubdomainMode = 'full' | 'leaf' | 'exclude';
 export type ScopedDataEdge = {

package/build/esm/flow-traversal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"flow-traversal.d.ts","sourceRoot":"","sources":["../../src/flow-traversal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,QAAQ,CAWjD,CAAC;AAEJ,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE7D,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACjD,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC,CAAC;CACjE,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;CACzC,CAAC;AAEF,wBAAgB,cAAc,CAAE,KAAK,EAAE,cAAc,GAAI,SAAS,CAiCjE;AAED,wBAAgB,YAAY,CAC1B,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,iBAAiB,GACtB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAkD7B;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU,CAAC,EACrD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,OAAO,CAIT"}
+{"version":3,"file":"flow-traversal.d.ts","sourceRoot":"","sources":["../../src/flow-traversal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,QAAQ,CAWjD,CAAC;AAEJ,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE7D,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACjD,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC,CAAC;CACjE,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;CACzC,CAAC;AAEF,wBAAgB,cAAc,CAAE,KAAK,EAAE,cAAc,GAAI,SAAS,CAiCjE;AAED,wBAAgB,YAAY,CAC1B,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,iBAAiB,GACtB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAkD7B;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU,CAAC,EACrD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,OAAO,CAIT"}

package/build/esm/fork-scenarios.d.ts

@@ -0,0 +1,44 @@
+import type { DecidedSource } from './map-vocabulary.js';
+import type { GherkinStep, MapEntryId, MapFile, MapOptionId, MapScenario } from './map-structure.js';
+/** Why a stored fork-derived scenario stops feeding tests until a human strikes or supersedes it. */
+export type ScenarioReviewReason = 'option-changed' | 'reopened' | 'moot' | 'fork-gone' | 'walk-changed' | 'walk-gone';
+/** `ready` when the walk carries given, when and then; `needs-gherkin` when it is prose. */
+export type ForkScenarioState = 'ready' | 'needs-gherkin';
+/** A virtual scenario a decided fork proposes; its key is read-only and never an entry id. */
+export type ForkScenarioProposal = {
+    key: string;
+    forkId: MapEntryId;
+    optionId: MapOptionId;
+    walk: string;
+    source: DecidedSource;
+    state: ForkScenarioState;
+    title: string;
+    text: string;
+    anchors: MapEntryId[];
+    given: GherkinStep[];
+    when: GherkinStep[];
+    then: GherkinStep[];
+};
+/** A stored scenario with derivedFrom, and why it is under review; null when its fork still stands. */
+export type DerivedScenarioJudgement = {
+    scenarioId: MapEntryId;
+    reviewReason: ScenarioReviewReason | null;
+};
+export type ForkScenarioReport = {
+    proposals: ForkScenarioProposal[];
+    derived: DerivedScenarioJudgement[];
+};
+/** What the join reads: the forks, and of each stored scenario only its id and derivation. */
+export type ForkScenarioMap = Pick<MapFile, 'forks'> & {
+    scenarios: ReadonlyArray<Pick<MapScenario, 'id' | 'derivedFrom'>>;
+};
+/** Every virtual proposal's key starts with it; no entry id can, since a map id never holds a colon. */
+export declare const FORK_SCENARIO_KEY_PREFIX = "derived:";
+export declare const forkScenarioKey: (forkId: MapEntryId, optionId: MapOptionId, walk: string) => string;
+/**
+ * Every decided, testable fork proposes one scenario per behavioural walk of its chosen option, in
+ * map order, unless a stored scenario already names that (fork, option, walk) in any status; and
+ * every stored scenario with derivedFrom is judged against its fork, in map order.
+ */
+export declare function joinForkScenarios(map: ForkScenarioMap): ForkScenarioReport;
+//# sourceMappingURL=fork-scenarios.d.ts.map

package/build/esm/fork-scenarios.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-scenarios.d.ts","sourceRoot":"","sources":["../../src/fork-scenarios.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EACV,WAAW,EACX,UAAU,EACV,OAAO,EAEP,WAAW,EAEX,WAAW,EAGZ,MAAM,oBAAoB,CAAC;AAO5B,qGAAqG;AACrG,MAAM,MAAM,oBAAoB,GAAG,gBAAgB,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,GAAG,cAAc,GAAG,WAAW,CAAC;AAEvH,4FAA4F;AAC5F,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,eAAe,CAAC;AAE1D,8FAA8F;AAC9F,MAAM,MAAM,oBAAoB,GAAG;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,WAAW,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,aAAa,CAAC;IACtB,KAAK,EAAE,iBAAiB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,IAAI,EAAE,WAAW,EAAE,CAAC;CACrB,CAAC;AAEF,uGAAuG;AACvG,MAAM,MAAM,wBAAwB,GAAG;IACrC,UAAU,EAAE,UAAU,CAAC;IACvB,YAAY,EAAE,oBAAoB,GAAG,IAAI,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,oBAAoB,EAAE,CAAC;IAClC,OAAO,EAAE,wBAAwB,EAAE,CAAC;CACrC,CAAC;AAEF,8FAA8F;AAC9F,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG;IAAE,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,GAAG,aAAa,CAAC,CAAC,CAAA;CAAE,CAAC;AAE7H,wGAAwG;AACxG,eAAO,MAAM,wBAAwB,aAAa,CAAC;AAEnD,eAAO,MAAM,eAAe,GAAK,QAAQ,UAAU,EAAE,UAAU,WAAW,EAAE,MAAM,MAAM,KAAI,MACxB,CAAC;AAgCrE;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAE,GAAG,EAAE,eAAe,GAAI,kBAAkB,CAuC5E"}

package/build/esm/fork-scenarios.js

@@ -0,0 +1,78 @@
+/** Every virtual proposal's key starts with it; no entry id can, since a map id never holds a colon. */
+export const FORK_SCENARIO_KEY_PREFIX = 'derived:';
+export const forkScenarioKey = (forkId, optionId, walk) => `${FORK_SCENARIO_KEY_PREFIX}${forkId}/${optionId}/${walk}`;
+const isStructural = (walk) => walk.kind === 'structural';
+const hasGherkin = (walk) => walk.given !== undefined && walk.when !== undefined && walk.then !== undefined;
+const stepsOf = (text) => text === undefined ? [] : [{ text }];
+// The walk's fields a basis records; `kind` absent reads as behavioral, so spelling it out changes nothing.
+const sameWalk = (walk, basis) => walk.text === basis.text
+    && isStructural(walk) === isStructural(basis)
+    && walk.given === basis.given
+    && walk.when === basis.when
+    && walk.then === basis.then;
+function reviewReasonOf(derivedFrom, forks) {
+    const fork = forks.get(derivedFrom.forkId);
+    if (fork === undefined)
+        return 'fork-gone';
+    if (fork.status.kind === 'open')
+        return 'reopened';
+    if (fork.status.kind === 'moot')
+        return 'moot';
+    if (fork.status.option !== derivedFrom.optionId)
+        return 'option-changed';
+    // A derivation from before ESAS-296 names no walk; it is judged on its fork and option alone.
+    if (derivedFrom.walk === undefined)
+        return null;
+    const option = fork.card?.options.find(candidate => candidate.id === derivedFrom.optionId);
+    const walk = option?.walks.find(candidate => candidate.scenario === derivedFrom.walk);
+    if (walk === undefined)
+        return 'walk-gone';
+    if (derivedFrom.basis !== undefined && !sameWalk(walk, derivedFrom.basis))
+        return 'walk-changed';
+    return null;
+}
+/**
+ * Every decided, testable fork proposes one scenario per behavioural walk of its chosen option, in
+ * map order, unless a stored scenario already names that (fork, option, walk) in any status; and
+ * every stored scenario with derivedFrom is judged against its fork, in map order.
+ */
+export function joinForkScenarios(map) {
+    const stored = new Set(map.scenarios.flatMap(({ derivedFrom }) => derivedFrom?.walk === undefined
+        ? []
+        : [forkScenarioKey(derivedFrom.forkId, derivedFrom.optionId, derivedFrom.walk)]));
+    const proposals = [];
+    for (const fork of map.forks) {
+        const status = fork.status;
+        if (status.kind !== 'decided' || fork.testable === false)
+            continue;
+        const chosenWalks = (fork.card?.options ?? [])
+            .filter(option => option.id === status.option)
+            .flatMap(option => option.walks);
+        for (const walk of chosenWalks) {
+            const key = forkScenarioKey(fork.id, status.option, walk.scenario);
+            if (isStructural(walk) || stored.has(key))
+                continue;
+            const ready = hasGherkin(walk);
+            proposals.push({
+                key,
+                forkId: fork.id,
+                optionId: status.option,
+                walk: walk.scenario,
+                source: status.source,
+                state: ready ? 'ready' : 'needs-gherkin',
+                title: walk.scenario,
+                text: walk.text,
+                anchors: [fork.anchor ?? fork.id],
+                given: ready ? stepsOf(walk.given) : [],
+                when: ready ? stepsOf(walk.when) : [],
+                then: ready ? stepsOf(walk.then) : []
+            });
+        }
+    }
+    const forks = new Map(map.forks.map(fork => [fork.id, fork]));
+    const derived = map.scenarios.flatMap(({ id, derivedFrom }) => derivedFrom === undefined
+        ? []
+        : [{ scenarioId: id, reviewReason: reviewReasonOf(derivedFrom, forks) }]);
+    return { proposals, derived };
+}
+//# sourceMappingURL=fork-scenarios.js.map

package/build/esm/fork-scenarios.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-scenarios.js","sourceRoot":"","sources":["../../src/fork-scenarios.ts"],"names":[],"mappings":"AAsDA,wGAAwG;AACxG,MAAM,CAAC,MAAM,wBAAwB,GAAG,UAAU,CAAC;AAEnD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAE,MAAkB,EAAE,QAAqB,EAAE,IAAY,EAAW,EAAE,CACnG,GAAI,wBAAyB,GAAI,MAAO,IAAK,QAAS,IAAK,IAAK,EAAE,CAAC;AAErE,MAAM,YAAY,GAAG,CAAE,IAAiC,EAAY,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;AAElG,MAAM,UAAU,GAAG,CAAE,IAAmB,EAAY,EAAE,CACpD,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAEjF,MAAM,OAAO,GAAG,CAAE,IAAwB,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAE,CAAC;AAEtG,4GAA4G;AAC5G,MAAM,QAAQ,GAAG,CAAE,IAAmB,EAAE,KAA8B,EAAY,EAAE,CAClF,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;OACrB,YAAY,CAAE,IAAI,CAAE,KAAK,YAAY,CAAE,KAAK,CAAE;OAC9C,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;OAC1B,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;OACxB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;AAE9B,SAAS,cAAc,CAAE,WAA+B,EAAE,KAAuC;IAC/F,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAE,WAAW,CAAC,MAAM,CAAE,CAAC;IAC7C,IAAK,IAAI,KAAK,SAAS;QAAG,OAAO,WAAW,CAAC;IAC7C,IAAK,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAG,OAAO,UAAU,CAAC;IACrD,IAAK,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAG,OAAO,MAAM,CAAC;IACjD,IAAK,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,QAAQ;QAAG,OAAO,gBAAgB,CAAC;IAC3E,8FAA8F;IAC9F,IAAK,WAAW,CAAC,IAAI,KAAK,SAAS;QAAG,OAAO,IAAI,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAE,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,WAAW,CAAC,QAAQ,CAAE,CAAC;IAC7F,MAAM,IAAI,GAAG,MAAM,EAAE,KAAK,CAAC,IAAI,CAAE,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAE,CAAC;IACxF,IAAK,IAAI,KAAK,SAAS;QAAG,OAAO,WAAW,CAAC;IAC7C,IAAK,WAAW,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAE,IAAI,EAAE,WAAW,CAAC,KAAK,CAAE;QAAE,OAAO,cAAc,CAAC;IACpG,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAE,GAAoB;IACrD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAE,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,EAAE,IAAI,KAAK,SAAS;QAChG,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAE,eAAe,CAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAE,CAAE,CAAC,CAAC,CAAC;IAExF,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,KAAM,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAK,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;YAAG,SAAS;QACrE,MAAM,WAAW,GAAG,CAAE,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;aAC5C,MAAM,CAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAE;aAC/C,OAAO,CAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;QACrC,KAAM,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,eAAe,CAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;YACrE,IAAK,YAAY,CAAE,IAAI,CAAE,IAAI,MAAM,CAAC,GAAG,CAAE,GAAG,CAAE;gBAAE,SAAS;YACzD,MAAM,KAAK,GAAG,UAAU,CAAE,IAAI,CAAE,CAAC;YACjC,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG;gBACH,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,MAAM,CAAC,MAAM;gBACvB,IAAI,EAAE,IAAI,CAAC,QAAQ;gBACnB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;gBACxC,KAAK,EAAE,IAAI,CAAC,QAAQ;gBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,OAAO,EAAE,CAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAE;gBACnC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAE,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE;gBACzC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,EAAE;gBACvC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,EAAE;aACxC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAE,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,KAAK,SAAS;QACtF,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAE,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,EAAE,cAAc,CAAE,WAAW,EAAE,KAAK,CAAE,EAAE,CAAE,CAAC,CAAC;IAEhF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAChC,CAAC"}

package/build/esm/graph.d.ts

@@ -1,15 +1,40 @@
-import { BlueprintEdge } from './edges.js';
-import { BlueprintNode, NodeType } from './nodes.js';
+import type { BlueprintEdge } from './edges.js';
+import { type BlueprintNode, type NodeType } from './nodes.js';
 export type SchemaVersion = 1;
+/**
+ * The type words a repository's code names end in, by node type, as the repository declares them
+ * (`{ "aggregate": "Aggregate" }`). They are the repository's convention, never Blueprint's: its
+ * extractor writes them on the graph, and Blueprint tolerates exactly those. A label carries no type
+ * word by guarantee, so a node proposed as `Greeter` is realized by the code named `GreeterAggregate`
+ * ({@link codeNodeId}).
+ */
+export type TypeWords = Partial<Record<NodeType, string>>;
 export type BlueprintGraph = {
     schemaVersion: SchemaVersion;
     subdomains: string[];
     nodes: BlueprintNode[];
     edges: BlueprintEdge[];
+    typeWords?: TypeWords;
 };
 export declare function emptyGraph(): BlueprintGraph;
 export declare function slugify(label: string): string;
 export declare function nodeId(subdomain: string, type: NodeType, label: string): string;
+/** The type words a graph carries, each a string with a letter or digit; anything else in the field is ignored. */
+export declare function typeWordsOf(graph: Pick<BlueprintGraph, 'typeWords'>): TypeWords | undefined;
+/**
+ * The name the code of a node labelled `label` carries when its type's word is `word`: the label
+ * without the word it may end in, in PascalCase, then the word once. `Greeter` and `Greeter
+ * Aggregate` are both `GreeterAggregate`. The label ends in the word when its last letters and
+ * digits spell it, case and anything between them aside (`Orders Read Model` ends in `Readmodel`);
+ * a label that is nothing but the word keeps it.
+ */
+export declare function codeName(label: string, word: string): string;
+/**
+ * The id the code of a node proposed as (`subdomain`, `type`, `label`) extracts to when the
+ * repository declares a type word for `type`: the id of its {@link codeName}. `undefined` when the
+ * repository declares none for the type, so a proposal is realized by its own id alone.
+ */
+export declare function codeNodeId(subdomain: string, type: NodeType, label: string, typeWords: TypeWords | undefined): string | undefined;
 export type ParsedNodeId = {
     subdomain: string;
     type: NodeType;

package/build/esm/graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAoC,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEvF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC;AAE9B,MAAM,MAAM,cAAc,GAAG;IAC3B,aAAa,EAAE,aAAa,CAAC;IAC7B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB,CAAC;AAEF,wBAAgB,UAAU,IAAI,cAAc,CAE3C;AAED,wBAAgB,OAAO,CAAE,KAAK,EAAE,MAAM,GAAI,MAAM,CAO/C;AAED,wBAAgB,MAAM,CAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAI,MAAM,CAEjF;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,WAAW,CAAE,EAAE,EAAE,MAAM,GAAI,YAAY,GAAG,SAAS,CAOlE"}
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/graph.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,KAAK,aAAa,EAAoC,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEjG,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC;AAE9B;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAE1D,MAAM,MAAM,cAAc,GAAG;IAC3B,aAAa,EAAE,aAAa,CAAC;IAC7B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,wBAAgB,UAAU,IAAI,cAAc,CAE3C;AAED,wBAAgB,OAAO,CAAE,KAAK,EAAE,MAAM,GAAI,MAAM,CAO/C;AAED,wBAAgB,MAAM,CAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAI,MAAM,CAEjF;AAED,mHAAmH;AACnH,wBAAgB,WAAW,CAAE,KAAK,EAAE,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,GAAI,SAAS,GAAG,SAAS,CAM7F;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAI,MAAM,CAQ9D;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,SAAS,GAAG,SAAS,GAC/B,MAAM,GAAG,SAAS,CAGpB;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,WAAW,CAAE,EAAE,EAAE,MAAM,GAAI,YAAY,GAAG,SAAS,CAOlE"}

package/build/esm/graph.js

@@ -13,6 +13,39 @@ export function slugify(label) {
 export function nodeId(subdomain, type, label) {
     return `${slugify(subdomain)}_${NODE_ABBREV[type]}_${slugify(label)}`;
 }
+/** The type words a graph carries, each a string with a letter or digit; anything else in the field is ignored. */
+export function typeWordsOf(graph) {
+    const declared = graph.typeWords;
+    if (declared === null || typeof declared !== 'object' || Array.isArray(declared))
+        return undefined;
+    const words = Object.entries(declared).filter((entry) => Object.prototype.hasOwnProperty.call(NODE_ABBREV, entry[0]) && typeof entry[1] === 'string' && /[a-zA-Z0-9]/.test(entry[1]));
+    return words.length > 0 ? Object.fromEntries(words) : undefined;
+}
+/**
+ * The name the code of a node labelled `label` carries when its type's word is `word`: the label
+ * without the word it may end in, in PascalCase, then the word once. `Greeter` and `Greeter
+ * Aggregate` are both `GreeterAggregate`. The label ends in the word when its last letters and
+ * digits spell it, case and anything between them aside (`Orders Read Model` ends in `Readmodel`);
+ * a label that is nothing but the word keeps it.
+ */
+export function codeName(label, word) {
+    const letters = [...word.replace(/[^a-zA-Z0-9]/g, '')];
+    const tail = new RegExp(`[^a-zA-Z0-9]*${letters.join('[^a-zA-Z0-9]*')}$`, 'i');
+    const stripped = label.replace(tail, '');
+    const bare = slugify(stripped) === '' ? label : stripped;
+    const pascal = slugify(bare).split('-').filter(Boolean)
+        .map(segment => segment.charAt(0).toUpperCase() + segment.slice(1)).join('');
+    return `${pascal}${word}`;
+}
+/**
+ * The id the code of a node proposed as (`subdomain`, `type`, `label`) extracts to when the
+ * repository declares a type word for `type`: the id of its {@link codeName}. `undefined` when the
+ * repository declares none for the type, so a proposal is realized by its own id alone.
+ */
+export function codeNodeId(subdomain, type, label, typeWords) {
+    const word = typeWords?.[type];
+    return word === undefined ? undefined : nodeId(subdomain, type, codeName(label, word));
+}
 export function parseNodeId(id) {
     const segments = id.split('_');
     if (segments.length !== 3)

package/build/esm/graph.js.map

@@ -1 +1 @@
-{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/graph.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,WAAW,EAAE,mBAAmB,EAAY,MAAM,YAAY,CAAC;AAWvF,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,OAAO,CAAE,KAAa;IACpC,OAAO,KAAK;SACT,OAAO,CAAE,oBAAoB,EAAE,OAAO,CAAE;SACxC,OAAO,CAAE,uBAAuB,EAAE,OAAO,CAAE;SAC3C,OAAO,CAAE,gBAAgB,EAAE,GAAG,CAAE;SAChC,OAAO,CAAE,UAAU,EAAE,EAAE,CAAE;SACzB,WAAW,EAAE,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,MAAM,CAAE,SAAiB,EAAE,IAAc,EAAE,KAAa;IACtE,OAAO,GAAI,OAAO,CAAE,SAAS,CAAG,IAAK,WAAW,CAAE,IAAI,CAAG,IAAK,OAAO,CAAE,KAAK,CAAG,EAAE,CAAC;AACpF,CAAC;AAQD,MAAM,UAAU,WAAW,CAAE,EAAU;IACrC,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAE,GAAG,CAAE,CAAC;IACjC,IAAK,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,SAAS,CAAC;IAC9C,MAAM,CAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,IAAI,GAAG,mBAAmB,CAAE,MAAM,CAAE,CAAC;IAC3C,IAAK,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,SAAS,CAAC;IAC1F,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC"}
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/graph.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,WAAW,EAAE,mBAAmB,EAAiB,MAAM,YAAY,CAAC;AAqBjG,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,OAAO,CAAE,KAAa;IACpC,OAAO,KAAK;SACT,OAAO,CAAE,oBAAoB,EAAE,OAAO,CAAE;SACxC,OAAO,CAAE,uBAAuB,EAAE,OAAO,CAAE;SAC3C,OAAO,CAAE,gBAAgB,EAAE,GAAG,CAAE;SAChC,OAAO,CAAE,UAAU,EAAE,EAAE,CAAE;SACzB,WAAW,EAAE,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,MAAM,CAAE,SAAiB,EAAE,IAAc,EAAE,KAAa;IACtE,OAAO,GAAI,OAAO,CAAE,SAAS,CAAG,IAAK,WAAW,CAAE,IAAI,CAAG,IAAK,OAAO,CAAE,KAAK,CAAG,EAAE,CAAC;AACpF,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,WAAW,CAAE,KAAwC;IACnE,MAAM,QAAQ,GAAY,KAAK,CAAC,SAAS,CAAC;IAC1C,IAAK,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,QAAQ,CAAE;QAAE,OAAO,SAAS,CAAC;IACtG,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAE,QAAQ,CAAE,CAAC,MAAM,CAAC,CAAE,KAAK,EAAkC,EAAE,CACzF,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAE,WAAW,EAAE,KAAK,CAAE,CAAC,CAAE,CAAE,IAAI,OAAO,KAAK,CAAE,CAAC,CAAE,KAAK,QAAQ,IAAI,aAAa,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC,CAAE,CAAE,CAAC,CAAC;IACzI,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAE,KAAK,CAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAE,KAAa,EAAE,IAAY;IACnD,MAAM,OAAO,GAAG,CAAE,GAAG,IAAI,CAAC,OAAO,CAAE,eAAe,EAAE,EAAE,CAAE,CAAE,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,MAAM,CAAE,gBAAiB,OAAO,CAAC,IAAI,CAAE,eAAe,CAAG,GAAG,EAAE,GAAG,CAAE,CAAC;IACrF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAE,IAAI,EAAE,EAAE,CAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,OAAO,CAAE,QAAQ,CAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC3D,MAAM,MAAM,GAAG,OAAO,CAAE,IAAI,CAAE,CAAC,KAAK,CAAE,GAAG,CAAE,CAAC,MAAM,CAAE,OAAO,CAAE;SAC1D,GAAG,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAE,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC,CAAE,CAAC,CAAC,IAAI,CAAE,EAAE,CAAE,CAAC;IACtF,OAAO,GAAI,MAAO,GAAI,IAAK,EAAE,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,SAAiB,EACjB,IAAc,EACd,KAAa,EACb,SAAgC;IAEhC,MAAM,IAAI,GAAG,SAAS,EAAE,CAAE,IAAI,CAAE,CAAC;IACjC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAE,KAAK,EAAE,IAAI,CAAE,CAAC,CAAC;AAC5F,CAAC;AAQD,MAAM,UAAU,WAAW,CAAE,EAAU;IACrC,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAE,GAAG,CAAE,CAAC;IACjC,IAAK,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,SAAS,CAAC;IAC9C,MAAM,CAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,IAAI,GAAG,mBAAmB,CAAE,MAAM,CAAE,CAAC;IAC3C,IAAK,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,SAAS,CAAC;IAC1F,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC"}

package/build/esm/handler-scope.d.ts

@@ -1,6 +1,6 @@
-import { HandlerScopeIssue } from './diagnostics.js';
-import { EdgeKind } from './edges.js';
-import { BlueprintNode, NodeType } from './nodes.js';
+import type { HandlerScopeIssue } from './diagnostics.js';
+import type { EdgeKind } from './edges.js';
+import type { BlueprintNode, NodeType } from './nodes.js';
 export type HandlerAttachment = {
     discriminator: NodeType;
     via: EdgeKind;

package/build/esm/handler-scope.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"handler-scope.d.ts","sourceRoot":"","sources":["../../src/handler-scope.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAErD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,aAAa,EAAE,QAAQ,CAAC;IACxB,GAAG,EAAE,QAAQ,CAAC;CACf,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAKtF,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,iBAAiB,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC/B,QAAQ,EAAE,qBAAqB,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAClC,CAAC;AAKF,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,EAC9B,KAAK,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAC5D,iBAAiB,CAenB;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EACvC,KAAK,EAAE,iBAAiB,GACvB,kBAAkB,CA4BpB"}
+{"version":3,"file":"handler-scope.d.ts","sourceRoot":"","sources":["../../src/handler-scope.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE1D,MAAM,MAAM,iBAAiB,GAAG;IAC9B,aAAa,EAAE,QAAQ,CAAC;IACxB,GAAG,EAAE,QAAQ,CAAC;CACf,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAKtF,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,iBAAiB,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC/B,QAAQ,EAAE,qBAAqB,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAClC,CAAC;AAKF,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,EAC9B,KAAK,EAAE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAC5D,iBAAiB,CAenB;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EACvC,KAAK,EAAE,iBAAiB,GACvB,kBAAkB,CA4BpB"}

package/build/esm/index.d.ts

@@ -9,19 +9,28 @@ export * from './entry-points.js';
 export * from './diagnostics.js';
 export * from './overrides.js';
 export * from './find-orphan-nodes.js';
+export * from './unproduced-events.js';
 export * from './apply-overrides.js';
 export * from './design.js';
 export * from './ops.js';
 export * from './op-chain.js';
 export * from './validate-design.js';
 export * from './apply-design.js';
+export * from './effective-design.js';
+export * from './edge-endpoints.js';
 export * from './reality-check.js';
 export * from './convergence.js';
 export * from './replication.js';
 export * from './session.js';
+export * from './session-phase.js';
 export * from './organisation.js';
 export * from './retention.js';
 export * from './map-vocabulary.js';
 export * from './map-structure.js';
 export * from './map-links.js';
+export * from './coverage-links.js';
+export * from './card-channel.js';
+export * from './fork-scenarios.js';
+export * from './invariants.js';
+export * from './spec.js';
 //# sourceMappingURL=index.d.ts.map

package/build/esm/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,sBAAsB,CAAC;AACrC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC;AACvC,cAAc,sBAAsB,CAAC;AACrC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC"}

package/build/esm/index.js

@@ -9,19 +9,28 @@ export * from './entry-points.js';
 export * from './diagnostics.js';
 export * from './overrides.js';
 export * from './find-orphan-nodes.js';
+export * from './unproduced-events.js';
 export * from './apply-overrides.js';
 export * from './design.js';
 export * from './ops.js';
 export * from './op-chain.js';
 export * from './validate-design.js';
 export * from './apply-design.js';
+export * from './effective-design.js';
+export * from './edge-endpoints.js';
 export * from './reality-check.js';
 export * from './convergence.js';
 export * from './replication.js';
 export * from './session.js';
+export * from './session-phase.js';
 export * from './organisation.js';
 export * from './retention.js';
 export * from './map-vocabulary.js';
 export * from './map-structure.js';
 export * from './map-links.js';
+export * from './coverage-links.js';
+export * from './card-channel.js';
+export * from './fork-scenarios.js';
+export * from './invariants.js';
+export * from './spec.js';
 //# sourceMappingURL=index.js.map

package/build/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,sBAAsB,CAAC;AACrC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC;AACvC,cAAc,sBAAsB,CAAC;AACrC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC"}

package/build/esm/invariants.d.ts

@@ -0,0 +1,26 @@
+import type { CoverageReport } from './coverage-links.js';
+import type { BlueprintEdge } from './edges.js';
+import type { MapEntryId } from './map-structure.js';
+import type { BlueprintNode } from './nodes.js';
+/**
+ * ESAS-305: what the board says about one invariant, judged on read. `unproven` when no scenario
+ * covers it; `indistinct` when it is covered but its rejection cannot be told apart from another
+ * rule's on a command it guards: it has no error code, or one other invariant guarding one of the
+ * same commands carries every one of its codes.
+ */
+export type InvariantJudgement = {
+    coveredBy: MapEntryId[];
+    unproven: boolean;
+    indistinct: boolean;
+};
+export type InvariantGraph = {
+    nodes: ReadonlyArray<Pick<BlueprintNode, 'id' | 'type' | 'status' | 'errorCodes'>>;
+    edges: ReadonlyArray<Pick<BlueprintEdge, 'from' | 'to' | 'kind' | 'status'>>;
+};
+/**
+ * Judges every invariant of the merged graph against the coverage join (joinCoverageLinks). Pure:
+ * it reads its inputs and returns a fresh record keyed by invariant id; it never refuses a write
+ * (ADR-106). A removed invariant or a removed guarded-by edge takes no part.
+ */
+export declare function judgeInvariants(merged: InvariantGraph, coverage: Pick<CoverageReport, 'coveredBy'>): Record<string, InvariantJudgement>;
+//# sourceMappingURL=invariants.d.ts.map

package/build/esm/invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../src/invariants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,GAAG,MAAM,GAAG,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC;IACnF,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC;CAC9E,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,GAC1C,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA6BpC"}