@rasensio/aidlc 1.3.0 → 1.5.0

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"}

package/dist/traceability/scanner.js

@@ -0,0 +1,198 @@
+/**
+ * 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 { readdirSync, readFileSync, statSync } from 'node:fs';
+import { isAbsolute, join, sep } from 'node:path';
+/** D1 default test globs. */
+export const DEFAULT_TEST_GLOBS = ['**/*.test.*', '**/*.spec.*', '**/test/**', '**/tests/**'];
+/** Unconditional exclusions — directory-name filters applied before descent. */
+const EXCLUDED_DIRS = new Set(['node_modules', '.git', 'dist', 'build', '.aidlc']);
+/** Scan caps (NFR2, AC-8). */
+export const MAX_SCANNED_FILES = 10_000;
+const MAX_FILE_BYTES = 1024 * 1024;
+const BINARY_SNIFF_BYTES = 8 * 1024;
+// Reference tokens (AC-5, AC-24, AC-25): case-sensitive, literal digits,
+// symmetric boundaries — `AC-1-bis` is not a reference to AC-1 (design F8);
+// `https://example.com/AC-6` is not a qualified reference (design F9).
+const QUALIFIED_RE = /(?<![\w./:-])([a-z0-9-]+)\/AC-([1-9][0-9]*)(?![\w-])/g;
+const BARE_RE = /(?<![\w/-])AC-([1-9][0-9]*)(?![\w-])/g;
+// ---------------------------------------------------------------------------
+// Glob translation
+// ---------------------------------------------------------------------------
+const GLOB_UNSUPPORTED = /[{}()!+@]|\[/;
+/**
+ * Translate one glob into a RegExp over posix relative paths, or null when
+ * the pattern uses unsupported syntax (braces, extglobs, character classes).
+ */
+export function translateGlob(pattern) {
+    if (GLOB_UNSUPPORTED.test(pattern))
+        return null;
+    const segments = pattern.split('/').filter((s) => s.length > 0);
+    const parts = [];
+    for (const seg of segments) {
+        if (seg === '**') {
+            // Zero or more whole segments (each not starting with a dot).
+            parts.push('(?:[^./][^/]*/)*');
+            continue;
+        }
+        let re = '';
+        for (const ch of seg) {
+            if (ch === '*')
+                re += '[^/]*';
+            else if (ch === '?')
+                re += '[^/]';
+            else
+                re += ch.replace(/[.\\^$|#+()[\]{}]/g, '\\$&');
+        }
+        // `*`/`?` never match a leading dot.
+        if (seg.startsWith('*') || seg.startsWith('?'))
+            re = `(?!\\.)${re}`;
+        parts.push(`${re}/`);
+    }
+    let source = parts.join('');
+    if (source.endsWith('/'))
+        source = source.slice(0, -1);
+    // A trailing `**` also matches files in any subdirectory.
+    if (segments[segments.length - 1] === '**')
+        source += '[^/]*(?:/[^/]+)*';
+    return new RegExp(`^${source}$`);
+}
+/**
+ * Validate configured globs (AC-7): absolute or `..`-containing patterns and
+ * unsupported syntax are rejected with a warning naming the glob.
+ */
+export function validateGlobs(patterns) {
+    const matchers = [];
+    const warnings = [];
+    for (const pattern of patterns) {
+        if (isAbsolute(pattern)) {
+            warnings.push(`glob "${pattern}" rejected: absolute`);
+            continue;
+        }
+        if (pattern.split('/').includes('..')) {
+            warnings.push(`glob "${pattern}" rejected: escapes project root`);
+            continue;
+        }
+        const matcher = translateGlob(pattern);
+        if (!matcher) {
+            warnings.push(`glob "${pattern}" rejected: unsupported syntax`);
+            continue;
+        }
+        matchers.push(matcher);
+    }
+    return { matchers, warnings };
+}
+/** Recursively collect candidate files under root (pinned semantics above). */
+function walk(root, relDir, out) {
+    let entries;
+    try {
+        entries = readdirSync(relDir === '' ? root : join(root, ...relDir.split('/')), {
+            withFileTypes: true,
+        });
+    }
+    catch {
+        return;
+    }
+    entries.sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+    for (const entry of entries) {
+        if (entry.name.startsWith('.') || EXCLUDED_DIRS.has(entry.name))
+            continue;
+        const rel = relDir === '' ? entry.name : `${relDir}/${entry.name}`;
+        // Dirent type checks never follow symlinks (lstat semantics).
+        if (entry.isDirectory())
+            walk(root, rel, out);
+        else if (entry.isFile())
+            out.push(rel);
+    }
+}
+/**
+ * Discover test files by glob against the project root.
+ *
+ * @param projectRoot - Directory containing `.aidlc/`.
+ * @param globs - Effective glob list (defaults or config).
+ */
+export function discoverTestFiles(projectRoot, globs) {
+    const { matchers, warnings } = validateGlobs(globs);
+    const all = [];
+    walk(projectRoot, '', all);
+    const files = all.filter((f) => matchers.some((m) => m.test(f)));
+    if (files.length > MAX_SCANNED_FILES) {
+        warnings.push(`scanning truncated at ${MAX_SCANNED_FILES} files; coverage may be under-reported`);
+        files.length = MAX_SCANNED_FILES;
+    }
+    return { files, warnings };
+}
+/** Scan one file's content for AC reference tokens (qualified, then bare). */
+export function scanContent(content, path) {
+    const refs = [];
+    const lines = content.split('\n');
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        for (const m of line.matchAll(QUALIFIED_RE)) {
+            refs.push({ acId: Number(m[2]), instance: m[1], path, line: i + 1, source: 'scan' });
+        }
+        // Bare tokens inside qualified ones are blocked by `/` in the lookbehind
+        // — that guard, not token consumption, prevents double-counting (F8).
+        for (const m of line.matchAll(BARE_RE)) {
+            refs.push({ acId: Number(m[1]), instance: null, path, line: i + 1, source: 'scan' });
+        }
+    }
+    return refs;
+}
+/**
+ * Scan discovered files, skipping unreadable/oversize/binary files with a
+ * warning (AC-8). Never throws.
+ */
+export function scanFiles(projectRoot, files) {
+    const refs = [];
+    const warnings = [];
+    for (const rel of files) {
+        const abs = join(projectRoot, ...rel.split('/'));
+        let size;
+        try {
+            size = statSync(abs).size;
+        }
+        catch {
+            warnings.push(`skipped ${rel}: unreadable`);
+            continue;
+        }
+        if (size > MAX_FILE_BYTES) {
+            warnings.push(`skipped ${rel}: too large`);
+            continue;
+        }
+        let buf;
+        try {
+            buf = readFileSync(abs);
+        }
+        catch {
+            warnings.push(`skipped ${rel}: unreadable`);
+            continue;
+        }
+        if (buf.subarray(0, BINARY_SNIFF_BYTES).includes(0)) {
+            warnings.push(`skipped ${rel}: binary`);
+            continue;
+        }
+        refs.push(...scanContent(buf.toString('utf8'), rel));
+    }
+    return { refs, warnings };
+}
+/** Convert a native relative path to the canonical posix form (design F7). */
+export function toPosix(relPath) {
+    return sep === '/' ? relPath : relPath.split(sep).join('/');
+}
+//# sourceMappingURL=scanner.js.map

package/dist/traceability/scanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scanner.js","sourceRoot":"","sources":["../../src/traceability/scanner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAGlD,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;AAE9F,gFAAgF;AAChF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEnF,8BAA8B;AAC9B,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACxC,MAAM,cAAc,GAAG,IAAI,GAAG,IAAI,CAAC;AACnC,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,CAAC;AAEpC,yEAAyE;AACzE,4EAA4E;AAC5E,uEAAuE;AACvE,MAAM,YAAY,GAAG,uDAAuD,CAAC;AAC7E,MAAM,OAAO,GAAG,uCAAuC,CAAC;AAExD,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAExC;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,8DAA8D;YAC9D,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC;QACZ,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,EAAE,KAAK,GAAG;gBAAE,EAAE,IAAI,OAAO,CAAC;iBACzB,IAAI,EAAE,KAAK,GAAG;gBAAE,EAAE,IAAI,MAAM,CAAC;;gBAC7B,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,qCAAqC;QACrC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,EAAE,GAAG,UAAU,EAAE,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,0DAA0D;IAC1D,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,kBAAkB,CAAC;IACzE,OAAO,IAAI,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,QAAkB;IAC9C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,SAAS,OAAO,sBAAsB,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC,SAAS,OAAO,kCAAkC,CAAC,CAAC;YAClE,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,SAAS,OAAO,gCAAgC,CAAC,CAAC;YAChE,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAYD,+EAA+E;AAC/E,SAAS,IAAI,CAAC,IAAY,EAAE,MAAc,EAAE,GAAa;IACvD,IAAI,OAAO,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE;YAC7E,aAAa,EAAE,IAAI;SACpB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1E,MAAM,GAAG,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACnE,8DAA8D;QAC9D,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;aACzC,IAAI,KAAK,CAAC,MAAM,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAAmB,EAAE,KAAe;IACpE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,KAAK,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CACX,yBAAyB,iBAAiB,wCAAwC,CACnF,CAAC;QACF,KAAK,CAAC,MAAM,GAAG,iBAAiB,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAWD,8EAA8E;AAC9E,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,IAAY;IACvD,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,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,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,yEAAyE;QACzE,sEAAsE;QACtE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,WAAmB,EAAE,KAAe;IAC5D,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,WAAW,GAAG,cAAc,CAAC,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,IAAI,GAAG,cAAc,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,WAAW,GAAG,aAAa,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,IAAI,GAAW,CAAC;QAChB,IAAI,CAAC;YACH,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,WAAW,GAAG,cAAc,CAAC,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC;YACxC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,OAAO,CAAC,OAAe;IACrC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9D,CAAC"}

package/dist/traceability/types.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Traceability types: AC definitions, references, and the coverage matrix
+ * exposed via `aidlc gate --json` (traceability-ids AC-15).
+ *
+ * Design: design.md (traceability-ids) §Interfaces
+ */
+/** A single acceptance-criterion definition parsed from requirements.md. */
+export interface AcDefinition {
+    /** n in AC-n (≥1, no leading zeros). */
+    id: number;
+    /** Owning instance name. */
+    instance: string;
+    /** 1-based line number in requirements.md. */
+    line: number;
+    status: 'active' | 'retired';
+    /** YYYY-MM-DD, present when retired. */
+    retiredDate?: string;
+    /** AC number this criterion was superseded by, when stated. */
+    supersededBy?: number;
+}
+/** Parse result for one instance's requirements.md. */
+export interface ParsedRequirements {
+    /** First occurrence wins on duplicates (AC-4). */
+    defs: AcDefinition[];
+    /** Duplicates, near-misses, sequence gaps (AC-4, AC-22, AC-23). */
+    warnings: string[];
+    /**
+     * Lines matching the loose AC pattern (defs + near-misses). Drives the
+     * applicability tri-state (DD7): 0 → criterion silent; >0 with no defs →
+     * warnings-only result.
+     */
+    acShapedLines: number;
+}
+/** One AC reference found in a test file or coverage block. */
+export interface AcReference {
+    acId: number;
+    /** Qualified instance name, or null for a bare token. */
+    instance: string | null;
+    /** Posix-separated, project-root-relative path. */
+    path: string;
+    /** 1-based line number. */
+    line: number;
+    source: 'scan' | 'block';
+}
+/** Per-AC row of the coverage matrix (AC-15). */
+export interface AcCoverageEntry {
+    id: number;
+    status: 'covered' | 'uncovered' | 'retired';
+    /** Sorted by path (NFR4). */
+    refs: {
+        path: string;
+        source: 'scan' | 'block';
+    }[];
+}
+/** Full traceability result attached to GateCheckResult (AC-15). */
+export interface TraceabilityResult {
+    /** Posix-separated, project-root-relative requirements.md path. */
+    requirementsPath: string;
+    /** Sorted by id (NFR4). */
+    entries: AcCoverageEntry[];
+    /** Ordered by phase, then path, then line (NFR4). */
+    warnings: string[];
+    /** Active AC ids with zero references — drives gate failure (AC-11). */
+    uncoveredActive: number[];
+}
+/** Coverage summary for the `aidlc status` column (AC-17). */
+export interface CoverageSummary {
+    covered: number;
+    total: number;
+    stale: number;
+}
+/** Tolerantly-read `traceability:` section of .aidlc/config.yaml. */
+export interface TraceabilityConfig {
+    /** Replaces the default test globs when present (AC-7). */
+    test_globs?: string[];
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/traceability/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,4EAA4E;AAC5E,MAAM,WAAW,YAAY;IAC3B,wCAAwC;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC7B,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+DAA+D;IAC/D,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,kDAAkD;IAClD,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,mEAAmE;IACnE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;;OAIG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAC1B;AAED,iDAAiD;AACjD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IAC5C,6BAA6B;IAC7B,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,EAAE,CAAC;CACpD;AAED,oEAAoE;AACpE,MAAM,WAAW,kBAAkB;IACjC,mEAAmE;IACnE,gBAAgB,EAAE,MAAM,CAAC;IACzB,2BAA2B;IAC3B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,qDAAqD;IACrD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,wEAAwE;IACxE,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,8DAA8D;AAC9D,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED,qEAAqE;AACrE,MAAM,WAAW,kBAAkB;IACjC,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB"}

package/dist/traceability/types.js

@@ -0,0 +1,8 @@
+/**
+ * Traceability types: AC definitions, references, and the coverage matrix
+ * exposed via `aidlc gate --json` (traceability-ids AC-15).
+ *
+ * Design: design.md (traceability-ids) §Interfaces
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/traceability/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/traceability/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}