@rsaglobaltech/specgate 0.8.1 → 0.10.0

package/dist/packages/core/src/domain/MultiStack.js

@@ -0,0 +1,96 @@
+"use strict";
+/**
+ * What `init --multi-stack` decides, with no filesystem underneath it.
+ *
+ * The shape this produces exists because of one constraint that is easy to get
+ * wrong: three stacks implementing the same product share their *requirements*
+ * and their *scenarios*, and share nothing else. A requirement is the same
+ * sentence whether Spring or Quarkus implements it, and a Gherkin scenario
+ * describes behaviour, which is the point of writing it in Gherkin. But the
+ * traceability matrix maps a requirement to the file that implements it and the
+ * file that proves it, and those are different files in every stack — so the
+ * matrix cannot be shared, and neither can AI_RULES.md, which is the rulebook
+ * for one toolchain.
+ *
+ * Sharing the first set and splitting the second is the whole design. Copying
+ * everything would be simpler and would be a lie: editing the spec in one
+ * project would leave the other two describing a different product.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InvalidStackList = exports.PER_STACK_PATHS = exports.SHARED_PATHS = void 0;
+exports.planStacks = planStacks;
+exports.renderSpecopsConfig = renderSpecopsConfig;
+exports.relativeToRoot = relativeToRoot;
+/** Paths that are one artifact for the whole tree, held at the root. */
+exports.SHARED_PATHS = ["spec.md", "features", "docs/specs/adr"];
+/** Paths each stack owns outright — they name files that differ per toolchain. */
+exports.PER_STACK_PATHS = ["AI_RULES.md", "README.md", "docs/specs/traceability.md"];
+class InvalidStackList extends Error {
+}
+exports.InvalidStackList = InvalidStackList;
+/**
+ * Turn `--multi-stack spring,quarkus,micronaut` into the plan.
+ *
+ * Each name becomes a directory, so it has to survive being one. A stack called
+ * `../etc` would write outside the root the user named, and `projects:` already
+ * accepts relative paths that nobody checks stay inside the repository (#103) —
+ * no reason to open a second door to the same place.
+ */
+function planStacks(raw) {
+    if (typeof raw !== "string" || raw.trim() === "") {
+        throw new InvalidStackList("--multi-stack needs a comma-separated list, e.g. spring,quarkus");
+    }
+    const names = raw
+        .split(",")
+        .map((s) => s.trim())
+        .filter((s) => s !== "");
+    if (names.length < 2) {
+        throw new InvalidStackList(`--multi-stack needs at least two stacks (got ${names.length === 1 ? `'${names[0]}'` : "none"}) — ` +
+            "for one stack, plain `specgate init` is the command");
+    }
+    const seen = new Set();
+    for (const name of names) {
+        if (!/^[a-z0-9][a-z0-9._-]*$/i.test(name)) {
+            throw new InvalidStackList(`'${name}' is not usable as a directory name — use letters, digits, dot, dash or underscore`);
+        }
+        if (name === "." || name === ".." || name.includes("..")) {
+            throw new InvalidStackList(`'${name}' would write outside the project root`);
+        }
+        const key = name.toLowerCase();
+        if (seen.has(key)) {
+            throw new InvalidStackList(`'${name}' is listed twice — each stack is one directory`);
+        }
+        seen.add(key);
+    }
+    return { stacks: names.map((name) => ({ name, entry: `./${name}` })) };
+}
+/**
+ * The `projects:` list `validate`, `plan`, `status` and `report` already fan out
+ * over. Written by hand rather than through a YAML library because the rest of
+ * this project reads it with `parseYamlLite`, and a writer that can emit
+ * something its own reader rejects is worse than no writer.
+ */
+function renderSpecopsConfig(plan, projectName) {
+    return (`# Generated by \`specgate init --multi-stack\`.\n` +
+        `#\n` +
+        `# Every entry is validated as a project in its own right. The spec and the\n` +
+        `# scenarios live once, at this root; each stack below carries its own\n` +
+        `# traceability matrix, because the files that implement and prove a\n` +
+        `# requirement are different files in every stack.\n` +
+        `name: ${projectName}\n` +
+        `projects:\n` +
+        plan.stacks.map((s) => `  - ${s.entry}\n`).join(""));
+}
+/**
+ * Where a shared path sits, seen from inside a stack directory.
+ *
+ * `docs/specs/adr` is two levels down, so the link back is not the same depth
+ * as the one for `spec.md`. Getting this wrong produces a link that resolves to
+ * nothing and a validate run that reports a missing required file, which is a
+ * confusing way to learn about an off-by-one.
+ */
+function relativeToRoot(sharedPath) {
+    const depth = sharedPath.split("/").length;
+    return "../".repeat(depth) + sharedPath;
+}
+//# sourceMappingURL=MultiStack.js.map

package/dist/packages/core/src/domain/MultiStack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MultiStack.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/MultiStack.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AA6BH,gCAmCC;AAQD,kDAYC;AAUD,wCAGC;AA/FD,wEAAwE;AAC3D,QAAA,YAAY,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,gBAAgB,CAAU,CAAC;AAE/E,kFAAkF;AACrE,QAAA,eAAe,GAAG,CAAC,aAAa,EAAE,WAAW,EAAE,4BAA4B,CAAU,CAAC;AAanG,MAAa,gBAAiB,SAAQ,KAAK;CAAG;AAA9C,4CAA8C;AAE9C;;;;;;;GAOG;AACH,SAAgB,UAAU,CAAC,GAAW;IACpC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,gBAAgB,CAAC,iEAAiE,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,KAAK,GAAG,GAAG;SACd,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAE3B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,gBAAgB,CACxB,gDAAgD,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,MAAM;YACjG,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,gBAAgB,CACxB,IAAI,IAAI,oFAAoF,CAC7F,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,gBAAgB,CAAC,IAAI,IAAI,wCAAwC,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,gBAAgB,CAAC,IAAI,IAAI,iDAAiD,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,IAAoB,EAAE,WAAmB;IAC3E,OAAO,CACL,mDAAmD;QACnD,KAAK;QACL,8EAA8E;QAC9E,yEAAyE;QACzE,uEAAuE;QACvE,qDAAqD;QACrD,SAAS,WAAW,IAAI;QACxB,aAAa;QACb,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CACpD,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,cAAc,CAAC,UAAkB;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;AAC1C,CAAC"}

package/dist/packages/core/src/domain/NewRequirement.js

@@ -0,0 +1,46 @@
+"use strict";
+/**
+ * What `specgate new` writes for a requirement: a slug for its feature file
+ * and a tagged scenario of placeholders for a person to rewrite.
+ *
+ * The placeholders are deliberate. A scenario the tool invents would read as
+ * a decision nobody made; `<the observable outcome>` reads as a question. The
+ * gate leaves them alone while the requirement is Draft and refuses them once
+ * it is delivered (`scenario_placeholder_step`).
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.slugFor = slugFor;
+exports.scenarioBlock = scenarioBlock;
+exports.featureWithScenario = featureWithScenario;
+const MAX_SLUG_WORDS = 6;
+/** `Totals are rounded half-up` → `totals-are-rounded-half-up`. */
+function slugFor(title) {
+    const words = title
+        .normalize("NFKD")
+        .replace(/[̀-ͯ]/g, "")
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, " ")
+        .trim()
+        .split(/\s+/)
+        .filter(Boolean)
+        .slice(0, MAX_SLUG_WORDS);
+    return words.join("-") || "requirement";
+}
+/** The scenario, tagged so `validate` can tie it to its matrix row. */
+function scenarioBlock(reqId, scenarioId, title) {
+    return [
+        `  @${reqId} @${scenarioId}`,
+        `  Scenario: ${title}`,
+        "    Given <the state before the action>",
+        "    When <the action under test>",
+        "    Then <the observable outcome>",
+        "",
+    ].join("\n");
+}
+/** A new feature file, or the scenario appended to an existing one. */
+function featureWithScenario(existing, title, block) {
+    if (existing === null)
+        return `Feature: ${title}\n\n${block}`;
+    return `${existing.replace(/\s*$/, "")}\n\n${block}`;
+}
+//# sourceMappingURL=NewRequirement.js.map

package/dist/packages/core/src/domain/NewRequirement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NewRequirement.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/NewRequirement.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AAKH,0BAWC;AAGD,sCASC;AAGD,kDAGC;AAhCD,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB,mEAAmE;AACnE,SAAgB,OAAO,CAAC,KAAa;IACnC,MAAM,KAAK,GAAG,KAAK;SAChB,SAAS,CAAC,MAAM,CAAC;SACjB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,IAAI,EAAE;SACN,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC;SACf,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,SAAgB,aAAa,CAAC,KAAa,EAAE,UAAkB,EAAE,KAAa;IAC5E,OAAO;QACL,MAAM,KAAK,KAAK,UAAU,EAAE;QAC5B,eAAe,KAAK,EAAE;QACtB,yCAAyC;QACzC,kCAAkC;QAClC,mCAAmC;QACnC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,uEAAuE;AACvE,SAAgB,mBAAmB,CAAC,QAAuB,EAAE,KAAa,EAAE,KAAa;IACvF,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,YAAY,KAAK,OAAO,KAAK,EAAE,CAAC;IAC9D,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC;AACvD,CAAC"}

package/dist/packages/core/src/domain/Precedents.js

@@ -0,0 +1,96 @@
+"use strict";
+/**
+ * Which already-accepted requirement an agent should be shown as an example (D2).
+ *
+ * ## What the prompt is missing
+ *
+ * `buildPrompt` injects the requirement's facts, its Gherkin, `AI_RULES.md` and
+ * the definition of done. Every one of those is **normative** — it says what
+ * must be true. None of them is an *example*: an agent with no conversation
+ * history has never seen what an accepted implementation looks like in this
+ * repository, so it invents a house style and the reviewer spends the next
+ * attempt correcting it.
+ *
+ * A precedent is the cheapest possible answer: here is a requirement that was
+ * accepted, here is its test, here is its production code.
+ *
+ * ## Why the same bounded context
+ *
+ * A precedent from a different part of the system is worse than none — it
+ * teaches conventions that do not apply here, with the authority of "this was
+ * accepted". D1 already derives each requirement's bounded context and records
+ * it on the trace line, so "the same context" is a question the tool can answer
+ * rather than a guess from a path.
+ *
+ * When a project has no contexts at all, every requirement shares the empty
+ * one, which is the right answer for a codebase that has not been divided yet.
+ *
+ * ## Why only Verified
+ *
+ * `Implemented` means the code exists. `Verified` means somebody checked it.
+ * Showing an agent an unverified implementation as a precedent would propagate
+ * whatever is wrong with it, and do so as an example to copy.
+ *
+ * ## Why this module reads nothing
+ *
+ * Choosing the precedent is a rule; reading the files is I/O. Keeping them
+ * apart is what lets every case below be tested without a repository.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.choosePrecedent = choosePrecedent;
+exports.excerpt = excerpt;
+/** A path cell that names nothing. The matrix uses several spellings of "no". */
+function isPlaceholder(cell) {
+    const value = String(cell || "")
+        .replace(/`/g, "")
+        .trim();
+    return value === "" || value === "-" || value === "—" || /^tbd$/i.test(value);
+}
+function clean(cell) {
+    return String(cell || "")
+        .replace(/`/g, "")
+        .trim();
+}
+/**
+ * The most recent accepted requirement in `forRequirement`'s bounded context.
+ *
+ * "Most recent" is the highest requirement id below the current one, which is
+ * the order they were written in. Returns `null` when there is nothing worth
+ * showing — no verified sibling, or one with no artifacts to point at.
+ */
+function choosePrecedent(rows, contexts, forRequirement) {
+    const own = contexts[forRequirement] || "";
+    const candidates = rows
+        .filter((row) => row.requirementId && row.requirementId !== forRequirement)
+        .filter((row) => /^verified$/i.test(String(row.status || "").trim()))
+        .filter((row) => (contexts[row.requirementId] || "") === own)
+        // A precedent with neither a test nor an implementation to look at is not a
+        // precedent; it is a row.
+        .filter((row) => !isPlaceholder(row.testArtifact) || !isPlaceholder(row.technicalArtifact))
+        // Ids sort lexically the way they were written: REQ-002 before REQ-010
+        // requires the padding the format already guarantees.
+        .filter((row) => row.requirementId < forRequirement)
+        .sort((a, b) => b.requirementId.localeCompare(a.requirementId));
+    const best = candidates[0];
+    if (!best)
+        return null;
+    return {
+        requirementId: best.requirementId,
+        testArtifact: isPlaceholder(best.testArtifact) ? "" : clean(best.testArtifact),
+        technicalArtifact: isPlaceholder(best.technicalArtifact) ? "" : clean(best.technicalArtifact),
+    };
+}
+/**
+ * The first `lines` lines of a file's content, marked when it was cut short.
+ *
+ * A precedent is an example of shape, not a file to read: a thousand-line class
+ * in the prompt costs tokens the agent needs for its own work, and the part
+ * that teaches the convention is the top.
+ */
+function excerpt(content, lines = 40) {
+    const all = String(content || "").split("\n");
+    if (all.length <= lines)
+        return all.join("\n").trimEnd();
+    return `${all.slice(0, lines).join("\n").trimEnd()}\n… (${all.length - lines} more lines)`;
+}
+//# sourceMappingURL=Precedents.js.map

package/dist/packages/core/src/domain/Precedents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Precedents.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/Precedents.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;;AAoCH,0CA2BC;AASD,0BAIC;AA7DD,iFAAiF;AACjF,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;SAC7B,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;SACjB,IAAI,EAAE,CAAC;IACV,OAAO,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;SACjB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe,CAC7B,IAA6B,EAC7B,QAA0C,EAC1C,cAAsB;IAEtB,MAAM,GAAG,GAAG,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;IAE3C,MAAM,UAAU,GAAG,IAAI;SACpB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,KAAK,cAAc,CAAC;SAC1E,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SACpE,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,KAAK,GAAG,CAAC;QAC7D,4EAA4E;QAC5E,0BAA0B;SACzB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC3F,uEAAuE;QACvE,sDAAsD;SACrD,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,GAAG,cAAc,CAAC;SACnD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAElE,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,OAAO;QACL,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,YAAY,EAAE,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9E,iBAAiB,EAAE,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,OAAO,CAAC,OAAe,EAAE,KAAK,GAAG,EAAE;IACjD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;IACzD,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,GAAG,CAAC,MAAM,GAAG,KAAK,cAAc,CAAC;AAC7F,CAAC"}

package/dist/packages/core/src/domain/RequirementPlan.js

@@ -48,6 +48,7 @@ class RequirementPlan {
             technical_exists: techExists,
             test_exists: testExists,
             category,
+            title: row.useCase || "",
         };
     }
     static buildSummary(items) {

package/dist/packages/core/src/domain/RequirementPlan.js.map

@@ -1 +1 @@
-{"version":3,"file":"RequirementPlan.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/RequirementPlan.ts"],"names":[],"mappings":";;;AAiDA,MAAa,eAAe;IACnB,MAAM,CAAU,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IACjF,MAAM,CAAU,cAAc,GAAG,0BAA0B,CAAC;IAE5D,MAAM,CAAC,YAAY,CAAC,KAAU;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,CAAC,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IAEM,MAAM,CAAC,WAAW,CACvB,GAAiB,EACjB,WAAyC;QAEzC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEzC,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACzE,MAAM,YAAY,GAAG,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACpE,MAAM,UAAU,GAAG,YAAY,IAAI,WAAW,CAAC,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC5E,MAAM,UAAU,GAAG,YAAY,IAAI,WAAW,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAEnE,IAAI,QAAsB,CAAC;QAC3B,IAAI,CAAC,aAAa;YAAE,QAAQ,GAAG,eAAe,CAAC;aAC1C,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY;YAAE,QAAQ,GAAG,kBAAkB,CAAC;aAClE,IAAI,YAAY,IAAI,CAAC,UAAU,IAAI,YAAY,IAAI,CAAC,UAAU;YACjE,QAAQ,GAAG,kBAAkB,CAAC;aAC3B,IAAI,YAAY,IAAI,CAAC,UAAU;YAAE,QAAQ,GAAG,YAAY,CAAC;aACzD,IAAI,YAAY,IAAI,CAAC,UAAU;YAAE,QAAQ,GAAG,sBAAsB,CAAC;aACnE,IAAI,CAAC,MAAM;YAAE,QAAQ,GAAG,qBAAqB,CAAC;;YAC9C,QAAQ,GAAG,MAAM,CAAC;QAEvB,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,WAAW,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE;YACjC,YAAY,EAAE,GAAG,CAAC,WAAW,IAAI,EAAE;YACnC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,IAAI,EAAE;YAC/C,aAAa,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;YACxB,cAAc,EAAE,aAAa;YAC7B,gBAAgB,EAAE,UAAU;YAC5B,WAAW,EAAE,UAAU;YACvB,QAAQ;SACT,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,YAAY,CAAC,KAAiB;QAC1C,MAAM,OAAO,GAAgB;YAC3B,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,IAAI,EAAE,CAAC;YACP,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,CAAC;YACb,oBAAoB,EAAE,CAAC;YACvB,mBAAmB,EAAE,CAAC;YACtB,gBAAgB,EAAE,CAAC;YACnB,OAAO,EAAE,CAAC;SACX,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM;gBAAE,OAAO,CAAC,IAAI,EAAE,CAAC;iBACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,eAAe;gBAAE,OAAO,CAAC,aAAa,EAAE,CAAC;iBAC/D,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY;gBAAE,OAAO,CAAC,UAAU,EAAE,CAAC;iBACzD,IAAI,IAAI,CAAC,QAAQ,KAAK,sBAAsB;gBAAE,OAAO,CAAC,oBAAoB,EAAE,CAAC;iBAC7E,IAAI,IAAI,CAAC,QAAQ,KAAK,qBAAqB;gBAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC;iBAC3E,IAAI,IAAI,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAE1E,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;;AA3EH,0CA4EC"}
+{"version":3,"file":"RequirementPlan.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/RequirementPlan.ts"],"names":[],"mappings":";;;AAmDA,MAAa,eAAe;IACnB,MAAM,CAAU,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IACjF,MAAM,CAAU,cAAc,GAAG,0BAA0B,CAAC;IAE5D,MAAM,CAAC,YAAY,CAAC,KAAU;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,CAAC,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IAEM,MAAM,CAAC,WAAW,CACvB,GAAiB,EACjB,WAAyC;QAEzC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEzC,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACzE,MAAM,YAAY,GAAG,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACpE,MAAM,UAAU,GAAG,YAAY,IAAI,WAAW,CAAC,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC5E,MAAM,UAAU,GAAG,YAAY,IAAI,WAAW,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAEnE,IAAI,QAAsB,CAAC;QAC3B,IAAI,CAAC,aAAa;YAAE,QAAQ,GAAG,eAAe,CAAC;aAC1C,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY;YAAE,QAAQ,GAAG,kBAAkB,CAAC;aAClE,IAAI,YAAY,IAAI,CAAC,UAAU,IAAI,YAAY,IAAI,CAAC,UAAU;YACjE,QAAQ,GAAG,kBAAkB,CAAC;aAC3B,IAAI,YAAY,IAAI,CAAC,UAAU;YAAE,QAAQ,GAAG,YAAY,CAAC;aACzD,IAAI,YAAY,IAAI,CAAC,UAAU;YAAE,QAAQ,GAAG,sBAAsB,CAAC;aACnE,IAAI,CAAC,MAAM;YAAE,QAAQ,GAAG,qBAAqB,CAAC;;YAC9C,QAAQ,GAAG,MAAM,CAAC;QAEvB,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,WAAW,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE;YACjC,YAAY,EAAE,GAAG,CAAC,WAAW,IAAI,EAAE;YACnC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,IAAI,EAAE;YAC/C,aAAa,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;YACxB,cAAc,EAAE,aAAa;YAC7B,gBAAgB,EAAE,UAAU;YAC5B,WAAW,EAAE,UAAU;YACvB,QAAQ;YACR,KAAK,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE;SACzB,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,YAAY,CAAC,KAAiB;QAC1C,MAAM,OAAO,GAAgB;YAC3B,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,IAAI,EAAE,CAAC;YACP,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,CAAC;YACb,oBAAoB,EAAE,CAAC;YACvB,mBAAmB,EAAE,CAAC;YACtB,gBAAgB,EAAE,CAAC;YACnB,OAAO,EAAE,CAAC;SACX,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM;gBAAE,OAAO,CAAC,IAAI,EAAE,CAAC;iBACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,eAAe;gBAAE,OAAO,CAAC,aAAa,EAAE,CAAC;iBAC/D,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY;gBAAE,OAAO,CAAC,UAAU,EAAE,CAAC;iBACzD,IAAI,IAAI,CAAC,QAAQ,KAAK,sBAAsB;gBAAE,OAAO,CAAC,oBAAoB,EAAE,CAAC;iBAC7E,IAAI,IAAI,CAAC,QAAQ,KAAK,qBAAqB;gBAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC;iBAC3E,IAAI,IAAI,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAE1E,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;;AA5EH,0CA6EC"}

package/dist/packages/core/src/domain/RequirementRemoval.js

@@ -0,0 +1,161 @@
+"use strict";
+/**
+ * Taking a requirement back out (Fase 4.1).
+ *
+ * `req add` had no counterpart. When the matrix got into a state somebody
+ * wanted to undo, two of three cold adoptions repaired it by hand with a
+ * script, because nothing supported it: *"There is no `req rm`/renumber, so I
+ * repaired it with a script."*
+ *
+ * The trigger for that was a defect — `req add` reissuing an id that `adopt`
+ * had already seeded — and that defect is fixed. The gap is not: a matrix a
+ * team cannot delete a row from is not a document a team can maintain.
+ *
+ * ## Why there is no `req renumber`
+ *
+ * It was the other half of what they asked for, and it is deliberately not
+ * here. A requirement id is not only a cell in this table: it appears in
+ * `@REQ-014` Gherkin tags, in test names, in commit messages, in branch names
+ * the harness created, and in whatever a team wrote in their own tracker.
+ * Renumbering the two files this tool owns while every other mention keeps the
+ * old id would leave a project in a worse state than the one it was trying to
+ * fix, and a rename that silently covers 60% of the occurrences is exactly the
+ * kind of half-promise this repository keeps finding in itself.
+ *
+ * Deleting is honest because it is complete: the row and the prose go, and the
+ * caller is told what it did *not* touch.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isDelivered = isDelivered;
+exports.planRemoval = planRemoval;
+exports.removeMatrixRows = removeMatrixRows;
+exports.removeSpecProse = removeSpecProse;
+const DRAFT = "Draft";
+/** Statuses that mean somebody recorded this requirement as delivered. */
+function isDelivered(status) {
+    const s = String(status || "").trim();
+    return s !== "" && s !== DRAFT;
+}
+function cells(line) {
+    return line.split("|").map((c) => c.trim());
+}
+/**
+ * What removing `reqId` would take out of the matrix.
+ *
+ * `otherRowsUseFeature` decides whether a declared feature file becomes an
+ * orphan: a feature still referenced by another row is nobody's problem.
+ */
+function planRemoval(traceContent, reqId, specContent) {
+    const wanted = String(reqId || "").trim();
+    const lines = String(traceContent || "")
+        .replace(/\r\n/g, "\n")
+        .split("\n");
+    const rows = [];
+    const statuses = [];
+    const declaredFeatures = [];
+    const featuresElsewhere = new Set();
+    for (const line of lines) {
+        const trimmed = line.trim();
+        if (!trimmed.startsWith("|") || trimmed.includes("---"))
+            continue;
+        const c = cells(trimmed);
+        if (c.length < 4)
+            continue;
+        const rowId = c[1];
+        if (!/^REQ-/.test(rowId))
+            continue;
+        const feature = (c[3] || "").replace(/^`|`$/g, "").split("#")[0].trim();
+        if (rowId === wanted) {
+            rows.push(line);
+            statuses.push(c[c.length - 2] || "");
+            if (feature && feature !== "-")
+                declaredFeatures.push(feature);
+        }
+        else if (feature && feature !== "-") {
+            featuresElsewhere.add(feature);
+        }
+    }
+    return {
+        rows,
+        statuses,
+        orphanedFeatures: [...new Set(declaredFeatures)].filter((f) => !featuresElsewhere.has(f)),
+        hasProse: hasProseFor(specContent, wanted),
+    };
+}
+/** Every requirement id a piece of text names. Static: never built from input. */
+const REQ_ID = /\bREQ-[A-Za-z0-9.]+\b/g;
+const HEADING = /^#{2,4}\s+/;
+function namedIds(text) {
+    return text.match(REQ_ID) || [];
+}
+/** `| REQ-014 | …` — the id in a table row's first cell, or null. */
+function firstCellId(trimmedLine) {
+    if (!trimmedLine.startsWith("|"))
+        return null;
+    const first = trimmedLine.split("|")[1];
+    return first === undefined ? null : first.trim();
+}
+function hasProseFor(specContent, reqId) {
+    if (!reqId)
+        return false;
+    for (const line of String(specContent || "")
+        .replace(/\r\n/g, "\n")
+        .split("\n")) {
+        const trimmed = line.trim();
+        if (HEADING.test(trimmed) && namedIds(trimmed).includes(reqId))
+            return true;
+        if (firstCellId(trimmed) === reqId)
+            return true;
+    }
+    return false;
+}
+/** The matrix without `reqId`'s rows. */
+function removeMatrixRows(traceContent, reqId) {
+    const wanted = String(reqId || "").trim();
+    return String(traceContent || "")
+        .replace(/\r\n/g, "\n")
+        .split("\n")
+        .filter((line) => {
+        const trimmed = line.trim();
+        if (!trimmed.startsWith("|"))
+            return true;
+        const c = cells(trimmed);
+        return c.length < 2 || c[1] !== wanted;
+    })
+        .join("\n");
+}
+/**
+ * `spec.md` without `reqId`'s section or table row.
+ *
+ * A section runs until the next heading of the same level or higher, matching
+ * how `SpecSections` reads it back — the two have to agree or removal leaves
+ * half a section behind.
+ */
+function removeSpecProse(specContent, reqId) {
+    const wanted = String(reqId || "").trim();
+    const lines = String(specContent || "")
+        .replace(/\r\n/g, "\n")
+        .split("\n");
+    const kept = [];
+    let skipUntilLevel = 0;
+    for (const line of lines) {
+        const trimmed = line.trim();
+        const heading = /^(#{1,6})\s+\S/.exec(trimmed);
+        if (skipUntilLevel > 0) {
+            if (heading && heading[1].length <= skipUntilLevel)
+                skipUntilLevel = 0;
+            else
+                continue;
+        }
+        const reqHeading = /^(#{2,4})\s+(.*)$/.exec(trimmed);
+        if (reqHeading && namedIds(reqHeading[2]).includes(wanted)) {
+            skipUntilLevel = reqHeading[1].length;
+            continue;
+        }
+        if (firstCellId(trimmed) === wanted)
+            continue;
+        kept.push(line);
+    }
+    return kept.join("\n").replace(/\n{3,}/g, "\n\n");
+}
+//# sourceMappingURL=RequirementRemoval.js.map

package/dist/packages/core/src/domain/RequirementRemoval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RequirementRemoval.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/RequirementRemoval.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;;AAgBH,kCAGC;AAYD,kCAoCC;AA8BD,4CAYC;AASD,0CA6BC;AAtID,MAAM,KAAK,GAAG,OAAO,CAAC;AAEtB,0EAA0E;AAC1E,SAAgB,WAAW,CAAC,MAAc;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,CAAC;AACjC,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,WAAW,CAAC,YAAoB,EAAE,KAAa,EAAE,WAAmB;IAClF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;SACrC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;SACtB,KAAK,CAAC,IAAI,CAAC,CAAC;IAEf,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAClE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QAEnC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAExE,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrC,IAAI,OAAO,IAAI,OAAO,KAAK,GAAG;gBAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,OAAO,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YACtC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,gBAAgB,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzF,QAAQ,EAAE,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,MAAM,GAAG,wBAAwB,CAAC;AACxC,MAAM,OAAO,GAAG,YAAY,CAAC;AAE7B,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,qEAAqE;AACrE,SAAS,WAAW,CAAC,WAAmB;IACtC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,WAAmB,EAAE,KAAa;IACrD,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;SACzC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;SACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5E,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,SAAgB,gBAAgB,CAAC,YAAoB,EAAE,KAAa;IAClE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,OAAO,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;SAC9B,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;SACtB,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;QACzB,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;IACzC,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe,CAAC,WAAmB,EAAE,KAAa;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;SACpC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;SACtB,KAAK,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAE/C,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,cAAc;gBAAE,cAAc,GAAG,CAAC,CAAC;;gBAClE,SAAS;QAChB,CAAC;QAED,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,IAAI,UAAU,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3D,cAAc,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACtC,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,MAAM;YAAE,SAAS;QAE9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AACpD,CAAC"}

package/dist/packages/core/src/domain/ScenarioCoverage.js

@@ -0,0 +1,178 @@
+"use strict";
+/**
+ * Does anything actually prove this scenario? (#168)
+ *
+ * A matrix row names one `Scenario ID` and one feature file. The file may hold
+ * five scenarios. Nothing related the other four to anything, so a scenario
+ * could be declared and never tested while every gate stayed green — measured,
+ * with `--strict-tdd --strict-scenarios --strict-links` all on at once.
+ *
+ * That is not a theoretical hole. Handed five scenarios where one contradicted
+ * another, an agent wrote tests for four and silently skipped the impossible
+ * one; the gate approved and the row went to `Implemented`. The scenario it
+ * dropped was precisely the one worth knowing about.
+ *
+ * ## Why matching by name is the right amount of cleverness
+ *
+ * This tool does not run the test suite and cannot know which assertion
+ * corresponds to which scenario. What it can check is that the scenario is
+ * *named* in the artifact the matrix says proves it. That works because it is
+ * what people and agents already do without being asked — `test('SCN-012 money
+ * is rounded half-up')` was written by an agent nobody instructed to do so.
+ *
+ * It is a heuristic, and it is stated as one: this lives behind
+ * `--strict-coverage` rather than in the default gate, because a project that
+ * names its tests some other way would fail through no fault of its own.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalise = normalise;
+exports.scenariosIn = scenariosIn;
+exports.uncoveredScenarios = uncoveredScenarios;
+exports.linkIsUnevidenced = linkIsUnevidenced;
+exports.usesNamingConvention = usesNamingConvention;
+exports.skippedScenarios = skippedScenarios;
+const SCENARIO_LINE = /^(\s*)(Scenario Outline|Scenario|Escenario|Example)\s*:\s*(.*)$/;
+const TAG_LINE = /^\s*@/;
+const SCN_ID = /\b(SCN-[A-Za-z0-9.]+)\b/;
+/** Lowercase alphanumerics only, so punctuation and case cannot break a match. */
+function normalise(text) {
+    return text.toLowerCase().replace(/[^a-z0-9]+/g, "");
+}
+/**
+ * Every scenario in a feature file, with what would identify it in a test.
+ *
+ * Scenario Outlines count: an outline with Examples is still behaviour someone
+ * promised, and skipping it would leave the widest scenarios unchecked.
+ */
+function scenariosIn(featureSource) {
+    const lines = featureSource.replace(/\r\n/g, "\n").split("\n");
+    const out = [];
+    for (let i = 0; i < lines.length; i += 1) {
+        const match = SCENARIO_LINE.exec(lines[i]);
+        if (!match)
+            continue;
+        const title = match[3].trim();
+        if (title === "")
+            continue;
+        const needles = [];
+        // A tag on the line above is the strongest identity: it survives a rename,
+        // which is the one edit that otherwise defeats every link to a scenario.
+        if (i > 0 && TAG_LINE.test(lines[i - 1])) {
+            const tagged = SCN_ID.exec(lines[i - 1]);
+            if (tagged)
+                needles.push(tagged[1]);
+        }
+        const inTitle = SCN_ID.exec(title);
+        if (inTitle && !needles.includes(inTitle[1]))
+            needles.push(inTitle[1]);
+        // Without an id anywhere, the title is all there is.
+        if (needles.length === 0)
+            needles.push(title);
+        out.push({ title, needles });
+    }
+    return out;
+}
+/**
+ * The scenarios none of `testSources` mentions.
+ *
+ * `testSources` is every file the matrix declares as proof for this row — one
+ * file usually, but a directory expands to several, and a scenario proved in
+ * any of them is proved.
+ */
+function uncoveredScenarios(featureSource, testSources) {
+    const haystack = testSources.map(normalise).join("\n");
+    if (haystack === "")
+        return scenariosIn(featureSource);
+    return scenariosIn(featureSource).filter((scenario) => !scenario.needles.some((needle) => haystack.includes(normalise(needle))));
+}
+/**
+ * A declared test artifact that names neither the requirement nor any of its
+ * scenarios (Fase 1.2).
+ *
+ * `--strict-links` is `fs.existsSync` and nothing more, so a link that merely
+ * *lies* passes: measured on a real adoption, a "Vet" requirement ended up
+ * declaring `PetValidatorTests.java` as its proof and every gate stayed green.
+ * `uncoveredScenarios` catches that whenever the row has scenarios to name —
+ * but the rows that lie most easily are the ones `adopt` seeds, which have a
+ * use case and no scenario at all, so there is nothing to match and the check
+ * skips them.
+ *
+ * For those, the requirement id is the only available evidence: a test file
+ * that mentions neither `REQ-014` nor any scenario of REQ-014 is not visibly
+ * proving REQ-014.
+ *
+ * Returns true when the link has no evidence in it.
+ *
+ * ## The limit, stated rather than hidden
+ *
+ * This says the artifact does not *mention* the requirement. It cannot say the
+ * artifact does not *prove* it — that needs the suite executed and coverage
+ * attributed per test, which this tool does not do. Naming is a proxy, and the
+ * flag it lives behind is opt-in for exactly that reason.
+ */
+function linkIsUnevidenced(requirementId, featureSource, testSources) {
+    if (!requirementId)
+        return false;
+    const haystack = testSources.map(normalise).join("\n");
+    if (haystack === "")
+        return true;
+    if (haystack.includes(normalise(requirementId)))
+        return false;
+    return !scenariosIn(featureSource).some((scenario) => scenario.needles.some((needle) => haystack.includes(normalise(needle))));
+}
+/**
+ * Does this project name requirements or scenarios in its tests at all?
+ *
+ * ## Why the check has to ask this first
+ *
+ * `--strict-coverage` matches names, and that works because agents and people
+ * writing tests alongside scenarios do it without being asked. It does **not**
+ * work for the case this product leads with. Retro-fitting specs onto a
+ * brownfield repository means pointing a row at a test that already exists and
+ * was written years before anyone had heard of this tool — and the only way to
+ * satisfy a name match there is to edit that test.
+ *
+ * Which is exactly what `adopt` promises it will never make you do. Measured on
+ * a real adoption: every retro-fitted row failed `link_without_evidence`, and
+ * the only fix was to write `REQ-006` into someone's existing test file. A gate
+ * that contradicts the product's headline promise is not a gate, it is a
+ * reason to stop using the product.
+ *
+ * So the check calibrates on the project instead of assuming. If some tests
+ * name their requirements and others do not, the silent ones are worth
+ * reporting. If none do, the convention is not in use here and the honest
+ * answer is to say the check could not run — not to fail every row for
+ * following a convention nobody adopted.
+ */
+function usesNamingConvention(rows) {
+    return rows.some((row) => !linkIsUnevidenced(row.requirement || "", row.feature, row.tests));
+}
+/**
+ * Which scenarios in one feature file the tests actually name.
+ *
+ * ## Why this is per file and not per project
+ *
+ * The first version calibrated on the whole project: if any test named any
+ * requirement, every row had to. A cold evaluator found what that feels like —
+ * adding one comment, `// Covers REQ-009`, to one test turned three unrelated
+ * rows red at once. They called it a one-comment CI landmine, and they were
+ * right: doing the correct thing produced a punishment, which teaches people
+ * not to do the correct thing.
+ *
+ * Per file, the signal is sharper and the blast radius is the file. If four of
+ * five scenarios in `totals.feature` are named by its test and the fifth is
+ * not, the fifth was skipped — that is exactly #168, an agent quietly dropping
+ * the scenario it could not satisfy. If none are named, nobody has adopted the
+ * convention here yet and there is nothing to conclude.
+ */
+function skippedScenarios(featureSource, testSources) {
+    const all = scenariosIn(featureSource);
+    if (all.length === 0)
+        return [];
+    const uncovered = uncoveredScenarios(featureSource, testSources);
+    // Nothing in this file is named: the convention is not in use here.
+    if (uncovered.length === all.length)
+        return [];
+    return uncovered;
+}
+//# sourceMappingURL=ScenarioCoverage.js.map

package/dist/packages/core/src/domain/ScenarioCoverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScenarioCoverage.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/ScenarioCoverage.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;;AAqBH,8BAEC;AAQD,kCA4BC;AASD,gDAUC;AA2BD,8CAcC;AA0BD,oDAIC;AAoBD,4CAWC;AApKD,MAAM,aAAa,GAAG,iEAAiE,CAAC;AACxF,MAAM,QAAQ,GAAG,OAAO,CAAC;AACzB,MAAM,MAAM,GAAG,yBAAyB,CAAC;AAEzC,kFAAkF;AAClF,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,WAAW,CAAC,aAAqB;IAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAuB,EAAE,CAAC;IAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,KAAK,KAAK,EAAE;YAAE,SAAS;QAE3B,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,2EAA2E;QAC3E,yEAAyE;QACzE,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,MAAM;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAEvE,qDAAqD;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE9C,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,kBAAkB,CAChC,aAAqB,EACrB,WAA8B;IAE9B,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,WAAW,CAAC,aAAa,CAAC,CAAC;IAEvD,OAAO,WAAW,CAAC,aAAa,CAAC,CAAC,MAAM,CACtC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CACvF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,SAAgB,iBAAiB,CAC/B,aAAqB,EACrB,aAAqB,EACrB,WAA8B;IAE9B,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9D,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnD,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CACxE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAgB,oBAAoB,CAClC,IAAoF;IAEpF,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAgB,gBAAgB,CAC9B,aAAqB,EACrB,WAA8B;IAE9B,MAAM,GAAG,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IACvC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEhC,MAAM,SAAS,GAAG,kBAAkB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACjE,oEAAoE;IACpE,IAAI,SAAS,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC"}