@bett3r-dev/blueprint-schema 1.6.0

package/build/esm/reality-check.js

@@ -0,0 +1,185 @@
+import { nodeId, parseNodeId } from './graph.js';
+export function verbSubjectKey(subject) {
+    return subject.kind === 'node'
+        ? `node:${subject.identity}`
+        : `edge:${subject.from}|${subject.to}|${subject.edgeKind}`;
+}
+export function realityMovedNote(satisfied, stale, degraded = 0) {
+    const census = `re-extraction: ${satisfied} satisfied / ${stale} stale`;
+    return degraded > 0 ? `${census} / ${degraded} degraded` : census;
+}
+function decide(satisfied, stale, pending) {
+    return satisfied ?? stale ?? pending;
+}
+function edgeKey(edge) {
+    return `${edge.from}|${edge.to}|${edge.kind}`;
+}
+function identityOf(node) {
+    return nodeId(node.subdomain, node.type, node.label);
+}
+function indexReality(graph) {
+    const byId = new Map();
+    const byIdentity = new Map();
+    for (const node of graph.nodes) {
+        byId.set(node.id, node);
+        byIdentity.set(identityOf(node), node);
+    }
+    const edgeScopes = new Map();
+    for (const edge of graph.edges) {
+        if (edge.handlers !== undefined)
+            edgeScopes.set(edgeKey(edge), edge.handlers);
+    }
+    return { byId, byIdentity, edges: new Set(graph.edges.map(edgeKey)), edgeScopes };
+}
+function nodeAt(reality, id) {
+    return reality.byId.get(id) ?? reality.byIdentity.get(id);
+}
+function routesOf(queries) {
+    return [...(queries ?? []).map(query => query.route)].sort().join('\u0000');
+}
+function exhibitsFields(node, set) {
+    if (set.resourceKey !== undefined && node.resourceKey !== set.resourceKey)
+        return false;
+    if (set.queries !== undefined && routesOf(node.queries) !== routesOf(set.queries))
+        return false;
+    return true;
+}
+function modifyTargetIdentity(entry, reality) {
+    const set = entry.set ?? {};
+    const current = nodeAt(reality, entry.id);
+    if (current) {
+        return nodeId(set.subdomain ?? current.subdomain, current.type, set.label ?? current.label);
+    }
+    const parsed = parseNodeId(entry.id);
+    if (parsed === undefined)
+        return undefined;
+    return nodeId(set.subdomain ?? parsed.subdomain, parsed.type, set.label ?? parsed.slug);
+}
+function judgeProposedNode(proposed, reality, identity) {
+    return decide(reality.byIdentity.has(identity)
+        ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph` }
+        : undefined, undefined, { outcome: 'pending', reason: `${proposed.label} has not been built yet` });
+}
+function exhibitsScope(proposed, reality, key) {
+    const declared = proposed.handlers;
+    if (declared === undefined || declared.length === 0)
+        return true;
+    const actual = reality.edgeScopes.get(key);
+    if (actual === undefined)
+        return false;
+    return declared.every(handlerId => actual.includes(handlerId));
+}
+function judgeProposedEdge(proposed, reality, proposedIdentities) {
+    const key = edgeKey(proposed);
+    const resolves = (id) => nodeAt(reality, id) !== undefined || proposedIdentities.has(id);
+    const vanished = !resolves(proposed.from)
+        ? proposed.from
+        : !resolves(proposed.to) ? proposed.to : undefined;
+    return decide(reality.edges.has(key) && exhibitsScope(proposed, reality, key)
+        ? { outcome: 'satisfied', reason: `${key} now exists in the extracted graph` }
+        : undefined, vanished !== undefined
+        ? { outcome: 'stale', reason: `proposed edge references ${vanished}, which reality no longer has` }
+        : undefined, { outcome: 'pending', reason: `${key} has not been wired up yet` });
+}
+function judgeModifyEntry(entry, reality, proposedIdentities, identity) {
+    const target = identity === undefined ? undefined : reality.byIdentity.get(identity);
+    const built = target !== undefined && exhibitsFields(target, entry.set ?? {});
+    const resolves = nodeAt(reality, entry.id) !== undefined || proposedIdentities.has(entry.id);
+    return decide(built
+        ? { outcome: 'satisfied', reason: `${identity} now exists in the extracted graph as asked` }
+        : undefined, !resolves
+        ? { outcome: 'stale', reason: `modify targets ${entry.id}, which reality no longer has` }
+        : undefined, { outcome: 'pending', reason: `${entry.id} has not been changed yet` });
+}
+function judgeRemoveEntry(entry, reality, proposedIdentities, proposedEdgeKeys) {
+    const [present, subject] = entry.kind === 'node'
+        ? [nodeAt(reality, entry.id) !== undefined || proposedIdentities.has(entry.id), entry.id]
+        : [
+            reality.edges.has(edgeKey({ from: entry.from, to: entry.to, kind: entry.edgeKind }))
+                || proposedEdgeKeys.has(edgeKey({ from: entry.from, to: entry.to, kind: entry.edgeKind })),
+            edgeKey({ from: entry.from, to: entry.to, kind: entry.edgeKind })
+        ];
+    return decide(present ? undefined : { outcome: 'satisfied', reason: `${subject} is gone from the extracted graph` }, undefined, { outcome: 'pending', reason: `${subject} is still in the extracted graph` });
+}
+export function checkDesignAgainstReality(reality, design) {
+    const indexed = indexReality(reality);
+    const proposedNodes = design?.propose?.nodes ?? [];
+    const proposedEdges = design?.propose?.edges ?? [];
+    const proposedIdentities = new Set(proposedNodes.map(proposed => nodeId(proposed.subdomain, proposed.type, proposed.label)));
+    const proposedEdgeKeys = new Set(proposedEdges.map(edgeKey));
+    const verdicts = [];
+    proposedNodes.forEach((proposed, index) => {
+        const identity = nodeId(proposed.subdomain, proposed.type, proposed.label);
+        verdicts.push({
+            path: `propose.nodes[${index}]`,
+            verb: 'propose',
+            author: proposed.author,
+            subject: { kind: 'node', identity },
+            ...judgeProposedNode(proposed, indexed, identity)
+        });
+    });
+    proposedEdges.forEach((proposed, index) => {
+        verdicts.push({
+            path: `propose.edges[${index}]`,
+            verb: 'propose',
+            author: proposed.author,
+            subject: { kind: 'edge', from: proposed.from, to: proposed.to, edgeKind: proposed.kind },
+            ...judgeProposedEdge(proposed, indexed, proposedIdentities)
+        });
+    });
+    (design?.modify ?? []).forEach((entry, index) => {
+        const identity = modifyTargetIdentity(entry, indexed);
+        verdicts.push({
+            path: `modify[${index}]`,
+            verb: 'modify',
+            author: entry.author,
+            subject: { kind: 'node', identity: identity ?? entry.id },
+            ...judgeModifyEntry(entry, indexed, proposedIdentities, identity)
+        });
+    });
+    (design?.remove ?? []).forEach((entry, index) => {
+        verdicts.push({
+            path: `remove[${index}]`,
+            verb: 'remove',
+            author: entry.author,
+            subject: entry.kind === 'node'
+                ? { kind: 'node', identity: entry.id }
+                : { kind: 'edge', from: entry.from, to: entry.to, edgeKind: entry.edgeKind },
+            ...judgeRemoveEntry(entry, indexed, proposedIdentities, proposedEdgeKeys)
+        });
+    });
+    const satisfied = verdicts.filter(verdict => verdict.outcome === 'satisfied');
+    const stale = verdicts.filter(verdict => verdict.outcome === 'stale');
+    return { verdicts, satisfied, stale, note: realityMovedNote(satisfied.length, stale.length) };
+}
+export function decorateSatisfied(input) {
+    const check = checkDesignAgainstReality(input.reality, input.design);
+    if (check.satisfied.length === 0)
+        return { graph: input.merged, check };
+    const nodes = [...input.merged.nodes];
+    const edges = [...input.merged.edges];
+    const nodeIndex = new Map();
+    nodes.forEach((node, index) => {
+        nodeIndex.set(identityOf(node), index);
+        nodeIndex.set(node.id, index);
+    });
+    for (const verdict of check.satisfied) {
+        if (verdict.subject.kind === 'node') {
+            const index = nodeIndex.get(verdict.subject.identity);
+            if (index === undefined)
+                continue;
+            nodes[index] = { ...nodes[index], status: 'satisfied', origin: verdict.author };
+            continue;
+        }
+        const key = edgeKey({
+            from: verdict.subject.from, to: verdict.subject.to, kind: verdict.subject.edgeKind
+        });
+        edges.forEach((edge, index) => {
+            if (edgeKey(edge) !== key)
+                return;
+            edges[index] = { ...edge, status: 'satisfied', origin: verdict.author };
+        });
+    }
+    return { graph: { ...input.merged, nodes, edges }, check };
+}
+//# sourceMappingURL=reality-check.js.map

package/build/esm/reality-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reality-check.js","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AASA,OAAO,EAAkB,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAYjE,MAAM,UAAU,cAAc,CAAE,OAAoB;IAClD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC5B,CAAC,CAAC,QAAS,OAAO,CAAC,QAAS,EAAE;QAC9B,CAAC,CAAC,QAAS,OAAO,CAAC,IAAK,IAAK,OAAO,CAAC,EAAG,IAAK,OAAO,CAAC,QAAS,EAAE,CAAC;AACrE,CAAC;AAkBD,MAAM,UAAU,gBAAgB,CAAE,SAAiB,EAAE,KAAa,EAAE,QAAQ,GAAG,CAAC;IAC9E,MAAM,MAAM,GAAG,kBAAmB,SAAU,gBAAiB,KAAM,QAAQ,CAAC;IAC5E,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAI,MAAO,MAAO,QAAS,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;AACxE,CAAC;AAID,SAAS,MAAM,CACb,SAAgC,EAChC,KAA4B,EAC5B,OAAkB;IAElB,OAAO,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC;AACvC,CAAC;AASD,SAAS,OAAO,CAAE,IAAgD;IAChE,OAAO,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAE,IAAmB;IACtC,OAAO,MAAM,CAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAE,KAAqB;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,UAAU,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,CAAE,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,CAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,MAAM,CAAE,OAAgB,EAAE,EAAU;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAE,OAAqC;IACtD,OAAO,CAAE,GAAG,CAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACrF,CAAC;AAED,SAAS,cAAc,CAAE,IAAmB,EAAE,GAAkC;IAC9E,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW;QAAG,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAE,IAAI,CAAC,OAAO,CAAE,KAAK,QAAQ,CAAE,GAAG,CAAC,OAAO,CAAE;QAAE,OAAO,KAAK,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAE,KAAkB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC5C,IAAK,OAAO,EAAE,CAAC;QACb,OAAO,MAAM,CAAE,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACvC,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,SAAS,CAAC;IAC7C,OAAO,MAAM,CAAE,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAE,CAAC;AAC5F,CAAC;AAED,SAAS,iBAAiB,CAAE,QAAsB,EAAE,OAAgB,EAAE,QAAgB;IACpF,OAAO,MAAM,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAChC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,oCAAoC,EAAE;QACrF,CAAC,CAAC,SAAS,EACb,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yBAAyB,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAE,QAAsB,EAAE,OAAgB,EAAE,GAAW;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAK,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,KAAK,CAAC;IACzC,OAAO,QAAQ,CAAC,KAAK,CAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAE,SAAS,CAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,kBAAuC;IAEvC,MAAM,GAAG,GAAG,OAAO,CAAE,QAAQ,CAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAY,EAAE,CACzC,MAAM,CAAE,OAAO,EAAE,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAAI,CAAE;QACzC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,QAAQ,CAAE,QAAQ,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvD,OAAO,MAAM,CACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,GAAG,CAAE,IAAI,aAAa,CAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAE;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,GAAI,oCAAoC,EAAE;QAChF,CAAC,CAAC,SAAS,EACb,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA6B,QAAS,+BAA+B,EAAE;QACrG,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,GAAI,4BAA4B,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,QAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,cAAc,CAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAEjG,OAAO,MAAM,CACX,KAAK;QACH,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,6CAA6C,EAAE;QAC9F,CAAC,CAAC,SAAS,EACb,CAAC,QAAQ;QACP,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAmB,KAAK,CAAC,EAAG,+BAA+B,EAAE;QAC3F,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,2BAA2B,EAAE,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,gBAAqC;IAErC,MAAM,CAAE,OAAO,EAAE,OAAO,CAAE,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM;QAChD,CAAC,CAAC,CAAE,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,EAAE,CAAE;QAC/F,CAAC,CAAC;YACA,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;mBAChF,gBAAgB,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;SAClE,CAAC;IAEJ,OAAO,MAAM,CACX,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,OAAQ,mCAAmC,EAAE,EACvG,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,OAAQ,kCAAkC,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAuB,EACvB,MAA8B;IAE9B,MAAM,OAAO,GAAG,YAAY,CAAE,OAAO,CAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,aAAa,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,CAC5F,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAE,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnC,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAE;SACpD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACxF,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,CAAE;SAC9D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE;YACzD,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAE;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9E,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,CAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAE,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;IAExE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;AAClG,CAAC;AAaD,MAAM,UAAU,iBAAiB,CAAE,KAA6B;IAC9D,MAAM,KAAK,GAAG,yBAAyB,CAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC;IACvE,IAAK,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,SAAS,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC;QAC3C,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,KAAM,MAAM,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC;YACxD,IAAK,KAAK,KAAK,SAAS;gBAAG,SAAS;YACpC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,KAAK,CAAE,KAAK,CAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;SACnF,CAAC,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,CAAE,IAAmB,EAAE,KAAK,EAAG,EAAE;YAC7C,IAAK,OAAO,CAAE,IAAI,CAAE,KAAK,GAAG;gBAAG,OAAO;YACtC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}

package/build/esm/replication.d.ts

@@ -0,0 +1,7 @@
+import type { Op, OpClass, OperationalOpVerb, OpVerb } from './ops.js';
+export type ReplicationDisposition = 'replicated' | 'local';
+export declare const REPLICATION_BY_CLASS: Record<OpClass, ReplicationDisposition>;
+export declare const LOCAL_ONLY_VERBS: ReadonlySet<OpVerb | OperationalOpVerb>;
+export type ReplicationSubject = Pick<Op, 'class' | 'verb'>;
+export declare function replicationOf(op: ReplicationSubject): ReplicationDisposition;
+//# sourceMappingURL=replication.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replication.d.ts","sourceRoot":"","sources":["../../src/replication.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAEvE,MAAM,MAAM,sBAAsB,GAAG,YAAY,GAAG,OAAO,CAAC;AAE5D,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAIxE,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,MAAM,GAAG,iBAAiB,CAGnE,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;AAE5D,wBAAgB,aAAa,CAAE,EAAE,EAAE,kBAAkB,GAAI,sBAAsB,CAG9E"}

package/build/esm/replication.js

@@ -0,0 +1,15 @@
+export const REPLICATION_BY_CLASS = {
+    semantic: 'replicated',
+    layout: 'replicated',
+    operational: 'local'
+};
+export const LOCAL_ONLY_VERBS = new Set([
+    'reclassify',
+    'scope'
+]);
+export function replicationOf(op) {
+    if (LOCAL_ONLY_VERBS.has(op.verb))
+        return 'local';
+    return REPLICATION_BY_CLASS[op.class] ?? 'local';
+}
+//# sourceMappingURL=replication.js.map

package/build/esm/replication.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replication.js","sourceRoot":"","sources":["../../src/replication.ts"],"names":[],"mappings":"AAIA,MAAM,CAAC,MAAM,oBAAoB,GAA4C;IAC3E,QAAQ,EAAE,YAAY;IACtB,MAAM,EAAE,YAAY;IACpB,WAAW,EAAE,OAAO;CACrB,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAA4C,IAAI,GAAG,CAAC;IAC/E,YAAY;IACZ,OAAO;CACR,CAAC,CAAC;AAIH,MAAM,UAAU,aAAa,CAAE,EAAsB;IACnD,IAAK,gBAAgB,CAAC,GAAG,CAAE,EAAE,CAAC,IAAI,CAAE;QAAE,OAAO,OAAO,CAAC;IACrD,OAAO,oBAAoB,CAAE,EAAE,CAAC,KAAK,CAAE,IAAI,OAAO,CAAC;AACrD,CAAC"}

package/build/esm/retention.d.ts

@@ -0,0 +1,11 @@
+export type RetentionClass = 'scratch' | 'record' | 'retained';
+export declare const RETENTION_CLASSES: readonly RetentionClass[];
+export declare const DEFAULT_RETENTION_CLASS: RetentionClass;
+export declare function isRetentionClass(value: unknown): value is RetentionClass;
+export type RetentionPolicy = {
+    erasure: 'permitted' | 'refused';
+    reasonRequired: boolean;
+};
+export declare const RETENTION_POLICY: Record<RetentionClass, RetentionPolicy>;
+export declare function retentionPolicyOf(retentionClass?: RetentionClass): RetentionPolicy;
+//# sourceMappingURL=retention.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"retention.d.ts","sourceRoot":"","sources":["../../src/retention.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE/D,eAAO,MAAM,iBAAiB,EAAE,SAAS,cAAc,EAAwC,CAAC;AAEhG,eAAO,MAAM,uBAAuB,EAAE,cAAyB,CAAC;AAEhE,wBAAgB,gBAAgB,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,cAAc,CAE1E;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC;IACjC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,EAAE,eAAe,CAIpE,CAAC;AAIF,wBAAgB,iBAAiB,CAAE,cAAc,CAAC,EAAE,cAAc,GAAI,eAAe,CAGpF"}

package/build/esm/retention.js

@@ -0,0 +1,17 @@
+export const RETENTION_CLASSES = ['scratch', 'record', 'retained'];
+export const DEFAULT_RETENTION_CLASS = 'record';
+export function isRetentionClass(value) {
+    return typeof value === 'string' && RETENTION_CLASSES.includes(value);
+}
+export const RETENTION_POLICY = {
+    scratch: { erasure: 'permitted', reasonRequired: false },
+    record: { erasure: 'permitted', reasonRequired: true },
+    retained: { erasure: 'refused', reasonRequired: true }
+};
+const UNKNOWN_CLASS_POLICY = { erasure: 'refused', reasonRequired: true };
+export function retentionPolicyOf(retentionClass) {
+    if (retentionClass === undefined)
+        return RETENTION_POLICY[DEFAULT_RETENTION_CLASS];
+    return RETENTION_POLICY[retentionClass] ?? UNKNOWN_CLASS_POLICY;
+}
+//# sourceMappingURL=retention.js.map

package/build/esm/retention.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention.js","sourceRoot":"","sources":["../../src/retention.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAA8B,CAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAE,CAAC;AAEhG,MAAM,CAAC,MAAM,uBAAuB,GAAmB,QAAQ,CAAC;AAEhE,MAAM,UAAU,gBAAgB,CAAE,KAAc;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAM,iBAAwC,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC;AACnG,CAAC;AAOD,MAAM,CAAC,MAAM,gBAAgB,GAA4C;IACvE,OAAO,EAAG,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,KAAK,EAAE;IACzD,MAAM,EAAI,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE;IACxD,QAAQ,EAAE,EAAE,OAAO,EAAE,SAAS,EAAI,cAAc,EAAE,IAAI,EAAE;CACzD,CAAC;AAEF,MAAM,oBAAoB,GAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AAE3F,MAAM,UAAU,iBAAiB,CAAE,cAA+B;IAChE,IAAK,cAAc,KAAK,SAAS;QAAG,OAAO,gBAAgB,CAAE,uBAAuB,CAAE,CAAC;IACvF,OAAO,gBAAgB,CAAE,cAAc,CAAE,IAAI,oBAAoB,CAAC;AACpE,CAAC"}

package/build/esm/session.d.ts

@@ -0,0 +1,45 @@
+import type { OrgId } from './organisation.js';
+import type { RetentionClass } from './retention.js';
+export type SessionSchemaVersion = 1;
+export declare const SESSION_SCHEMA_VERSION: SessionSchemaVersion;
+export type SessionId = string;
+export type ActorId = string;
+export type SessionState = 'active' | 'unanchored' | 'frozen';
+export declare const SESSION_STATES: readonly SessionState[];
+export declare function isSessionState(value: unknown): value is SessionState;
+export type RealityPointer = {
+    realityProvider?: ActorId;
+    realitySha?: string;
+    realityAt?: string;
+};
+export type DesignSession = RealityPointer & {
+    schemaVersion: SessionSchemaVersion;
+    id: SessionId;
+    name: string;
+    state: SessionState;
+    createdAt: string;
+    headSeq: number;
+    orgId: OrgId;
+    retentionClass?: RetentionClass;
+    owner: ActorId;
+    participants: ActorId[];
+    frozenFrom?: Exclude<SessionState, 'frozen'>;
+    ticketRefs?: string[];
+    prRef?: string;
+};
+export type SessionEvent = {
+    type: 'attach';
+    provider: ActorId;
+    sha: string;
+    at: string;
+} | {
+    type: 'detach';
+    at: string;
+} | {
+    type: 'freeze';
+} | {
+    type: 'reopen';
+};
+export declare function applySessionEvent(session: DesignSession, event: SessionEvent): DesignSession;
+export declare function isSessionFrozen(session: Pick<DesignSession, 'state'>): boolean;
+//# sourceMappingURL=session.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAErC,eAAO,MAAM,sBAAsB,EAAE,oBAAwB,CAAC;AAE9D,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE9D,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAAyC,CAAC;AAE5F,wBAAgB,cAAc,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,YAAY,CAEtE;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG;IAC3C,aAAa,EAAE,oBAAoB,CAAC;IACpC,EAAE,EAAE,SAAS,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC7C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAMvB,wBAAgB,iBAAiB,CAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAI,aAAa,CAgC9F;AAED,wBAAgB,eAAe,CAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GAAI,OAAO,CAEhF"}

package/build/esm/session.js

@@ -0,0 +1,49 @@
+export const SESSION_SCHEMA_VERSION = 1;
+export const SESSION_STATES = ['active', 'unanchored', 'frozen'];
+export function isSessionState(value) {
+    return typeof value === 'string' && SESSION_STATES.includes(value);
+}
+function withParticipant(participants, actor) {
+    return participants.includes(actor) ? [...participants] : [...participants, actor];
+}
+export function applySessionEvent(session, event) {
+    switch (event.type) {
+        case 'attach': {
+            if (session.state === 'frozen')
+                return session;
+            return {
+                ...session,
+                state: 'active',
+                realityProvider: event.provider,
+                realitySha: event.sha,
+                realityAt: event.at,
+                participants: withParticipant(session.participants, event.provider)
+            };
+        }
+        case 'detach': {
+            if (session.state !== 'active')
+                return session;
+            return { ...session, state: 'unanchored', realityAt: event.at };
+        }
+        case 'freeze': {
+            if (session.state === 'frozen')
+                return session;
+            return { ...session, state: 'frozen', frozenFrom: session.state };
+        }
+        case 'reopen': {
+            if (session.state !== 'frozen')
+                return session;
+            const { frozenFrom, ...rest } = session;
+            return { ...rest, state: frozenFrom ?? 'unanchored' };
+        }
+        default: {
+            const unreachable = event;
+            void unreachable;
+            return session;
+        }
+    }
+}
+export function isSessionFrozen(session) {
+    return session.state === 'frozen';
+}
+//# sourceMappingURL=session.js.map

package/build/esm/session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,sBAAsB,GAAyB,CAAC,CAAC;AAQ9D,MAAM,CAAC,MAAM,cAAc,GAA4B,CAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAE,CAAC;AAE5F,MAAM,UAAU,cAAc,CAAE,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAM,cAAqC,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC;AAChG,CAAC;AA8BD,SAAS,eAAe,CAAE,YAAgC,EAAE,KAAc;IACxE,OAAO,YAAY,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,CAAE,GAAG,YAAY,CAAE,CAAC,CAAC,CAAC,CAAE,GAAG,YAAY,EAAE,KAAK,CAAE,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAE,OAAsB,EAAE,KAAmB;IAC5E,QAAS,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO;gBACL,GAAG,OAAO;gBACV,KAAK,EAAE,QAAQ;gBACf,eAAe,EAAE,KAAK,CAAC,QAAQ;gBAC/B,UAAU,EAAE,KAAK,CAAC,GAAG;gBACrB,SAAS,EAAE,KAAK,CAAC,EAAE;gBACnB,YAAY,EAAE,eAAe,CAAE,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAE;aACtE,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;YACxC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,IAAI,YAAY,EAAE,CAAC;QACxD,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,KAAK,WAAW,CAAC;YACjB,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAE,OAAqC;IACpE,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC;AACpC,CAAC"}

package/build/esm/topology.d.ts

@@ -0,0 +1,12 @@
+import { EdgeKind } from './edges.js';
+import { NodeType } from './nodes.js';
+export type TopologyRule = {
+    from: NodeType;
+    kind: EdgeKind;
+    to: NodeType;
+};
+export declare const TOPOLOGY_ALLOWLIST: ReadonlySet<string>;
+export declare const TOPOLOGY_RULES: readonly TopologyRule[];
+export declare function isAllowedEdge(from: NodeType, kind: EdgeKind, to: NodeType): boolean;
+export declare function allowedEdgeKinds(from: NodeType, to: NodeType): readonly EdgeKind[];
+//# sourceMappingURL=topology.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"topology.d.ts","sourceRoot":"","sources":["../../src/topology.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,EAAE,EAAE,QAAQ,CAAC;CACd,CAAC;AA0DF,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAElD,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAAc,CAAC;AAEjE,wBAAgB,aAAa,CAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAI,OAAO,CAErF;AAED,wBAAgB,gBAAgB,CAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAI,SAAS,QAAQ,EAAE,CAEpF"}

package/build/esm/topology.js

@@ -0,0 +1,43 @@
+const ARTIFACT_TYPES = [
+    'aggregate',
+    'system',
+    'command',
+    'event',
+    'policy',
+    'read-model'
+];
+const RAW_RULES = [
+    { from: 'command', kind: 'handled-by', to: 'aggregate' },
+    { from: 'command', kind: 'handled-by', to: 'system' },
+    { from: 'command', kind: 'produces', to: 'event' },
+    { from: 'aggregate', kind: 'emits', to: 'event' },
+    { from: 'system', kind: 'emits', to: 'event' },
+    { from: 'event', kind: 'triggers', to: 'policy' },
+    { from: 'policy', kind: 'issues', to: 'command' },
+    { from: 'event', kind: 'causes', to: 'command' },
+    { from: 'ui', kind: 'invokes', to: 'command' },
+    { from: 'ui', kind: 'subscribes-to', to: 'read-model' },
+    { from: 'event', kind: 'projected-to', to: 'read-model' },
+    ...['policy', 'aggregate', 'read-model'].flatMap((from) => ['read-model', 'datastore'].map((to) => ({ from, kind: 'reads-from', to }))),
+    { from: 'postgres-view', kind: 'reads-from', to: 'aggregate' },
+    { from: 'read-model', kind: 'reads-from', to: 'postgres-view' },
+    { from: 'aggregate', kind: 'transactionally-writes-to', to: 'datastore' },
+    { from: 'system', kind: 'transactionally-writes-to', to: 'datastore' },
+    ...['aggregate', 'system', 'policy'].flatMap((from) => ['datastore', 'read-model'].map((to) => ({ from, kind: 'writes-to', to }))),
+    { from: 'system', kind: 'calls', to: 'external-system' },
+    { from: 'policy', kind: 'calls', to: 'external-system' },
+    { from: 'aggregate', kind: 'calls', to: 'external-system' },
+    ...ARTIFACT_TYPES.map((from) => ({ from, kind: 'uses-cache', to: 'cache' }))
+];
+function ruleKey(from, kind, to) {
+    return `${from}|${kind}|${to}`;
+}
+export const TOPOLOGY_ALLOWLIST = new Set(RAW_RULES.map((r) => ruleKey(r.from, r.kind, r.to)));
+export const TOPOLOGY_RULES = RAW_RULES;
+export function isAllowedEdge(from, kind, to) {
+    return TOPOLOGY_ALLOWLIST.has(ruleKey(from, kind, to));
+}
+export function allowedEdgeKinds(from, to) {
+    return RAW_RULES.filter((r) => r.from === from && r.to === to).map((r) => r.kind);
+}
+//# sourceMappingURL=topology.js.map

package/build/esm/topology.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.js","sourceRoot":"","sources":["../../src/topology.ts"],"names":[],"mappings":"AASA,MAAM,cAAc,GAAwB;IAC1C,WAAW;IACX,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,YAAY;CACb,CAAC;AAEF,MAAM,SAAS,GAAmB;IAChC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE;IACxD,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE;IAErD,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE;IAElD,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE;IACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE;IAE9C,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE;IAEjD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE;IAEjD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE;IAEhD,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE;IAC9C,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,YAAY,EAAE;IAEvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,EAAE;IAEzD,GAAK,CAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAkB,CAAC,OAAO,CAAC,CAAE,IAAI,EAAG,EAAE,CAC5E,CAAE,YAAY,EAAE,WAAW,CAAkB,CAAC,GAAG,CACjD,CAAE,EAAE,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAC3D,CAAC;IAEJ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE;IAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE;IAE/D,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,EAAE,WAAW,EAAE;IACzE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,EAAE,WAAW,EAAE;IAEtE,GAAK,CAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAkB,CAAC,OAAO,CAAC,CAAE,IAAI,EAAG,EAAE,CACxE,CAAE,WAAW,EAAE,YAAY,CAAkB,CAAC,GAAG,CACjD,CAAE,EAAE,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAC1D,CAAC;IAEJ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,iBAAiB,EAAE;IACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,iBAAiB,EAAE;IACxD,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,iBAAiB,EAAE;IAE3D,GAAG,cAAc,CAAC,GAAG,CAAC,CAAE,IAAI,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;CAC7F,CAAC;AAEF,SAAS,OAAO,CAAE,IAAc,EAAE,IAAc,EAAE,EAAY;IAC5D,OAAO,GAAI,IAAK,IAAK,IAAK,IAAK,EAAG,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAC5D,SAAS,CAAC,GAAG,CAAC,CAAE,CAAC,EAAG,EAAE,CAAC,OAAO,CAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAE,CAAC,CACxD,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAA4B,SAAS,CAAC;AAEjE,MAAM,UAAU,aAAa,CAAE,IAAc,EAAE,IAAc,EAAE,EAAY;IACzE,OAAO,kBAAkB,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAE,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAE,IAAc,EAAE,EAAY;IAC5D,OAAO,SAAS,CAAC,MAAM,CAAC,CAAE,CAAC,EAAG,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC,GAAG,CAAC,CAAE,CAAC,EAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;AAC1F,CAAC"}

package/build/esm/validate-design.d.ts

@@ -0,0 +1,22 @@
+import { DesignBatch, DesignFile } from './design.js';
+import { BlueprintGraph } from './graph.js';
+import { BlueprintOverrides } from './overrides.js';
+export type DesignIssueCode = 'UNSUPPORTED_SCHEMA_VERSION' | 'MALFORMED_ENTRY' | 'UNKNOWN_NODE_TYPE' | 'UNKNOWN_EDGE_KIND' | 'UNRESOLVED_EDGE_ENDPOINT' | 'TOPOLOGY_VIOLATION' | 'UNMODIFIABLE_FIELD' | 'UNRESOLVED_TARGET' | 'DUPLICATE_IDENTITY' | 'EDGE_TARGETS_REMOVED' | 'INVALID_EDGE_HANDLER' | 'DUPLICATE_COMMENT_ID';
+export type DesignValidationIssue = {
+    code: DesignIssueCode;
+    path: string;
+    message: string;
+};
+export declare const DESIGN_ISSUE_CLASS: Record<DesignIssueCode, 'malformed' | 'incoherent'>;
+export type DesignValidationResult = {
+    malformed: DesignValidationIssue[];
+    incoherent: DesignValidationIssue[];
+};
+export type ValidateDesignContext = {
+    graph?: BlueprintGraph;
+    incoming?: DesignBatch;
+    overrides?: BlueprintOverrides;
+    mapIds?: ReadonlySet<string>;
+};
+export declare function validateDesign(design: DesignFile, context?: ValidateDesignContext): DesignValidationResult;
+//# sourceMappingURL=validate-design.d.ts.map

package/build/esm/validate-design.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-design.d.ts","sourceRoot":"","sources":["../../src/validate-design.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,WAAW,EAEX,UAAU,EAQX,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,cAAc,EAAU,MAAM,YAAY,CAAC;AAEpD,OAAO,EAAgC,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAGlF,MAAM,MAAM,eAAe,GACvB,4BAA4B,GAC5B,iBAAiB,GACjB,mBAAmB,GACnB,mBAAmB,GACnB,0BAA0B,GAC1B,oBAAoB,GACpB,oBAAoB,GACpB,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,sBAAsB,GACtB,sBAAsB,CAAC;AAE3B,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,eAAe,EAAE,WAAW,GAAG,YAAY,CAalF,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,qBAAqB,EAAE,CAAC;IACnC,UAAU,EAAE,qBAAqB,EAAE,CAAC;CACrC,CAAC;AAWF,MAAM,MAAM,qBAAqB,GAAG;IAClC,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9B,CAAC;AA0hBF,wBAAgB,cAAc,CAC5B,MAAM,EAAE,UAAU,EAClB,OAAO,GAAE,qBAA0B,GAClC,sBAAsB,CA6GxB"}