@matteeh/osq 0.2.1 → 0.2.2

package/dist/core/spec/scenario-impact.d.ts

@@ -0,0 +1,47 @@
+import type { TraceabilityMode } from '../foundation/config-traceability.js';
+import type { ScenarioIndex } from '../trace/scenario-index.js';
+import { type LintFinding } from './lint-findings.js';
+/**
+ * The blast radius of a scenario the change alters: a MODIFIED scenario whose
+ * block differs from the living spec's, or a scenario in a REMOVED requirement.
+ * Each test naming it is listed, and each test no task scopes for modification
+ * is reported. This module also reads what each delta changes.
+ */
+/** One delta capability's added, differing modified, and removed scenarios. */
+export interface CapabilityChange {
+    readonly capability: string;
+    readonly deltaPath: string;
+    readonly addedNames: readonly string[];
+    readonly modifiedNames: readonly string[];
+    readonly removedNames: readonly string[];
+}
+/** One scenario the change alters, with the delta that alters it. */
+export interface BlastScenario {
+    readonly capability: string;
+    readonly name: string;
+    readonly deltaPath: string;
+}
+/** One task's modification authority for the blast-radius check. */
+export interface ScenarioImpactTask {
+    readonly resolvedPaths: readonly string[];
+    readonly testsModify: boolean;
+}
+/** Everything the blast-radius rules read, already collected by the entry module. */
+export interface ScenarioImpactInput {
+    readonly mode: TraceabilityMode;
+    readonly index: ScenarioIndex;
+    readonly optedIn: ReadonlySet<string>;
+    readonly tasks: readonly ScenarioImpactTask[];
+    readonly scenarios: readonly BlastScenario[];
+}
+/** Capability directories under a `specs` root that hold a `spec.md`. */
+export declare function specDirectories(specsDir: string): Promise<string[]>;
+/** Capability names with a delta spec file in the change folder. */
+export declare function readDeltaCapabilities(folderPath: string): Promise<string[]>;
+/** Read each delta capability's added, differing modified, and removed scenarios. */
+export declare function readCapabilityChanges(projectRoot: string, folderPath: string, openspecRoot: string, deltas: readonly string[]): Promise<Map<string, CapabilityChange>>;
+/** Every scenario the change alters, in capability and delta order. */
+export declare function blastScenarios(changes: ReadonlyMap<string, CapabilityChange>): BlastScenario[];
+/** The scenario listing and modification warnings for the altered scenarios. */
+export declare function scenarioImpactFindings(input: ScenarioImpactInput): LintFinding[];
+//# sourceMappingURL=scenario-impact.d.ts.map

package/dist/core/spec/scenario-impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scenario-impact.d.ts","sourceRoot":"","sources":["../../../src/core/spec/scenario-impact.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,EAAE,KAAK,WAAW,EAAe,MAAM,oBAAoB,CAAC;AAEnE;;;;;GAKG;AAEH,+EAA+E;AAC/E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,qEAAqE;AACrE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,oEAAoE;AACpE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED,qFAAqF;AACrF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;CAC9C;AAcD,yEAAyE;AACzE,wBAAsB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAazE;AAED,oEAAoE;AACpE,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAE3E;AAiBD,qFAAqF;AACrF,wBAAsB,qBAAqB,CACzC,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CA4CxC;AAED,uEAAuE;AACvE,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAAG,aAAa,EAAE,CAQ9F;AAOD,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG,WAAW,EAAE,CA+BhF"}

package/dist/core/spec/scenario-impact.js

@@ -0,0 +1,130 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { parseCapabilitySpec, parseDelta } from './delta.js';
+import { makeFinding } from './lint-findings.js';
+/** Repository-relative POSIX path. */
+function repositoryPath(projectRoot, absolutePath) {
+    return path.relative(projectRoot, absolutePath).split(path.sep).join('/');
+}
+function statExists(target) {
+    return fs
+        .stat(target)
+        .then(() => true)
+        .catch(() => false);
+}
+/** Capability directories under a `specs` root that hold a `spec.md`. */
+export async function specDirectories(specsDir) {
+    let entries;
+    try {
+        entries = await fs.readdir(specsDir, { withFileTypes: true });
+    }
+    catch {
+        return [];
+    }
+    const names = [];
+    for (const entry of entries) {
+        if (!entry.isDirectory())
+            continue;
+        if (await statExists(path.join(specsDir, entry.name, 'spec.md')))
+            names.push(entry.name);
+    }
+    return names.sort();
+}
+/** Capability names with a delta spec file in the change folder. */
+export function readDeltaCapabilities(folderPath) {
+    return specDirectories(path.join(folderPath, 'specs'));
+}
+/** Requirement name to scenario name to its verbatim block. */
+function requirementScenarios(content) {
+    const requirements = new Map();
+    for (const requirement of parseCapabilitySpec(content).requirements) {
+        const scenarios = new Map();
+        for (const scenario of requirement.scenarios)
+            scenarios.set(scenario.name, scenario.raw);
+        requirements.set(requirement.name, scenarios);
+    }
+    return requirements;
+}
+function sameScenarioBlock(left, right) {
+    return left.replace(/\r\n?/g, '\n').trim() === right.replace(/\r\n?/g, '\n').trim();
+}
+/** Read each delta capability's added, differing modified, and removed scenarios. */
+export async function readCapabilityChanges(projectRoot, folderPath, openspecRoot, deltas) {
+    const changes = new Map();
+    for (const capability of deltas) {
+        const deltaAbs = path.join(folderPath, 'specs', capability, 'spec.md');
+        const deltaContent = await fs.readFile(deltaAbs, 'utf8').catch(() => null);
+        if (deltaContent === null)
+            continue;
+        const delta = parseDelta(deltaContent);
+        const livingContent = await fs
+            .readFile(path.join(openspecRoot, 'specs', capability, 'spec.md'), 'utf8')
+            .catch(() => null);
+        const living = livingContent === null
+            ? new Map()
+            : requirementScenarios(livingContent);
+        const addedNames = [];
+        for (const requirement of delta.added) {
+            for (const scenario of requirement.scenarios)
+                addedNames.push(scenario.name);
+        }
+        const modifiedNames = [];
+        for (const requirement of delta.modified) {
+            const existing = living.get(requirement.name);
+            for (const scenario of requirement.scenarios) {
+                const raw = existing?.get(scenario.name);
+                if (raw === undefined || !sameScenarioBlock(raw, scenario.raw)) {
+                    modifiedNames.push(scenario.name);
+                }
+            }
+        }
+        const removedNames = [];
+        for (const requirement of delta.removed) {
+            const existing = living.get(requirement.name);
+            if (existing !== undefined)
+                removedNames.push(...existing.keys());
+        }
+        changes.set(capability, {
+            capability,
+            deltaPath: repositoryPath(projectRoot, deltaAbs),
+            addedNames,
+            modifiedNames,
+            removedNames,
+        });
+    }
+    return changes;
+}
+/** Every scenario the change alters, in capability and delta order. */
+export function blastScenarios(changes) {
+    const scenarios = [];
+    for (const change of changes.values()) {
+        for (const name of [...change.modifiedNames, ...change.removedNames]) {
+            scenarios.push({ capability: change.capability, name, deltaPath: change.deltaPath });
+        }
+    }
+    return scenarios;
+}
+/** True when a task holds the test in its resolved scope with tests.modify. */
+function scopedForModification(tasks, test) {
+    return tasks.some((task) => task.testsModify && task.resolvedPaths.includes(test));
+}
+/** The scenario listing and modification warnings for the altered scenarios. */
+export function scenarioImpactFindings(input) {
+    if (input.index.scenarioTestFiles.length === 0)
+        return [];
+    const findings = [];
+    for (const scenario of input.scenarios) {
+        const tests = input.index.testsNaming(scenario.capability, scenario.name);
+        if (tests.length === 0)
+            continue;
+        const severity = input.mode === 'require' && input.optedIn.has(scenario.capability) ? 'error' : 'warning';
+        findings.push(makeFinding(severity, { file: scenario.deltaPath }, `Scenario "${scenario.name}" in ${scenario.capability} changes; tests naming it: ${tests.join(', ')}`));
+        for (const test of tests) {
+            if (scopedForModification(input.tasks, test))
+                continue;
+            findings.push(makeFinding(severity, { file: test }, `${test} names changed scenario "${scenario.name}" but no task scopes it with tests.modify: true`));
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=scenario-impact.js.map

package/dist/core/spec/scenario-impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scenario-impact.js","sourceRoot":"","sources":["../../../src/core/spec/scenario-impact.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAoB,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAwCnE,sCAAsC;AACtC,SAAS,cAAc,CAAC,WAAmB,EAAE,YAAoB;IAC/D,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,UAAU,CAAC,MAAc;IAChC,OAAO,EAAE;SACN,IAAI,CAAC,MAAM,CAAC;SACZ,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,QAAgB;IACpD,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE;YAAE,SAAS;QACnC,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,+DAA+D;AAC/D,SAAS,oBAAoB,CAAC,OAAe;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC5D,KAAK,MAAM,WAAW,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACzF,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAa;IACpD,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,WAAmB,EACnB,UAAkB,EAClB,YAAoB,EACpB,MAAyB;IAEzB,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;IACpD,KAAK,MAAM,UAAU,IAAI,MAAM,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QACvE,MAAM,YAAY,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,YAAY,KAAK,IAAI;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,aAAa,GAAG,MAAM,EAAE;aAC3B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC;aACzE,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,MAAM,GACV,aAAa,KAAK,IAAI;YACpB,CAAC,CAAC,IAAI,GAAG,EAA+B;YACxC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC;QAE1C,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YACtC,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC9C,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC7C,MAAM,GAAG,GAAG,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/D,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,QAAQ,KAAK,SAAS;gBAAE,YAAY,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE;YACtB,UAAU;YACV,SAAS,EAAE,cAAc,CAAC,WAAW,EAAE,QAAQ,CAAC;YAChD,UAAU;YACV,aAAa;YACb,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,cAAc,CAAC,OAA8C;IAC3E,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACrE,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+EAA+E;AAC/E,SAAS,qBAAqB,CAAC,KAAoC,EAAE,IAAY;IAC/E,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,KAA0B;IAC/D,IAAI,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE1D,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,QAAQ,GACZ,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3F,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,EAAE,EAC5B,aAAa,QAAQ,CAAC,IAAI,QAAQ,QAAQ,CAAC,UAAU,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtG,CACF,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;gBAAE,SAAS;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,IAAI,EAAE,EACd,GAAG,IAAI,4BAA4B,QAAQ,CAAC,IAAI,iDAAiD,CAClG,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/core/spec/test-impact.d.ts

@@ -0,0 +1,28 @@
+import { type ImportGraph } from './import-graph.js';
+import { type LintFinding } from './lint-findings.js';
+/**
+ * The import-graph half of impact lint: a task that reaches a preexisting test
+ * it may not modify, and a verify that names tests which reach nothing in the
+ * task's scope. Both consume the shared graph and never affect validity.
+ */
+/** One task's resolved scope, as lint already computed it. */
+export interface TestImpactTask {
+    readonly taskNumber: string;
+    readonly taskPath: string;
+    readonly existingPaths: readonly string[];
+    readonly testsModify: boolean;
+    readonly verify: string;
+}
+/** Limits read from `limits.importGraphDepth` and `limits.maxListedImporters`. */
+export interface FrozenTestLimits {
+    readonly maxDepth: number;
+    readonly maxListed: number;
+}
+/** Warn once per task whose existing scope is reached by an unmodifiable test. */
+export declare function frozenTestFindings(tasks: readonly TestImpactTask[], graph: ImportGraph, limits: FrozenTestLimits): LintFinding[];
+/**
+ * Warn once per task whose verify names only existing tests and none of them
+ * reaches an existing file in the task's scope at any depth.
+ */
+export declare function verifyWithoutScopeFindings(projectRoot: string, tasks: readonly TestImpactTask[], graph: ImportGraph): Promise<LintFinding[]>;
+//# sourceMappingURL=test-impact.d.ts.map

package/dist/core/spec/test-impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-impact.d.ts","sourceRoot":"","sources":["../../../src/core/spec/test-impact.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,WAAW,EAAgC,MAAM,mBAAmB,CAAC;AACnF,OAAO,EAAE,KAAK,WAAW,EAAe,MAAM,oBAAoB,CAAC;AAGnE;;;;GAIG;AAEH,8DAA8D;AAC9D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,kFAAkF;AAClF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AA6CD,kFAAkF;AAClF,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,gBAAgB,GACvB,WAAW,EAAE,CA4Bf;AA2CD;;;GAGG;AACH,wBAAsB,0BAA0B,CAC9C,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,KAAK,EAAE,WAAW,GACjB,OAAO,CAAC,WAAW,EAAE,CAAC,CAyBxB"}

package/dist/core/spec/test-impact.js

@@ -0,0 +1,119 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { resolveScope } from '../run/scope.js';
+import { reachImporters, reachImports } from './import-graph.js';
+import { makeFinding } from './lint-findings.js';
+import { listNamedPaths } from './verify-paths.js';
+/** Test files governed by the `tests.modify` gate; mirrors the `tests/**` default. */
+function isTestPath(relativePath) {
+    return relativePath === 'tests' || relativePath.startsWith('tests/');
+}
+/** Every existing test a task in the change may modify through `tests.modify`. */
+function modifiableTests(tasks) {
+    const modifiable = new Set();
+    for (const task of tasks) {
+        if (!task.testsModify)
+            continue;
+        for (const existing of task.existingPaths) {
+            if (isTestPath(existing))
+                modifiable.add(existing);
+        }
+    }
+    return modifiable;
+}
+/** The scoped file a reached test imports, or null when none intersects scope. */
+function scopedTarget(graph, test, scoped) {
+    const reached = reachImports(graph, [test])
+        .filter((file) => scoped.has(file))
+        .sort();
+    return reached[0] ?? null;
+}
+/** The one-sentence frozen-test warning, capped by `maxListed`. */
+function formatFrozenTestWarning(taskNumber, entries, maxListed) {
+    const listed = entries.slice(0, maxListed);
+    const direct = entries.filter((entry) => entry.depth === 1).length;
+    const list = listed.map((entry) => `${entry.test} (${entry.file})`).join(', ');
+    const rest = entries.length - listed.length;
+    const more = rest > 0 ? ` and ${rest} more` : '';
+    return `Task ${taskNumber} scope is imported by ${entries.length} preexisting tests that no task may modify, ${direct} directly: ${list}${more}. Add each test the task will change to its scope with tests.modify: true`;
+}
+/** Warn once per task whose existing scope is reached by an unmodifiable test. */
+export function frozenTestFindings(tasks, graph, limits) {
+    if (graph.files.length === 0)
+        return [];
+    const modifiable = modifiableTests(tasks);
+    const findings = [];
+    for (const task of tasks) {
+        if (task.existingPaths.length === 0)
+            continue;
+        const scoped = new Set(task.existingPaths);
+        const reachedTests = reachImporters(graph, task.existingPaths, limits.maxDepth).filter((entry) => isTestPath(entry.file) && !modifiable.has(entry.file));
+        if (reachedTests.length === 0)
+            continue;
+        const entries = reachedTests.map((entry) => ({
+            depth: entry.depth,
+            test: entry.file,
+            file: scopedTarget(graph, entry.file, scoped) ?? task.existingPaths[0] ?? '',
+        }));
+        findings.push(makeFinding('warning', { file: task.taskPath }, formatFrozenTestWarning(task.taskNumber, entries, limits.maxListed)));
+    }
+    return findings;
+}
+/** A path operand without glob metacharacters. */
+function isExactOperand(operand) {
+    return !/[*?]/.test(operand);
+}
+async function pathExists(target) {
+    return fs
+        .stat(target)
+        .then(() => true)
+        .catch(() => false);
+}
+/**
+ * The existing test files a verify names, or null when any named test operand is
+ * missing or an unmatched glob. An operand that names no test yields an empty
+ * list.
+ */
+async function verifiedTestPaths(projectRoot, command) {
+    const seen = new Set();
+    const tests = [];
+    for (const named of listNamedPaths(command)) {
+        if (!isTestPath(named) || seen.has(named))
+            continue;
+        seen.add(named);
+        if (isExactOperand(named)) {
+            if (!(await pathExists(path.join(projectRoot, named))))
+                return null;
+            tests.push(named);
+            continue;
+        }
+        const matches = (await resolveScope(projectRoot, [named]))
+            .filter((entry) => entry.absolutePath !== null && isTestPath(entry.relativePath))
+            .map((entry) => entry.relativePath);
+        if (matches.length === 0)
+            return null;
+        tests.push(...matches);
+    }
+    return tests;
+}
+/**
+ * Warn once per task whose verify names only existing tests and none of them
+ * reaches an existing file in the task's scope at any depth.
+ */
+export async function verifyWithoutScopeFindings(projectRoot, tasks, graph) {
+    const findings = [];
+    const graphFiles = new Set(graph.files);
+    for (const task of tasks) {
+        const named = await verifiedTestPaths(projectRoot, task.verify);
+        const tests = named?.filter((test) => graphFiles.has(test)) ?? [];
+        if (tests.length === 0)
+            continue;
+        const scoped = new Set(task.existingPaths);
+        const reachesScope = tests.some((test) => reachImports(graph, [test]).some((file) => scoped.has(file)));
+        if (reachesScope)
+            continue;
+        findings.push(makeFinding('warning', { file: task.taskPath }, `Task ${task.taskNumber} verify runs ${tests.join(', ')} but none of them imports a file in the task's scope`));
+    }
+    return findings;
+}
+//# sourceMappingURL=test-impact.js.map

package/dist/core/spec/test-impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-impact.js","sourceRoot":"","sources":["../../../src/core/spec/test-impact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAoB,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACnF,OAAO,EAAoB,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAuBnD,sFAAsF;AACtF,SAAS,UAAU,CAAC,YAAoB;IACtC,OAAO,YAAY,KAAK,OAAO,IAAI,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED,kFAAkF;AAClF,SAAS,eAAe,CAAC,KAAgC;IACvD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,SAAS;QAChC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YAC1C,IAAI,UAAU,CAAC,QAAQ,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CACnB,KAAkB,EAClB,IAAY,EACZ,MAA2B;IAE3B,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;SACxC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAClC,IAAI,EAAE,CAAC;IACV,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,mEAAmE;AACnE,SAAS,uBAAuB,CAC9B,UAAkB,EAClB,OAAgG,EAChG,SAAiB;IAEjB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,OAAO,QAAQ,UAAU,yBAAyB,OAAO,CAAC,MAAM,+CAA+C,MAAM,cAAc,IAAI,GAAG,IAAI,2EAA2E,CAAC;AAC5N,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAChC,KAAgC,EAChC,KAAkB,EAClB,MAAwB;IAExB,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CACpF,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CACjE,CAAC;QACF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAExC,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC3C,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE;SAC7E,CAAC,CAAC,CAAC;QACJ,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,SAAS,EACT,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,EACvB,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CACpE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kDAAkD;AAClD,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,MAAc;IACtC,OAAO,EAAE;SACN,IAAI,CAAC,MAAM,CAAC;SACZ,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAAe;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACpD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEhB,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,CAAC,MAAM,YAAY,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;aACvD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;aAChF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,WAAmB,EACnB,KAAgC,EAChC,KAAkB;IAElB,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAExC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC7D,CAAC;QACF,IAAI,YAAY;YAAE,SAAS;QAE3B,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,SAAS,EACT,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,EACvB,QAAQ,IAAI,CAAC,UAAU,gBAAgB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,sDAAsD,CAC9G,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/core/spec/traceability-links.d.ts

@@ -0,0 +1,50 @@
+import type { TraceabilityMode } from '../foundation/config-traceability.js';
+import type { Adr } from '../foundation/decisions.js';
+import type { ScenarioIndex } from '../trace/scenario-index.js';
+import { type CapabilityOwnership } from './capability-impact.js';
+import { type LintFinding, type LintSeverity } from './lint-findings.js';
+/**
+ * The link half of traceability lint: an added or modified scenario no scoped
+ * test names, a tag naming a missing scenario, a tagged function no covering
+ * test reaches, an ADR tag that is missing, unaccepted, or out of scope, and
+ * two effective scenarios sharing a name.
+ */
+/** One task's number, file, and resolved scope for planned-scenario reading. */
+export interface PlannedTask {
+    readonly taskNumber: string;
+    readonly taskPath: string;
+    readonly resolvedPaths: readonly string[];
+}
+/** The stable key for one capability/scenario pair. */
+export declare function scenarioKey(capability: string, name: string): string;
+/** The severity every traceability finding takes from the configured mode. */
+export declare function traceabilitySeverity(mode: TraceabilityMode): LintSeverity;
+/** One opted-in capability's scenario facts for the link rules. */
+export interface CapabilityLinkInfo {
+    readonly capability: string;
+    /** Repository-relative delta spec path, or null when the change has none. */
+    readonly deltaPath: string | null;
+    /** Every scenario name in the effective spec, in document order. */
+    readonly effectiveNames: readonly string[];
+    /** Added scenarios plus modified scenarios whose block differs. */
+    readonly alteredNames: readonly string[];
+}
+/** Everything the link rules read, already collected by the entry module. */
+export interface TraceabilityLinksInput {
+    readonly mode: TraceabilityMode;
+    readonly index: ScenarioIndex;
+    readonly scopedFiles: ReadonlySet<string>;
+    readonly optedIn: ReadonlySet<string>;
+    readonly capabilities: readonly CapabilityLinkInfo[];
+    /** `scenarioKey` values a task with a test path lists under `## Scenarios`. */
+    readonly planned: ReadonlySet<string>;
+    readonly namedByScopedTest: (capability: string, name: string) => boolean;
+    readonly plannedCoversFunction: (file: string, capability: string, name: string) => boolean;
+    readonly adrs: readonly Adr[];
+    readonly ownerships: readonly CapabilityOwnership[];
+}
+/** Every link finding: scenario links, tags, and ADRs, all in scope order. */
+export declare function linkFindings(input: TraceabilityLinksInput): LintFinding[];
+/** True when a planned scenario covers a function in the planning task's scope. */
+export declare function plannedCoversFunction(tasks: readonly PlannedTask[], planned: ReadonlyMap<string, Set<string>>, file: string, capability: string, name: string, namedByScopedTest: (capability: string, name: string) => boolean): boolean;
+//# sourceMappingURL=traceability-links.d.ts.map

package/dist/core/spec/traceability-links.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"traceability-links.d.ts","sourceRoot":"","sources":["../../../src/core/spec/traceability-links.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,4BAA4B,CAAC;AAEtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,KAAK,mBAAmB,EAAqB,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,YAAY,EAAe,MAAM,oBAAoB,CAAC;AAEtF;;;;;GAKG;AAEH,gFAAgF;AAChF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AAED,uDAAuD;AACvD,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpE;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,CAEzE;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,mEAAmE;IACnE,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,6EAA6E;AAC7E,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrD,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAC1E,QAAQ,CAAC,qBAAqB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAC5F,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACrD;AAwJD,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,KAAK,EAAE,sBAAsB,GAAG,WAAW,EAAE,CAEzE;AAED,mFAAmF;AACnF,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACzC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,GAC/D,OAAO,CAMT"}

package/dist/core/spec/traceability-links.js

@@ -0,0 +1,120 @@
+import { sameAdrNumber } from '../foundation/decisions.js';
+import { ownerCapabilities } from './capability-impact.js';
+import { makeFinding } from './lint-findings.js';
+/** The stable key for one capability/scenario pair. */
+export function scenarioKey(capability, name) {
+    return `${capability}\u0000${name}`;
+}
+/** The severity every traceability finding takes from the configured mode. */
+export function traceabilitySeverity(mode) {
+    return mode === 'require' ? 'error' : 'warning';
+}
+/** The first scenario name that appears more than once, in document order. */
+function firstDuplicate(names) {
+    const seen = new Set();
+    for (const name of names) {
+        if (seen.has(name))
+            return name;
+        seen.add(name);
+    }
+    return null;
+}
+/** Scenario-level findings: duplicate names and altered scenarios no test names. */
+function scenarioFindings(input) {
+    const findings = [];
+    const severity = traceabilitySeverity(input.mode);
+    for (const info of input.capabilities) {
+        if (info.deltaPath !== null) {
+            const duplicate = firstDuplicate(info.effectiveNames);
+            if (duplicate !== null) {
+                findings.push(makeFinding(severity, { file: info.deltaPath }, `${info.capability}: two scenarios named "${duplicate}"`));
+            }
+        }
+        if (info.deltaPath === null)
+            continue;
+        for (const name of info.alteredNames) {
+            if (input.planned.has(scenarioKey(info.capability, name)))
+                continue;
+            if (input.namedByScopedTest(info.capability, name))
+                continue;
+            findings.push(makeFinding(severity, { file: info.deltaPath }, `${info.capability}: no test names scenario "${name}"`));
+        }
+    }
+    return findings;
+}
+/** The capabilities a function serves, from its tags or its file's owners. */
+function servedCapabilities(input, file, scenarios) {
+    if (scenarios.length > 0) {
+        return [...new Set(scenarios.map((scenario) => scenario.capability))];
+    }
+    return ownerCapabilities(input.ownerships, file);
+}
+/** True when an accepted ADR applies to `all` or to a served capability. */
+function adrApplies(adr, served) {
+    if (adr.appliesTo === 'all')
+        return true;
+    if (!Array.isArray(adr.appliesTo))
+        return false;
+    return adr.appliesTo.some((capability) => served.includes(capability));
+}
+/** The ADR findings for one function's `@adr` tags. */
+function adrFindings(input, file, fnName, adrNumbers, served, severity) {
+    const findings = [];
+    for (const number of adrNumbers) {
+        const adr = input.adrs.find((candidate) => sameAdrNumber(candidate.number, number));
+        if (adr === undefined || adr.status !== 'accepted') {
+            findings.push(makeFinding(severity, { file }, `${fnName}: ADR ${number} doesn't exist or isn't accepted`));
+        }
+        else if (!adrApplies(adr, served)) {
+            findings.push(makeFinding(severity, { file }, `${fnName}: ADR ${number} doesn't apply to any capability it serves`));
+        }
+    }
+    return findings;
+}
+/** True when a test that covers a function also names the scenario. */
+function coveredByName(input, file, fnName, capability, scenario) {
+    const naming = new Set(input.index.testsNaming(capability, scenario));
+    return input.index.coveringTests(file, fnName).some((test) => naming.has(test));
+}
+/** Tag and ADR findings for the exported functions inside resolved scopes. */
+function functionFindings(input) {
+    const findings = [];
+    const severity = traceabilitySeverity(input.mode);
+    const namesByCapability = new Map(input.capabilities.map((info) => [info.capability, new Set(info.effectiveNames)]));
+    for (const fn of input.index.functions) {
+        if (!input.scopedFiles.has(fn.file))
+            continue;
+        for (const tag of fn.scenarios) {
+            if (!input.optedIn.has(tag.capability))
+                continue;
+            const names = namesByCapability.get(tag.capability) ?? new Set();
+            if (!names.has(tag.name)) {
+                findings.push(makeFinding(severity, { file: fn.file }, `${fn.name}: names a scenario the ${tag.capability} spec doesn't have: "${tag.name}"`));
+                continue;
+            }
+            const planned = input.plannedCoversFunction(fn.file, tag.capability, tag.name);
+            if (!planned && !coveredByName(input, fn.file, fn.name, tag.capability, tag.name)) {
+                findings.push(makeFinding(severity, { file: fn.file }, `${fn.name}: no test for "${tag.name}" covers it`));
+            }
+        }
+        if (fn.adrs.length === 0)
+            continue;
+        const served = servedCapabilities(input, fn.file, fn.scenarios);
+        if (!served.some((capability) => input.optedIn.has(capability)))
+            continue;
+        findings.push(...adrFindings(input, fn.file, fn.name, fn.adrs, served, severity));
+    }
+    return findings;
+}
+/** Every link finding: scenario links, tags, and ADRs, all in scope order. */
+export function linkFindings(input) {
+    return [...scenarioFindings(input), ...functionFindings(input)];
+}
+/** True when a planned scenario covers a function in the planning task's scope. */
+export function plannedCoversFunction(tasks, planned, file, capability, name, namedByScopedTest) {
+    if (namedByScopedTest(capability, name))
+        return false;
+    const key = scenarioKey(capability, name);
+    return tasks.some((task) => planned.get(task.taskNumber)?.has(key) === true && task.resolvedPaths.includes(file));
+}
+//# sourceMappingURL=traceability-links.js.map

package/dist/core/spec/traceability-links.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"traceability-links.js","sourceRoot":"","sources":["../../../src/core/spec/traceability-links.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAA4B,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAuC,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAgBtF,uDAAuD;AACvD,MAAM,UAAU,WAAW,CAAC,UAAkB,EAAE,IAAY;IAC1D,OAAO,GAAG,UAAU,SAAS,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,oBAAoB,CAAC,IAAsB;IACzD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AA4BD,8EAA8E;AAC9E,SAAS,cAAc,CAAC,KAAwB;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,KAA6B;IACrD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EACxB,GAAG,IAAI,CAAC,UAAU,0BAA0B,SAAS,GAAG,CACzD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI;YAAE,SAAS;QACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBAAE,SAAS;YACpE,IAAI,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EACxB,GAAG,IAAI,CAAC,UAAU,6BAA6B,IAAI,GAAG,CACvD,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,SAAS,kBAAkB,CACzB,KAA6B,EAC7B,IAAY,EACZ,SAAqD;IAErD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACnD,CAAC;AAED,4EAA4E;AAC5E,SAAS,UAAU,CAAC,GAAQ,EAAE,MAAyB;IACrD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,uDAAuD;AACvD,SAAS,WAAW,CAClB,KAA6B,EAC7B,IAAY,EACZ,MAAc,EACd,UAA6B,EAC7B,MAAyB,EACzB,QAAsB;IAEtB,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACpF,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACnD,QAAQ,CAAC,IAAI,CACX,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,MAAM,SAAS,MAAM,kCAAkC,CAAC,CAC5F,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,EACR,GAAG,MAAM,SAAS,MAAM,4CAA4C,CACrE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,uEAAuE;AACvE,SAAS,aAAa,CACpB,KAA6B,EAC7B,IAAY,EACZ,MAAc,EACd,UAAkB,EAClB,QAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,8EAA8E;AAC9E,SAAS,gBAAgB,CAAC,KAA6B;IACrD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAClF,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QAE9C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC;gBAAE,SAAS;YACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACzE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EACjB,GAAG,EAAE,CAAC,IAAI,0BAA0B,GAAG,CAAC,UAAU,wBAAwB,GAAG,CAAC,IAAI,GAAG,CACtF,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/E,IAAI,CAAC,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClF,QAAQ,CAAC,IAAI,CACX,WAAW,CACT,QAAQ,EACR,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EACjB,GAAG,EAAE,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,aAAa,CAClD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAAE,SAAS;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,KAA6B;IACxD,OAAO,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,qBAAqB,CACnC,KAA6B,EAC7B,OAAyC,EACzC,IAAY,EACZ,UAAkB,EAClB,IAAY,EACZ,iBAAgE;IAEhE,IAAI,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC/F,CAAC;AACJ,CAAC"}

package/dist/core/spec/traceability-lint.d.ts

@@ -0,0 +1,29 @@
+import type { OsqConfig } from '../foundation/config.js';
+import type { ImportGraph } from './import-graph.js';
+import { type LintFinding } from './lint-findings.js';
+/**
+ * Scenario traceability lint: one entrypoint that reads the effective spec,
+ * the scenario index built from the import graph, and each task's planned
+ * scenarios, then returns the link findings and the blast radius of changed
+ * scenarios. It is computed in one call from `lintChangeFolder`.
+ */
+/** One task's resolved scope, for planning and blast-radius checks. */
+export interface TraceabilityTask {
+    readonly taskNumber: string;
+    readonly taskPath: string;
+    /** Every resolved scope path, existing or not. */
+    readonly resolvedPaths: readonly string[];
+    readonly testsModify: boolean;
+}
+export interface TraceabilityInput {
+    readonly projectRoot: string;
+    readonly folderPath: string;
+    readonly config: OsqConfig;
+    /** Repository-relative `proposal.md`; kept for the entry contract. */
+    readonly proposalPath: string;
+    readonly tasks: readonly TraceabilityTask[];
+    readonly importGraph: ImportGraph;
+}
+/** Collect the traceability findings for one change folder. */
+export declare function collectTraceabilityFindings(input: TraceabilityInput): Promise<LintFinding[]>;
+//# sourceMappingURL=traceability-lint.d.ts.map

package/dist/core/spec/traceability-lint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"traceability-lint.d.ts","sourceRoot":"","sources":["../../../src/core/spec/traceability-lint.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAMzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,KAAK,WAAW,EAAe,MAAM,oBAAoB,CAAC;AAkBnE;;;;;GAKG;AAEH,uEAAuE;AACvE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,sEAAsE;IACtE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAkHD,+DAA+D;AAC/D,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,WAAW,EAAE,CAAC,CAgExB"}