@rasensio/aidlc 1.3.0 → 1.4.0

package/dist/traceability/gate-criterion.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Traceability gate criterion (FR4): computed live at the command layer
+ * after `evaluateGate`, following the knowledge-criterion precedent — it
+ * therefore evaluates even when phase state is `complete` (AC-11) and never
+ * touches `evaluateGate`'s contract (DD1).
+ *
+ * Applicability tri-state (DD7):
+ *   null                      phase ≠ testing, phase-testing.yaml absent, or
+ *                             zero AC-shaped lines (AC-3, AC-13)
+ *   result, empty entries     only near-misses — warnings surface (AC-22)
+ *   result with entries       ≥1 valid definition — full evaluation
+ *
+ * Requirements: traceability-ids/AC-3, AC-11..AC-15
+ */
+import type { ParsedRequirements, TraceabilityConfig, TraceabilityResult } from './types.js';
+/** Message template callers use for unsatisfied criteria / violations. */
+export declare function uncoveredMessage(acId: number): string;
+/** Tolerant reader for the optional `traceability:` config section (AC-7). */
+export declare function loadTraceabilityConfig(projectRoot: string): TraceabilityConfig | null;
+/**
+ * Parse every instance's requirements.md — the registry backing the bare-
+ * reference uniqueness rule (AC-24, D5). Reads by explicit path; the
+ * scanner's `.aidlc` exclusion governs test discovery only.
+ */
+export declare function loadRegistry(projectRoot: string): Map<string, ParsedRequirements>;
+/**
+ * Evaluate the traceability criterion for one instance.
+ *
+ * @returns null when the criterion does not evaluate (AC-3, AC-13); otherwise
+ *   a result whose `uncoveredActive` entries the caller turns into
+ *   unsatisfied criteria / gate violations via {@link uncoveredMessage}.
+ */
+export declare function evaluateTraceabilityCriterion(projectRoot: string, instanceName: string, phaseName: string): TraceabilityResult | null;
+//# sourceMappingURL=gate-criterion.d.ts.map

package/dist/traceability/gate-criterion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-criterion.d.ts","sourceRoot":"","sources":["../../src/traceability/gate-criterion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAM7F,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAErD;AAED,8EAA8E;AAC9E,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAarF;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAkBjF;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,kBAAkB,GAAG,IAAI,CAuD3B"}

package/dist/traceability/gate-criterion.js

@@ -0,0 +1,128 @@
+/**
+ * Traceability gate criterion (FR4): computed live at the command layer
+ * after `evaluateGate`, following the knowledge-criterion precedent — it
+ * therefore evaluates even when phase state is `complete` (AC-11) and never
+ * touches `evaluateGate`'s contract (DD1).
+ *
+ * Applicability tri-state (DD7):
+ *   null                      phase ≠ testing, phase-testing.yaml absent, or
+ *                             zero AC-shaped lines (AC-3, AC-13)
+ *   result, empty entries     only near-misses — warnings surface (AC-22)
+ *   result with entries       ≥1 valid definition — full evaluation
+ *
+ * Requirements: traceability-ids/AC-3, AC-11..AC-15
+ */
+import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { parse as parseYaml } from 'yaml';
+import { parseRequirements } from './parser.js';
+import { DEFAULT_TEST_GLOBS, discoverTestFiles, scanFiles } from './scanner.js';
+import { parseCoverageBlock } from './coverage-block.js';
+import { buildMatrix } from './matrix.js';
+/** Message template callers use for unsatisfied criteria / violations. */
+export function uncoveredMessage(acId) {
+    return `acceptance criterion AC-${acId} has no referencing test (traceability)`;
+}
+/** Tolerant reader for the optional `traceability:` config section (AC-7). */
+export function loadTraceabilityConfig(projectRoot) {
+    const configPath = join(projectRoot, '.aidlc', 'config.yaml');
+    try {
+        if (!existsSync(configPath))
+            return null;
+        const config = parseYaml(readFileSync(configPath, 'utf8'));
+        const section = config?.traceability;
+        if (typeof section !== 'object' || section === null)
+            return null;
+        const globs = section.test_globs;
+        if (!Array.isArray(globs) || !globs.every((g) => typeof g === 'string'))
+            return {};
+        return { test_globs: globs };
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Parse every instance's requirements.md — the registry backing the bare-
+ * reference uniqueness rule (AC-24, D5). Reads by explicit path; the
+ * scanner's `.aidlc` exclusion governs test discovery only.
+ */
+export function loadRegistry(projectRoot) {
+    const registry = new Map();
+    const stateDir = join(projectRoot, '.aidlc', 'state');
+    let instances;
+    try {
+        instances = readdirSync(stateDir);
+    }
+    catch {
+        return registry;
+    }
+    for (const name of instances.sort()) {
+        const reqPath = join(stateDir, name, 'requirements.md');
+        try {
+            registry.set(name, parseRequirements(readFileSync(reqPath, 'utf8'), name));
+        }
+        catch {
+            // No requirements.md — not an AC-bearing instance.
+        }
+    }
+    return registry;
+}
+/**
+ * Evaluate the traceability criterion for one instance.
+ *
+ * @returns null when the criterion does not evaluate (AC-3, AC-13); otherwise
+ *   a result whose `uncoveredActive` entries the caller turns into
+ *   unsatisfied criteria / gate violations via {@link uncoveredMessage}.
+ */
+export function evaluateTraceabilityCriterion(projectRoot, instanceName, phaseName) {
+    if (phaseName !== 'testing')
+        return null;
+    const instanceDir = join(projectRoot, '.aidlc', 'state', instanceName);
+    if (!existsSync(join(instanceDir, 'phase-testing.yaml')))
+        return null;
+    const registry = loadRegistry(projectRoot);
+    const parsed = registry.get(instanceName);
+    if (!parsed || parsed.acShapedLines === 0)
+        return null;
+    const requirementsPath = `.aidlc/state/${instanceName}/requirements.md`;
+    const testingPath = `.aidlc/state/${instanceName}/testing.md`;
+    // Warnings ordered by phase: parse → glob/discovery → scan → block → matrix
+    // (NFR4). Registry parse warnings are scoped to the target instance only.
+    const warnings = [...parsed.warnings];
+    if (parsed.defs.length === 0) {
+        // Tri-state case 2: every criterion is a near-miss — visible, not silent.
+        return { requirementsPath, entries: [], warnings, uncoveredActive: [] };
+    }
+    const config = loadTraceabilityConfig(projectRoot);
+    const globs = config?.test_globs ?? DEFAULT_TEST_GLOBS;
+    const discovery = discoverTestFiles(projectRoot, globs);
+    warnings.push(...discovery.warnings);
+    const scan = scanFiles(projectRoot, discovery.files);
+    warnings.push(...scan.warnings);
+    let blockEntries = [];
+    try {
+        const block = parseCoverageBlock(readFileSync(join(instanceDir, 'testing.md'), 'utf8'));
+        blockEntries = block.entries;
+        warnings.push(...block.warnings);
+    }
+    catch {
+        // No testing.md yet — scan-only coverage.
+    }
+    const matrix = buildMatrix({
+        instance: instanceName,
+        parsed,
+        registry,
+        refs: scan.refs,
+        blockEntries,
+        testingPath,
+    });
+    warnings.push(...matrix.warnings);
+    return {
+        requirementsPath,
+        entries: matrix.entries,
+        warnings,
+        uncoveredActive: matrix.uncoveredActive,
+    };
+}
+//# sourceMappingURL=gate-criterion.js.map

package/dist/traceability/gate-criterion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-criterion.js","sourceRoot":"","sources":["../../src/traceability/gate-criterion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAG1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,2BAA2B,IAAI,yCAAyC,CAAC;AAClF,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,WAAmB;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9D,IAAI,CAAC;QACH,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAmC,CAAC;QAC7F,MAAM,OAAO,GAAG,MAAM,EAAE,YAAY,CAAC;QACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjE,MAAM,KAAK,GAAI,OAAmC,CAAC,UAAU,CAAC;QAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QACnF,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,WAAmB;IAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,SAAmB,CAAC;IACxB,IAAI,CAAC;QACH,SAAS,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACxD,IAAI,CAAC;YACH,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7E,CAAC;QAAC,MAAM,CAAC;YACP,mDAAmD;QACrD,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAC3C,WAAmB,EACnB,YAAoB,EACpB,SAAiB;IAEjB,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACvE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtE,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,gBAAgB,GAAG,gBAAgB,YAAY,kBAAkB,CAAC;IACxE,MAAM,WAAW,GAAG,gBAAgB,YAAY,aAAa,CAAC;IAE9D,4EAA4E;IAC5E,0EAA0E;IAC1E,MAAM,QAAQ,GAAa,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEhD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,0EAA0E;QAC1E,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;IAC1E,CAAC;IAED,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,EAAE,UAAU,IAAI,kBAAkB,CAAC;IAEvD,MAAM,SAAS,GAAG,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACxD,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEhC,IAAI,YAAY,GAAqD,EAAE,CAAC;IACxE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACxF,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,0CAA0C;IAC5C,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,QAAQ,EAAE,YAAY;QACtB,MAAM;QACN,QAAQ;QACR,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,YAAY;QACZ,WAAW;KACZ,CAAC,CAAC;IACH,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAElC,OAAO;QACL,gBAAgB;QAChB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ;QACR,eAAe,EAAE,MAAM,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC"}

package/dist/traceability/matrix.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Coverage matrix builder: resolves references against the cross-instance
+ * registry (uniqueness rule, D5) and unions scan ∪ block coverage per AC.
+ *
+ * Bare `AC-n` counts only when exactly one AC-bearing instance defines id n
+ * (AC-24); qualified `<instance>/AC-n` always resolves to that instance
+ * (AC-25). Retired ACs never require coverage; references to them warn
+ * (AC-14). Only `uncoveredActive` fails gates — warnings are data (DD6).
+ *
+ * Requirements: traceability-ids/AC-9..AC-15, AC-24, AC-25
+ */
+import type { AcCoverageEntry, AcReference, ParsedRequirements } from './types.js';
+import type { CoverageBlockEntry } from './coverage-block.js';
+export interface MatrixInput {
+    /** Target instance name. */
+    instance: string;
+    /** Target instance's parsed requirements. */
+    parsed: ParsedRequirements;
+    /** All instances' parsed requirements (registry, keyed by instance). */
+    registry: Map<string, ParsedRequirements>;
+    /** Scanned references from test files. */
+    refs: AcReference[];
+    /** Entries from the target instance's ac-coverage block. */
+    blockEntries: CoverageBlockEntry[];
+    /** Posix-relative path of the target instance's testing.md. */
+    testingPath: string;
+}
+export interface MatrixOutput {
+    entries: AcCoverageEntry[];
+    warnings: string[];
+    uncoveredActive: number[];
+}
+/** Build the coverage matrix for one instance. */
+export declare function buildMatrix(input: MatrixInput): MatrixOutput;
+//# sourceMappingURL=matrix.d.ts.map

package/dist/traceability/matrix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matrix.d.ts","sourceRoot":"","sources":["../../src/traceability/matrix.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,eAAe,EAEf,WAAW,EACX,kBAAkB,EACnB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAE9D,MAAM,WAAW,WAAW;IAC1B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,MAAM,EAAE,kBAAkB,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC1C,0CAA0C;IAC1C,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,4DAA4D;IAC5D,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAWD,kDAAkD;AAClD,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,CA+E5D"}

package/dist/traceability/matrix.js

@@ -0,0 +1,93 @@
+/**
+ * Coverage matrix builder: resolves references against the cross-instance
+ * registry (uniqueness rule, D5) and unions scan ∪ block coverage per AC.
+ *
+ * Bare `AC-n` counts only when exactly one AC-bearing instance defines id n
+ * (AC-24); qualified `<instance>/AC-n` always resolves to that instance
+ * (AC-25). Retired ACs never require coverage; references to them warn
+ * (AC-14). Only `uncoveredActive` fails gates — warnings are data (DD6).
+ *
+ * Requirements: traceability-ids/AC-9..AC-15, AC-24, AC-25
+ */
+/** Instances (other than possibly the target) defining a given AC id. */
+function definersOf(registry, acId) {
+    const definers = [];
+    for (const [name, parsed] of registry) {
+        if (parsed.defs.some((d) => d.id === acId))
+            definers.push(name);
+    }
+    return definers.sort();
+}
+/** Build the coverage matrix for one instance. */
+export function buildMatrix(input) {
+    const { instance, parsed, registry, refs, blockEntries, testingPath } = input;
+    const warnings = [];
+    const byId = new Map(parsed.defs.map((d) => [d.id, d]));
+    const coverage = new Map();
+    const addRef = (acId, path, source) => {
+        let paths = coverage.get(acId);
+        if (!paths)
+            coverage.set(acId, (paths = new Map()));
+        if (!paths.has(path))
+            paths.set(path, source);
+    };
+    // Resolve scanned references.
+    for (const ref of refs) {
+        if (ref.instance !== null) {
+            // Qualified (AC-25): counts only for the named instance.
+            const target = registry.get(ref.instance);
+            if (!target || !target.defs.some((d) => d.id === ref.acId)) {
+                warnings.push(`${ref.path}:${ref.line}: ${ref.instance}/AC-${ref.acId} references unknown instance/id`);
+                continue;
+            }
+            if (ref.instance !== instance)
+                continue; // another instance's coverage
+        }
+        else {
+            // Bare (AC-24): counts only when exactly one instance defines the id.
+            const definers = definersOf(registry, ref.acId);
+            if (definers.length === 0)
+                continue; // unknown id — not ours to warn about
+            if (definers.length > 1) {
+                warnings.push(`${ref.path}:${ref.line}: bare AC-${ref.acId} is ambiguous (defined by ${definers.join(', ')}); qualify as <instance>/AC-${ref.acId}`);
+                continue;
+            }
+            if (definers[0] !== instance)
+                continue;
+        }
+        const def = byId.get(ref.acId);
+        if (def?.status === 'retired') {
+            warnings.push(`${ref.path}:${ref.line}: AC-${ref.acId} is retired (stale reference)`);
+        }
+        addRef(ref.acId, ref.path, 'scan');
+    }
+    // Union in block entries (AC-9); unknown/retired ids warn, never fail (AC-10).
+    for (const entry of blockEntries) {
+        const def = byId.get(entry.acId);
+        if (!def) {
+            warnings.push(`${testingPath}:${entry.line}: ac-coverage entry AC-${entry.acId} references unknown id`);
+            continue;
+        }
+        if (def.status === 'retired') {
+            warnings.push(`${testingPath}:${entry.line}: ac-coverage entry AC-${entry.acId} is retired (stale reference)`);
+            continue;
+        }
+        addRef(entry.acId, testingPath, 'block');
+    }
+    // Assemble entries sorted by id; refs sorted by path (NFR4).
+    const entries = [...parsed.defs]
+        .sort((a, b) => a.id - b.id)
+        .map((def) => {
+        const paths = coverage.get(def.id);
+        const refList = paths
+            ? [...paths.entries()]
+                .sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0))
+                .map(([path, source]) => ({ path, source }))
+            : [];
+        const status = def.status === 'retired' ? 'retired' : refList.length > 0 ? 'covered' : 'uncovered';
+        return { id: def.id, status, refs: refList };
+    });
+    const uncoveredActive = entries.filter((e) => e.status === 'uncovered').map((e) => e.id);
+    return { entries, warnings, uncoveredActive };
+}
+//# sourceMappingURL=matrix.js.map

package/dist/traceability/matrix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matrix.js","sourceRoot":"","sources":["../../src/traceability/matrix.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AA+BH,yEAAyE;AACzE,SAAS,UAAU,CAAC,QAAyC,EAAE,IAAY;IACzE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,WAAW,CAAC,KAAkB;IAC5C,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAuB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyC,CAAC;IAElE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,MAAwB,EAAE,EAAE;QACtE,IAAI,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC;IAEF,8BAA8B;IAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC1B,yDAAyD;YACzD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC1C,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3D,QAAQ,CAAC,IAAI,CACX,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,OAAO,GAAG,CAAC,IAAI,iCAAiC,CACzF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;gBAAE,SAAS,CAAC,8BAA8B;QACzE,CAAC;aAAM,CAAC;YACN,sEAAsE;YACtE,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS,CAAC,sCAAsC;YAC3E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CACX,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,aAAa,GAAG,CAAC,IAAI,6BAA6B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,GAAG,CAAC,IAAI,EAAE,CACtI,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ;gBAAE,SAAS;QACzC,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,+BAA+B,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IAED,+EAA+E;IAC/E,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,wBAAwB,CACzF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,+BAA+B,CAChG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,6DAA6D;IAC7D,MAAM,OAAO,GAAsB,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;SAChD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;SAC3B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,KAAK;YACnB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;iBACjB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAChD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAChD,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,MAAM,GACV,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;QACtF,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEL,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;AAChD,CAAC"}

package/dist/traceability/parser.d.ts

@@ -0,0 +1,27 @@
+/**
+ * AC definition parser: closed grammar over requirements.md (FR1).
+ *
+ * Accepted forms (dash bullets only; emphasis coupled — unbalanced bold is a
+ * near-miss, AC-22/design F13):
+ *   - AC-n: text
+ *   - **AC-n**: text
+ *   - **AC-n:** text
+ *   - AC-n (retired YYYY-MM-DD[, superseded by AC-m]): text
+ *   - **AC-n** (retired ...): text
+ *   - **AC-n (retired ...):** text
+ *   - **AC-n (retired ...)**: text
+ *
+ * Anything AC-shaped that fails the strict grammar warns rather than silently
+ * dropping out of required coverage (AC-22).
+ *
+ * Requirements: traceability-ids/AC-1, AC-2, AC-4, AC-22, AC-23
+ */
+import type { ParsedRequirements } from './types.js';
+/**
+ * Parse one requirements.md for AC definitions.
+ *
+ * @param content - File content (UTF-8).
+ * @param instance - Owning instance name, recorded on each definition.
+ */
+export declare function parseRequirements(content: string, instance: string): ParsedRequirements;
+//# sourceMappingURL=parser.d.ts.map

package/dist/traceability/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/traceability/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAgB,kBAAkB,EAAE,MAAM,YAAY,CAAC;AA0BnE;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,kBAAkB,CAiEvF"}

package/dist/traceability/parser.js

@@ -0,0 +1,101 @@
+/**
+ * AC definition parser: closed grammar over requirements.md (FR1).
+ *
+ * Accepted forms (dash bullets only; emphasis coupled — unbalanced bold is a
+ * near-miss, AC-22/design F13):
+ *   - AC-n: text
+ *   - **AC-n**: text
+ *   - **AC-n:** text
+ *   - AC-n (retired YYYY-MM-DD[, superseded by AC-m]): text
+ *   - **AC-n** (retired ...): text
+ *   - **AC-n (retired ...):** text
+ *   - **AC-n (retired ...)**: text
+ *
+ * Anything AC-shaped that fails the strict grammar warns rather than silently
+ * dropping out of required coverage (AC-22).
+ *
+ * Requirements: traceability-ids/AC-1, AC-2, AC-4, AC-22, AC-23
+ */
+// Active: the three bold/colon variants, coupled emphasis, non-empty text.
+const ACTIVE_RE = /^\s*-\s+(?:AC-([1-9][0-9]*):|\*\*AC-([1-9][0-9]*)\*\*:|\*\*AC-([1-9][0-9]*):\*\*)\s+\S/;
+// Retired: `R` = retired marker with optional supersession.
+const R = String.raw `\(retired\s+(\d{4}-\d{2}-\d{2})(?:,\s*superseded by AC-([1-9][0-9]*))?\)`;
+const RETIRED_RE = new RegExp(String.raw `^\s*-\s+(?:` +
+    String.raw `AC-([1-9][0-9]*)\s+${R}:|` +
+    String.raw `\*\*AC-([1-9][0-9]*)\*\*\s+${R}:|` +
+    String.raw `\*\*AC-([1-9][0-9]*)\s+${R}:\*\*|` +
+    String.raw `\*\*AC-([1-9][0-9]*)\s+${R}\*\*:` +
+    String.raw `)`);
+// Loose pattern for the near-miss lint (AC-22): any bullet style, so `*`/`+`
+// bullets and numbered items warn instead of vanishing (design F13).
+const AC_SHAPED_RE = /^\s*(?:[-*+]|\d+\.)\s+\**AC-\d+/;
+function excerpt(line) {
+    const trimmed = line.trim();
+    return trimmed.length > 60 ? `${trimmed.slice(0, 57)}...` : trimmed;
+}
+/**
+ * Parse one requirements.md for AC definitions.
+ *
+ * @param content - File content (UTF-8).
+ * @param instance - Owning instance name, recorded on each definition.
+ */
+export function parseRequirements(content, instance) {
+    const defs = [];
+    const warnings = [];
+    const byId = new Map();
+    let acShapedLines = 0;
+    const lines = content.split('\n');
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        const lineNo = i + 1;
+        if (!AC_SHAPED_RE.test(line))
+            continue;
+        acShapedLines++;
+        let def = null;
+        const active = ACTIVE_RE.exec(line);
+        if (active) {
+            const id = Number(active[1] ?? active[2] ?? active[3]);
+            def = { id, instance, line: lineNo, status: 'active' };
+        }
+        else {
+            const retired = RETIRED_RE.exec(line);
+            if (retired) {
+                // Four alternatives × (id, date, supersededBy) capture triplets.
+                for (let g = 1; g <= 10; g += 3) {
+                    if (retired[g] !== undefined) {
+                        def = {
+                            id: Number(retired[g]),
+                            instance,
+                            line: lineNo,
+                            status: 'retired',
+                            retiredDate: retired[g + 1],
+                            ...(retired[g + 2] !== undefined && { supersededBy: Number(retired[g + 2]) }),
+                        };
+                        break;
+                    }
+                }
+            }
+        }
+        if (!def) {
+            warnings.push(`line ${lineNo}: "${excerpt(line)}" resembles an AC definition but does not match the grammar`);
+            continue;
+        }
+        const existing = byId.get(def.id);
+        if (existing) {
+            warnings.push(`duplicate AC-${def.id}: lines ${existing.line} and ${lineNo} (first occurrence wins)`);
+            continue;
+        }
+        byId.set(def.id, def);
+        defs.push(def);
+    }
+    // Sequence gaps (AC-23), computed over active ∪ retired ids.
+    if (byId.size > 0) {
+        const maxId = Math.max(...byId.keys());
+        for (let n = 1; n <= maxId; n++) {
+            if (!byId.has(n))
+                warnings.push(`AC-${n} is never defined (sequence gap)`);
+        }
+    }
+    return { defs, warnings, acShapedLines };
+}
+//# sourceMappingURL=parser.js.map

package/dist/traceability/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/traceability/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,2EAA2E;AAC3E,MAAM,SAAS,GACb,wFAAwF,CAAC;AAE3F,4DAA4D;AAC5D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAA,0EAA0E,CAAC;AAC/F,MAAM,UAAU,GAAG,IAAI,MAAM,CAC3B,MAAM,CAAC,GAAG,CAAA,aAAa;IACrB,MAAM,CAAC,GAAG,CAAA,sBAAsB,CAAC,IAAI;IACrC,MAAM,CAAC,GAAG,CAAA,8BAA8B,CAAC,IAAI;IAC7C,MAAM,CAAC,GAAG,CAAA,0BAA0B,CAAC,QAAQ;IAC7C,MAAM,CAAC,GAAG,CAAA,0BAA0B,CAAC,OAAO;IAC5C,MAAM,CAAC,GAAG,CAAA,GAAG,CAChB,CAAC;AAEF,6EAA6E;AAC7E,qEAAqE;AACrE,MAAM,YAAY,GAAG,iCAAiC,CAAC;AAEvD,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,OAAO,OAAO,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AACtE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,QAAgB;IACjE,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QACvC,aAAa,EAAE,CAAC;QAEhB,IAAI,GAAG,GAAwB,IAAI,CAAC;QACpC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,GAAG,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,OAAO,EAAE,CAAC;gBACZ,iEAAiE;gBACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;wBAC7B,GAAG,GAAG;4BACJ,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;4BACtB,QAAQ;4BACR,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,SAAS;4BACjB,WAAW,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;4BAC3B,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC9E,CAAC;wBACF,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,QAAQ,CAAC,IAAI,CACX,QAAQ,MAAM,MAAM,OAAO,CAAC,IAAI,CAAC,6DAA6D,CAC/F,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CACX,gBAAgB,GAAG,CAAC,EAAE,WAAW,QAAQ,CAAC,IAAI,QAAQ,MAAM,0BAA0B,CACvF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAED,6DAA6D;IAC7D,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,kCAAkC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;AAC3C,CAAC"}

package/dist/traceability/scanner.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Test-file discovery and AC-reference scanning (FR2).
+ *
+ * Own walker + glob translator instead of `fs.globSync`: stdlib glob
+ * semantics are release-dependent while the Node floor is 22.13; the pinned
+ * semantics here are enforced by this module's tests (NFR1, design DD2).
+ *
+ * Pinned semantics (design Data Flow 4):
+ *   - `**` matches zero or more path segments
+ *   - `*` / `?` match within a segment, never a leading dot
+ *   - dot-files and dot-directories are never traversed
+ *   - exclusions (node_modules, .git, dist, build, .aidlc) prune before
+ *     descent at any depth, regardless of glob source (AC-6/AC-7, DD4)
+ *   - symlinks are never followed (AC-8, NFR3)
+ *   - emitted paths are posix-separated and project-root-relative (design F7)
+ *
+ * Requirements: traceability-ids/AC-5..AC-8, AC-24, AC-25
+ */
+import type { AcReference } from './types.js';
+/** D1 default test globs. */
+export declare const DEFAULT_TEST_GLOBS: string[];
+/** Scan caps (NFR2, AC-8). */
+export declare const MAX_SCANNED_FILES = 10000;
+/**
+ * Translate one glob into a RegExp over posix relative paths, or null when
+ * the pattern uses unsupported syntax (braces, extglobs, character classes).
+ */
+export declare function translateGlob(pattern: string): RegExp | null;
+/**
+ * Validate configured globs (AC-7): absolute or `..`-containing patterns and
+ * unsupported syntax are rejected with a warning naming the glob.
+ */
+export declare function validateGlobs(patterns: string[]): {
+    matchers: RegExp[];
+    warnings: string[];
+};
+export interface DiscoveryResult {
+    /** Posix-separated project-root-relative paths, sorted. */
+    files: string[];
+    warnings: string[];
+}
+/**
+ * Discover test files by glob against the project root.
+ *
+ * @param projectRoot - Directory containing `.aidlc/`.
+ * @param globs - Effective glob list (defaults or config).
+ */
+export declare function discoverTestFiles(projectRoot: string, globs: string[]): DiscoveryResult;
+export interface ScanResult {
+    refs: AcReference[];
+    warnings: string[];
+}
+/** Scan one file's content for AC reference tokens (qualified, then bare). */
+export declare function scanContent(content: string, path: string): AcReference[];
+/**
+ * Scan discovered files, skipping unreadable/oversize/binary files with a
+ * warning (AC-8). Never throws.
+ */
+export declare function scanFiles(projectRoot: string, files: string[]): ScanResult;
+/** Convert a native relative path to the canonical posix form (design F7). */
+export declare function toPosix(relPath: string): string;
+//# sourceMappingURL=scanner.d.ts.map

package/dist/traceability/scanner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scanner.d.ts","sourceRoot":"","sources":["../../src/traceability/scanner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,6BAA6B;AAC7B,eAAO,MAAM,kBAAkB,UAA8D,CAAC;AAK9F,8BAA8B;AAC9B,eAAO,MAAM,iBAAiB,QAAS,CAAC;AAgBxC;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAyB5D;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAoB5F;AAMD,MAAM,WAAW,eAAe;IAC9B,2DAA2D;IAC3D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAsBD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,eAAe,CAYvF;AAMD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,8EAA8E;AAC9E,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAexE;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,CA8B1E;AAED,8EAA8E;AAC9E,wBAAgB,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE/C"}