@ybotok/loam 0.1.0-beta.3 → 0.2.0-alpha.13

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

@@ -0,0 +1,304 @@
+/**
+ * Is this document a shape loam can migrate?
+ *
+ * The living side and the change side are graded separately because they fail
+ * differently: a living spec that will not parse is a corpus loam cannot read,
+ * while a change spec carries RENAMED pairs, which are the one OpenSpec
+ * construct with no loam equivalent and the reason this package has an identity
+ * problem to solve at all.
+ *
+ * Nothing here decides anything — it appends findings to the `Ingest` it was
+ * given. The decisions are in `../decide/`.
+ */
+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 { KIND_RE, requirementIdProblems } from "../../document/spec.js";
+import {} from "./workspace.js";
+import { portable } from "./walk.js";
+import {} from "../model/model.js";
+export function countsFor(requirements) {
+    return {
+        requirements: requirements.length,
+        scenarios: requirements.reduce((sum, requirement) => sum + requirement.scenarios.length, 0),
+    };
+}
+export function addCounts(target, source) {
+    target.specFiles += source.specFiles;
+    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 — 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) {
+    const fenced = fenceTracker();
+    return lines.map((line) => fenced(line));
+}
+export function renameUsages(path, raw, scope, mapped) {
+    const lines = raw.replace(/^\uFEFF/, "").split(/\r?\n/);
+    const fenced = fencedLines(lines);
+    const headings = sectionHeadings(raw);
+    const coordinates = changeSpecCoordinates(path, scope);
+    const output = [];
+    for (const [headingIndex, heading] of headings.entries()) {
+        if (!/^##\s+RENAMED\s+Requirements?\s*:?\s*$/i.test(heading.text))
+            continue;
+        const end = headings[headingIndex + 1]?.line ?? lines.length + 1;
+        const pairs = [];
+        let pendingFrom = null;
+        for (let line = heading.line; line < end - 1; line += 1) {
+            if (fenced[line] === true)
+                continue;
+            const text = lines[line] ?? "";
+            // 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);
+            if (to !== null) {
+                pairs.push({ from: pendingFrom, to: cleanRenameName(to[1] ?? "") });
+                pendingFrom = null;
+            }
+        }
+        if (pendingFrom !== null)
+            pairs.push({ from: pendingFrom, to: null });
+        if (pairs.length === 0)
+            pairs.push({ from: null, to: null });
+        pairs.forEach((pair, pairIndex) => {
+            const key = `${path}:${heading.line}:${pairIndex + 1}`;
+            const requirementId = ownValue(mapped, key) ?? null;
+            output.push({
+                key,
+                path,
+                line: heading.line,
+                scope,
+                changeId: coordinates.changeId,
+                capability: coordinates.capability,
+                from: pair.from,
+                to: pair.to,
+                existingRequirementId: null,
+                requirementId,
+                status: requirementId === null ? "needsIdentity" : "mapped",
+            });
+        });
+    }
+    return output;
+}
+/**
+ * Record one shape loam cannot migrate.
+ *
+ * The finding is a record rather than three positional strings because code,
+ * path and message are all strings and nothing but their order distinguished
+ * them — two of the three were transposed at a call site once, and the report
+ * named the message as the path.
+ */
+export function issue(target, scope, finding) {
+    target.push({ ...finding, scope });
+}
+export function inspectLivingShape(path, raw, unsupported) {
+    const requirements = openspecRequirements(raw);
+    if (requirements.length === 0) {
+        issue(unsupported, "living", {
+            code: "openspec.living-empty",
+            path: path,
+            message: "Living spec has no parseable Requirement headings.",
+        });
+        return;
+    }
+    const outside = requirements.filter((requirement) => requirement.section === undefined || !isRequirementsHeading(requirement.section));
+    if (outside.length > 0) {
+        issue(unsupported, "living", {
+            code: "openspec.living-requirements-outside-section",
+            path: path,
+            message: `${outside.length} requirement(s) are outside the canonical ## Requirements section.`,
+        });
+    }
+    if (requirements.some((requirement) => requirement.kind !== "BASE")) {
+        issue(unsupported, "living", {
+            code: "openspec.living-delta-section",
+            path: path,
+            message: "Living spec contains delta-kind requirements.",
+        });
+    }
+}
+export function inspectChangeShape(unsupported, path, raw, found) {
+    const { scope, renames } = found;
+    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 === "") {
+            issue(unsupported, scope, {
+                code: "openspec.renamed-malformed",
+                path: path,
+                message: `RENAMED Requirements at line ${rename.line} must contain a FROM/TO pair.`,
+            });
+        }
+    }
+    if (requirements.length === 0) {
+        // A well-formed rename-only delta is meaningful even though the requirement
+        // parser correctly returns no requirement blocks for it.
+        if (fileRenames.length === 0) {
+            issue(unsupported, scope, {
+                code: "openspec.change-empty",
+                path: path,
+                message: "Change spec has no parseable Requirement headings.",
+            });
+        }
+        return;
+    }
+    // `## Requirements` is the heading OpenSpec's own living-spec template
+    // mandates, so this is the shape a team produces by copying a living spec into
+    // a change directory. It parses, it is counted, and nothing routes it: only
+    // delta-kind requirements reach the staged feature. Blocking is what keeps the
+    // per-change counters and what actually lands the same number.
+    const quoted = requirements.filter((requirement) => requirement.kind === "BASE"
+        && requirement.section !== undefined
+        && isRequirementsHeading(requirement.section));
+    if (quoted.length > 0) {
+        unsupported.push({
+            code: "openspec.change-quoted-requirements",
+            path,
+            message: `${quoted.length} requirement(s) sit under ## Requirements in a change delta, which stages nothing; re-home them under ADDED, MODIFIED, or REMOVED.`,
+            scope,
+        });
+    }
+    const stranded = requirements.filter((requirement) => requirement.kind === "BASE"
+        && (requirement.section === undefined || !isRequirementsHeading(requirement.section)));
+    if (stranded.length === requirements.length) {
+        issue(unsupported, scope, {
+            code: "openspec.change-without-delta-sections",
+            path: path,
+            message: "Change requirements are not under ADDED, MODIFIED, REMOVED, or the explicitly non-merging ## Requirements section.",
+        });
+    }
+    else if (stranded.length > 0) {
+        issue(unsupported, scope, {
+            code: "openspec.change-requirements-outside-delta-sections",
+            path: path,
+            message: `${stranded.length} requirement(s) would be stranded outside delta sections.`,
+        });
+    }
+}
+/**
+ * The parsed requirements come back with the counts because both callers wanted
+ * them and each opened the file a second time to get its own copy — two reads
+ * of the same bytes per spec.md, and two readings of it: the counts came from
+ * this parse while the requirement names, and the living corpus every rename is
+ * resolved against, came from the other. A file edited mid-audit could be
+ * counted from one of them and routed from the other.
+ */
+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 = openspecRequirements(raw);
+    const counts = { specFiles: 1, ...countsFor(requirements) };
+    const issueScope = kind === "living" ? "living" : scope ?? "active";
+    for (const problem of requirementIdProblems(requirements)) {
+        if (problem.kind === "invalid") {
+            issue(unsupported, issueScope, {
+                code: "openspec.requirement-id-invalid",
+                path: path,
+                message: `Requirement '${problem.requirement}' has invalid Requirement-ID '${problem.value}'; use [A-Za-z][A-Za-z0-9._-]{0,127}.`,
+            });
+        }
+        else if (problem.kind === "repeated") {
+            issue(unsupported, issueScope, {
+                code: "openspec.requirement-id-repeated",
+                path: path,
+                message: `Requirement '${problem.requirement}' declares Requirement-ID ${problem.values.length} times; keep exactly one identity line.`,
+            });
+        }
+        else {
+            issue(unsupported, issueScope, {
+                code: "openspec.requirement-id-duplicate",
+                path: path,
+                message: `Requirement-ID '${problem.id}' is shared by ${problem.requirements.map((name) => `'${name}'`).join(", ")}.`,
+            });
+        }
+    }
+    if (kind === "living") {
+        inspectLivingShape(path, raw, unsupported);
+    }
+    else {
+        const changeScope = scope ?? "active";
+        const usages = renameUsages(path, raw, changeScope, mapping.renames);
+        renamed.push(...usages);
+        inspectChangeShape(unsupported, path, raw, { scope: changeScope, renames: usages });
+    }
+    return { path, counts, requirements };
+}
+//# sourceMappingURL=shape.js.map

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

@@ -0,0 +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,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

@@ -0,0 +1,116 @@
+/**
+ * Reading the tree: which directories exist, which files are under them, which
+ * of them are symlinks, and the digest that binds a mapping to what was audited.
+ *
+ * Symlinks are enumerated rather than followed. The whole package reads
+ * somebody else's repository, so "what is under this directory" has to be a
+ * question about THIS workspace — a link out of it is a finding, never a file
+ * to walk into.
+ */
+import { createHash } from "node:crypto";
+import { lstat, readFile, readdir, stat } from "node:fs/promises";
+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) {
+    try {
+        return (await stat(path)).isDirectory();
+    }
+    catch {
+        return false;
+    }
+}
+export function portable(root, path) {
+    return relative(root, path).split(sep).join("/");
+}
+/** Stable inventory namespace: planning-root relative, with one explicit external prefix. */
+export function sourceInventoryPath(root, absolute) {
+    if (isPathInside(root, absolute))
+        return portable(root, absolute);
+    return `@workspace/${portable(dirname(root), absolute)}`;
+}
+export async function subdirs(path) {
+    if (!await isDirectory(path))
+        return [];
+    return (await readdir(path, { withFileTypes: true }))
+        .filter((entry) => entry.isDirectory() && !entry.name.startsWith("."))
+        .map((entry) => entry.name)
+        .sort(compareIds);
+}
+/**
+ * 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.
+ */
+export async function hiddenSubdirs(path) {
+    if (!await isDirectory(path))
+        return [];
+    return (await readdir(path, { withFileTypes: true }))
+        .filter((entry) => entry.isDirectory() && entry.name.startsWith("."))
+        .map((entry) => entry.name)
+        .sort(compareIds);
+}
+/**
+ * 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 links = [];
+    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.isSymbolicLink())
+                links.push(absolute);
+            else if (entry.isDirectory())
+                await walk(absolute);
+            else if (entry.isFile())
+                files.push(absolute);
+        }
+    };
+    if (await isDirectory(path))
+        await walk(path);
+    return { files, links };
+}
+export async function isSymbolicLink(path) {
+    try {
+        return (await lstat(path)).isSymbolicLink();
+    }
+    catch {
+        return false;
+    }
+}
+export async function yamlRecord(path) {
+    const parsed = parseYaml(await readFile(path, "utf8"));
+    const record = asRecord(parsed);
+    if (record === null)
+        throw new Error("expected a YAML mapping");
+    return record;
+}
+export async function digestInventory(root, files) {
+    const hash = createHash("sha256");
+    // v3 narrowed the covered set to living + active. The version string is what
+    // stops a v2 mapping from being accepted against a v3 reading of the same tree.
+    hash.update("loam-openspec-inventory-v3\0");
+    for (const absolute of [...new Set(files)].sort((a, b) => compareIds(sourceInventoryPath(root, a), sourceInventoryPath(root, b)))) {
+        const path = sourceInventoryPath(root, absolute);
+        const bytes = await readFile(absolute);
+        hash.update(`${path.length}:${path}:${bytes.length}:`);
+        hash.update(bytes);
+        hash.update("\0");
+    }
+    return `sha256:${hash.digest("hex")}`;
+}
+//# sourceMappingURL=walk.js.map

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

@@ -0,0 +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,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/openspec/scan/workspace.js

@@ -0,0 +1,71 @@
+/**
+ * Where the workspace is, how its paths are spelled, and the record every
+ * reader of it carries.
+ *
+ * `Ingest` exists because the five readers below it all need the same four
+ * things — the root, the mapping being checked, and the two lists they append
+ * findings to — and none of them may take four parameters plus its own. It is
+ * the read in progress, so the accumulators live in it: a scan that returned
+ * its findings instead would have to merge five arrays whose ORDER is what the
+ * `--json` contract pins.
+ */
+import { existsSync } from "node:fs";
+import { realpath } from "node:fs/promises";
+import { basename, dirname, join, resolve } from "node:path";
+import {} from "../model/mapping.js";
+import { OpenSpecRootError } from "../model/model.js";
+import { isDirectory, isSymbolicLink } from "./walk.js";
+export async function looksLikeOpenSpec(path) {
+    return existsSync(join(path, "config.yaml"))
+        || existsSync(join(path, "project.md"))
+        || existsSync(join(path, ".openspec.yaml"))
+        || await isDirectory(join(path, "specs"))
+        || await isDirectory(join(path, "changes"));
+}
+export async function locateOpenSpecRoot(input) {
+    const requestedRoot = resolve(input);
+    if (!await isDirectory(requestedRoot)) {
+        throw new OpenSpecRootError(`OpenSpec root is missing or is not a directory: ${requestedRoot}`);
+    }
+    const inputRoot = await realpath(requestedRoot);
+    const nested = join(inputRoot, "openspec");
+    const storeMarker = join(inputRoot, ".openspec-store", "store.yaml");
+    const hasNestedShape = await looksLikeOpenSpec(nested);
+    const hasDirectShape = await looksLikeOpenSpec(inputRoot);
+    if (hasNestedShape && hasDirectShape) {
+        throw new OpenSpecRootError(`Ambiguous OpenSpec root ${inputRoot}: both the directory itself and ${nested} contain OpenSpec planning shapes. Pass the intended root explicitly.`);
+    }
+    if (hasNestedShape) {
+        await assertPlanningRootNotLinked(nested);
+        return { inputRoot, root: nested, kind: existsSync(storeMarker) ? "store" : "project" };
+    }
+    // The shape decides the root, the Store marker only decides the kind. Deciding
+    // "store" first sent `root` to <store>/openspec for a checkout that keeps its
+    // planning shape at the checkout root: a directory that does not exist reads
+    // as an empty, fully compatible workspace, and apply then stages nothing.
+    if (hasDirectShape) {
+        const parentStoreMarker = basename(inputRoot) === "openspec"
+            ? join(dirname(inputRoot), ".openspec-store", "store.yaml")
+            : "";
+        const store = existsSync(storeMarker) || (parentStoreMarker !== "" && existsSync(parentStoreMarker));
+        return { inputRoot, root: inputRoot, kind: store ? "store" : "openspec-root" };
+    }
+    // OpenSpec stores may omit empty planning directories. Keep their canonical
+    // future root at <store>/openspec so paths do not change after the first spec
+    // — but only when that directory is really there. Auditing a root that does
+    // not exist is how a Store checkout came back `ready` over invisible content.
+    if (existsSync(storeMarker)) {
+        await assertPlanningRootNotLinked(nested);
+        if (!await isDirectory(nested)) {
+            throw new OpenSpecRootError(`Store checkout ${inputRoot} has no OpenSpec planning content: neither ${nested} nor config.yaml, project.md, specs/ or changes/ at the checkout root.`);
+        }
+        return { inputRoot, root: nested, kind: "store" };
+    }
+    throw new OpenSpecRootError(`No OpenSpec workspace found at ${inputRoot} (expected openspec/config.yaml, specs/, changes/, project.md, or .openspec-store/store.yaml).`);
+}
+export async function assertPlanningRootNotLinked(path) {
+    if (await isSymbolicLink(path)) {
+        throw new OpenSpecRootError(`OpenSpec planning root must not be a symbolic link: ${path}. Pass the canonical planning directory explicitly.`);
+    }
+}
+//# sourceMappingURL=workspace.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.js","sourceRoot":"","sources":["../../../../src/core/openspec/scan/workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAwB,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAA4D,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAChH,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAcxD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY;IAClD,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;WACvC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;WACpC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;WACxC,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;WACtC,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAAa;IAEb,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,iBAAiB,CAAC,mDAAmD,aAAa,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,aAAa,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,iBAAiB,EAAE,YAAY,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,cAAc,GAAG,MAAM,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,cAAc,IAAI,cAAc,EAAE,CAAC;QACrC,MAAM,IAAI,iBAAiB,CACzB,2BAA2B,SAAS,mCAAmC,MAAM,uEAAuE,CACrJ,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,2BAA2B,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAC1F,CAAC;IACD,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,0EAA0E;IAC1E,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,UAAU;YAC1D,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,iBAAiB,EAAE,YAAY,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,iBAAiB,KAAK,EAAE,IAAI,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACrG,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;IACjF,CAAC;IACD,4EAA4E;IAC5E,8EAA8E;IAC9E,4EAA4E;IAC5E,8EAA8E;IAC9E,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,MAAM,2BAA2B,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,iBAAiB,CACzB,kBAAkB,SAAS,8CAA8C,MAAM,wEAAwE,CACxJ,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACpD,CAAC;IACD,MAAM,IAAI,iBAAiB,CACzB,kCAAkC,SAAS,gGAAgG,CAC5I,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAAC,IAAY;IAC5D,IAAI,MAAM,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,iBAAiB,CACzB,uDAAuD,IAAI,qDAAqD,CACjH,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["/**\n * Where the workspace is, how its paths are spelled, and the record every\n * reader of it carries.\n *\n * `Ingest` exists because the five readers below it all need the same four\n * things — the root, the mapping being checked, and the two lists they append\n * findings to — and none of them may take four parameters plus its own. It is\n * the read in progress, so the accumulators live in it: a scan that returned\n * its findings instead would have to merge five arrays whose ORDER is what the\n * `--json` contract pins.\n */\nimport { existsSync } from \"node:fs\";\nimport { realpath } from \"node:fs/promises\";\nimport { basename, dirname, join, resolve } from \"node:path\";\nimport { type OpenSpecMapping } from \"../model/mapping.js\";\nimport { type OpenSpecRenamedUsage, type OpenSpecUnsupportedShape, OpenSpecRootError } from \"../model/model.js\";\nimport { isDirectory, isSymbolicLink } from \"./walk.js\";\n\n/** The one read of one OpenSpec workspace, in progress. */\nexport interface Ingest {\n  /** The canonical `openspec/` directory every path below is spelled relative to. */\n  root: string;\n  /** The mapping being graded against this workspace; empty when auditing. */\n  mapping: OpenSpecMapping;\n  /** Every RENAMED pair seen, resolved later against the living source. */\n  renamed: OpenSpecRenamedUsage[];\n  /** Shapes that block migration. Archive-scope findings go to their own list. */\n  unsupported: OpenSpecUnsupportedShape[];\n}\n\nexport async function looksLikeOpenSpec(path: string): Promise<boolean> {\n  return existsSync(join(path, \"config.yaml\"))\n    || existsSync(join(path, \"project.md\"))\n    || existsSync(join(path, \".openspec.yaml\"))\n    || await isDirectory(join(path, \"specs\"))\n    || await isDirectory(join(path, \"changes\"));\n}\n\nexport async function locateOpenSpecRoot(\n  input: string,\n): Promise<{ inputRoot: string; root: string; kind: \"project\" | \"store\" | \"openspec-root\" }> {\n  const requestedRoot = resolve(input);\n  if (!await isDirectory(requestedRoot)) {\n    throw new OpenSpecRootError(`OpenSpec root is missing or is not a directory: ${requestedRoot}`);\n  }\n  const inputRoot = await realpath(requestedRoot);\n  const nested = join(inputRoot, \"openspec\");\n  const storeMarker = join(inputRoot, \".openspec-store\", \"store.yaml\");\n  const hasNestedShape = await looksLikeOpenSpec(nested);\n  const hasDirectShape = await looksLikeOpenSpec(inputRoot);\n  if (hasNestedShape && hasDirectShape) {\n    throw new OpenSpecRootError(\n      `Ambiguous OpenSpec root ${inputRoot}: both the directory itself and ${nested} contain OpenSpec planning shapes. Pass the intended root explicitly.`,\n    );\n  }\n  if (hasNestedShape) {\n    await assertPlanningRootNotLinked(nested);\n    return { inputRoot, root: nested, kind: existsSync(storeMarker) ? \"store\" : \"project\" };\n  }\n  // The shape decides the root, the Store marker only decides the kind. Deciding\n  // \"store\" first sent `root` to <store>/openspec for a checkout that keeps its\n  // planning shape at the checkout root: a directory that does not exist reads\n  // as an empty, fully compatible workspace, and apply then stages nothing.\n  if (hasDirectShape) {\n    const parentStoreMarker = basename(inputRoot) === \"openspec\"\n      ? join(dirname(inputRoot), \".openspec-store\", \"store.yaml\")\n      : \"\";\n    const store = existsSync(storeMarker) || (parentStoreMarker !== \"\" && existsSync(parentStoreMarker));\n    return { inputRoot, root: inputRoot, kind: store ? \"store\" : \"openspec-root\" };\n  }\n  // OpenSpec stores may omit empty planning directories. Keep their canonical\n  // future root at <store>/openspec so paths do not change after the first spec\n  // — but only when that directory is really there. Auditing a root that does\n  // not exist is how a Store checkout came back `ready` over invisible content.\n  if (existsSync(storeMarker)) {\n    await assertPlanningRootNotLinked(nested);\n    if (!await isDirectory(nested)) {\n      throw new OpenSpecRootError(\n        `Store checkout ${inputRoot} has no OpenSpec planning content: neither ${nested} nor config.yaml, project.md, specs/ or changes/ at the checkout root.`,\n      );\n    }\n    return { inputRoot, root: nested, kind: \"store\" };\n  }\n  throw new OpenSpecRootError(\n    `No OpenSpec workspace found at ${inputRoot} (expected openspec/config.yaml, specs/, changes/, project.md, or .openspec-store/store.yaml).`,\n  );\n}\n\nexport async function assertPlanningRootNotLinked(path: string): Promise<void> {\n  if (await isSymbolicLink(path)) {\n    throw new OpenSpecRootError(\n      `OpenSpec planning root must not be a symbolic link: ${path}. Pass the canonical planning directory explicitly.`,\n    );\n  }\n}\n"]}