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

package/dist/core/coherence/declared.js

@@ -1,21 +1,23 @@
 /**
  * What a feature's own delta DECLARES, per service, indexed once.
  *
- * Seven indexes over the same four files (the delta spec.md, arch.spec.md,
+ * Nine indexes over the same four files (the delta spec.md, arch.spec.md,
  * openapi.yaml, and the living contract they are graded against), built in one
  * walk because every check downstream joins on the service id and would
  * otherwise re-read the delta per question. The distinctions here are the ones
  * the checks cannot make for themselves: an operation a REMOVED requirement
  * governs is being retired, so it neither claims the contract nor governs
  * anything after the merge; a removal marker that names an id also defined
- * elsewhere in the delta is a RELOCATION, not a retirement; and a marker with
+ * elsewhere in the delta is a RELOCATION, not a retirement; a living operation
+ * another one replaces at its address, with no marker naming it, leaves the
+ * contract all the same; and a marker with
  * no `operationId` at all is a shape only this walk can see. The capability
  * gate rides the same loop: both delta spec documents are graded against the
  * fleet vocabulary here, because coherence.ts and this package's file count
  * are both at their limits and the walk already holds the parsed documents.
  */
 import { existsSync } from "node:fs";
-import { NotUtf8DocumentError } from "../kernel/document-bytes.js";
+import { readOr } from "../openapi/contract-text.js";
 import { readFile } from "node:fs/promises";
 import {} from "../kernel/ids/service.js";
 import { featureSpecPaths } from "../repo/paths.js";
@@ -29,6 +31,8 @@ import { realizesUnknownIssues } from "../capabilities/realizes/findings.js";
 import { capabilityUnknownIssues } from "../capabilities/findings.js";
 import { openapiBaselineIssues } from "../openapi/baseline/gate.js";
 import { readOpenapi } from "../openapi/doc.js";
+import { operationRetirements } from "./retired/retirement.js";
+import { operationArrivals } from "./retired/revival/arrivals.js";
 export async function declaredByService(scope, svcNames, issues, context) {
     const { docsDir, featureDir, featureId } = scope;
     const reqOps = new Map();
@@ -41,6 +45,10 @@ export async function declaredByService(scope, svcNames, issues, context) {
     const anonymousMarkers = new Map();
     const featureApiOps = new Set();
     const unreadableApis = new Set();
+    const revivalCandidates = new Map();
+    const displacedOps = new Map();
+    /** Per service read here: the operationIds its living contract holds, or null when it does not read. */
+    const livingIds = new Map();
     // The capability gate's vocabulary, once per call. Absent or invalid stays
     // SILENT here — capability.invalid is validate --all's one finding about a
     // broken file, and an absent file means the fleet never opted in — so with
@@ -108,8 +116,12 @@ export async function declaredByService(scope, svcNames, issues, context) {
             issues.push(...capabilityUnknownIssues(archReqs, archTarget, capabilityVocab));
             issues.push(...realizesUnknownIssues(archReqs, archTarget, await capabilityReqs()));
         }
-        // Only operations genuinely NEW to this service count as feature-added: authors
-        // restate the full living API in the delta file (it is a complete document, not a patch).
+        // Only operations the living contract does not hold count as feature-added:
+        // a delta may restate living operations it does not change (a quote), and
+        // a quote adds nothing. "Not in living" is not quite "new", though — an
+        // operation an archived feature RETIRED is absent too, and adding it back
+        // is `openapi.op-revived`'s question (./retired/revival/revived.ts), asked of the
+        // `revivalCandidates` collected below.
         const featDoc = await readOpenapi(paths.openapi, context);
         // A feature contract that EXISTS but does not read is a broken document,
         // not an empty one — the living-side `openapi.invalid` discipline
@@ -131,15 +143,10 @@ export async function declaredByService(scope, svcNames, issues, context) {
         }
         const featOps = featDoc.ops;
         const removals = featOps.filter((op) => op.remove);
-        // A relocation — same operationId, removal marker on the old slot, upsert
-        // on the new one — retires nothing. Every rule that asks "is this operation
-        // going away" must therefore ask the NET set (markers this feature does not
-        // redefine), while "did the author write a marker at all" asks the raw one.
-        // Conflating them made moving an endpoint fail three checks at once for a
-        // change that removes nothing.
-        const redefined = new Set(featOps.filter((op) => !op.remove).map((op) => op.id));
-        const markerIds = new Set(removals.map((op) => op.id));
-        const netRemoved = new Set([...markerIds].filter((id) => !redefined.has(id)));
+        // The raw marker set and the NET one (markers minus relocations) —
+        // ./retired/retirement.ts owns the rule and says why the two differ; the
+        // retired index reads every archived feature through the same function.
+        const { markerIds, net: netRemoved } = operationRetirements(featOps);
         removingOps.set(svc, netRemoved);
         allMarkerIds.set(svc, markerIds);
         anonymousMarkers.set(svc, featDoc.anonymousRemovals.length > 0);
@@ -155,8 +162,15 @@ export async function declaredByService(scope, svcNames, issues, context) {
                 message: `${svc}: ${marker.method} ${marker.path} carries x-loam-remove: true but declares no operationId — loam cannot tell which operation it retires; name the operation the living contract has at that slot`,
             });
         }
-        const livingDoc = await readOpenapi((await locateServicePaths(docsDir, svc, context)).openapi, context);
+        const livingOpenapiPath = (await locateServicePaths(docsDir, svc, context)).openapi;
+        const livingDoc = await readOpenapi(livingOpenapiPath, context);
         const livingOps = livingDoc.ops;
+        livingIds.set(svc, livingDoc.unreadable ? null : new Set(livingOps.filter((op) => !op.remove).map((op) => op.id)));
+        const sides = { featPath: paths.openapi, featDoc, livingPath: livingOpenapiPath, livingDoc, service: svc };
+        const moved = await operationArrivals(sides, context);
+        revivalCandidates.set(svc, moved.operations);
+        if (moved.displaced.length > 0)
+            displacedOps.set(svc, moved.displaced);
         for (const id of livingDoc.duplicateIds) {
             const slots = livingOps.filter((op) => op.id === id).map((op) => `${op.method} ${op.path}`);
             issues.push({
@@ -172,27 +186,14 @@ export async function declaredByService(scope, svcNames, issues, context) {
         // read when there is one, mirroring the readRequirements pattern above;
         // the gate itself never touches the filesystem.
         if (existsSync(paths.openapi)) {
-            const livingOpenapiPath = (await locateServicePaths(docsDir, svc, context)).openapi;
-            // `context.readText` DECODES and THROWS on non-UTF-8 bytes, where the
-            // no-context `readFile` substitutes U+FFFD and lets `readOpenapi`
-            // flag the document unreadable. Uncaught, one service's UTF-16 living
-            // contract took down the whole feature target under validate's
-            // context while archive's no-context path sailed past — the exact
+            // `readOr` (../openapi/contract-text.ts, which says why): `context.readText`
+            // throws on non-UTF-8 bytes where the no-context `readFile` lets
+            // `readOpenapi` flag the document unreadable — the exact
             // context/no-context divergence doc.ts documents as paid for once.
             // Either text failing to decode gets the same answer the gate gives
             // an unreadable parse: that side's surface checks are skipped.
-            const readOr = async (p) => {
-                try {
-                    return context === undefined ? await readFile(p, "utf8") : await context.readText(p);
-                }
-                catch (err) {
-                    if (err instanceof NotUtf8DocumentError)
-                        return undefined;
-                    throw err;
-                }
-            };
-            const featureText = await readOr(paths.openapi);
-            const livingText = !existsSync(livingOpenapiPath) ? undefined : await readOr(livingOpenapiPath);
+            const featureText = await readOr(paths.openapi, context);
+            const livingText = !existsSync(livingOpenapiPath) ? undefined : await readOr(livingOpenapiPath, context);
             if (featureText !== undefined) {
                 issues.push(...openapiBaselineIssues({ featDoc, livingDoc, featureText, livingText, service: svc, featureId }));
             }
@@ -246,9 +247,31 @@ export async function declaredByService(scope, svcNames, issues, context) {
         if (unreadableApis.has(svc))
             continue;
         const marked = allMarkerIds.get(svc) ?? new Set();
+        const replaced = new Set((displacedOps.get(svc) ?? []).map((d) => d.id));
+        const living = livingIds.get(svc);
         for (const op of required) {
             if (marked.has(op))
                 continue;
+            // A marker is owed only while there is a living operation for it to
+            // retire — the event axis's rule (events/declared.ts) on the contract
+            // axis. An operation this delta already REPLACES at its address leaves
+            // the contract without one, and the marker could not even be written:
+            // the slot holds the replacement. So the route the overwrite's
+            // `openapi.remove-op-consumed` names — REMOVE the requirement governing
+            // the old id — ended in this error, followable only by deleting the
+            // requirement's Operations: line, which nothing said (review
+            // 2026-10-12, finding 4). And an id the service's living contract does
+            // not define is not this service's to mark at all: a REMOVED consumer
+            // requirement naming ANOTHER service's operation was told to retire it
+            // from its own contract. Both exemptions are facts about a contract
+            // loam READ: a living openapi.yaml that does not parse proves neither,
+            // so the marker stays owed — the closed direction, and the answer this
+            // check gave before either exemption existed. Skipping it there let a
+            // REMOVED requirement with no marker pass at exit 0 (the contract
+            // review, finding 3); `openapi.invalid` is still validate's finding
+            // about the file itself.
+            if (replaced.has(op) || (living !== undefined && living !== null && !living.has(op)))
+                continue;
             // Distinguish "no marker at all" from "a marker is there but loam cannot
             // read which operation it names" — the first asks the author to write the
             // marker, the second to write the operationId, and telling somebody who
@@ -264,6 +287,9 @@ export async function declaredByService(scope, svcNames, issues, context) {
             });
         }
     }
-    return { reqOps, removedReqOps, removingOps, allMarkerIds, anonymousMarkers, featureApiOps, unreadableApis };
+    return {
+        reqOps, removedReqOps, removingOps, allMarkerIds, anonymousMarkers, featureApiOps, unreadableApis, revivalCandidates,
+        displacedOps,
+    };
 }
 //# sourceMappingURL=declared.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"declared.js","sourceRoot":"","sources":["../../../src/core/coherence/declared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAwB,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAE7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAmChD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAAiB,EACjB,QAA2B,EAC3B,MAAe,EACf,OAAsB;IAEtB,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IACrD,0FAA0F;IAC1F,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IACnD,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,iFAAiF;IACjF,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,kEAAkE;IAClE,yEAAyE;IACzE,2EAA2E;IAC3E,yBAAyB;IACzB,EAAE;IACF,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IACxE,2EAA2E;IAC3E,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,2EAA2E;IAC3E,4BAA4B;IAC5B,MAAM,gBAAgB,GACpB,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACxH,MAAM,eAAe,GAAG,uBAAuB,CAC7C,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,EACrG,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,IAAI,eAAe,CAAC,OAAO,KAAK,SAAS,CAAC;IACjF,yEAAyE;IACzE,uEAAuE;IACvE,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,4CAA4C;IAC5C,IAAI,YAAY,GAA+C,IAAI,CAAC;IACpE,MAAM,cAAc,GAAG,GAAwC,EAAE;QAC/D,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;YAChC,CAAC,CAAC,KAAK,EAAE,CAAS,EAA0B,EAAE,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3F,CAAC,CAAC,CAAC,CAAS,EAA0B,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACvE,yEAAyE;QACzE,oEAAoE;QACpE,0EAA0E;QAC1E,YAAY,KAAK,0BAA0B,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACtF,uBAAuB,CACrB,KAAK,EACL,MAAM,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CACpG,CACF,CAAC;QACF,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;gBAChC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACvD,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/C,6EAA6E;YAC7E,2EAA2E;YAC3E,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YACvF,aAAa,CAAC,GAAG,CACf,GAAG,EACH,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAC/E,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;gBACvE,MAAM,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,EAAE,CAAC,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;QACD,sEAAsE;QACtE,yEAAyE;QACzE,oEAAoE;QACpE,yEAAyE;QACzE,yEAAyE;QACzE,mEAAmE;QACnE,IAAI,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,OAAO,KAAK,SAAS;gBACpC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC3D,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACnD,MAAM,UAAU,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC;YAC/E,MAAM,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,EAAE,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,gFAAgF;QAChF,0FAA0F;QAC1F,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1D,yEAAyE;QACzE,kEAAkE;QAClE,sEAAsE;QACtE,qEAAqE;QACrE,sEAAsE;QACtE,qEAAqE;QACrE,wEAAwE;QACxE,sEAAsE;QACtE,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,+CAA+C,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,GAAG,uGAAuG;aAC9N,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;QAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACnD,0EAA0E;QAC1E,4EAA4E;QAC5E,4EAA4E;QAC5E,4EAA4E;QAC5E,0EAA0E;QAC1E,+BAA+B;QAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACjC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEhE,oEAAoE;QACpE,2EAA2E;QAC3E,4EAA4E;QAC5E,oCAAoC;QACpC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,iCAAiC;gBACvC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,iKAAiK;aAClN,CAAC,CAAC;QACL,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxG,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5F,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,6CAA6C,EAAE,QAAQ,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,8IAA8I;aACxO,CAAC,CAAC;QACL,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,yEAAyE;QACzE,wEAAwE;QACxE,gDAAgD;QAChD,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,MAAM,iBAAiB,GAAG,CAAC,MAAM,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACpF,sEAAsE;YACtE,kEAAkE;YAClE,sEAAsE;YACtE,+DAA+D;YAC/D,kEAAkE;YAClE,mEAAmE;YACnE,oEAAoE;YACpE,+DAA+D;YAC/D,MAAM,MAAM,GAAG,KAAK,EAAE,CAAS,EAA+B,EAAE;gBAC9D,IAAI,CAAC;oBACH,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;gBACvF,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,IAAI,GAAG,YAAY,oBAAoB;wBAAE,OAAO,SAAS,CAAC;oBAC1D,MAAM,GAAG,CAAC;gBACZ,CAAC;YACH,CAAC,CAAC;YACF,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,UAAU,GAAG,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAChG,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CACT,GAAG,qBAAqB,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CACnG,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAChF,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;gBACzB,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YAED,kEAAkE;YAClE,yEAAyE;YACzE,uEAAuE;YACvE,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YAC9D,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9F,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,+BAA+B;wBACrC,OAAO,EAAE,GAAG;wBACZ,OAAO,EAAE,GAAG,GAAG,yBAAyB,MAAM,CAAC,EAAE,eAAe,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,wCAAwC;qBACrI,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;oBACnC,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,gCAAgC;wBACtC,OAAO,EAAE,GAAG;wBACZ,OAAO,EAAE,GAAG,GAAG,2BAA2B,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,wCAAwC,MAAM,CAAC,EAAE,GAAG;qBAC5I,CAAC,CAAC;gBACL,CAAC;gBACD,uEAAuE;gBACvE,2DAA2D;gBAC3D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC9B,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,mCAAmC;wBACzC,OAAO,EAAE,GAAG;wBACZ,OAAO,EAAE,GAAG,GAAG,yBAAyB,MAAM,CAAC,EAAE,+DAA+D;qBACjH,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5C,uEAAuE;QACvE,iDAAiD;QACjD,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC1D,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC7B,yEAAyE;YACzE,0EAA0E;YAC1E,wEAAwE;YACxE,uEAAuE;YACvE,4BAA4B;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI;oBACzC,CAAC,CAAC,GAAG,GAAG,kCAAkC,EAAE,qGAAqG,EAAE,kBAAkB;oBACrK,CAAC,CAAC,GAAG,GAAG,kCAAkC,EAAE,4EAA4E;aAC3H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC;AAC/G,CAAC","sourcesContent":["/**\n * What a feature's own delta DECLARES, per service, indexed once.\n *\n * Seven indexes over the same four files (the delta spec.md, arch.spec.md,\n * openapi.yaml, and the living contract they are graded against), built in one\n * walk because every check downstream joins on the service id and would\n * otherwise re-read the delta per question. The distinctions here are the ones\n * the checks cannot make for themselves: an operation a REMOVED requirement\n * governs is being retired, so it neither claims the contract nor governs\n * anything after the merge; a removal marker that names an id also defined\n * elsewhere in the delta is a RELOCATION, not a retirement; and a marker with\n * no `operationId` at all is a shape only this walk can see. The capability\n * gate rides the same loop: both delta spec documents are graded against the\n * fleet vocabulary here, because coherence.ts and this package's file count\n * are both at their limits and the walk already holds the parsed documents.\n */\nimport { existsSync } from \"node:fs\";\nimport { NotUtf8DocumentError } from \"../kernel/document-bytes.js\";\nimport { readFile } from \"node:fs/promises\";\nimport { type PathableService } from \"../kernel/ids/service.js\";\nimport type { Issue } from \"../vocabulary/issue.js\";\nimport { featureSpecPaths } from \"../repo/paths.js\";\nimport { locateServicePaths } from \"../repo/service-target.js\";\nimport { parseRequirements } from \"../document/parse.js\";\nimport { readCapabilityVocabulary } from \"../capabilities/capabilities.js\";\nimport { capabilityRequirementIndex } from \"../capabilities/findings.js\";\nimport { withFeatureCapabilities, withFeatureRequirements } from \"../capabilities/delta/overlay.js\";\nimport { featureCapabilityDeltas } from \"../capabilities/delta/tree.js\";\nimport { realizesUnknownIssues } from \"../capabilities/realizes/findings.js\";\nimport type { CapabilityRequirementIndex } from \"../capabilities/realizes/join.js\";\nimport { capabilityUnknownIssues } from \"../capabilities/findings.js\";\nimport type { Requirement } from \"../document/spec.js\";\nimport { openapiBaselineIssues } from \"../openapi/baseline/gate.js\";\nimport { readOpenapi } from \"../openapi/doc.js\";\nimport type { FleetContext } from \"../fleet-context.js\";\nimport type { DocsDir, FeatureDir } from \"../kernel/ids/dirs.js\";\n\n/** Everything one feature's delta says about its own services. */\nexport interface Declared {\n  /** Per service: the operations its non-REMOVED requirements govern. */\n  reqOps: Map<PathableService, string[]>;\n  /** Per service: the operations its REMOVED requirements governed. */\n  removedReqOps: Map<string, Set<string>>;\n  /** Per service: operations this feature genuinely retires (markers minus relocations). */\n  removingOps: Map<string, Set<string>>;\n  /** Per service: every id a removal marker names, relocations included. */\n  allMarkerIds: Map<string, Set<string>>;\n  /** Per service: does the feature contract carry a marker with no operationId? */\n  anonymousMarkers: Map<string, boolean>;\n  /** The operationIds genuinely NEW to their service across the whole feature. */\n  featureApiOps: Set<string>;\n  /**\n   * Services whose FEATURE openapi.yaml exists but does not parse. Every check\n   * that joins on the feature contract must suspend itself for these — an\n   * unreadable document yields the same empty op set as an absent one, and\n   * grading against that emptiness produced false errors pointing everywhere\n   * but at the broken file.\n   */\n  unreadableApis: Set<string>;\n}\n\n/** The three facts this walk needs about the feature it is reading. */\nexport interface DeltaScope {\n  docsDir: DocsDir;\n  featureDir: FeatureDir;\n  featureId: string;\n}\n\nexport async function declaredByService(\n  scope: DeltaScope,\n  svcNames: PathableService[],\n  issues: Issue[],\n  context?: FleetContext,\n): Promise<Declared> {\n  const { docsDir, featureDir, featureId } = scope;\n    const reqOps = new Map<PathableService, string[]>();\n    const removedReqOps = new Map<string, Set<string>>();\n    /** Per service: operations this feature genuinely retires (markers minus relocations). */\n    const removingOps = new Map<string, Set<string>>();\n    /** Per service: every id a removal marker names, relocations included. */\n    const allMarkerIds = new Map<string, Set<string>>();\n    /** Per service: does the feature contract carry a marker with no operationId? */\n    const anonymousMarkers = new Map<string, boolean>();\n    const featureApiOps = new Set<string>();\n    const unreadableApis = new Set<string>();\n    // The capability gate's vocabulary, once per call. Absent or invalid stays\n    // SILENT here — capability.invalid is validate --all's one finding about a\n    // broken file, and an absent file means the fleet never opted in — so with\n    // either, nothing new gates archive (the roadmap's own trade; the\n    // /loam-check row tells agents to fix the YAML first). `grading` is that\n    // silence hoisted into a guard, so a silent axis also skips the reads that\n    // exist only to feed it.\n    //\n    // The vocabulary is the one this feature's MERGE would leave behind, not\n    // the one on disk: a feature that adds a capability requirement in its own\n    // capability delta and `Realizes:` it from its own service delta is the\n    // flow the whole axis exists for, and graded against the living tree alone\n    // it is refused with `capability.realizes-unknown` — an error, gating\n    // archive, for a target the same archive creates. `capabilities/delta/\n    // overlay.ts` states the whole judgement. One `existsSync` for a feature\n    // that carries no capability delta, which is every feature in a fleet that\n    // has not adopted the axis.\n    const capabilityDeltas =\n      context === undefined ? await featureCapabilityDeltas(featureDir) : await context.featureCapabilityDeltas(featureDir);\n    const capabilityVocab = withFeatureCapabilities(\n      context === undefined ? await readCapabilityVocabulary(docsDir) : await context.capabilities(docsDir),\n      capabilityDeltas.docs.map((d) => d.id),\n    );\n    const grading = capabilityVocab.present && capabilityVocab.invalid === undefined;\n    // The `Realizes:` index, built at most ONCE per feature and only if some\n    // delta document actually reaches the grading branch. Lazy rather than\n    // eager because it reads every capability document in the fleet, and a\n    // feature whose deltas carry no requirement file at all must not pay for\n    // that — the same \"a silent axis skips the reads that feed it\" rule\n    // `grading` above states, one level deeper.\n    let pendingIndex: Promise<CapabilityRequirementIndex> | null = null;\n    const capabilityReqs = (): Promise<CapabilityRequirementIndex> => {\n      const read = context === undefined\n        ? async (p: string): Promise<Requirement[]> => parseRequirements(await readFile(p, \"utf8\"))\n        : (p: string): Promise<Requirement[]> => context.readRequirements(p);\n      // The living index first, then widened by what this feature's capability\n      // deltas ADD or MODIFY. Both halves are inside the lazy thunk, so a\n      // feature whose deltas carry no requirement file at all pays for neither.\n      pendingIndex ??= capabilityRequirementIndex(capabilityVocab, read).then(async (index) =>\n        withFeatureRequirements(\n          index,\n          await Promise.all(capabilityDeltas.docs.map(async (d) => ({ id: d.id, reqs: await read(d.spec) }))),\n        ),\n      );\n      return pendingIndex;\n    };\n    for (const svc of svcNames) {\n      const paths = featureSpecPaths(featureDir, svc);\n      if (existsSync(paths.spec)) {\n        const reqs = context === undefined\n          ? parseRequirements(await readFile(paths.spec, \"utf8\"))\n          : await context.readRequirements(paths.spec);\n        // REMOVED requirements are being retired along with their operations — their\n        // ops neither claim the contract (E1) nor govern anything after the merge.\n        reqOps.set(svc, reqs.filter((r) => r.kind !== \"REMOVED\").flatMap((r) => r.operations));\n        removedReqOps.set(\n          svc,\n          new Set(reqs.filter((r) => r.kind === \"REMOVED\").flatMap((r) => r.operations)),\n        );\n        if (grading) {\n          const target = { where: `${svc}: spec.md`, subject: svc };\n          issues.push(...capabilityUnknownIssues(reqs, target, capabilityVocab));\n          issues.push(...realizesUnknownIssues(reqs, target, await capabilityReqs()));\n        }\n      }\n      // The delta arch.spec.md carries the same grammar and merges the same\n      // way, so an undeclared capability in it gates identically. Nothing else\n      // in this walk needs the arch delta, so the read itself sits behind\n      // `grading` — and it is NOT always cached: `validate --feature` passes a\n      // context, but archive's plan gate (commands/archive/plan/gate.ts) calls\n      // featureCoherence without one, so this parse is paid fresh there.\n      if (grading && existsSync(paths.archSpec)) {\n        const archReqs = context === undefined\n          ? parseRequirements(await readFile(paths.archSpec, \"utf8\"))\n          : await context.readRequirements(paths.archSpec);\n        const archTarget = { where: `${svc}: arch.spec.md`, subject: svc };\n        issues.push(...capabilityUnknownIssues(archReqs, archTarget, capabilityVocab));\n        issues.push(...realizesUnknownIssues(archReqs, archTarget, await capabilityReqs()));\n      }\n      // Only operations genuinely NEW to this service count as feature-added: authors\n      // restate the full living API in the delta file (it is a complete document, not a patch).\n      const featDoc = await readOpenapi(paths.openapi, context);\n      // A feature contract that EXISTS but does not read is a broken document,\n      // not an empty one — the living-side `openapi.invalid` discipline\n      // (validate/service/api.ts), applied to the delta. Before this check,\n      // `validate --feature` said nothing about the file at all: the empty\n      // parse silently skipped every baseline pin and removal marker in it,\n      // and E1 graded requirements against a contract that was never read.\n      // The rest of this service's contract-axis checks are suspended — every\n      // one of them would be an opinion about a document nobody could open.\n      if (featDoc.unreadable) {\n        unreadableApis.add(svc);\n        issues.push({\n          severity: \"error\",\n          code: \"openapi.invalid\",\n          subject: svc,\n          message: `${svc}: this feature's openapi.yaml does not parse${featDoc.error === undefined ? \"\" : ` (${featDoc.error})`} — the contract axis is unchecked and the merge would have nothing true to write. Fix the YAML first.`,\n        });\n        continue;\n      }\n      const featOps = featDoc.ops;\n      const removals = featOps.filter((op) => op.remove);\n      // A relocation — same operationId, removal marker on the old slot, upsert\n      // on the new one — retires nothing. Every rule that asks \"is this operation\n      // going away\" must therefore ask the NET set (markers this feature does not\n      // redefine), while \"did the author write a marker at all\" asks the raw one.\n      // Conflating them made moving an endpoint fail three checks at once for a\n      // change that removes nothing.\n      const redefined = new Set(featOps.filter((op) => !op.remove).map((op) => op.id));\n      const markerIds = new Set(removals.map((op) => op.id));\n      const netRemoved = new Set([...markerIds].filter((id) => !redefined.has(id)));\n      removingOps.set(svc, netRemoved);\n      allMarkerIds.set(svc, markerIds);\n      anonymousMarkers.set(svc, featDoc.anonymousRemovals.length > 0);\n\n      // A marker with no operationId names a slot but no operation. Every\n      // id-keyed check is blind to it, so it used to travel all the way into the\n      // living contract as a literal `x-loam-remove: true` — the one feature-only\n      // key that must never be published.\n      for (const marker of featDoc.anonymousRemovals) {\n        issues.push({\n          severity: \"error\",\n          code: \"openapi.remove-marker-anonymous\",\n          subject: svc,\n          message: `${svc}: ${marker.method} ${marker.path} carries x-loam-remove: true but declares no operationId — loam cannot tell which operation it retires; name the operation the living contract has at that slot`,\n        });\n      }\n\n      const livingDoc = await readOpenapi((await locateServicePaths(docsDir, svc, context)).openapi, context);\n      const livingOps = livingDoc.ops;\n      for (const id of livingDoc.duplicateIds) {\n        const slots = livingOps.filter((op) => op.id === id).map((op) => `${op.method} ${op.path}`);\n        issues.push({\n          severity: \"warn\",\n          code: \"openapi.duplicate-operationid\",\n          subject: svc,\n          message: `${svc}: the living OpenAPI defines operationId '${id}' at ${slots.join(\" and \")} — every join on the id (a requirement's Operations: line, an edge's metadata { op }, a removal marker) picks one of those slots arbitrarily`,\n        });\n      }\n      // The baseline axis — operation pins, path-item keys and components —\n      // graded in its own package (openapi/baseline/gate.ts), slot-keyed\n      // exactly as the merge writes. Texts come through the context's memoized\n      // read when there is one, mirroring the readRequirements pattern above;\n      // the gate itself never touches the filesystem.\n      if (existsSync(paths.openapi)) {\n        const livingOpenapiPath = (await locateServicePaths(docsDir, svc, context)).openapi;\n        // `context.readText` DECODES and THROWS on non-UTF-8 bytes, where the\n        // no-context `readFile` substitutes U+FFFD and lets `readOpenapi`\n        // flag the document unreadable. Uncaught, one service's UTF-16 living\n        // contract took down the whole feature target under validate's\n        // context while archive's no-context path sailed past — the exact\n        // context/no-context divergence doc.ts documents as paid for once.\n        // Either text failing to decode gets the same answer the gate gives\n        // an unreadable parse: that side's surface checks are skipped.\n        const readOr = async (p: string): 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        const featureText = await readOr(paths.openapi);\n        const livingText = !existsSync(livingOpenapiPath) ? undefined : await readOr(livingOpenapiPath);\n        if (featureText !== undefined) {\n          issues.push(\n            ...openapiBaselineIssues({ featDoc, livingDoc, featureText, livingText, service: svc, featureId }),\n          );\n        }\n      }\n\n      if (featOps.length > 0) {\n        const living = new Set(livingOps.filter((op) => !op.remove).map((op) => op.id));\n        for (const op of featOps) {\n          if (!op.remove && !living.has(op.id)) featureApiOps.add(op.id);\n        }\n\n        // Removal is exact: the feature names both an operationId and the\n        // path+method slot it expects to delete. That catches stale deltas whose\n        // target moved or was already retired before the archive planner runs.\n        const justified = removedReqOps.get(svc) ?? new Set<string>();\n        for (const marker of removals) {\n          const target = livingOps.find((op) => op.path === marker.path && op.method === marker.method);\n          if (target === undefined) {\n            issues.push({\n              severity: \"error\",\n              code: \"openapi.remove-target-missing\",\n              subject: svc,\n              message: `${svc}: removal marker for '${marker.id}' addresses ${marker.method} ${marker.path}, but no living operation exists there`,\n            });\n          } else if (target.id !== marker.id) {\n            issues.push({\n              severity: \"error\",\n              code: \"openapi.remove-target-mismatch\",\n              subject: svc,\n              message: `${svc}: removal marker names '${marker.id}' at ${marker.method} ${marker.path}, but the living operation there is '${target.id}'`,\n            });\n          }\n          // A relocation needs no REMOVED requirement: the requirement governing\n          // the operation stays, the operation only changes address.\n          if (!netRemoved.has(marker.id)) continue;\n          if (!justified.has(marker.id)) {\n            issues.push({\n              severity: \"error\",\n              code: \"openapi.remove-marker-unjustified\",\n              subject: svc,\n              message: `${svc}: removal marker for '${marker.id}' is not governed by a REMOVED requirement's Operations: line`,\n            });\n          }\n        }\n      }\n    }\n    for (const [svc, required] of removedReqOps) {\n      // The markers live in the unreadable file — \"no matching marker\" would\n      // be a claim about a document nobody could open.\n      if (unreadableApis.has(svc)) continue;\n      const marked = allMarkerIds.get(svc) ?? new Set<string>();\n      for (const op of required) {\n        if (marked.has(op)) continue;\n        // Distinguish \"no marker at all\" from \"a marker is there but loam cannot\n        // read which operation it names\" — the first asks the author to write the\n        // marker, the second to write the operationId, and telling somebody who\n        // already wrote the marker that there is none sends them looking for a\n        // file they are staring at.\n        issues.push({\n          severity: \"error\",\n          code: \"openapi.remove-marker-missing\",\n          subject: svc,\n          message: anonymousMarkers.get(svc) === true\n            ? `${svc}: REMOVED requirement governs '${op}', and its feature openapi.yaml carries an x-loam-remove: true marker with no operationId — name '${op}' on that marker`\n            : `${svc}: REMOVED requirement governs '${op}', but its feature openapi.yaml has no matching x-loam-remove: true marker`,\n        });\n      }\n    }\n  return { reqOps, removedReqOps, removingOps, allMarkerIds, anonymousMarkers, featureApiOps, unreadableApis };\n}\n"]}
+{"version":3,"file":"declared.js","sourceRoot":"","sources":["../../../src/core/coherence/declared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAwB,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAE7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAmC,MAAM,+BAA+B,CAAC;AAmDnG,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAAiB,EACjB,QAA2B,EAC3B,MAAe,EACf,OAAsB;IAEtB,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC9D,0FAA0F;IAC1F,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IACnD,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,iFAAiF;IACjF,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmC,CAAC;IAChE,wGAAwG;IACxG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChE,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,kEAAkE;IAClE,yEAAyE;IACzE,2EAA2E;IAC3E,yBAAyB;IACzB,EAAE;IACF,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IACxE,2EAA2E;IAC3E,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,2EAA2E;IAC3E,4BAA4B;IAC5B,MAAM,gBAAgB,GACpB,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACxH,MAAM,eAAe,GAAG,uBAAuB,CAC7C,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,EACrG,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,IAAI,eAAe,CAAC,OAAO,KAAK,SAAS,CAAC;IACjF,yEAAyE;IACzE,uEAAuE;IACvE,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,4CAA4C;IAC5C,IAAI,YAAY,GAA+C,IAAI,CAAC;IACpE,MAAM,cAAc,GAAG,GAAwC,EAAE;QAC/D,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;YAChC,CAAC,CAAC,KAAK,EAAE,CAAS,EAA0B,EAAE,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3F,CAAC,CAAC,CAAC,CAAS,EAA0B,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACvE,yEAAyE;QACzE,oEAAoE;QACpE,0EAA0E;QAC1E,YAAY,KAAK,0BAA0B,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACtF,uBAAuB,CACrB,KAAK,EACL,MAAM,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CACpG,CACF,CAAC;QACF,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;gBAChC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACvD,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/C,6EAA6E;YAC7E,2EAA2E;YAC3E,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YACvF,aAAa,CAAC,GAAG,CACf,GAAG,EACH,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAC/E,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;gBACvE,MAAM,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,EAAE,CAAC,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;QACD,sEAAsE;QACtE,yEAAyE;QACzE,oEAAoE;QACpE,yEAAyE;QACzE,yEAAyE;QACzE,mEAAmE;QACnE,IAAI,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,OAAO,KAAK,SAAS;gBACpC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC3D,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACnD,MAAM,UAAU,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC;YAC/E,MAAM,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,EAAE,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,4EAA4E;QAC5E,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,kFAAkF;QAClF,uCAAuC;QACvC,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1D,yEAAyE;QACzE,kEAAkE;QAClE,sEAAsE;QACtE,qEAAqE;QACrE,sEAAsE;QACtE,qEAAqE;QACrE,wEAAwE;QACxE,sEAAsE;QACtE,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,+CAA+C,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,GAAG,uGAAuG;aAC9N,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;QAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACnD,mEAAmE;QACnE,yEAAyE;QACzE,wEAAwE;QACxE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACrE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACjC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEhE,oEAAoE;QACpE,2EAA2E;QAC3E,4EAA4E;QAC5E,oCAAoC;QACpC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,iCAAiC;gBACvC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,iKAAiK;aAClN,CAAC,CAAC;QACL,CAAC;QAED,MAAM,iBAAiB,GAAG,CAAC,MAAM,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QACpF,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnH,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC3G,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACtD,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5F,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG,GAAG,6CAA6C,EAAE,QAAQ,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,8IAA8I;aACxO,CAAC,CAAC;QACL,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,yEAAyE;QACzE,wEAAwE;QACxE,gDAAgD;QAChD,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,6EAA6E;YAC7E,iEAAiE;YACjE,yDAAyD;YACzD,mEAAmE;YACnE,oEAAoE;YACpE,+DAA+D;YAC/D,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACzD,MAAM,UAAU,GAAG,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;YACzG,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CACT,GAAG,qBAAqB,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CACnG,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAChF,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;gBACzB,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YAED,kEAAkE;YAClE,yEAAyE;YACzE,uEAAuE;YACvE,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YAC9D,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9F,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,+BAA+B;wBACrC,OAAO,EAAE,GAAG;wBACZ,OAAO,EAAE,GAAG,GAAG,yBAAyB,MAAM,CAAC,EAAE,eAAe,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,wCAAwC;qBACrI,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;oBACnC,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,gCAAgC;wBACtC,OAAO,EAAE,GAAG;wBACZ,OAAO,EAAE,GAAG,GAAG,2BAA2B,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,wCAAwC,MAAM,CAAC,EAAE,GAAG;qBAC5I,CAAC,CAAC;gBACL,CAAC;gBACD,uEAAuE;gBACvE,2DAA2D;gBAC3D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC9B,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,mCAAmC;wBACzC,OAAO,EAAE,GAAG;wBACZ,OAAO,EAAE,GAAG,GAAG,yBAAyB,MAAM,CAAC,EAAE,+DAA+D;qBACjH,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5C,uEAAuE;QACvE,iDAAiD;QACjD,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC7B,oEAAoE;YACpE,sEAAsE;YACtE,uEAAuE;YACvE,sEAAsE;YACtE,+DAA+D;YAC/D,wEAAwE;YACxE,oEAAoE;YACpE,6DAA6D;YAC7D,uEAAuE;YACvE,sEAAsE;YACtE,uEAAuE;YACvE,oEAAoE;YACpE,uEAAuE;YACvE,uEAAuE;YACvE,sEAAsE;YACtE,kEAAkE;YAClE,oEAAoE;YACpE,yBAAyB;YACzB,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC/F,yEAAyE;YACzE,0EAA0E;YAC1E,wEAAwE;YACxE,uEAAuE;YACvE,4BAA4B;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI;oBACzC,CAAC,CAAC,GAAG,GAAG,kCAAkC,EAAE,qGAAqG,EAAE,kBAAkB;oBACrK,CAAC,CAAC,GAAG,GAAG,kCAAkC,EAAE,4EAA4E;aAC3H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACH,OAAO;QACL,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB;QACpH,YAAY;KACb,CAAC;AACJ,CAAC","sourcesContent":["/**\n * What a feature's own delta DECLARES, per service, indexed once.\n *\n * Nine indexes over the same four files (the delta spec.md, arch.spec.md,\n * openapi.yaml, and the living contract they are graded against), built in one\n * walk because every check downstream joins on the service id and would\n * otherwise re-read the delta per question. The distinctions here are the ones\n * the checks cannot make for themselves: an operation a REMOVED requirement\n * governs is being retired, so it neither claims the contract nor governs\n * anything after the merge; a removal marker that names an id also defined\n * elsewhere in the delta is a RELOCATION, not a retirement; a living operation\n * another one replaces at its address, with no marker naming it, leaves the\n * contract all the same; and a marker with\n * no `operationId` at all is a shape only this walk can see. The capability\n * gate rides the same loop: both delta spec documents are graded against the\n * fleet vocabulary here, because coherence.ts and this package's file count\n * are both at their limits and the walk already holds the parsed documents.\n */\nimport { existsSync } from \"node:fs\";\nimport { readOr } from \"../openapi/contract-text.js\";\nimport { readFile } from \"node:fs/promises\";\nimport { type PathableService } from \"../kernel/ids/service.js\";\nimport type { Issue } from \"../vocabulary/issue.js\";\nimport { featureSpecPaths } from \"../repo/paths.js\";\nimport { locateServicePaths } from \"../repo/service-target.js\";\nimport { parseRequirements } from \"../document/parse.js\";\nimport { readCapabilityVocabulary } from \"../capabilities/capabilities.js\";\nimport { capabilityRequirementIndex } from \"../capabilities/findings.js\";\nimport { withFeatureCapabilities, withFeatureRequirements } from \"../capabilities/delta/overlay.js\";\nimport { featureCapabilityDeltas } from \"../capabilities/delta/tree.js\";\nimport { realizesUnknownIssues } from \"../capabilities/realizes/findings.js\";\nimport type { CapabilityRequirementIndex } from \"../capabilities/realizes/join.js\";\nimport { capabilityUnknownIssues } from \"../capabilities/findings.js\";\nimport type { Requirement } from \"../document/spec.js\";\nimport { openapiBaselineIssues } from \"../openapi/baseline/gate.js\";\nimport { readOpenapi } from \"../openapi/doc.js\";\nimport { operationRetirements } from \"./retired/retirement.js\";\nimport { operationArrivals, type Arrival, type Displacement } from \"./retired/revival/arrivals.js\";\nimport type { FleetContext } from \"../fleet-context.js\";\nimport type { DocsDir, FeatureDir } from \"../kernel/ids/dirs.js\";\n\n/** Everything one feature's delta says about its own services. */\nexport interface Declared {\n  /** Per service: the operations its non-REMOVED requirements govern. */\n  reqOps: Map<PathableService, string[]>;\n  /** Per service: the operations its REMOVED requirements governed. */\n  removedReqOps: Map<PathableService, Set<string>>;\n  /** Per service: operations this feature genuinely retires (markers minus relocations). */\n  removingOps: Map<string, Set<string>>;\n  /** Per service: every id a removal marker names, relocations included. */\n  allMarkerIds: Map<string, Set<string>>;\n  /** Per service: does the feature contract carry a marker with no operationId? */\n  anonymousMarkers: Map<string, boolean>;\n  /** The operationIds the living contract of their service does not hold, across the whole feature — new, or revived (see `revivalCandidates`). */\n  featureApiOps: Set<string>;\n  /**\n   * Services whose FEATURE openapi.yaml exists but does not parse. Every check\n   * that joins on the feature contract must suspend itself for these — an\n   * unreadable document yields the same empty op set as an absent one, and\n   * grading against that emptiness produced false errors pointing everywhere\n   * but at the broken file.\n   */\n  unreadableApis: Set<string>;\n  /**\n   * Per service: every (operationId, address) the contract the archive would\n   * write has and the living one lacks — an addition, or a revival of what an\n   * archived feature retired or moved away, which the living contract alone\n   * cannot tell apart. coherence.ts asks the retired index (./retired/) only\n   * when one of these lists is non-empty.\n   */\n  revivalCandidates: Map<PathableService, Arrival[]>;\n  /**\n   * Per service: every living operationId the contract the archive would\n   * write answers nowhere while no removal marker names it — replaced at its\n   * address by another operation (./retired/revival/arrivals.ts). The\n   * removal gate's consumers are asked of these too: the loss is the same,\n   * only the spelling differs.\n   */\n  displacedOps: Map<PathableService, Displacement[]>;\n}\n\n/** The three facts this walk needs about the feature it is reading. */\nexport interface DeltaScope {\n  docsDir: DocsDir;\n  featureDir: FeatureDir;\n  featureId: string;\n}\n\nexport async function declaredByService(\n  scope: DeltaScope,\n  svcNames: PathableService[],\n  issues: Issue[],\n  context?: FleetContext,\n): Promise<Declared> {\n  const { docsDir, featureDir, featureId } = scope;\n    const reqOps = new Map<PathableService, string[]>();\n    const removedReqOps = new Map<PathableService, Set<string>>();\n    /** Per service: operations this feature genuinely retires (markers minus relocations). */\n    const removingOps = new Map<string, Set<string>>();\n    /** Per service: every id a removal marker names, relocations included. */\n    const allMarkerIds = new Map<string, Set<string>>();\n    /** Per service: does the feature contract carry a marker with no operationId? */\n    const anonymousMarkers = new Map<string, boolean>();\n    const featureApiOps = new Set<string>();\n    const unreadableApis = new Set<string>();\n    const revivalCandidates = new Map<PathableService, Arrival[]>();\n    const displacedOps = new Map<PathableService, Displacement[]>();\n    /** Per service read here: the operationIds its living contract holds, or null when it does not read. */\n    const livingIds = new Map<string, ReadonlySet<string> | null>();\n    // The capability gate's vocabulary, once per call. Absent or invalid stays\n    // SILENT here — capability.invalid is validate --all's one finding about a\n    // broken file, and an absent file means the fleet never opted in — so with\n    // either, nothing new gates archive (the roadmap's own trade; the\n    // /loam-check row tells agents to fix the YAML first). `grading` is that\n    // silence hoisted into a guard, so a silent axis also skips the reads that\n    // exist only to feed it.\n    //\n    // The vocabulary is the one this feature's MERGE would leave behind, not\n    // the one on disk: a feature that adds a capability requirement in its own\n    // capability delta and `Realizes:` it from its own service delta is the\n    // flow the whole axis exists for, and graded against the living tree alone\n    // it is refused with `capability.realizes-unknown` — an error, gating\n    // archive, for a target the same archive creates. `capabilities/delta/\n    // overlay.ts` states the whole judgement. One `existsSync` for a feature\n    // that carries no capability delta, which is every feature in a fleet that\n    // has not adopted the axis.\n    const capabilityDeltas =\n      context === undefined ? await featureCapabilityDeltas(featureDir) : await context.featureCapabilityDeltas(featureDir);\n    const capabilityVocab = withFeatureCapabilities(\n      context === undefined ? await readCapabilityVocabulary(docsDir) : await context.capabilities(docsDir),\n      capabilityDeltas.docs.map((d) => d.id),\n    );\n    const grading = capabilityVocab.present && capabilityVocab.invalid === undefined;\n    // The `Realizes:` index, built at most ONCE per feature and only if some\n    // delta document actually reaches the grading branch. Lazy rather than\n    // eager because it reads every capability document in the fleet, and a\n    // feature whose deltas carry no requirement file at all must not pay for\n    // that — the same \"a silent axis skips the reads that feed it\" rule\n    // `grading` above states, one level deeper.\n    let pendingIndex: Promise<CapabilityRequirementIndex> | null = null;\n    const capabilityReqs = (): Promise<CapabilityRequirementIndex> => {\n      const read = context === undefined\n        ? async (p: string): Promise<Requirement[]> => parseRequirements(await readFile(p, \"utf8\"))\n        : (p: string): Promise<Requirement[]> => context.readRequirements(p);\n      // The living index first, then widened by what this feature's capability\n      // deltas ADD or MODIFY. Both halves are inside the lazy thunk, so a\n      // feature whose deltas carry no requirement file at all pays for neither.\n      pendingIndex ??= capabilityRequirementIndex(capabilityVocab, read).then(async (index) =>\n        withFeatureRequirements(\n          index,\n          await Promise.all(capabilityDeltas.docs.map(async (d) => ({ id: d.id, reqs: await read(d.spec) }))),\n        ),\n      );\n      return pendingIndex;\n    };\n    for (const svc of svcNames) {\n      const paths = featureSpecPaths(featureDir, svc);\n      if (existsSync(paths.spec)) {\n        const reqs = context === undefined\n          ? parseRequirements(await readFile(paths.spec, \"utf8\"))\n          : await context.readRequirements(paths.spec);\n        // REMOVED requirements are being retired along with their operations — their\n        // ops neither claim the contract (E1) nor govern anything after the merge.\n        reqOps.set(svc, reqs.filter((r) => r.kind !== \"REMOVED\").flatMap((r) => r.operations));\n        removedReqOps.set(\n          svc,\n          new Set(reqs.filter((r) => r.kind === \"REMOVED\").flatMap((r) => r.operations)),\n        );\n        if (grading) {\n          const target = { where: `${svc}: spec.md`, subject: svc };\n          issues.push(...capabilityUnknownIssues(reqs, target, capabilityVocab));\n          issues.push(...realizesUnknownIssues(reqs, target, await capabilityReqs()));\n        }\n      }\n      // The delta arch.spec.md carries the same grammar and merges the same\n      // way, so an undeclared capability in it gates identically. Nothing else\n      // in this walk needs the arch delta, so the read itself sits behind\n      // `grading` — and it is NOT always cached: `validate --feature` passes a\n      // context, but archive's plan gate (commands/archive/plan/gate.ts) calls\n      // featureCoherence without one, so this parse is paid fresh there.\n      if (grading && existsSync(paths.archSpec)) {\n        const archReqs = context === undefined\n          ? parseRequirements(await readFile(paths.archSpec, \"utf8\"))\n          : await context.readRequirements(paths.archSpec);\n        const archTarget = { where: `${svc}: arch.spec.md`, subject: svc };\n        issues.push(...capabilityUnknownIssues(archReqs, archTarget, capabilityVocab));\n        issues.push(...realizesUnknownIssues(archReqs, archTarget, await capabilityReqs()));\n      }\n      // Only operations the living contract does not hold count as feature-added:\n      // a delta may restate living operations it does not change (a quote), and\n      // a quote adds nothing. \"Not in living\" is not quite \"new\", though — an\n      // operation an archived feature RETIRED is absent too, and adding it back\n      // is `openapi.op-revived`'s question (./retired/revival/revived.ts), asked of the\n      // `revivalCandidates` collected below.\n      const featDoc = await readOpenapi(paths.openapi, context);\n      // A feature contract that EXISTS but does not read is a broken document,\n      // not an empty one — the living-side `openapi.invalid` discipline\n      // (validate/service/api.ts), applied to the delta. Before this check,\n      // `validate --feature` said nothing about the file at all: the empty\n      // parse silently skipped every baseline pin and removal marker in it,\n      // and E1 graded requirements against a contract that was never read.\n      // The rest of this service's contract-axis checks are suspended — every\n      // one of them would be an opinion about a document nobody could open.\n      if (featDoc.unreadable) {\n        unreadableApis.add(svc);\n        issues.push({\n          severity: \"error\",\n          code: \"openapi.invalid\",\n          subject: svc,\n          message: `${svc}: this feature's openapi.yaml does not parse${featDoc.error === undefined ? \"\" : ` (${featDoc.error})`} — the contract axis is unchecked and the merge would have nothing true to write. Fix the YAML first.`,\n        });\n        continue;\n      }\n      const featOps = featDoc.ops;\n      const removals = featOps.filter((op) => op.remove);\n      // The raw marker set and the NET one (markers minus relocations) —\n      // ./retired/retirement.ts owns the rule and says why the two differ; the\n      // retired index reads every archived feature through the same function.\n      const { markerIds, net: netRemoved } = operationRetirements(featOps);\n      removingOps.set(svc, netRemoved);\n      allMarkerIds.set(svc, markerIds);\n      anonymousMarkers.set(svc, featDoc.anonymousRemovals.length > 0);\n\n      // A marker with no operationId names a slot but no operation. Every\n      // id-keyed check is blind to it, so it used to travel all the way into the\n      // living contract as a literal `x-loam-remove: true` — the one feature-only\n      // key that must never be published.\n      for (const marker of featDoc.anonymousRemovals) {\n        issues.push({\n          severity: \"error\",\n          code: \"openapi.remove-marker-anonymous\",\n          subject: svc,\n          message: `${svc}: ${marker.method} ${marker.path} carries x-loam-remove: true but declares no operationId — loam cannot tell which operation it retires; name the operation the living contract has at that slot`,\n        });\n      }\n\n      const livingOpenapiPath = (await locateServicePaths(docsDir, svc, context)).openapi;\n      const livingDoc = await readOpenapi(livingOpenapiPath, context);\n      const livingOps = livingDoc.ops;\n      livingIds.set(svc, livingDoc.unreadable ? null : new Set(livingOps.filter((op) => !op.remove).map((op) => op.id)));\n      const sides = { featPath: paths.openapi, featDoc, livingPath: livingOpenapiPath, livingDoc, service: svc };\n      const moved = await operationArrivals(sides, context);\n      revivalCandidates.set(svc, moved.operations);\n      if (moved.displaced.length > 0) displacedOps.set(svc, moved.displaced);\n      for (const id of livingDoc.duplicateIds) {\n        const slots = livingOps.filter((op) => op.id === id).map((op) => `${op.method} ${op.path}`);\n        issues.push({\n          severity: \"warn\",\n          code: \"openapi.duplicate-operationid\",\n          subject: svc,\n          message: `${svc}: the living OpenAPI defines operationId '${id}' at ${slots.join(\" and \")} — every join on the id (a requirement's Operations: line, an edge's metadata { op }, a removal marker) picks one of those slots arbitrarily`,\n        });\n      }\n      // The baseline axis — operation pins, path-item keys and components —\n      // graded in its own package (openapi/baseline/gate.ts), slot-keyed\n      // exactly as the merge writes. Texts come through the context's memoized\n      // read when there is one, mirroring the readRequirements pattern above;\n      // the gate itself never touches the filesystem.\n      if (existsSync(paths.openapi)) {\n        // `readOr` (../openapi/contract-text.ts, which says why): `context.readText`\n        // throws on non-UTF-8 bytes where the no-context `readFile` lets\n        // `readOpenapi` flag the document unreadable — the exact\n        // context/no-context divergence doc.ts documents as paid for once.\n        // Either text failing to decode gets the same answer the gate gives\n        // an unreadable parse: that side's surface checks are skipped.\n        const featureText = await readOr(paths.openapi, context);\n        const livingText = !existsSync(livingOpenapiPath) ? undefined : await readOr(livingOpenapiPath, context);\n        if (featureText !== undefined) {\n          issues.push(\n            ...openapiBaselineIssues({ featDoc, livingDoc, featureText, livingText, service: svc, featureId }),\n          );\n        }\n      }\n\n      if (featOps.length > 0) {\n        const living = new Set(livingOps.filter((op) => !op.remove).map((op) => op.id));\n        for (const op of featOps) {\n          if (!op.remove && !living.has(op.id)) featureApiOps.add(op.id);\n        }\n\n        // Removal is exact: the feature names both an operationId and the\n        // path+method slot it expects to delete. That catches stale deltas whose\n        // target moved or was already retired before the archive planner runs.\n        const justified = removedReqOps.get(svc) ?? new Set<string>();\n        for (const marker of removals) {\n          const target = livingOps.find((op) => op.path === marker.path && op.method === marker.method);\n          if (target === undefined) {\n            issues.push({\n              severity: \"error\",\n              code: \"openapi.remove-target-missing\",\n              subject: svc,\n              message: `${svc}: removal marker for '${marker.id}' addresses ${marker.method} ${marker.path}, but no living operation exists there`,\n            });\n          } else if (target.id !== marker.id) {\n            issues.push({\n              severity: \"error\",\n              code: \"openapi.remove-target-mismatch\",\n              subject: svc,\n              message: `${svc}: removal marker names '${marker.id}' at ${marker.method} ${marker.path}, but the living operation there is '${target.id}'`,\n            });\n          }\n          // A relocation needs no REMOVED requirement: the requirement governing\n          // the operation stays, the operation only changes address.\n          if (!netRemoved.has(marker.id)) continue;\n          if (!justified.has(marker.id)) {\n            issues.push({\n              severity: \"error\",\n              code: \"openapi.remove-marker-unjustified\",\n              subject: svc,\n              message: `${svc}: removal marker for '${marker.id}' is not governed by a REMOVED requirement's Operations: line`,\n            });\n          }\n        }\n      }\n    }\n    for (const [svc, required] of removedReqOps) {\n      // The markers live in the unreadable file — \"no matching marker\" would\n      // be a claim about a document nobody could open.\n      if (unreadableApis.has(svc)) continue;\n      const marked = allMarkerIds.get(svc) ?? new Set<string>();\n      const replaced = new Set((displacedOps.get(svc) ?? []).map((d) => d.id));\n      const living = livingIds.get(svc);\n      for (const op of required) {\n        if (marked.has(op)) continue;\n        // A marker is owed only while there is a living operation for it to\n        // retire — the event axis's rule (events/declared.ts) on the contract\n        // axis. An operation this delta already REPLACES at its address leaves\n        // the contract without one, and the marker could not even be written:\n        // the slot holds the replacement. So the route the overwrite's\n        // `openapi.remove-op-consumed` names — REMOVE the requirement governing\n        // the old id — ended in this error, followable only by deleting the\n        // requirement's Operations: line, which nothing said (review\n        // 2026-10-12, finding 4). And an id the service's living contract does\n        // not define is not this service's to mark at all: a REMOVED consumer\n        // requirement naming ANOTHER service's operation was told to retire it\n        // from its own contract. Both exemptions are facts about a contract\n        // loam READ: a living openapi.yaml that does not parse proves neither,\n        // so the marker stays owed — the closed direction, and the answer this\n        // check gave before either exemption existed. Skipping it there let a\n        // REMOVED requirement with no marker pass at exit 0 (the contract\n        // review, finding 3); `openapi.invalid` is still validate's finding\n        // about the file itself.\n        if (replaced.has(op) || (living !== undefined && living !== null && !living.has(op))) continue;\n        // Distinguish \"no marker at all\" from \"a marker is there but loam cannot\n        // read which operation it names\" — the first asks the author to write the\n        // marker, the second to write the operationId, and telling somebody who\n        // already wrote the marker that there is none sends them looking for a\n        // file they are staring at.\n        issues.push({\n          severity: \"error\",\n          code: \"openapi.remove-marker-missing\",\n          subject: svc,\n          message: anonymousMarkers.get(svc) === true\n            ? `${svc}: REMOVED requirement governs '${op}', and its feature openapi.yaml carries an x-loam-remove: true marker with no operationId — name '${op}' on that marker`\n            : `${svc}: REMOVED requirement governs '${op}', but its feature openapi.yaml has no matching x-loam-remove: true marker`,\n        });\n      }\n    }\n  return {\n    reqOps, removedReqOps, removingOps, allMarkerIds, anonymousMarkers, featureApiOps, unreadableApis, revivalCandidates,\n    displacedOps,\n  };\n}\n"]}

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"]}