@rsaglobaltech/specgate 0.8.1

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

@@ -0,0 +1,117 @@
+"use strict";
+/**
+ * Did the green diff touch what the matrix said it would? (A2)
+ *
+ * ## The lie this catches
+ *
+ * A matrix row declares `test_artifact` and `technical_artifact`, and the
+ * prompt hands both to the agent. Nothing checked that the diff contained them.
+ * An agent can implement somewhere else entirely, pass the scenario, and leave
+ * the matrix pointing at a file where the logic does not live — exactly the
+ * documentary lie this repository forbids itself in `AI_RULES.md`.
+ *
+ * ## Why this is a warning and not a gate
+ *
+ * There are legitimate cases. An implementation can land in a shared module
+ * that already exists, and the row naming the new module is still the honest
+ * summary. Turning that into a hard failure without evidence would be the kind
+ * of gate that rejects good work — which already cost two runs on REQ-002.
+ * `--strict-artifacts` is there for a project that wants the stricter reading.
+ *
+ * ## The part that decides whether any of this is usable
+ *
+ * Most declarations in a real matrix are **not paths**. The scaffolded row says
+ * `` `API /health`, smoke test `` and its test artifact says `TBD`. Comparing
+ * prose against a diff would report every scaffolded project as untouched,
+ * which is noise, and noise is how a warning gets ignored — the failure mode
+ * that made `--strict`-only rules useless in H14.
+ *
+ * So a declaration is only checked when it names something a diff could
+ * plausibly contain. Everything else is skipped in silence: this module reports
+ * what it can substantiate, and nothing else.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ARTIFACT_CODES = void 0;
+exports.looksLikePath = looksLikePath;
+exports.declaredPaths = declaredPaths;
+exports.checkDeclaredArtifacts = checkDeclaredArtifacts;
+const Diagnostic_1 = require("./Diagnostic");
+exports.ARTIFACT_CODES = Object.freeze({
+    UNTOUCHED: "declared_artifact_untouched",
+});
+/**
+ * Does this fragment name a file rather than describe one?
+ *
+ * The rule: no whitespace, and either a directory separator or a file
+ * extension. `src/App.java` and `App.java` qualify; `API /health`, `smoke test`
+ * and `TBD` do not. It is a heuristic, and it is deliberately biased towards
+ * saying no — a missed check costs a warning nobody sees, while a false one
+ * teaches people that this warning is wrong and should be ignored.
+ */
+function looksLikePath(fragment) {
+    const value = fragment.trim();
+    if (!value)
+        return false;
+    if (/\s/.test(value))
+        return false;
+    if (/^(TBD|TODO|N\/A|-|—)$/i.test(value))
+        return false;
+    return value.includes("/") || /\.[A-Za-z0-9]{1,10}$/.test(value);
+}
+/**
+ * The file paths a matrix cell declares.
+ *
+ * A cell is markdown written by a person: back-ticked, comma-separated, and
+ * frequently part path and part prose — `` `src/Health.java`, smoke test ``
+ * declares one path and one intention. Both halves are kept apart rather than
+ * forcing the cell to be all one or all the other.
+ */
+function declaredPaths(cell) {
+    if (!cell)
+        return [];
+    return String(cell)
+        .split(",")
+        .map((part) => part.replace(/`/g, "").trim())
+        .filter((part) => looksLikePath(part))
+        .map((part) => part.replace(/\\/g, "/").replace(/^\.\//, ""));
+}
+/**
+ * A declared path counts as touched when the diff contains it, or contains
+ * something inside it — a row may name a directory (`src/health/`) and the work
+ * lands on files within.
+ */
+function wasTouched(declared, touched) {
+    const target = declared.replace(/\/$/, "");
+    return touched.some((path) => path === target || path.startsWith(`${target}/`) || path.endsWith(`/${target}`));
+}
+/**
+ * Declared artifacts the diff never went near.
+ *
+ * `strict` promotes the finding to an error. Default is a warning, deliberately
+ * — see the module note.
+ */
+function checkDeclaredArtifacts(input, strict = false) {
+    const target = input.requirement || "";
+    const found = [];
+    const raise = strict ? Diagnostic_1.error : Diagnostic_1.warning;
+    const kinds = [
+        ["test", input.testArtifact],
+        ["production", input.technicalArtifact],
+    ];
+    for (const [kind, cell] of kinds) {
+        for (const declared of declaredPaths(cell)) {
+            if (wasTouched(declared, input.touched))
+                continue;
+            found.push(raise(exports.ARTIFACT_CODES.UNTOUCHED, `the matrix declares \`${declared}\` as this requirement's ${kind} artifact, ` +
+                `but the diff never touches it.`, {
+                target,
+                // `--code`, not `--impl`: the flag is verified against ReqCommand.
+                // A fix naming a flag that does not exist is worse than no fix.
+                fix: `Either implement it there, or correct the row: ` +
+                    `\`specgate req link ${target || "<REQ>"} --${kind === "test" ? "test" : "code"} <path>\`.`,
+            }));
+        }
+    }
+    return found;
+}
+//# sourceMappingURL=DeclaredArtifacts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DeclaredArtifacts.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/DeclaredArtifacts.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;;;AAkBH,sCAMC;AAUD,sCAOC;AA6BD,wDAmCC;AAtGD,6CAA8C;AAEjC,QAAA,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,6BAA6B;CACzC,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAAC,QAAgB;IAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,IAAI,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvD,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,aAAa,CAAC,IAA+B;IAC3D,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,OAAO,MAAM,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;SAC5C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;SACrC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AAClE,CAAC;AAWD;;;;GAIG;AACH,SAAS,UAAU,CAAC,QAAgB,EAAE,OAA0B;IAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC,CAC1F,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,sBAAsB,CACpC,KAA6B,EAC7B,MAAM,GAAG,KAAK;IAEd,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IACvC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,kBAAK,CAAC,CAAC,CAAC,oBAAO,CAAC;IAEvC,MAAM,KAAK,GAA+C;QACxD,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC;QAC5B,CAAC,YAAY,EAAE,KAAK,CAAC,iBAAiB,CAAC;KACxC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC;gBAAE,SAAS;YAClD,KAAK,CAAC,IAAI,CACR,KAAK,CACH,sBAAc,CAAC,SAAS,EACxB,yBAAyB,QAAQ,4BAA4B,IAAI,aAAa;gBAC5E,gCAAgC,EAClC;gBACE,MAAM;gBACN,mEAAmE;gBACnE,gEAAgE;gBAChE,GAAG,EACD,iDAAiD;oBACjD,uBAAuB,MAAM,IAAI,OAAO,MAAM,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,YAAY;aAC9F,CACF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,219 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DeltaSpec = exports.GHERKIN_STEP = exports.VALID_SECTIONS = void 0;
+exports.isPlaceholderStep = isPlaceholderStep;
+const SpecParser_1 = require("./SpecParser");
+const Diagnostic_1 = require("./Diagnostic");
+// RFC2119 lives in RequirementSyntax.ts now (F6) — this is the only importer,
+// so nothing needs a re-export.
+const RequirementSyntax_1 = require("./RequirementSyntax");
+exports.VALID_SECTIONS = [
+    "## Purpose",
+    "## ADDED Requirements",
+    "## MODIFIED Requirements",
+    "## REMOVED Requirements",
+];
+exports.GHERKIN_STEP = /^\s*(GIVEN|WHEN|THEN|AND|BUT|DADO|CUANDO|ENTONCES|Y)\b/i;
+/**
+ * A step that names a keyword and then says nothing.
+ *
+ * `GIVEN <!-- the precondition -->` and `WHEN TODO` are Gherkin by shape and
+ * empty by content. They are what a generator writes when it has no acceptance
+ * criterion to offer — `alm pull` writes them deliberately — and what a person
+ * writes when they mean to come back later.
+ */
+function isPlaceholderStep(step) {
+    // `(?:[^-]|-(?!->))*` instead of a lazy `[\s\S]*?`: it consumes without ever
+    // needing to backtrack, which is the difference between linear and quadratic
+    // on a step that contains many dashes.
+    const withoutComments = String(step).replace(/<!--(?:[^-]|-(?!->))*-->/g, " ");
+    // The parser hands steps over without their bullet, but this is exported and
+    // a caller may well pass the raw line, so both forms have to read the same.
+    const withoutBullet = withoutComments.replace(/^\s*[-*]\s*/, "");
+    const body = withoutBullet.replace(exports.GHERKIN_STEP, "").trim();
+    if (body === "")
+        return true;
+    return /^(todo|tbd|\.\.\.|…|<[^>]*>)$/i.test(body);
+}
+class DeltaSpec {
+    static validate(deltaSource, opts) {
+        const o = opts || {};
+        const file = o.file || "spec.md";
+        const diags = [];
+        const delta = (0, SpecParser_1.parseDelta)(deltaSource);
+        for (const unknown of delta.unknownSections) {
+            diags.push((0, Diagnostic_1.error)("delta_unknown_section", `Unknown delta section: "## ${unknown.heading}".`, {
+                file,
+                line: unknown.line,
+                target: unknown.heading,
+                fix: `Use one of: ${exports.VALID_SECTIONS.join(", ")}.`,
+            }));
+        }
+        const all = [...delta.added, ...delta.modified, ...delta.removed];
+        if (all.length === 0 && !delta.purpose) {
+            diags.push((0, Diagnostic_1.error)("delta_empty", "Delta declares no requirement changes and no Purpose.", {
+                file,
+                fix: "Add a `## ADDED Requirements` section, or delete the delta file.",
+            }));
+        }
+        const seen = new Map();
+        for (const req of all) {
+            const key = (0, SpecParser_1.requirementKey)(req);
+            if (seen.has(key)) {
+                diags.push((0, Diagnostic_1.error)("duplicate_requirement", `Requirement "${req.heading}" appears more than once in this delta.`, {
+                    file,
+                    line: req.line,
+                    target: key,
+                    fix: `Merge the two blocks; the first one is at line ${seen.get(key)}.`,
+                }));
+            }
+            else {
+                seen.set(key, req.line);
+            }
+            if (req.id && !SpecParser_1.REQ_ID.test(req.id)) {
+                diags.push((0, Diagnostic_1.error)("invalid_requirement_id", `"${req.id}" is not a valid requirement id.`, {
+                    file,
+                    line: req.line,
+                    target: req.id,
+                    fix: "Use the form REQ-NNN, e.g. REQ-014 — or drop the id entirely.",
+                }));
+            }
+        }
+        for (const req of [...delta.added, ...delta.modified]) {
+            if (!req.scenarios || req.scenarios.length === 0) {
+                diags.push((0, Diagnostic_1.error)("requirement_without_scenario", `Requirement "${req.name}" has no scenario, so "done" is undefined.`, {
+                    file,
+                    line: req.line,
+                    target: (0, SpecParser_1.requirementKey)(req),
+                    fix: "Add a `#### Scenario:` block with GIVEN / WHEN / THEN steps.",
+                }));
+            }
+            for (const sc of req.scenarios || []) {
+                if (!sc.steps || sc.steps.length === 0) {
+                    diags.push((0, Diagnostic_1.error)("scenario_without_steps", `Scenario "${sc.name}" has no steps.`, {
+                        file,
+                        line: sc.line,
+                        target: sc.name,
+                        fix: "Add `- GIVEN …`, `- WHEN …`, `- THEN …` bullets under the scenario.",
+                    }));
+                }
+                else if (sc.steps.every((s) => isPlaceholderStep(s))) {
+                    // Every step is a keyword with nothing behind it — `GIVEN <!-- the
+                    // precondition -->`, or a bare `WHEN TODO`. These pass the checks
+                    // above because they *are* Gherkin, and that is the problem: the
+                    // scenario satisfies the gate without describing any behaviour, which
+                    // turns the gate from a check into a formality.
+                    //
+                    // ADR-0021 rejected exactly this shape when it refused to import
+                    // tickets with placeholder scenarios. `alm pull` writes deltas in
+                    // precisely this state on purpose, so the gate has to be the thing
+                    // that keeps them from being archived.
+                    diags.push((0, Diagnostic_1.error)("scenario_steps_unwritten", `Scenario "${sc.name}" has placeholder steps, so it asserts nothing.`, {
+                        file,
+                        line: sc.line,
+                        target: sc.name,
+                        fix: "Write what actually has to hold: `- GIVEN a customer on the flat tariff`, not `- GIVEN <!-- the precondition -->`.",
+                    }));
+                }
+                else if (!sc.steps.some((s) => exports.GHERKIN_STEP.test(s))) {
+                    diags.push((0, Diagnostic_1.warning)("scenario_not_gherkin", `Scenario "${sc.name}" has no GIVEN/WHEN/THEN step, so it cannot generate a .feature.`, {
+                        file,
+                        line: sc.line,
+                        target: sc.name,
+                        fix: "Start each step with GIVEN, WHEN, THEN or AND.",
+                    }));
+                }
+            }
+            const requirementText = (0, SpecParser_1.blockText)(req.text);
+            if (requirementText && !RequirementSyntax_1.RFC2119.test(requirementText)) {
+                diags.push((0, Diagnostic_1.warning)("no_rfc2119_keyword", `Requirement "${req.name}" states no obligation (SHALL / MUST / SHOULD / MAY).`, {
+                    file,
+                    line: req.line,
+                    target: (0, SpecParser_1.requirementKey)(req),
+                    fix: 'Rewrite the body as "The system SHALL …".',
+                }));
+            }
+        }
+        if (o.specSource !== undefined && o.specSource !== null) {
+            const spec = (0, SpecParser_1.parseSpec)(o.specSource);
+            const existing = new Set(spec.requirements.map((r) => (0, SpecParser_1.requirementKey)(r)));
+            for (const req of delta.added) {
+                if (existing.has((0, SpecParser_1.requirementKey)(req))) {
+                    diags.push((0, Diagnostic_1.error)("requirement_already_exists", `ADDED requirement "${req.heading}" already exists in the capability spec.`, {
+                        file,
+                        line: req.line,
+                        target: (0, SpecParser_1.requirementKey)(req),
+                        fix: "Move the block to `## MODIFIED Requirements`.",
+                    }));
+                }
+            }
+            for (const req of [...delta.modified, ...delta.removed]) {
+                if (!existing.has((0, SpecParser_1.requirementKey)(req))) {
+                    diags.push((0, Diagnostic_1.error)("unknown_requirement", `${req.op.toUpperCase()} requirement "${req.heading}" does not exist in the capability spec.`, {
+                        file,
+                        line: req.line,
+                        target: (0, SpecParser_1.requirementKey)(req),
+                        fix: req.op === "modified"
+                            ? "Move the block to `## ADDED Requirements`, or fix the heading to match the spec."
+                            : "Remove the block — there is nothing to delete.",
+                    }));
+                }
+            }
+        }
+        return { delta, diagnostics: diags };
+    }
+    static apply(specSource, deltaSource, opts) {
+        const o = opts || {};
+        const delta = (0, SpecParser_1.parseDelta)(deltaSource);
+        const spec = specSource
+            ? (0, SpecParser_1.parseSpec)(specSource)
+            : { title: o.title || "Specification", purpose: "", requirements: [], sections: [] };
+        if (!specSource && delta.purpose)
+            spec.purpose = delta.purpose;
+        if (!spec.title)
+            spec.title = delta.title || o.title || "Specification";
+        const applied = { added: [], modified: [], removed: [] };
+        const byKey = new Map(spec.requirements.map((r) => [(0, SpecParser_1.requirementKey)(r), r]));
+        for (const req of delta.removed) {
+            const key = (0, SpecParser_1.requirementKey)(req);
+            if (byKey.has(key)) {
+                byKey.delete(key);
+                applied.removed.push(key);
+            }
+        }
+        for (const req of delta.modified) {
+            const key = (0, SpecParser_1.requirementKey)(req);
+            if (byKey.has(key)) {
+                byKey.set(key, this.stripOp(req));
+                applied.modified.push(key);
+            }
+        }
+        for (const req of delta.added) {
+            const key = (0, SpecParser_1.requirementKey)(req);
+            if (!byKey.has(key)) {
+                byKey.set(key, this.stripOp(req));
+                applied.added.push(key);
+            }
+        }
+        const order = spec.requirements
+            .map((r) => (0, SpecParser_1.requirementKey)(r))
+            .filter((k) => byKey.has(k));
+        for (const key of byKey.keys()) {
+            if (!order.includes(key))
+                order.push(key);
+        }
+        spec.requirements = order.map((k) => byKey.get(k));
+        return {
+            markdown: (0, SpecParser_1.renderSpec)(spec),
+            spec,
+            applied,
+            retired: spec.requirements.length === 0 && applied.removed.length > 0,
+        };
+    }
+    static stripOp(req) {
+        const { op: _op, ...rest } = req;
+        return rest;
+    }
+}
+exports.DeltaSpec = DeltaSpec;
+//# sourceMappingURL=DeltaSpec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DeltaSpec.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/DeltaSpec.ts"],"names":[],"mappings":";;;AAsBA,8CAWC;AAjCD,6CAAoG;AACpG,6CAA8C;AAC9C,8EAA8E;AAC9E,gCAAgC;AAChC,2DAA8C;AAEjC,QAAA,cAAc,GAAG;IAC5B,YAAY;IACZ,uBAAuB;IACvB,0BAA0B;IAC1B,yBAAyB;CAC1B,CAAC;AACW,QAAA,YAAY,GAAG,yDAAyD,CAAC;AAEtF;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,IAAY;IAC5C,6EAA6E;IAC7E,6EAA6E;IAC7E,uCAAuC;IACvC,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC;IAC/E,6EAA6E;IAC7E,4EAA4E;IAC5E,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,oBAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7B,OAAO,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,MAAa,SAAS;IACb,MAAM,CAAC,QAAQ,CAAC,WAAmB,EAAE,IAAU;QACpD,MAAM,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC;QACjC,MAAM,KAAK,GAAU,EAAE,CAAC;QACxB,MAAM,KAAK,GAAQ,IAAA,uBAAU,EAAC,WAAW,CAAC,CAAC;QAE3C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EAAC,uBAAuB,EAAE,8BAA8B,OAAO,CAAC,OAAO,IAAI,EAAE;gBAChF,IAAI;gBACJ,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,MAAM,EAAE,OAAO,CAAC,OAAO;gBACvB,GAAG,EAAE,eAAe,sBAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aACjD,CAAC,CACH,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;QAElE,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EAAC,aAAa,EAAE,uDAAuD,EAAE;gBAC5E,IAAI;gBACJ,GAAG,EAAE,kEAAkE;aACxE,CAAC,CACH,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;QACvB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EACH,uBAAuB,EACvB,gBAAgB,GAAG,CAAC,OAAO,yCAAyC,EACpE;oBACE,IAAI;oBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,GAAG;oBACX,GAAG,EAAE,kDAAkD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG;iBACxE,CACF,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;YAED,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,mBAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EAAC,wBAAwB,EAAE,IAAI,GAAG,CAAC,EAAE,kCAAkC,EAAE;oBAC5E,IAAI;oBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,GAAG,CAAC,EAAE;oBACd,GAAG,EAAE,+DAA+D;iBACrE,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EACH,8BAA8B,EAC9B,gBAAgB,GAAG,CAAC,IAAI,4CAA4C,EACpE;oBACE,IAAI;oBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,IAAA,2BAAc,EAAC,GAAG,CAAC;oBAC3B,GAAG,EAAE,8DAA8D;iBACpE,CACF,CACF,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvC,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EAAC,wBAAwB,EAAE,aAAa,EAAE,CAAC,IAAI,iBAAiB,EAAE;wBACrE,IAAI;wBACJ,IAAI,EAAE,EAAE,CAAC,IAAI;wBACb,MAAM,EAAE,EAAE,CAAC,IAAI;wBACf,GAAG,EAAE,qEAAqE;qBAC3E,CAAC,CACH,CAAC;gBACJ,CAAC;qBAAM,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/D,mEAAmE;oBACnE,kEAAkE;oBAClE,iEAAiE;oBACjE,sEAAsE;oBACtE,gDAAgD;oBAChD,EAAE;oBACF,iEAAiE;oBACjE,kEAAkE;oBAClE,mEAAmE;oBACnE,uCAAuC;oBACvC,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EACH,0BAA0B,EAC1B,aAAa,EAAE,CAAC,IAAI,iDAAiD,EACrE;wBACE,IAAI;wBACJ,IAAI,EAAE,EAAE,CAAC,IAAI;wBACb,MAAM,EAAE,EAAE,CAAC,IAAI;wBACf,GAAG,EAAE,oHAAoH;qBAC1H,CACF,CACF,CAAC;gBACJ,CAAC;qBAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,oBAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/D,KAAK,CAAC,IAAI,CACR,IAAA,oBAAO,EACL,sBAAsB,EACtB,aAAa,EAAE,CAAC,IAAI,kEAAkE,EACtF;wBACE,IAAI;wBACJ,IAAI,EAAE,EAAE,CAAC,IAAI;wBACb,MAAM,EAAE,EAAE,CAAC,IAAI;wBACf,GAAG,EAAE,gDAAgD;qBACtD,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,eAAe,GAAG,IAAA,sBAAS,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,eAAe,IAAI,CAAC,2BAAO,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gBACtD,KAAK,CAAC,IAAI,CACR,IAAA,oBAAO,EACL,oBAAoB,EACpB,gBAAgB,GAAG,CAAC,IAAI,uDAAuD,EAC/E;oBACE,IAAI;oBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,IAAA,2BAAc,EAAC,GAAG,CAAC;oBAC3B,GAAG,EAAE,2CAA2C;iBACjD,CACF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACxD,MAAM,IAAI,GAAQ,IAAA,sBAAS,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAA,2BAAc,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAE/E,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACtC,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EACH,4BAA4B,EAC5B,sBAAsB,GAAG,CAAC,OAAO,0CAA0C,EAC3E;wBACE,IAAI;wBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;wBACd,MAAM,EAAE,IAAA,2BAAc,EAAC,GAAG,CAAC;wBAC3B,GAAG,EAAE,+CAA+C;qBACrD,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACvC,KAAK,CAAC,IAAI,CACR,IAAA,kBAAK,EACH,qBAAqB,EACrB,GAAG,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,iBAAiB,GAAG,CAAC,OAAO,0CAA0C,EAC7F;wBACE,IAAI;wBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;wBACd,MAAM,EAAE,IAAA,2BAAc,EAAC,GAAG,CAAC;wBAC3B,GAAG,EACD,GAAG,CAAC,EAAE,KAAK,UAAU;4BACnB,CAAC,CAAC,kFAAkF;4BACpF,CAAC,CAAC,gDAAgD;qBACvD,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IACvC,CAAC;IAEM,MAAM,CAAC,KAAK,CAAC,UAAyB,EAAE,WAAmB,EAAE,IAAU;QAC5E,MAAM,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAQ,IAAA,uBAAU,EAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAQ,UAAU;YAC1B,CAAC,CAAC,IAAA,sBAAS,EAAC,UAAU,CAAC;YACvB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,eAAe,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAEvF,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC/D,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,eAAe,CAAC;QAExE,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,EAAc,EAAE,QAAQ,EAAE,EAAc,EAAE,OAAO,EAAE,EAAc,EAAE,CAAC;QAC7F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAA,2BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAClC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAClC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY;aAC5B,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAA,2BAAc,EAAC,CAAC,CAAC,CAAC;aAClC,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3D,OAAO;YACL,QAAQ,EAAE,IAAA,uBAAU,EAAC,IAAI,CAAC;YAC1B,IAAI;YACJ,OAAO;YACP,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;SACtE,CAAC;IACJ,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,GAAQ;QAC7B,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAhPD,8BAgPC"}

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

@@ -0,0 +1,75 @@
+"use strict";
+/**
+ * The one diagnostic envelope every machine-readable surface of the CLI emits.
+ *
+ *   { severity, code, message, target?, fix?, file?, line? }
+ *
+ * `code` is a stable snake_case string — callers (CI, agents, the VS Code
+ * extension) branch on it, never on the message text. `fix` is one actionable
+ * sentence or command; a diagnostic without a fix is a diagnostic the user
+ * cannot act on, so treat writing one as part of writing the check.
+ *
+ * Casing is camelCase everywhere in JSON output, decided once here so we do not
+ * inherit the snake/camel split that OpenSpec documents as a known defect.
+ *
+ * This module is the envelope and nothing else: no colours, no streams, no
+ * `process`. Rendering a diagnostic for a terminal is a delivery concern and
+ * lives in `scripts/lib/diagnostics`, which re-exports everything here.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.info = exports.warning = exports.error = exports.SEVERITY = void 0;
+exports.diagnostic = diagnostic;
+exports.hasErrors = hasErrors;
+exports.countBySeverity = countBySeverity;
+exports.errorMessage = errorMessage;
+exports.SEVERITY = Object.freeze({
+    ERROR: "error",
+    WARNING: "warning",
+    INFO: "info",
+});
+function diagnostic(severity, code, message, extra) {
+    const d = { severity, code, message };
+    if (extra) {
+        if (extra.target !== undefined)
+            d.target = extra.target;
+        if (extra.fix !== undefined)
+            d.fix = extra.fix;
+        if (extra.file !== undefined)
+            d.file = extra.file;
+        if (extra.line !== undefined && extra.line !== null)
+            d.line = extra.line;
+    }
+    return d;
+}
+const error = (code, message, extra) => diagnostic(exports.SEVERITY.ERROR, code, message, extra);
+exports.error = error;
+const warning = (code, message, extra) => diagnostic(exports.SEVERITY.WARNING, code, message, extra);
+exports.warning = warning;
+const info = (code, message, extra) => diagnostic(exports.SEVERITY.INFO, code, message, extra);
+exports.info = info;
+function hasErrors(diags) {
+    return (diags || []).some((d) => d.severity === exports.SEVERITY.ERROR);
+}
+function countBySeverity(diags) {
+    const out = { error: 0, warning: 0, info: 0 };
+    for (const d of diags || []) {
+        if (out[d.severity] !== undefined)
+            out[d.severity]++;
+    }
+    return out;
+}
+/**
+ * The message of whatever was thrown.
+ *
+ * `catch (err)` appeared eleven times across `scripts/` purely to reach
+ * `.message`. A catch binding is genuinely `unknown` — anything can be thrown —
+ * so the honest form is to narrow it once, here.
+ */
+function errorMessage(err) {
+    if (err instanceof Error)
+        return err.message;
+    if (typeof err === "string")
+        return err;
+    return String(err);
+}
+//# sourceMappingURL=Diagnostic.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Diagnostic.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/Diagnostic.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AA0BH,gCASC;AASD,8BAEC;AAED,0CAMC;AASD,oCAIC;AA/CY,QAAA,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;CACb,CAAC,CAAC;AAEH,SAAgB,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAuB;IACzE,MAAM,CAAC,GAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClD,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QACxD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;YAAE,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAC/C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QAClD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAEM,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAuB,EAAE,EAAE,CAC9D,UAAU,CAAC,gBAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AADtC,QAAA,KAAK,SACiC;AAC5C,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAuB,EAAE,EAAE,CAChE,UAAU,CAAC,gBAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AADxC,QAAA,OAAO,WACiC;AAC9C,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAuB,EAAE,EAAE,CAC7D,UAAU,CAAC,gBAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AADrC,QAAA,IAAI,QACiC;AAElD,SAAgB,SAAS,CAAC,KAAK;IAC7B,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,gBAAQ,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAgB,eAAe,CAAC,KAAK;IACnC,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,YAAY,CAAC,GAAY;IACvC,IAAI,GAAG,YAAY,KAAK;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC7C,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACxC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC"}

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

@@ -0,0 +1,62 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DomainPack = void 0;
+class DomainPack {
+    packId;
+    model;
+    version;
+    constructor(packId, model, version = "") {
+        this.packId = packId;
+        this.model = model;
+        this.version = version;
+    }
+    get requirements() {
+        return Array.isArray(this.model?.requirements) ? this.model.requirements : [];
+    }
+    get scenarios() {
+        return Array.isArray(this.model?.scenarios) ? this.model.scenarios : [];
+    }
+    getRequirementsById() {
+        const out = new Map();
+        for (const req of this.requirements) {
+            if (req && req.id)
+                out.set(String(req.id), req);
+        }
+        return out;
+    }
+    getScenariosByRequirement() {
+        const out = new Map();
+        for (const sc of this.scenarios) {
+            if (!sc || !sc.requirement_id)
+                continue;
+            const key = String(sc.requirement_id);
+            if (!out.has(key))
+                out.set(key, []);
+            out.get(key).push(sc);
+        }
+        return out;
+    }
+    static computeRequirementFingerprint(req, scenarios = []) {
+        const norm = (v) => String(v === undefined || v === null ? "" : v).trim();
+        const scenarioPart = (scenarios || [])
+            .map((sc) => [
+            norm(sc.id),
+            norm(sc.scenario),
+            norm(sc.use_case),
+            norm(sc.command),
+            norm(sc.aggregate),
+            (Array.isArray(sc.events) ? sc.events : []).map(norm).sort().join(","),
+        ].join("|"))
+            .sort()
+            .join("\n");
+        return [
+            norm(req.title),
+            norm(req.description),
+            norm(req.priority),
+            norm(req.status),
+            scenarioPart,
+        ].join("\n");
+    }
+}
+exports.DomainPack = DomainPack;
+//# sourceMappingURL=DomainPack.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DomainPack.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/DomainPack.ts"],"names":[],"mappings":";;;AAmCA,MAAa,UAAU;IAEH;IACA;IACA;IAHlB,YACkB,MAAc,EACd,KAAmB,EACnB,UAAkB,EAAE;QAFpB,WAAM,GAAN,MAAM,CAAQ;QACd,UAAK,GAAL,KAAK,CAAc;QACnB,YAAO,GAAP,OAAO,CAAa;IACnC,CAAC;IAEJ,IAAW,YAAY;QACrB,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC;IAED,IAAW,SAAS;QAClB,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC;IAEM,mBAAmB;QACxB,MAAM,GAAG,GAAG,IAAI,GAAG,EAA4B,CAAC;QAChD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEM,yBAAyB;QAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;QAC/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,cAAc;gBAAE,SAAS;YACxC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACpC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEM,MAAM,CAAC,6BAA6B,CACzC,GAAqB,EACrB,YAA6B,EAAE;QAE/B,MAAM,IAAI,GAAG,CAAC,CAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/E,MAAM,YAAY,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;aACnC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACV;YACE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YACjB,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YACjB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;YAChB,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;SACvE,CAAC,IAAI,CAAC,GAAG,CAAC,CACZ;aACA,IAAI,EAAE;aACN,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,OAAO;YACL,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;YACrB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAChB,YAAY;SACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;CACF;AA7DD,gCA6DC"}

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

@@ -0,0 +1,60 @@
+"use strict";
+/**
+ * Did the agent write anything at all? (H19)
+ *
+ * ## The defect this closes
+ *
+ * The harness gate runs *before* `specgate done`, so at gate time the requirement
+ * is still `Draft` — and `--strict-tdd`'s "no `Test Artifact = TBD` past
+ * Draft" rule does not apply to a Draft row. `done` then flips the status to
+ * `Implemented` and nothing validates again.
+ *
+ * Reproduced on 2026-08-26 against a freshly generated project, with
+ * `--agent "cat {prompt_file} > /dev/null"` — an agent that writes nothing:
+ *
+ *     ✅ REQ-000  pass (1 attempt)  → harness/REQ-000
+ *
+ * The branch carried the archived prompt and one changed line: the matrix row
+ * moved to `Implemented`, its Test artifact still `TBD`. No code, no test.
+ * It is H1's root cause exactly — the gate approving what it did not check.
+ *
+ * ## Why a hard failure and not another opt-in flag
+ *
+ * `--strict-artifacts` cannot catch this: it compares the diff against the
+ * paths the row declares, and a row declaring none has nothing to compare.
+ *
+ * So the harness asks the one question that needs no declaration and has no
+ * legitimate negative answer: did anything change? An agent that produced no
+ * files cannot have implemented a requirement, whatever the gate concludes
+ * about the documents around it. Under the rule ADR-0023 sets out — a content
+ * check is a gate only when failing it is always a defect — this one qualifies,
+ * which is why it is not behind a flag.
+ *
+ * ## Why the prompt archive does not count
+ *
+ * The harness writes the archive itself. Counting it would mean the harness's
+ * own bookkeeping vouches for the agent, which is the same circularity as a
+ * gate that grades the file it told the agent to write.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PROMPT_ARCHIVE_DIR = void 0;
+exports.agentAuthoredPaths = agentAuthoredPaths;
+exports.isEmptyAttempt = isEmptyAttempt;
+/** Where the harness archives the prompt it handed the agent. */
+exports.PROMPT_ARCHIVE_DIR = ".specops/harness-prompts";
+/**
+ * Everything the agent actually wrote, with the harness's own bookkeeping
+ * removed. Paths are worktree-relative, as `git status --porcelain` reports
+ * them.
+ */
+function agentAuthoredPaths(touched) {
+    return (touched || []).filter((p) => p !== exports.PROMPT_ARCHIVE_DIR && !p.startsWith(`${exports.PROMPT_ARCHIVE_DIR}/`));
+}
+/**
+ * True when the attempt left nothing behind — there is nothing to gate, and a
+ * green gate over it would mean nothing.
+ */
+function isEmptyAttempt(touched) {
+    return agentAuthoredPaths(touched).length === 0;
+}
+//# sourceMappingURL=EmptyAttempt.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"EmptyAttempt.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/EmptyAttempt.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;;;AAUH,gDAIC;AAMD,wCAEC;AApBD,iEAAiE;AACpD,QAAA,kBAAkB,GAAG,0BAA0B,CAAC;AAE7D;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,OAA0B;IAC3D,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,0BAAkB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,0BAAkB,GAAG,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,OAA0B;IACvD,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AAClD,CAAC"}

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

@@ -0,0 +1,37 @@
+"use strict";
+/**
+ * Comparing two renderings of the same pack, file by file.
+ *
+ * `specops diff` asks what a version bump would do to a project. The answer is
+ * a classification over content hashes, which is judgement, not I/O: walking a
+ * directory and hashing its files is the caller's job, and
+ * `infrastructure/DirectorySnapshot` does it.
+ *
+ * The comparison is one-directional on purpose. A file present in the baseline
+ * but absent from the candidate is not reported as removed, because `expand`
+ * never deletes: it writes what the pack declares and leaves everything else
+ * alone, so a file only the baseline has is a file the project owns.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IGNORE_FILES = exports.IGNORE_DIRS = void 0;
+exports.classifyFileChanges = classifyFileChanges;
+/** Directories never worth walking into: caches, VCS metadata, build output. */
+exports.IGNORE_DIRS = new Set([".git", "node_modules", "_site", ".cache", ".specops"]);
+/** Files a diff must not report on, because they describe the diff itself. */
+exports.IGNORE_FILES = new Set([".specops.lock"]);
+function classifyFileChanges(baseline, candidate) {
+    const added = [];
+    const modified = [];
+    const unchanged = [];
+    for (const [rel, hash] of candidate) {
+        const before = baseline.get(rel);
+        if (before === undefined)
+            added.push(rel);
+        else if (before !== hash)
+            modified.push(rel);
+        else
+            unchanged.push(rel);
+    }
+    return { added, modified, unchanged };
+}
+//# sourceMappingURL=FileChangeSet.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FileChangeSet.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/FileChangeSet.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAiBH,kDAaC;AAnBD,gFAAgF;AACnE,QAAA,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5F,8EAA8E;AACjE,QAAA,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;AAEvD,SAAgB,mBAAmB,CAAC,QAAoB,EAAE,SAAqB;IAC7E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aACrC,IAAI,MAAM,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACxC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC"}