@ybotok/loam 0.2.0-alpha.6 → 0.2.0-alpha.9

package/dist/core/coherence/events/declared.js

@@ -6,8 +6,8 @@
  * feature document's readability (`asyncapi.invalid` suspends the rest, the
  * unreadableApis discipline), the baseline pins and removal-marker exactness
  * (./grades.ts, slot-keyed), the removal↔REMOVED-requirement justification
- * join, and the merge simulation (./merged.ts) the cross-axis checks grade
- * against. What it cannot answer alone — who still consumes a message, what
+ * join, and the merge simulation (../retired/merged.ts) the cross-axis
+ * checks grade against. What it cannot answer alone — who still consumes a message, what
  * other features are adding — lives in ./lookups.ts, and the cross-axis
  * grading of edges and requirement lines in ./events.ts.
  *
@@ -23,16 +23,15 @@
  */
 import { existsSync } from "node:fs";
 import { readFile } from "node:fs/promises";
-import { parse } from "yaml";
-import { NotUtf8DocumentError } from "../../kernel/document-bytes.js";
 import {} from "../../kernel/ids/service.js";
 import { featureSpecPaths, SPEC_AXES } from "../../repo/paths.js";
 import { locateServicePaths } from "../../repo/service-target.js";
 import { parseRequirements } from "../../document/parse.js";
-import { asyncapiSlots } from "../../asyncapi/digest.js";
 import { readAsyncapi } from "../../asyncapi/read.js";
 import { gradeBaselines, gradeMarkers } from "./grades.js";
-import { mergedAsyncapiDoc } from "./merged.js";
+import { messageRetirements } from "../retired/retirement.js";
+import { eventArrivals } from "../retired/revival/arrivals.js";
+import { readEventPair } from "../retired/event-pair.js";
 /**
  * The delta's `Publishes:`/`Consumes:` lines for one service, split by
  * requirement fate — read from BOTH spec files, because the outbox
@@ -62,25 +61,16 @@ export async function deltaEventLines(scope, service, context) {
     }
     return { removed, links };
 }
-/** Read a document's text, answering undefined for bytes that do not decode — ../declared.ts's guard. */
-async function readOr(p, context) {
-    try {
-        return context === undefined ? await readFile(p, "utf8") : await context.readText(p);
-    }
-    catch (err) {
-        if (err instanceof NotUtf8DocumentError)
-            return undefined;
-        throw err;
-    }
-}
 export async function declaredEvents(scope, svcNames, issues, context) {
     const { docsDir, featureDir, featureId } = scope;
     const featureDocs = new Map();
     const mergedDocs = new Map();
     const netRemoved = new Map();
     const stoppedSending = new Map();
+    const sentAfter = new Map();
     const links = new Map();
     const unreadable = new Set();
+    const revivalCandidates = new Map();
     for (const svc of svcNames) {
         const featPath = featureSpecPaths(featureDir, svc).asyncapi;
         const { removed: justifiedMsgs, links: svcLinks } = await deltaEventLines(scope, svc, context);
@@ -125,53 +115,39 @@ export async function declaredEvents(scope, svcNames, issues, context) {
                 severity: "error",
                 code: "asyncapi.invalid",
                 subject: svc,
-                message: `${svc}: this feature's asyncapi.yaml does not parse${featDoc.error === undefined ? "" : ` (${featDoc.error})`} — the event axis is unchecked and the merge would have nothing true to write. Fix the YAML first.`,
+                message: `${svc}: this feature's asyncapi.yaml does not read as AsyncAPI 3.0${featDoc.error === undefined ? "" : ` (${featDoc.error})`} — the event axis is unchecked and the merge would have nothing true to write. Fix the document first.`,
             });
             continue;
         }
         featureDocs.set(svc, featDoc);
-        const featText = await readOr(featPath, context);
-        // Parsed ONCE and kept: the slot walk and the surface half of the baseline
-        // grade read the same resolved tree, and a second `parse` of the same
-        // bytes is a second chance for the two halves to disagree about what the
-        // delta declares.
-        const featPlain = featText === undefined ? {} : parse(featText);
-        const featSlots = asyncapiSlots(featPlain);
-        // The living side of every slot judgement. Absent is a real answer —
-        // everything the delta spells is new, and a baseline only means
-        // something for a slot that already exists. Unreadable is NOT an
-        // answer: grading pins or markers against an empty parse would call
-        // every restatement new and every marker stale, so both checks stand
-        // down and the (later) merge refuses the unreadable side by name.
-        const livingText = !existsSync(livingPath) || livingDoc.unreadable ? undefined : await readOr(livingPath, context);
-        const livingPlain = livingText === undefined ? {} : parse(livingText);
-        const livingSlots = new Map(asyncapiSlots(livingPlain).map((s) => [`${s.section}\0${s.key}`, s]));
+        // Both sides' texts, trees and slots, read the one way rebase's
+        // standalone revival read reads them too (../retired/event-pair.ts owns
+        // the guards: absent living is an answer, unreadable living is not).
+        const read = await readEventPair({ featPath, featDoc, livingPath, livingDoc, service: svc }, context);
+        const { featSlots, livingText } = read;
+        revivalCandidates.set(svc, eventArrivals(read));
+        // The pair's one simulation, which the revival candidates above have
+        // already asked: absent living included, where it is the create branch.
+        const sends = read.merged()?.doc.sent;
+        if (sends !== undefined)
+            sentAfter.set(svc, sends);
         if (livingText !== undefined) {
-            gradeBaselines({ featSlots, livingSlots, featPlain, livingPlain, svc, featureId }, issues);
-            gradeMarkers({ featDoc, livingDoc, featSlots, livingSlots }, svc, issues);
-            if (featText !== undefined) {
-                const merged = mergedAsyncapiDoc({ livingText, livingDoc, featureText: featText, service: svc });
-                if (merged !== undefined) {
-                    mergedDocs.set(svc, merged);
-                    stoppedSending.set(svc, livingDoc.sent.filter((m) => !merged.sent.includes(m)));
-                }
+            gradeBaselines({ ...read, svc, featureId }, issues);
+            gradeMarkers(read, svc, issues);
+            // The pair's one simulation — the revival candidates above have already
+            // asked it, comparing it with the living contract.
+            const merged = read.merged()?.doc;
+            if (merged !== undefined) {
+                mergedDocs.set(svc, merged);
+                stoppedSending.set(svc, livingDoc.sent.filter((m) => !merged.sent.includes(m)));
             }
         }
-        // A relocation — same message name, marker on the old key, declaration
-        // at a new one — retires nothing. "Is this message going away" asks the
-        // NET set; "did the author write a marker" asks the raw one,
-        // ../declared.ts's distinction verbatim. Two raw sets, because the two
-        // marker shapes carry different debts: a message-slot marker must be
-        // justified by a REMOVED requirement, while a channel-slot removal needs
-        // exactness only (requirements join on message names, never channel
-        // keys — SCHEMA.md) and its living inline interior leaves with it.
-        const markerNames = new Set(featDoc.messages.filter((m) => m.remove === true && m.slot.startsWith("components.messages.")).map((m) => m.name));
-        const channelRemovals = featSlots.filter((s) => s.section === "channels" && s.remove).map((s) => s.key);
-        const inlineRetired = new Set(livingDoc.messages
-            .filter((m) => channelRemovals.some((ck) => m.slot.startsWith(`channels.${ck}.messages.`)))
-            .map((m) => m.name));
-        const redeclared = new Set(featDoc.messages.filter((m) => m.remove !== true).map((m) => m.name));
-        const net = new Set([...markerNames, ...inlineRetired].filter((name) => !redeclared.has(name)));
+        // The raw marker sets and the NET one (minus relocations) —
+        // ../retired/retirement.ts owns the rule and says why each set exists;
+        // the retired index reads every archived feature through the same
+        // function, against that feature's snapshot pre-image instead of the
+        // living contract on disk.
+        const { markerNames, inlineRetired, redeclared, net } = messageRetirements(featDoc, featSlots, livingDoc);
         netRemoved.set(svc, net);
         for (const name of markerNames) {
             if (redeclared.has(name) || justifiedMsgs.has(name))
@@ -188,11 +164,20 @@ export async function declaredEvents(scope, svcNames, issues, context) {
             // and satisfied by ANY marker taking it out, relocation included: a
             // message-slot marker naming it, or a channel-slot removal whose
             // living inline interior declares it (the SCHEMA-sanctioned way to
-            // retire an inline declaration).
+            // retire an inline declaration). And owed only while the MERGE would
+            // still declare it: a slot re-keyed to another name takes the message
+            // out with no marker, and none could be written there — the key holds
+            // the re-keyed declaration — so the route `asyncapi.remove-message-
+            // consumed` names (REMOVE the requirement whose Publishes: line names
+            // it) ended in this error, `openapi.remove-marker-missing`'s deadlock
+            // one axis over.
             if (markerNames.has(m) || inlineRetired.has(m))
                 continue;
             if (livingDoc.unreadable || !livingDoc.messages.some((msg) => msg.name === m))
                 continue;
+            const after = mergedDocs.get(svc);
+            if (after !== undefined && !after.messages.some((msg) => msg.name === m))
+                continue;
             issues.push({
                 severity: "error",
                 code: "asyncapi.remove-marker-missing",
@@ -201,6 +186,6 @@ export async function declaredEvents(scope, svcNames, issues, context) {
             });
         }
     }
-    return { featureDocs, mergedDocs, netRemoved, stoppedSending, links, unreadable };
+    return { featureDocs, mergedDocs, netRemoved, stoppedSending, sentAfter, links, unreadable, revivalCandidates };
 }
 //# sourceMappingURL=declared.js.map

package/dist/core/coherence/events/declared.js.map

@@ -1 +1 @@
-{"version":3,"file":"declared.js","sourceRoot":"","sources":["../../../../src/core/coherence/events/declared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAwB,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAqB,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAqDhD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,KAAsB,EACtB,OAAwB,EACxB,OAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;YAChC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChE,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,WAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9G,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,UAAmB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,yGAAyG;AACzG,KAAK,UAAU,MAAM,CAAC,CAAS,EAAE,OAAsB;IACrD,IAAI,CAAC;QACH,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,oBAAoB;YAAE,OAAO,SAAS,CAAC;QAC1D,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAAsB,EACtB,QAA2B,EAC3B,MAAe,EACf,OAAsB;IAEtB,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC5D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;QAC5D,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/F,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACzB,yEAAyE;QACzE,yEAAyE;QACzE,qEAAqE;QACrE,yEAAyE;QACzE,2BAA2B;QAC3B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QAChE,MAAM,UAAU,GAAG,CAAC,MAAM,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC9E,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,uEAAuE;YACvE,mEAAmE;YACnE,gEAAgE;YAChE,uEAAuE;YACvE,kEAAkE;YAClE,6CAA6C;YAC7C,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,IAAI,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;oBAAE,SAAS;gBACxF,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE,GAAG,GAAG,8DAA8D,CAAC,8HAA8H,GAAG,gBAAgB;iBAChO,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACtD,yEAAyE;QACzE,oEAAoE;QACpE,yEAAyE;QACzE,mEAAmE;QACnE,8BAA8B;QAC9B,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,gDAAgD,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,GAAG,oGAAoG;aAC5N,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAE9B,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACjD,2EAA2E;QAC3E,sEAAsE;QACtE,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,SAAS,GAAY,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzE,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;QAC3C,qEAAqE;QACrE,gEAAgE;QAChE,iEAAiE;QACjE,oEAAoE;QACpE,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,UAAU,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACnH,MAAM,WAAW,GAAY,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,aAAa,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CACrE,CAAC;QAEF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,cAAc,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,CAAC;YAC3F,YAAY,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YAC1E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,iBAAiB,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;gBACjG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBAC5B,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;QACH,CAAC;QAED,uEAAuE;QACvE,wEAAwE;QACxE,6DAA6D;QAC7D,uEAAuE;QACvE,qEAAqE;QACrE,yEAAyE;QACzE,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAClH,CAAC;QACF,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACxG,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;aAC1F,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB,CAAC;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAEzB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,oCAAoC;gBAC1C,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,iCAAiC,IAAI,yEAAyE;aAC9H,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,mEAAmE;YACnE,oEAAoE;YACpE,iEAAiE;YACjE,mEAAmE;YACnE,iCAAiC;YACjC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YACzD,IAAI,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;gBAAE,SAAS;YACxF,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,gCAAgC;gBACtC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,8DAA8D,CAAC,+HAA+H;aAC9M,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACpF,CAAC","sourcesContent":["/**\n * What a feature's asyncapi deltas DECLARE, per service — ../declared.ts's\n * mirror on the event axis, indexed in one walk and graded as it goes.\n *\n * The walk owns every check that reads ONE service's pair of contracts: the\n * feature document's readability (`asyncapi.invalid` suspends the rest, the\n * unreadableApis discipline), the baseline pins and removal-marker exactness\n * (./grades.ts, slot-keyed), the removal↔REMOVED-requirement justification\n * join, and the merge simulation (./merged.ts) the cross-axis checks grade\n * against. What it cannot answer alone — who still consumes a message, what\n * other features are adding — lives in ./lookups.ts, and the cross-axis\n * grading of edges and requirement lines in ./events.ts.\n *\n * Slot identity is core/asyncapi/digest.ts's: three sections, and an inline\n * channel message is channel-slot interior — a marker NESTED on one makes\n * the channel an EDIT against the channel's pin, never a message removal,\n * so nothing here reads it as one. A CHANNEL-slot removal, by contrast,\n * takes its living inline interior with it (SCHEMA.md's decision), so the\n * justification join counts those inline names as marked: without that, a\n * message declared only inline was a deadlock — the sanctioned channel\n * marker graded remove-marker-missing, and the components.messages marker\n * the error suggested graded remove-target-missing.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { parse } from \"yaml\";\nimport { NotUtf8DocumentError } from \"../../kernel/document-bytes.js\";\nimport { type PathableService } from \"../../kernel/ids/service.js\";\nimport type { Issue } from \"../../vocabulary/issue.js\";\nimport { featureSpecPaths, SPEC_AXES } from \"../../repo/paths.js\";\nimport { locateServicePaths } from \"../../repo/service-target.js\";\nimport { parseRequirements } from \"../../document/parse.js\";\nimport { asyncapiSlots, type AsyncapiSlot } from \"../../asyncapi/digest.js\";\nimport { readAsyncapi } from \"../../asyncapi/read.js\";\nimport type { AsyncapiDoc } from \"../../asyncapi/model.js\";\nimport type { FleetContext } from \"../../fleet-context.js\";\nimport type { DocsDir, FeatureDir } from \"../../kernel/ids/dirs.js\";\nimport { gradeBaselines, gradeMarkers } from \"./grades.js\";\nimport { mergedAsyncapiDoc } from \"./merged.js\";\n\n/** The three facts this walk needs about the feature it is reading. */\nexport interface EventDeltaScope {\n  docsDir: DocsDir;\n  featureDir: FeatureDir;\n  featureId: string;\n}\n\n/** One delta requirement's `Publishes:`/`Consumes:` claim — what ./events.ts grades against the contract. */\nexport interface EventLink {\n  direction: \"publishes\" | \"consumes\";\n  message: string;\n  requirement: string;\n}\n\n/** Everything one feature's asyncapi deltas say about their own services. */\nexport interface DeclaredEvents {\n  /** Per touched service: the feature delta's parse — present only where the file exists and reads. */\n  featureDocs: Map<PathableService, AsyncapiDoc>;\n  /**\n   * Per touched service: the living contract as the MERGE would leave it\n   * (./merged.ts) — present where a feature delta sits over a readable\n   * living contract and the simulation had an answer. What `declares()` and\n   * the consumer gate's wire half read, so the gate grades the post-archive\n   * contract rather than the union of two documents one of which is leaving.\n   */\n  mergedDocs: Map<PathableService, AsyncapiDoc>;\n  /**\n   * Per service: message names this feature genuinely retires — message-slot\n   * markers plus a removed channel's living INLINE interior (SCHEMA.md:\n   * retiring a whole channel retires its inline messages with it), minus\n   * redeclarations.\n   */\n  netRemoved: Map<string, Set<string>>;\n  /**\n   * Per service: messages the living contract SENDS that the merged one\n   * would not — a channel or operation removal, or an edit, stopping\n   * production while the declaration may well survive. The wire half of the\n   * consumer question (./events.ts); empty where no simulation ran.\n   */\n  stoppedSending: Map<string, string[]>;\n  /**\n   * Per service in the walk: the delta's non-REMOVED `Publishes:`/`Consumes:`\n   * lines — read once HERE and graded in ./events.ts, the indexed-in-one-walk\n   * rule this record exists for (the same lines used to be re-read and\n   * re-parsed per question on the context-less archive-gate path).\n   */\n  links: Map<PathableService, EventLink[]>;\n  /** Services whose FEATURE asyncapi.yaml exists but does not parse — every event check suspends for them. */\n  unreadable: Set<string>;\n}\n\n/**\n * The delta's `Publishes:`/`Consumes:` lines for one service, split by\n * requirement fate — read from BOTH spec files, because the outbox\n * requirement in arch.spec.md is the canonical home of an event line. A\n * REMOVED requirement's lines justify removals; everything else's are\n * claims ./events.ts grades against the contract.\n */\nexport async function deltaEventLines(\n  scope: EventDeltaScope,\n  service: PathableService,\n  context?: FleetContext,\n): Promise<{ removed: Set<string>; links: EventLink[] }> {\n  const removed = new Set<string>();\n  const links: EventLink[] = [];\n  for (const axis of SPEC_AXES) {\n    const p = featureSpecPaths(scope.featureDir, service)[axis.key];\n    if (!existsSync(p)) continue;\n    const reqs = context === undefined\n      ? parseRequirements(await readFile(p, \"utf8\"))\n      : await context.readRequirements(p);\n    for (const r of reqs) {\n      if (r.kind === \"REMOVED\") {\n        for (const m of [...r.publishes, ...r.consumes]) removed.add(m);\n        continue;\n      }\n      links.push(...r.publishes.map((m) => ({ direction: \"publishes\" as const, message: m, requirement: r.name })));\n      links.push(...r.consumes.map((m) => ({ direction: \"consumes\" as const, message: m, requirement: r.name })));\n    }\n  }\n  return { removed, links };\n}\n\n/** Read a document's text, answering undefined for bytes that do not decode — ../declared.ts's guard. */\nasync function readOr(p: string, context?: FleetContext): Promise<string | undefined> {\n  try {\n    return context === undefined ? await readFile(p, \"utf8\") : await context.readText(p);\n  } catch (err) {\n    if (err instanceof NotUtf8DocumentError) return undefined;\n    throw err;\n  }\n}\n\nexport async function declaredEvents(\n  scope: EventDeltaScope,\n  svcNames: PathableService[],\n  issues: Issue[],\n  context?: FleetContext,\n): Promise<DeclaredEvents> {\n  const { docsDir, featureDir, featureId } = scope;\n  const featureDocs = new Map<PathableService, AsyncapiDoc>();\n  const mergedDocs = new Map<PathableService, AsyncapiDoc>();\n  const netRemoved = new Map<string, Set<string>>();\n  const stoppedSending = new Map<string, string[]>();\n  const links = new Map<PathableService, EventLink[]>();\n  const unreadable = new Set<string>();\n  for (const svc of svcNames) {\n    const featPath = featureSpecPaths(featureDir, svc).asyncapi;\n    const { removed: justifiedMsgs, links: svcLinks } = await deltaEventLines(scope, svc, context);\n    links.set(svc, svcLinks);\n    // The living contract is read only where a question will be asked of it:\n    // no event delta and no REMOVED line means no marker debt and no slot to\n    // grade. The unguarded read was an eager parse per touched service —\n    // paid on every archive, whose gate runs without a FleetContext — for an\n    // answer nothing consumed.\n    if (!existsSync(featPath) && justifiedMsgs.size === 0) continue;\n    const livingPath = (await locateServicePaths(docsDir, svc, context)).asyncapi;\n    const livingDoc = await readAsyncapi(livingPath, context);\n    if (!existsSync(featPath)) {\n      // No event delta — but a REMOVED requirement may still be walking away\n      // from a message the LIVING contract declares, and the marker that\n      // retires the declaration has to ride in the same feature. Only\n      // messages the living contract actually carries are owed one: an event\n      // contract is optional, and a fleet retiring a requirement over a\n      // message no contract declares owes no file.\n      for (const m of justifiedMsgs) {\n        if (livingDoc.unreadable || !livingDoc.messages.some((msg) => msg.name === m)) continue;\n        issues.push({\n          severity: \"error\",\n          code: \"asyncapi.remove-marker-missing\",\n          subject: svc,\n          message: `${svc}: a REMOVED requirement's Publishes:/Consumes: line names '${m}', which the living asyncapi.yaml still declares, but this feature carries no matching x-loam-remove: true marker in specs/${svc}/asyncapi.yaml`,\n        });\n      }\n      continue;\n    }\n    const featDoc = await readAsyncapi(featPath, context);\n    // A feature contract that EXISTS but does not read is a broken document,\n    // not an empty one — openapi.invalid's discipline (../declared.ts),\n    // applied to the event axis: the rest of this service's event checks are\n    // suspended, because every one of them would be an opinion about a\n    // document nobody could open.\n    if (featDoc.unreadable) {\n      unreadable.add(svc);\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.invalid\",\n        subject: svc,\n        message: `${svc}: this feature's asyncapi.yaml does not parse${featDoc.error === undefined ? \"\" : ` (${featDoc.error})`} — the event axis is unchecked and the merge would have nothing true to write. Fix the YAML first.`,\n      });\n      continue;\n    }\n    featureDocs.set(svc, featDoc);\n\n    const featText = await readOr(featPath, context);\n    // Parsed ONCE and kept: the slot walk and the surface half of the baseline\n    // grade read the same resolved tree, and a second `parse` of the same\n    // bytes is a second chance for the two halves to disagree about what the\n    // delta declares.\n    const featPlain: unknown = featText === undefined ? {} : parse(featText);\n    const featSlots = asyncapiSlots(featPlain);\n    // The living side of every slot judgement. Absent is a real answer —\n    // everything the delta spells is new, and a baseline only means\n    // something for a slot that already exists. Unreadable is NOT an\n    // answer: grading pins or markers against an empty parse would call\n    // every restatement new and every marker stale, so both checks stand\n    // down and the (later) merge refuses the unreadable side by name.\n    const livingText = !existsSync(livingPath) || livingDoc.unreadable ? undefined : await readOr(livingPath, context);\n    const livingPlain: unknown = livingText === undefined ? {} : parse(livingText);\n    const livingSlots = new Map<string, AsyncapiSlot>(\n      asyncapiSlots(livingPlain).map((s) => [`${s.section}\\0${s.key}`, s]),\n    );\n\n    if (livingText !== undefined) {\n      gradeBaselines({ featSlots, livingSlots, featPlain, livingPlain, svc, featureId }, issues);\n      gradeMarkers({ featDoc, livingDoc, featSlots, livingSlots }, svc, issues);\n      if (featText !== undefined) {\n        const merged = mergedAsyncapiDoc({ livingText, livingDoc, featureText: featText, service: svc });\n        if (merged !== undefined) {\n          mergedDocs.set(svc, merged);\n          stoppedSending.set(svc, livingDoc.sent.filter((m) => !merged.sent.includes(m)));\n        }\n      }\n    }\n\n    // A relocation — same message name, marker on the old key, declaration\n    // at a new one — retires nothing. \"Is this message going away\" asks the\n    // NET set; \"did the author write a marker\" asks the raw one,\n    // ../declared.ts's distinction verbatim. Two raw sets, because the two\n    // marker shapes carry different debts: a message-slot marker must be\n    // justified by a REMOVED requirement, while a channel-slot removal needs\n    // exactness only (requirements join on message names, never channel\n    // keys — SCHEMA.md) and its living inline interior leaves with it.\n    const markerNames = new Set(\n      featDoc.messages.filter((m) => m.remove === true && m.slot.startsWith(\"components.messages.\")).map((m) => m.name),\n    );\n    const channelRemovals = featSlots.filter((s) => s.section === \"channels\" && s.remove).map((s) => s.key);\n    const inlineRetired = new Set(\n      livingDoc.messages\n        .filter((m) => channelRemovals.some((ck) => m.slot.startsWith(`channels.${ck}.messages.`)))\n        .map((m) => m.name),\n    );\n    const redeclared = new Set(featDoc.messages.filter((m) => m.remove !== true).map((m) => m.name));\n    const net = new Set([...markerNames, ...inlineRetired].filter((name) => !redeclared.has(name)));\n    netRemoved.set(svc, net);\n\n    for (const name of markerNames) {\n      if (redeclared.has(name) || justifiedMsgs.has(name)) continue;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-marker-unjustified\",\n        subject: svc,\n        message: `${svc}: removal marker for message '${name}' is not justified by a REMOVED requirement's Publishes:/Consumes: line`,\n      });\n    }\n    for (const m of justifiedMsgs) {\n      // Owed only while the living contract still declares the message —\n      // and satisfied by ANY marker taking it out, relocation included: a\n      // message-slot marker naming it, or a channel-slot removal whose\n      // living inline interior declares it (the SCHEMA-sanctioned way to\n      // retire an inline declaration).\n      if (markerNames.has(m) || inlineRetired.has(m)) continue;\n      if (livingDoc.unreadable || !livingDoc.messages.some((msg) => msg.name === m)) continue;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-marker-missing\",\n        subject: svc,\n        message: `${svc}: a REMOVED requirement's Publishes:/Consumes: line names '${m}', which the living asyncapi.yaml still declares, but this feature's asyncapi.yaml has no matching x-loam-remove: true marker`,\n      });\n    }\n  }\n  return { featureDocs, mergedDocs, netRemoved, stoppedSending, links, unreadable };\n}\n"]}
+{"version":3,"file":"declared.js","sourceRoot":"","sources":["../../../../src/core/coherence/events/declared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAwB,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAsB,MAAM,gCAAgC,CAAC;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAyEzD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,KAAsB,EACtB,OAAwB,EACxB,OAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;YAChC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChE,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,WAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9G,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,UAAmB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAAsB,EACtB,QAA2B,EAC3B,MAAe,EACf,OAAsB;IAEtB,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC5D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkC,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;QAC5D,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/F,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACzB,yEAAyE;QACzE,yEAAyE;QACzE,qEAAqE;QACrE,yEAAyE;QACzE,2BAA2B;QAC3B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QAChE,MAAM,UAAU,GAAG,CAAC,MAAM,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC9E,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,uEAAuE;YACvE,mEAAmE;YACnE,gEAAgE;YAChE,uEAAuE;YACvE,kEAAkE;YAClE,6CAA6C;YAC7C,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,IAAI,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;oBAAE,SAAS;gBACxF,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE,GAAG,GAAG,8DAA8D,CAAC,8HAA8H,GAAG,gBAAgB;iBAChO,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACtD,yEAAyE;QACzE,oEAAoE;QACpE,yEAAyE;QACzE,mEAAmE;QACnE,8BAA8B;QAC9B,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,+DAA+D,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,GAAG,wGAAwG;aAC/O,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAE9B,gEAAgE;QAChE,wEAAwE;QACxE,qEAAqE;QACrE,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;QACtG,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QACvC,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAEnD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,cAAc,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,CAAC;YACpD,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YAChC,wEAAwE;YACxE,mDAAmD;YACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBAC5B,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,uEAAuE;QACvE,kEAAkE;QAClE,qEAAqE;QACrE,2BAA2B;QAC3B,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAC1G,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAEzB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,oCAAoC;gBAC1C,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,iCAAiC,IAAI,yEAAyE;aAC9H,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,mEAAmE;YACnE,oEAAoE;YACpE,iEAAiE;YACjE,mEAAmE;YACnE,qEAAqE;YACrE,sEAAsE;YACtE,sEAAsE;YACtE,oEAAoE;YACpE,sEAAsE;YACtE,sEAAsE;YACtE,iBAAiB;YACjB,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YACzD,IAAI,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;gBAAE,SAAS;YACxF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;gBAAE,SAAS;YACnF,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,gCAAgC;gBACtC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,8DAA8D,CAAC,+HAA+H;aAC9M,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC;AAClH,CAAC","sourcesContent":["/**\n * What a feature's asyncapi deltas DECLARE, per service — ../declared.ts's\n * mirror on the event axis, indexed in one walk and graded as it goes.\n *\n * The walk owns every check that reads ONE service's pair of contracts: the\n * feature document's readability (`asyncapi.invalid` suspends the rest, the\n * unreadableApis discipline), the baseline pins and removal-marker exactness\n * (./grades.ts, slot-keyed), the removal↔REMOVED-requirement justification\n * join, and the merge simulation (../retired/merged.ts) the cross-axis\n * checks grade against. What it cannot answer alone — who still consumes a message, what\n * other features are adding — lives in ./lookups.ts, and the cross-axis\n * grading of edges and requirement lines in ./events.ts.\n *\n * Slot identity is core/asyncapi/digest.ts's: three sections, and an inline\n * channel message is channel-slot interior — a marker NESTED on one makes\n * the channel an EDIT against the channel's pin, never a message removal,\n * so nothing here reads it as one. A CHANNEL-slot removal, by contrast,\n * takes its living inline interior with it (SCHEMA.md's decision), so the\n * justification join counts those inline names as marked: without that, a\n * message declared only inline was a deadlock — the sanctioned channel\n * marker graded remove-marker-missing, and the components.messages marker\n * the error suggested graded remove-target-missing.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { type PathableService } from \"../../kernel/ids/service.js\";\nimport type { Issue } from \"../../vocabulary/issue.js\";\nimport { featureSpecPaths, SPEC_AXES } from \"../../repo/paths.js\";\nimport { locateServicePaths } from \"../../repo/service-target.js\";\nimport { parseRequirements } from \"../../document/parse.js\";\nimport { readAsyncapi } from \"../../asyncapi/read.js\";\nimport type { AsyncapiDoc } from \"../../asyncapi/model.js\";\nimport type { FleetContext } from \"../../fleet-context.js\";\nimport type { DocsDir, FeatureDir } from \"../../kernel/ids/dirs.js\";\nimport { gradeBaselines, gradeMarkers } from \"./grades.js\";\nimport { messageRetirements } from \"../retired/retirement.js\";\nimport { eventArrivals, type EventArrivals } from \"../retired/revival/arrivals.js\";\nimport { readEventPair } from \"../retired/event-pair.js\";\n\n/** The three facts this walk needs about the feature it is reading. */\nexport interface EventDeltaScope {\n  docsDir: DocsDir;\n  featureDir: FeatureDir;\n  featureId: string;\n}\n\n/** One delta requirement's `Publishes:`/`Consumes:` claim — what ./events.ts grades against the contract. */\nexport interface EventLink {\n  direction: \"publishes\" | \"consumes\";\n  message: string;\n  requirement: string;\n}\n\n/** Everything one feature's asyncapi deltas say about their own services. */\nexport interface DeclaredEvents {\n  /** Per touched service: the feature delta's parse — present only where the file exists and reads. */\n  featureDocs: Map<PathableService, AsyncapiDoc>;\n  /**\n   * Per touched service: the living contract as the MERGE would leave it\n   * (../retired/merged.ts) — present where a feature delta sits over a\n   * readable living contract and the simulation had an answer. What `declares()` and\n   * the consumer gate's wire half read, so the gate grades the post-archive\n   * contract rather than the union of two documents one of which is leaving.\n   */\n  mergedDocs: Map<PathableService, AsyncapiDoc>;\n  /**\n   * Per service: message names this feature genuinely retires — message-slot\n   * markers plus a removed channel's living INLINE interior (SCHEMA.md:\n   * retiring a whole channel retires its inline messages with it), minus\n   * redeclarations.\n   */\n  netRemoved: Map<string, Set<string>>;\n  /**\n   * Per service: messages the living contract SENDS that the merged one\n   * would not — a channel or operation removal, or an edit, stopping\n   * production while the declaration may well survive. The wire half of the\n   * consumer question (./events.ts); empty where no simulation ran.\n   */\n  stoppedSending: Map<string, string[]>;\n  /**\n   * Per touched service whose feature asyncapi.yaml reads: the names its\n   * contract would SEND once the archive writes it — the merged contract over a\n   * readable living one, and the create branch's document where none exists\n   * (a feature may move production to a service with no contract yet). Absent\n   * where the simulation stands down: an unreadable living contract, or a pair\n   * the merge refuses. What the consumer gate asks for the senders that keep a\n   * message produced after this merge (./events.ts), so a service absent here\n   * that this feature carries a delta for vouches for nothing.\n   */\n  sentAfter: Map<PathableService, readonly string[]>;\n  /**\n   * Per service in the walk: the delta's non-REMOVED `Publishes:`/`Consumes:`\n   * lines — read once HERE and graded in ./events.ts, the indexed-in-one-walk\n   * rule this record exists for (the same lines used to be re-read and\n   * re-parsed per question on the context-less archive-gate path).\n   */\n  links: Map<PathableService, EventLink[]>;\n  /** Services whose FEATURE asyncapi.yaml exists but does not parse — every event check suspends for them. */\n  unreadable: Set<string>;\n  /**\n   * Per touched service: the slots the delta declares that the living\n   * contract lacks, and the message names the contract the archive would\n   * write declares where the living one does not — new, or a revival of what\n   * an archived feature retired or moved away, which the living contract\n   * alone cannot tell apart. ./events.ts asks the retired index (../retired/)\n   * only when one of these is non-empty.\n   */\n  revivalCandidates: Map<PathableService, EventArrivals>;\n}\n\n/**\n * The delta's `Publishes:`/`Consumes:` lines for one service, split by\n * requirement fate — read from BOTH spec files, because the outbox\n * requirement in arch.spec.md is the canonical home of an event line. A\n * REMOVED requirement's lines justify removals; everything else's are\n * claims ./events.ts grades against the contract.\n */\nexport async function deltaEventLines(\n  scope: EventDeltaScope,\n  service: PathableService,\n  context?: FleetContext,\n): Promise<{ removed: Set<string>; links: EventLink[] }> {\n  const removed = new Set<string>();\n  const links: EventLink[] = [];\n  for (const axis of SPEC_AXES) {\n    const p = featureSpecPaths(scope.featureDir, service)[axis.key];\n    if (!existsSync(p)) continue;\n    const reqs = context === undefined\n      ? parseRequirements(await readFile(p, \"utf8\"))\n      : await context.readRequirements(p);\n    for (const r of reqs) {\n      if (r.kind === \"REMOVED\") {\n        for (const m of [...r.publishes, ...r.consumes]) removed.add(m);\n        continue;\n      }\n      links.push(...r.publishes.map((m) => ({ direction: \"publishes\" as const, message: m, requirement: r.name })));\n      links.push(...r.consumes.map((m) => ({ direction: \"consumes\" as const, message: m, requirement: r.name })));\n    }\n  }\n  return { removed, links };\n}\n\nexport async function declaredEvents(\n  scope: EventDeltaScope,\n  svcNames: PathableService[],\n  issues: Issue[],\n  context?: FleetContext,\n): Promise<DeclaredEvents> {\n  const { docsDir, featureDir, featureId } = scope;\n  const featureDocs = new Map<PathableService, AsyncapiDoc>();\n  const mergedDocs = new Map<PathableService, AsyncapiDoc>();\n  const netRemoved = new Map<string, Set<string>>();\n  const stoppedSending = new Map<string, string[]>();\n  const sentAfter = new Map<PathableService, readonly string[]>();\n  const links = new Map<PathableService, EventLink[]>();\n  const unreadable = new Set<string>();\n  const revivalCandidates = new Map<PathableService, EventArrivals>();\n  for (const svc of svcNames) {\n    const featPath = featureSpecPaths(featureDir, svc).asyncapi;\n    const { removed: justifiedMsgs, links: svcLinks } = await deltaEventLines(scope, svc, context);\n    links.set(svc, svcLinks);\n    // The living contract is read only where a question will be asked of it:\n    // no event delta and no REMOVED line means no marker debt and no slot to\n    // grade. The unguarded read was an eager parse per touched service —\n    // paid on every archive, whose gate runs without a FleetContext — for an\n    // answer nothing consumed.\n    if (!existsSync(featPath) && justifiedMsgs.size === 0) continue;\n    const livingPath = (await locateServicePaths(docsDir, svc, context)).asyncapi;\n    const livingDoc = await readAsyncapi(livingPath, context);\n    if (!existsSync(featPath)) {\n      // No event delta — but a REMOVED requirement may still be walking away\n      // from a message the LIVING contract declares, and the marker that\n      // retires the declaration has to ride in the same feature. Only\n      // messages the living contract actually carries are owed one: an event\n      // contract is optional, and a fleet retiring a requirement over a\n      // message no contract declares owes no file.\n      for (const m of justifiedMsgs) {\n        if (livingDoc.unreadable || !livingDoc.messages.some((msg) => msg.name === m)) continue;\n        issues.push({\n          severity: \"error\",\n          code: \"asyncapi.remove-marker-missing\",\n          subject: svc,\n          message: `${svc}: a REMOVED requirement's Publishes:/Consumes: line names '${m}', which the living asyncapi.yaml still declares, but this feature carries no matching x-loam-remove: true marker in specs/${svc}/asyncapi.yaml`,\n        });\n      }\n      continue;\n    }\n    const featDoc = await readAsyncapi(featPath, context);\n    // A feature contract that EXISTS but does not read is a broken document,\n    // not an empty one — openapi.invalid's discipline (../declared.ts),\n    // applied to the event axis: the rest of this service's event checks are\n    // suspended, because every one of them would be an opinion about a\n    // document nobody could open.\n    if (featDoc.unreadable) {\n      unreadable.add(svc);\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.invalid\",\n        subject: svc,\n        message: `${svc}: this feature's asyncapi.yaml does not read as AsyncAPI 3.0${featDoc.error === undefined ? \"\" : ` (${featDoc.error})`} — the event axis is unchecked and the merge would have nothing true to write. Fix the document first.`,\n      });\n      continue;\n    }\n    featureDocs.set(svc, featDoc);\n\n    // Both sides' texts, trees and slots, read the one way rebase's\n    // standalone revival read reads them too (../retired/event-pair.ts owns\n    // the guards: absent living is an answer, unreadable living is not).\n    const read = await readEventPair({ featPath, featDoc, livingPath, livingDoc, service: svc }, context);\n    const { featSlots, livingText } = read;\n    revivalCandidates.set(svc, eventArrivals(read));\n    // The pair's one simulation, which the revival candidates above have\n    // already asked: absent living included, where it is the create branch.\n    const sends = read.merged()?.doc.sent;\n    if (sends !== undefined) sentAfter.set(svc, sends);\n\n    if (livingText !== undefined) {\n      gradeBaselines({ ...read, svc, featureId }, issues);\n      gradeMarkers(read, svc, issues);\n      // The pair's one simulation — the revival candidates above have already\n      // asked it, comparing it with the living contract.\n      const merged = read.merged()?.doc;\n      if (merged !== undefined) {\n        mergedDocs.set(svc, merged);\n        stoppedSending.set(svc, livingDoc.sent.filter((m) => !merged.sent.includes(m)));\n      }\n    }\n\n    // The raw marker sets and the NET one (minus relocations) —\n    // ../retired/retirement.ts owns the rule and says why each set exists;\n    // the retired index reads every archived feature through the same\n    // function, against that feature's snapshot pre-image instead of the\n    // living contract on disk.\n    const { markerNames, inlineRetired, redeclared, net } = messageRetirements(featDoc, featSlots, livingDoc);\n    netRemoved.set(svc, net);\n\n    for (const name of markerNames) {\n      if (redeclared.has(name) || justifiedMsgs.has(name)) continue;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-marker-unjustified\",\n        subject: svc,\n        message: `${svc}: removal marker for message '${name}' is not justified by a REMOVED requirement's Publishes:/Consumes: line`,\n      });\n    }\n    for (const m of justifiedMsgs) {\n      // Owed only while the living contract still declares the message —\n      // and satisfied by ANY marker taking it out, relocation included: a\n      // message-slot marker naming it, or a channel-slot removal whose\n      // living inline interior declares it (the SCHEMA-sanctioned way to\n      // retire an inline declaration). And owed only while the MERGE would\n      // still declare it: a slot re-keyed to another name takes the message\n      // out with no marker, and none could be written there — the key holds\n      // the re-keyed declaration — so the route `asyncapi.remove-message-\n      // consumed` names (REMOVE the requirement whose Publishes: line names\n      // it) ended in this error, `openapi.remove-marker-missing`'s deadlock\n      // one axis over.\n      if (markerNames.has(m) || inlineRetired.has(m)) continue;\n      if (livingDoc.unreadable || !livingDoc.messages.some((msg) => msg.name === m)) continue;\n      const after = mergedDocs.get(svc);\n      if (after !== undefined && !after.messages.some((msg) => msg.name === m)) continue;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-marker-missing\",\n        subject: svc,\n        message: `${svc}: a REMOVED requirement's Publishes:/Consumes: line names '${m}', which the living asyncapi.yaml still declares, but this feature's asyncapi.yaml has no matching x-loam-remove: true marker`,\n      });\n    }\n  }\n  return { featureDocs, mergedDocs, netRemoved, stoppedSending, sentAfter, links, unreadable, revivalCandidates };\n}\n"]}

package/dist/core/coherence/events/events.js

@@ -7,7 +7,8 @@
  * delta facts it already holds (tagged relationships and the element
  * resolver): ./declared.ts walks the feature's own contracts and grades
  * what one service's pair of documents can settle; ./lookups.ts answers the
- * fleet questions lazily; this module joins the three axes — the exact
+ * in-flight question lazily, and the consumer index (core/consumers/) who
+ * still consumes a message; this module joins the three axes — the exact
  * shape coherence.ts gives the operation join, on the message name.
  *
  * A package of its own rather than lines in coherence.ts because that file
@@ -22,11 +23,92 @@ import { enumeratedServiceIndex } from "../../repo/service-target.js";
 import { readAsyncapi } from "../../asyncapi/read.js";
 import { declaredEvents } from "./declared.js";
 import { eventLookups } from "./lookups.js";
+import { revivedEvents } from "../retired/revival/revived.js";
+import { nothingStill, refusalDetails, refusalMessage, stillNamed } from "../consumed/refusal.js";
 export async function eventCoherence(request) {
-    const { scope, svcNames, taggedRels, svcOf, context } = request;
+    const { scope, svcNames, taggedRels, svcOf, context, consumers } = request;
     const issues = [];
     const declared = await declaredEvents(scope, svcNames, issues, context);
     const lookups = eventLookups({ docsDir: scope.docsDir, featureId: scope.featureId }, context);
+    // Who would still name a message after this merge: the consumer index's
+    // consumers, and its `own` — the provider's own `Publishes:` lines as the
+    // merge leaves them. That is the event twin of the overwrite's own-requirement
+    // scan: a message re-keyed or no longer sent while the provider's living
+    // requirement still says it `Publishes:` it archived at exit 0, and the next
+    // `validate --all` reported `spec-event.message-undefined` against the
+    // provider (review 2026-10-12, finding 3) — a REMOVED requirement justifies a
+    // marker, but nothing asks a re-key or a turned-around operation for one.
+    // A consumer document nobody could read or place refuses too, as on the
+    // contract axis (../consumed/refusal.ts).
+    //
+    // But a CONSUMER is stranded only when nothing would send the message after
+    // this merge — no service, and no #external element whose edge publishes it.
+    // That is the rule `spine.message-unproduced` grades a consumer by — it stays
+    // quiet over an outside producer (`externalProducerOf`,
+    // core/c4/resolve/external.ts) — and the one `loam diff` asks first
+    // (`producers`, then `externalProducer`, core/diff/semantic.ts).
+    // Counting every consumer "whoever its producer is" refused a retirement from
+    // one of two senders over the other sender's own consumes edge, and told the
+    // author to drop it, while `loam diff` called the same removal a warning
+    // ("still sent by …") and the next `validate --all` was clean (the
+    // verification of the consumer fixes, N2). Counting the fleet's senders alone
+    // then refused a retirement from a message's only fleet sender while an
+    // #external element still published it, and `loam diff` called the archived
+    // removal `diff.message-removed-consumed`, while the next `validate --all` was
+    // clean again (the verification of N1–N3, D1). The provider's OWN documents are
+    // another matter: the spine and validate grade them against the provider's
+    // own contract, so they strand whoever else sends the message, and `own`
+    // still refuses beside a surviving sender.
+    //
+    // The senders are asked of the MERGE, never of the living fleet alone:
+    // `producers` reads the fleet as it stands, so a feature retiring the message
+    // from both senders would let each one pass on the other's living contract.
+    // A service this feature carries an event delta for sends what the
+    // simulation leaves it (`declared.sentAfter`), or vouches for nothing; every
+    // other service sends what its living contract does. Positive evidence only,
+    // as `producers` is: an unreadable contract, or a merge that stood down,
+    // never keeps a message produced. The outside producer is the living map's
+    // edge and tag, which the landscape merge cannot take away (it only adds to
+    // the map), asked over the directories the merge leaves: each `specs/<svc>/`
+    // of this feature becomes a `services/<svc>/`, and a directory the #external
+    // element resolves to outranks its tag, so a feature onboarding the outside
+    // system as a service takes the producer away. Asked over the directories
+    // as they stood, the gate passed that retirement while the next `loam diff`
+    // reported `diff.message-removed-consumed` and `validate --all`
+    // `spine.message-unproduced` (the verification of D1, X2). One this
+    // feature's own C4 delta would draw is not counted, so that shape errs
+    // toward refusing — `--approve`, or draw the edge in the living map.
+    const touched = new Set([...declared.featureDocs.keys(), ...declared.unreadable]);
+    const sendersAfter = async (svc, message) => {
+        const living = (await consumers.producers(message)).filter((id) => !touched.has(id));
+        const merged = [...declared.sentAfter].filter(([, sent]) => sent.includes(message)).map(([id]) => id);
+        const fleet = [...new Set([...living, ...merged])].filter((id) => id !== svc).sort();
+        const outside = await consumers.externalProducer(message);
+        return outside === null ? fleet : [...fleet, `${outside} (#external)`];
+    };
+    const still = async (svc, message) => {
+        const answer = await consumers.messageConsumers(svc, message);
+        const senders = await sendersAfter(svc, message);
+        return { senders, found: stillNamed(senders.length === 0 ? answer : { ...answer, victims: [], suspended: [] }) };
+    };
+    // The landscape merge only ADDS edges, so an edge is dropped in the living map
+    // itself — a consumer's consumes edge, or the provider's own publishes edge,
+    // which the spine grades on its source (`own`, core/consumers/consumers.ts).
+    const route = `drop its consumes edge, or drop or redraw its publishes edge, in the architecture/ project, MODIFY or REMOVE the requirement whose Consumes:/Publishes: line names it in this feature's specs/<service>/ delta`;
+    // With a sender left only the provider's own documents are named, so the
+    // remedy is theirs alone — telling the author to drop a consumer's edge
+    // there is the false route this gate used to give.
+    const ownRoute = (svc) => `drop or redraw its publishes edge in the architecture/ project, or MODIFY or REMOVE the requirement whose Publishes: line names it in this feature's specs/${svc}/ delta`;
+    const ownOnly = (svc, senders) => `${senders.join(", ")} would still send it after this merge, so its consumers keep a producer, but ${svc}'s own documents would still name it`;
+    // The route a consumer's refusal gains: another sender keeps the message
+    // produced, and one this feature adds counts (`declared.sentAfter`); so does
+    // the #external element that publishes it, drawn in the living map — the one
+    // place `sendersAfter` reads an outside producer from — unless this feature
+    // makes it a service. The route says so: a feature onboarding the gateway is
+    // told no #external element publishes the message while its living map
+    // draws one doing exactly that, and the way out is the first route, the new
+    // service's own send operation in its specs/<service>/ delta.
+    const anotherSender = "keep another service sending it (an action: send operation in its asyncapi.yaml, living or in this feature's specs/<service>/ delta) or an #external element publishing it (a publishes edge from it in the living architecture/ project; one whose element this feature's specs/<service>/ makes a service no longer counts)";
     // Retiring a message the fleet still consumes — openapi.remove-op-consumed's
     // twin, and like it a question neither exactness nor justification asks:
     // the merge deletes the declaration while the consumes edge and the other
@@ -34,14 +116,23 @@ export async function eventCoherence(request) {
     // repository whose author was never in this feature.
     for (const [svc, net] of declared.netRemoved) {
         for (const message of net) {
-            const consumers = await lookups.messageConsumers(svc, message);
-            if (consumers.length === 0)
+            const { found, senders } = await still(svc, message);
+            if (nothingStill(found))
                 continue;
+            const lost = `this feature retires message '${message}'`;
             issues.push({
                 severity: "error",
                 code: "asyncapi.remove-message-consumed",
                 subject: svc,
-                message: `${svc}: this feature retires message '${message}', but the living fleet still consumes it — ${consumers.join("; ")}. Retire the consumer in the same feature (drop the consumes edge from architecture/landscape.likec4, or the requirement that names it), or archive with --approve to break it deliberately.`,
+                details: refusalDetails(found),
+                message: refusalMessage(found, {
+                    subject: svc,
+                    lost,
+                    verb: "name",
+                    named: (list) => senders.length === 0
+                        ? `${svc}: ${lost}, and no readable contract would still send it after this merge, nor does an #external element publish it, but the fleet would still name it — ${list}. Retire each in the same change (${route}), ${anotherSender}, or archive with --approve to break it deliberately.`
+                        : `${svc}: ${lost}; ${ownOnly(svc, senders)} — ${list}. Retire each in the same change (${ownRoute(svc)}), or archive with --approve to break it deliberately.`,
+                }),
             });
         }
     }
@@ -56,17 +147,37 @@ export async function eventCoherence(request) {
         for (const message of stopped) {
             if (net?.has(message) === true)
                 continue;
-            const consumers = await lookups.messageConsumers(svc, message);
-            if (consumers.length === 0)
+            const { found, senders } = await still(svc, message);
+            if (nothingStill(found))
                 continue;
+            const lost = `after this feature's merge, ${svc}'s asyncapi.yaml would no longer declare an action: send operation for '${message}'`;
             issues.push({
                 severity: "error",
                 code: "asyncapi.remove-message-consumed",
                 subject: svc,
-                message: `${svc}: after this feature's merge, ${svc}'s asyncapi.yaml would no longer declare an action: send operation for '${message}', but the living fleet still consumes it — ${consumers.join("; ")}. Keep an operation sending it, retire the consumer in the same feature, or archive with --approve to break it deliberately.`,
+                details: refusalDetails(found),
+                message: refusalMessage(found, {
+                    subject: svc,
+                    lost,
+                    verb: "name",
+                    named: (list) => senders.length === 0
+                        ? `${svc}: ${lost}, and no other readable contract would send it either, nor does an #external element publish it, but the fleet would still name it — ${list}. Keep an operation sending it, ${anotherSender}, retire each in the same change (${route}), or archive with --approve to break it deliberately.`
+                        : `${svc}: ${lost}; ${ownOnly(svc, senders)} — ${list}. Keep an operation sending it, retire each in the same change (${ownRoute(svc)}), or archive with --approve to break it deliberately.`,
+                }),
             });
         }
     }
+    // A revival: a slot or message this delta declares that the living
+    // contract no longer has because an ARCHIVED feature retired it, or a
+    // message name declared again at a key an archived feature took it out of
+    // — the contract axis's `openapi.op-revived`, on the slot and the message
+    // name (../retired/revival/revived.ts). Asked of the index only when the merged
+    // contract declares something the living one does not.
+    for (const [svc, arrived] of declared.revivalCandidates) {
+        if (arrived.slots.length === 0 && arrived.messages.length === 0)
+            continue;
+        issues.push(...revivedEvents(svc, arrived, await request.retired()));
+    }
     // Two features declaring one (service, message): both deltas apply
     // cleanly, so whichever archives second replaces the other's declaration
     // wholesale — delta.added-conflict's shape on the message join.

package/dist/core/coherence/events/events.js.map

@@ -1 +1 @@
-{"version":3,"file":"events.js","sourceRoot":"","sources":["../../../../src/core/coherence/events/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAY,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAwB,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGtD,OAAO,EAAE,cAAc,EAAwB,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAc5C,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAA8B;IACjE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAChE,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC;IAE9F,6EAA6E;IAC7E,yEAAyE;IACzE,0EAA0E;IAC1E,oEAAoE;IACpE,qDAAqD;IACrD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC7C,KAAK,MAAM,OAAO,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACrC,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,mCAAmC,OAAO,+CAA+C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,8LAA8L;aAC3T,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,oEAAoE;IACpE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI;gBAAE,SAAS;YACzC,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACrC,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,iCAAiC,GAAG,2EAA2E,OAAO,+CAA+C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,8HAA8H;aACvU,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,yEAAyE;IACzE,gEAAgE;IAChE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;gBAAE,SAAS;YAChC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,oCAAoC,CAAC,CAAC,IAAI,sBAAsB,KAAK,4HAA4H;aACjN,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,kEAAkE;IAClE,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,wEAAwE;IACxE,2CAA2C;IAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK,EAAE,GAAoB,EAAwB,EAAE;QACpE,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,GAAG,MAAM,YAAY,CAAC,CAAC,MAAM,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACpG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,uEAAuE;IACvE,sEAAsE;IACtE,wEAAwE;IACxE,YAAY;IACZ,MAAM,QAAQ,GAAG,KAAK,EACpB,GAAoB,EACpB,SAAmC,EACnC,OAAe,EACe,EAAE;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,OAAO,SAAS,KAAK,WAAW;YAC9B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC;YAC1E,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,SAAmC,EAAU,EAAE,CAAC,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEjH,yEAAyE;IACzE,mEAAmE;IACnE,wEAAwE;IACxE,oEAAoE;IACpE,0EAA0E;IAC1E,qEAAqE;IACrE,eAAe;IACf,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAElF,oEAAoE;IACpE,uEAAuE;IACvE,mCAAmC;IACnC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,KAAK,GAA2F,EAAE,CAAC;QACzG,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACzH,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACtH,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACrC,2DAA2D;YAC3D,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAChD,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5D,IAAI,EAAE,KAAK,KAAK;gBAAE,SAAS;YAC3B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACzE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO,2BAA2B,KAAK,qBAAqB;iBAC1G,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,IAAI,sFAAsF,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS;iBACvL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,0EAA0E;IAC1E,uEAAuE;IACvE,0EAA0E;IAC1E,0EAA0E;IAC1E,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YACjD,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7D,IAAI,EAAE,KAAK,KAAK;gBAAE,SAAS;YAC3B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACvE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE,GAAG,GAAG,kBAAkB,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,OAAO,2BAA2B,KAAK,qBAAqB;iBAC3I,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE,GAAG,GAAG,kBAAkB,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,OAAO,UAAU,GAAG,uDAAuD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS;iBACzL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * The event axis of the feature gate: do the C4 delta's tagged edges, the\n * requirement deltas' `Publishes:`/`Consumes:` lines, and the asyncapi\n * contracts agree about what each service puts on the wire?\n *\n * The package's orchestrator, called once from featureCoherence with the\n * delta facts it already holds (tagged relationships and the element\n * resolver): ./declared.ts walks the feature's own contracts and grades\n * what one service's pair of documents can settle; ./lookups.ts answers the\n * fleet questions lazily; this module joins the three axes — the exact\n * shape coherence.ts gives the operation join, on the message name.\n *\n * A package of its own rather than lines in coherence.ts because that file\n * ran at its 300-line limit before the event axis existed; the seam is\n * real, not cosmetic — everything here joins on a message name, nothing\n * there does.\n */\nimport { type Rel } from \"../../c4/likec4.js\";\nimport { type PathableService } from \"../../kernel/ids/service.js\";\nimport type { Issue } from \"../../vocabulary/issue.js\";\nimport { locateServicePaths } from \"../../repo/service-target.js\";\nimport { enumeratedServiceIndex } from \"../../repo/service-target.js\";\nimport { readAsyncapi } from \"../../asyncapi/read.js\";\nimport type { AsyncapiDoc } from \"../../asyncapi/model.js\";\nimport type { FleetContext } from \"../../fleet-context.js\";\nimport { declaredEvents, type EventDeltaScope } from \"./declared.js\";\nimport { eventLookups } from \"./lookups.js\";\n\n/** What featureCoherence hands the event axis — the delta facts it already computed. */\nexport interface EventCoherenceRequest {\n  scope: EventDeltaScope;\n  /** The services this feature's specs/ touch — the walk's subjects. */\n  svcNames: PathableService[];\n  /** The delta's tagged relationships — the edges the landscape merge would splice. */\n  taggedRels: Rel[];\n  /** The element→service resolver over the delta's elements plus the enumerated fleet. */\n  svcOf: (id: string) => string;\n  context?: FleetContext;\n}\n\nexport async function eventCoherence(request: EventCoherenceRequest): Promise<Issue[]> {\n  const { scope, svcNames, taggedRels, svcOf, context } = request;\n  const issues: Issue[] = [];\n  const declared = await declaredEvents(scope, svcNames, issues, context);\n  const lookups = eventLookups({ docsDir: scope.docsDir, featureId: scope.featureId }, context);\n\n  // Retiring a message the fleet still consumes — openapi.remove-op-consumed's\n  // twin, and like it a question neither exactness nor justification asks:\n  // the merge deletes the declaration while the consumes edge and the other\n  // repo's requirement stay, so the next `validate --all` breaks on a\n  // repository whose author was never in this feature.\n  for (const [svc, net] of declared.netRemoved) {\n    for (const message of net) {\n      const consumers = await lookups.messageConsumers(svc, message);\n      if (consumers.length === 0) continue;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-message-consumed\",\n        subject: svc,\n        message: `${svc}: this feature retires message '${message}', but the living fleet still consumes it — ${consumers.join(\"; \")}. Retire the consumer in the same feature (drop the consumes edge from architecture/landscape.likec4, or the requirement that names it), or archive with --approve to break it deliberately.`,\n      });\n    }\n  }\n\n  // The WIRE half of the same question: a channel or operation removal (or\n  // an edit) can stop the service SENDING a message whose declaration\n  // survives — the merge applies cleanly, and the next `validate --all`\n  // breaks on the consumer's repository (spine.message-unproduced) exactly\n  // as a deleted declaration would. Asked of the simulated merge's sent-set\n  // diff; a name the net-removal loop above already asked keeps one finding.\n  for (const [svc, stopped] of declared.stoppedSending) {\n    const net = declared.netRemoved.get(svc);\n    for (const message of stopped) {\n      if (net?.has(message) === true) continue;\n      const consumers = await lookups.messageConsumers(svc, message);\n      if (consumers.length === 0) continue;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-message-consumed\",\n        subject: svc,\n        message: `${svc}: after this feature's merge, ${svc}'s asyncapi.yaml would no longer declare an action: send operation for '${message}', but the living fleet still consumes it — ${consumers.join(\"; \")}. Keep an operation sending it, retire the consumer in the same feature, or archive with --approve to break it deliberately.`,\n      });\n    }\n  }\n\n  // Two features declaring one (service, message): both deltas apply\n  // cleanly, so whichever archives second replaces the other's declaration\n  // wholesale — delta.added-conflict's shape on the message join.\n  for (const [svc, doc] of declared.featureDocs) {\n    for (const m of doc.messages) {\n      if (m.remove === true) continue;\n      const other = await lookups.messageDefinedElsewhere(svc, m.name);\n      if (other === undefined) continue;\n      issues.push({\n        severity: \"warn\",\n        code: \"asyncapi.message-conflict\",\n        subject: svc,\n        message: `${svc}: this feature declares message '${m.name}', which in-flight ${other} also adds or edits — whichever archives second replaces the other's declaration wholesale; coordinate before either ships`,\n      });\n    }\n  }\n\n  // The bound service's contract as the feature would leave it. Where the\n  // feature carries a delta over a readable living contract, that is the\n  // SIMULATED merge (declared.mergedDocs): a slot the delta retires or edits\n  // away stops answering here BEFORE archive — a leftover Publishes: line on\n  // a surviving requirement used to pass this gate on living's say-so, then\n  // break `validate --all` on the post-archive docs. Everywhere the\n  // simulation has no answer — no delta for the service, a side that does\n  // not read, a document the merge refuses — the feature ∪ living union\n  // stands in, which can only be too lenient, never wrongly red; the living\n  // side is read lazily per service, since an edge may bind a service the\n  // feature carries no specs/ directory for.\n  const livingDocs = new Map<PathableService, AsyncapiDoc>();\n  const livingOf = async (svc: PathableService): Promise<AsyncapiDoc> => {\n    let doc = livingDocs.get(svc);\n    if (doc === undefined) {\n      doc = await readAsyncapi((await locateServicePaths(scope.docsDir, svc, context)).asyncapi, context);\n      livingDocs.set(svc, doc);\n    }\n    return doc;\n  };\n  // undefined = no verdict: an unreadable LIVING contract proves nothing\n  // about the message (validate's asyncapi.invalid owns that file), and\n  // grading against its empty parse would blame every edge for one broken\n  // document.\n  const declares = async (\n    svc: PathableService,\n    direction: \"publishes\" | \"consumes\",\n    message: string,\n  ): Promise<boolean | undefined> => {\n    const merged = declared.mergedDocs.get(svc);\n    if (merged !== undefined) {\n      return direction === \"publishes\" ? merged.sent.includes(message) : merged.received.includes(message);\n    }\n    const living = await livingOf(svc);\n    if (living.unreadable) return undefined;\n    const feat = declared.featureDocs.get(svc);\n    return direction === \"publishes\"\n      ? living.sent.includes(message) || (feat?.sent.includes(message) ?? false)\n      : living.received.includes(message) || (feat?.received.includes(message) ?? false);\n  };\n  const action = (direction: \"publishes\" | \"consumes\"): string => (direction === \"publishes\" ? \"send\" : \"receive\");\n\n  // The declared→enumerated bridge coherence.ts uses for op edges, for the\n  // same reason: every lookup below joins into services/<id>/ or the\n  // feature's own specs/. A bound element NEITHER knows is skipped rather\n  // than graded — an #external producer is the documented shape for a\n  // message produced outside the fleet (spine.message-external), so grading\n  // its edge against an absent service directory would turn the worked\n  // example red.\n  const enumeratedTarget = enumeratedServiceIndex(scope.docsDir, svcNames, context);\n\n  // Tagged edges: `publishes` binds the edge's SOURCE, `consumes` its\n  // TARGET — the same reading validate's event spine takes of the living\n  // landscape, applied to the delta.\n  for (const r of taggedRels) {\n    const bound: { direction: \"publishes\" | \"consumes\"; message: string; name: string; edge: string }[] = [];\n    const edge = `${svcOf(r.source)} → ${svcOf(r.target)}`;\n    if (r.publishes !== undefined) bound.push({ direction: \"publishes\", message: r.publishes, name: svcOf(r.source), edge });\n    if (r.consumes !== undefined) bound.push({ direction: \"consumes\", message: r.consumes, name: svcOf(r.target), edge });\n    for (const b of bound) {\n      const pathable = await enumeratedTarget(b.name);\n      if (pathable === undefined) continue;\n      // asyncapi.invalid already gates; one breach, one finding.\n      if (declared.unreadable.has(pathable)) continue;\n      const ok = await declares(pathable, b.direction, b.message);\n      if (ok !== false) continue;\n      const other = await lookups.messageDefinedElsewhere(pathable, b.message);\n      if (other !== undefined) {\n        issues.push({\n          severity: \"warn\",\n          code: \"c4-event.message-pending\",\n          message: `edge ${b.edge} ${b.direction} '${b.message}', defined by in-flight ${other} — archive it first`,\n        });\n      } else {\n        issues.push({\n          severity: \"error\",\n          code: \"c4-event.message-undefined\",\n          message: `edge ${b.edge} ${b.direction} '${b.message}', but ${b.name}'s asyncapi contract (feature and living alike) declares no operation with action: ${action(b.direction)} for it`,\n        });\n      }\n    }\n  }\n\n  // The requirement deltas' own lines, graded the same way — the same\n  // sentence validate gives the living-side breach, under the same code, so\n  // one breach keeps one name across scopes. The lines were read once by\n  // ./declared.ts's walk (declared.links); re-reading them here per service\n  // was a second parse of both spec files on the context-less archive path.\n  for (const svc of svcNames) {\n    if (declared.unreadable.has(svc)) continue;\n    for (const link of declared.links.get(svc) ?? []) {\n      const ok = await declares(svc, link.direction, link.message);\n      if (ok !== false) continue;\n      const other = await lookups.messageDefinedElsewhere(svc, link.message);\n      if (other !== undefined) {\n        issues.push({\n          severity: \"warn\",\n          code: \"spec-event.message-pending\",\n          subject: svc,\n          message: `${svc}: requirement '${link.requirement}' ${link.direction} '${link.message}', defined by in-flight ${other} — archive it first`,\n        });\n      } else {\n        issues.push({\n          severity: \"error\",\n          code: \"spec-event.message-undefined\",\n          subject: svc,\n          message: `${svc}: requirement '${link.requirement}' ${link.direction} '${link.message}', but ${svc}'s asyncapi.yaml declares no operation with action: ${action(link.direction)} for it`,\n        });\n      }\n    }\n  }\n\n  return issues;\n}\n"]}
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../../../../src/core/coherence/events/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAY,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAwB,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGtD,OAAO,EAAE,cAAc,EAAwB,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAmB,MAAM,wBAAwB,CAAC;AAkBnH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAA8B;IACjE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;IAC3E,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC;IAE9F,wEAAwE;IACxE,0EAA0E;IAC1E,+EAA+E;IAC/E,yEAAyE;IACzE,6EAA6E;IAC7E,uEAAuE;IACvE,8EAA8E;IAC9E,0EAA0E;IAC1E,wEAAwE;IACxE,0CAA0C;IAC1C,EAAE;IACF,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,wDAAwD;IACxD,oEAAoE;IACpE,iEAAiE;IACjE,8EAA8E;IAC9E,6EAA6E;IAC7E,yEAAyE;IACzE,mEAAmE;IACnE,8EAA8E;IAC9E,wEAAwE;IACxE,4EAA4E;IAC5E,+EAA+E;IAC/E,gFAAgF;IAChF,2EAA2E;IAC3E,yEAAyE;IACzE,2CAA2C;IAC3C,EAAE;IACF,uEAAuE;IACvE,8EAA8E;IAC9E,4EAA4E;IAC5E,mEAAmE;IACnE,6EAA6E;IAC7E,6EAA6E;IAC7E,yEAAyE;IACzE,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,0EAA0E;IAC1E,4EAA4E;IAC5E,gEAAgE;IAChE,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1F,MAAM,YAAY,GAAG,KAAK,EAAE,GAAW,EAAE,OAAe,EAAqB,EAAE;QAC7E,MAAM,MAAM,GAAG,CAAC,MAAM,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACtG,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrF,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,cAAc,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,EAAE,GAAW,EAAE,OAAe,EAAqD,EAAE;QACtG,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACjD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACnH,CAAC,CAAC;IACF,+EAA+E;IAC/E,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,KAAK,GAAG,gNAAgN,CAAC;IAC/N,yEAAyE;IACzE,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAU,EAAE,CACvC,8JAA8J,GAAG,SAAS,CAAC;IAC7K,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,OAAiB,EAAU,EAAE,CACzD,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,gFAAgF,GAAG,sCAAsC,CAAC;IACjJ,yEAAyE;IACzE,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,6EAA6E;IAC7E,uEAAuE;IACvE,4EAA4E;IAC5E,8DAA8D;IAC9D,MAAM,aAAa,GACjB,+TAA+T,CAAC;IAElU,6EAA6E;IAC7E,yEAAyE;IACzE,0EAA0E;IAC1E,oEAAoE;IACpE,qDAAqD;IACrD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC7C,KAAK,MAAM,OAAO,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,YAAY,CAAC,KAAK,CAAC;gBAAE,SAAS;YAClC,MAAM,IAAI,GAAG,iCAAiC,OAAO,GAAG,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC;gBAC9B,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE;oBAC7B,OAAO,EAAE,GAAG;oBACZ,IAAI;oBACJ,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CACd,OAAO,CAAC,MAAM,KAAK,CAAC;wBAClB,CAAC,CAAC,GAAG,GAAG,KAAK,IAAI,kJAAkJ,IAAI,qCAAqC,KAAK,MAAM,aAAa,uDAAuD;wBAC3R,CAAC,CAAC,GAAG,GAAG,KAAK,IAAI,KAAK,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,IAAI,qCAAqC,QAAQ,CAAC,GAAG,CAAC,wDAAwD;iBACpK,CAAC;aACH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,oEAAoE;IACpE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI;gBAAE,SAAS;YACzC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,YAAY,CAAC,KAAK,CAAC;gBAAE,SAAS;YAClC,MAAM,IAAI,GAAG,+BAA+B,GAAG,2EAA2E,OAAO,GAAG,CAAC;YACrI,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC;gBAC9B,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE;oBAC7B,OAAO,EAAE,GAAG;oBACZ,IAAI;oBACJ,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CACd,OAAO,CAAC,MAAM,KAAK,CAAC;wBAClB,CAAC,CAAC,GAAG,GAAG,KAAK,IAAI,wIAAwI,IAAI,mCAAmC,aAAa,qCAAqC,KAAK,wDAAwD;wBAC/S,CAAC,CAAC,GAAG,GAAG,KAAK,IAAI,KAAK,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,IAAI,mEAAmE,QAAQ,CAAC,GAAG,CAAC,wDAAwD;iBAClM,CAAC;aACH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,0EAA0E;IAC1E,0EAA0E;IAC1E,gFAAgF;IAChF,uDAAuD;IACvD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACxD,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC1E,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,mEAAmE;IACnE,yEAAyE;IACzE,gEAAgE;IAChE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;gBAAE,SAAS;YAChC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,oCAAoC,CAAC,CAAC,IAAI,sBAAsB,KAAK,4HAA4H;aACjN,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,kEAAkE;IAClE,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,wEAAwE;IACxE,2CAA2C;IAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK,EAAE,GAAoB,EAAwB,EAAE;QACpE,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,GAAG,MAAM,YAAY,CAAC,CAAC,MAAM,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACpG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,uEAAuE;IACvE,sEAAsE;IACtE,wEAAwE;IACxE,YAAY;IACZ,MAAM,QAAQ,GAAG,KAAK,EACpB,GAAoB,EACpB,SAAmC,EACnC,OAAe,EACe,EAAE;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,OAAO,SAAS,KAAK,WAAW;YAC9B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC;YAC1E,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,SAAmC,EAAU,EAAE,CAAC,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEjH,yEAAyE;IACzE,mEAAmE;IACnE,wEAAwE;IACxE,oEAAoE;IACpE,0EAA0E;IAC1E,qEAAqE;IACrE,eAAe;IACf,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAElF,oEAAoE;IACpE,uEAAuE;IACvE,mCAAmC;IACnC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,KAAK,GAA2F,EAAE,CAAC;QACzG,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACzH,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACtH,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACrC,2DAA2D;YAC3D,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAChD,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5D,IAAI,EAAE,KAAK,KAAK;gBAAE,SAAS;YAC3B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACzE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO,2BAA2B,KAAK,qBAAqB;iBAC1G,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,IAAI,sFAAsF,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS;iBACvL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,0EAA0E;IAC1E,uEAAuE;IACvE,0EAA0E;IAC1E,0EAA0E;IAC1E,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YACjD,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7D,IAAI,EAAE,KAAK,KAAK;gBAAE,SAAS;YAC3B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACvE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE,GAAG,GAAG,kBAAkB,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,OAAO,2BAA2B,KAAK,qBAAqB;iBAC3I,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE,GAAG,GAAG,kBAAkB,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,OAAO,UAAU,GAAG,uDAAuD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS;iBACzL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * The event axis of the feature gate: do the C4 delta's tagged edges, the\n * requirement deltas' `Publishes:`/`Consumes:` lines, and the asyncapi\n * contracts agree about what each service puts on the wire?\n *\n * The package's orchestrator, called once from featureCoherence with the\n * delta facts it already holds (tagged relationships and the element\n * resolver): ./declared.ts walks the feature's own contracts and grades\n * what one service's pair of documents can settle; ./lookups.ts answers the\n * in-flight question lazily, and the consumer index (core/consumers/) who\n * still consumes a message; this module joins the three axes — the exact\n * shape coherence.ts gives the operation join, on the message name.\n *\n * A package of its own rather than lines in coherence.ts because that file\n * ran at its 300-line limit before the event axis existed; the seam is\n * real, not cosmetic — everything here joins on a message name, nothing\n * there does.\n */\nimport { type Rel } from \"../../c4/likec4.js\";\nimport { type PathableService } from \"../../kernel/ids/service.js\";\nimport type { Issue } from \"../../vocabulary/issue.js\";\nimport { locateServicePaths } from \"../../repo/service-target.js\";\nimport { enumeratedServiceIndex } from \"../../repo/service-target.js\";\nimport { readAsyncapi } from \"../../asyncapi/read.js\";\nimport type { AsyncapiDoc } from \"../../asyncapi/model.js\";\nimport type { FleetContext } from \"../../fleet-context.js\";\nimport { declaredEvents, type EventDeltaScope } from \"./declared.js\";\nimport { eventLookups } from \"./lookups.js\";\nimport type { RetiredLookup } from \"../retired/archived.js\";\nimport { revivedEvents } from \"../retired/revival/revived.js\";\nimport type { ConsumerIndex } from \"../../consumers/consumers.js\";\nimport { nothingStill, refusalDetails, refusalMessage, stillNamed, type StillNamed } from \"../consumed/refusal.js\";\n\n/** What featureCoherence hands the event axis — the delta facts it already computed. */\nexport interface EventCoherenceRequest {\n  scope: EventDeltaScope;\n  /** The services this feature's specs/ touch — the walk's subjects. */\n  svcNames: PathableService[];\n  /** The delta's tagged relationships — the edges the landscape merge would splice. */\n  taggedRels: Rel[];\n  /** The element→service resolver over the delta's elements plus the enumerated fleet. */\n  svcOf: (id: string) => string;\n  context?: FleetContext;\n  /** The retired index, shared with the contract axis so one call walks `features/archive/` once at most. */\n  retired: RetiredLookup;\n  /** The consumer index, read after this feature's merge — shared with the contract axis so the fleet is read once. */\n  consumers: ConsumerIndex;\n}\n\nexport async function eventCoherence(request: EventCoherenceRequest): Promise<Issue[]> {\n  const { scope, svcNames, taggedRels, svcOf, context, consumers } = request;\n  const issues: Issue[] = [];\n  const declared = await declaredEvents(scope, svcNames, issues, context);\n  const lookups = eventLookups({ docsDir: scope.docsDir, featureId: scope.featureId }, context);\n\n  // Who would still name a message after this merge: the consumer index's\n  // consumers, and its `own` — the provider's own `Publishes:` lines as the\n  // merge leaves them. That is the event twin of the overwrite's own-requirement\n  // scan: a message re-keyed or no longer sent while the provider's living\n  // requirement still says it `Publishes:` it archived at exit 0, and the next\n  // `validate --all` reported `spec-event.message-undefined` against the\n  // provider (review 2026-10-12, finding 3) — a REMOVED requirement justifies a\n  // marker, but nothing asks a re-key or a turned-around operation for one.\n  // A consumer document nobody could read or place refuses too, as on the\n  // contract axis (../consumed/refusal.ts).\n  //\n  // But a CONSUMER is stranded only when nothing would send the message after\n  // this merge — no service, and no #external element whose edge publishes it.\n  // That is the rule `spine.message-unproduced` grades a consumer by — it stays\n  // quiet over an outside producer (`externalProducerOf`,\n  // core/c4/resolve/external.ts) — and the one `loam diff` asks first\n  // (`producers`, then `externalProducer`, core/diff/semantic.ts).\n  // Counting every consumer \"whoever its producer is\" refused a retirement from\n  // one of two senders over the other sender's own consumes edge, and told the\n  // author to drop it, while `loam diff` called the same removal a warning\n  // (\"still sent by …\") and the next `validate --all` was clean (the\n  // verification of the consumer fixes, N2). Counting the fleet's senders alone\n  // then refused a retirement from a message's only fleet sender while an\n  // #external element still published it, and `loam diff` called the archived\n  // removal `diff.message-removed-consumed`, while the next `validate --all` was\n  // clean again (the verification of N1–N3, D1). The provider's OWN documents are\n  // another matter: the spine and validate grade them against the provider's\n  // own contract, so they strand whoever else sends the message, and `own`\n  // still refuses beside a surviving sender.\n  //\n  // The senders are asked of the MERGE, never of the living fleet alone:\n  // `producers` reads the fleet as it stands, so a feature retiring the message\n  // from both senders would let each one pass on the other's living contract.\n  // A service this feature carries an event delta for sends what the\n  // simulation leaves it (`declared.sentAfter`), or vouches for nothing; every\n  // other service sends what its living contract does. Positive evidence only,\n  // as `producers` is: an unreadable contract, or a merge that stood down,\n  // never keeps a message produced. The outside producer is the living map's\n  // edge and tag, which the landscape merge cannot take away (it only adds to\n  // the map), asked over the directories the merge leaves: each `specs/<svc>/`\n  // of this feature becomes a `services/<svc>/`, and a directory the #external\n  // element resolves to outranks its tag, so a feature onboarding the outside\n  // system as a service takes the producer away. Asked over the directories\n  // as they stood, the gate passed that retirement while the next `loam diff`\n  // reported `diff.message-removed-consumed` and `validate --all`\n  // `spine.message-unproduced` (the verification of D1, X2). One this\n  // feature's own C4 delta would draw is not counted, so that shape errs\n  // toward refusing — `--approve`, or draw the edge in the living map.\n  const touched = new Set<string>([...declared.featureDocs.keys(), ...declared.unreadable]);\n  const sendersAfter = async (svc: string, message: string): Promise<string[]> => {\n    const living = (await consumers.producers(message)).filter((id) => !touched.has(id));\n    const merged = [...declared.sentAfter].filter(([, sent]) => sent.includes(message)).map(([id]) => id);\n    const fleet = [...new Set([...living, ...merged])].filter((id) => id !== svc).sort();\n    const outside = await consumers.externalProducer(message);\n    return outside === null ? fleet : [...fleet, `${outside} (#external)`];\n  };\n  const still = async (svc: string, message: string): Promise<{ found: StillNamed; senders: string[] }> => {\n    const answer = await consumers.messageConsumers(svc, message);\n    const senders = await sendersAfter(svc, message);\n    return { senders, found: stillNamed(senders.length === 0 ? answer : { ...answer, victims: [], suspended: [] }) };\n  };\n  // The landscape merge only ADDS edges, so an edge is dropped in the living map\n  // itself — a consumer's consumes edge, or the provider's own publishes edge,\n  // which the spine grades on its source (`own`, core/consumers/consumers.ts).\n  const route = `drop its consumes edge, or drop or redraw its publishes edge, in the architecture/ project, MODIFY or REMOVE the requirement whose Consumes:/Publishes: line names it in this feature's specs/<service>/ delta`;\n  // With a sender left only the provider's own documents are named, so the\n  // remedy is theirs alone — telling the author to drop a consumer's edge\n  // there is the false route this gate used to give.\n  const ownRoute = (svc: string): string =>\n    `drop or redraw its publishes edge in the architecture/ project, or MODIFY or REMOVE the requirement whose Publishes: line names it in this feature's specs/${svc}/ delta`;\n  const ownOnly = (svc: string, senders: string[]): string =>\n    `${senders.join(\", \")} would still send it after this merge, so its consumers keep a producer, but ${svc}'s own documents would still name it`;\n  // The route a consumer's refusal gains: another sender keeps the message\n  // produced, and one this feature adds counts (`declared.sentAfter`); so does\n  // the #external element that publishes it, drawn in the living map — the one\n  // place `sendersAfter` reads an outside producer from — unless this feature\n  // makes it a service. The route says so: a feature onboarding the gateway is\n  // told no #external element publishes the message while its living map\n  // draws one doing exactly that, and the way out is the first route, the new\n  // service's own send operation in its specs/<service>/ delta.\n  const anotherSender =\n    \"keep another service sending it (an action: send operation in its asyncapi.yaml, living or in this feature's specs/<service>/ delta) or an #external element publishing it (a publishes edge from it in the living architecture/ project; one whose element this feature's specs/<service>/ makes a service no longer counts)\";\n\n  // Retiring a message the fleet still consumes — openapi.remove-op-consumed's\n  // twin, and like it a question neither exactness nor justification asks:\n  // the merge deletes the declaration while the consumes edge and the other\n  // repo's requirement stay, so the next `validate --all` breaks on a\n  // repository whose author was never in this feature.\n  for (const [svc, net] of declared.netRemoved) {\n    for (const message of net) {\n      const { found, senders } = await still(svc, message);\n      if (nothingStill(found)) continue;\n      const lost = `this feature retires message '${message}'`;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-message-consumed\",\n        subject: svc,\n        details: refusalDetails(found),\n        message: refusalMessage(found, {\n          subject: svc,\n          lost,\n          verb: \"name\",\n          named: (list) =>\n            senders.length === 0\n              ? `${svc}: ${lost}, and no readable contract would still send it after this merge, nor does an #external element publish it, but the fleet would still name it — ${list}. Retire each in the same change (${route}), ${anotherSender}, or archive with --approve to break it deliberately.`\n              : `${svc}: ${lost}; ${ownOnly(svc, senders)} — ${list}. Retire each in the same change (${ownRoute(svc)}), or archive with --approve to break it deliberately.`,\n        }),\n      });\n    }\n  }\n\n  // The WIRE half of the same question: a channel or operation removal (or\n  // an edit) can stop the service SENDING a message whose declaration\n  // survives — the merge applies cleanly, and the next `validate --all`\n  // breaks on the consumer's repository (spine.message-unproduced) exactly\n  // as a deleted declaration would. Asked of the simulated merge's sent-set\n  // diff; a name the net-removal loop above already asked keeps one finding.\n  for (const [svc, stopped] of declared.stoppedSending) {\n    const net = declared.netRemoved.get(svc);\n    for (const message of stopped) {\n      if (net?.has(message) === true) continue;\n      const { found, senders } = await still(svc, message);\n      if (nothingStill(found)) continue;\n      const lost = `after this feature's merge, ${svc}'s asyncapi.yaml would no longer declare an action: send operation for '${message}'`;\n      issues.push({\n        severity: \"error\",\n        code: \"asyncapi.remove-message-consumed\",\n        subject: svc,\n        details: refusalDetails(found),\n        message: refusalMessage(found, {\n          subject: svc,\n          lost,\n          verb: \"name\",\n          named: (list) =>\n            senders.length === 0\n              ? `${svc}: ${lost}, and no other readable contract would send it either, nor does an #external element publish it, but the fleet would still name it — ${list}. Keep an operation sending it, ${anotherSender}, retire each in the same change (${route}), or archive with --approve to break it deliberately.`\n              : `${svc}: ${lost}; ${ownOnly(svc, senders)} — ${list}. Keep an operation sending it, retire each in the same change (${ownRoute(svc)}), or archive with --approve to break it deliberately.`,\n        }),\n      });\n    }\n  }\n\n  // A revival: a slot or message this delta declares that the living\n  // contract no longer has because an ARCHIVED feature retired it, or a\n  // message name declared again at a key an archived feature took it out of\n  // — the contract axis's `openapi.op-revived`, on the slot and the message\n  // name (../retired/revival/revived.ts). Asked of the index only when the merged\n  // contract declares something the living one does not.\n  for (const [svc, arrived] of declared.revivalCandidates) {\n    if (arrived.slots.length === 0 && arrived.messages.length === 0) continue;\n    issues.push(...revivedEvents(svc, arrived, await request.retired()));\n  }\n\n  // Two features declaring one (service, message): both deltas apply\n  // cleanly, so whichever archives second replaces the other's declaration\n  // wholesale — delta.added-conflict's shape on the message join.\n  for (const [svc, doc] of declared.featureDocs) {\n    for (const m of doc.messages) {\n      if (m.remove === true) continue;\n      const other = await lookups.messageDefinedElsewhere(svc, m.name);\n      if (other === undefined) continue;\n      issues.push({\n        severity: \"warn\",\n        code: \"asyncapi.message-conflict\",\n        subject: svc,\n        message: `${svc}: this feature declares message '${m.name}', which in-flight ${other} also adds or edits — whichever archives second replaces the other's declaration wholesale; coordinate before either ships`,\n      });\n    }\n  }\n\n  // The bound service's contract as the feature would leave it. Where the\n  // feature carries a delta over a readable living contract, that is the\n  // SIMULATED merge (declared.mergedDocs): a slot the delta retires or edits\n  // away stops answering here BEFORE archive — a leftover Publishes: line on\n  // a surviving requirement used to pass this gate on living's say-so, then\n  // break `validate --all` on the post-archive docs. Everywhere the\n  // simulation has no answer — no delta for the service, a side that does\n  // not read, a document the merge refuses — the feature ∪ living union\n  // stands in, which can only be too lenient, never wrongly red; the living\n  // side is read lazily per service, since an edge may bind a service the\n  // feature carries no specs/ directory for.\n  const livingDocs = new Map<PathableService, AsyncapiDoc>();\n  const livingOf = async (svc: PathableService): Promise<AsyncapiDoc> => {\n    let doc = livingDocs.get(svc);\n    if (doc === undefined) {\n      doc = await readAsyncapi((await locateServicePaths(scope.docsDir, svc, context)).asyncapi, context);\n      livingDocs.set(svc, doc);\n    }\n    return doc;\n  };\n  // undefined = no verdict: an unreadable LIVING contract proves nothing\n  // about the message (validate's asyncapi.invalid owns that file), and\n  // grading against its empty parse would blame every edge for one broken\n  // document.\n  const declares = async (\n    svc: PathableService,\n    direction: \"publishes\" | \"consumes\",\n    message: string,\n  ): Promise<boolean | undefined> => {\n    const merged = declared.mergedDocs.get(svc);\n    if (merged !== undefined) {\n      return direction === \"publishes\" ? merged.sent.includes(message) : merged.received.includes(message);\n    }\n    const living = await livingOf(svc);\n    if (living.unreadable) return undefined;\n    const feat = declared.featureDocs.get(svc);\n    return direction === \"publishes\"\n      ? living.sent.includes(message) || (feat?.sent.includes(message) ?? false)\n      : living.received.includes(message) || (feat?.received.includes(message) ?? false);\n  };\n  const action = (direction: \"publishes\" | \"consumes\"): string => (direction === \"publishes\" ? \"send\" : \"receive\");\n\n  // The declared→enumerated bridge coherence.ts uses for op edges, for the\n  // same reason: every lookup below joins into services/<id>/ or the\n  // feature's own specs/. A bound element NEITHER knows is skipped rather\n  // than graded — an #external producer is the documented shape for a\n  // message produced outside the fleet (spine.message-external), so grading\n  // its edge against an absent service directory would turn the worked\n  // example red.\n  const enumeratedTarget = enumeratedServiceIndex(scope.docsDir, svcNames, context);\n\n  // Tagged edges: `publishes` binds the edge's SOURCE, `consumes` its\n  // TARGET — the same reading validate's event spine takes of the living\n  // landscape, applied to the delta.\n  for (const r of taggedRels) {\n    const bound: { direction: \"publishes\" | \"consumes\"; message: string; name: string; edge: string }[] = [];\n    const edge = `${svcOf(r.source)} → ${svcOf(r.target)}`;\n    if (r.publishes !== undefined) bound.push({ direction: \"publishes\", message: r.publishes, name: svcOf(r.source), edge });\n    if (r.consumes !== undefined) bound.push({ direction: \"consumes\", message: r.consumes, name: svcOf(r.target), edge });\n    for (const b of bound) {\n      const pathable = await enumeratedTarget(b.name);\n      if (pathable === undefined) continue;\n      // asyncapi.invalid already gates; one breach, one finding.\n      if (declared.unreadable.has(pathable)) continue;\n      const ok = await declares(pathable, b.direction, b.message);\n      if (ok !== false) continue;\n      const other = await lookups.messageDefinedElsewhere(pathable, b.message);\n      if (other !== undefined) {\n        issues.push({\n          severity: \"warn\",\n          code: \"c4-event.message-pending\",\n          message: `edge ${b.edge} ${b.direction} '${b.message}', defined by in-flight ${other} — archive it first`,\n        });\n      } else {\n        issues.push({\n          severity: \"error\",\n          code: \"c4-event.message-undefined\",\n          message: `edge ${b.edge} ${b.direction} '${b.message}', but ${b.name}'s asyncapi contract (feature and living alike) declares no operation with action: ${action(b.direction)} for it`,\n        });\n      }\n    }\n  }\n\n  // The requirement deltas' own lines, graded the same way — the same\n  // sentence validate gives the living-side breach, under the same code, so\n  // one breach keeps one name across scopes. The lines were read once by\n  // ./declared.ts's walk (declared.links); re-reading them here per service\n  // was a second parse of both spec files on the context-less archive path.\n  for (const svc of svcNames) {\n    if (declared.unreadable.has(svc)) continue;\n    for (const link of declared.links.get(svc) ?? []) {\n      const ok = await declares(svc, link.direction, link.message);\n      if (ok !== false) continue;\n      const other = await lookups.messageDefinedElsewhere(svc, link.message);\n      if (other !== undefined) {\n        issues.push({\n          severity: \"warn\",\n          code: \"spec-event.message-pending\",\n          subject: svc,\n          message: `${svc}: requirement '${link.requirement}' ${link.direction} '${link.message}', defined by in-flight ${other} — archive it first`,\n        });\n      } else {\n        issues.push({\n          severity: \"error\",\n          code: \"spec-event.message-undefined\",\n          subject: svc,\n          message: `${svc}: requirement '${link.requirement}' ${link.direction} '${link.message}', but ${svc}'s asyncapi.yaml declares no operation with action: ${action(link.direction)} for it`,\n        });\n      }\n    }\n  }\n\n  return issues;\n}\n"]}