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

package/dist/core/openapi/merge/merge.js

@@ -9,16 +9,17 @@
  * survives a refactor.
  */
 import { isDeepStrictEqual } from "node:util";
-import { isMap, isScalar, parseDocument } from "yaml";
+import { isMap } from "yaml";
 // Every `isRecord` below asks one question of a resolved plain tree: is this a
 // node that can hold OpenAPI keys — an object, not an array?
 import { isRecord } from "../../kernel/records.js";
 import { HTTP_METHODS } from "../doc.js";
-import { errorMessage, OpenapiMergeError } from "./error.js";
+import { OpenapiMergeError, openapiRefusal } from "./error.js";
+import { readTree, writeTree } from "../contract-tree.js";
 import { classifyOperationBaseline } from "./pin.js";
 import { classifyBaselineDigests, isRemoval, valueDigest } from "../digest.js";
 import { entryFor, readBaselineRecord, restatedSurfaces } from "../baseline/record.js";
-import { opLabel, operationIdOf, plainChild, withoutFeatureMarkers } from "./markers.js";
+import { dropPathIfNoOperations, opLabel, operationIdOf, plainChild, withoutFeatureMarkers } from "./markers.js";
 import { mergeComponentClosure } from "./components.js";
 /**
  * Merge the feature's `paths` into the living OpenAPI structurally (YAML AST, not
@@ -41,20 +42,8 @@ import { mergeComponentClosure } from "./components.js";
  * says so — it is never "nothing to merge".
  */
 export function mergeOpenapiPaths(livingText, featureText, service) {
-    const feature = parseDocument(featureText);
-    if (feature.errors.length > 0) {
-        throw new OpenapiMergeError("feature", service, feature.errors[0].message);
-    }
-    let featPlain;
-    try {
-        // Resolve aliases once with the document's own anchor context. Calling an
-        // individual AST node's toJSON() loses that context and can silently turn
-        // an aliased operation or component into the wrong value.
-        featPlain = feature.toJS() ?? {};
-    }
-    catch (error) {
-        throw new OpenapiMergeError("feature", service, errorMessage(error));
-    }
+    // Aliases resolved once, with the document's own anchor context (readTree).
+    const { plain: featPlain } = readTree(featureText, openapiRefusal("feature", service));
     const featPathsPlain = plainChild(featPlain, "paths");
     // The SHAPE refusal is unchanged and stays first: a `paths` that is a
     // sequence or a scalar is a document loam cannot merge. Absent and null
@@ -77,22 +66,13 @@ export function mergeOpenapiPaths(livingText, featureText, service) {
     if (componentsAreTheDelta && !restatedSurfaces(featPlain).some((s) => s.kind === "component")) {
         return noop();
     }
-    const living = parseDocument(livingText);
-    if (living.errors.length > 0) {
-        throw new OpenapiMergeError("living", service, living.errors[0].message);
-    }
-    let livingPlain;
-    try {
-        livingPlain = living.toJS() ?? {};
-    }
-    catch (error) {
-        throw new OpenapiMergeError("living", service, errorMessage(error));
-    }
+    const { doc: living, plain: livingPlain } = readTree(livingText, openapiRefusal("living", service));
     const livingPathsPlain = plainChild(livingPlain, "paths");
     if (livingPathsPlain !== undefined && livingPathsPlain !== null && !isRecord(livingPathsPlain)) {
         throw new OpenapiMergeError("living", service, "`paths` is not a mapping");
     }
     const modified = [];
+    const modifiedOperationIds = new Map();
     const pathItemModified = [];
     const removed = [];
     const quoted = [];
@@ -147,7 +127,7 @@ export function mergeOpenapiPaths(livingText, featureText, service) {
                 if (HTTP_METHODS.has(m)) {
                     const verdict = classifyOperationBaseline(afterPlain, before === undefined ? undefined : beforePlain);
                     // A QUOTE is not a merge input. The author wrote this operation down
-                    // because the document is complete, not because they changed it, so
+                    // as a restatement, not because they changed it, so
                     // the living contract keeps whatever it holds — including a change
                     // that landed after this delta was written. This is mechanical, not a
                     // judgement, so `--approve` does not turn it back on: overriding a
@@ -183,10 +163,16 @@ export function mergeOpenapiPaths(livingText, featureText, service) {
                 // The difference check covers EVERY key of the path item; only the
                 // LABEL depends on whether the key is an HTTP method.
                 if (before !== undefined && !isDeepStrictEqual(beforePlain, afterPlain)) {
-                    if (HTTP_METHODS.has(m))
-                        modified.push(opLabel(beforePlain, afterPlain, m, path));
-                    else
+                    if (HTTP_METHODS.has(m)) {
+                        const label = opLabel(beforePlain, afterPlain, m, path);
+                        modified.push(label);
+                        const id = operationIdOf(beforePlain) ?? operationIdOf(afterPlain);
+                        if (id !== undefined)
+                            modifiedOperationIds.set(label, id);
+                    }
+                    else {
                         pathItemModified.push(`'${m}' (${path})`);
+                    }
                 }
                 // Every shape question above was answered from the RESOLVED tree, which
                 // is exactly what makes an aliased path item read as an ordinary
@@ -204,16 +190,10 @@ export function mergeOpenapiPaths(livingText, featureText, service) {
                 living.setIn(["paths", path, m], publishable[m]);
                 written.push({ from: `paths ${path}`, value: publishable[m] });
             }
-            // Removing the last method leaves a path the contract still advertises
-            // and nothing answers — and `{}` is only the easy shape of that state: a
-            // surviving path-LEVEL key (`parameters`, `summary`) kept the path alive
-            // with zero operations just as misleadingly. No methods left means the
-            // path goes, whatever else survived beside them. The same cleanup
-            // stripOpenapiRemovalMarkers does on the feature side.
-            const remaining = living.getIn(["paths", path]);
-            if (isMap(remaining) && !remaining.items.some((it) => isScalar(it.key) && HTTP_METHODS.has(String(it.key.value)))) {
-                living.deleteIn(["paths", path]);
-            }
+            // No methods left means the path goes, whatever else survived beside
+            // them — the same cleanup stripOpenapiRemovalMarkers does on the
+            // feature side, and the reason is spelled once, on the helper.
+            dropPathIfNoOperations(living, path);
             continue;
         }
         if (!isRecord(featItemPlain)) {
@@ -227,15 +207,9 @@ export function mergeOpenapiPaths(livingText, featureText, service) {
     }
     const closure = mergeComponentClosure({ living, featPlain, livingPlain, record, written, componentsAreTheDelta });
     const { componentsModified, componentsAdded, componentsQuoted, componentsStale, unresolved } = closure;
-    let text;
-    try {
-        text = living.toString();
-    }
-    catch (error) {
-        throw new OpenapiMergeError("living", service, errorMessage(error));
-    }
+    const text = writeTree(living, openapiRefusal("living", service));
     return {
-        text, modified, pathItemModified, removed, quoted, baselineStale,
+        text, modified, modifiedOperationIds, pathItemModified, removed, quoted, baselineStale,
         pathItemQuoted, pathItemStale, componentsModified, componentsAdded, componentsQuoted, componentsStale, unresolved,
     };
 }
@@ -248,8 +222,8 @@ export function mergeOpenapiPaths(livingText, featureText, service) {
  */
 function noop() {
     return {
-        text: null, modified: [], pathItemModified: [], removed: [], quoted: [], baselineStale: [],
-        pathItemQuoted: [], pathItemStale: [], componentsModified: [], componentsAdded: [],
+        text: null, modified: [], modifiedOperationIds: new Map(), pathItemModified: [], removed: [], quoted: [],
+        baselineStale: [], pathItemQuoted: [], pathItemStale: [], componentsModified: [], componentsAdded: [],
         componentsQuoted: [], componentsStale: [], unresolved: [],
     };
 }

package/dist/core/openapi/merge/merge.js.map

@@ -1 +1 @@
-{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../../../src/core/openapi/merge/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AACtD,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACzF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AA8DxD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,WAAmB,EACnB,OAAe;IAEf,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,SAAkB,CAAC;IACvB,IAAI,CAAC;QACH,0EAA0E;QAC1E,0EAA0E;QAC1E,0DAA0D;QAC1D,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,sEAAsE;IACtE,wEAAwE;IACxE,6EAA6E;IAC7E,uEAAuE;IACvE,oBAAoB;IACpB,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,0BAA0B,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,eAAe,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvF,6EAA6E;IAC7E,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,uEAAuE;IACvE,kEAAkE;IAClE,yEAAyE;IACzE,MAAM,qBAAqB,GAAG,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC;IAC3D,IAAI,qBAAqB,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,WAAoB,CAAC;IACzB,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,gBAAgB,GAAG,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/F,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,0BAA0B,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,2EAA2E;IAC3E,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,eAAe,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,UAAU,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,qEAAqE;YACrE,wEAAwE;YACxE,yEAAyE;YACzE,iCAAiC;YACjC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,oBAAoB,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,oBAAoB,CAAC,CAAC;YACrF,CAAC;YACD,yEAAyE;YACzE,kEAAkE;YAClE,yEAAyE;YACzE,qEAAqE;YACrE,wEAAwE;YACxE,6CAA6C;YAC7C,MAAM,OAAO,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,KAAK,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBAChD,MAAM,WAAW,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;gBACjD,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;oBACjD,sEAAsE;oBACtE,8DAA8D;oBAC9D,qEAAqE;oBACrE,IACE,MAAM,KAAK,SAAS;wBACpB,aAAa,CAAC,WAAW,CAAC,KAAK,SAAS;wBACxC,aAAa,CAAC,WAAW,CAAC,KAAK,aAAa,CAAC,UAAU,CAAC,EACxD,CAAC;wBACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;wBACxD,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;oBACtC,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxB,MAAM,OAAO,GAAG,yBAAyB,CAAC,UAAU,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;oBACtG,qEAAqE;oBACrE,oEAAoE;oBACpE,mEAAmE;oBACnE,sEAAsE;oBACtE,mEAAmE;oBACnE,qEAAqE;oBACrE,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;wBACxB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;wBACvD,SAAS;oBACX,CAAC;oBACD,IAAI,OAAO,KAAK,OAAO;wBAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBACzF,CAAC;gBACD,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC;oBACxB,kEAAkE;oBAClE,sEAAsE;oBACtE,gEAAgE;oBAChE,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzB,mEAAmE;oBACnE,gEAAgE;oBAChE,oEAAoE;oBACpE,gEAAgE;oBAChE,iEAAiE;oBACjE,oEAAoE;oBACpE,MAAM,OAAO,GAAG,uBAAuB,CACrC,QAAQ,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EACxE,WAAW,CAAC,UAAU,CAAC,EACvB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAC5D,CAAC;oBACF,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;wBACxB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;wBACxC,SAAS;oBACX,CAAC;oBACD,IAAI,OAAO,KAAK,OAAO;wBAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;gBAClE,CAAC;gBACD,mEAAmE;gBACnE,sDAAsD;gBACtD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;oBACxE,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;;wBAC7E,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;gBACjD,CAAC;gBACD,wEAAwE;gBACxE,iEAAiE;gBACjE,sEAAsE;gBACtE,qEAAqE;gBACrE,+DAA+D;gBAC/D,wEAAwE;gBACxE,wEAAwE;gBACxE,wEAAwE;gBACxE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,MAAM,IAAI,iBAAiB,CACzB,QAAQ,EACR,OAAO,EACP,SAAS,IAAI,iKAAiK,CAC/K,CAAC;gBACJ,CAAC;gBACD,sEAAsE;gBACtE,4DAA4D;gBAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,uEAAuE;YACvE,yEAAyE;YACzE,yEAAyE;YACzE,uEAAuE;YACvE,kEAAkE;YAClE,uDAAuD;YACvD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YAChD,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClH,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACnC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,oBAAoB,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,KAAK,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClH,MAAM,EAAE,kBAAkB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAEvG,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa;QAChE,cAAc,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,UAAU;KAClH,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,IAAI;IACX,OAAO;QACL,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE;QAC1F,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE;QAClF,gBAAgB,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE;KAC1D,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The archive-time merge: a feature's contract folded into the living one, and\n * every condition the caller has to surface afterwards.\n *\n * The result type carries far more than the merged text on purpose. A merge\n * that quietly overwrote an operation, dropped a component, or ran against a\n * stale baseline is not an error — it is a fact the archiving human has to be\n * told, and a return value nobody can forget to read is the only place that\n * survives a refactor.\n */\nimport { isDeepStrictEqual } from \"node:util\";\nimport { isMap, isScalar, parseDocument } from \"yaml\";\n// Every `isRecord` below asks one question of a resolved plain tree: is this a\n// node that can hold OpenAPI keys — an object, not an array?\nimport { isRecord } from \"../../kernel/records.js\";\nimport { HTTP_METHODS } from \"../doc.js\";\nimport { errorMessage, OpenapiMergeError } from \"./error.js\";\nimport { classifyOperationBaseline } from \"./pin.js\";\nimport { classifyBaselineDigests, isRemoval, valueDigest } from \"../digest.js\";\nimport { entryFor, readBaselineRecord, restatedSurfaces } from \"../baseline/record.js\";\nimport { opLabel, operationIdOf, plainChild, withoutFeatureMarkers } from \"./markers.js\";\nimport { mergeComponentClosure } from \"./components.js\";\n\n/** What an OpenAPI path merge computed, including every condition the caller must surface. */\nexport interface OpenapiMergeResult {\n  /**\n   * The merged living document, or null when the feature document restates\n   * nothing at all — neither a path entry nor a component. It used to be null\n   * for a document with no `paths` key whatever its components said, and a\n   * delta whose whole change was a shared schema archived at exit 0 having\n   * merged nothing.\n   */\n  text: string | null;\n  /** Labels of existing operations overwritten with different content. */\n  modified: string[];\n  /**\n   * Labels of PATH-LEVEL keys (`parameters`, `servers`, `summary`, `x-*`)\n   * overwritten with different content. They are not operations, so they were\n   * excluded from the difference check entirely and overwritten in silence —\n   * a delta restating a path with a shorter `parameters` list dropped shared\n   * parameters from every operation under it, and the plan said nothing.\n   */\n  pathItemModified: string[];\n  /** Labels of living operations deleted by `x-loam-remove: true` markers. */\n  removed: string[];\n  /**\n   * Labels of operations the delta QUOTED — pinned, and equal to their own\n   * baseline — so the merge left the living contract's own copy alone. Reported\n   * rather than silent: \"your delta mentions this and I did not write it\" is\n   * exactly the sentence whose absence made the revert invisible.\n   */\n  quoted: string[];\n  /**\n   * Labels of operations whose pin matches neither the delta's own content nor\n   * the living one: edited here AND changed by somebody else in between.\n   * `openapi.baseline-stale` refuses these at the gate; the merge still\n   * overwrites, because reaching it at all means `--approve` said to.\n   */\n  baselineStale: string[];\n  /** Path-level keys the delta QUOTED (`x-loam-baselines` entry equal to own content) — skipped, living's copy kept. */\n  pathItemQuoted: string[];\n  /** Path-level keys written on a stale record entry — reaching the merge means `--approve` said to. */\n  pathItemStale: string[];\n  /** `<kind>/<name>` of living components overwritten with different content. */\n  componentsModified: string[];\n  /**\n   * `<kind>/<name>` of components written into a living contract that did not\n   * have them. Beside `componentsModified` because the plan needs a name for\n   * what a merge ADDED: a components-only delta merges no operation, and the\n   * plan line naming the merged operation ids read `merged ()` for it — empty\n   * parentheses, which is how a merge that published a new shared schema\n   * looked exactly like one that did nothing.\n   */\n  componentsAdded: string[];\n  /** Components the delta QUOTED — not copied, living's copy kept. */\n  componentsQuoted: string[];\n  /** Components written on a stale record entry — under `--approve`, like the operations. */\n  componentsStale: string[];\n  /** Local refs reachable from merged content that resolve in neither document. */\n  unresolved: Array<{ ref: string; from: string }>;\n}\n\n\n/**\n * Merge the feature's `paths` into the living OpenAPI structurally (YAML AST, not\n * text splicing). A feature document restating NOTHING — no path entry and no\n * component — is a successful no-op; one whose whole delta is a component is\n * merged like any other, through the closure at the end of this function.\n * The merged operations' local component-ref closure rides along recursively;\n * external refs are left untouched and never gated.\n *\n * Every SHAPE question — is there a `paths` mapping, is this path item a\n * mapping, which methods does it hold — is answered from the RESOLVED plain\n * trees, never from the AST node. Asking the AST (`isMap(node)`) answers a\n * different question: an alias node is not a map even when it resolves to one.\n * `paths: *alias` therefore read as \"no paths to merge\" and the whole contract\n * delta was dropped with a successful exit, and an aliased path ITEM fell into\n * the wholesale-replace branch and deleted every living operation on that path\n * that the alias did not restate. Aliases are legal OpenAPI and the natural way\n * to write a delta that repeats a shape; nothing here may treat them as absent.\n * An alias that cannot be resolved at all is a document loam cannot read, and\n * says so — it is never \"nothing to merge\".\n */\nexport function mergeOpenapiPaths(\n  livingText: string,\n  featureText: string,\n  service: string,\n): OpenapiMergeResult {\n  const feature = parseDocument(featureText);\n  if (feature.errors.length > 0) {\n    throw new OpenapiMergeError(\"feature\", service, feature.errors[0]!.message);\n  }\n  let featPlain: unknown;\n  try {\n    // Resolve aliases once with the document's own anchor context. Calling an\n    // individual AST node's toJSON() loses that context and can silently turn\n    // an aliased operation or component into the wrong value.\n    featPlain = feature.toJS() ?? {};\n  } catch (error) {\n    throw new OpenapiMergeError(\"feature\", service, errorMessage(error));\n  }\n  const featPathsPlain = plainChild(featPlain, \"paths\");\n  // The SHAPE refusal is unchanged and stays first: a `paths` that is a\n  // sequence or a scalar is a document loam cannot merge. Absent and null\n  // (`paths:` with nothing under it) are not shape faults — they are documents\n  // holding no path entries, which is a different sentence and now has a\n  // different answer.\n  if (featPathsPlain !== undefined && featPathsPlain !== null && !isRecord(featPathsPlain)) {\n    throw new OpenapiMergeError(\"feature\", service, \"`paths` is not a mapping\");\n  }\n  const featPathEntries = isRecord(featPathsPlain) ? Object.entries(featPathsPlain) : [];\n  // \"Is there anything to merge?\" is a question about the whole delta, and for\n  // years it was asked of `paths` alone — an absence test standing in for the\n  // decision. It returned here, before the living document was even parsed, so\n  // the component closure (the last statement of this function, and the only\n  // thing that writes a component) never ran: a feature whose entire change was\n  // a shared schema passed the gate and archived at exit 0 having merged\n  // NOTHING. The components answer it too now, over the ONE surface\n  // enumeration the gate and the rebase plan already grade the delta with.\n  const componentsAreTheDelta = featPathEntries.length === 0;\n  if (componentsAreTheDelta && !restatedSurfaces(featPlain).some((s) => s.kind === \"component\")) {\n    return noop();\n  }\n\n  const living = parseDocument(livingText);\n  if (living.errors.length > 0) {\n    throw new OpenapiMergeError(\"living\", service, living.errors[0]!.message);\n  }\n  let livingPlain: unknown;\n  try {\n    livingPlain = living.toJS() ?? {};\n  } catch (error) {\n    throw new OpenapiMergeError(\"living\", service, errorMessage(error));\n  }\n  const livingPathsPlain = plainChild(livingPlain, \"paths\");\n  if (livingPathsPlain !== undefined && livingPathsPlain !== null && !isRecord(livingPathsPlain)) {\n    throw new OpenapiMergeError(\"living\", service, \"`paths` is not a mapping\");\n  }\n  const modified: string[] = [];\n  const pathItemModified: string[] = [];\n  const removed: string[] = [];\n  const quoted: string[] = [];\n  const baselineStale: string[] = [];\n  const pathItemQuoted: string[] = [];\n  const pathItemStale: string[] = [];\n  // The surface record, read ONCE for the path-item loop and the component\n  // closure. Malformed entries read back as absent — the gate refuses them,\n  // and a value nobody can evaluate must never be why a merge skips a write.\n  const { record } = readBaselineRecord(featPlain);\n  // The plain values this merge actually WRITES, labelled for the ref sweep:\n  // the closure copies new components reachable from these, and only these —\n  // a quoted operation's refs are living's own business.\n  const written: Array<{ from: string; value: unknown }> = [];\n  for (const [path, featItemPlain] of featPathEntries) {\n    const existing = living.getIn([\"paths\", path]);\n    const existingPlain = plainChild(livingPathsPlain, path);\n    if (existing !== undefined && !isRecord(existingPlain)) {\n      // The living contract holds this path as something other than a path\n      // item. Replacing it wholesale is the one branch that may delete living\n      // operations without naming them, so it is reserved for paths the living\n      // contract does not have at all.\n      throw new OpenapiMergeError(\"living\", service, `path '${path}' is not a mapping`);\n    }\n    if (existing !== undefined) {\n      if (!isRecord(featItemPlain)) {\n        throw new OpenapiMergeError(\"feature\", service, `path '${path}' is not a mapping`);\n      }\n      // EVERY branch publishes through withoutFeatureMarkers. This one used to\n      // copy every key of the feature path item and guard only the HTTP\n      // methods, so a path-level `x-loam-remove` landed in the living contract\n      // with `modified: []` and no warning. A key the strip drops is never\n      // written; the removal handling below still reads the RAW item, because\n      // that is where the markers it acts on live.\n      const publish = withoutFeatureMarkers(featItemPlain);\n      const publishable = isRecord(publish) ? publish : {};\n      for (const [m, afterPlain] of Object.entries(featItemPlain)) {\n        const before = living.getIn([\"paths\", path, m]);\n        const beforePlain = plainChild(existingPlain, m);\n        if (HTTP_METHODS.has(m) && isRemoval(afterPlain)) {\n          // Coherence validates the marker and gates absent/mismatched targets.\n          // The merge remains defensive under --approve: never delete a\n          // different operation merely because it occupies the requested slot.\n          if (\n            before !== undefined &&\n            operationIdOf(beforePlain) !== undefined &&\n            operationIdOf(beforePlain) === operationIdOf(afterPlain)\n          ) {\n            removed.push(opLabel(beforePlain, afterPlain, m, path));\n            living.deleteIn([\"paths\", path, m]);\n          }\n          continue;\n        }\n        if (HTTP_METHODS.has(m)) {\n          const verdict = classifyOperationBaseline(afterPlain, before === undefined ? undefined : beforePlain);\n          // A QUOTE is not a merge input. The author wrote this operation down\n          // because the document is complete, not because they changed it, so\n          // the living contract keeps whatever it holds — including a change\n          // that landed after this delta was written. This is mechanical, not a\n          // judgement, so `--approve` does not turn it back on: overriding a\n          // gate is a decision, reverting an operation nobody edited is a bug.\n          if (verdict === \"quote\") {\n            quoted.push(opLabel(beforePlain, afterPlain, m, path));\n            continue;\n          }\n          if (verdict === \"stale\") baselineStale.push(opLabel(beforePlain, afterPlain, m, path));\n        }\n        if (!(m in publishable)) {\n          // A feature-only marker at path level. It is never published, and\n          // never reported as a path-item overwrite either — it is not a key of\n          // the contract at all. The archive gate names it to the author.\n          continue;\n        }\n        if (!HTTP_METHODS.has(m)) {\n          // The operations' verdict, for the keys beside them, from the root\n          // record instead of an in-value pin. A QUOTE is skipped for the\n          // operations' reason — the author restated it, they did not edit it\n          // — and skipping matters MORE here: a path-level key applies to\n          // every operation on the path, including ones this feature never\n          // mentions. Stale still writes: reaching the merge means --approve.\n          const verdict = classifyBaselineDigests(\n            entryFor(record, { kind: \"path-item\", path, key: m, value: afterPlain }),\n            valueDigest(afterPlain),\n            before === undefined ? undefined : valueDigest(beforePlain),\n          );\n          if (verdict === \"quote\") {\n            pathItemQuoted.push(`'${m}' (${path})`);\n            continue;\n          }\n          if (verdict === \"stale\") pathItemStale.push(`'${m}' (${path})`);\n        }\n        // The difference check covers EVERY key of the path item; only the\n        // LABEL depends on whether the key is an HTTP method.\n        if (before !== undefined && !isDeepStrictEqual(beforePlain, afterPlain)) {\n          if (HTTP_METHODS.has(m)) modified.push(opLabel(beforePlain, afterPlain, m, path));\n          else pathItemModified.push(`'${m}' (${path})`);\n        }\n        // Every shape question above was answered from the RESOLVED tree, which\n        // is exactly what makes an aliased path item read as an ordinary\n        // mapping. The WRITE cannot be that forgiving: `setIn` walks the AST,\n        // and one shared value backs every use of an anchor, so an operation\n        // merged through the alias would land in every other path that\n        // references it. There is no way to write into one use of an anchor and\n        // not the rest, so this is a refusal rather than a fallback — and it is\n        // asked here, at the write, because reading is safe and writing is not.\n        if (!isMap(living.getIn([\"paths\", path]))) {\n          throw new OpenapiMergeError(\n            \"living\",\n            service,\n            `path '${path}' is written as a YAML alias — one shared value backs every use, so merging into it would rewrite every other path that aliases it. Expand it before archiving.`,\n          );\n        }\n        // Without the strip the living contract would grow a pin to a version\n        // of itself, and the NEXT feature's baseline would hash it.\n        living.setIn([\"paths\", path, m], publishable[m]);\n        written.push({ from: `paths ${path}`, value: publishable[m] });\n      }\n      // Removing the last method leaves a path the contract still advertises\n      // and nothing answers — and `{}` is only the easy shape of that state: a\n      // surviving path-LEVEL key (`parameters`, `summary`) kept the path alive\n      // with zero operations just as misleadingly. No methods left means the\n      // path goes, whatever else survived beside them. The same cleanup\n      // stripOpenapiRemovalMarkers does on the feature side.\n      const remaining = living.getIn([\"paths\", path]);\n      if (isMap(remaining) && !remaining.items.some((it) => isScalar(it.key) && HTTP_METHODS.has(String(it.key.value)))) {\n        living.deleteIn([\"paths\", path]);\n      }\n      continue;\n    }\n    if (!isRecord(featItemPlain)) {\n      throw new OpenapiMergeError(\"feature\", service, `path '${path}' is not a mapping`);\n    }\n    const clean = withoutFeatureMarkers(featItemPlain);\n    if (clean !== undefined) {\n      living.setIn([\"paths\", path], clean);\n      written.push({ from: `paths ${path}`, value: clean });\n    }\n  }\n\n  const closure = mergeComponentClosure({ living, featPlain, livingPlain, record, written, componentsAreTheDelta });\n  const { componentsModified, componentsAdded, componentsQuoted, componentsStale, unresolved } = closure;\n\n  let text: string;\n  try {\n    text = living.toString();\n  } catch (error) {\n    throw new OpenapiMergeError(\"living\", service, errorMessage(error));\n  }\n  return {\n    text, modified, pathItemModified, removed, quoted, baselineStale,\n    pathItemQuoted, pathItemStale, componentsModified, componentsAdded, componentsQuoted, componentsStale, unresolved,\n  };\n}\n\n/**\n * The successful \"the feature document has nothing to merge\" answer. Every key\n * of the result is spelled here, empty, rather than left off: the two objects\n * are compared field by field in the tests and read field by field by the plan,\n * and a `noop()` that quietly lacked a key would make \"no delta\" and \"a delta\n * that merged nothing\" structurally different shapes of the same answer.\n */\nfunction noop(): OpenapiMergeResult {\n  return {\n    text: null, modified: [], pathItemModified: [], removed: [], quoted: [], baselineStale: [],\n    pathItemQuoted: [], pathItemStale: [], componentsModified: [], componentsAdded: [],\n    componentsQuoted: [], componentsStale: [], unresolved: [],\n  };\n}\n\n"]}
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../../../src/core/openapi/merge/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC7B,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACjH,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAuExD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,WAAmB,EACnB,OAAe;IAEf,4EAA4E;IAC5E,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,sEAAsE;IACtE,wEAAwE;IACxE,6EAA6E;IAC7E,uEAAuE;IACvE,oBAAoB;IACpB,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,0BAA0B,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,eAAe,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvF,6EAA6E;IAC7E,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,uEAAuE;IACvE,kEAAkE;IAClE,yEAAyE;IACzE,MAAM,qBAAqB,GAAG,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC;IAC3D,IAAI,qBAAqB,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACpG,MAAM,gBAAgB,GAAG,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/F,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,0BAA0B,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvD,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,2EAA2E;IAC3E,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,eAAe,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,UAAU,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,qEAAqE;YACrE,wEAAwE;YACxE,yEAAyE;YACzE,iCAAiC;YACjC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,oBAAoB,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,oBAAoB,CAAC,CAAC;YACrF,CAAC;YACD,yEAAyE;YACzE,kEAAkE;YAClE,yEAAyE;YACzE,qEAAqE;YACrE,wEAAwE;YACxE,6CAA6C;YAC7C,MAAM,OAAO,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,KAAK,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBAChD,MAAM,WAAW,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;gBACjD,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;oBACjD,sEAAsE;oBACtE,8DAA8D;oBAC9D,qEAAqE;oBACrE,IACE,MAAM,KAAK,SAAS;wBACpB,aAAa,CAAC,WAAW,CAAC,KAAK,SAAS;wBACxC,aAAa,CAAC,WAAW,CAAC,KAAK,aAAa,CAAC,UAAU,CAAC,EACxD,CAAC;wBACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;wBACxD,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;oBACtC,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxB,MAAM,OAAO,GAAG,yBAAyB,CAAC,UAAU,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;oBACtG,qEAAqE;oBACrE,oDAAoD;oBACpD,mEAAmE;oBACnE,sEAAsE;oBACtE,mEAAmE;oBACnE,qEAAqE;oBACrE,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;wBACxB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;wBACvD,SAAS;oBACX,CAAC;oBACD,IAAI,OAAO,KAAK,OAAO;wBAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBACzF,CAAC;gBACD,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC;oBACxB,kEAAkE;oBAClE,sEAAsE;oBACtE,gEAAgE;oBAChE,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzB,mEAAmE;oBACnE,gEAAgE;oBAChE,oEAAoE;oBACpE,gEAAgE;oBAChE,iEAAiE;oBACjE,oEAAoE;oBACpE,MAAM,OAAO,GAAG,uBAAuB,CACrC,QAAQ,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EACxE,WAAW,CAAC,UAAU,CAAC,EACvB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAC5D,CAAC;oBACF,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;wBACxB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;wBACxC,SAAS;oBACX,CAAC;oBACD,IAAI,OAAO,KAAK,OAAO;wBAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;gBAClE,CAAC;gBACD,mEAAmE;gBACnE,sDAAsD;gBACtD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;oBACxE,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;wBACxD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBACrB,MAAM,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,CAAC;wBACnE,IAAI,EAAE,KAAK,SAAS;4BAAE,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC5D,CAAC;yBAAM,CAAC;wBACN,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;gBACD,wEAAwE;gBACxE,iEAAiE;gBACjE,sEAAsE;gBACtE,qEAAqE;gBACrE,+DAA+D;gBAC/D,wEAAwE;gBACxE,wEAAwE;gBACxE,wEAAwE;gBACxE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,MAAM,IAAI,iBAAiB,CACzB,QAAQ,EACR,OAAO,EACP,SAAS,IAAI,iKAAiK,CAC/K,CAAC;gBACJ,CAAC;gBACD,sEAAsE;gBACtE,4DAA4D;gBAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,qEAAqE;YACrE,iEAAiE;YACjE,+DAA+D;YAC/D,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,oBAAoB,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,KAAK,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClH,MAAM,EAAE,kBAAkB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAEvG,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa;QACtF,cAAc,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,UAAU;KAClH,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,IAAI;IACX,OAAO;QACL,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,GAAG,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;QACxG,aAAa,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE;QACrG,gBAAgB,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE;KAC1D,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The archive-time merge: a feature's contract folded into the living one, and\n * every condition the caller has to surface afterwards.\n *\n * The result type carries far more than the merged text on purpose. A merge\n * that quietly overwrote an operation, dropped a component, or ran against a\n * stale baseline is not an error — it is a fact the archiving human has to be\n * told, and a return value nobody can forget to read is the only place that\n * survives a refactor.\n */\nimport { isDeepStrictEqual } from \"node:util\";\nimport { isMap } from \"yaml\";\n// Every `isRecord` below asks one question of a resolved plain tree: is this a\n// node that can hold OpenAPI keys — an object, not an array?\nimport { isRecord } from \"../../kernel/records.js\";\nimport { HTTP_METHODS } from \"../doc.js\";\nimport { OpenapiMergeError, openapiRefusal } from \"./error.js\";\nimport { readTree, writeTree } from \"../contract-tree.js\";\nimport { classifyOperationBaseline } from \"./pin.js\";\nimport { classifyBaselineDigests, isRemoval, valueDigest } from \"../digest.js\";\nimport { entryFor, readBaselineRecord, restatedSurfaces } from \"../baseline/record.js\";\nimport { dropPathIfNoOperations, opLabel, operationIdOf, plainChild, withoutFeatureMarkers } from \"./markers.js\";\nimport { mergeComponentClosure } from \"./components.js\";\n\n/** What an OpenAPI path merge computed, including every condition the caller must surface. */\nexport interface OpenapiMergeResult {\n  /**\n   * The merged living document, or null when the feature document restates\n   * nothing at all — neither a path entry nor a component. It used to be null\n   * for a document with no `paths` key whatever its components said, and a\n   * delta whose whole change was a shared schema archived at exit 0 having\n   * merged nothing.\n   */\n  text: string | null;\n  /** Labels of existing operations overwritten with different content. */\n  modified: string[];\n  /**\n   * The operationId each `modified` label overwrites, keyed by the label: the\n   * LIVING operation's id, or the delta's when the living slot carries none.\n   * The living id first because it is the join key consumers name today —\n   * `loam archive` asks the fleet's consumer scan with it, to say who the\n   * overwrite lands on. A label whose operation carries no id on either side\n   * is absent: nothing can name it, so no consumer joins to it by name.\n   */\n  modifiedOperationIds: ReadonlyMap<string, string>;\n  /**\n   * Labels of PATH-LEVEL keys (`parameters`, `servers`, `summary`, `x-*`)\n   * overwritten with different content. They are not operations, so they were\n   * excluded from the difference check entirely and overwritten in silence —\n   * a delta restating a path with a shorter `parameters` list dropped shared\n   * parameters from every operation under it, and the plan said nothing.\n   */\n  pathItemModified: string[];\n  /** Labels of living operations deleted by `x-loam-remove: true` markers. */\n  removed: string[];\n  /**\n   * Labels of operations the delta QUOTED — pinned, and equal to their own\n   * baseline — so the merge left the living contract's own copy alone. Reported\n   * rather than silent: \"your delta mentions this and I did not write it\" is\n   * exactly the sentence whose absence made the revert invisible.\n   */\n  quoted: string[];\n  /**\n   * Labels of operations whose pin matches neither the delta's own content nor\n   * the living one: edited here AND changed by somebody else in between.\n   * `openapi.baseline-stale` refuses these at the gate; the merge still\n   * overwrites, because reaching it at all means `--approve` said to.\n   */\n  baselineStale: string[];\n  /** Path-level keys the delta QUOTED (`x-loam-baselines` entry equal to own content) — skipped, living's copy kept. */\n  pathItemQuoted: string[];\n  /** Path-level keys written on a stale record entry — reaching the merge means `--approve` said to. */\n  pathItemStale: string[];\n  /** `<kind>/<name>` of living components overwritten with different content. */\n  componentsModified: string[];\n  /**\n   * `<kind>/<name>` of components written into a living contract that did not\n   * have them. Beside `componentsModified` because the plan needs a name for\n   * what a merge ADDED: a components-only delta merges no operation, and the\n   * plan line naming the merged operation ids read `merged ()` for it — empty\n   * parentheses, which is how a merge that published a new shared schema\n   * looked exactly like one that did nothing.\n   */\n  componentsAdded: string[];\n  /** Components the delta QUOTED — not copied, living's copy kept. */\n  componentsQuoted: string[];\n  /** Components written on a stale record entry — under `--approve`, like the operations. */\n  componentsStale: string[];\n  /** Local refs reachable from merged content that resolve in neither document. */\n  unresolved: Array<{ ref: string; from: string }>;\n}\n\n\n/**\n * Merge the feature's `paths` into the living OpenAPI structurally (YAML AST, not\n * text splicing). A feature document restating NOTHING — no path entry and no\n * component — is a successful no-op; one whose whole delta is a component is\n * merged like any other, through the closure at the end of this function.\n * The merged operations' local component-ref closure rides along recursively;\n * external refs are left untouched and never gated.\n *\n * Every SHAPE question — is there a `paths` mapping, is this path item a\n * mapping, which methods does it hold — is answered from the RESOLVED plain\n * trees, never from the AST node. Asking the AST (`isMap(node)`) answers a\n * different question: an alias node is not a map even when it resolves to one.\n * `paths: *alias` therefore read as \"no paths to merge\" and the whole contract\n * delta was dropped with a successful exit, and an aliased path ITEM fell into\n * the wholesale-replace branch and deleted every living operation on that path\n * that the alias did not restate. Aliases are legal OpenAPI and the natural way\n * to write a delta that repeats a shape; nothing here may treat them as absent.\n * An alias that cannot be resolved at all is a document loam cannot read, and\n * says so — it is never \"nothing to merge\".\n */\nexport function mergeOpenapiPaths(\n  livingText: string,\n  featureText: string,\n  service: string,\n): OpenapiMergeResult {\n  // Aliases resolved once, with the document's own anchor context (readTree).\n  const { plain: featPlain } = readTree(featureText, openapiRefusal(\"feature\", service));\n  const featPathsPlain = plainChild(featPlain, \"paths\");\n  // The SHAPE refusal is unchanged and stays first: a `paths` that is a\n  // sequence or a scalar is a document loam cannot merge. Absent and null\n  // (`paths:` with nothing under it) are not shape faults — they are documents\n  // holding no path entries, which is a different sentence and now has a\n  // different answer.\n  if (featPathsPlain !== undefined && featPathsPlain !== null && !isRecord(featPathsPlain)) {\n    throw new OpenapiMergeError(\"feature\", service, \"`paths` is not a mapping\");\n  }\n  const featPathEntries = isRecord(featPathsPlain) ? Object.entries(featPathsPlain) : [];\n  // \"Is there anything to merge?\" is a question about the whole delta, and for\n  // years it was asked of `paths` alone — an absence test standing in for the\n  // decision. It returned here, before the living document was even parsed, so\n  // the component closure (the last statement of this function, and the only\n  // thing that writes a component) never ran: a feature whose entire change was\n  // a shared schema passed the gate and archived at exit 0 having merged\n  // NOTHING. The components answer it too now, over the ONE surface\n  // enumeration the gate and the rebase plan already grade the delta with.\n  const componentsAreTheDelta = featPathEntries.length === 0;\n  if (componentsAreTheDelta && !restatedSurfaces(featPlain).some((s) => s.kind === \"component\")) {\n    return noop();\n  }\n\n  const { doc: living, plain: livingPlain } = readTree(livingText, openapiRefusal(\"living\", service));\n  const livingPathsPlain = plainChild(livingPlain, \"paths\");\n  if (livingPathsPlain !== undefined && livingPathsPlain !== null && !isRecord(livingPathsPlain)) {\n    throw new OpenapiMergeError(\"living\", service, \"`paths` is not a mapping\");\n  }\n  const modified: string[] = [];\n  const modifiedOperationIds = new Map<string, string>();\n  const pathItemModified: string[] = [];\n  const removed: string[] = [];\n  const quoted: string[] = [];\n  const baselineStale: string[] = [];\n  const pathItemQuoted: string[] = [];\n  const pathItemStale: string[] = [];\n  // The surface record, read ONCE for the path-item loop and the component\n  // closure. Malformed entries read back as absent — the gate refuses them,\n  // and a value nobody can evaluate must never be why a merge skips a write.\n  const { record } = readBaselineRecord(featPlain);\n  // The plain values this merge actually WRITES, labelled for the ref sweep:\n  // the closure copies new components reachable from these, and only these —\n  // a quoted operation's refs are living's own business.\n  const written: Array<{ from: string; value: unknown }> = [];\n  for (const [path, featItemPlain] of featPathEntries) {\n    const existing = living.getIn([\"paths\", path]);\n    const existingPlain = plainChild(livingPathsPlain, path);\n    if (existing !== undefined && !isRecord(existingPlain)) {\n      // The living contract holds this path as something other than a path\n      // item. Replacing it wholesale is the one branch that may delete living\n      // operations without naming them, so it is reserved for paths the living\n      // contract does not have at all.\n      throw new OpenapiMergeError(\"living\", service, `path '${path}' is not a mapping`);\n    }\n    if (existing !== undefined) {\n      if (!isRecord(featItemPlain)) {\n        throw new OpenapiMergeError(\"feature\", service, `path '${path}' is not a mapping`);\n      }\n      // EVERY branch publishes through withoutFeatureMarkers. This one used to\n      // copy every key of the feature path item and guard only the HTTP\n      // methods, so a path-level `x-loam-remove` landed in the living contract\n      // with `modified: []` and no warning. A key the strip drops is never\n      // written; the removal handling below still reads the RAW item, because\n      // that is where the markers it acts on live.\n      const publish = withoutFeatureMarkers(featItemPlain);\n      const publishable = isRecord(publish) ? publish : {};\n      for (const [m, afterPlain] of Object.entries(featItemPlain)) {\n        const before = living.getIn([\"paths\", path, m]);\n        const beforePlain = plainChild(existingPlain, m);\n        if (HTTP_METHODS.has(m) && isRemoval(afterPlain)) {\n          // Coherence validates the marker and gates absent/mismatched targets.\n          // The merge remains defensive under --approve: never delete a\n          // different operation merely because it occupies the requested slot.\n          if (\n            before !== undefined &&\n            operationIdOf(beforePlain) !== undefined &&\n            operationIdOf(beforePlain) === operationIdOf(afterPlain)\n          ) {\n            removed.push(opLabel(beforePlain, afterPlain, m, path));\n            living.deleteIn([\"paths\", path, m]);\n          }\n          continue;\n        }\n        if (HTTP_METHODS.has(m)) {\n          const verdict = classifyOperationBaseline(afterPlain, before === undefined ? undefined : beforePlain);\n          // A QUOTE is not a merge input. The author wrote this operation down\n          // as a restatement, not because they changed it, so\n          // the living contract keeps whatever it holds — including a change\n          // that landed after this delta was written. This is mechanical, not a\n          // judgement, so `--approve` does not turn it back on: overriding a\n          // gate is a decision, reverting an operation nobody edited is a bug.\n          if (verdict === \"quote\") {\n            quoted.push(opLabel(beforePlain, afterPlain, m, path));\n            continue;\n          }\n          if (verdict === \"stale\") baselineStale.push(opLabel(beforePlain, afterPlain, m, path));\n        }\n        if (!(m in publishable)) {\n          // A feature-only marker at path level. It is never published, and\n          // never reported as a path-item overwrite either — it is not a key of\n          // the contract at all. The archive gate names it to the author.\n          continue;\n        }\n        if (!HTTP_METHODS.has(m)) {\n          // The operations' verdict, for the keys beside them, from the root\n          // record instead of an in-value pin. A QUOTE is skipped for the\n          // operations' reason — the author restated it, they did not edit it\n          // — and skipping matters MORE here: a path-level key applies to\n          // every operation on the path, including ones this feature never\n          // mentions. Stale still writes: reaching the merge means --approve.\n          const verdict = classifyBaselineDigests(\n            entryFor(record, { kind: \"path-item\", path, key: m, value: afterPlain }),\n            valueDigest(afterPlain),\n            before === undefined ? undefined : valueDigest(beforePlain),\n          );\n          if (verdict === \"quote\") {\n            pathItemQuoted.push(`'${m}' (${path})`);\n            continue;\n          }\n          if (verdict === \"stale\") pathItemStale.push(`'${m}' (${path})`);\n        }\n        // The difference check covers EVERY key of the path item; only the\n        // LABEL depends on whether the key is an HTTP method.\n        if (before !== undefined && !isDeepStrictEqual(beforePlain, afterPlain)) {\n          if (HTTP_METHODS.has(m)) {\n            const label = opLabel(beforePlain, afterPlain, m, path);\n            modified.push(label);\n            const id = operationIdOf(beforePlain) ?? operationIdOf(afterPlain);\n            if (id !== undefined) modifiedOperationIds.set(label, id);\n          } else {\n            pathItemModified.push(`'${m}' (${path})`);\n          }\n        }\n        // Every shape question above was answered from the RESOLVED tree, which\n        // is exactly what makes an aliased path item read as an ordinary\n        // mapping. The WRITE cannot be that forgiving: `setIn` walks the AST,\n        // and one shared value backs every use of an anchor, so an operation\n        // merged through the alias would land in every other path that\n        // references it. There is no way to write into one use of an anchor and\n        // not the rest, so this is a refusal rather than a fallback — and it is\n        // asked here, at the write, because reading is safe and writing is not.\n        if (!isMap(living.getIn([\"paths\", path]))) {\n          throw new OpenapiMergeError(\n            \"living\",\n            service,\n            `path '${path}' is written as a YAML alias — one shared value backs every use, so merging into it would rewrite every other path that aliases it. Expand it before archiving.`,\n          );\n        }\n        // Without the strip the living contract would grow a pin to a version\n        // of itself, and the NEXT feature's baseline would hash it.\n        living.setIn([\"paths\", path, m], publishable[m]);\n        written.push({ from: `paths ${path}`, value: publishable[m] });\n      }\n      // No methods left means the path goes, whatever else survived beside\n      // them — the same cleanup stripOpenapiRemovalMarkers does on the\n      // feature side, and the reason is spelled once, on the helper.\n      dropPathIfNoOperations(living, path);\n      continue;\n    }\n    if (!isRecord(featItemPlain)) {\n      throw new OpenapiMergeError(\"feature\", service, `path '${path}' is not a mapping`);\n    }\n    const clean = withoutFeatureMarkers(featItemPlain);\n    if (clean !== undefined) {\n      living.setIn([\"paths\", path], clean);\n      written.push({ from: `paths ${path}`, value: clean });\n    }\n  }\n\n  const closure = mergeComponentClosure({ living, featPlain, livingPlain, record, written, componentsAreTheDelta });\n  const { componentsModified, componentsAdded, componentsQuoted, componentsStale, unresolved } = closure;\n\n  const text = writeTree(living, openapiRefusal(\"living\", service));\n  return {\n    text, modified, modifiedOperationIds, pathItemModified, removed, quoted, baselineStale,\n    pathItemQuoted, pathItemStale, componentsModified, componentsAdded, componentsQuoted, componentsStale, unresolved,\n  };\n}\n\n/**\n * The successful \"the feature document has nothing to merge\" answer. Every key\n * of the result is spelled here, empty, rather than left off: the two objects\n * are compared field by field in the tests and read field by field by the plan,\n * and a `noop()` that quietly lacked a key would make \"no delta\" and \"a delta\n * that merged nothing\" structurally different shapes of the same answer.\n */\nfunction noop(): OpenapiMergeResult {\n  return {\n    text: null, modified: [], modifiedOperationIds: new Map(), pathItemModified: [], removed: [], quoted: [],\n    baselineStale: [], pathItemQuoted: [], pathItemStale: [], componentsModified: [], componentsAdded: [],\n    componentsQuoted: [], componentsStale: [], unresolved: [],\n  };\n}\n\n"]}

package/dist/core/openapi/merge/pin.js

@@ -1,9 +1,10 @@
 /**
  * The pin that tells a QUOTE from an EDIT.
  *
- * A feature's openapi.yaml is a complete document, so most of what it spells is
- * quotation: the author restated the living contract around the slot they were
- * changing. Without a pin the merge cannot tell the two apart and upserts both,
+ * A feature's openapi.yaml needs only what it adds, changes or removes, but it
+ * may also restate living operations it does not change — for context, or a
+ * contract pasted whole — and then much of what it spells is quotation. Without
+ * a pin the merge cannot tell the two apart and upserts both,
  * which is how a feature that only meant to touch `cancelOrder` silently
  * reverted another team's landed change to `refundOrder` — no overlap between
  * the two features required, just two deltas over one service.
@@ -11,19 +12,23 @@
  * Separate from `./merge.ts` because this is `loam rebase`'s half: it plans the
  * pins a delta is missing, while the merge only ever reads pins already written.
  */
-import { isMap, parseDocument } from "yaml";
+import { isMap } from "yaml";
 // Every `isRecord` below asks one question of a resolved plain tree: is this a
 // node that can hold OpenAPI keys — an object, not an array?
 import { isRecord } from "../../kernel/records.js";
 import { HTTP_METHODS } from "../doc.js";
 import { classifyBaselineDigests, operationBaselineOf, operationDigest, OPENAPI_BASELINE_KEY, } from "../digest.js";
-import { errorMessage, OpenapiMergeError } from "./error.js";
+import { openapiRefusal } from "./error.js";
+import { readTree, writeTree } from "../contract-tree.js";
 import { isRemoval } from "../digest.js";
 import { plainChild } from "./markers.js";
 /**
  * Classify one feature operation against its living counterpart, from the raw
- * YAML trees the merge works in. The rule itself lives in ../digest.ts, so
- * the gate and the merge cannot drift apart about which operations get written.
+ * YAML trees the merge works in: what the operation IS, relative to the living
+ * contract — the one judgement that tells a QUOTE from an EDIT (the module
+ * header says why that judgement exists). The rule itself lives in
+ * ../digest.ts, so the gate and the merge cannot drift apart about which
+ * operations get written.
  *
  * A malformed pin matches no digest and lands in `stale`, which merges rather
  * than skips. Deliberate: `openapi.baseline-invalid` refuses it at the gate, and
@@ -51,28 +56,8 @@ export function classifyOperationBaseline(featureOp, livingOp) {
  * path the contract does not serve yet.
  */
 export function pinOpenapiOperations(featureText, livingText, service) {
-    const doc = parseDocument(featureText);
-    if (doc.errors.length > 0)
-        throw new OpenapiMergeError("feature", service, doc.errors[0].message);
-    let featPlain;
-    let livingPlain;
-    try {
-        featPlain = doc.toJS() ?? {};
-    }
-    catch (error) {
-        throw new OpenapiMergeError("feature", service, errorMessage(error));
-    }
-    try {
-        const parsed = parseDocument(livingText);
-        if (parsed.errors.length > 0)
-            throw new OpenapiMergeError("living", service, parsed.errors[0].message);
-        livingPlain = parsed.toJS() ?? {};
-    }
-    catch (error) {
-        if (error instanceof OpenapiMergeError)
-            throw error;
-        throw new OpenapiMergeError("living", service, errorMessage(error));
-    }
+    const { doc, plain: featPlain } = readTree(featureText, openapiRefusal("feature", service));
+    const { plain: livingPlain } = readTree(livingText, openapiRefusal("living", service));
     const featPaths = plainChild(featPlain, "paths");
     if (!isRecord(featPaths))
         return { text: null, pins: [] };
@@ -118,11 +103,6 @@ export function pinOpenapiOperations(featureText, livingText, service) {
     }
     if (!edited)
         return { text: null, pins };
-    try {
-        return { text: doc.toString(), pins };
-    }
-    catch (error) {
-        throw new OpenapiMergeError("feature", service, errorMessage(error));
-    }
+    return { text: writeTree(doc, openapiRefusal("feature", service)), pins };
 }
 //# sourceMappingURL=pin.js.map

package/dist/core/openapi/merge/pin.js.map

@@ -1 +1 @@
-{"version":3,"file":"pin.js","sourceRoot":"","sources":["../../../../src/core/openapi/merge/pin.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAC5C,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,eAAe,EACf,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAe1C;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CAAC,SAAkB,EAAE,QAAiB;IAC7E,OAAO,uBAAuB,CAC5B,mBAAmB,CAAC,SAAS,CAAC,EAC9B,eAAe,CAAC,SAAS,CAAC,EAC1B,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAC/D,CAAC;AACJ,CAAC;AA6BD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAmB,EAAE,UAAkB,EAAE,OAAe;IAC3F,MAAM,GAAG,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IACnG,IAAI,SAAkB,CAAC;IACvB,IAAI,WAAoB,CAAC;IACzB,IAAI,CAAC;QACH,SAAS,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;QACxG,WAAW,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB;YAAE,MAAM,KAAK,CAAC;QACpD,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAC1D,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAErD,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,SAAS;YACzD,yEAAyE;YACzE,0EAA0E;YAC1E,uDAAuD;YACvD,IAAI,SAAS,CAAC,EAAE,CAAC;gBAAE,SAAS;YAE5B,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,aAAa,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;YAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBACpE,SAAS;YACX,CAAC;YACD,uEAAuE;YACvE,8DAA8D;YAC9D,+DAA+D;YAC/D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACtF,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC,CAAC;YACjE,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,CAAC;AACH,CAAC","sourcesContent":["/**\n * The pin that tells a QUOTE from an EDIT.\n *\n * A feature's openapi.yaml is a complete document, so most of what it spells is\n * quotation: the author restated the living contract around the slot they were\n * changing. Without a pin the merge cannot tell the two apart and upserts both,\n * which is how a feature that only meant to touch `cancelOrder` silently\n * reverted another team's landed change to `refundOrder` — no overlap between\n * the two features required, just two deltas over one service.\n *\n * Separate from `./merge.ts` because this is `loam rebase`'s half: it plans the\n * pins a delta is missing, while the merge only ever reads pins already written.\n */\nimport { isMap, parseDocument } from \"yaml\";\n// Every `isRecord` below asks one question of a resolved plain tree: is this a\n// node that can hold OpenAPI keys — an object, not an array?\nimport { isRecord } from \"../../kernel/records.js\";\nimport { HTTP_METHODS } from \"../doc.js\";\nimport {\n  classifyBaselineDigests,\n  operationBaselineOf,\n  operationDigest,\n  OPENAPI_BASELINE_KEY,\n} from \"../digest.js\";\nimport { errorMessage, OpenapiMergeError } from \"./error.js\";\nimport { isRemoval } from \"../digest.js\";\nimport { plainChild } from \"./markers.js\";\n\n/**\n * What a feature's operation IS, relative to the living contract — the one\n * judgement that tells a QUOTE from an EDIT.\n *\n * A feature's openapi.yaml is a complete document, so most of what it spells is\n * quotation: the author restated the living contract around the slot they were\n * changing. Without a pin the merge cannot tell the two apart and upserts both,\n * which is how a feature that only meant to touch `cancelOrder` silently\n * reverted another team's landed change to `refundOrder` — no overlap between\n * the features required, just two deltas over one service.\n */\nexport type OperationBaselineVerdict = ReturnType<typeof classifyBaselineDigests>;\n\n/**\n * Classify one feature operation against its living counterpart, from the raw\n * YAML trees the merge works in. The rule itself lives in ../digest.ts, so\n * the gate and the merge cannot drift apart about which operations get written.\n *\n * A malformed pin matches no digest and lands in `stale`, which merges rather\n * than skips. Deliberate: `openapi.baseline-invalid` refuses it at the gate, and\n * a value nobody can evaluate must never be the reason a merge quietly drops an\n * operation.\n */\nexport function classifyOperationBaseline(featureOp: unknown, livingOp: unknown): OperationBaselineVerdict {\n  return classifyBaselineDigests(\n    operationBaselineOf(featureOp),\n    operationDigest(featureOp),\n    livingOp === undefined ? undefined : operationDigest(livingOp),\n  );\n}\n\n/** What happened to one operation's `x-loam-based-on`. */\nexport interface OperationPin {\n  path: string;\n  method: string;\n  /** Empty when the operation declares none — the slot is still the identity. */\n  operationId: string;\n  status:\n    /** It had no pin and now has one. */\n    | \"pinned\"\n    /** It named an older living version; it now names the current one. */\n    | \"repinned\"\n    /** It already named the current living version — no write. */\n    | \"unchanged\"\n    /** The living contract has no operation at this slot: this feature is adding it. */\n    | \"unresolved\"\n    /** Written as a YAML alias — one shared value backs every use, so loam will not stamp through it. */\n    | \"unwritable\";\n  from: string | null;\n  to: string | null;\n}\n\nexport interface OpenapiPinPlan {\n  /** The rewritten contract, or null when no pin changes. */\n  text: string | null;\n  pins: OperationPin[];\n}\n\n/**\n * Pin every operation in a feature contract against the living one — what\n * `loam rebase` writes on this axis.\n *\n * The pin is always `operationDigest` of the LIVING operation, never of the\n * delta's own, and that single rule produces both merge verdicts by itself: an\n * operation the author only QUOTED is byte-equal to living, so its pin equals\n * its own content and `classifyOperationBaseline` calls it a quote; one the\n * author EDITED differs from its pin, so the merge writes it. Nothing has to\n * guess at intent — the document already records it, and the pin makes it\n * legible to the merge.\n *\n * Slot-keyed (path + method), exactly as the merge upserts. An operationId that\n * moved to another slot is a new slot with nothing living behind it, which is\n * `unresolved` and correct: there is no living version of an operation at a\n * path the contract does not serve yet.\n */\nexport function pinOpenapiOperations(featureText: string, livingText: string, service: string): OpenapiPinPlan {\n  const doc = parseDocument(featureText);\n  if (doc.errors.length > 0) throw new OpenapiMergeError(\"feature\", service, doc.errors[0]!.message);\n  let featPlain: unknown;\n  let livingPlain: unknown;\n  try {\n    featPlain = doc.toJS() ?? {};\n  } catch (error) {\n    throw new OpenapiMergeError(\"feature\", service, errorMessage(error));\n  }\n  try {\n    const parsed = parseDocument(livingText);\n    if (parsed.errors.length > 0) throw new OpenapiMergeError(\"living\", service, parsed.errors[0]!.message);\n    livingPlain = parsed.toJS() ?? {};\n  } catch (error) {\n    if (error instanceof OpenapiMergeError) throw error;\n    throw new OpenapiMergeError(\"living\", service, errorMessage(error));\n  }\n\n  const featPaths = plainChild(featPlain, \"paths\");\n  if (!isRecord(featPaths)) return { text: null, pins: [] };\n  const livingPaths = plainChild(livingPlain, \"paths\");\n\n  const pins: OperationPin[] = [];\n  let edited = false;\n  for (const [path, item] of Object.entries(featPaths)) {\n    if (!isRecord(item)) continue;\n    for (const [method, op] of Object.entries(item)) {\n      if (!HTTP_METHODS.has(method) || !isRecord(op)) continue;\n      // A removal marker asserts a slot rather than restating an operation, so\n      // it has nothing to be based on; `openapi.remove-target-mismatch` is what\n      // guards it against a living slot that moved under it.\n      if (isRemoval(op)) continue;\n\n      const id = typeof op[\"operationId\"] === \"string\" ? op[\"operationId\"] : \"\";\n      const at = { path, method, operationId: id };\n      const from = operationBaselineOf(op) ?? null;\n      const livingItem = plainChild(livingPaths, path);\n      const livingOp = isRecord(livingItem) ? livingItem[method] : undefined;\n      if (!isRecord(livingOp)) {\n        pins.push({ ...at, status: \"unresolved\", from, to: null });\n        continue;\n      }\n      const digest = operationDigest(livingOp);\n      if (from === digest) {\n        pins.push({ ...at, status: \"unchanged\", from: digest, to: digest });\n        continue;\n      }\n      // One shared value backs every use of an anchor, so `setIn` through an\n      // alias would pin every other use of it too — the same reason\n      // stripOpenapiRemovalMarkers refuses to edit aliases in place.\n      if (!isMap(doc.getIn([\"paths\", path, method]))) {\n        pins.push({ ...at, status: \"unwritable\", from, to: null });\n        continue;\n      }\n      pins.push({ ...at, status: from === null ? \"pinned\" : \"repinned\", from, to: digest });\n      doc.setIn([\"paths\", path, method, OPENAPI_BASELINE_KEY], digest);\n      edited = true;\n    }\n  }\n\n  if (!edited) return { text: null, pins };\n  try {\n    return { text: doc.toString(), pins };\n  } catch (error) {\n    throw new OpenapiMergeError(\"feature\", service, errorMessage(error));\n  }\n}\n\n\n"]}
+{"version":3,"file":"pin.js","sourceRoot":"","sources":["../../../../src/core/openapi/merge/pin.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC7B,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,eAAe,EACf,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,yBAAyB,CAAC,SAAkB,EAAE,QAAiB;IAC7E,OAAO,uBAAuB,CAC5B,mBAAmB,CAAC,SAAS,CAAC,EAC9B,eAAe,CAAC,SAAS,CAAC,EAC1B,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAC/D,CAAC;AACJ,CAAC;AA6BD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAmB,EAAE,UAAkB,EAAE,OAAe;IAC3F,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5F,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAEvF,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAC1D,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAErD,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,SAAS;YACzD,yEAAyE;YACzE,0EAA0E;YAC1E,uDAAuD;YACvD,IAAI,SAAS,CAAC,EAAE,CAAC;gBAAE,SAAS;YAE5B,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,aAAa,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;YAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBACpE,SAAS;YACX,CAAC;YACD,uEAAuE;YACvE,8DAA8D;YAC9D,+DAA+D;YAC/D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACtF,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC,CAAC;YACjE,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;AAC5E,CAAC","sourcesContent":["/**\n * The pin that tells a QUOTE from an EDIT.\n *\n * A feature's openapi.yaml needs only what it adds, changes or removes, but it\n * may also restate living operations it does not change — for context, or a\n * contract pasted whole — and then much of what it spells is quotation. Without\n * a pin the merge cannot tell the two apart and upserts both,\n * which is how a feature that only meant to touch `cancelOrder` silently\n * reverted another team's landed change to `refundOrder` — no overlap between\n * the two features required, just two deltas over one service.\n *\n * Separate from `./merge.ts` because this is `loam rebase`'s half: it plans the\n * pins a delta is missing, while the merge only ever reads pins already written.\n */\nimport { isMap } from \"yaml\";\n// Every `isRecord` below asks one question of a resolved plain tree: is this a\n// node that can hold OpenAPI keys — an object, not an array?\nimport { isRecord } from \"../../kernel/records.js\";\nimport { HTTP_METHODS } from \"../doc.js\";\nimport {\n  classifyBaselineDigests,\n  operationBaselineOf,\n  operationDigest,\n  OPENAPI_BASELINE_KEY,\n} from \"../digest.js\";\nimport { openapiRefusal } from \"./error.js\";\nimport { readTree, writeTree } from \"../contract-tree.js\";\nimport { isRemoval } from \"../digest.js\";\nimport { plainChild } from \"./markers.js\";\n\n/**\n * Classify one feature operation against its living counterpart, from the raw\n * YAML trees the merge works in: what the operation IS, relative to the living\n * contract — the one judgement that tells a QUOTE from an EDIT (the module\n * header says why that judgement exists). The rule itself lives in\n * ../digest.ts, so the gate and the merge cannot drift apart about which\n * operations get written.\n *\n * A malformed pin matches no digest and lands in `stale`, which merges rather\n * than skips. Deliberate: `openapi.baseline-invalid` refuses it at the gate, and\n * a value nobody can evaluate must never be the reason a merge quietly drops an\n * operation.\n */\nexport function classifyOperationBaseline(featureOp: unknown, livingOp: unknown): ReturnType<typeof classifyBaselineDigests> {\n  return classifyBaselineDigests(\n    operationBaselineOf(featureOp),\n    operationDigest(featureOp),\n    livingOp === undefined ? undefined : operationDigest(livingOp),\n  );\n}\n\n/** What happened to one operation's `x-loam-based-on`. */\nexport interface OperationPin {\n  path: string;\n  method: string;\n  /** Empty when the operation declares none — the slot is still the identity. */\n  operationId: string;\n  status:\n    /** It had no pin and now has one. */\n    | \"pinned\"\n    /** It named an older living version; it now names the current one. */\n    | \"repinned\"\n    /** It already named the current living version — no write. */\n    | \"unchanged\"\n    /** The living contract has no operation at this slot: this feature is adding it. */\n    | \"unresolved\"\n    /** Written as a YAML alias — one shared value backs every use, so loam will not stamp through it. */\n    | \"unwritable\";\n  from: string | null;\n  to: string | null;\n}\n\nexport interface OpenapiPinPlan {\n  /** The rewritten contract, or null when no pin changes. */\n  text: string | null;\n  pins: OperationPin[];\n}\n\n/**\n * Pin every operation in a feature contract against the living one — what\n * `loam rebase` writes on this axis.\n *\n * The pin is always `operationDigest` of the LIVING operation, never of the\n * delta's own, and that single rule produces both merge verdicts by itself: an\n * operation the author only QUOTED is byte-equal to living, so its pin equals\n * its own content and `classifyOperationBaseline` calls it a quote; one the\n * author EDITED differs from its pin, so the merge writes it. Nothing has to\n * guess at intent — the document already records it, and the pin makes it\n * legible to the merge.\n *\n * Slot-keyed (path + method), exactly as the merge upserts. An operationId that\n * moved to another slot is a new slot with nothing living behind it, which is\n * `unresolved` and correct: there is no living version of an operation at a\n * path the contract does not serve yet.\n */\nexport function pinOpenapiOperations(featureText: string, livingText: string, service: string): OpenapiPinPlan {\n  const { doc, plain: featPlain } = readTree(featureText, openapiRefusal(\"feature\", service));\n  const { plain: livingPlain } = readTree(livingText, openapiRefusal(\"living\", service));\n\n  const featPaths = plainChild(featPlain, \"paths\");\n  if (!isRecord(featPaths)) return { text: null, pins: [] };\n  const livingPaths = plainChild(livingPlain, \"paths\");\n\n  const pins: OperationPin[] = [];\n  let edited = false;\n  for (const [path, item] of Object.entries(featPaths)) {\n    if (!isRecord(item)) continue;\n    for (const [method, op] of Object.entries(item)) {\n      if (!HTTP_METHODS.has(method) || !isRecord(op)) continue;\n      // A removal marker asserts a slot rather than restating an operation, so\n      // it has nothing to be based on; `openapi.remove-target-mismatch` is what\n      // guards it against a living slot that moved under it.\n      if (isRemoval(op)) continue;\n\n      const id = typeof op[\"operationId\"] === \"string\" ? op[\"operationId\"] : \"\";\n      const at = { path, method, operationId: id };\n      const from = operationBaselineOf(op) ?? null;\n      const livingItem = plainChild(livingPaths, path);\n      const livingOp = isRecord(livingItem) ? livingItem[method] : undefined;\n      if (!isRecord(livingOp)) {\n        pins.push({ ...at, status: \"unresolved\", from, to: null });\n        continue;\n      }\n      const digest = operationDigest(livingOp);\n      if (from === digest) {\n        pins.push({ ...at, status: \"unchanged\", from: digest, to: digest });\n        continue;\n      }\n      // One shared value backs every use of an anchor, so `setIn` through an\n      // alias would pin every other use of it too — the same reason\n      // stripOpenapiRemovalMarkers refuses to edit aliases in place.\n      if (!isMap(doc.getIn([\"paths\", path, method]))) {\n        pins.push({ ...at, status: \"unwritable\", from, to: null });\n        continue;\n      }\n      pins.push({ ...at, status: from === null ? \"pinned\" : \"repinned\", from, to: digest });\n      doc.setIn([\"paths\", path, method, OPENAPI_BASELINE_KEY], digest);\n      edited = true;\n    }\n  }\n\n  if (!edited) return { text: null, pins };\n  return { text: writeTree(doc, openapiRefusal(\"feature\", service)), pins };\n}\n\n\n"]}

package/dist/core/openspec/decide/verdict.js.map

@@ -1 +1 @@
-{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../../../src/core/openspec/decide/verdict.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAKN,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,kBAAkB,GASnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAuBhD,MAAM,UAAU,gBAAgB,CAAC,KAAe;IAC9C,MAAM,EACJ,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAC/E,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,SAAS,EAClE,gBAAgB,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,GACpE,GAAG,KAAK,CAAC;IACV,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACpC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAErF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrB,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC/B,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACjH,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACnF,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IAC/F,MAAM,kBAAkB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IACpG,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC;IACxG,MAAM,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAC5C,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,eAAe,CAC3E,CAAC;IACF,MAAM,sBAAsB,GAAG,gBAAgB,KAAK,CAAC,IAAI,gBAAgB,KAAK,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,sBAAsB;WAC/B,YAAY,CAAC,MAAM,KAAK,CAAC;WACzB,kBAAkB,CAAC,MAAM,KAAK,CAAC;WAC/B,uBAAuB,CAAC,MAAM,KAAK,CAAC;WACpC,gBAAgB,CAAC,MAAM,KAAK,CAAC;WAC7B,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;IAEhC,OAAO;QACL,SAAS,EAAE,kBAAkB;QAC7B,SAAS;QACT,IAAI;QACJ,eAAe;QACf,SAAS,EAAE;YACT,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM;YACN,iBAAiB;SAClB;QACD,KAAK;QACL,sBAAsB;QACtB,SAAS,EAAE;YACT,MAAM,EAAE,EAAE,UAAU,EAAE,gBAAgB,KAAK,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE;YAC5E,MAAM,EAAE,EAAE,UAAU,EAAE,gBAAgB,KAAK,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE;YAC5E,aAAa,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;YACrF,gBAAgB,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1E,IAAI,CAAC,IAAI,KAAK,4BAA4B;mBACvC,IAAI,CAAC,IAAI,KAAK,6BAA6B;mBAC3C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC;mBAC5C,IAAI,CAAC,IAAI,KAAK,kCAAkC,CAAC;YACtD,eAAe,EAAE,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/E,IAAI,CAAC,IAAI,KAAK,wBAAwB;mBACnC,IAAI,CAAC,IAAI,KAAK,8BAA8B;mBAC5C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC;YACjD,eAAe,EAAE,uBAAuB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;YAC5J,oBAAoB,EAAE,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACpH,cAAc,EAAE,KAAK;SACtB;QACD,MAAM,EAAE,EAAE,GAAG,YAAY,EAAE,YAAY,EAAE;QACzC,OAAO,EAAE;YACP,MAAM;YACN,QAAQ;YACR,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE;SAC7D;QACD,OAAO;QACP,WAAW,EAAE,QAAQ;QACrB,kBAAkB;QAClB,gBAAgB;QAChB,YAAY;QACZ,eAAe;QACf,kBAAkB;QAClB,aAAa;QACb,SAAS;QACT,iBAAiB;QACjB,gBAAgB;KACjB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Is this migration ready, and what does the answer look like?\n *\n * Readiness is one judgement over everything the scan and the decisions found,\n * and it lives in one function so the six conditions can be read together. Five\n * of them are human decisions and the sixth is the corpus itself; a migration\n * that satisfied five of six used to read as \"nearly ready\", which is not a\n * state `--apply` may act on.\n *\n * The per-axis `readiness` block exists so an agent can say WHICH of the six is\n * open without re-deriving it from the issue list — the same information, but\n * the derivation is here rather than in every reader.\n */\nimport { compareIds } from \"../../repo/entries.js\";\nimport {\n  type OpenSpecMapping,\n  type CapabilityMappingDecision,\n  type OpenSpecChangeDecision,\n  type OpenSpecMappingIssue,\n} from \"../model/mapping.js\";\nimport {\n  OPENSPEC_BASELINES,\n  type OpenSpecArtifact,\n  type OpenSpecArtifactDecision,\n  type OpenSpecCapability,\n  type OpenSpecChange,\n  type OpenSpecCounts,\n  type OpenSpecInventory,\n  type OpenSpecRenamedUsage,\n  type OpenSpecUnsupportedShape,\n} from \"../model/model.js\";\nimport { sortIssues } from \"../scan/changes.js\";\n\n/** Everything a finished read produced, before it is graded into a verdict. */\nexport interface Findings {\n  located: { inputRoot: string; root: string; kind: OpenSpecInventory[\"workspace\"][\"kind\"] };\n  mapping: OpenSpecMapping;\n  inventoryDigest: string;\n  config: OpenSpecInventory[\"workspace\"][\"config\"];\n  storeMetadataPath: string | null;\n  livingCounts: OpenSpecCounts;\n  capabilities: OpenSpecCapability[];\n  active: OpenSpecChange[];\n  archived: OpenSpecChange[];\n  renamed: OpenSpecRenamedUsage[];\n  blockers: OpenSpecUnsupportedShape[];\n  archiveDiagnostics: OpenSpecUnsupportedShape[];\n  artifacts: OpenSpecArtifact[];\n  mappingDecisions: CapabilityMappingDecision[];\n  changeDecisions: OpenSpecChangeDecision[];\n  mappingIssues: OpenSpecMappingIssue[];\n  artifactDecisions: OpenSpecArtifactDecision[];\n}\n\nexport function inventoryVerdict(found: Findings): OpenSpecInventory {\n  const {\n    located, inventoryDigest, config, storeMetadataPath, livingCounts, capabilities,\n    active, archived, renamed, blockers, archiveDiagnostics, artifacts,\n    mappingDecisions, changeDecisions, mappingIssues, artifactDecisions,\n  } = found;\n  const { inputRoot, root } = located;\n  mappingIssues.sort((a, b) => compareIds(a.key, b.key) || compareIds(a.code, b.code));\n\n  renamed.sort((a, b) => compareIds(a.path, b.path) || a.line - b.line || compareIds(a.key, b.key));\n  sortIssues(blockers);\n  sortIssues(archiveDiagnostics);\n  const livingIssueCount = blockers.filter((item) => item.scope === \"workspace\" || item.scope === \"living\").length;\n  const activeIssueCount = blockers.filter((item) => item.scope === \"active\").length;\n  const needsMapping = mappingDecisions.filter((decision) => decision.status === \"needsMapping\");\n  const needsChangeMapping = changeDecisions.filter((decision) => decision.status === \"needsFeature\");\n  const needsDisposition = artifactDecisions.filter((decision) => decision.status === \"needsDisposition\");\n  const unresolvedActiveRenames = renamed.filter(\n    (rename) => rename.scope === \"active\" && rename.status === \"needsIdentity\",\n  );\n  const mechanicallyCompatible = livingIssueCount === 0 && activeIssueCount === 0;\n  const ready = mechanicallyCompatible\n    && needsMapping.length === 0\n    && needsChangeMapping.length === 0\n    && unresolvedActiveRenames.length === 0\n    && needsDisposition.length === 0\n    && mappingIssues.length === 0;\n\n  return {\n    baselines: OPENSPEC_BASELINES,\n    inputRoot,\n    root,\n    inventoryDigest,\n    workspace: {\n      kind: located.kind,\n      config,\n      storeMetadataPath,\n    },\n    ready,\n    mechanicallyCompatible,\n    readiness: {\n      living: { compatible: livingIssueCount === 0, issueCount: livingIssueCount },\n      active: { compatible: activeIssueCount === 0, issueCount: activeIssueCount },\n      sourceCurrent: !mappingIssues.some((item) => item.code.startsWith(\"mapping.source-\")),\n      mappingsResolved: needsMapping.length === 0 && !mappingIssues.some((item) =>\n        item.code === \"mapping.unknown-capability\"\n        || item.code === \"mapping.unknown-requirement\"\n        || item.code.startsWith(\"mapping.requirement-\")\n        || item.code === \"mapping.service-allocation-empty\"),\n      changesResolved: needsChangeMapping.length === 0 && !mappingIssues.some((item) =>\n        item.code === \"mapping.unknown-change\"\n        || item.code === \"mapping.change-title-missing\"\n        || item.code.startsWith(\"mapping.feature-id-\")),\n      renamesResolved: unresolvedActiveRenames.length === 0 && !mappingIssues.some((item) => item.code.includes(\"rename\") || item.code.includes(\"requirement-id\")),\n      dispositionsResolved: needsDisposition.length === 0 && !mappingIssues.some((item) => item.code.includes(\"artifact\")),\n      migrationReady: ready,\n    },\n    living: { ...livingCounts, capabilities },\n    changes: {\n      active,\n      archived,\n      counts: { active: active.length, archived: archived.length },\n    },\n    renamed,\n    unsupported: blockers,\n    archiveDiagnostics,\n    mappingDecisions,\n    needsMapping,\n    changeDecisions,\n    needsChangeMapping,\n    mappingIssues,\n    artifacts,\n    artifactDecisions,\n    needsDisposition,\n  };\n}\n"]}
+{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../../../src/core/openspec/decide/verdict.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAIN,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,kBAAkB,GASnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAsBhD,MAAM,UAAU,gBAAgB,CAAC,KAAe;IAC9C,MAAM,EACJ,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAC/E,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,SAAS,EAClE,gBAAgB,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,GACpE,GAAG,KAAK,CAAC;IACV,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACpC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAErF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrB,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC/B,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACjH,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACnF,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IAC/F,MAAM,kBAAkB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IACpG,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC;IACxG,MAAM,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAC5C,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,eAAe,CAC3E,CAAC;IACF,MAAM,sBAAsB,GAAG,gBAAgB,KAAK,CAAC,IAAI,gBAAgB,KAAK,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,sBAAsB;WAC/B,YAAY,CAAC,MAAM,KAAK,CAAC;WACzB,kBAAkB,CAAC,MAAM,KAAK,CAAC;WAC/B,uBAAuB,CAAC,MAAM,KAAK,CAAC;WACpC,gBAAgB,CAAC,MAAM,KAAK,CAAC;WAC7B,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;IAEhC,OAAO;QACL,SAAS,EAAE,kBAAkB;QAC7B,SAAS;QACT,IAAI;QACJ,eAAe;QACf,SAAS,EAAE;YACT,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM;YACN,iBAAiB;SAClB;QACD,KAAK;QACL,sBAAsB;QACtB,SAAS,EAAE;YACT,MAAM,EAAE,EAAE,UAAU,EAAE,gBAAgB,KAAK,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE;YAC5E,MAAM,EAAE,EAAE,UAAU,EAAE,gBAAgB,KAAK,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE;YAC5E,aAAa,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;YACrF,gBAAgB,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1E,IAAI,CAAC,IAAI,KAAK,4BAA4B;mBACvC,IAAI,CAAC,IAAI,KAAK,6BAA6B;mBAC3C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC;mBAC5C,IAAI,CAAC,IAAI,KAAK,kCAAkC,CAAC;YACtD,eAAe,EAAE,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/E,IAAI,CAAC,IAAI,KAAK,wBAAwB;mBACnC,IAAI,CAAC,IAAI,KAAK,8BAA8B;mBAC5C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC;YACjD,eAAe,EAAE,uBAAuB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;YAC5J,oBAAoB,EAAE,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACpH,cAAc,EAAE,KAAK;SACtB;QACD,MAAM,EAAE,EAAE,GAAG,YAAY,EAAE,YAAY,EAAE;QACzC,OAAO,EAAE;YACP,MAAM;YACN,QAAQ;YACR,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE;SAC7D;QACD,OAAO;QACP,WAAW,EAAE,QAAQ;QACrB,kBAAkB;QAClB,gBAAgB;QAChB,YAAY;QACZ,eAAe;QACf,kBAAkB;QAClB,aAAa;QACb,SAAS;QACT,iBAAiB;QACjB,gBAAgB;KACjB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Is this migration ready, and what does the answer look like?\n *\n * Readiness is one judgement over everything the scan and the decisions found,\n * and it lives in one function so the six conditions can be read together. Five\n * of them are human decisions and the sixth is the corpus itself; a migration\n * that satisfied five of six used to read as \"nearly ready\", which is not a\n * state `--apply` may act on.\n *\n * The per-axis `readiness` block exists so an agent can say WHICH of the six is\n * open without re-deriving it from the issue list — the same information, but\n * the derivation is here rather than in every reader.\n */\nimport { compareIds } from \"../../repo/entries.js\";\nimport {\n  type CapabilityMappingDecision,\n  type OpenSpecChangeDecision,\n  type OpenSpecMappingIssue,\n} from \"../model/mapping.js\";\nimport {\n  OPENSPEC_BASELINES,\n  type OpenSpecArtifact,\n  type OpenSpecArtifactDecision,\n  type OpenSpecCapability,\n  type OpenSpecChange,\n  type OpenSpecCounts,\n  type OpenSpecInventory,\n  type OpenSpecRenamedUsage,\n  type OpenSpecUnsupportedShape,\n} from \"../model/model.js\";\nimport { sortIssues } from \"../scan/changes.js\";\n\n/** Everything a finished read produced, before it is graded into a verdict. */\nexport interface Findings {\n  located: { inputRoot: string; root: string; kind: OpenSpecInventory[\"workspace\"][\"kind\"] };\n  inventoryDigest: string;\n  config: OpenSpecInventory[\"workspace\"][\"config\"];\n  storeMetadataPath: string | null;\n  livingCounts: OpenSpecCounts;\n  capabilities: OpenSpecCapability[];\n  active: OpenSpecChange[];\n  archived: OpenSpecChange[];\n  renamed: OpenSpecRenamedUsage[];\n  blockers: OpenSpecUnsupportedShape[];\n  archiveDiagnostics: OpenSpecUnsupportedShape[];\n  artifacts: OpenSpecArtifact[];\n  mappingDecisions: CapabilityMappingDecision[];\n  changeDecisions: OpenSpecChangeDecision[];\n  mappingIssues: OpenSpecMappingIssue[];\n  artifactDecisions: OpenSpecArtifactDecision[];\n}\n\nexport function inventoryVerdict(found: Findings): OpenSpecInventory {\n  const {\n    located, inventoryDigest, config, storeMetadataPath, livingCounts, capabilities,\n    active, archived, renamed, blockers, archiveDiagnostics, artifacts,\n    mappingDecisions, changeDecisions, mappingIssues, artifactDecisions,\n  } = found;\n  const { inputRoot, root } = located;\n  mappingIssues.sort((a, b) => compareIds(a.key, b.key) || compareIds(a.code, b.code));\n\n  renamed.sort((a, b) => compareIds(a.path, b.path) || a.line - b.line || compareIds(a.key, b.key));\n  sortIssues(blockers);\n  sortIssues(archiveDiagnostics);\n  const livingIssueCount = blockers.filter((item) => item.scope === \"workspace\" || item.scope === \"living\").length;\n  const activeIssueCount = blockers.filter((item) => item.scope === \"active\").length;\n  const needsMapping = mappingDecisions.filter((decision) => decision.status === \"needsMapping\");\n  const needsChangeMapping = changeDecisions.filter((decision) => decision.status === \"needsFeature\");\n  const needsDisposition = artifactDecisions.filter((decision) => decision.status === \"needsDisposition\");\n  const unresolvedActiveRenames = renamed.filter(\n    (rename) => rename.scope === \"active\" && rename.status === \"needsIdentity\",\n  );\n  const mechanicallyCompatible = livingIssueCount === 0 && activeIssueCount === 0;\n  const ready = mechanicallyCompatible\n    && needsMapping.length === 0\n    && needsChangeMapping.length === 0\n    && unresolvedActiveRenames.length === 0\n    && needsDisposition.length === 0\n    && mappingIssues.length === 0;\n\n  return {\n    baselines: OPENSPEC_BASELINES,\n    inputRoot,\n    root,\n    inventoryDigest,\n    workspace: {\n      kind: located.kind,\n      config,\n      storeMetadataPath,\n    },\n    ready,\n    mechanicallyCompatible,\n    readiness: {\n      living: { compatible: livingIssueCount === 0, issueCount: livingIssueCount },\n      active: { compatible: activeIssueCount === 0, issueCount: activeIssueCount },\n      sourceCurrent: !mappingIssues.some((item) => item.code.startsWith(\"mapping.source-\")),\n      mappingsResolved: needsMapping.length === 0 && !mappingIssues.some((item) =>\n        item.code === \"mapping.unknown-capability\"\n        || item.code === \"mapping.unknown-requirement\"\n        || item.code.startsWith(\"mapping.requirement-\")\n        || item.code === \"mapping.service-allocation-empty\"),\n      changesResolved: needsChangeMapping.length === 0 && !mappingIssues.some((item) =>\n        item.code === \"mapping.unknown-change\"\n        || item.code === \"mapping.change-title-missing\"\n        || item.code.startsWith(\"mapping.feature-id-\")),\n      renamesResolved: unresolvedActiveRenames.length === 0 && !mappingIssues.some((item) => item.code.includes(\"rename\") || item.code.includes(\"requirement-id\")),\n      dispositionsResolved: needsDisposition.length === 0 && !mappingIssues.some((item) => item.code.includes(\"artifact\")),\n      migrationReady: ready,\n    },\n    living: { ...livingCounts, capabilities },\n    changes: {\n      active,\n      archived,\n      counts: { active: active.length, archived: archived.length },\n    },\n    renamed,\n    unsupported: blockers,\n    archiveDiagnostics,\n    mappingDecisions,\n    needsMapping,\n    changeDecisions,\n    needsChangeMapping,\n    mappingIssues,\n    artifacts,\n    artifactDecisions,\n    needsDisposition,\n  };\n}\n"]}

package/dist/core/openspec/inventory.js

@@ -22,7 +22,7 @@ import { parseRequirements } from "../document/parse.js";
 import { emptyMapping } from "./model/mapping.js";
 import {} from "./model/model.js";
 import { locateOpenSpecRoot } from "./scan/workspace.js";
-import { digestInventory, hiddenSubdirs, isSymbolicLink, portable, sourceInventoryPath, subdirs, walkFiles, walkSymlinks, } from "./scan/walk.js";
+import { digestInventory, hiddenSubdirs, isSymbolicLink, portable, sourceInventoryPath, subdirs, walkTree, } from "./scan/walk.js";
 import { inspectSpecFile, issue } from "./scan/shape.js";
 import { inspectConfig } from "./scan/config.js";
 import { artifactFor, artifactScope, inventoryChanges } from "./scan/changes.js";
@@ -44,7 +44,7 @@ export async function inventoryOpenSpec(input, options = {}) {
     // contract pins — five arrays merged afterwards would be a different report.
     const ingest = { root, mapping, renamed, unsupported: blockers };
     const archiveDiagnostics = [];
-    for (const absolute of await walkSymlinks(root)) {
+    for (const absolute of (await walkTree(root)).links) {
         const path = portable(root, absolute);
         const scope = artifactScope(path);
         issue(scope === "archive" ? archiveDiagnostics : blockers, scope, {
@@ -88,7 +88,7 @@ export async function inventoryOpenSpec(input, options = {}) {
     const capabilities = [];
     const livingRequirements = new Map();
     const livingCounts = { specFiles: 0, requirements: 0, scenarios: 0 };
-    const livingTree = await walkFiles(specsRoot);
+    const livingTree = (await walkTree(specsRoot)).files;
     const livingFiles = livingTree.filter((path) => basename(path) === "spec.md");
     // The living twin of openspec.nonstandard-change-spec. Selecting living specs
     // by exact basename is right, but without the mirror a mis-cased or renamed
@@ -161,7 +161,7 @@ export async function inventoryOpenSpec(input, options = {}) {
             scope: "workspace",
         });
     }
-    const artifactFiles = await walkFiles(root);
+    const artifactFiles = (await walkTree(root)).files;
     if (storeMetadataExists && !storeMetadataSymlink && !artifactFiles.includes(storeMetadata)) {
         artifactFiles.push(storeMetadata);
     }
@@ -200,7 +200,6 @@ export async function inventoryOpenSpec(input, options = {}) {
     const artifactDecisions = artifactDispositions(artifacts, mapping, new Set(active.map((change) => change.id)), mappingIssues);
     return inventoryVerdict({
         located,
-        mapping,
         inventoryDigest,
         config,
         storeMetadataPath: storeMetadataExists ? sourceInventoryPath(root, storeMetadata) : null,

package/dist/core/openspec/inventory.js.map

@@ -1 +1 @@
-{"version":3,"file":"inventory.js","sourceRoot":"","sources":["../../../src/core/openspec/inventory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAwB,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAoF,MAAM,kBAAkB,CAAC;AACpH,OAAO,EAAE,kBAAkB,EAAe,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,eAAe,EACf,aAAa,EACb,cAAc,EACd,QAAQ,EACR,mBAAmB,EACnB,OAAO,EACP,SAAS,EACT,YAAY,GACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAgD,MAAM,kBAAkB,CAAC;AAEhF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAAa,EACb,OAAO,GAAkC,EAAE;IAE3C,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACpC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAA+B,EAAE,CAAC;IAChD,6EAA6E;IAC7E,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;IACzE,MAAM,kBAAkB,GAA+B,EAAE,CAAC;IAC1D,KAAK,MAAM,QAAQ,IAAI,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE;YAChE,IAAI,EAAE,8BAA8B;YACpC,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,sHAAsH;SAChI,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,EAAE,iBAAiB,EAAE,YAAY,CAAC,CAAC;IAC5E,MAAM,mBAAmB,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,UAAU;QACvD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,YAAY,CAAC;QACtD,CAAC,CAAC,kBAAkB,CAAC;IACvB,MAAM,aAAa,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IAChG,MAAM,mBAAmB,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,oBAAoB,GAAG,mBAAmB,IAAI,MAAM,cAAc,CAAC,aAAa,CAAC,CAAC;IACxF,IAAI,oBAAoB,EAAE,CAAC;QACzB,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE;YAC3B,IAAI,EAAE,8BAA8B;YACpC,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC;YAC9C,OAAO,EAAE,mFAAmF;SAC7F,CAAC,CAAC;IACL,CAAC;IACD,MAAM,mBAAmB,GAAG,MAAM,KAAK,IAAI,IAAI,CAAC,mBAAmB,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC9F,IAAI,CAAC,MAAM,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC1D,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,wBAAwB;YAC9B,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,qCAAqC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QACjH,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE;YAC3B,IAAI,EAAE,iCAAiC;YACvC,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,sCAAsC,MAAM,CAAC,KAAK,mDAAmD;SAC/G,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAyB,EAAE,CAAC;IAC9C,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAgD,CAAC;IACnF,MAAM,YAAY,GAAmB,EAAE,SAAS,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrF,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,gEAAgE;IAChE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC;QACzF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kCAAkC;YACxC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;YAC1B,OAAO,EAAE,0FAA0F;YACnG,KAAK,EAAE,QAAQ;SAChB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1E,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;QACxE,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9B,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpD,MAAM,SAAS,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;IAChF,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,MAAM,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kCAAkC;YACxC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,EAAE,uIAAuI;YAChJ,KAAK,EAAE,QAAQ;SAChB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,kBAAkB,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,kCAAkC;YACxC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,EAAE,mHAAmH;YAC5H,KAAK,EAAE,SAAS;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,EAAE,MAAM,IAAI,aAAa,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE;QAC5C,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,QAAQ;QACf,cAAc;QACd,QAAQ,EAAE,QAAQ;KACnB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE;QAC9C,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,SAAS;QAChB,cAAc;QACd,QAAQ,EAAE,kBAAkB;KAC7B,CAAC,CAAC;IAEH,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,2EAA2E;IAC3E,8DAA8D;IAC9D,IAAI,YAAY,CAAC,SAAS,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,iBAAiB,IAAI,yIAAyI;YACvK,KAAK,EAAE,WAAW;SACnB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,mBAAmB,IAAI,CAAC,oBAAoB,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3F,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,SAAS;QAC5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACjF,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE;YAChE,IAAI,EAAE,4BAA4B;YAClC,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,sGAAsG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,8EAA8E;IAC9E,+EAA+E;IAC/E,4EAA4E;IAC5E,kEAAkE;IAClE,MAAM,eAAe,GAAG,MAAM,eAAe,CAC3C,IAAI,EACJ,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,KAAK,SAAS,CAAC,CAC1F,CAAC;IACF,MAAM,SAAS,GAAG,aAAa;SAC5B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE9C,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,OAAO,EAAE,GAAG,mBAAmB,CAAC;QACxF,IAAI;QACJ,OAAO;QACP,sEAAsE;QACtE,KAAK,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS;QACpC,eAAe;QACf,kBAAkB;QAClB,MAAM;QACN,OAAO;KACR,CAAC,CAAC;IACH,cAAc,CACZ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,EAC7G,OAAO,EACP,aAAa,CACd,CAAC;IACF,MAAM,iBAAiB,GAAG,oBAAoB,CAC5C,SAAS,EACT,OAAO,EACP,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAC1C,aAAa,CACd,CAAC;IAEF,OAAO,gBAAgB,CAAC;QACtB,OAAO;QACP,OAAO;QACP,eAAe;QACf,MAAM;QACN,iBAAiB,EAAE,mBAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI;QACxF,YAAY;QACZ,YAAY;QACZ,MAAM;QACN,QAAQ;QACR,OAAO;QACP,QAAQ;QACR,kBAAkB;QAClB,SAAS;QACT,gBAAgB;QAChB,eAAe;QACf,aAAa;QACb,iBAAiB;KAClB,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * One whole OpenSpec workspace, read and graded in one pass.\n *\n * The order below is the contract: everything is SCANNED before anything is\n * DECIDED, because a decision graded against a half-read corpus is worse than\n * no decision — it reads as reviewed. So this module locates the root, walks\n * it, reads every document through `./scan/`, and only then hands the result to\n * `./decide/`, which is the half a human's mapping can change.\n *\n * The digest is taken over the non-archive artifacts only. It binds a mapping\n * to the truth it was reviewed against, and frozen archive history is neither\n * migrated nor allowed to block readiness — covering it meant a colleague's typo\n * fix under `changes/archive/` killed a completed mapping, with no `--force` and\n * no indication of which file had moved.\n */\nimport { isUtf8 } from \"node:buffer\";\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { basename, dirname, join } from \"node:path\";\nimport { compareIds } from \"../repo/entries.js\";\nimport { parseRequirements } from \"../document/parse.js\";\nimport { emptyMapping, type OpenSpecMapping } from \"./model/mapping.js\";\nimport { type OpenSpecInventory, type OpenSpecRenamedUsage, type OpenSpecUnsupportedShape } from \"./model/model.js\";\nimport { locateOpenSpecRoot, type Ingest } from \"./scan/workspace.js\";\nimport {\n  digestInventory,\n  hiddenSubdirs,\n  isSymbolicLink,\n  portable,\n  sourceInventoryPath,\n  subdirs,\n  walkFiles,\n  walkSymlinks,\n} from \"./scan/walk.js\";\nimport { inspectSpecFile, issue } from \"./scan/shape.js\";\nimport { inspectConfig } from \"./scan/config.js\";\nimport { artifactFor, artifactScope, inventoryChanges } from \"./scan/changes.js\";\nimport { capabilityDecisions } from \"./decide/capabilities.js\";\nimport { resolveRenames } from \"./decide/renames.js\";\nimport { artifactDispositions } from \"./decide/dispositions.js\";\nimport { inventoryVerdict } from \"./decide/verdict.js\";\nimport { isDirectory } from \"./scan/walk.js\";\nimport { addCounts } from \"./scan/shape.js\";\nimport { type OpenSpecCapability, type OpenSpecCounts } from \"./model/model.js\";\n\nexport async function inventoryOpenSpec(\n  input: string,\n  options: { mapping?: OpenSpecMapping } = {},\n): Promise<OpenSpecInventory> {\n  const located = await locateOpenSpecRoot(input);\n  const { inputRoot, root } = located;\n  const mapping = emptyMapping(options.mapping);\n  const renamed: OpenSpecRenamedUsage[] = [];\n  const blockers: OpenSpecUnsupportedShape[] = [];\n  // The read in progress. Every reader below appends to these two lists rather\n  // than returning findings, because the ORDER they land in is what the `--json`\n  // contract pins — five arrays merged afterwards would be a different report.\n  const ingest: Ingest = { root, mapping, renamed, unsupported: blockers };\n  const archiveDiagnostics: OpenSpecUnsupportedShape[] = [];\n  for (const absolute of await walkSymlinks(root)) {\n    const path = portable(root, absolute);\n    const scope = artifactScope(path);\n    issue(scope === \"archive\" ? archiveDiagnostics : blockers, scope, {\n      code: \"openspec.symlink-unsupported\",\n      path: path,\n      message: \"Symbolic links are not followed by migration inventory; replace this link with an in-tree regular file or directory.\",\n    });\n  }\n  const config = await inspectConfig(root, blockers);\n  const specsRoot = join(root, \"specs\");\n  const changesRoot = join(root, \"changes\");\n  const inputStoreMetadata = join(inputRoot, \".openspec-store\", \"store.yaml\");\n  const parentStoreMetadata = basename(root) === \"openspec\"\n    ? join(dirname(root), \".openspec-store\", \"store.yaml\")\n    : inputStoreMetadata;\n  const storeMetadata = existsSync(inputStoreMetadata) ? inputStoreMetadata : parentStoreMetadata;\n  const storeMetadataExists = existsSync(storeMetadata);\n  const storeMetadataSymlink = storeMetadataExists && await isSymbolicLink(storeMetadata);\n  if (storeMetadataSymlink) {\n    issue(blockers, \"workspace\", {\n      code: \"openspec.symlink-unsupported\",\n      path: sourceInventoryPath(root, storeMetadata),\n      message: \"Symbolic Store metadata is not followed; replace it with an in-tree regular file.\",\n    });\n  }\n  const hasModernEmptyShape = config !== null || (storeMetadataExists && !storeMetadataSymlink);\n  if (!await isDirectory(specsRoot) && !hasModernEmptyShape) {\n    issue(blockers, \"living\", {\n      code: \"openspec.specs-missing\",\n      path: \"specs\",\n      message: \"Living specs/ directory is missing.\",\n    });\n  }\n  if (config !== null && config.store !== null && !await isDirectory(specsRoot) && !await isDirectory(changesRoot)) {\n    issue(blockers, \"workspace\", {\n      code: \"openspec.external-store-pointer\",\n      path: \"config.yaml\",\n      message: `Planning is externalized to Store '${config.store}'; audit that registered Store checkout directly.`,\n    });\n  }\n\n  const capabilities: OpenSpecCapability[] = [];\n  const livingRequirements = new Map<string, ReturnType<typeof parseRequirements>>();\n  const livingCounts: OpenSpecCounts = { specFiles: 0, requirements: 0, scenarios: 0 };\n  const livingTree = await walkFiles(specsRoot);\n  const livingFiles = livingTree.filter((path) => basename(path) === \"spec.md\");\n  // The living twin of openspec.nonstandard-change-spec. Selecting living specs\n  // by exact basename is right, but without the mirror a mis-cased or renamed\n  // file simply disappears: specs/payments/Spec.md audited as a clean, empty\n  // corpus while the identical shape under a change was reported.\n  for (const file of livingTree.filter((path) =>\n    /\\.md$/i.test(path) && basename(path) !== \"spec.md\" && basename(path) !== \"design.md\")) {\n    blockers.push({\n      code: \"openspec.nonstandard-living-spec\",\n      path: portable(root, file),\n      message: \"Markdown under specs/ is named neither spec.md nor design.md, so no capability reads it.\",\n      scope: \"living\",\n    });\n  }\n  for (const specFile of livingFiles) {\n    const id = portable(specsRoot, dirname(specFile));\n    const inspected = await inspectSpecFile(ingest, specFile, \"living\", null);\n    livingRequirements.set(id, inspected.requirements);\n    const capability = { id, files: [inspected.path], ...inspected.counts };\n    capabilities.push(capability);\n    addCounts(livingCounts, inspected.counts);\n  }\n  capabilities.sort((a, b) => compareIds(a.id, b.id));\n\n  const activeIds = (await subdirs(changesRoot)).filter((id) => id !== \"archive\");\n  const archiveRoot = join(changesRoot, \"archive\");\n  const archivedIds = await subdirs(archiveRoot);\n  for (const id of await hiddenSubdirs(changesRoot)) {\n    blockers.push({\n      code: \"openspec.hidden-change-directory\",\n      path: portable(root, join(changesRoot, id)),\n      message: \"A dot-prefixed change directory is not enumerated as a change, so nothing under it is migrated; rename it or move it out of changes/.\",\n      scope: \"active\",\n    });\n  }\n  for (const id of await hiddenSubdirs(archiveRoot)) {\n    archiveDiagnostics.push({\n      code: \"openspec.hidden-change-directory\",\n      path: portable(root, join(archiveRoot, id)),\n      message: \"A dot-prefixed archive directory is not enumerated as a change; frozen history is retained read-only where it is.\",\n      scope: \"archive\",\n    });\n  }\n  const fallbackSchema = config?.schema ?? \"spec-driven\";\n  const active = await inventoryChanges(ingest, {\n    base: changesRoot,\n    ids: activeIds,\n    scope: \"active\",\n    fallbackSchema,\n    findings: blockers,\n  });\n  const archived = await inventoryChanges(ingest, {\n    base: archiveRoot,\n    ids: archivedIds,\n    scope: \"archive\",\n    fallbackSchema,\n    findings: archiveDiagnostics,\n  });\n\n  // Last-resort backstop under the whole \"audited past the corpus\" family, and\n  // the one check that does not depend on root selection being right: an\n  // inventory that read no living spec AND no active change describes nothing,\n  // so no verdict over it can be `ready`. That is exactly the shape the Store\n  // misdetection produced — ready, mechanically compatible, zero capabilities,\n  // zero unsupported shapes — where the failure verdict was more confident than\n  // any success verdict. A greenfield workspace whose only requirements live\n  // under changes/ has an active change and is not caught here.\n  if (livingCounts.specFiles === 0 && active.length === 0) {\n    blockers.push({\n      code: \"openspec.workspace-empty\",\n      path: \".\",\n      message: `Planning root ${root} holds no living spec and no active change; there is nothing to migrate, so confirm this is the directory that really holds the corpus.`,\n      scope: \"workspace\",\n    });\n  }\n\n  const artifactFiles = await walkFiles(root);\n  if (storeMetadataExists && !storeMetadataSymlink && !artifactFiles.includes(storeMetadata)) {\n    artifactFiles.push(storeMetadata);\n  }\n  for (const absolute of artifactFiles) {\n    const bytes = await readFile(absolute);\n    if (isUtf8(bytes)) continue;\n    const rootPath = portable(root, absolute);\n    const artifactPath = sourceInventoryPath(root, absolute);\n    const scope = absolute === storeMetadata ? \"workspace\" : artifactScope(rootPath);\n    issue(scope === \"archive\" ? archiveDiagnostics : blockers, scope, {\n      code: \"openspec.non-utf8-artifact\",\n      path: artifactPath,\n      message: \"Migration can preserve only valid UTF-8 authored artifacts; convert this file to UTF-8 before apply.\",\n    });\n  }\n  // The digest binds a mapping to the truth it was reviewed against, and frozen\n  // archive history is neither migrated nor allowed to block readiness. Covering\n  // it meant a colleague's typo fix under changes/archive/ killed a completed\n  // mapping, with no --force and no indication of which file moved.\n  const inventoryDigest = await digestInventory(\n    root,\n    artifactFiles.filter((absolute) => artifactScope(portable(root, absolute)) !== \"archive\"),\n  );\n  const artifacts = artifactFiles\n    .map((path) => artifactFor(root, path))\n    .sort((a, b) => compareIds(a.path, b.path));\n\n  const { mappingIssues, mappingDecisions, changeDecisions, routing } = capabilityDecisions({\n    root,\n    mapping,\n    // An audit grades no source binding: there is no mapping to bind yet.\n    bound: options.mapping !== undefined,\n    inventoryDigest,\n    livingRequirements,\n    active,\n    renamed,\n  });\n  resolveRenames(\n    { root, mapping, bound: options.mapping !== undefined, inventoryDigest, livingRequirements, active, renamed },\n    routing,\n    mappingIssues,\n  );\n  const artifactDecisions = artifactDispositions(\n    artifacts,\n    mapping,\n    new Set(active.map((change) => change.id)),\n    mappingIssues,\n  );\n\n  return inventoryVerdict({\n    located,\n    mapping,\n    inventoryDigest,\n    config,\n    storeMetadataPath: storeMetadataExists ? sourceInventoryPath(root, storeMetadata) : null,\n    livingCounts,\n    capabilities,\n    active,\n    archived,\n    renamed,\n    blockers,\n    archiveDiagnostics,\n    artifacts,\n    mappingDecisions,\n    changeDecisions,\n    mappingIssues,\n    artifactDecisions,\n  });\n}\n"]}
+{"version":3,"file":"inventory.js","sourceRoot":"","sources":["../../../src/core/openspec/inventory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAwB,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAoF,MAAM,kBAAkB,CAAC;AACpH,OAAO,EAAE,kBAAkB,EAAe,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,eAAe,EACf,aAAa,EACb,cAAc,EACd,QAAQ,EACR,mBAAmB,EACnB,OAAO,EACP,QAAQ,GACT,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAgD,MAAM,kBAAkB,CAAC;AAEhF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAAa,EACb,OAAO,GAAkC,EAAE;IAE3C,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACpC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAA+B,EAAE,CAAC;IAChD,6EAA6E;IAC7E,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;IACzE,MAAM,kBAAkB,GAA+B,EAAE,CAAC;IAC1D,KAAK,MAAM,QAAQ,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE;YAChE,IAAI,EAAE,8BAA8B;YACpC,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,sHAAsH;SAChI,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,EAAE,iBAAiB,EAAE,YAAY,CAAC,CAAC;IAC5E,MAAM,mBAAmB,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,UAAU;QACvD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,YAAY,CAAC;QACtD,CAAC,CAAC,kBAAkB,CAAC;IACvB,MAAM,aAAa,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IAChG,MAAM,mBAAmB,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,oBAAoB,GAAG,mBAAmB,IAAI,MAAM,cAAc,CAAC,aAAa,CAAC,CAAC;IACxF,IAAI,oBAAoB,EAAE,CAAC;QACzB,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE;YAC3B,IAAI,EAAE,8BAA8B;YACpC,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC;YAC9C,OAAO,EAAE,mFAAmF;SAC7F,CAAC,CAAC;IACL,CAAC;IACD,MAAM,mBAAmB,GAAG,MAAM,KAAK,IAAI,IAAI,CAAC,mBAAmB,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC9F,IAAI,CAAC,MAAM,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC1D,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,wBAAwB;YAC9B,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,qCAAqC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QACjH,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE;YAC3B,IAAI,EAAE,iCAAiC;YACvC,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,sCAAsC,MAAM,CAAC,KAAK,mDAAmD;SAC/G,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAyB,EAAE,CAAC;IAC9C,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAgD,CAAC;IACnF,MAAM,YAAY,GAAmB,EAAE,SAAS,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrF,MAAM,UAAU,GAAG,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;IACrD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,gEAAgE;IAChE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC;QACzF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kCAAkC;YACxC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;YAC1B,OAAO,EAAE,0FAA0F;YACnG,KAAK,EAAE,QAAQ;SAChB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1E,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;QACxE,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9B,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpD,MAAM,SAAS,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;IAChF,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,MAAM,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kCAAkC;YACxC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,EAAE,uIAAuI;YAChJ,KAAK,EAAE,QAAQ;SAChB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,kBAAkB,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,kCAAkC;YACxC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,EAAE,mHAAmH;YAC5H,KAAK,EAAE,SAAS;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,EAAE,MAAM,IAAI,aAAa,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE;QAC5C,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,QAAQ;QACf,cAAc;QACd,QAAQ,EAAE,QAAQ;KACnB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE;QAC9C,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,SAAS;QAChB,cAAc;QACd,QAAQ,EAAE,kBAAkB;KAC7B,CAAC,CAAC;IAEH,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,2EAA2E;IAC3E,8DAA8D;IAC9D,IAAI,YAAY,CAAC,SAAS,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,iBAAiB,IAAI,yIAAyI;YACvK,KAAK,EAAE,WAAW;SACnB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACnD,IAAI,mBAAmB,IAAI,CAAC,oBAAoB,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3F,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,SAAS;QAC5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACjF,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE;YAChE,IAAI,EAAE,4BAA4B;YAClC,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,sGAAsG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,8EAA8E;IAC9E,+EAA+E;IAC/E,4EAA4E;IAC5E,kEAAkE;IAClE,MAAM,eAAe,GAAG,MAAM,eAAe,CAC3C,IAAI,EACJ,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,KAAK,SAAS,CAAC,CAC1F,CAAC;IACF,MAAM,SAAS,GAAG,aAAa;SAC5B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE9C,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,OAAO,EAAE,GAAG,mBAAmB,CAAC;QACxF,IAAI;QACJ,OAAO;QACP,sEAAsE;QACtE,KAAK,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS;QACpC,eAAe;QACf,kBAAkB;QAClB,MAAM;QACN,OAAO;KACR,CAAC,CAAC;IACH,cAAc,CACZ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,EAC7G,OAAO,EACP,aAAa,CACd,CAAC;IACF,MAAM,iBAAiB,GAAG,oBAAoB,CAC5C,SAAS,EACT,OAAO,EACP,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAC1C,aAAa,CACd,CAAC;IAEF,OAAO,gBAAgB,CAAC;QACtB,OAAO;QACP,eAAe;QACf,MAAM;QACN,iBAAiB,EAAE,mBAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI;QACxF,YAAY;QACZ,YAAY;QACZ,MAAM;QACN,QAAQ;QACR,OAAO;QACP,QAAQ;QACR,kBAAkB;QAClB,SAAS;QACT,gBAAgB;QAChB,eAAe;QACf,aAAa;QACb,iBAAiB;KAClB,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * One whole OpenSpec workspace, read and graded in one pass.\n *\n * The order below is the contract: everything is SCANNED before anything is\n * DECIDED, because a decision graded against a half-read corpus is worse than\n * no decision — it reads as reviewed. So this module locates the root, walks\n * it, reads every document through `./scan/`, and only then hands the result to\n * `./decide/`, which is the half a human's mapping can change.\n *\n * The digest is taken over the non-archive artifacts only. It binds a mapping\n * to the truth it was reviewed against, and frozen archive history is neither\n * migrated nor allowed to block readiness — covering it meant a colleague's typo\n * fix under `changes/archive/` killed a completed mapping, with no `--force` and\n * no indication of which file had moved.\n */\nimport { isUtf8 } from \"node:buffer\";\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { basename, dirname, join } from \"node:path\";\nimport { compareIds } from \"../repo/entries.js\";\nimport { parseRequirements } from \"../document/parse.js\";\nimport { emptyMapping, type OpenSpecMapping } from \"./model/mapping.js\";\nimport { type OpenSpecInventory, type OpenSpecRenamedUsage, type OpenSpecUnsupportedShape } from \"./model/model.js\";\nimport { locateOpenSpecRoot, type Ingest } from \"./scan/workspace.js\";\nimport {\n  digestInventory,\n  hiddenSubdirs,\n  isSymbolicLink,\n  portable,\n  sourceInventoryPath,\n  subdirs,\n  walkTree,\n} from \"./scan/walk.js\";\nimport { inspectSpecFile, issue } from \"./scan/shape.js\";\nimport { inspectConfig } from \"./scan/config.js\";\nimport { artifactFor, artifactScope, inventoryChanges } from \"./scan/changes.js\";\nimport { capabilityDecisions } from \"./decide/capabilities.js\";\nimport { resolveRenames } from \"./decide/renames.js\";\nimport { artifactDispositions } from \"./decide/dispositions.js\";\nimport { inventoryVerdict } from \"./decide/verdict.js\";\nimport { isDirectory } from \"./scan/walk.js\";\nimport { addCounts } from \"./scan/shape.js\";\nimport { type OpenSpecCapability, type OpenSpecCounts } from \"./model/model.js\";\n\nexport async function inventoryOpenSpec(\n  input: string,\n  options: { mapping?: OpenSpecMapping } = {},\n): Promise<OpenSpecInventory> {\n  const located = await locateOpenSpecRoot(input);\n  const { inputRoot, root } = located;\n  const mapping = emptyMapping(options.mapping);\n  const renamed: OpenSpecRenamedUsage[] = [];\n  const blockers: OpenSpecUnsupportedShape[] = [];\n  // The read in progress. Every reader below appends to these two lists rather\n  // than returning findings, because the ORDER they land in is what the `--json`\n  // contract pins — five arrays merged afterwards would be a different report.\n  const ingest: Ingest = { root, mapping, renamed, unsupported: blockers };\n  const archiveDiagnostics: OpenSpecUnsupportedShape[] = [];\n  for (const absolute of (await walkTree(root)).links) {\n    const path = portable(root, absolute);\n    const scope = artifactScope(path);\n    issue(scope === \"archive\" ? archiveDiagnostics : blockers, scope, {\n      code: \"openspec.symlink-unsupported\",\n      path: path,\n      message: \"Symbolic links are not followed by migration inventory; replace this link with an in-tree regular file or directory.\",\n    });\n  }\n  const config = await inspectConfig(root, blockers);\n  const specsRoot = join(root, \"specs\");\n  const changesRoot = join(root, \"changes\");\n  const inputStoreMetadata = join(inputRoot, \".openspec-store\", \"store.yaml\");\n  const parentStoreMetadata = basename(root) === \"openspec\"\n    ? join(dirname(root), \".openspec-store\", \"store.yaml\")\n    : inputStoreMetadata;\n  const storeMetadata = existsSync(inputStoreMetadata) ? inputStoreMetadata : parentStoreMetadata;\n  const storeMetadataExists = existsSync(storeMetadata);\n  const storeMetadataSymlink = storeMetadataExists && await isSymbolicLink(storeMetadata);\n  if (storeMetadataSymlink) {\n    issue(blockers, \"workspace\", {\n      code: \"openspec.symlink-unsupported\",\n      path: sourceInventoryPath(root, storeMetadata),\n      message: \"Symbolic Store metadata is not followed; replace it with an in-tree regular file.\",\n    });\n  }\n  const hasModernEmptyShape = config !== null || (storeMetadataExists && !storeMetadataSymlink);\n  if (!await isDirectory(specsRoot) && !hasModernEmptyShape) {\n    issue(blockers, \"living\", {\n      code: \"openspec.specs-missing\",\n      path: \"specs\",\n      message: \"Living specs/ directory is missing.\",\n    });\n  }\n  if (config !== null && config.store !== null && !await isDirectory(specsRoot) && !await isDirectory(changesRoot)) {\n    issue(blockers, \"workspace\", {\n      code: \"openspec.external-store-pointer\",\n      path: \"config.yaml\",\n      message: `Planning is externalized to Store '${config.store}'; audit that registered Store checkout directly.`,\n    });\n  }\n\n  const capabilities: OpenSpecCapability[] = [];\n  const livingRequirements = new Map<string, ReturnType<typeof parseRequirements>>();\n  const livingCounts: OpenSpecCounts = { specFiles: 0, requirements: 0, scenarios: 0 };\n  const livingTree = (await walkTree(specsRoot)).files;\n  const livingFiles = livingTree.filter((path) => basename(path) === \"spec.md\");\n  // The living twin of openspec.nonstandard-change-spec. Selecting living specs\n  // by exact basename is right, but without the mirror a mis-cased or renamed\n  // file simply disappears: specs/payments/Spec.md audited as a clean, empty\n  // corpus while the identical shape under a change was reported.\n  for (const file of livingTree.filter((path) =>\n    /\\.md$/i.test(path) && basename(path) !== \"spec.md\" && basename(path) !== \"design.md\")) {\n    blockers.push({\n      code: \"openspec.nonstandard-living-spec\",\n      path: portable(root, file),\n      message: \"Markdown under specs/ is named neither spec.md nor design.md, so no capability reads it.\",\n      scope: \"living\",\n    });\n  }\n  for (const specFile of livingFiles) {\n    const id = portable(specsRoot, dirname(specFile));\n    const inspected = await inspectSpecFile(ingest, specFile, \"living\", null);\n    livingRequirements.set(id, inspected.requirements);\n    const capability = { id, files: [inspected.path], ...inspected.counts };\n    capabilities.push(capability);\n    addCounts(livingCounts, inspected.counts);\n  }\n  capabilities.sort((a, b) => compareIds(a.id, b.id));\n\n  const activeIds = (await subdirs(changesRoot)).filter((id) => id !== \"archive\");\n  const archiveRoot = join(changesRoot, \"archive\");\n  const archivedIds = await subdirs(archiveRoot);\n  for (const id of await hiddenSubdirs(changesRoot)) {\n    blockers.push({\n      code: \"openspec.hidden-change-directory\",\n      path: portable(root, join(changesRoot, id)),\n      message: \"A dot-prefixed change directory is not enumerated as a change, so nothing under it is migrated; rename it or move it out of changes/.\",\n      scope: \"active\",\n    });\n  }\n  for (const id of await hiddenSubdirs(archiveRoot)) {\n    archiveDiagnostics.push({\n      code: \"openspec.hidden-change-directory\",\n      path: portable(root, join(archiveRoot, id)),\n      message: \"A dot-prefixed archive directory is not enumerated as a change; frozen history is retained read-only where it is.\",\n      scope: \"archive\",\n    });\n  }\n  const fallbackSchema = config?.schema ?? \"spec-driven\";\n  const active = await inventoryChanges(ingest, {\n    base: changesRoot,\n    ids: activeIds,\n    scope: \"active\",\n    fallbackSchema,\n    findings: blockers,\n  });\n  const archived = await inventoryChanges(ingest, {\n    base: archiveRoot,\n    ids: archivedIds,\n    scope: \"archive\",\n    fallbackSchema,\n    findings: archiveDiagnostics,\n  });\n\n  // Last-resort backstop under the whole \"audited past the corpus\" family, and\n  // the one check that does not depend on root selection being right: an\n  // inventory that read no living spec AND no active change describes nothing,\n  // so no verdict over it can be `ready`. That is exactly the shape the Store\n  // misdetection produced — ready, mechanically compatible, zero capabilities,\n  // zero unsupported shapes — where the failure verdict was more confident than\n  // any success verdict. A greenfield workspace whose only requirements live\n  // under changes/ has an active change and is not caught here.\n  if (livingCounts.specFiles === 0 && active.length === 0) {\n    blockers.push({\n      code: \"openspec.workspace-empty\",\n      path: \".\",\n      message: `Planning root ${root} holds no living spec and no active change; there is nothing to migrate, so confirm this is the directory that really holds the corpus.`,\n      scope: \"workspace\",\n    });\n  }\n\n  const artifactFiles = (await walkTree(root)).files;\n  if (storeMetadataExists && !storeMetadataSymlink && !artifactFiles.includes(storeMetadata)) {\n    artifactFiles.push(storeMetadata);\n  }\n  for (const absolute of artifactFiles) {\n    const bytes = await readFile(absolute);\n    if (isUtf8(bytes)) continue;\n    const rootPath = portable(root, absolute);\n    const artifactPath = sourceInventoryPath(root, absolute);\n    const scope = absolute === storeMetadata ? \"workspace\" : artifactScope(rootPath);\n    issue(scope === \"archive\" ? archiveDiagnostics : blockers, scope, {\n      code: \"openspec.non-utf8-artifact\",\n      path: artifactPath,\n      message: \"Migration can preserve only valid UTF-8 authored artifacts; convert this file to UTF-8 before apply.\",\n    });\n  }\n  // The digest binds a mapping to the truth it was reviewed against, and frozen\n  // archive history is neither migrated nor allowed to block readiness. Covering\n  // it meant a colleague's typo fix under changes/archive/ killed a completed\n  // mapping, with no --force and no indication of which file moved.\n  const inventoryDigest = await digestInventory(\n    root,\n    artifactFiles.filter((absolute) => artifactScope(portable(root, absolute)) !== \"archive\"),\n  );\n  const artifacts = artifactFiles\n    .map((path) => artifactFor(root, path))\n    .sort((a, b) => compareIds(a.path, b.path));\n\n  const { mappingIssues, mappingDecisions, changeDecisions, routing } = capabilityDecisions({\n    root,\n    mapping,\n    // An audit grades no source binding: there is no mapping to bind yet.\n    bound: options.mapping !== undefined,\n    inventoryDigest,\n    livingRequirements,\n    active,\n    renamed,\n  });\n  resolveRenames(\n    { root, mapping, bound: options.mapping !== undefined, inventoryDigest, livingRequirements, active, renamed },\n    routing,\n    mappingIssues,\n  );\n  const artifactDecisions = artifactDispositions(\n    artifacts,\n    mapping,\n    new Set(active.map((change) => change.id)),\n    mappingIssues,\n  );\n\n  return inventoryVerdict({\n    located,\n    inventoryDigest,\n    config,\n    storeMetadataPath: storeMetadataExists ? sourceInventoryPath(root, storeMetadata) : null,\n    livingCounts,\n    capabilities,\n    active,\n    archived,\n    renamed,\n    blockers,\n    archiveDiagnostics,\n    artifacts,\n    mappingDecisions,\n    changeDecisions,\n    mappingIssues,\n    artifactDecisions,\n  });\n}\n"]}