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

package/dist/core/openspec/scan/shape.js

@@ -12,8 +12,9 @@
  */
 import { readFile } from "node:fs/promises";
 import { ownValue } from "../../kernel/records.js";
+import { fenceTracker } from "../../kernel/fences.js";
 import { isRequirementsHeading, parseRequirements, sectionHeadings } from "../../document/parse.js";
-import { requirementIdProblems } from "../../document/spec.js";
+import { KIND_RE, requirementIdProblems } from "../../document/spec.js";
 import {} from "./workspace.js";
 import { portable } from "./walk.js";
 import {} from "../model/model.js";
@@ -28,37 +29,76 @@ export function addCounts(target, source) {
     target.requirements += source.requirements;
     target.scenarios += source.scenarios;
 }
+/**
+ * An ATX heading's optional closing run — `### Requirement: Foo ###` renders as
+ * `Foo`, so the run is not part of the name (OpenSpec 1.13.1 strips it the same
+ * way). Only a run after a space or tab closes a heading, so `C#` keeps its `#`.
+ */
+const CLOSING_HASHES = /[ \t]+#+[ \t]*$/;
+/** A REMOVED entry written as a bullet carrying the heading — any CommonMark marker. */
+const REMOVED_BULLET = /^\s*[-*+]\s*`?###\s*Requirement:\s*(.+?)`?\s*$/;
 export function cleanRenameName(value) {
     return value
         .trim()
         .replace(/^`|`$/g, "")
         .replace(/^###\s+Requirement:\s*/i, "")
+        .replace(CLOSING_HASHES, "")
         .trim();
 }
+/**
+ * OpenSpec's requirement grammar, as `parseRequirements` reads it. The two read
+ * the same Markdown except where OpenSpec accepts more, and every OpenSpec
+ * read in the migration goes through here so audit and `--apply` cannot
+ * disagree about a name:
+ *
+ * - a closing `#` run on a `### Requirement:` / `#### Scenario:` heading is
+ *   dropped. Kept, a living `### Requirement: Invoice totals ###` audited
+ *   "ready", staged under the name `Invoice totals ###`, and the change's
+ *   MODIFIED `Invoice totals` then failed `loam validate` as
+ *   `delta.modified-unknown` with a "Did you mean ADDED?" that sent the author
+ *   the wrong way.
+ * - a `## REMOVED Requirements` list of bullets (`-`, `*` or `+`) each naming
+ *   a requirement heading reads as that heading. v1.9.0 already accepted the
+ *   `-` list and 1.13.0 added the other two markers; loam read neither, so a
+ *   removal-only change was `openspec.change-empty`.
+ *
+ * A line-for-line rewrite, never a reflow, so every line number a finding
+ * cites still points at the author's file — and loam's own parser is not
+ * touched: a closing run in a loam document is the author's to keep.
+ */
+export function openspecRequirements(raw) {
+    const lines = raw.replace(/^\uFEFF/, "").split(/\r?\n/);
+    const fenced = fencedLines(lines);
+    let removed = false;
+    const rewritten = lines.map((line, index) => {
+        if (fenced[index] === true)
+            return line;
+        if (/^##\s+/.test(line) && !line.startsWith("###"))
+            removed = KIND_RE.exec(line)?.[1]?.toUpperCase() === "REMOVED";
+        const bullet = removed ? REMOVED_BULLET.exec(line) : null;
+        const heading = bullet === null ? line : `### Requirement: ${bullet[1]}`;
+        return /^(###\s+Requirement:|####\s+Scenario:)/.test(heading) ? heading.replace(CLOSING_HASHES, "") : heading;
+    });
+    return parseRequirements(rewritten.join("\n"));
+}
 export function changeSpecCoordinates(path, scope) {
     const prefix = scope === "active" ? /^changes\/([^/]+)\/specs\/(.+)\/spec\.md$/ : /^changes\/archive\/([^/]+)\/specs\/(.+)\/spec\.md$/;
     const match = prefix.exec(path);
     return { changeId: match?.[1] ?? "", capability: match?.[2] ?? "" };
 }
 /**
- * Which lines are fenced content, marker included \u2014 the same rule
- * `parseRequirements` and `sectionHeadings` apply, which spec.ts keeps private.
+ * Which lines are fenced content, marker included — the same rule
+ * `parseRequirements` and `sectionHeadings` apply, read from the one place it
+ * is spelled (`core/kernel/fences.ts`). This used to be a private copy of it,
+ * written while the rule still lived inside the parser module; a second copy is
+ * how two walks of one file come to disagree about where a fence ends.
  * Without it a FROM/TO line inside a fenced example of the rename syntax became
  * a phantom pair, and the only cure was editing the OpenSpec source migration
  * promises never to touch.
  */
 export function fencedLines(lines) {
-    let fence = null;
-    return lines.map((line) => {
-        const marker = /^\s*(```|~~~)/.exec(line);
-        if (marker === null)
-            return fence !== null;
-        if (fence === null)
-            fence = marker[1];
-        else if (fence === marker[1])
-            fence = null;
-        return true;
-    });
+    const fenced = fenceTracker();
+    return lines.map((line) => fenced(line));
 }
 export function renameUsages(path, raw, scope, mapped) {
     const lines = raw.replace(/^\uFEFF/, "").split(/\r?\n/);
@@ -76,14 +116,18 @@ export function renameUsages(path, raw, scope, mapped) {
             if (fenced[line] === true)
                 continue;
             const text = lines[line] ?? "";
-            const from = /^\s*-\s*FROM:\s*(.*?)\s*$/i.exec(text);
+            // The bullet is optional and any CommonMark marker counts, as in
+            // OpenSpec since 1.13.0 (v1.9.0 already took a bare `FROM:`): a `*`
+            // pair used to read as no pair at all, `openspec.renamed-malformed`
+            // saying "must contain a FROM/TO pair" about a section that had one.
+            const from = /^\s*[-*+]?\s*FROM:\s*(.*?)\s*$/i.exec(text);
             if (from !== null) {
                 if (pendingFrom !== null)
                     pairs.push({ from: pendingFrom, to: null });
                 pendingFrom = cleanRenameName(from[1] ?? "");
                 continue;
             }
-            const to = /^\s*-\s*TO:\s*(.*?)\s*$/i.exec(text);
+            const to = /^\s*[-*+]?\s*TO:\s*(.*?)\s*$/i.exec(text);
             if (to !== null) {
                 pairs.push({ from: pendingFrom, to: cleanRenameName(to[1] ?? "") });
                 pendingFrom = null;
@@ -125,7 +169,7 @@ export function issue(target, scope, finding) {
     target.push({ ...finding, scope });
 }
 export function inspectLivingShape(path, raw, unsupported) {
-    const requirements = parseRequirements(raw);
+    const requirements = openspecRequirements(raw);
     if (requirements.length === 0) {
         issue(unsupported, "living", {
             code: "openspec.living-empty",
@@ -152,7 +196,7 @@ export function inspectLivingShape(path, raw, unsupported) {
 }
 export function inspectChangeShape(unsupported, path, raw, found) {
     const { scope, renames } = found;
-    const requirements = parseRequirements(raw);
+    const requirements = openspecRequirements(raw);
     const fileRenames = renames.filter((rename) => rename.path === path);
     for (const rename of fileRenames) {
         if (rename.from === null || rename.from === "" || rename.to === null || rename.to === "") {
@@ -220,7 +264,7 @@ export async function inspectSpecFile(ingest, absolute, kind, scope) {
     const { root, mapping, renamed, unsupported } = ingest;
     const path = portable(root, absolute);
     const raw = await readFile(absolute, "utf8");
-    const requirements = parseRequirements(raw);
+    const requirements = openspecRequirements(raw);
     const counts = { specFiles: 1, ...countsFor(requirements) };
     const issueScope = kind === "living" ? "living" : scope ?? "active";
     for (const problem of requirementIdProblems(requirements)) {

package/dist/core/openspec/scan/shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../../../src/core/openspec/scan/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AACpG,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAe,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAKN,MAAM,mBAAmB,CAAC;AAE3B,MAAM,UAAU,SAAS,CAAC,YAAkD;IAC1E,OAAO;QACL,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,SAAS,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAsB,EAAE,MAAsB;IACtE,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC;IACrC,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC3C,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,KAAK;SACT,IAAI,EAAE;SACN,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC;SACtC,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,KAA2B;IAE3B,MAAM,MAAM,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,oDAAoD,CAAC;IACvI,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,KAAe;IACzC,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,KAAK,KAAK,IAAI,CAAC;QAC3C,IAAI,KAAK,KAAK,IAAI;YAAE,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;aAClC,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAE;YAAE,KAAK,GAAG,IAAI,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,GAAW,EACX,KAA2B,EAC3B,MAA8B;IAE9B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACzD,IAAI,CAAC,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACjE,MAAM,KAAK,GAAsD,EAAE,CAAC;QACpE,IAAI,WAAW,GAAkB,IAAI,CAAC;QACtC,KAAK,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,SAAS;YACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,IAAI,WAAW,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACtE,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7C,SAAS;YACX,CAAC;YACD,MAAM,EAAE,GAAG,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpE,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;QACD,IAAI,WAAW,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAChC,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC;gBACV,GAAG;gBACH,IAAI;gBACJ,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,KAAK;gBACL,QAAQ,EAAE,WAAW,CAAC,QAAQ;gBAC9B,UAAU,EAAE,WAAW,CAAC,UAAU;gBAClC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,qBAAqB,EAAE,IAAI;gBAC3B,aAAa;gBACb,MAAM,EAAE,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ;aAC5D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CACnB,MAAkC,EAClC,KAAyB,EACzB,OAAwD;IAExD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,GAAW,EACX,WAAuC;IAEvC,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,uBAAuB;YAC7B,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,oDAAoD;SAC9D,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CACjC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,CAClG,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,8CAA8C;YACpD,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,oEAAoE;SAC/F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,+BAA+B;YACrC,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,+CAA+C;SACzD,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,WAAuC,EACvC,IAAY,EACZ,GAAW,EACX,KAAuE;IAEvE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACjC,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACrE,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI,IAAI,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACzF,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;gBACxB,IAAI,EAAE,4BAA4B;gBAClC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,gCAAgC,MAAM,CAAC,IAAI,+BAA+B;aACpF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,4EAA4E;QAC5E,yDAAyD;QACzD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;gBACxB,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,oDAAoD;aAC9D,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IACD,uEAAuE;IACvE,+EAA+E;IAC/E,4EAA4E;IAC5E,+EAA+E;IAC/E,+DAA+D;IAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;WACvC,WAAW,CAAC,OAAO,KAAK,SAAS;WACjC,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,CAChD,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,qCAAqC;YAC3C,IAAI;YACJ,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,oIAAoI;YAC7J,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAClC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;WACvC,CAAC,WAAW,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CACxF,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QAC5C,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;YACxB,IAAI,EAAE,wCAAwC;YAC9C,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,oHAAoH;SAC9H,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;YACxB,IAAI,EAAE,qDAAqD;YAC3D,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,GAAG,QAAQ,CAAC,MAAM,2DAA2D;SACvF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAAc,EACd,QAAgB,EAChB,IAAyB,EACzB,KAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;IACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;IAC5D,MAAM,UAAU,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC;IACpE,KAAK,MAAM,OAAO,IAAI,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE;gBAC7B,IAAI,EAAE,iCAAiC;gBACvC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,gBAAgB,OAAO,CAAC,WAAW,iCAAiC,OAAO,CAAC,KAAK,uCAAuC;aAClI,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACvC,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE;gBAC7B,IAAI,EAAE,kCAAkC;gBACxC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,gBAAgB,OAAO,CAAC,WAAW,6BAA6B,OAAO,CAAC,MAAM,CAAC,MAAM,yCAAyC;aACxI,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE;gBAC7B,IAAI,EAAE,mCAAmC;gBACzC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,mBAAmB,OAAO,CAAC,EAAE,kBAAkB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aACtH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,MAAM,WAAW,GAAG,KAAK,IAAI,QAAQ,CAAC;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QACxB,kBAAkB,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACxC,CAAC","sourcesContent":["/**\n * Is this document a shape loam can migrate?\n *\n * The living side and the change side are graded separately because they fail\n * differently: a living spec that will not parse is a corpus loam cannot read,\n * while a change spec carries RENAMED pairs, which are the one OpenSpec\n * construct with no loam equivalent and the reason this package has an identity\n * problem to solve at all.\n *\n * Nothing here decides anything — it appends findings to the `Ingest` it was\n * given. The decisions are in `../decide/`.\n */\nimport { readFile } from \"node:fs/promises\";\nimport { ownValue } from \"../../kernel/records.js\";\nimport { isRequirementsHeading, parseRequirements, sectionHeadings } from \"../../document/parse.js\";\nimport { requirementIdProblems } from \"../../document/spec.js\";\nimport { type Ingest } from \"./workspace.js\";\nimport { portable } from \"./walk.js\";\nimport {\n  type OpenSpecCounts,\n  type OpenSpecRenamedUsage,\n  type OpenSpecUnsupportedShape,\n  type OpenSpecIssueScope,\n} from \"../model/model.js\";\n\nexport function countsFor(requirements: ReturnType<typeof parseRequirements>): Omit<OpenSpecCounts, \"specFiles\"> {\n  return {\n    requirements: requirements.length,\n    scenarios: requirements.reduce((sum, requirement) => sum + requirement.scenarios.length, 0),\n  };\n}\n\nexport function addCounts(target: OpenSpecCounts, source: OpenSpecCounts): void {\n  target.specFiles += source.specFiles;\n  target.requirements += source.requirements;\n  target.scenarios += source.scenarios;\n}\n\nexport function cleanRenameName(value: string): string {\n  return value\n    .trim()\n    .replace(/^`|`$/g, \"\")\n    .replace(/^###\\s+Requirement:\\s*/i, \"\")\n    .trim();\n}\n\nexport function changeSpecCoordinates(\n  path: string,\n  scope: \"active\" | \"archive\",\n): { changeId: string; capability: string } {\n  const prefix = scope === \"active\" ? /^changes\\/([^/]+)\\/specs\\/(.+)\\/spec\\.md$/ : /^changes\\/archive\\/([^/]+)\\/specs\\/(.+)\\/spec\\.md$/;\n  const match = prefix.exec(path);\n  return { changeId: match?.[1] ?? \"\", capability: match?.[2] ?? \"\" };\n}\n\n/**\n * Which lines are fenced content, marker included \\u2014 the same rule\n * `parseRequirements` and `sectionHeadings` apply, which spec.ts keeps private.\n * Without it a FROM/TO line inside a fenced example of the rename syntax became\n * a phantom pair, and the only cure was editing the OpenSpec source migration\n * promises never to touch.\n */\nexport function fencedLines(lines: string[]): boolean[] {\n  let fence: string | null = null;\n  return lines.map((line) => {\n    const marker = /^\\s*(```|~~~)/.exec(line);\n    if (marker === null) return fence !== null;\n    if (fence === null) fence = marker[1]!;\n    else if (fence === marker[1]!) fence = null;\n    return true;\n  });\n}\n\nexport function renameUsages(\n  path: string,\n  raw: string,\n  scope: \"active\" | \"archive\",\n  mapped: Record<string, string>,\n): OpenSpecRenamedUsage[] {\n  const lines = raw.replace(/^\\uFEFF/, \"\").split(/\\r?\\n/);\n  const fenced = fencedLines(lines);\n  const headings = sectionHeadings(raw);\n  const coordinates = changeSpecCoordinates(path, scope);\n  const output: OpenSpecRenamedUsage[] = [];\n  for (const [headingIndex, heading] of headings.entries()) {\n    if (!/^##\\s+RENAMED\\s+Requirements?\\s*:?\\s*$/i.test(heading.text)) continue;\n    const end = headings[headingIndex + 1]?.line ?? lines.length + 1;\n    const pairs: Array<{ from: string | null; to: string | null }> = [];\n    let pendingFrom: string | null = null;\n    for (let line = heading.line; line < end - 1; line += 1) {\n      if (fenced[line] === true) continue;\n      const text = lines[line] ?? \"\";\n      const from = /^\\s*-\\s*FROM:\\s*(.*?)\\s*$/i.exec(text);\n      if (from !== null) {\n        if (pendingFrom !== null) pairs.push({ from: pendingFrom, to: null });\n        pendingFrom = cleanRenameName(from[1] ?? \"\");\n        continue;\n      }\n      const to = /^\\s*-\\s*TO:\\s*(.*?)\\s*$/i.exec(text);\n      if (to !== null) {\n        pairs.push({ from: pendingFrom, to: cleanRenameName(to[1] ?? \"\") });\n        pendingFrom = null;\n      }\n    }\n    if (pendingFrom !== null) pairs.push({ from: pendingFrom, to: null });\n    if (pairs.length === 0) pairs.push({ from: null, to: null });\n    pairs.forEach((pair, pairIndex) => {\n      const key = `${path}:${heading.line}:${pairIndex + 1}`;\n      const requirementId = ownValue(mapped, key) ?? null;\n      output.push({\n        key,\n        path,\n        line: heading.line,\n        scope,\n        changeId: coordinates.changeId,\n        capability: coordinates.capability,\n        from: pair.from,\n        to: pair.to,\n        existingRequirementId: null,\n        requirementId,\n        status: requirementId === null ? \"needsIdentity\" : \"mapped\",\n      });\n    });\n  }\n  return output;\n}\n\n/**\n * Record one shape loam cannot migrate.\n *\n * The finding is a record rather than three positional strings because code,\n * path and message are all strings and nothing but their order distinguished\n * them — two of the three were transposed at a call site once, and the report\n * named the message as the path.\n */\nexport function issue(\n  target: OpenSpecUnsupportedShape[],\n  scope: OpenSpecIssueScope,\n  finding: { code: string; path: string; message: string },\n): void {\n  target.push({ ...finding, scope });\n}\n\nexport function inspectLivingShape(\n  path: string,\n  raw: string,\n  unsupported: OpenSpecUnsupportedShape[],\n): void {\n  const requirements = parseRequirements(raw);\n  if (requirements.length === 0) {\n    issue(unsupported, \"living\", {\n      code: \"openspec.living-empty\",\n      path: path,\n      message: \"Living spec has no parseable Requirement headings.\",\n    });\n    return;\n  }\n  const outside = requirements.filter(\n    (requirement) => requirement.section === undefined || !isRequirementsHeading(requirement.section),\n  );\n  if (outside.length > 0) {\n    issue(unsupported, \"living\", {\n      code: \"openspec.living-requirements-outside-section\",\n      path: path,\n      message: `${outside.length} requirement(s) are outside the canonical ## Requirements section.`,\n    });\n  }\n  if (requirements.some((requirement) => requirement.kind !== \"BASE\")) {\n    issue(unsupported, \"living\", {\n      code: \"openspec.living-delta-section\",\n      path: path,\n      message: \"Living spec contains delta-kind requirements.\",\n    });\n  }\n}\n\nexport function inspectChangeShape(\n  unsupported: OpenSpecUnsupportedShape[],\n  path: string,\n  raw: string,\n  found: { scope: \"active\" | \"archive\"; renames: OpenSpecRenamedUsage[] },\n): void {\n  const { scope, renames } = found;\n  const requirements = parseRequirements(raw);\n  const fileRenames = renames.filter((rename) => rename.path === path);\n  for (const rename of fileRenames) {\n    if (rename.from === null || rename.from === \"\" || rename.to === null || rename.to === \"\") {\n      issue(unsupported, scope, {\n        code: \"openspec.renamed-malformed\",\n        path: path,\n        message: `RENAMED Requirements at line ${rename.line} must contain a FROM/TO pair.`,\n      });\n    }\n  }\n  if (requirements.length === 0) {\n    // A well-formed rename-only delta is meaningful even though the requirement\n    // parser correctly returns no requirement blocks for it.\n    if (fileRenames.length === 0) {\n      issue(unsupported, scope, {\n        code: \"openspec.change-empty\",\n        path: path,\n        message: \"Change spec has no parseable Requirement headings.\",\n      });\n    }\n    return;\n  }\n  // `## Requirements` is the heading OpenSpec's own living-spec template\n  // mandates, so this is the shape a team produces by copying a living spec into\n  // a change directory. It parses, it is counted, and nothing routes it: only\n  // delta-kind requirements reach the staged feature. Blocking is what keeps the\n  // per-change counters and what actually lands the same number.\n  const quoted = requirements.filter(\n    (requirement) => requirement.kind === \"BASE\"\n      && requirement.section !== undefined\n      && isRequirementsHeading(requirement.section),\n  );\n  if (quoted.length > 0) {\n    unsupported.push({\n      code: \"openspec.change-quoted-requirements\",\n      path,\n      message: `${quoted.length} requirement(s) sit under ## Requirements in a change delta, which stages nothing; re-home them under ADDED, MODIFIED, or REMOVED.`,\n      scope,\n    });\n  }\n  const stranded = requirements.filter(\n    (requirement) => requirement.kind === \"BASE\"\n      && (requirement.section === undefined || !isRequirementsHeading(requirement.section)),\n  );\n  if (stranded.length === requirements.length) {\n    issue(unsupported, scope, {\n      code: \"openspec.change-without-delta-sections\",\n      path: path,\n      message: \"Change requirements are not under ADDED, MODIFIED, REMOVED, or the explicitly non-merging ## Requirements section.\",\n    });\n  } else if (stranded.length > 0) {\n    issue(unsupported, scope, {\n      code: \"openspec.change-requirements-outside-delta-sections\",\n      path: path,\n      message: `${stranded.length} requirement(s) would be stranded outside delta sections.`,\n    });\n  }\n}\n\n/**\n * The parsed requirements come back with the counts because both callers wanted\n * them and each opened the file a second time to get its own copy — two reads\n * of the same bytes per spec.md, and two readings of it: the counts came from\n * this parse while the requirement names, and the living corpus every rename is\n * resolved against, came from the other. A file edited mid-audit could be\n * counted from one of them and routed from the other.\n */\nexport async function inspectSpecFile(\n  ingest: Ingest,\n  absolute: string,\n  kind: \"living\" | \"change\",\n  scope: \"active\" | \"archive\" | null,\n): Promise<{ path: string; counts: OpenSpecCounts; requirements: ReturnType<typeof parseRequirements> }> {\n  const { root, mapping, renamed, unsupported } = ingest;\n  const path = portable(root, absolute);\n  const raw = await readFile(absolute, \"utf8\");\n  const requirements = parseRequirements(raw);\n  const counts = { specFiles: 1, ...countsFor(requirements) };\n  const issueScope = kind === \"living\" ? \"living\" : scope ?? \"active\";\n  for (const problem of requirementIdProblems(requirements)) {\n    if (problem.kind === \"invalid\") {\n      issue(unsupported, issueScope, {\n        code: \"openspec.requirement-id-invalid\",\n        path: path,\n        message: `Requirement '${problem.requirement}' has invalid Requirement-ID '${problem.value}'; use [A-Za-z][A-Za-z0-9._-]{0,127}.`,\n      });\n    } else if (problem.kind === \"repeated\") {\n      issue(unsupported, issueScope, {\n        code: \"openspec.requirement-id-repeated\",\n        path: path,\n        message: `Requirement '${problem.requirement}' declares Requirement-ID ${problem.values.length} times; keep exactly one identity line.`,\n      });\n    } else {\n      issue(unsupported, issueScope, {\n        code: \"openspec.requirement-id-duplicate\",\n        path: path,\n        message: `Requirement-ID '${problem.id}' is shared by ${problem.requirements.map((name) => `'${name}'`).join(\", \")}.`,\n      });\n    }\n  }\n  if (kind === \"living\") {\n    inspectLivingShape(path, raw, unsupported);\n  } else {\n    const changeScope = scope ?? \"active\";\n    const usages = renameUsages(path, raw, changeScope, mapping.renames);\n    renamed.push(...usages);\n    inspectChangeShape(unsupported, path, raw, { scope: changeScope, renames: usages });\n  }\n  return { path, counts, requirements };\n}\n"]}
+{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../../../src/core/openspec/scan/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AACpG,OAAO,EAAE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAe,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAKN,MAAM,mBAAmB,CAAC;AAE3B,MAAM,UAAU,SAAS,CAAC,YAAkD;IAC1E,OAAO;QACL,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,SAAS,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAsB,EAAE,MAAsB;IACtE,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC;IACrC,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC3C,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAEzC,wFAAwF;AACxF,MAAM,cAAc,GAAG,gDAAgD,CAAC;AAExE,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,KAAK;SACT,IAAI,EAAE;SACN,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC;SACtC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;SAC3B,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC1C,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACxC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,SAAS,CAAC;QACnH,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,MAAM,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC;QAC1E,OAAO,wCAAwC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAChH,CAAC,CAAC,CAAC;IACH,OAAO,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,KAA2B;IAE3B,MAAM,MAAM,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,oDAAoD,CAAC;IACvI,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,KAAe;IACzC,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,GAAW,EACX,KAA2B,EAC3B,MAA8B;IAE9B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACzD,IAAI,CAAC,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACjE,MAAM,KAAK,GAAsD,EAAE,CAAC;QACpE,IAAI,WAAW,GAAkB,IAAI,CAAC;QACtC,KAAK,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,SAAS;YACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC/B,iEAAiE;YACjE,oEAAoE;YACpE,oEAAoE;YACpE,qEAAqE;YACrE,MAAM,IAAI,GAAG,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,IAAI,WAAW,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACtE,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7C,SAAS;YACX,CAAC;YACD,MAAM,EAAE,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpE,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;QACD,IAAI,WAAW,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAChC,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC;gBACV,GAAG;gBACH,IAAI;gBACJ,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,KAAK;gBACL,QAAQ,EAAE,WAAW,CAAC,QAAQ;gBAC9B,UAAU,EAAE,WAAW,CAAC,UAAU;gBAClC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,qBAAqB,EAAE,IAAI;gBAC3B,aAAa;gBACb,MAAM,EAAE,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ;aAC5D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CACnB,MAAkC,EAClC,KAAyB,EACzB,OAAwD;IAExD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,GAAW,EACX,WAAuC;IAEvC,MAAM,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,uBAAuB;YAC7B,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,oDAAoD;SAC9D,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CACjC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,CAClG,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,8CAA8C;YACpD,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,oEAAoE;SAC/F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,+BAA+B;YACrC,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,+CAA+C;SACzD,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,WAAuC,EACvC,IAAY,EACZ,GAAW,EACX,KAAuE;IAEvE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACjC,MAAM,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACrE,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI,IAAI,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACzF,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;gBACxB,IAAI,EAAE,4BAA4B;gBAClC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,gCAAgC,MAAM,CAAC,IAAI,+BAA+B;aACpF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,4EAA4E;QAC5E,yDAAyD;QACzD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;gBACxB,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,oDAAoD;aAC9D,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IACD,uEAAuE;IACvE,+EAA+E;IAC/E,4EAA4E;IAC5E,+EAA+E;IAC/E,+DAA+D;IAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;WACvC,WAAW,CAAC,OAAO,KAAK,SAAS;WACjC,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,CAChD,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,qCAAqC;YAC3C,IAAI;YACJ,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,oIAAoI;YAC7J,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAClC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;WACvC,CAAC,WAAW,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CACxF,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QAC5C,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;YACxB,IAAI,EAAE,wCAAwC;YAC9C,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,oHAAoH;SAC9H,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE;YACxB,IAAI,EAAE,qDAAqD;YAC3D,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,GAAG,QAAQ,CAAC,MAAM,2DAA2D;SACvF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAAc,EACd,QAAgB,EAChB,IAAyB,EACzB,KAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;IACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;IAC5D,MAAM,UAAU,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC;IACpE,KAAK,MAAM,OAAO,IAAI,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE;gBAC7B,IAAI,EAAE,iCAAiC;gBACvC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,gBAAgB,OAAO,CAAC,WAAW,iCAAiC,OAAO,CAAC,KAAK,uCAAuC;aAClI,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACvC,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE;gBAC7B,IAAI,EAAE,kCAAkC;gBACxC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,gBAAgB,OAAO,CAAC,WAAW,6BAA6B,OAAO,CAAC,MAAM,CAAC,MAAM,yCAAyC;aACxI,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE;gBAC7B,IAAI,EAAE,mCAAmC;gBACzC,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,mBAAmB,OAAO,CAAC,EAAE,kBAAkB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aACtH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,MAAM,WAAW,GAAG,KAAK,IAAI,QAAQ,CAAC;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QACxB,kBAAkB,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACxC,CAAC","sourcesContent":["/**\n * Is this document a shape loam can migrate?\n *\n * The living side and the change side are graded separately because they fail\n * differently: a living spec that will not parse is a corpus loam cannot read,\n * while a change spec carries RENAMED pairs, which are the one OpenSpec\n * construct with no loam equivalent and the reason this package has an identity\n * problem to solve at all.\n *\n * Nothing here decides anything — it appends findings to the `Ingest` it was\n * given. The decisions are in `../decide/`.\n */\nimport { readFile } from \"node:fs/promises\";\nimport { ownValue } from \"../../kernel/records.js\";\nimport { fenceTracker } from \"../../kernel/fences.js\";\nimport { isRequirementsHeading, parseRequirements, sectionHeadings } from \"../../document/parse.js\";\nimport { KIND_RE, requirementIdProblems } from \"../../document/spec.js\";\nimport { type Ingest } from \"./workspace.js\";\nimport { portable } from \"./walk.js\";\nimport {\n  type OpenSpecCounts,\n  type OpenSpecRenamedUsage,\n  type OpenSpecUnsupportedShape,\n  type OpenSpecIssueScope,\n} from \"../model/model.js\";\n\nexport function countsFor(requirements: ReturnType<typeof parseRequirements>): Omit<OpenSpecCounts, \"specFiles\"> {\n  return {\n    requirements: requirements.length,\n    scenarios: requirements.reduce((sum, requirement) => sum + requirement.scenarios.length, 0),\n  };\n}\n\nexport function addCounts(target: OpenSpecCounts, source: OpenSpecCounts): void {\n  target.specFiles += source.specFiles;\n  target.requirements += source.requirements;\n  target.scenarios += source.scenarios;\n}\n\n/**\n * An ATX heading's optional closing run — `### Requirement: Foo ###` renders as\n * `Foo`, so the run is not part of the name (OpenSpec 1.13.1 strips it the same\n * way). Only a run after a space or tab closes a heading, so `C#` keeps its `#`.\n */\nconst CLOSING_HASHES = /[ \\t]+#+[ \\t]*$/;\n\n/** A REMOVED entry written as a bullet carrying the heading — any CommonMark marker. */\nconst REMOVED_BULLET = /^\\s*[-*+]\\s*`?###\\s*Requirement:\\s*(.+?)`?\\s*$/;\n\nexport function cleanRenameName(value: string): string {\n  return value\n    .trim()\n    .replace(/^`|`$/g, \"\")\n    .replace(/^###\\s+Requirement:\\s*/i, \"\")\n    .replace(CLOSING_HASHES, \"\")\n    .trim();\n}\n\n/**\n * OpenSpec's requirement grammar, as `parseRequirements` reads it. The two read\n * the same Markdown except where OpenSpec accepts more, and every OpenSpec\n * read in the migration goes through here so audit and `--apply` cannot\n * disagree about a name:\n *\n * - a closing `#` run on a `### Requirement:` / `#### Scenario:` heading is\n *   dropped. Kept, a living `### Requirement: Invoice totals ###` audited\n *   \"ready\", staged under the name `Invoice totals ###`, and the change's\n *   MODIFIED `Invoice totals` then failed `loam validate` as\n *   `delta.modified-unknown` with a \"Did you mean ADDED?\" that sent the author\n *   the wrong way.\n * - a `## REMOVED Requirements` list of bullets (`-`, `*` or `+`) each naming\n *   a requirement heading reads as that heading. v1.9.0 already accepted the\n *   `-` list and 1.13.0 added the other two markers; loam read neither, so a\n *   removal-only change was `openspec.change-empty`.\n *\n * A line-for-line rewrite, never a reflow, so every line number a finding\n * cites still points at the author's file — and loam's own parser is not\n * touched: a closing run in a loam document is the author's to keep.\n */\nexport function openspecRequirements(raw: string): ReturnType<typeof parseRequirements> {\n  const lines = raw.replace(/^\\uFEFF/, \"\").split(/\\r?\\n/);\n  const fenced = fencedLines(lines);\n  let removed = false;\n  const rewritten = lines.map((line, index) => {\n    if (fenced[index] === true) return line;\n    if (/^##\\s+/.test(line) && !line.startsWith(\"###\")) removed = KIND_RE.exec(line)?.[1]?.toUpperCase() === \"REMOVED\";\n    const bullet = removed ? REMOVED_BULLET.exec(line) : null;\n    const heading = bullet === null ? line : `### Requirement: ${bullet[1]!}`;\n    return /^(###\\s+Requirement:|####\\s+Scenario:)/.test(heading) ? heading.replace(CLOSING_HASHES, \"\") : heading;\n  });\n  return parseRequirements(rewritten.join(\"\\n\"));\n}\n\nexport function changeSpecCoordinates(\n  path: string,\n  scope: \"active\" | \"archive\",\n): { changeId: string; capability: string } {\n  const prefix = scope === \"active\" ? /^changes\\/([^/]+)\\/specs\\/(.+)\\/spec\\.md$/ : /^changes\\/archive\\/([^/]+)\\/specs\\/(.+)\\/spec\\.md$/;\n  const match = prefix.exec(path);\n  return { changeId: match?.[1] ?? \"\", capability: match?.[2] ?? \"\" };\n}\n\n/**\n * Which lines are fenced content, marker included — the same rule\n * `parseRequirements` and `sectionHeadings` apply, read from the one place it\n * is spelled (`core/kernel/fences.ts`). This used to be a private copy of it,\n * written while the rule still lived inside the parser module; a second copy is\n * how two walks of one file come to disagree about where a fence ends.\n * Without it a FROM/TO line inside a fenced example of the rename syntax became\n * a phantom pair, and the only cure was editing the OpenSpec source migration\n * promises never to touch.\n */\nexport function fencedLines(lines: string[]): boolean[] {\n  const fenced = fenceTracker();\n  return lines.map((line) => fenced(line));\n}\n\nexport function renameUsages(\n  path: string,\n  raw: string,\n  scope: \"active\" | \"archive\",\n  mapped: Record<string, string>,\n): OpenSpecRenamedUsage[] {\n  const lines = raw.replace(/^\\uFEFF/, \"\").split(/\\r?\\n/);\n  const fenced = fencedLines(lines);\n  const headings = sectionHeadings(raw);\n  const coordinates = changeSpecCoordinates(path, scope);\n  const output: OpenSpecRenamedUsage[] = [];\n  for (const [headingIndex, heading] of headings.entries()) {\n    if (!/^##\\s+RENAMED\\s+Requirements?\\s*:?\\s*$/i.test(heading.text)) continue;\n    const end = headings[headingIndex + 1]?.line ?? lines.length + 1;\n    const pairs: Array<{ from: string | null; to: string | null }> = [];\n    let pendingFrom: string | null = null;\n    for (let line = heading.line; line < end - 1; line += 1) {\n      if (fenced[line] === true) continue;\n      const text = lines[line] ?? \"\";\n      // The bullet is optional and any CommonMark marker counts, as in\n      // OpenSpec since 1.13.0 (v1.9.0 already took a bare `FROM:`): a `*`\n      // pair used to read as no pair at all, `openspec.renamed-malformed`\n      // saying \"must contain a FROM/TO pair\" about a section that had one.\n      const from = /^\\s*[-*+]?\\s*FROM:\\s*(.*?)\\s*$/i.exec(text);\n      if (from !== null) {\n        if (pendingFrom !== null) pairs.push({ from: pendingFrom, to: null });\n        pendingFrom = cleanRenameName(from[1] ?? \"\");\n        continue;\n      }\n      const to = /^\\s*[-*+]?\\s*TO:\\s*(.*?)\\s*$/i.exec(text);\n      if (to !== null) {\n        pairs.push({ from: pendingFrom, to: cleanRenameName(to[1] ?? \"\") });\n        pendingFrom = null;\n      }\n    }\n    if (pendingFrom !== null) pairs.push({ from: pendingFrom, to: null });\n    if (pairs.length === 0) pairs.push({ from: null, to: null });\n    pairs.forEach((pair, pairIndex) => {\n      const key = `${path}:${heading.line}:${pairIndex + 1}`;\n      const requirementId = ownValue(mapped, key) ?? null;\n      output.push({\n        key,\n        path,\n        line: heading.line,\n        scope,\n        changeId: coordinates.changeId,\n        capability: coordinates.capability,\n        from: pair.from,\n        to: pair.to,\n        existingRequirementId: null,\n        requirementId,\n        status: requirementId === null ? \"needsIdentity\" : \"mapped\",\n      });\n    });\n  }\n  return output;\n}\n\n/**\n * Record one shape loam cannot migrate.\n *\n * The finding is a record rather than three positional strings because code,\n * path and message are all strings and nothing but their order distinguished\n * them — two of the three were transposed at a call site once, and the report\n * named the message as the path.\n */\nexport function issue(\n  target: OpenSpecUnsupportedShape[],\n  scope: OpenSpecIssueScope,\n  finding: { code: string; path: string; message: string },\n): void {\n  target.push({ ...finding, scope });\n}\n\nexport function inspectLivingShape(\n  path: string,\n  raw: string,\n  unsupported: OpenSpecUnsupportedShape[],\n): void {\n  const requirements = openspecRequirements(raw);\n  if (requirements.length === 0) {\n    issue(unsupported, \"living\", {\n      code: \"openspec.living-empty\",\n      path: path,\n      message: \"Living spec has no parseable Requirement headings.\",\n    });\n    return;\n  }\n  const outside = requirements.filter(\n    (requirement) => requirement.section === undefined || !isRequirementsHeading(requirement.section),\n  );\n  if (outside.length > 0) {\n    issue(unsupported, \"living\", {\n      code: \"openspec.living-requirements-outside-section\",\n      path: path,\n      message: `${outside.length} requirement(s) are outside the canonical ## Requirements section.`,\n    });\n  }\n  if (requirements.some((requirement) => requirement.kind !== \"BASE\")) {\n    issue(unsupported, \"living\", {\n      code: \"openspec.living-delta-section\",\n      path: path,\n      message: \"Living spec contains delta-kind requirements.\",\n    });\n  }\n}\n\nexport function inspectChangeShape(\n  unsupported: OpenSpecUnsupportedShape[],\n  path: string,\n  raw: string,\n  found: { scope: \"active\" | \"archive\"; renames: OpenSpecRenamedUsage[] },\n): void {\n  const { scope, renames } = found;\n  const requirements = openspecRequirements(raw);\n  const fileRenames = renames.filter((rename) => rename.path === path);\n  for (const rename of fileRenames) {\n    if (rename.from === null || rename.from === \"\" || rename.to === null || rename.to === \"\") {\n      issue(unsupported, scope, {\n        code: \"openspec.renamed-malformed\",\n        path: path,\n        message: `RENAMED Requirements at line ${rename.line} must contain a FROM/TO pair.`,\n      });\n    }\n  }\n  if (requirements.length === 0) {\n    // A well-formed rename-only delta is meaningful even though the requirement\n    // parser correctly returns no requirement blocks for it.\n    if (fileRenames.length === 0) {\n      issue(unsupported, scope, {\n        code: \"openspec.change-empty\",\n        path: path,\n        message: \"Change spec has no parseable Requirement headings.\",\n      });\n    }\n    return;\n  }\n  // `## Requirements` is the heading OpenSpec's own living-spec template\n  // mandates, so this is the shape a team produces by copying a living spec into\n  // a change directory. It parses, it is counted, and nothing routes it: only\n  // delta-kind requirements reach the staged feature. Blocking is what keeps the\n  // per-change counters and what actually lands the same number.\n  const quoted = requirements.filter(\n    (requirement) => requirement.kind === \"BASE\"\n      && requirement.section !== undefined\n      && isRequirementsHeading(requirement.section),\n  );\n  if (quoted.length > 0) {\n    unsupported.push({\n      code: \"openspec.change-quoted-requirements\",\n      path,\n      message: `${quoted.length} requirement(s) sit under ## Requirements in a change delta, which stages nothing; re-home them under ADDED, MODIFIED, or REMOVED.`,\n      scope,\n    });\n  }\n  const stranded = requirements.filter(\n    (requirement) => requirement.kind === \"BASE\"\n      && (requirement.section === undefined || !isRequirementsHeading(requirement.section)),\n  );\n  if (stranded.length === requirements.length) {\n    issue(unsupported, scope, {\n      code: \"openspec.change-without-delta-sections\",\n      path: path,\n      message: \"Change requirements are not under ADDED, MODIFIED, REMOVED, or the explicitly non-merging ## Requirements section.\",\n    });\n  } else if (stranded.length > 0) {\n    issue(unsupported, scope, {\n      code: \"openspec.change-requirements-outside-delta-sections\",\n      path: path,\n      message: `${stranded.length} requirement(s) would be stranded outside delta sections.`,\n    });\n  }\n}\n\n/**\n * The parsed requirements come back with the counts because both callers wanted\n * them and each opened the file a second time to get its own copy — two reads\n * of the same bytes per spec.md, and two readings of it: the counts came from\n * this parse while the requirement names, and the living corpus every rename is\n * resolved against, came from the other. A file edited mid-audit could be\n * counted from one of them and routed from the other.\n */\nexport async function inspectSpecFile(\n  ingest: Ingest,\n  absolute: string,\n  kind: \"living\" | \"change\",\n  scope: \"active\" | \"archive\" | null,\n): Promise<{ path: string; counts: OpenSpecCounts; requirements: ReturnType<typeof parseRequirements> }> {\n  const { root, mapping, renamed, unsupported } = ingest;\n  const path = portable(root, absolute);\n  const raw = await readFile(absolute, \"utf8\");\n  const requirements = openspecRequirements(raw);\n  const counts = { specFiles: 1, ...countsFor(requirements) };\n  const issueScope = kind === \"living\" ? \"living\" : scope ?? \"active\";\n  for (const problem of requirementIdProblems(requirements)) {\n    if (problem.kind === \"invalid\") {\n      issue(unsupported, issueScope, {\n        code: \"openspec.requirement-id-invalid\",\n        path: path,\n        message: `Requirement '${problem.requirement}' has invalid Requirement-ID '${problem.value}'; use [A-Za-z][A-Za-z0-9._-]{0,127}.`,\n      });\n    } else if (problem.kind === \"repeated\") {\n      issue(unsupported, issueScope, {\n        code: \"openspec.requirement-id-repeated\",\n        path: path,\n        message: `Requirement '${problem.requirement}' declares Requirement-ID ${problem.values.length} times; keep exactly one identity line.`,\n      });\n    } else {\n      issue(unsupported, issueScope, {\n        code: \"openspec.requirement-id-duplicate\",\n        path: path,\n        message: `Requirement-ID '${problem.id}' is shared by ${problem.requirements.map((name) => `'${name}'`).join(\", \")}.`,\n      });\n    }\n  }\n  if (kind === \"living\") {\n    inspectLivingShape(path, raw, unsupported);\n  } else {\n    const changeScope = scope ?? \"active\";\n    const usages = renameUsages(path, raw, changeScope, mapping.renames);\n    renamed.push(...usages);\n    inspectChangeShape(unsupported, path, raw, { scope: changeScope, renames: usages });\n  }\n  return { path, counts, requirements };\n}\n"]}

package/dist/core/openspec/scan/walk.js

@@ -9,8 +9,9 @@
  */
 import { createHash } from "node:crypto";
 import { lstat, readFile, readdir, stat } from "node:fs/promises";
-import { dirname, isAbsolute, join, relative, sep } from "node:path";
+import { dirname, join, relative, sep } from "node:path";
 import { parse as parseYaml } from "yaml";
+import { isPathInside } from "../../kernel/path-safety.js";
 import { asRecord } from "../../kernel/records.js";
 import { compareIds } from "../../repo/entries.js";
 export async function isDirectory(path) {
@@ -26,10 +27,8 @@ export function portable(root, path) {
 }
 /** Stable inventory namespace: planning-root relative, with one explicit external prefix. */
 export function sourceInventoryPath(root, absolute) {
-    const rel = relative(root, absolute);
-    if (rel === "" || (!rel.startsWith(`..${sep}`) && rel !== ".." && !isAbsolute(rel))) {
-        return rel.split(sep).join("/");
-    }
+    if (isPathInside(root, absolute))
+        return portable(root, absolute);
     return `@workspace/${portable(dirname(root), absolute)}`;
 }
 export async function subdirs(path) {
@@ -41,7 +40,7 @@ export async function subdirs(path) {
         .sort(compareIds);
 }
 /**
- * Exactly what `subdirs` drops. walkFiles does not drop it, so a change behind a
+ * Exactly what `subdirs` drops. walkTree does not drop it, so a change behind a
  * dot-directory was never enumerated as a change while its files were still
  * classified, counted and given a disposition slot — a decision recorded as
  * selected for an artifact nothing migrates.
@@ -54,29 +53,18 @@ export async function hiddenSubdirs(path) {
         .map((entry) => entry.name)
         .sort(compareIds);
 }
-export async function walkFiles(path) {
-    if (!await isDirectory(path))
-        return [];
+/**
+ * Every regular file and every symbolic link under `path`, sorted and
+ * depth-first, skipping `.git`. Links are inventoried, never followed into
+ * unbound source trees. One walk serves both answers because a link's Dirent
+ * is neither a directory nor a file, so recording links separately leaves the
+ * file set and the set of directories descended exactly what two walks gave.
+ * A `Dirent` reports a link as a link, never as what it points at, so a link
+ * to a directory is recorded and never descended: the walk cannot leave the
+ * tree through one.
+ */
+export async function walkTree(path) {
     const files = [];
-    const walk = async (dir) => {
-        const entries = (await readdir(dir, { withFileTypes: true }))
-            .filter((entry) => entry.name !== ".git")
-            .sort((a, b) => compareIds(a.name, b.name));
-        for (const entry of entries) {
-            const absolute = join(dir, entry.name);
-            if (entry.isDirectory())
-                await walk(absolute);
-            else if (entry.isFile())
-                files.push(absolute);
-        }
-    };
-    await walk(path);
-    return files;
-}
-/** Inventory symbolic links without following them into unbound source trees. */
-export async function walkSymlinks(path) {
-    if (!await isDirectory(path))
-        return [];
     const links = [];
     const walk = async (dir) => {
         const entries = (await readdir(dir, { withFileTypes: true }))
@@ -88,10 +76,13 @@ export async function walkSymlinks(path) {
                 links.push(absolute);
             else if (entry.isDirectory())
                 await walk(absolute);
+            else if (entry.isFile())
+                files.push(absolute);
         }
     };
-    await walk(path);
-    return links;
+    if (await isDirectory(path))
+        await walk(path);
+    return { files, links };
 }
 export async function isSymbolicLink(path) {
     try {
@@ -101,14 +92,6 @@ export async function isSymbolicLink(path) {
         return false;
     }
 }
-/**
- * `Array.isArray` narrows an `unknown` to `any[]`, which is how a checked
- * element type went on being asserted back in a line later. Deciding both
- * halves in one predicate makes the narrowing carry the check.
- */
-export function isStringArray(value) {
-    return Array.isArray(value) && value.every((item) => typeof item === "string");
-}
 export async function yamlRecord(path) {
     const parsed = parseYaml(await readFile(path, "utf8"));
     const record = asRecord(parsed);

package/dist/core/openspec/scan/walk.js.map

@@ -1 +1 @@
-{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../../../src/core/openspec/scan/walk.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrE,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAY;IAC5C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IACjD,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,QAAgB;IAChE,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACpF,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,IAAY;IACxC,IAAI,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,IAAI,CAAC,UAAU,CAAC,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY;IAC9C,IAAI,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,IAAI,CAAC,UAAU,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY;IAC1C,IAAI,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,EAAE,GAAW,EAAiB,EAAE;QAChD,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;aACxC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,WAAW,EAAE;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;iBACzC,IAAI,KAAK,CAAC,MAAM,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY;IAC7C,IAAI,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,EAAE,GAAW,EAAiB,EAAE;QAChD,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;aACxC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,cAAc,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;iBAC5C,IAAI,KAAK,CAAC,WAAW,EAAE;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY;IAC/C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;AACjF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY;IAC3C,MAAM,MAAM,GAAY,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,KAAe;IACjE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,6EAA6E;IAC7E,gFAAgF;IAChF,IAAI,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC;IAC5C,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClI,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACxC,CAAC","sourcesContent":["/**\n * Reading the tree: which directories exist, which files are under them, which\n * of them are symlinks, and the digest that binds a mapping to what was audited.\n *\n * Symlinks are enumerated rather than followed. The whole package reads\n * somebody else's repository, so \"what is under this directory\" has to be a\n * question about THIS workspace — a link out of it is a finding, never a file\n * to walk into.\n */\nimport { createHash } from \"node:crypto\";\nimport { lstat, readFile, readdir, stat } from \"node:fs/promises\";\nimport { dirname, isAbsolute, join, relative, sep } from \"node:path\";\nimport { parse as parseYaml } from \"yaml\";\nimport { asRecord } from \"../../kernel/records.js\";\nimport { compareIds } from \"../../repo/entries.js\";\n\nexport async function isDirectory(path: string): Promise<boolean> {\n  try {\n    return (await stat(path)).isDirectory();\n  } catch {\n    return false;\n  }\n}\n\nexport function portable(root: string, path: string): string {\n  return relative(root, path).split(sep).join(\"/\");\n}\n\n/** Stable inventory namespace: planning-root relative, with one explicit external prefix. */\nexport function sourceInventoryPath(root: string, absolute: string): string {\n  const rel = relative(root, absolute);\n  if (rel === \"\" || (!rel.startsWith(`..${sep}`) && rel !== \"..\" && !isAbsolute(rel))) {\n    return rel.split(sep).join(\"/\");\n  }\n  return `@workspace/${portable(dirname(root), absolute)}`;\n}\n\nexport async function subdirs(path: string): Promise<string[]> {\n  if (!await isDirectory(path)) return [];\n  return (await readdir(path, { withFileTypes: true }))\n    .filter((entry) => entry.isDirectory() && !entry.name.startsWith(\".\"))\n    .map((entry) => entry.name)\n    .sort(compareIds);\n}\n\n/**\n * Exactly what `subdirs` drops. walkFiles does not drop it, so a change behind a\n * dot-directory was never enumerated as a change while its files were still\n * classified, counted and given a disposition slot — a decision recorded as\n * selected for an artifact nothing migrates.\n */\nexport async function hiddenSubdirs(path: string): Promise<string[]> {\n  if (!await isDirectory(path)) return [];\n  return (await readdir(path, { withFileTypes: true }))\n    .filter((entry) => entry.isDirectory() && entry.name.startsWith(\".\"))\n    .map((entry) => entry.name)\n    .sort(compareIds);\n}\n\nexport async function walkFiles(path: string): Promise<string[]> {\n  if (!await isDirectory(path)) return [];\n  const files: string[] = [];\n  const walk = async (dir: string): Promise<void> => {\n    const entries = (await readdir(dir, { withFileTypes: true }))\n      .filter((entry) => entry.name !== \".git\")\n      .sort((a, b) => compareIds(a.name, b.name));\n    for (const entry of entries) {\n      const absolute = join(dir, entry.name);\n      if (entry.isDirectory()) await walk(absolute);\n      else if (entry.isFile()) files.push(absolute);\n    }\n  };\n  await walk(path);\n  return files;\n}\n\n/** Inventory symbolic links without following them into unbound source trees. */\nexport async function walkSymlinks(path: string): Promise<string[]> {\n  if (!await isDirectory(path)) return [];\n  const links: string[] = [];\n  const walk = async (dir: string): Promise<void> => {\n    const entries = (await readdir(dir, { withFileTypes: true }))\n      .filter((entry) => entry.name !== \".git\")\n      .sort((a, b) => compareIds(a.name, b.name));\n    for (const entry of entries) {\n      const absolute = join(dir, entry.name);\n      if (entry.isSymbolicLink()) links.push(absolute);\n      else if (entry.isDirectory()) await walk(absolute);\n    }\n  };\n  await walk(path);\n  return links;\n}\n\nexport async function isSymbolicLink(path: string): Promise<boolean> {\n  try {\n    return (await lstat(path)).isSymbolicLink();\n  } catch {\n    return false;\n  }\n}\n\n/**\n * `Array.isArray` narrows an `unknown` to `any[]`, which is how a checked\n * element type went on being asserted back in a line later. Deciding both\n * halves in one predicate makes the narrowing carry the check.\n */\nexport function isStringArray(value: unknown): value is string[] {\n  return Array.isArray(value) && value.every((item) => typeof item === \"string\");\n}\n\nexport async function yamlRecord(path: string): Promise<Record<string, unknown>> {\n  const parsed: unknown = parseYaml(await readFile(path, \"utf8\"));\n  const record = asRecord(parsed);\n  if (record === null) throw new Error(\"expected a YAML mapping\");\n  return record;\n}\n\nexport async function digestInventory(root: string, files: string[]): Promise<string> {\n  const hash = createHash(\"sha256\");\n  // v3 narrowed the covered set to living + active. The version string is what\n  // stops a v2 mapping from being accepted against a v3 reading of the same tree.\n  hash.update(\"loam-openspec-inventory-v3\\0\");\n  for (const absolute of [...new Set(files)].sort((a, b) => compareIds(sourceInventoryPath(root, a), sourceInventoryPath(root, b)))) {\n    const path = sourceInventoryPath(root, absolute);\n    const bytes = await readFile(absolute);\n    hash.update(`${path.length}:${path}:${bytes.length}:`);\n    hash.update(bytes);\n    hash.update(\"\\0\");\n  }\n  return `sha256:${hash.digest(\"hex\")}`;\n}\n"]}
+{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../../../src/core/openspec/scan/walk.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAY;IAC5C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IACjD,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,QAAgB;IAChE,IAAI,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClE,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,IAAY;IACxC,IAAI,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,IAAI,CAAC,UAAU,CAAC,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY;IAC9C,IAAI,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,IAAI,CAAC,UAAU,CAAC,CAAC;AACtB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,EAAE,GAAW,EAAiB,EAAE;QAChD,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;aACxC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,cAAc,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;iBAC5C,IAAI,KAAK,CAAC,WAAW,EAAE;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;iBAC9C,IAAI,KAAK,CAAC,MAAM,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC;IACF,IAAI,MAAM,WAAW,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY;IAC/C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY;IAC3C,MAAM,MAAM,GAAY,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,KAAe;IACjE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,6EAA6E;IAC7E,gFAAgF;IAChF,IAAI,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC;IAC5C,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClI,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACxC,CAAC","sourcesContent":["/**\n * Reading the tree: which directories exist, which files are under them, which\n * of them are symlinks, and the digest that binds a mapping to what was audited.\n *\n * Symlinks are enumerated rather than followed. The whole package reads\n * somebody else's repository, so \"what is under this directory\" has to be a\n * question about THIS workspace — a link out of it is a finding, never a file\n * to walk into.\n */\nimport { createHash } from \"node:crypto\";\nimport { lstat, readFile, readdir, stat } from \"node:fs/promises\";\nimport { dirname, join, relative, sep } from \"node:path\";\nimport { parse as parseYaml } from \"yaml\";\nimport { isPathInside } from \"../../kernel/path-safety.js\";\nimport { asRecord } from \"../../kernel/records.js\";\nimport { compareIds } from \"../../repo/entries.js\";\n\nexport async function isDirectory(path: string): Promise<boolean> {\n  try {\n    return (await stat(path)).isDirectory();\n  } catch {\n    return false;\n  }\n}\n\nexport function portable(root: string, path: string): string {\n  return relative(root, path).split(sep).join(\"/\");\n}\n\n/** Stable inventory namespace: planning-root relative, with one explicit external prefix. */\nexport function sourceInventoryPath(root: string, absolute: string): string {\n  if (isPathInside(root, absolute)) return portable(root, absolute);\n  return `@workspace/${portable(dirname(root), absolute)}`;\n}\n\nexport async function subdirs(path: string): Promise<string[]> {\n  if (!await isDirectory(path)) return [];\n  return (await readdir(path, { withFileTypes: true }))\n    .filter((entry) => entry.isDirectory() && !entry.name.startsWith(\".\"))\n    .map((entry) => entry.name)\n    .sort(compareIds);\n}\n\n/**\n * Exactly what `subdirs` drops. walkTree does not drop it, so a change behind a\n * dot-directory was never enumerated as a change while its files were still\n * classified, counted and given a disposition slot — a decision recorded as\n * selected for an artifact nothing migrates.\n */\nexport async function hiddenSubdirs(path: string): Promise<string[]> {\n  if (!await isDirectory(path)) return [];\n  return (await readdir(path, { withFileTypes: true }))\n    .filter((entry) => entry.isDirectory() && entry.name.startsWith(\".\"))\n    .map((entry) => entry.name)\n    .sort(compareIds);\n}\n\n/**\n * Every regular file and every symbolic link under `path`, sorted and\n * depth-first, skipping `.git`. Links are inventoried, never followed into\n * unbound source trees. One walk serves both answers because a link's Dirent\n * is neither a directory nor a file, so recording links separately leaves the\n * file set and the set of directories descended exactly what two walks gave.\n * A `Dirent` reports a link as a link, never as what it points at, so a link\n * to a directory is recorded and never descended: the walk cannot leave the\n * tree through one.\n */\nexport async function walkTree(path: string): Promise<{ files: string[]; links: string[] }> {\n  const files: string[] = [];\n  const links: string[] = [];\n  const walk = async (dir: string): Promise<void> => {\n    const entries = (await readdir(dir, { withFileTypes: true }))\n      .filter((entry) => entry.name !== \".git\")\n      .sort((a, b) => compareIds(a.name, b.name));\n    for (const entry of entries) {\n      const absolute = join(dir, entry.name);\n      if (entry.isSymbolicLink()) links.push(absolute);\n      else if (entry.isDirectory()) await walk(absolute);\n      else if (entry.isFile()) files.push(absolute);\n    }\n  };\n  if (await isDirectory(path)) await walk(path);\n  return { files, links };\n}\n\nexport async function isSymbolicLink(path: string): Promise<boolean> {\n  try {\n    return (await lstat(path)).isSymbolicLink();\n  } catch {\n    return false;\n  }\n}\n\nexport async function yamlRecord(path: string): Promise<Record<string, unknown>> {\n  const parsed: unknown = parseYaml(await readFile(path, \"utf8\"));\n  const record = asRecord(parsed);\n  if (record === null) throw new Error(\"expected a YAML mapping\");\n  return record;\n}\n\nexport async function digestInventory(root: string, files: string[]): Promise<string> {\n  const hash = createHash(\"sha256\");\n  // v3 narrowed the covered set to living + active. The version string is what\n  // stops a v2 mapping from being accepted against a v3 reading of the same tree.\n  hash.update(\"loam-openspec-inventory-v3\\0\");\n  for (const absolute of [...new Set(files)].sort((a, b) => compareIds(sourceInventoryPath(root, a), sourceInventoryPath(root, b)))) {\n    const path = sourceInventoryPath(root, absolute);\n    const bytes = await readFile(absolute);\n    hash.update(`${path.length}:${path}:${bytes.length}:`);\n    hash.update(bytes);\n    hash.update(\"\\0\");\n  }\n  return `sha256:${hash.digest(\"hex\")}`;\n}\n"]}

package/dist/core/pack/living.js

@@ -10,6 +10,7 @@
  */
 import { existsSync } from "node:fs";
 import { FleetContext } from "../fleet-context.js";
+import { brokenDocumentPaths } from "../c4/likec4.js";
 import { serviceResolver } from "../c4/resolve/service.js";
 import { repoPath } from "../envelope/json.js";
 import { listField, parseFrontmatter, stringField } from "../document/frontmatter.js";
@@ -18,6 +19,8 @@ import {} from "../document/spec.js";
 import { landscapeEvidence, maturityGaps, serviceMaturity, } from "../vocabulary/maturity.js";
 import {} from "../repo/entries.js";
 import { landscapePath, servicePathsAt } from "../repo/paths.js";
+import { NO_DEPLOYMENT } from "../c4/parsed/deployment.js";
+import { serviceTopology } from "../deployment/objects.js";
 export function packRequirement(r) {
     return {
         kind: r.kind,
@@ -47,7 +50,21 @@ export async function buildLiving(req) {
         // Both headers, exactly as `show` reads both (commands/show/service.ts):
         // a memo hit on the same read the requirements above already paid for.
         existsSync(paths.archSpec) ? context.readText(paths.archSpec) : null,
-        existsSync(landscapePath(docsDir)) ? context.loadLikeC4(landscapePath(docsDir)) : null,
+        // The `architecture/` PROJECT, never `architecture/landscape.likec4` alone.
+        // The map is a project — the landscape merged with every use case, palette
+        // and second `model { }` block beside it — and reading one file of it made
+        // this pack answer differently from `loam adopt` about the same tree
+        // (review finding F26, reproduced: with a broken `architecture/palette.likec4`
+        // beside a landscape that parses, `adopt --service order-service` reported
+        // `parses: false` and refused to say anything about the map, while `context
+        // order-service` reported `parses: true` and listed its edges). The brief's
+        // own banner (core/brief/landscape.ts) already named this module as the
+        // reader that disagreed. Whichever answer is right, an agent handed both
+        // has no way to tell — and the renderer's answer is the project's.
+        //
+        // `present` stays a fact about the FILE (`existsSync` below), so a repo
+        // with no landscape is still "absent" rather than "empty project".
+        existsSync(landscapePath(docsDir)) ? context.architecture(docsDir) : null,
     ]);
     const present = land !== null;
     const parses = land !== null && land.errors.length === 0;
@@ -59,8 +76,12 @@ export async function buildLiving(req) {
     const svcOf = serviceResolver(elements, known);
     // The partition, the modelled probe and the apiExpected rule are ONE shared
     // derivation (core/vocabulary/maturity.ts `landscapeEvidence`) — the same
-    // one explore's describe uses, so the pack and explore cannot grade the
-    // same service differently.
+    // one explore's describe uses, so the pack and explore cannot spell the same
+    // rule two ways. They are handed the same DOCUMENTS as well: `explore` reads
+    // the `architecture/` project too (core/explore/explore.ts), which it did not
+    // when this slice moved off the single file — for a while the two differed by
+    // input on a fleet whose sibling document is broken, which is a disagreement
+    // no reader of both could resolve.
     const { inbound, outbound, modelled, apiExpected } = landscapeEvidence({
         id: entry.id,
         parses,
@@ -68,6 +89,23 @@ export async function buildLiving(req) {
         elementIds: elements.map((e) => e.id),
         svcOf,
     });
+    // Where this service RUNS, from the landscape's own deployment model. The
+    // pack's reader is an agent about to write the implementation, and until this
+    // slice existed it described a service's calls and contracts while saying
+    // nothing whatever about its topology — so a failover got written against a
+    // map nobody had read. Empty for every fleet that draws none, which is the
+    // axis's opt-in and not a finding.
+    //
+    // Read off the PROJECT, for the reason `validate/service/specs.ts` pays the
+    // same load: `architecture/` is one LikeC4 project and a fleet's
+    // `deployment { }` block is ordinarily a file beside the landscape, not
+    // inside it. A single-file read would report "this service runs nowhere" over
+    // a repo that draws it, which is the one answer a briefing must never give.
+    // This used to be a SECOND load, made only when the landscape file itself
+    // declared no topology; `land` is that project now, so the fallback would be
+    // the same document parsed twice.
+    const topology = parses ? (land.deployment ?? NO_DEPLOYMENT) : NO_DEPLOYMENT;
+    const deployment = serviceTopology(topology, elements, known, entry.id);
     const input = { entry, archSpec: existsSync(paths.archSpec), apiExpected };
     const header = (text) => text === null ? { present: false, malformed: false, data: {}, body: "" } : parseFrontmatter(text);
     const fm = header(specText);
@@ -88,7 +126,8 @@ export async function buildLiving(req) {
             sources: listField(fm, "sources"),
         },
         archSpec: { vouch_scope: scopeText(header(archText)) },
-        landscape: { present, parses, modelled, inbound, outbound },
+        landscape: { present, parses, broken: land === null ? [] : brokenDocumentPaths(docsDir, land.errors), modelled, inbound, outbound },
+        deployment,
         requirements: reqs.map(packRequirement),
         archRequirements: archReqs.map(packRequirement),
         openapi: { unreadable: api.unreadable, ...(api.error === undefined ? {} : { error: api.error }) },

package/dist/core/pack/living.js.map

@@ -1 +1 @@
-{"version":3,"file":"living.js","sourceRoot":"","sources":["../../../src/core/pack/living.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAoB,MAAM,4BAA4B,CAAC;AACxG,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAoB,MAAM,qBAAqB,CAAC;AACvD,OAAO,EACL,iBAAiB,EACjB,YAAY,EACZ,eAAe,GAGhB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAqB,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAyBjE,MAAM,UAAU,eAAe,CAAC,CAAc;IAC5C,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;KACtE,CAAC;AACJ,CAAC;AAoED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAkB;IAClD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAExC,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;QAC1D,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAC1E,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QACpD,yEAAyE;QACzE,uEAAuE;QACvE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;QACpE,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;KACvF,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,qEAAqE;IACrE,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/C,4EAA4E;IAC5E,0EAA0E;IAC1E,wEAAwE;IACxE,4BAA4B;IAC5B,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,iBAAiB,CAAC;QACrE,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE;QAC/C,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,KAAK;KACN,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IAE3E,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAe,EAAE,CAClD,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpG,MAAM,EAAE,GAAgB,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEzC,MAAM,OAAO,GAAG,CAAC,EAAU,EAAY,EAAE,CACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE1C,OAAO;QACL,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC;QAC5B,WAAW,EAAE;YACX,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI;YACzC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI;YACvC,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,IAAI;YACvD,qEAAqE;YACrE,oEAAoE;YACpE,mEAAmE;YACnE,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC;SAClC;QACD,QAAQ,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;QACtD,SAAS,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE;QAC3D,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;QACvC,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;QAC/C,OAAO,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE;QACjG,2EAA2E;QAC3E,yEAAyE;QACzE,yDAAyD;QACzD,UAAU,EAAE,GAAG,CAAC,GAAG;aAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACtG,QAAQ,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE;QAC3G,QAAQ,EAAE,MAAM,CAAC,QAAQ;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;SAC/E,CAAC,CAAC;QACL,QAAQ,EAAE;YACR,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;YAC/E,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE;YAC5E,wEAAwE;YACxE,yBAAyB;YACzB,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;SACpE;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The living slice of one service's context pack: its requirements verbatim,\n * its two contracts, its provenance, its maturity, and the fleet edges around\n * it — everything the docs repo says about the service TODAY, before any\n * feature in flight is consulted.\n *\n * Split from `./pack.ts` because it answers about the LIVING documents while\n * `./features.ts` answers about the deltas over them — two phases of one\n * briefing, and the line limit is what asked the question.\n */\nimport { existsSync } from \"node:fs\";\nimport { FleetContext } from \"../fleet-context.js\";\nimport { serviceResolver } from \"../c4/resolve/service.js\";\nimport { repoPath } from \"../envelope/json.js\";\nimport { listField, parseFrontmatter, stringField, type Frontmatter } from \"../document/frontmatter.js\";\nimport { scopeText } from \"../provenance/sample/scope.js\";\nimport { type Requirement } from \"../document/spec.js\";\nimport {\n  landscapeEvidence,\n  maturityGaps,\n  serviceMaturity,\n  type LandscapeEdge,\n  type Maturity,\n} from \"../vocabulary/maturity.js\";\nimport { type ServiceEntry } from \"../repo/entries.js\";\nimport { landscapePath, servicePathsAt } from \"../repo/paths.js\";\nimport type { DocsDir } from \"../kernel/ids/dirs.js\";\n\n/**\n * A requirement as the pack carries it: the delta brief's `reqJson` shape plus\n * the four join lines (`Requires:`, `Capability:`, `Publishes:`, `Consumes:`)\n * the brief never needed. Verbatim on purpose — the pack is the briefing, and\n * a heading without its body is a table of contents for a file the reader then\n * has to open.\n */\nexport interface PackRequirement {\n  kind: Requirement[\"kind\"];\n  id?: string;\n  name: string;\n  text: string;\n  operations: string[];\n  covers: string[];\n  requires: string[];\n  capabilities: string[];\n  publishes: string[];\n  consumes: string[];\n  /** Verbatim: the acceptance criteria, and the source for the tests whoever picks this up writes. */\n  scenarios: Array<{ name: string; lines: string[] }>;\n}\n\nexport function packRequirement(r: Requirement): PackRequirement {\n  return {\n    kind: r.kind,\n    ...(r.id === undefined ? {} : { id: r.id }),\n    name: r.name,\n    text: r.text.join(\"\\n\").trim(),\n    operations: r.operations,\n    covers: r.covers,\n    requires: r.requires,\n    capabilities: r.capabilities,\n    publishes: r.publishes,\n    consumes: r.consumes,\n    scenarios: r.scenarios.map((s) => ({ name: s.name, lines: s.lines })),\n  };\n}\n\nexport interface LivingSlice {\n  maturity: Maturity;\n  /** What stands between the service and `vouched` — `maturityGaps`, so it matches `list --needs-work`. */\n  missing: string[];\n  /**\n   * `vouch_scope` rides beside `status` because this pack is read by an agent\n   * about to work on the service, and a bare `status: verified` over a vouch\n   * that read a recorded sample of the document would be read as the whole of\n   * it having been checked. Verbatim, null when there is none.\n   *\n   * spec.md's header ALONE — arch.spec.md carries its own, below.\n   */\n  frontmatter: {\n    status: string | null;\n    owner: string | null;\n    last_verified: string | null;\n    vouch_scope: string | null;\n    sources: string[];\n  };\n  /**\n   * arch.spec.md's own `vouch_scope`, under `show --json`'s spelling\n   * (`archSpec.vouch_scope`) so the two surfaces name one fact one way.\n   *\n   * The sample is per FILE: one `loam vouch --sample` run reads a short\n   * spec.md in full and stamps a long arch.spec.md sampled, and the pack read\n   * only the first header. Every other trust surface — list, show,\n   * `vouch --pack`, `validate --all`, status — reported that service as\n   * sampled; context printed `verified`, `vouch_scope: null`, and then all of\n   * arch.spec.md's requirements verbatim, of which nobody had read half. It is\n   * the one surface whose reader is an agent that will act on the licence, and\n   * `loam_context` exposes it as an MCP tool besides.\n   */\n  archSpec: { vouch_scope: string | null };\n  /**\n   * `present`/`parses` ride beside the edges (explore's shape) so silence is\n   * evidence, not absence: an empty edge list under `parses: false` says\n   * \"nobody could look\", not \"nobody calls this\".\n   */\n  landscape: {\n    present: boolean;\n    parses: boolean;\n    modelled: boolean;\n    inbound: LandscapeEdge[];\n    outbound: LandscapeEdge[];\n  };\n  requirements: PackRequirement[];\n  archRequirements: PackRequirement[];\n  /** Whether the living contract could be read at all — the vacuously-green guard every sibling carries. */\n  openapi: { unreadable: boolean; error?: string };\n  operations: Array<{ id: string; method: string; path: string; governedBy: string[] }>;\n  asyncapi: { unreadable: boolean; error?: string };\n  messages: Array<{ name: string; slot: string; direction: \"send\" | \"receive\" | null }>;\n  /** Free-form prose stays a pointer: unbounded documents do not belong in a bounded pack. */\n  pointers: {\n    runbook: { present: boolean; path: string };\n    health: { present: boolean; path: string };\n    adrs: { count: number; path: string };\n  };\n}\n\nexport interface LivingRequest {\n  docsDir: DocsDir;\n  entry: ServiceEntry;\n  context: FleetContext;\n}\n\nexport async function buildLiving(req: LivingRequest): Promise<LivingSlice> {\n  const { docsDir, entry, context } = req;\n  const paths = servicePathsAt(entry.dir);\n\n  // Independent reads, fanned out together; each is memoized on the shared\n  // context, so anything `./joins.ts` or `./features.ts` re-asks is free.\n  const [reqs, archReqs, api, events, specText, archText, land] = await Promise.all([\n    entry.has.spec ? context.readRequirements(paths.spec) : [],\n    existsSync(paths.archSpec) ? context.readRequirements(paths.archSpec) : [],\n    context.readOpenapi(paths.openapi),\n    context.readAsyncapi(paths.asyncapi),\n    entry.has.spec ? context.readText(paths.spec) : null,\n    // Both headers, exactly as `show` reads both (commands/show/service.ts):\n    // a memo hit on the same read the requirements above already paid for.\n    existsSync(paths.archSpec) ? context.readText(paths.archSpec) : null,\n    existsSync(landscapePath(docsDir)) ? context.loadLikeC4(landscapePath(docsDir)) : null,\n  ]);\n\n  const present = land !== null;\n  const parses = land !== null && land.errors.length === 0;\n  const elements = parses ? land.elements : [];\n  // Edges are filed under the service an element is BOUND to, with the\n  // enumerated fleet riding in — the same resolution `show`, `explore` and\n  // `validate` use, so no two commands can disagree about who calls whom.\n  const known = new Set((await context.listServices(docsDir)).map((s) => s.id));\n  const svcOf = serviceResolver(elements, known);\n  // The partition, the modelled probe and the apiExpected rule are ONE shared\n  // derivation (core/vocabulary/maturity.ts `landscapeEvidence`) — the same\n  // one explore's describe uses, so the pack and explore cannot grade the\n  // same service differently.\n  const { inbound, outbound, modelled, apiExpected } = landscapeEvidence({\n    id: entry.id,\n    parses,\n    relationships: parses ? land.relationships : [],\n    elementIds: elements.map((e) => e.id),\n    svcOf,\n  });\n  const input = { entry, archSpec: existsSync(paths.archSpec), apiExpected };\n\n  const header = (text: string | null): Frontmatter =>\n    text === null ? { present: false, malformed: false, data: {}, body: \"\" } : parseFrontmatter(text);\n  const fm: Frontmatter = header(specText);\n\n  const governs = (op: string): string[] =>\n    reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);\n  const sent = new Set(events.sent);\n  const received = new Set(events.received);\n\n  return {\n    maturity: serviceMaturity(input),\n    missing: maturityGaps(input),\n    frontmatter: {\n      status: stringField(fm, \"status\") ?? null,\n      owner: stringField(fm, \"owner\") ?? null,\n      last_verified: stringField(fm, \"last_verified\") ?? null,\n      // Through `scopeText`, not `stringField`: a scope whose value is not\n      // text is still a stamped partial read, and this pack is read by an\n      // agent that will otherwise take `status: verified` at face value.\n      vouch_scope: scopeText(fm),\n      sources: listField(fm, \"sources\"),\n    },\n    archSpec: { vouch_scope: scopeText(header(archText)) },\n    landscape: { present, parses, modelled, inbound, outbound },\n    requirements: reqs.map(packRequirement),\n    archRequirements: archReqs.map(packRequirement),\n    openapi: { unreadable: api.unreadable, ...(api.error === undefined ? {} : { error: api.error }) },\n    // Document order — a fact of the file, hence of the state. `x-loam-remove`\n    // markers are filtered exactly as `show` filters them: they are deletion\n    // markers from a delta, not operations anybody can call.\n    operations: api.ops\n      .filter((o) => !o.remove)\n      .map((o) => ({ id: o.id, method: o.method.toUpperCase(), path: o.path, governedBy: governs(o.id) })),\n    asyncapi: { unreadable: events.unreadable, ...(events.error === undefined ? {} : { error: events.error }) },\n    messages: events.messages\n      .filter((m) => m.remove !== true)\n      .map((m) => ({\n        name: m.name,\n        slot: m.slot,\n        direction: sent.has(m.name) ? \"send\" : received.has(m.name) ? \"receive\" : null,\n      })),\n    pointers: {\n      runbook: { present: entry.has.runbook, path: repoPath(docsDir, paths.runbook) },\n      health: { present: entry.has.health, path: repoPath(docsDir, paths.health) },\n      // The enumeration already counted the ADRs; a second readdir here could\n      // only disagree with it.\n      adrs: { count: entry.adrs, path: repoPath(docsDir, paths.adrsDir) },\n    },\n  };\n}\n"]}
+{"version":3,"file":"living.js","sourceRoot":"","sources":["../../../src/core/pack/living.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAoB,MAAM,4BAA4B,CAAC;AACxG,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAoB,MAAM,qBAAqB,CAAC;AACvD,OAAO,EACL,iBAAiB,EACjB,YAAY,EACZ,eAAe,GAGhB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAqB,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAwB,MAAM,0BAA0B,CAAC;AAwBjF,MAAM,UAAU,eAAe,CAAC,CAAc;IAC5C,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;KACtE,CAAC;AACJ,CAAC;AAuGD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAkB;IAClD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAExC,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;QAC1D,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAC1E,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QACpD,yEAAyE;QACzE,uEAAuE;QACvE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;QACpE,4EAA4E;QAC5E,2EAA2E;QAC3E,2EAA2E;QAC3E,qEAAqE;QACrE,+EAA+E;QAC/E,2EAA2E;QAC3E,4EAA4E;QAC5E,4EAA4E;QAC5E,wEAAwE;QACxE,yEAAyE;QACzE,mEAAmE;QACnE,EAAE;QACF,wEAAwE;QACxE,mEAAmE;QACnE,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;KAC1E,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,qEAAqE;IACrE,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/C,4EAA4E;IAC5E,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,mCAAmC;IACnC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,iBAAiB,CAAC;QACrE,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE;QAC/C,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,KAAK;KACN,CAAC,CAAC;IACH,0EAA0E;IAC1E,8EAA8E;IAC9E,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,mCAAmC;IACnC,EAAE;IACF,4EAA4E;IAC5E,iEAAiE;IACjE,wEAAwE;IACxE,8EAA8E;IAC9E,4EAA4E;IAC5E,0EAA0E;IAC1E,6EAA6E;IAC7E,kCAAkC;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IAC7E,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAExE,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IAE3E,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAe,EAAE,CAClD,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpG,MAAM,EAAE,GAAgB,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEzC,MAAM,OAAO,GAAG,CAAC,EAAU,EAAY,EAAE,CACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE1C,OAAO;QACL,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC;QAC5B,WAAW,EAAE;YACX,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI;YACzC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI;YACvC,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,IAAI;YACvD,qEAAqE;YACrE,oEAAoE;YACpE,mEAAmE;YACnE,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC;SAClC;QACD,QAAQ,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;QACtD,SAAS,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE;QACnI,UAAU;QACV,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;QACvC,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;QAC/C,OAAO,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE;QACjG,2EAA2E;QAC3E,yEAAyE;QACzE,yDAAyD;QACzD,UAAU,EAAE,GAAG,CAAC,GAAG;aAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACtG,QAAQ,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE;QAC3G,QAAQ,EAAE,MAAM,CAAC,QAAQ;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;SAC/E,CAAC,CAAC;QACL,QAAQ,EAAE;YACR,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;YAC/E,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE;YAC5E,wEAAwE;YACxE,yBAAyB;YACzB,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;SACpE;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The living slice of one service's context pack: its requirements verbatim,\n * its two contracts, its provenance, its maturity, and the fleet edges around\n * it — everything the docs repo says about the service TODAY, before any\n * feature in flight is consulted.\n *\n * Split from `./pack.ts` because it answers about the LIVING documents while\n * `./features.ts` answers about the deltas over them — two phases of one\n * briefing, and the line limit is what asked the question.\n */\nimport { existsSync } from \"node:fs\";\nimport { FleetContext } from \"../fleet-context.js\";\nimport { brokenDocumentPaths } from \"../c4/likec4.js\";\nimport { serviceResolver } from \"../c4/resolve/service.js\";\nimport { repoPath } from \"../envelope/json.js\";\nimport { listField, parseFrontmatter, stringField, type Frontmatter } from \"../document/frontmatter.js\";\nimport { scopeText } from \"../provenance/sample/scope.js\";\nimport { type Requirement } from \"../document/spec.js\";\nimport {\n  landscapeEvidence,\n  maturityGaps,\n  serviceMaturity,\n  type LandscapeEdge,\n  type Maturity,\n} from \"../vocabulary/maturity.js\";\nimport { type ServiceEntry } from \"../repo/entries.js\";\nimport { landscapePath, servicePathsAt } from \"../repo/paths.js\";\nimport type { DocsDir } from \"../kernel/ids/dirs.js\";\nimport { NO_DEPLOYMENT } from \"../c4/parsed/deployment.js\";\nimport { serviceTopology, type ServiceTopology } from \"../deployment/objects.js\";\n\n/**\n * A requirement as the pack carries it: the delta brief's `reqJson` shape plus\n * the four join lines (`Requires:`, `Capability:`, `Publishes:`, `Consumes:`)\n * the brief never needed. Verbatim on purpose — the pack is the briefing, and\n * a heading without its body is a table of contents for a file the reader then\n * has to open.\n */\nexport interface PackRequirement {\n  kind: Requirement[\"kind\"];\n  id?: string;\n  name: string;\n  text: string;\n  operations: string[];\n  covers: string[];\n  requires: string[];\n  capabilities: string[];\n  publishes: string[];\n  consumes: string[];\n  /** Verbatim: the acceptance criteria, and the source for the tests whoever picks this up writes. */\n  scenarios: Array<{ name: string; lines: string[] }>;\n}\n\nexport function packRequirement(r: Requirement): PackRequirement {\n  return {\n    kind: r.kind,\n    ...(r.id === undefined ? {} : { id: r.id }),\n    name: r.name,\n    text: r.text.join(\"\\n\").trim(),\n    operations: r.operations,\n    covers: r.covers,\n    requires: r.requires,\n    capabilities: r.capabilities,\n    publishes: r.publishes,\n    consumes: r.consumes,\n    scenarios: r.scenarios.map((s) => ({ name: s.name, lines: s.lines })),\n  };\n}\n\nexport interface LivingSlice {\n  maturity: Maturity;\n  /** What stands between the service and `vouched` — `maturityGaps`, so it matches `list --needs-work`. */\n  missing: string[];\n  /**\n   * `vouch_scope` rides beside `status` because this pack is read by an agent\n   * about to work on the service, and a bare `status: verified` over a vouch\n   * that read a recorded sample of the document would be read as the whole of\n   * it having been checked. Verbatim, null when there is none.\n   *\n   * spec.md's header ALONE — arch.spec.md carries its own, below.\n   */\n  frontmatter: {\n    status: string | null;\n    owner: string | null;\n    last_verified: string | null;\n    vouch_scope: string | null;\n    sources: string[];\n  };\n  /**\n   * arch.spec.md's own `vouch_scope`, under `show --json`'s spelling\n   * (`archSpec.vouch_scope`) so the two surfaces name one fact one way.\n   *\n   * The sample is per FILE: one `loam vouch --sample` run reads a short\n   * spec.md in full and stamps a long arch.spec.md sampled, and the pack read\n   * only the first header. Every other trust surface — list, show,\n   * `vouch --pack`, `validate --all`, status — reported that service as\n   * sampled; context printed `verified`, `vouch_scope: null`, and then all of\n   * arch.spec.md's requirements verbatim, of which nobody had read half. It is\n   * the one surface whose reader is an agent that will act on the licence, and\n   * `loam_context` exposes it as an MCP tool besides.\n   */\n  archSpec: { vouch_scope: string | null };\n  /**\n   * `present`/`parses` ride beside the edges (explore's shape) so silence is\n   * evidence, not absence: an empty edge list under `parses: false` says\n   * \"nobody could look\", not \"nobody calls this\".\n   *\n   * `present` is about the FILE `architecture/landscape.likec4`; `parses` is\n   * about the `architecture/` PROJECT, which is what the renderer loads and\n   * what `adopt`, `validate --all` and `explore` all grade. A sibling document\n   * with a syntax error therefore reads here as \"nobody could look\", exactly as\n   * it does everywhere else.\n   */\n  landscape: {\n    present: boolean;\n    parses: boolean;\n    /**\n     * The `architecture/` documents that failed, docs-relative POSIX, deduped\n     * and sorted — `[]` while `parses` is true. Spelled exactly as\n     * `landscape.invalid` and the adopt brief spell them (all three through\n     * `c4/likec4.ts`'s `brokenDocumentPaths`), because the three surfaces are\n     * read one after another on the same tree and a reader has to be able to\n     * tell they name the same file. It exists because `parses` moved\n     * to the PROJECT while every sentence about it still said\n     * `architecture/landscape.likec4`: with a broken sibling that file has no\n     * errors at all, so the name sent a reader to bytes loam had read fine\n     * (verification 2026-09-04).\n     */\n    broken: string[];\n    modelled: boolean;\n    inbound: LandscapeEdge[];\n    outbound: LandscapeEdge[];\n  };\n  /**\n   * Where this service runs, off the landscape's `deployment { }` model, and\n   * the deployment edges touching it — replication, failover, a network hop.\n   *\n   * Both ends, not only the outbound one: a replication edge is as often read\n   * from the standby's side as from the primary's. Empty for a fleet that draws\n   * no topology, and empty is not a finding here any more than it is anywhere\n   * else on this axis.\n   *\n   * WHAT IT IS NOT. A green deployment axis means the documents agree with each\n   * other — never that the second cluster exists, is reachable, or holds the\n   * data a requirement claims. `core/brief/unchecked.ts` says so beside the\n   * sixteen statements that say the same about the rest of the map, and an\n   * agent reading this slice is exactly the reader that sentence is for.\n   */\n  deployment: ServiceTopology;\n  requirements: PackRequirement[];\n  archRequirements: PackRequirement[];\n  /** Whether the living contract could be read at all — the vacuously-green guard every sibling carries. */\n  openapi: { unreadable: boolean; error?: string };\n  operations: Array<{ id: string; method: string; path: string; governedBy: string[] }>;\n  asyncapi: { unreadable: boolean; error?: string };\n  messages: Array<{ name: string; slot: string; direction: \"send\" | \"receive\" | null }>;\n  /** Free-form prose stays a pointer: unbounded documents do not belong in a bounded pack. */\n  pointers: {\n    runbook: { present: boolean; path: string };\n    health: { present: boolean; path: string };\n    adrs: { count: number; path: string };\n  };\n}\n\nexport interface LivingRequest {\n  docsDir: DocsDir;\n  entry: ServiceEntry;\n  context: FleetContext;\n}\n\nexport async function buildLiving(req: LivingRequest): Promise<LivingSlice> {\n  const { docsDir, entry, context } = req;\n  const paths = servicePathsAt(entry.dir);\n\n  // Independent reads, fanned out together; each is memoized on the shared\n  // context, so anything `./joins.ts` or `./features.ts` re-asks is free.\n  const [reqs, archReqs, api, events, specText, archText, land] = await Promise.all([\n    entry.has.spec ? context.readRequirements(paths.spec) : [],\n    existsSync(paths.archSpec) ? context.readRequirements(paths.archSpec) : [],\n    context.readOpenapi(paths.openapi),\n    context.readAsyncapi(paths.asyncapi),\n    entry.has.spec ? context.readText(paths.spec) : null,\n    // Both headers, exactly as `show` reads both (commands/show/service.ts):\n    // a memo hit on the same read the requirements above already paid for.\n    existsSync(paths.archSpec) ? context.readText(paths.archSpec) : null,\n    // The `architecture/` PROJECT, never `architecture/landscape.likec4` alone.\n    // The map is a project — the landscape merged with every use case, palette\n    // and second `model { }` block beside it — and reading one file of it made\n    // this pack answer differently from `loam adopt` about the same tree\n    // (review finding F26, reproduced: with a broken `architecture/palette.likec4`\n    // beside a landscape that parses, `adopt --service order-service` reported\n    // `parses: false` and refused to say anything about the map, while `context\n    // order-service` reported `parses: true` and listed its edges). The brief's\n    // own banner (core/brief/landscape.ts) already named this module as the\n    // reader that disagreed. Whichever answer is right, an agent handed both\n    // has no way to tell — and the renderer's answer is the project's.\n    //\n    // `present` stays a fact about the FILE (`existsSync` below), so a repo\n    // with no landscape is still \"absent\" rather than \"empty project\".\n    existsSync(landscapePath(docsDir)) ? context.architecture(docsDir) : null,\n  ]);\n\n  const present = land !== null;\n  const parses = land !== null && land.errors.length === 0;\n  const elements = parses ? land.elements : [];\n  // Edges are filed under the service an element is BOUND to, with the\n  // enumerated fleet riding in — the same resolution `show`, `explore` and\n  // `validate` use, so no two commands can disagree about who calls whom.\n  const known = new Set((await context.listServices(docsDir)).map((s) => s.id));\n  const svcOf = serviceResolver(elements, known);\n  // The partition, the modelled probe and the apiExpected rule are ONE shared\n  // derivation (core/vocabulary/maturity.ts `landscapeEvidence`) — the same\n  // one explore's describe uses, so the pack and explore cannot spell the same\n  // rule two ways. They are handed the same DOCUMENTS as well: `explore` reads\n  // the `architecture/` project too (core/explore/explore.ts), which it did not\n  // when this slice moved off the single file — for a while the two differed by\n  // input on a fleet whose sibling document is broken, which is a disagreement\n  // no reader of both could resolve.\n  const { inbound, outbound, modelled, apiExpected } = landscapeEvidence({\n    id: entry.id,\n    parses,\n    relationships: parses ? land.relationships : [],\n    elementIds: elements.map((e) => e.id),\n    svcOf,\n  });\n  // Where this service RUNS, from the landscape's own deployment model. The\n  // pack's reader is an agent about to write the implementation, and until this\n  // slice existed it described a service's calls and contracts while saying\n  // nothing whatever about its topology — so a failover got written against a\n  // map nobody had read. Empty for every fleet that draws none, which is the\n  // axis's opt-in and not a finding.\n  //\n  // Read off the PROJECT, for the reason `validate/service/specs.ts` pays the\n  // same load: `architecture/` is one LikeC4 project and a fleet's\n  // `deployment { }` block is ordinarily a file beside the landscape, not\n  // inside it. A single-file read would report \"this service runs nowhere\" over\n  // a repo that draws it, which is the one answer a briefing must never give.\n  // This used to be a SECOND load, made only when the landscape file itself\n  // declared no topology; `land` is that project now, so the fallback would be\n  // the same document parsed twice.\n  const topology = parses ? (land.deployment ?? NO_DEPLOYMENT) : NO_DEPLOYMENT;\n  const deployment = serviceTopology(topology, elements, known, entry.id);\n\n  const input = { entry, archSpec: existsSync(paths.archSpec), apiExpected };\n\n  const header = (text: string | null): Frontmatter =>\n    text === null ? { present: false, malformed: false, data: {}, body: \"\" } : parseFrontmatter(text);\n  const fm: Frontmatter = header(specText);\n\n  const governs = (op: string): string[] =>\n    reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);\n  const sent = new Set(events.sent);\n  const received = new Set(events.received);\n\n  return {\n    maturity: serviceMaturity(input),\n    missing: maturityGaps(input),\n    frontmatter: {\n      status: stringField(fm, \"status\") ?? null,\n      owner: stringField(fm, \"owner\") ?? null,\n      last_verified: stringField(fm, \"last_verified\") ?? null,\n      // Through `scopeText`, not `stringField`: a scope whose value is not\n      // text is still a stamped partial read, and this pack is read by an\n      // agent that will otherwise take `status: verified` at face value.\n      vouch_scope: scopeText(fm),\n      sources: listField(fm, \"sources\"),\n    },\n    archSpec: { vouch_scope: scopeText(header(archText)) },\n    landscape: { present, parses, broken: land === null ? [] : brokenDocumentPaths(docsDir, land.errors), modelled, inbound, outbound },\n    deployment,\n    requirements: reqs.map(packRequirement),\n    archRequirements: archReqs.map(packRequirement),\n    openapi: { unreadable: api.unreadable, ...(api.error === undefined ? {} : { error: api.error }) },\n    // Document order — a fact of the file, hence of the state. `x-loam-remove`\n    // markers are filtered exactly as `show` filters them: they are deletion\n    // markers from a delta, not operations anybody can call.\n    operations: api.ops\n      .filter((o) => !o.remove)\n      .map((o) => ({ id: o.id, method: o.method.toUpperCase(), path: o.path, governedBy: governs(o.id) })),\n    asyncapi: { unreadable: events.unreadable, ...(events.error === undefined ? {} : { error: events.error }) },\n    messages: events.messages\n      .filter((m) => m.remove !== true)\n      .map((m) => ({\n        name: m.name,\n        slot: m.slot,\n        direction: sent.has(m.name) ? \"send\" : received.has(m.name) ? \"receive\" : null,\n      })),\n    pointers: {\n      runbook: { present: entry.has.runbook, path: repoPath(docsDir, paths.runbook) },\n      health: { present: entry.has.health, path: repoPath(docsDir, paths.health) },\n      // The enumeration already counted the ADRs; a second readdir here could\n      // only disagree with it.\n      adrs: { count: entry.adrs, path: repoPath(docsDir, paths.adrsDir) },\n    },\n  };\n}\n"]}