@ybotok/loam 0.2.0-alpha.1 → 0.2.0-alpha.13

package/dist/core/coherence/retired/revival/arrivals.js

@@ -0,0 +1,131 @@
+/**
+ * The revival candidates: every identity — an operationId, or a message
+ * name — that the contract the archive would WRITE answers at an address
+ * the living contract does not. Split from ./revived.ts, which grades them,
+ * along the seam between the two questions: what the merge would leave, and
+ * which of it an archived feature took out.
+ *
+ * The question is asked of the contract the archive would WRITE: the
+ * archive's own merge runs over the two texts (../merged.ts), and where the
+ * result answers each operationId and message name is compared with where
+ * the living contract answers it now. This once re-derived the merge from
+ * the delta, case by case — any removal marker naming the id excused a quote,
+ * another NAMED operation at the id's address made a swap — and every review
+ * found a shape the derivation got wrong: a marker at an address the id never
+ * lived at (it deletes nothing, so the second address stays), a replacement
+ * with no operationId (it replaces all the same, so there is no second
+ * address), a retirement whose address became a second one when a later
+ * feature re-added the id elsewhere. The merged contract answers each of
+ * them by construction.
+ *
+ * The same comparison read the other way round answers the removal gate's
+ * blind spot: a living operationId the merged contract answers nowhere,
+ * with no marker naming it, was taken out by an overwrite (`Displacement`).
+ */
+import { existsSync } from "node:fs";
+import { readOr } from "../../../openapi/contract-text.js";
+import { slotKey } from "../../../asyncapi/digest.js";
+import { operationAddress } from "../archived.js";
+import { mergedOpenapiDoc } from "../merged.js";
+const opsPlaced = (ops) => ops.filter((op) => !op.remove).map((op) => [op.id, operationAddress(op)]);
+const messagesPlaced = (all) => all.filter((m) => m.remove !== true).map((m) => [m.name, m.slot]);
+/**
+ * Every (identity, address) the merged contract has and the living one lacks,
+ * in the merged contract's order. `unnamed` holds the living addresses an
+ * entry with no identity stands at — an operation with no operationId; the
+ * event axis has none.
+ */
+function arrivals(living, merged, markable, unnamed = new Set()) {
+    const where = (all, id) => all.filter(([i]) => i === id).map(([, at]) => at);
+    return merged.flatMap(([id, at]) => {
+        const livesAt = where(living, id);
+        if (livesAt.includes(at))
+            return [];
+        const besides = where(merged, id).filter((b) => b !== at);
+        const replaces = living.find(([, address]) => address === at)?.[0];
+        const occupant = replaces !== undefined ? { replaces } : unnamed.has(at) ? { replacesUnnamed: true } : {};
+        return [{ id, at, livesAt, besides, markable: besides.every((b) => markable(b, livesAt)), ...occupant }];
+    });
+}
+/**
+ * The OpenAPI candidates: the merged contract against the living one. An
+ * unreadable side proves nothing (`openapi.invalid` owns it), nor does a text
+ * that does not decode, so either yields none; neither does a merge the
+ * archive refuses (`merge-failed`, which `--approve` cannot pass). The merge
+ * runs only when some definition in the delta is not living at its own
+ * address already: nothing else the merge writes can be new, so a delta that
+ * only restates what stands has nothing to compare and never pays for it.
+ * The displacements ride the same run, and need one more trigger: a named
+ * operation replacing a living one is itself a definition not living there,
+ * but one written with no operationId at a living operation's address is
+ * not, and it replaces that operation all the same.
+ */
+export async function operationArrivals(sides, context) {
+    const none = { operations: [], displaced: [] };
+    const { featPath, featDoc, livingPath, livingDoc, service } = sides;
+    if (featDoc.unreadable || livingDoc.unreadable)
+        return none;
+    const living = opsPlaced(livingDoc.ops);
+    const named = new Set(living.map(([, at]) => at));
+    const overNamed = featDoc.anonymousOps.some((op) => named.has(operationAddress(op)));
+    if (arrivals(living, opsPlaced(featDoc.ops), () => true).length === 0 && !overNamed)
+        return none;
+    const featureText = sides.featText ?? (await readOr(featPath, context));
+    const livingExists = existsSync(livingPath);
+    const livingText = livingExists ? await readOr(livingPath, context) : undefined;
+    if (featureText === undefined || (livingExists && livingText === undefined))
+        return none;
+    const merged = mergedOpenapiDoc({ livingText, livingDoc, featureText, service });
+    if (merged === undefined)
+        return none;
+    // Every address the delta spells — a removal marker, an operation, named
+    // or not — holds what the delta spells there, so no marker can stand
+    // beside it.
+    const spelled = new Set([...featDoc.ops, ...featDoc.anonymousRemovals, ...featDoc.anonymousOps].map(operationAddress));
+    const placed = opsPlaced(merged.ops);
+    const unnamed = new Set(livingDoc.anonymousOps.map(operationAddress));
+    return {
+        operations: arrivals(living, placed, (b, livesAt) => livesAt.includes(b) && !spelled.has(b), unnamed),
+        displaced: displacements(living, placed, new Set(featDoc.ops.filter((op) => op.remove).map((op) => op.id))),
+    };
+}
+/**
+ * The living identities the merged contract answers nowhere, minus every one
+ * a removal marker names: those are the removal gate's already — retired,
+ * relocated, or a marker the exactness checks refuse — and grading them here
+ * too would file one loss under two findings.
+ */
+function displacements(living, merged, marked) {
+    const answered = new Set(merged.map(([id]) => id));
+    const gone = [...new Set(living.map(([id]) => id))].filter((id) => !answered.has(id) && !marked.has(id));
+    return gone.map((id) => ({
+        id,
+        at: living.filter(([i]) => i === id).map(([, address]) => {
+            const by = merged.find(([, at]) => at === address)?.[0];
+            return by === undefined ? { address } : { address, by };
+        }),
+    }));
+}
+/**
+ * The event axis's candidates. A message is graded by its NAME, not by its
+ * key: the name is what every join reads, so a retired message redeclared
+ * under a new key is the same message back, and a new message reusing a dead
+ * key is not. A living side that does not answer (./event-pair.ts) proves
+ * nothing, so it yields none; a merge the pair refuses grades no message.
+ * The slots are read off the delta, and they are the merged contract's new
+ * slots exactly: the merge writes every slot the delta declares, bar a quote,
+ * which has a living counterpart.
+ */
+export function eventArrivals(read) {
+    const { featDoc, featSlots, livingDoc, livingSlots } = read;
+    if (!read.livingAnswers || featDoc.unreadable || livingDoc.unreadable)
+        return { slots: [], messages: [] };
+    const slots = featSlots.filter((s) => !s.remove && s.section !== "components.messages" && !livingSlots.has(slotKey(s)));
+    const merged = read.merged();
+    if (merged === undefined)
+        return { slots, messages: [] };
+    const spelled = new Set(featSlots.filter((s) => s.section === "components.messages").map((s) => `${s.section}.${s.key}`));
+    const markable = (b, livesAt) => b.startsWith("channels.") || (livesAt.includes(b) && !spelled.has(b));
+    return { slots, messages: arrivals(messagesPlaced(livingDoc.messages), messagesPlaced(merged.doc.messages), markable), mergedRoot: merged.root };
+}
+//# sourceMappingURL=arrivals.js.map

package/dist/core/coherence/retired/revival/arrivals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrivals.js","sourceRoot":"","sources":["../../../../../src/core/coherence/retired/revival/arrivals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,OAAO,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAqB,MAAM,6BAA6B,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAgFhD,MAAM,SAAS,GAAG,CAAC,GAAyB,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrI,MAAM,cAAc,GAAG,CAAC,GAA4B,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAErI;;;;;GAKG;AACH,SAAS,QAAQ,CACf,MAAyB,EACzB,MAAyB,EACzB,QAAkE,EAClE,OAAO,GAAwB,IAAI,GAAG,EAAE;IAExC,MAAM,KAAK,GAAG,CAAC,GAAsB,EAAE,EAAU,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAClH,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE;QACjC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAA4B,EAAE,OAAsB;IAC1F,MAAM,IAAI,GAAsB,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAClE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACpE,IAAI,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACjG,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,MAAM,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChF,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,YAAY,IAAI,UAAU,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;IACjF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,yEAAyE;IACzE,qEAAqE;IACrE,aAAa;IACb,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,iBAAiB,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACvH,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;QACrG,SAAS,EAAE,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;KAC5G,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,MAAyB,EAAE,MAAyB,EAAE,MAA2B;IACtG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACzG,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,EAAE;QACF,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE;YACvD,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACxD,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC1D,CAAC,CAAC;KACH,CAAC,CAAC,CAAC;AACN,CAAC;AAgBD;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,IAAmB;IAC/C,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAC5D,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC1G,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,qBAAqB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxH,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC1H,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,OAA0B,EAAW,EAAE,CAClE,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AACnJ,CAAC","sourcesContent":["/**\n * The revival candidates: every identity — an operationId, or a message\n * name — that the contract the archive would WRITE answers at an address\n * the living contract does not. Split from ./revived.ts, which grades them,\n * along the seam between the two questions: what the merge would leave, and\n * which of it an archived feature took out.\n *\n * The question is asked of the contract the archive would WRITE: the\n * archive's own merge runs over the two texts (../merged.ts), and where the\n * result answers each operationId and message name is compared with where\n * the living contract answers it now. This once re-derived the merge from\n * the delta, case by case — any removal marker naming the id excused a quote,\n * another NAMED operation at the id's address made a swap — and every review\n * found a shape the derivation got wrong: a marker at an address the id never\n * lived at (it deletes nothing, so the second address stays), a replacement\n * with no operationId (it replaces all the same, so there is no second\n * address), a retirement whose address became a second one when a later\n * feature re-added the id elsewhere. The merged contract answers each of\n * them by construction.\n *\n * The same comparison read the other way round answers the removal gate's\n * blind spot: a living operationId the merged contract answers nowhere,\n * with no marker naming it, was taken out by an overwrite (`Displacement`).\n */\nimport { existsSync } from \"node:fs\";\nimport type { OpenapiDoc, Operation } from \"../../../openapi/doc.js\";\nimport { readOr } from \"../../../openapi/contract-text.js\";\nimport { slotKey, type AsyncapiSlot } from \"../../../asyncapi/digest.js\";\nimport type { EventMessage } from \"../../../asyncapi/model.js\";\nimport type { FleetContext } from \"../../../fleet-context.js\";\nimport { operationAddress } from \"../archived.js\";\nimport type { EventPairRead, PairSides } from \"../event-pair.js\";\nimport { mergedOpenapiDoc } from \"../merged.js\";\n\n/**\n * One identity — an operationId, or a message name — that the merged\n * contract answers at an address the living contract does not. The only\n * shape a revival can take: everything else the merge writes is already\n * living where it stands.\n */\nexport interface Arrival {\n  id: string;\n  /** The new address: `METHOD /path`, or the slot a message is declared in. */\n  at: string;\n  /** Where the living contract answers the identity now — empty for nowhere. */\n  livesAt: string[];\n  /** Every OTHER address the merged contract answers it at. */\n  besides: string[];\n  /**\n   * What the living contract answers at `at` now — another operationId, or\n   * another message name — which the merge replaces there: a slot holds one\n   * entry. Absent where nothing does. A finding that called such an address\n   * one \"the living contract no longer has\" sent its reader to a remedy that\n   * deleted the other entry with nothing naming it.\n   */\n  replaces?: string;\n  /**\n   * Set where what the living contract answers at `at` is an operation\n   * written with NO operationId: the merge replaces it there all the same,\n   * and no id can name it, so `replaces` stays absent. The reader dropped\n   * such operations outright once, and the finding called their address one\n   * \"the living contract no longer has\" — the very defect `replaces` was\n   * added for, through the one door it left open.\n   */\n  replacesUnnamed?: true;\n  /**\n   * Can this same delta take it out of every one of `besides`? A living\n   * address the delta spells nothing at takes a removal marker; a declaration\n   * inline under a channel is taken out by restating or retiring the channel\n   * (`moveBackRemedy`). A key the delta already spells holds what it spells,\n   * and a marker cannot be written beside it — the remedy that once named\n   * one there could not be followed.\n   */\n  markable: boolean;\n}\n\n/**\n * A living operationId the merged contract answers NOWHERE although no\n * removal marker in the delta names it: another operation now stands at\n * every address it held, so the merge — which writes per method and path —\n * replaced it there. The removal gate's own question\n * (`openapi.remove-op-consumed`, ../../consumed/operations.ts) asked of the one way to\n * take an operation out of a contract that carries no marker for it to read:\n * a delta defining\n * `fetchOrder` where `getOrder` lives archived at exit 0 while a landscape\n * edge still called `getOrder`, and the next `validate` reported the\n * contract broken (`spine.op-undefined`) on a repository nobody in the\n * feature touched. Read off the merged contract, never re-derived from the\n * delta, for this module's reason.\n */\nexport interface Displacement {\n  /** The living operationId the contract the archive would write no longer defines. */\n  id: string;\n  /**\n   * Every address it lives at now, with what the merged contract answers\n   * there — the operationId that replaces it, or nothing for an operation\n   * written without one, which the reader cannot name.\n   */\n  at: ReadonlyArray<{ address: string; by?: string }>;\n}\n\n/** What the merged contract answers that the living one does not, and what it stops answering. */\nexport interface OperationArrivals {\n  /** Every (operationId, address) the merged contract has and the living one lacks — the revival candidates. */\n  operations: Arrival[];\n  /** Every living operationId the merged contract answers nowhere, no removal marker naming it. */\n  displaced: Displacement[];\n}\n\n/** An identity and one address a contract answers it at. */\ntype Placed = readonly [id: string, at: string];\n\nconst opsPlaced = (ops: readonly Operation[]): Placed[] => ops.filter((op) => !op.remove).map((op) => [op.id, operationAddress(op)]);\nconst messagesPlaced = (all: readonly EventMessage[]): Placed[] => all.filter((m) => m.remove !== true).map((m) => [m.name, m.slot]);\n\n/**\n * Every (identity, address) the merged contract has and the living one lacks,\n * in the merged contract's order. `unnamed` holds the living addresses an\n * entry with no identity stands at — an operation with no operationId; the\n * event axis has none.\n */\nfunction arrivals(\n  living: readonly Placed[],\n  merged: readonly Placed[],\n  markable: (address: string, livesAt: readonly string[]) => boolean,\n  unnamed: ReadonlySet<string> = new Set(),\n): Arrival[] {\n  const where = (all: readonly Placed[], id: string): string[] => all.filter(([i]) => i === id).map(([, at]) => at);\n  return merged.flatMap(([id, at]) => {\n    const livesAt = where(living, id);\n    if (livesAt.includes(at)) return [];\n    const besides = where(merged, id).filter((b) => b !== at);\n    const replaces = living.find(([, address]) => address === at)?.[0];\n    const occupant = replaces !== undefined ? { replaces } : unnamed.has(at) ? { replacesUnnamed: true as const } : {};\n    return [{ id, at, livesAt, besides, markable: besides.every((b) => markable(b, livesAt)), ...occupant }];\n  });\n}\n\n/**\n * The OpenAPI candidates: the merged contract against the living one. An\n * unreadable side proves nothing (`openapi.invalid` owns it), nor does a text\n * that does not decode, so either yields none; neither does a merge the\n * archive refuses (`merge-failed`, which `--approve` cannot pass). The merge\n * runs only when some definition in the delta is not living at its own\n * address already: nothing else the merge writes can be new, so a delta that\n * only restates what stands has nothing to compare and never pays for it.\n * The displacements ride the same run, and need one more trigger: a named\n * operation replacing a living one is itself a definition not living there,\n * but one written with no operationId at a living operation's address is\n * not, and it replaces that operation all the same.\n */\nexport async function operationArrivals(sides: PairSides<OpenapiDoc>, context?: FleetContext): Promise<OperationArrivals> {\n  const none: OperationArrivals = { operations: [], displaced: [] };\n  const { featPath, featDoc, livingPath, livingDoc, service } = sides;\n  if (featDoc.unreadable || livingDoc.unreadable) return none;\n  const living = opsPlaced(livingDoc.ops);\n  const named = new Set(living.map(([, at]) => at));\n  const overNamed = featDoc.anonymousOps.some((op) => named.has(operationAddress(op)));\n  if (arrivals(living, opsPlaced(featDoc.ops), () => true).length === 0 && !overNamed) return none;\n  const featureText = sides.featText ?? (await readOr(featPath, context));\n  const livingExists = existsSync(livingPath);\n  const livingText = livingExists ? await readOr(livingPath, context) : undefined;\n  if (featureText === undefined || (livingExists && livingText === undefined)) return none;\n  const merged = mergedOpenapiDoc({ livingText, livingDoc, featureText, service });\n  if (merged === undefined) return none;\n  // Every address the delta spells — a removal marker, an operation, named\n  // or not — holds what the delta spells there, so no marker can stand\n  // beside it.\n  const spelled = new Set([...featDoc.ops, ...featDoc.anonymousRemovals, ...featDoc.anonymousOps].map(operationAddress));\n  const placed = opsPlaced(merged.ops);\n  const unnamed = new Set(livingDoc.anonymousOps.map(operationAddress));\n  return {\n    operations: arrivals(living, placed, (b, livesAt) => livesAt.includes(b) && !spelled.has(b), unnamed),\n    displaced: displacements(living, placed, new Set(featDoc.ops.filter((op) => op.remove).map((op) => op.id))),\n  };\n}\n\n/**\n * The living identities the merged contract answers nowhere, minus every one\n * a removal marker names: those are the removal gate's already — retired,\n * relocated, or a marker the exactness checks refuse — and grading them here\n * too would file one loss under two findings.\n */\nfunction displacements(living: readonly Placed[], merged: readonly Placed[], marked: ReadonlySet<string>): Displacement[] {\n  const answered = new Set(merged.map(([id]) => id));\n  const gone = [...new Set(living.map(([id]) => id))].filter((id) => !answered.has(id) && !marked.has(id));\n  return gone.map((id) => ({\n    id,\n    at: living.filter(([i]) => i === id).map(([, address]) => {\n      const by = merged.find(([, at]) => at === address)?.[0];\n      return by === undefined ? { address } : { address, by };\n    }),\n  }));\n}\n\n/** What an event delta brings that the living contract does not have. */\nexport interface EventArrivals {\n  /** `channels` and `operations` slots whose key the living contract lacks — their identity IS the key. */\n  slots: AsyncapiSlot[];\n  /** Message names at slots the living contract does not declare them in — the operation axis's arrivals. */\n  messages: Arrival[];\n  /**\n   * The merged contract's tree, where the move-back remedy follows a `$ref`\n   * back to the channel holding it (`moveBackRemedy`) — absent where the\n   * merge refused, and then no message is graded.\n   */\n  mergedRoot?: unknown;\n}\n\n/**\n * The event axis's candidates. A message is graded by its NAME, not by its\n * key: the name is what every join reads, so a retired message redeclared\n * under a new key is the same message back, and a new message reusing a dead\n * key is not. A living side that does not answer (./event-pair.ts) proves\n * nothing, so it yields none; a merge the pair refuses grades no message.\n * The slots are read off the delta, and they are the merged contract's new\n * slots exactly: the merge writes every slot the delta declares, bar a quote,\n * which has a living counterpart.\n */\nexport function eventArrivals(read: EventPairRead): EventArrivals {\n  const { featDoc, featSlots, livingDoc, livingSlots } = read;\n  if (!read.livingAnswers || featDoc.unreadable || livingDoc.unreadable) return { slots: [], messages: [] };\n  const slots = featSlots.filter((s) => !s.remove && s.section !== \"components.messages\" && !livingSlots.has(slotKey(s)));\n  const merged = read.merged();\n  if (merged === undefined) return { slots, messages: [] };\n  const spelled = new Set(featSlots.filter((s) => s.section === \"components.messages\").map((s) => `${s.section}.${s.key}`));\n  const markable = (b: string, livesAt: readonly string[]): boolean =>\n    b.startsWith(\"channels.\") || (livesAt.includes(b) && !spelled.has(b));\n  return { slots, messages: arrivals(messagesPlaced(livingDoc.messages), messagesPlaced(merged.doc.messages), markable), mergedRoot: merged.root };\n}\n"]}

package/dist/core/coherence/retired/revival/revived.js

@@ -0,0 +1,297 @@
+/**
+ * The revival findings: a feature delta that would bring back what an
+ * ARCHIVED feature took out of the living contract — an operation, slot or
+ * message it retired, or an address it moved one away from, which would put
+ * it back there beside where it lives now.
+ *
+ * `openapi.op-revived` and `asyncapi.slot-revived` — one code per axis, because
+ * a caller acts the same way whichever slot section came back. Both are a
+ * warning that GATES archive, `openapi.baseline-missing`'s doctrine: the
+ * document is legal, and re-adding a retired operation can be exactly what a
+ * feature means (a rollback of a retirement, a deprecation reversed), so
+ * `--approve` carries the call. What it must never be again is SILENT — the
+ * merge cannot tell a quote of a dead operation from an addition, and treated
+ * every one as an addition.
+ *
+ * The candidates — what the contract the archive would WRITE answers that
+ * the living one does not (./arrivals.ts) — are computed where both
+ * documents are already in hand, in the feature gate's two walks
+ * (../../declared.ts, ../../events/declared.ts), and only graded here, so
+ * the archive walk (../archived.ts) is paid for only when the merged
+ * contract answers something at an address the living one does not.
+ * `serviceRevivals` asks the same two functions per axis standalone, for
+ * `loam rebase`, which reads no gate — on the event axis through the gate's
+ * own reading of the pair (../event-pair.ts) — so the two can never grade one
+ * tree two ways.
+ */
+import { existsSync } from "node:fs";
+import { featureSpecPaths } from "../../../repo/paths.js";
+import { locateServicePaths } from "../../../repo/service-target.js";
+import { readOpenapi } from "../../../openapi/doc.js";
+import { readAsyncapi } from "../../../asyncapi/read.js";
+import { entriesOf } from "../../../asyncapi/digest.js";
+import { collectRefs } from "../../../openapi/depth.js";
+import { retiredKey } from "../archived.js";
+import { readEventPair } from "../event-pair.js";
+import { eventArrivals, operationArrivals } from "./arrivals.js";
+/** The two remedies, spelled once: which one applies is the human's call, never loam's. */
+const REMEDY = "Delete the quote if you only restated it; archive with --approve if the feature brings it back on purpose.";
+/**
+ * The vacations that make one arrival a revival — undefined when it is none.
+ * Either the living contract answers the identity nowhere, and an archived
+ * feature retired it (anywhere: a retired operation re-added at a new path is
+ * the same operation back, and a message is its name wherever it is
+ * declared) or moved it away from this very address; or the merged contract
+ * answers it at two or more addresses, and an archived feature retired it at,
+ * or moved it away from, this very address — an old address resurrected
+ * beside the current one. An identity the living contract still holds that
+ * the merged contract answers at exactly one address — a move back, a swap,
+ * a replacement with no operationId — is never a revival, and neither is an
+ * address no archived feature vacated. One the living contract holds nowhere
+ * is the first case at one address too: this once said "exactly one address
+ * is never a revival" unqualified, and a quote of an address a move vacated,
+ * after a hand edit took the id out of where the move put it, is one.
+ *
+ * Any archived feature — the one asking is never among them: coherence
+ * grades only features in flight (status/feature/feature.ts), so a vacation
+ * bearing the asking feature's id is another directory carrying the same
+ * id, and as real as anyone's. Excluding it by id, as this once did, could
+ * only hide a revival.
+ */
+function revivalOf({ at, livesAt, besides }, vacations) {
+    if (vacations === undefined)
+        return undefined;
+    const [first, ...rest] = vacations.filter((v) => livesAt.length === 0 ? v.to.length === 0 || v.at === at : besides.length > 0 && v.at === at);
+    return first === undefined ? undefined : [first, ...rest];
+}
+/** The operation arrivals that are revivals — each named for what happened, retired or vacated. */
+export function revivedOperations(service, arrived, index) {
+    const issues = [];
+    for (const arrival of arrived) {
+        const by = revivalOf(arrival, index.operations.get(retiredKey(service, arrival.id)));
+        if (by === undefined)
+            continue;
+        const { id, at, livesAt, besides } = arrival;
+        const what = livesAt.length === 0
+            ? `'${id}' (${at}), ${broughtBack(by, replacing(arrival, "holds"))}`
+            // A second address, not the operation back: it is living, so the
+            // remedy is which address to drop — never "bring it back".
+            : `'${id}' at ${at}, ${occupant(arrival) === undefined ? "an address the living contract no longer has" : "an address it no longer lives at"} — ${vacators(by, " there")}${present(by, livesAt, "lives")}, and archiving this delta would put it back at ${at} beside ${besides.join(" and ")}: one operationId at ${count(besides.length + 1)} addresses.${replacing(arrival, "holds")} ${dropOne(arrival, `add a removal marker for '${id}' at ${besides.join(" and ")} to this same delta${keeping(arrival, "address")}`)}`;
+        issues.push({ severity: "warn", gates: true, code: "openapi.op-revived", subject: service, message: `${service}: this feature's openapi.yaml spells ${what}` });
+    }
+    return issues;
+}
+/**
+ * How a delta takes a message name OUT of the places it is declared — the
+ * move-back remedy, per place, toward wherever the message is moved back to
+ * (`to`). A `components.messages` key is a slot, and a removal marker there
+ * retires what it declares. A declaration INLINE under a channel is not: it
+ * is the channel slot's interior (SCHEMA.md), so a marker nested on it
+ * retires nothing — `asyncapi.remove-marker-inline`, and the deep strip
+ * publishes the message without the marker. This once said "retire it at
+ * channels.<ck>.messages.<mk>", a remedy that, followed exactly, changed
+ * nothing and drew a second refusal. The channel is the unit: restated with
+ * the message as a `$ref` (an upsert replaces the interior), or retired. The
+ * channel key is read the way the archive plan's remove-marker-inline
+ * message reads it, so the two name the same channel.
+ *
+ * A `components.messages` key is retired by its marker, but a channel (or an
+ * operation) of the contract the merge would leave (`root`) that still
+ * `$ref`s it would point at nothing: its send stops sending the message,
+ * `asyncapi.remove-message-consumed` where the fleet consumes it. This once
+ * said only "retire it at components.messages.<K2>", a remedy that, followed
+ * exactly, drew that error — so every slot still pointing there is named,
+ * to restate with the `$ref` pointed at `to`.
+ */
+export function moveBackRemedy(declaredAt, to, root) {
+    const steps = declaredAt.map((slot) => {
+        if (!slot.startsWith("channels.")) {
+            const holders = pointingAt(root, slot);
+            return holders.length === 0 ? `retire it at ${slot}` : `retire it at ${slot}, and restate ${holders.join(" and ")} with every $ref to ${slot} pointed at ${to}`;
+        }
+        const channel = slot.slice("channels.".length, slot.lastIndexOf(".messages."));
+        return `restate channel ${channel} with a $ref to ${to}, or retire channel ${channel}`;
+    });
+    return [...new Set(steps)].join("; and ");
+}
+/** The channels and operations of `root` holding a `$ref` to one `components.messages` slot, at any depth. */
+function pointingAt(root, slot) {
+    const key = slot.slice("components.messages.".length);
+    // JSON Pointer escaping, `~` before `/`, so a key spelling either is the pointer that reaches it.
+    const pointer = `#/components/messages/${key.replace(/~/g, "~0").replace(/\//g, "~1")}`;
+    const sections = root !== null && typeof root === "object" ? root : {};
+    return ["channels", "operations"].flatMap((section) => entriesOf(sections[section])
+        .filter(([, node]) => collectRefs(node).includes(pointer))
+        .map(([key]) => `${section === "channels" ? "channel" : "operation"} ${key}`));
+}
+/** The event arrivals that are revivals — `revivedOperations`' rule, on the slot and the message name. */
+export function revivedEvents(service, arrived, index) {
+    const issues = [];
+    const revive = (what) => {
+        issues.push({ severity: "warn", gates: true, code: "asyncapi.slot-revived", subject: service, message: `${service}: this feature's asyncapi.yaml declares ${what}` });
+    };
+    const revivedChannels = new Set();
+    for (const slot of arrived.slots) {
+        const by = index.slots.get(retiredKey(service, slot.section, slot.key));
+        if (by === undefined)
+            continue;
+        if (slot.section === "channels")
+            revivedChannels.add(slot.key);
+        revive(`${slot.section}.${slot.key}, ${broughtBack(by)}`);
+    }
+    for (const arrival of arrived.messages) {
+        // A message declared inline under a channel that is itself coming back is
+        // that channel's interior, and the channel's finding already names the
+        // revival — one act, one finding. Only while the merged contract declares
+        // the name nowhere else: where it does, the channel's finding says nothing
+        // of the second place, and this was once skipped all the same — a stale
+        // delta restating a channel whose inline message an archived feature
+        // re-declared under components archived under --approve into
+        // `asyncapi.duplicate-message`.
+        if (arrival.besides.length === 0 && [...revivedChannels].some((ck) => arrival.at.startsWith(`channels.${ck}.messages.`)))
+            continue;
+        const by = revivalOf(arrival, index.messages.get(retiredKey(service, arrival.id)));
+        if (by === undefined)
+            continue;
+        const { id, at, livesAt, besides } = arrival;
+        revive(livesAt.length === 0
+            ? `message '${id}' (${at}), ${broughtBack(by, replacing(arrival, "declares"))}`
+            : `message '${id}' at ${at}, ${arrival.replaces === undefined ? "a key the living contract no longer has" : "a key it is no longer declared at"} — ${vacators(by, " there")}${present(by, livesAt, "is declared")}, and archiving this delta would declare it at ${at} beside ${besides.join(" and ")}: one message name in ${count(besides.length + 1)} places.${replacing(arrival, "declares")} ${dropOne(arrival, `${moveBackRemedy(besides, at, arrived.mergedRoot)} in this same delta${keeping(arrival, "key")}`)}`);
+    }
+    return issues;
+}
+/**
+ * Both axes' revival findings for one service, read standalone — the gate's
+ * two walks compute the same arrivals from the documents they already hold;
+ * `loam rebase` holds none, and must not pin a revived operation as if this
+ * feature were adding it. One detection, the gate's: `operationArrivals` on
+ * the contract axis, and on the event axis `readEventPair` and
+ * `eventArrivals`, the walk's own reader and candidates. Asked of the text
+ * rebase will WRITE (`planned`), not the text it found: its repin can turn a
+ * skipped quote into an edit, and the revival that edit makes is the one the
+ * next validate reports — this once ran over the delta as on disk, before
+ * the repin, and stayed silent about it.
+ */
+export async function serviceRevivals(request) {
+    const { docsDir, featureDir, service, retired, context, planned } = request;
+    const feature = featureSpecPaths(featureDir, service);
+    const living = await locateServicePaths(docsDir, service, context);
+    const issues = [];
+    if (existsSync(feature.openapi)) {
+        const featDoc = await readOpenapi(feature.openapi, context);
+        const livingDoc = await readOpenapi(living.openapi, context);
+        const sides = { featPath: feature.openapi, featDoc, livingPath: living.openapi, livingDoc, service, featText: planned?.get(feature.openapi) };
+        const ops = (await operationArrivals(sides, context)).operations;
+        if (ops.length > 0)
+            issues.push(...revivedOperations(service, ops, await retired()));
+    }
+    if (!existsSync(feature.asyncapi))
+        return issues;
+    const featDoc = await readAsyncapi(feature.asyncapi, context);
+    // An unreadable delta is `asyncapi.invalid` in the gate, which grades
+    // nothing else against it; the guards on the living side are the pair's.
+    if (featDoc.unreadable)
+        return issues;
+    const livingDoc = await readAsyncapi(living.asyncapi, context);
+    const sides = { featPath: feature.asyncapi, featDoc, livingPath: living.asyncapi, livingDoc, service, featText: planned?.get(feature.asyncapi) };
+    const events = eventArrivals(await readEventPair(sides, context));
+    if (events.slots.length > 0 || events.messages.length > 0)
+        issues.push(...revivedEvents(service, events, await retired()));
+    return issues;
+}
+/** The retired shape: absent from living, so the merge reads it as an addition. */
+function broughtBack(by, replaced = "") {
+    return `which the living contract no longer has — ${vacators(by, "")}, and archiving this delta would put it back.${replaced} ${REMEDY}`;
+}
+/**
+ * How a finding names the entry living at the arrival's address — its
+ * identity quoted, or, for an operation written with no operationId, what it
+ * is; undefined where nothing lives there.
+ */
+function occupant({ replaces, replacesUnnamed }) {
+    return replaces !== undefined ? `'${replaces}'` : replacesUnnamed === true ? "an operation with no operationId" : undefined;
+}
+/** The entry the merge would replace at the arrival's address, said as a sentence of its own — or nothing. */
+function replacing(arrival, verb) {
+    const there = occupant(arrival);
+    return there === undefined ? "" : ` ${arrival.at} now ${verb} ${there}, and archiving this delta replaces it there.`;
+}
+/**
+ * The duplicate shape's remedy, naming the address to drop: the quote, if it
+ * only restated the entry; to move it back on purpose, every other address —
+ * through `moveBack` when this delta can take the entry out of all of them,
+ * and otherwise only by keeping both under `--approve`, never a marker at a
+ * key the delta already spells.
+ */
+function dropOne({ at, besides, markable }, moveBack) {
+    const keep = `Delete the quote at ${at} if you only restated it, and make any change at ${besides.join(" and ")}`;
+    return markable
+        ? `${keep}; to move it back on purpose, ${moveBack}.`
+        : `${keep}; archive with --approve if the feature brings it back there on purpose.`;
+}
+/**
+ * A move back over another living entry takes that entry out too, unless the
+ * same delta puts it elsewhere — said in the remedy, because followed as it
+ * once read, the move back reached a clean gate and an archive that deleted
+ * the other entry with nothing naming it.
+ */
+function keeping(arrival, place) {
+    const there = occupant(arrival);
+    if (there === undefined)
+        return "";
+    // An operation nobody can name is still what stands there, and the delta
+    // can restate it elsewhere all the same — said by what it is, not by an id.
+    return arrival.replaces === undefined
+        ? ` — and, if the operation with no operationId is to stay, define it at another ${place} in it`
+        : ` — and define ${there} at another ${place} in it if it is to stay`;
+}
+function count(n) {
+    return n === 2 ? "two" : String(n);
+}
+/** "FEAT-112", "FEAT-112 and FEAT-140", "FEAT-1, FEAT-2 and FEAT-3". */
+function idList([first, ...rest]) {
+    return rest.reduce((said, id, i) => `${said}${i === rest.length - 1 ? " and" : ","} ${id}`, first);
+}
+/**
+ * Who took an entry out, and how — "archived FEAT-112 retired it",
+ * "archived FEAT-200 moved it to POST /y" — each feature once, in id order,
+ * movers that put it in the same place sharing one clause and retirers
+ * last. `there` places a retirement at the address the finding names, where
+ * the entry lives on elsewhere and the difference matters.
+ */
+function vacators(by, there) {
+    const byDestination = new Map();
+    const retirers = [];
+    for (const { by: id, to } of by) {
+        if (to.length === 0) {
+            if (!retirers.includes(id))
+                retirers.push(id);
+            continue;
+        }
+        const where = to.join(" and ");
+        const ids = byDestination.get(where);
+        if (ids === undefined)
+            byDestination.set(where, [id]);
+        else if (!ids.includes(id))
+            ids.push(id);
+    }
+    const clauses = [...byDestination].map(([where, ids], i) => `${idList(ids)} ${i === 0 ? "moved it " : ""}to ${where}`);
+    const [first, ...rest] = retirers;
+    if (first !== undefined)
+        clauses.push(`${idList([first, ...rest])} retired it${there}`);
+    return `archived ${clauses.reduce((all, clause, i) => `${all}${i === clauses.length - 1 ? ", and" : ","} ${clause}`)}`;
+}
+/**
+ * Where the entry stands now — "…, where it lives now" when every vacation
+ * was a move to exactly there, and said apart otherwise ("; it lives at
+ * POST /z now"): the two part ways once anything lands after a move, and
+ * this once credited a later feature's address to the mover (`Vacated`).
+ * `verb` is how the axis says it — an operation "lives", a message "is
+ * declared".
+ */
+function present(by, livesAt, verb) {
+    const now = new Set(livesAt);
+    const unchanged = by.every(({ to }) => to.length > 0 && to.length === now.size && to.every((where) => now.has(where)));
+    return unchanged ? `, where it ${verb} now` : `; it ${verb} at ${livesAt.join(" and ")} now`;
+}
+//# sourceMappingURL=revived.js.map

package/dist/core/coherence/retired/revival/revived.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revived.js","sourceRoot":"","sources":["../../../../../src/core/coherence/retired/revival/revived.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAIrC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,UAAU,EAAuE,MAAM,gBAAgB,CAAC;AACjH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAoC,MAAM,eAAe,CAAC;AAEnG,2FAA2F;AAC3F,MAAM,MAAM,GACV,4GAA4G,CAAC;AAE/G;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,SAAS,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAW,EAAE,SAAgC;IACpF,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAC5F,CAAC;IACF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,OAA2B,EAAE,KAAmB;IACjG,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrF,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC;YAC/B,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC,EAAE,EAAE,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE;YACpE,iEAAiE;YACjE,2DAA2D;YAC3D,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,QAAQ,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,kCAAkC,MAAM,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,mDAAmD,EAAE,WAAW,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,cAAc,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,6BAA6B,EAAE,QAAQ,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;QACjgB,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,wCAAwC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClK,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,cAAc,CAAC,UAA6B,EAAE,EAAU,EAAE,IAAa;IACrF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACpC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,CAAC,gBAAgB,IAAI,iBAAiB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,IAAI,eAAe,EAAE,EAAE,CAAC;QAClK,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAC/E,OAAO,mBAAmB,OAAO,mBAAmB,EAAE,uBAAuB,OAAO,EAAE,CAAC;IACzF,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,8GAA8G;AAC9G,SAAS,UAAU,CAAC,IAAa,EAAE,IAAY;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtD,kGAAkG;IAClG,MAAM,OAAO,GAAG,yBAAyB,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;IACxF,MAAM,QAAQ,GAAG,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpG,OAAQ,CAAC,UAAU,EAAE,YAAY,CAAW,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC/D,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SACzB,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,GAAG,EAAE,CAAC,CAChF,CAAC;AACJ,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,OAAsB,EAAE,KAAmB;IACxF,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAQ,EAAE;QACpC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,2CAA2C,IAAI,EAAE,EAAE,CAAC,CAAC;IACxK,CAAC,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU;YAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,KAAK,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,0EAA0E;QAC1E,uEAAuE;QACvE,0EAA0E;QAC1E,2EAA2E;QAC3E,wEAAwE;QACxE,qEAAqE;QACrE,6DAA6D;QAC7D,gCAAgC;QAChC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YAAE,SAAS;QACnI,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnF,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YACzB,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC,EAAE,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAAE;YAC/E,CAAC,CAAC,YAAY,EAAE,QAAQ,EAAE,KAAK,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC,mCAAmC,MAAM,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,aAAa,CAAC,kDAAkD,EAAE,WAAW,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,sBAAsB,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/f,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAgBD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAA8B;IAClE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,MAAM,GAAY,EAAE,CAAC;IAE3B,IAAI,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9I,MAAM,GAAG,GAAG,CAAC,MAAM,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QACjE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC;IACjD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9D,sEAAsE;IACtE,yEAAyE;IACzE,IAAI,OAAO,CAAC,UAAU;QAAE,OAAO,MAAM,CAAC;IACtC,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IACjJ,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC;IAC3H,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,EAAa,EAAE,QAAQ,GAAG,EAAE;IAC/C,OAAO,6CAA6C,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,gDAAgD,QAAQ,IAAI,MAAM,EAAE,CAAC;AAC3I,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAW;IACtD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9H,CAAC;AAED,8GAA8G;AAC9G,SAAS,SAAS,CAAC,OAAgB,EAAE,IAA0B;IAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,EAAE,QAAQ,IAAI,IAAI,KAAK,+CAA+C,CAAC;AACvH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAW,EAAE,QAAgB;IACnE,MAAM,IAAI,GAAG,uBAAuB,EAAE,oDAAoD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IAClH,OAAO,QAAQ;QACb,CAAC,CAAC,GAAG,IAAI,iCAAiC,QAAQ,GAAG;QACrD,CAAC,CAAC,GAAG,IAAI,0EAA0E,CAAC;AACxF,CAAC;AAED;;;;;GAKG;AACH,SAAS,OAAO,CAAC,OAAgB,EAAE,KAAwB;IACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,yEAAyE;IACzE,4EAA4E;IAC5E,OAAO,OAAO,CAAC,QAAQ,KAAK,SAAS;QACnC,CAAC,CAAC,iFAAiF,KAAK,QAAQ;QAChG,CAAC,CAAC,iBAAiB,KAAK,eAAe,KAAK,yBAAyB,CAAC;AAC1E,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,wEAAwE;AACxE,SAAS,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAiC;IAC9D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;AACrG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,EAAa,EAAE,KAAa;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC/D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;aACjD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,EAAE,CAAC,CAAC;IACvH,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,QAAQ,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC;IACxF,OAAO,YAAY,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,EAAE,CAAC,EAAE,CAAC;AACzH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,OAAO,CAAC,EAAsB,EAAE,OAA0B,EAAE,IAA6B;IAChG,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvH,OAAO,SAAS,CAAC,CAAC,CAAC,cAAc,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;AAC/F,CAAC","sourcesContent":["/**\n * The revival findings: a feature delta that would bring back what an\n * ARCHIVED feature took out of the living contract — an operation, slot or\n * message it retired, or an address it moved one away from, which would put\n * it back there beside where it lives now.\n *\n * `openapi.op-revived` and `asyncapi.slot-revived` — one code per axis, because\n * a caller acts the same way whichever slot section came back. Both are a\n * warning that GATES archive, `openapi.baseline-missing`'s doctrine: the\n * document is legal, and re-adding a retired operation can be exactly what a\n * feature means (a rollback of a retirement, a deprecation reversed), so\n * `--approve` carries the call. What it must never be again is SILENT — the\n * merge cannot tell a quote of a dead operation from an addition, and treated\n * every one as an addition.\n *\n * The candidates — what the contract the archive would WRITE answers that\n * the living one does not (./arrivals.ts) — are computed where both\n * documents are already in hand, in the feature gate's two walks\n * (../../declared.ts, ../../events/declared.ts), and only graded here, so\n * the archive walk (../archived.ts) is paid for only when the merged\n * contract answers something at an address the living one does not.\n * `serviceRevivals` asks the same two functions per axis standalone, for\n * `loam rebase`, which reads no gate — on the event axis through the gate's\n * own reading of the pair (../event-pair.ts) — so the two can never grade one\n * tree two ways.\n */\nimport { existsSync } from \"node:fs\";\nimport type { Issue } from \"../../../vocabulary/issue.js\";\nimport type { PathableService } from \"../../../kernel/ids/service.js\";\nimport type { DocsDir, FeatureDir } from \"../../../kernel/ids/dirs.js\";\nimport { featureSpecPaths } from \"../../../repo/paths.js\";\nimport { locateServicePaths } from \"../../../repo/service-target.js\";\nimport { readOpenapi } from \"../../../openapi/doc.js\";\nimport { readAsyncapi } from \"../../../asyncapi/read.js\";\nimport { entriesOf } from \"../../../asyncapi/digest.js\";\nimport { collectRefs } from \"../../../openapi/depth.js\";\nimport type { FleetContext } from \"../../../fleet-context.js\";\nimport { retiredKey, type RetiredIndex, type RetiredLookup, type Vacated, type Vacations } from \"../archived.js\";\nimport { readEventPair } from \"../event-pair.js\";\nimport { eventArrivals, operationArrivals, type Arrival, type EventArrivals } from \"./arrivals.js\";\n\n/** The two remedies, spelled once: which one applies is the human's call, never loam's. */\nconst REMEDY =\n  \"Delete the quote if you only restated it; archive with --approve if the feature brings it back on purpose.\";\n\n/**\n * The vacations that make one arrival a revival — undefined when it is none.\n * Either the living contract answers the identity nowhere, and an archived\n * feature retired it (anywhere: a retired operation re-added at a new path is\n * the same operation back, and a message is its name wherever it is\n * declared) or moved it away from this very address; or the merged contract\n * answers it at two or more addresses, and an archived feature retired it at,\n * or moved it away from, this very address — an old address resurrected\n * beside the current one. An identity the living contract still holds that\n * the merged contract answers at exactly one address — a move back, a swap,\n * a replacement with no operationId — is never a revival, and neither is an\n * address no archived feature vacated. One the living contract holds nowhere\n * is the first case at one address too: this once said \"exactly one address\n * is never a revival\" unqualified, and a quote of an address a move vacated,\n * after a hand edit took the id out of where the move put it, is one.\n *\n * Any archived feature — the one asking is never among them: coherence\n * grades only features in flight (status/feature/feature.ts), so a vacation\n * bearing the asking feature's id is another directory carrying the same\n * id, and as real as anyone's. Excluding it by id, as this once did, could\n * only hide a revival.\n */\nfunction revivalOf({ at, livesAt, besides }: Arrival, vacations: Vacations | undefined): Vacations | undefined {\n  if (vacations === undefined) return undefined;\n  const [first, ...rest] = vacations.filter((v) =>\n    livesAt.length === 0 ? v.to.length === 0 || v.at === at : besides.length > 0 && v.at === at,\n  );\n  return first === undefined ? undefined : [first, ...rest];\n}\n\n/** The operation arrivals that are revivals — each named for what happened, retired or vacated. */\nexport function revivedOperations(service: string, arrived: readonly Arrival[], index: RetiredIndex): Issue[] {\n  const issues: Issue[] = [];\n  for (const arrival of arrived) {\n    const by = revivalOf(arrival, index.operations.get(retiredKey(service, arrival.id)));\n    if (by === undefined) continue;\n    const { id, at, livesAt, besides } = arrival;\n    const what = livesAt.length === 0\n      ? `'${id}' (${at}), ${broughtBack(by, replacing(arrival, \"holds\"))}`\n      // A second address, not the operation back: it is living, so the\n      // remedy is which address to drop — never \"bring it back\".\n      : `'${id}' at ${at}, ${occupant(arrival) === undefined ? \"an address the living contract no longer has\" : \"an address it no longer lives at\"} — ${vacators(by, \" there\")}${present(by, livesAt, \"lives\")}, and archiving this delta would put it back at ${at} beside ${besides.join(\" and \")}: one operationId at ${count(besides.length + 1)} addresses.${replacing(arrival, \"holds\")} ${dropOne(arrival, `add a removal marker for '${id}' at ${besides.join(\" and \")} to this same delta${keeping(arrival, \"address\")}`)}`;\n    issues.push({ severity: \"warn\", gates: true, code: \"openapi.op-revived\", subject: service, message: `${service}: this feature's openapi.yaml spells ${what}` });\n  }\n  return issues;\n}\n\n/**\n * How a delta takes a message name OUT of the places it is declared — the\n * move-back remedy, per place, toward wherever the message is moved back to\n * (`to`). A `components.messages` key is a slot, and a removal marker there\n * retires what it declares. A declaration INLINE under a channel is not: it\n * is the channel slot's interior (SCHEMA.md), so a marker nested on it\n * retires nothing — `asyncapi.remove-marker-inline`, and the deep strip\n * publishes the message without the marker. This once said \"retire it at\n * channels.<ck>.messages.<mk>\", a remedy that, followed exactly, changed\n * nothing and drew a second refusal. The channel is the unit: restated with\n * the message as a `$ref` (an upsert replaces the interior), or retired. The\n * channel key is read the way the archive plan's remove-marker-inline\n * message reads it, so the two name the same channel.\n *\n * A `components.messages` key is retired by its marker, but a channel (or an\n * operation) of the contract the merge would leave (`root`) that still\n * `$ref`s it would point at nothing: its send stops sending the message,\n * `asyncapi.remove-message-consumed` where the fleet consumes it. This once\n * said only \"retire it at components.messages.<K2>\", a remedy that, followed\n * exactly, drew that error — so every slot still pointing there is named,\n * to restate with the `$ref` pointed at `to`.\n */\nexport function moveBackRemedy(declaredAt: readonly string[], to: string, root: unknown): string {\n  const steps = declaredAt.map((slot) => {\n    if (!slot.startsWith(\"channels.\")) {\n      const holders = pointingAt(root, slot);\n      return holders.length === 0 ? `retire it at ${slot}` : `retire it at ${slot}, and restate ${holders.join(\" and \")} with every $ref to ${slot} pointed at ${to}`;\n    }\n    const channel = slot.slice(\"channels.\".length, slot.lastIndexOf(\".messages.\"));\n    return `restate channel ${channel} with a $ref to ${to}, or retire channel ${channel}`;\n  });\n  return [...new Set(steps)].join(\"; and \");\n}\n\n/** The channels and operations of `root` holding a `$ref` to one `components.messages` slot, at any depth. */\nfunction pointingAt(root: unknown, slot: string): string[] {\n  const key = slot.slice(\"components.messages.\".length);\n  // JSON Pointer escaping, `~` before `/`, so a key spelling either is the pointer that reaches it.\n  const pointer = `#/components/messages/${key.replace(/~/g, \"~0\").replace(/\\//g, \"~1\")}`;\n  const sections = root !== null && typeof root === \"object\" ? (root as Record<string, unknown>) : {};\n  return ([\"channels\", \"operations\"] as const).flatMap((section) =>\n    entriesOf(sections[section])\n      .filter(([, node]) => collectRefs(node).includes(pointer))\n      .map(([key]) => `${section === \"channels\" ? \"channel\" : \"operation\"} ${key}`),\n  );\n}\n\n/** The event arrivals that are revivals — `revivedOperations`' rule, on the slot and the message name. */\nexport function revivedEvents(service: string, arrived: EventArrivals, index: RetiredIndex): Issue[] {\n  const issues: Issue[] = [];\n  const revive = (what: string): void => {\n    issues.push({ severity: \"warn\", gates: true, code: \"asyncapi.slot-revived\", subject: service, message: `${service}: this feature's asyncapi.yaml declares ${what}` });\n  };\n  const revivedChannels = new Set<string>();\n  for (const slot of arrived.slots) {\n    const by = index.slots.get(retiredKey(service, slot.section, slot.key));\n    if (by === undefined) continue;\n    if (slot.section === \"channels\") revivedChannels.add(slot.key);\n    revive(`${slot.section}.${slot.key}, ${broughtBack(by)}`);\n  }\n  for (const arrival of arrived.messages) {\n    // A message declared inline under a channel that is itself coming back is\n    // that channel's interior, and the channel's finding already names the\n    // revival — one act, one finding. Only while the merged contract declares\n    // the name nowhere else: where it does, the channel's finding says nothing\n    // of the second place, and this was once skipped all the same — a stale\n    // delta restating a channel whose inline message an archived feature\n    // re-declared under components archived under --approve into\n    // `asyncapi.duplicate-message`.\n    if (arrival.besides.length === 0 && [...revivedChannels].some((ck) => arrival.at.startsWith(`channels.${ck}.messages.`))) continue;\n    const by = revivalOf(arrival, index.messages.get(retiredKey(service, arrival.id)));\n    if (by === undefined) continue;\n    const { id, at, livesAt, besides } = arrival;\n    revive(livesAt.length === 0\n      ? `message '${id}' (${at}), ${broughtBack(by, replacing(arrival, \"declares\"))}`\n      : `message '${id}' at ${at}, ${arrival.replaces === undefined ? \"a key the living contract no longer has\" : \"a key it is no longer declared at\"} — ${vacators(by, \" there\")}${present(by, livesAt, \"is declared\")}, and archiving this delta would declare it at ${at} beside ${besides.join(\" and \")}: one message name in ${count(besides.length + 1)} places.${replacing(arrival, \"declares\")} ${dropOne(arrival, `${moveBackRemedy(besides, at, arrived.mergedRoot)} in this same delta${keeping(arrival, \"key\")}`)}`);\n  }\n  return issues;\n}\n\n/** What `serviceRevivals` needs: the feature, the service, and the run's reads. */\nexport interface ServiceRevivalRequest {\n  docsDir: DocsDir;\n  featureDir: FeatureDir;\n  service: PathableService;\n  retired: RetiredLookup;\n  context?: FleetContext;\n  /**\n   * The text rebase will write, by the path it writes it to — a contract\n   * delta absent here is graded as it stands on disk (`PairSides.featText`).\n   */\n  planned?: ReadonlyMap<string, string>;\n}\n\n/**\n * Both axes' revival findings for one service, read standalone — the gate's\n * two walks compute the same arrivals from the documents they already hold;\n * `loam rebase` holds none, and must not pin a revived operation as if this\n * feature were adding it. One detection, the gate's: `operationArrivals` on\n * the contract axis, and on the event axis `readEventPair` and\n * `eventArrivals`, the walk's own reader and candidates. Asked of the text\n * rebase will WRITE (`planned`), not the text it found: its repin can turn a\n * skipped quote into an edit, and the revival that edit makes is the one the\n * next validate reports — this once ran over the delta as on disk, before\n * the repin, and stayed silent about it.\n */\nexport async function serviceRevivals(request: ServiceRevivalRequest): Promise<Issue[]> {\n  const { docsDir, featureDir, service, retired, context, planned } = request;\n  const feature = featureSpecPaths(featureDir, service);\n  const living = await locateServicePaths(docsDir, service, context);\n  const issues: Issue[] = [];\n\n  if (existsSync(feature.openapi)) {\n    const featDoc = await readOpenapi(feature.openapi, context);\n    const livingDoc = await readOpenapi(living.openapi, context);\n    const sides = { featPath: feature.openapi, featDoc, livingPath: living.openapi, livingDoc, service, featText: planned?.get(feature.openapi) };\n    const ops = (await operationArrivals(sides, context)).operations;\n    if (ops.length > 0) issues.push(...revivedOperations(service, ops, await retired()));\n  }\n\n  if (!existsSync(feature.asyncapi)) return issues;\n  const featDoc = await readAsyncapi(feature.asyncapi, context);\n  // An unreadable delta is `asyncapi.invalid` in the gate, which grades\n  // nothing else against it; the guards on the living side are the pair's.\n  if (featDoc.unreadable) return issues;\n  const livingDoc = await readAsyncapi(living.asyncapi, context);\n  const sides = { featPath: feature.asyncapi, featDoc, livingPath: living.asyncapi, livingDoc, service, featText: planned?.get(feature.asyncapi) };\n  const events = eventArrivals(await readEventPair(sides, context));\n  if (events.slots.length > 0 || events.messages.length > 0) issues.push(...revivedEvents(service, events, await retired()));\n  return issues;\n}\n\n/** The retired shape: absent from living, so the merge reads it as an addition. */\nfunction broughtBack(by: Vacations, replaced = \"\"): string {\n  return `which the living contract no longer has — ${vacators(by, \"\")}, and archiving this delta would put it back.${replaced} ${REMEDY}`;\n}\n\n/**\n * How a finding names the entry living at the arrival's address — its\n * identity quoted, or, for an operation written with no operationId, what it\n * is; undefined where nothing lives there.\n */\nfunction occupant({ replaces, replacesUnnamed }: Arrival): string | undefined {\n  return replaces !== undefined ? `'${replaces}'` : replacesUnnamed === true ? \"an operation with no operationId\" : undefined;\n}\n\n/** The entry the merge would replace at the arrival's address, said as a sentence of its own — or nothing. */\nfunction replacing(arrival: Arrival, verb: \"holds\" | \"declares\"): string {\n  const there = occupant(arrival);\n  return there === undefined ? \"\" : ` ${arrival.at} now ${verb} ${there}, and archiving this delta replaces it there.`;\n}\n\n/**\n * The duplicate shape's remedy, naming the address to drop: the quote, if it\n * only restated the entry; to move it back on purpose, every other address —\n * through `moveBack` when this delta can take the entry out of all of them,\n * and otherwise only by keeping both under `--approve`, never a marker at a\n * key the delta already spells.\n */\nfunction dropOne({ at, besides, markable }: Arrival, moveBack: string): string {\n  const keep = `Delete the quote at ${at} if you only restated it, and make any change at ${besides.join(\" and \")}`;\n  return markable\n    ? `${keep}; to move it back on purpose, ${moveBack}.`\n    : `${keep}; archive with --approve if the feature brings it back there on purpose.`;\n}\n\n/**\n * A move back over another living entry takes that entry out too, unless the\n * same delta puts it elsewhere — said in the remedy, because followed as it\n * once read, the move back reached a clean gate and an archive that deleted\n * the other entry with nothing naming it.\n */\nfunction keeping(arrival: Arrival, place: \"address\" | \"key\"): string {\n  const there = occupant(arrival);\n  if (there === undefined) return \"\";\n  // An operation nobody can name is still what stands there, and the delta\n  // can restate it elsewhere all the same — said by what it is, not by an id.\n  return arrival.replaces === undefined\n    ? ` — and, if the operation with no operationId is to stay, define it at another ${place} in it`\n    : ` — and define ${there} at another ${place} in it if it is to stay`;\n}\n\nfunction count(n: number): string {\n  return n === 2 ? \"two\" : String(n);\n}\n\n/** \"FEAT-112\", \"FEAT-112 and FEAT-140\", \"FEAT-1, FEAT-2 and FEAT-3\". */\nfunction idList([first, ...rest]: readonly [string, ...string[]]): string {\n  return rest.reduce((said, id, i) => `${said}${i === rest.length - 1 ? \" and\" : \",\"} ${id}`, first);\n}\n\n/**\n * Who took an entry out, and how — \"archived FEAT-112 retired it\",\n * \"archived FEAT-200 moved it to POST /y\" — each feature once, in id order,\n * movers that put it in the same place sharing one clause and retirers\n * last. `there` places a retirement at the address the finding names, where\n * the entry lives on elsewhere and the difference matters.\n */\nfunction vacators(by: Vacations, there: string): string {\n  const byDestination = new Map<string, [string, ...string[]]>();\n  const retirers: string[] = [];\n  for (const { by: id, to } of by) {\n    if (to.length === 0) {\n      if (!retirers.includes(id)) retirers.push(id);\n      continue;\n    }\n    const where = to.join(\" and \");\n    const ids = byDestination.get(where);\n    if (ids === undefined) byDestination.set(where, [id]);\n    else if (!ids.includes(id)) ids.push(id);\n  }\n  const clauses = [...byDestination].map(([where, ids], i) => `${idList(ids)} ${i === 0 ? \"moved it \" : \"\"}to ${where}`);\n  const [first, ...rest] = retirers;\n  if (first !== undefined) clauses.push(`${idList([first, ...rest])} retired it${there}`);\n  return `archived ${clauses.reduce((all, clause, i) => `${all}${i === clauses.length - 1 ? \", and\" : \",\"} ${clause}`)}`;\n}\n\n/**\n * Where the entry stands now — \"…, where it lives now\" when every vacation\n * was a move to exactly there, and said apart otherwise (\"; it lives at\n * POST /z now\"): the two part ways once anything lands after a move, and\n * this once credited a later feature's address to the mover (`Vacated`).\n * `verb` is how the axis says it — an operation \"lives\", a message \"is\n * declared\".\n */\nfunction present(by: readonly Vacated[], livesAt: readonly string[], verb: \"lives\" | \"is declared\"): string {\n  const now = new Set(livesAt);\n  const unchanged = by.every(({ to }) => to.length > 0 && to.length === now.size && to.every((where) => now.has(where)));\n  return unchanged ? `, where it ${verb} now` : `; it ${verb} at ${livesAt.join(\" and \")} now`;\n}\n"]}