@substrate-ai/sdlc 0.20.65 → 0.20.66

package/dist/learning/failure-classifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failure-classifier.d.ts","sourceRoot":"","sources":["../../src/learning/failure-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAMjF;;;GAGG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,mBAAmB,GAAG,iBAAiB,CAS3E;AAsBD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,mBAAmB,EACxB,SAAS,EAAE,iBAAiB,EAC5B,KAAK,EAAE,MAAM,GACZ,OAAO,CAmBT"}
+{"version":3,"file":"failure-classifier.d.ts","sourceRoot":"","sources":["../../src/learning/failure-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAMjF;;;GAGG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,mBAAmB,GAAG,iBAAiB,CAS3E;AA2BD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,mBAAmB,EACxB,SAAS,EAAE,iBAAiB,EAC5B,KAAK,EAAE,MAAM,GACZ,OAAO,CAmBT"}

package/dist/learning/failure-classifier.js

@@ -44,6 +44,11 @@ const CATEGORY_DESCRIPTIONS = {
     'resource-exhaustion': 'Story produced fewer than 100 output tokens (resource exhaustion suspected)',
     'infrastructure': 'System-level infrastructure error (OOM, disk, permissions, or SIGKILL)',
     'unclassified': 'No error text available', // overridden in buildFinding with raw ctx.error when present
+    // Story 74-2: verification-derived root causes consumed by FindingsInjector
+    'ac-missing-evidence': 'Acceptance criteria evidence check found missing or insufficient AC coverage',
+    'runtime-probe-fail': 'Runtime probe verification failed (probe execution or assertion failure)',
+    'source-ac-drift': 'Source AC fidelity check detected drift between story ACs and source epic',
+    'cross-story-concurrent-modification': 'Cross-story consistency check detected concurrent file modification conflict',
 };
 // ---------------------------------------------------------------------------
 // Finding builder

package/dist/learning/failure-classifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"failure-classifier.js","sourceRoot":"","sources":["../../src/learning/failure-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAG1C,8EAA8E;AAC9E,uEAAuE;AACvE,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAwB;IACtD,IAAI,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,qBAAqB,CAAA;IACvE,IAAI,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,qBAAqB,CAAA;IACvG,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,GAAG;QAAE,OAAO,qBAAqB,CAAA;IACtE,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,eAAe,CAAA;IACpD,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,cAAc,CAAA;IACnD,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAA;IACtD,IAAI,0CAA0C,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;QAAE,OAAO,gBAAgB,CAAA;IAC7F,OAAO,cAAc,CAAA;AACvB,CAAC;AAED,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E,MAAM,qBAAqB,GAAsC;IAC/D,qBAAqB,EAAE,kEAAkE;IACzF,qBAAqB,EAAE,4DAA4D;IACnF,gBAAgB,EAAE,+DAA+D;IACjF,gBAAgB,EAAE,iEAAiE;IACnF,eAAe,EAAE,mCAAmC;IACpD,cAAc,EAAE,yCAAyC;IACzD,qBAAqB,EAAE,6EAA6E;IACpG,gBAAgB,EAAE,wEAAwE;IAC1F,cAAc,EAAE,yBAAyB,EAAE,6DAA6D;CACzG,CAAA;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAwB,EACxB,SAA4B,EAC5B,KAAa;IAEb,MAAM,UAAU,GAAG,SAAS,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAA;IAEhE,MAAM,WAAW,GACf,SAAS,KAAK,cAAc;QAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,yBAAyB,CAAC;QAC1C,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAA;IAEtC,OAAO,aAAa,CAAC,KAAK,CAAC;QACzB,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE;QACvB,MAAM,EAAE,KAAK;QACb,SAAS,EAAE,GAAG,CAAC,QAAQ;QACvB,UAAU,EAAE,SAAS;QACrB,cAAc,EAAE,GAAG,CAAC,aAAa,IAAI,EAAE;QACvC,WAAW;QACX,UAAU;QACV,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,kBAAkB,EAAE,CAAC;KACtB,CAAC,CAAA;AACJ,CAAC"}
+{"version":3,"file":"failure-classifier.js","sourceRoot":"","sources":["../../src/learning/failure-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAG1C,8EAA8E;AAC9E,uEAAuE;AACvE,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAwB;IACtD,IAAI,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,qBAAqB,CAAA;IACvE,IAAI,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,qBAAqB,CAAA;IACvG,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,GAAG;QAAE,OAAO,qBAAqB,CAAA;IACtE,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,eAAe,CAAA;IACpD,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,cAAc,CAAA;IACnD,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAA;IACtD,IAAI,0CAA0C,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;QAAE,OAAO,gBAAgB,CAAA;IAC7F,OAAO,cAAc,CAAA;AACvB,CAAC;AAED,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E,MAAM,qBAAqB,GAAsC;IAC/D,qBAAqB,EAAE,kEAAkE;IACzF,qBAAqB,EAAE,4DAA4D;IACnF,gBAAgB,EAAE,+DAA+D;IACjF,gBAAgB,EAAE,iEAAiE;IACnF,eAAe,EAAE,mCAAmC;IACpD,cAAc,EAAE,yCAAyC;IACzD,qBAAqB,EAAE,6EAA6E;IACpG,gBAAgB,EAAE,wEAAwE;IAC1F,cAAc,EAAE,yBAAyB,EAAE,6DAA6D;IACxG,4EAA4E;IAC5E,qBAAqB,EAAE,8EAA8E;IACrG,oBAAoB,EAAE,0EAA0E;IAChG,iBAAiB,EAAE,2EAA2E;IAC9F,qCAAqC,EAAE,8EAA8E;CACtH,CAAA;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAwB,EACxB,SAA4B,EAC5B,KAAa;IAEb,MAAM,UAAU,GAAG,SAAS,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAA;IAEhE,MAAM,WAAW,GACf,SAAS,KAAK,cAAc;QAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,yBAAyB,CAAC;QAC1C,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAA;IAEtC,OAAO,aAAa,CAAC,KAAK,CAAC;QACzB,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE;QACvB,MAAM,EAAE,KAAK;QACb,SAAS,EAAE,GAAG,CAAC,QAAQ;QACvB,UAAU,EAAE,SAAS;QACrB,cAAc,EAAE,GAAG,CAAC,aAAa,IAAI,EAAE;QACvC,WAAW;QACX,UAAU;QACV,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,kBAAkB,EAAE,CAAC;KACtB,CAAC,CAAA;AACJ,CAAC"}

package/dist/learning/types.d.ts

@@ -5,6 +5,7 @@
  */
 import { z } from 'zod';
 export declare const RootCauseCategorySchema: z.ZodEnum<{
+    "cross-story-concurrent-modification": "cross-story-concurrent-modification";
     "namespace-collision": "namespace-collision";
     "dependency-ordering": "dependency-ordering";
     "spec-staleness": "spec-staleness";
@@ -14,6 +15,9 @@ export declare const RootCauseCategorySchema: z.ZodEnum<{
     "resource-exhaustion": "resource-exhaustion";
     infrastructure: "infrastructure";
     unclassified: "unclassified";
+    "ac-missing-evidence": "ac-missing-evidence";
+    "runtime-probe-fail": "runtime-probe-fail";
+    "source-ac-drift": "source-ac-drift";
 }>;
 export type RootCauseCategory = z.infer<typeof RootCauseCategorySchema>;
 export declare const FindingSchema: z.ZodObject<{
@@ -21,6 +25,7 @@ export declare const FindingSchema: z.ZodObject<{
     run_id: z.ZodString;
     story_key: z.ZodString;
     root_cause: z.ZodEnum<{
+        "cross-story-concurrent-modification": "cross-story-concurrent-modification";
         "namespace-collision": "namespace-collision";
         "dependency-ordering": "dependency-ordering";
         "spec-staleness": "spec-staleness";
@@ -30,6 +35,9 @@ export declare const FindingSchema: z.ZodObject<{
         "resource-exhaustion": "resource-exhaustion";
         infrastructure: "infrastructure";
         unclassified: "unclassified";
+        "ac-missing-evidence": "ac-missing-evidence";
+        "runtime-probe-fail": "runtime-probe-fail";
+        "source-ac-drift": "source-ac-drift";
     }>;
     affected_files: z.ZodArray<z.ZodString>;
     description: z.ZodString;

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/learning/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAMvB,eAAO,MAAM,uBAAuB;;;;;;;;;;EAUlC,CAAA;AAEF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAMvE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;iBAWxB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAA;AAOnD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CACzB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/learning/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAMvB,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;EAelC,CAAA;AAEF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAMvE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAWxB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAA;AAOnD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CACzB"}

package/dist/learning/types.js

@@ -17,6 +17,11 @@ export const RootCauseCategorySchema = z.enum([
     'resource-exhaustion',
     'infrastructure',
     'unclassified',
+    // Story 74-2: verification-derived root causes consumed by FindingsInjector
+    'ac-missing-evidence',
+    'runtime-probe-fail',
+    'source-ac-drift',
+    'cross-story-concurrent-modification',
 ]);
 // ---------------------------------------------------------------------------
 // Finding schema

package/dist/learning/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/learning/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,qBAAqB;IACrB,qBAAqB;IACrB,gBAAgB;IAChB,gBAAgB;IAChB,eAAe;IACf,cAAc;IACd,qBAAqB;IACrB,gBAAgB;IAChB,cAAc;CACf,CAAC,CAAA;AAIF,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,uBAAuB;IACnC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAA"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/learning/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,qBAAqB;IACrB,qBAAqB;IACrB,gBAAgB;IAChB,gBAAgB;IAChB,eAAe;IACf,cAAc;IACd,qBAAqB;IACrB,gBAAgB;IAChB,cAAc;IACd,4EAA4E;IAC5E,qBAAqB;IACrB,oBAAoB;IACpB,iBAAiB;IACjB,qCAAqC;CACtC,CAAC,CAAA;AAIF,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,uBAAuB;IACnC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAA"}

package/dist/verification/checks/ac-traceability-check.d.ts

@@ -0,0 +1,98 @@
+/**
+ * AC-to-Test Traceability Check — Story 74-1.
+ *
+ * On-demand heuristic check that maps Acceptance Criteria items from a story
+ * spec to test descriptions found in the story's modified test files. The check
+ * uses Jaccard word-overlap (≥0.4 threshold) for approximate matching and
+ * always reports `confidence: 'approximate'` to signal the heuristic nature.
+ *
+ * Design notes:
+ *   - On-demand ONLY — NOT registered in the default Tier A/B pipeline.
+ *     Invoked explicitly via `--verify-ac` on `substrate report` and `substrate run`.
+ *   - No LLM call in this module (LLM augmentation deferred to Epic 75 per AC5).
+ *   - No package additions — uses only Node.js built-ins and existing codebase.
+ *   - File reader is injectable via `_readFile` for unit testing (keeps tests pure).
+ *
+ * Citation (AC8):
+ *   - Phase D Story 54-7 (original spec for AC-to-test traceability concept)
+ *   - Epic 71 (substrate report; this story 74-1 extends Epic 71's output)
+ */
+/** A single row in the AC traceability matrix. */
+export interface AcTraceabilityRow {
+    /** The raw AC text (trimmed, with numbering stripped). */
+    acText: string;
+    /** Whether at least one test description scored ≥0.4 word overlap. */
+    matched: boolean;
+    /** Name of the best-matching test description, or null if none matched. */
+    testName: string | null;
+    /** Numeric overlap score of the best match (0–1). */
+    score: number;
+}
+/** Input to `runAcTraceabilityCheck`. */
+export interface AcTraceabilityInput {
+    /** Story key being checked (e.g., '74-1'). */
+    storyKey: string;
+    /** Full raw markdown content of the story spec file. */
+    storyContent: string;
+    /**
+     * List of file paths modified by the story's implementation.
+     * Sourced from `per_story_state[key].dev_story_signals.files_modified`.
+     * Absolute or project-relative paths are both accepted; the check attempts
+     * to read each path as-is.
+     */
+    filesModified: string[];
+    /**
+     * Optional file reader for dependency injection in tests.
+     * When provided, called instead of `fs/promises.readFile` for each test file.
+     * Returning null/undefined causes the file to be silently skipped.
+     */
+    _readFile?: (filePath: string) => Promise<string | null>;
+}
+/** Output from `runAcTraceabilityCheck`. */
+export interface AcTraceabilityOutput {
+    storyKey: string;
+    /** Per-AC match rows. */
+    matrix: AcTraceabilityRow[];
+    /** Always 'approximate' — the matching algorithm is heuristic. */
+    confidence: 'approximate';
+    /** Advisory messages (e.g., "no test files found in filesModified"). */
+    warnings: string[];
+}
+/**
+ * Compute Jaccard-based word overlap between two strings.
+ * Returns 0 when either string has no tokens.
+ */
+export declare function wordOverlap(a: string, b: string): number;
+/**
+ * Extract numbered AC items from the `## Acceptance Criteria` section of a
+ * story spec. Handles both plain `## Acceptance Criteria` headings and the
+ * bold-wrapped variant `**Acceptance Criteria:**`.
+ *
+ * Stops scanning at the next `##` heading (or end-of-file).
+ *
+ * Returns an array of trimmed AC text strings (numbering stripped).
+ */
+export declare function parseAcList(storyContent: string): string[];
+/** Returns true when the path matches a known test file pattern. */
+export declare function isTestFile(path: string): boolean;
+/**
+ * Extract all string literals passed to `describe(`, `it(`, or `test(` in the
+ * provided source text.
+ */
+export declare function extractTestDescriptions(source: string): string[];
+/**
+ * Run the AC-to-test traceability heuristic.
+ *
+ * Steps:
+ *   1. Parse AC list from `input.storyContent`.
+ *   2. Filter `input.filesModified` to test files.
+ *   3. Read each test file and extract describe/it/test descriptions.
+ *   4. For each AC × each test description, compute word-overlap score.
+ *   5. A score ≥ 0.4 marks the AC as "matched".
+ *   6. Return the matrix with `confidence: 'approximate'`.
+ *
+ * File I/O errors are silently ignored per file (the file is simply skipped).
+ * When no test files are found, all ACs are "not matched" and a warning is emitted.
+ */
+export declare function runAcTraceabilityCheck(input: AcTraceabilityInput): Promise<AcTraceabilityOutput>;
+//# sourceMappingURL=ac-traceability-check.d.ts.map

package/dist/verification/checks/ac-traceability-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ac-traceability-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/ac-traceability-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAQH,kDAAkD;AAClD,MAAM,WAAW,iBAAiB;IAChC,0DAA0D;IAC1D,MAAM,EAAE,MAAM,CAAA;IACd,sEAAsE;IACtE,OAAO,EAAE,OAAO,CAAA;IAChB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAA;CACd;AAED,yCAAyC;AACzC,MAAM,WAAW,mBAAmB;IAClC,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAA;IAChB,wDAAwD;IACxD,YAAY,EAAE,MAAM,CAAA;IACpB;;;;;OAKG;IACH,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB;;;;OAIG;IACH,SAAS,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;CACzD;AAED,4CAA4C;AAC5C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAA;IAChB,yBAAyB;IACzB,MAAM,EAAE,iBAAiB,EAAE,CAAA;IAC3B,kEAAkE;IAClE,UAAU,EAAE,aAAa,CAAA;IACzB,wEAAwE;IACxE,QAAQ,EAAE,MAAM,EAAE,CAAA;CACnB;AAmBD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAUxD;AAMD;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CA+B1D;AAQD,oEAAoE;AACpE,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEhD;AAQD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAYhE;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAAC,oBAAoB,CAAC,CAgE/B"}

package/dist/verification/checks/ac-traceability-check.js

@@ -0,0 +1,194 @@
+/**
+ * AC-to-Test Traceability Check — Story 74-1.
+ *
+ * On-demand heuristic check that maps Acceptance Criteria items from a story
+ * spec to test descriptions found in the story's modified test files. The check
+ * uses Jaccard word-overlap (≥0.4 threshold) for approximate matching and
+ * always reports `confidence: 'approximate'` to signal the heuristic nature.
+ *
+ * Design notes:
+ *   - On-demand ONLY — NOT registered in the default Tier A/B pipeline.
+ *     Invoked explicitly via `--verify-ac` on `substrate report` and `substrate run`.
+ *   - No LLM call in this module (LLM augmentation deferred to Epic 75 per AC5).
+ *   - No package additions — uses only Node.js built-ins and existing codebase.
+ *   - File reader is injectable via `_readFile` for unit testing (keeps tests pure).
+ *
+ * Citation (AC8):
+ *   - Phase D Story 54-7 (original spec for AC-to-test traceability concept)
+ *   - Epic 71 (substrate report; this story 74-1 extends Epic 71's output)
+ */
+import { readFile } from 'fs/promises';
+// ---------------------------------------------------------------------------
+// Word-overlap algorithm (AC2)
+// ---------------------------------------------------------------------------
+/**
+ * Tokenize a string to a deduplicated set of lowercase alphanumeric tokens.
+ * Non-alphanumeric characters are replaced with spaces before splitting.
+ */
+function tokenize(s) {
+    const words = s
+        .toLowerCase()
+        .replace(/[^a-z0-9\s]/g, ' ')
+        .split(/\s+/)
+        .filter(Boolean);
+    return new Set(words);
+}
+/**
+ * Compute Jaccard-based word overlap between two strings.
+ * Returns 0 when either string has no tokens.
+ */
+export function wordOverlap(a, b) {
+    const setA = tokenize(a);
+    const setB = tokenize(b);
+    if (setA.size === 0 || setB.size === 0)
+        return 0;
+    let intersection = 0;
+    for (const w of setA) {
+        if (setB.has(w))
+            intersection++;
+    }
+    const union = new Set([...setA, ...setB]).size;
+    return intersection / union;
+}
+// ---------------------------------------------------------------------------
+// AC section parser (AC2)
+// ---------------------------------------------------------------------------
+/**
+ * Extract numbered AC items from the `## Acceptance Criteria` section of a
+ * story spec. Handles both plain `## Acceptance Criteria` headings and the
+ * bold-wrapped variant `**Acceptance Criteria:**`.
+ *
+ * Stops scanning at the next `##` heading (or end-of-file).
+ *
+ * Returns an array of trimmed AC text strings (numbering stripped).
+ */
+export function parseAcList(storyContent) {
+    const lines = storyContent.split('\n');
+    const items = [];
+    let inAcSection = false;
+    for (const line of lines) {
+        // Detect start of AC section
+        if (/^##\s+Acceptance Criteria/i.test(line) || /\*\*Acceptance Criteria:\*\*/i.test(line)) {
+            inAcSection = true;
+            continue;
+        }
+        // Stop at the next level-2 heading (but not level-3+ sub-headings)
+        if (inAcSection && /^##\s/.test(line)) {
+            break;
+        }
+        if (!inAcSection)
+            continue;
+        // Match numbered list items: "1." / "1)" / "AC1:" / "AC1." etc.
+        // Prefix is required (no trailing ?) to avoid capturing continuation prose.
+        const numbered = line.match(/^\s*(?:\d+[.):]|AC\d+[.):])\s*(.+)/);
+        if (numbered) {
+            const text = (numbered[1] ?? '').trim();
+            if (text.length > 0) {
+                items.push(text);
+            }
+        }
+    }
+    return items;
+}
+// ---------------------------------------------------------------------------
+// Test file detection (AC2)
+// ---------------------------------------------------------------------------
+const TEST_FILE_PATTERNS = [/\.test\.ts$/, /\.test\.js$/, /test/i];
+/** Returns true when the path matches a known test file pattern. */
+export function isTestFile(path) {
+    return TEST_FILE_PATTERNS.some((p) => p.test(path));
+}
+// ---------------------------------------------------------------------------
+// Test description extraction (AC2)
+// ---------------------------------------------------------------------------
+const TEST_DESC_RE = /(?:describe|it|test)\s*\(\s*['"`]([^'"`]+)['"`]/g;
+/**
+ * Extract all string literals passed to `describe(`, `it(`, or `test(` in the
+ * provided source text.
+ */
+export function extractTestDescriptions(source) {
+    const results = [];
+    let m;
+    // Reset lastIndex to 0 before each scan (the regex has the /g flag)
+    TEST_DESC_RE.lastIndex = 0;
+    while ((m = TEST_DESC_RE.exec(source)) !== null) {
+        const desc = m[1];
+        if (desc !== undefined && desc.trim().length > 0) {
+            results.push(desc.trim());
+        }
+    }
+    return results;
+}
+// ---------------------------------------------------------------------------
+// Core check function (AC1)
+// ---------------------------------------------------------------------------
+/**
+ * Run the AC-to-test traceability heuristic.
+ *
+ * Steps:
+ *   1. Parse AC list from `input.storyContent`.
+ *   2. Filter `input.filesModified` to test files.
+ *   3. Read each test file and extract describe/it/test descriptions.
+ *   4. For each AC × each test description, compute word-overlap score.
+ *   5. A score ≥ 0.4 marks the AC as "matched".
+ *   6. Return the matrix with `confidence: 'approximate'`.
+ *
+ * File I/O errors are silently ignored per file (the file is simply skipped).
+ * When no test files are found, all ACs are "not matched" and a warning is emitted.
+ */
+export async function runAcTraceabilityCheck(input) {
+    const { storyKey, storyContent, filesModified } = input;
+    const fileReader = input._readFile ?? ((p) => readFile(p, 'utf-8'));
+    const warnings = [];
+    // Step 1: parse AC list
+    const acList = parseAcList(storyContent);
+    // Step 2: filter to test files
+    const testFiles = filesModified.filter(isTestFile);
+    if (testFiles.length === 0) {
+        warnings.push(`No test files found in filesModified for story ${storyKey}. All ACs marked as unmatched.`);
+        // Return all ACs as unmatched
+        const matrix = acList.map((acText) => ({
+            acText,
+            matched: false,
+            testName: null,
+            score: 0,
+        }));
+        return { storyKey, matrix, confidence: 'approximate', warnings };
+    }
+    // Step 3: read test files and extract descriptions
+    const allTestDescriptions = [];
+    for (const filePath of testFiles) {
+        try {
+            const source = await fileReader(filePath);
+            if (source != null) {
+                const descs = extractTestDescriptions(source);
+                allTestDescriptions.push(...descs);
+            }
+        }
+        catch {
+            // Silently skip unreadable files
+        }
+    }
+    // Step 4 & 5: score each AC against test descriptions
+    const MATCH_THRESHOLD = 0.4;
+    const matrix = acList.map((acText) => {
+        let bestScore = 0;
+        let bestTestName = null;
+        for (const desc of allTestDescriptions) {
+            const score = wordOverlap(acText, desc);
+            if (score > bestScore) {
+                bestScore = score;
+                bestTestName = desc;
+            }
+        }
+        const matched = bestScore >= MATCH_THRESHOLD;
+        return {
+            acText,
+            matched,
+            testName: matched ? bestTestName : null,
+            score: bestScore,
+        };
+    });
+    return { storyKey, matrix, confidence: 'approximate', warnings };
+}
+//# sourceMappingURL=ac-traceability-check.js.map

package/dist/verification/checks/ac-traceability-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ac-traceability-check.js","sourceRoot":"","sources":["../../../src/verification/checks/ac-traceability-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAkDtC,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,QAAQ,CAAC,CAAS;IACzB,MAAM,KAAK,GAAG,CAAC;SACZ,WAAW,EAAE;SACb,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC;SAC5B,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,CAAA;IAClB,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;IACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAChD,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,YAAY,EAAE,CAAA;IACjC,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IAC9C,OAAO,YAAY,GAAG,KAAK,CAAA;AAC7B,CAAC;AAED,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,YAAoB;IAC9C,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACtC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,WAAW,GAAG,KAAK,CAAA;IAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,6BAA6B;QAC7B,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1F,WAAW,GAAG,IAAI,CAAA;YAClB,SAAQ;QACV,CAAC;QAED,mEAAmE;QACnE,IAAI,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAK;QACP,CAAC;QAED,IAAI,CAAC,WAAW;YAAE,SAAQ;QAE1B,gEAAgE;QAChE,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;YACvC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;AAElE,oEAAoE;AACpE,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E;AAE9E,MAAM,YAAY,GAAG,kDAAkD,CAAA;AAEvE;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,IAAI,CAAyB,CAAA;IAC7B,oEAAoE;IACpE,YAAY,CAAC,SAAS,GAAG,CAAC,CAAA;IAC1B,OAAO,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACjB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,KAA0B;IAE1B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,KAAK,CAAA;IACvD,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3E,MAAM,QAAQ,GAAa,EAAE,CAAA;IAE7B,wBAAwB;IACxB,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,CAAA;IAExC,+BAA+B;IAC/B,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAElD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CACX,kDAAkD,QAAQ,gCAAgC,CAC3F,CAAA;QACD,8BAA8B;QAC9B,MAAM,MAAM,GAAwB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC1D,MAAM;YACN,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,CAAC;SACT,CAAC,CAAC,CAAA;QACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAA;IAClE,CAAC;IAED,mDAAmD;IACnD,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAA;YACzC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,MAAM,KAAK,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAA;gBAC7C,mBAAmB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAA;YACpC,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,iCAAiC;QACnC,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,MAAM,eAAe,GAAG,GAAG,CAAA;IAE3B,MAAM,MAAM,GAAwB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACxD,IAAI,SAAS,GAAG,CAAC,CAAA;QACjB,IAAI,YAAY,GAAkB,IAAI,CAAA;QAEtC,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;YACvC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;gBACtB,SAAS,GAAG,KAAK,CAAA;gBACjB,YAAY,GAAG,IAAI,CAAA;YACrB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,IAAI,eAAe,CAAA;QAC5C,OAAO;YACL,MAAM;YACN,OAAO;YACP,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;YACvC,KAAK,EAAE,SAAS;SACjB,CAAA;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAA;AAClE,CAAC"}

package/dist/verification/findings-to-learning-store.d.ts

@@ -0,0 +1,81 @@
+/**
+ * Verification-to-Learning feedback bridge.
+ *
+ * Original spec: Phase D Story 54-8 (2026-04-05)
+ * Root-cause taxonomy consumed: Story 53-5 (v0.19.31)
+ *
+ * Closes the feedback circuit: verification pipeline findings →
+ * learning store (Dolt decisions table) → FindingsInjector →
+ * future dispatch context.
+ *
+ * Story 74-2:
+ *   - Consumes the existing `VerificationSummary` shape (no new aggregate format).
+ *   - Maps each `fail` / `warn` check to a `RootCauseCategory` via a static map
+ *     (AC2). Unmapped check names are skipped — verification keeps growing new
+ *     checks; we'd rather drop unrelated noise than mis-classify it.
+ *   - Writes Finding rows via `appendFinding` from
+ *     `@substrate-ai/core/persistence/queries/decisions`. That helper inserts
+ *     into the same `decisions` table (`category = 'finding'`) that
+ *     `FindingsInjector` already reads via `getDecisionsByCategory`, so future
+ *     dispatches automatically pick up verification-derived signal.
+ *
+ * Wiring (AC6):
+ *   - Invoked by `VerificationPipeline.run()` AFTER it emits
+ *     `verification:story-complete`. Fire-and-forget — Dolt write errors are
+ *     logged at warn but never propagate to the verification result.
+ */
+import type { DatabaseAdapter } from '@substrate-ai/core';
+import type { Finding, RootCauseCategory } from '../learning/types.js';
+import type { VerificationSummary } from './types.js';
+/**
+ * Maps verification check names → learning-store root cause categories.
+ *
+ * Only checks present in this map produce findings. Any other check name is
+ * silently skipped (the verification result is unaffected).
+ */
+export declare const ROOT_CAUSE_MAP: Record<string, RootCauseCategory>;
+/**
+ * Minimal story-scoped context needed to stamp a Finding row.
+ *
+ * Sourced by callers from the orchestrator's per-story state — the dev-story
+ * `files_modified` array and the active pipeline run id.
+ */
+export interface StoryContext {
+    /** Pipeline run id; falls back to `'unknown'` when not supplied. */
+    runId: string;
+    /** Files the dev-story dispatch reported as modified. */
+    filesModified: string[];
+}
+/**
+ * Inject verification-derived findings into the learning store.
+ *
+ * For each check in `summary.checks` whose `status` is `'fail'` or `'warn'`
+ * AND whose `checkName` is mapped in `ROOT_CAUSE_MAP`, append a Finding row
+ * to the existing `decisions` table via `appendFinding`. Findings are stamped
+ * with:
+ *   - `confidence: 'high'` — verification is static analysis, not heuristic
+ *     (AC3).
+ *   - `affected_files: storyContext.filesModified` (AC4).
+ *   - `root_cause: ROOT_CAUSE_MAP[check.checkName]` (AC2).
+ *
+ * Adapter resolution:
+ *   - Production: callers (e.g., the orchestrator-wired VerificationPipeline)
+ *     pass an explicit adapter built from the monolith's
+ *     `createDatabaseAdapter` shim (which injects DoltClient).
+ *   - Standalone (e.g., the runtime probe in this story): when `adapter` is
+ *     omitted we fall back to `@substrate-ai/core`'s `createDatabaseAdapter`
+ *     with `backend: 'auto'`. Without a Dolt client factory the core factory
+ *     returns InMemoryDatabaseAdapter — fine for tests, surfaces a no-op for
+ *     the runtime probe (which uses an explicit adapter via the wiring).
+ *
+ * Errors are surfaced to the caller's `.catch` handler. The production wiring
+ * in `VerificationPipeline.run` swallows them at warn so verification never
+ * blocks on Dolt unavailability.
+ */
+export declare function injectVerificationFindings(verificationSummary: VerificationSummary, storyContext: StoryContext, adapter?: DatabaseAdapter): Promise<void>;
+/**
+ * Build the list of Finding objects that should be persisted for this summary.
+ * Pure function — no I/O — to keep unit tests simple.
+ */
+export declare function buildFindingsFromSummary(summary: VerificationSummary, storyContext: StoryContext): Finding[];
+//# sourceMappingURL=findings-to-learning-store.d.ts.map

package/dist/verification/findings-to-learning-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings-to-learning-store.d.ts","sourceRoot":"","sources":["../../src/verification/findings-to-learning-store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEzD,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,KAAK,EAAE,mBAAmB,EAA2B,MAAM,YAAY,CAAA;AAM9E;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAQ5D,CAAA;AAMD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,oEAAoE;IACpE,KAAK,EAAE,MAAM,CAAA;IACb,yDAAyD;IACzD,aAAa,EAAE,MAAM,EAAE,CAAA;CACxB;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,0BAA0B,CAC9C,mBAAmB,EAAE,mBAAmB,EACxC,YAAY,EAAE,YAAY,EAC1B,OAAO,CAAC,EAAE,eAAe,GACxB,OAAO,CAAC,IAAI,CAAC,CAuBf;AAMD;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,mBAAmB,EAC5B,YAAY,EAAE,YAAY,GACzB,OAAO,EAAE,CAwBX"}

package/dist/verification/findings-to-learning-store.js

@@ -0,0 +1,150 @@
+/**
+ * Verification-to-Learning feedback bridge.
+ *
+ * Original spec: Phase D Story 54-8 (2026-04-05)
+ * Root-cause taxonomy consumed: Story 53-5 (v0.19.31)
+ *
+ * Closes the feedback circuit: verification pipeline findings →
+ * learning store (Dolt decisions table) → FindingsInjector →
+ * future dispatch context.
+ *
+ * Story 74-2:
+ *   - Consumes the existing `VerificationSummary` shape (no new aggregate format).
+ *   - Maps each `fail` / `warn` check to a `RootCauseCategory` via a static map
+ *     (AC2). Unmapped check names are skipped — verification keeps growing new
+ *     checks; we'd rather drop unrelated noise than mis-classify it.
+ *   - Writes Finding rows via `appendFinding` from
+ *     `@substrate-ai/core/persistence/queries/decisions`. That helper inserts
+ *     into the same `decisions` table (`category = 'finding'`) that
+ *     `FindingsInjector` already reads via `getDecisionsByCategory`, so future
+ *     dispatches automatically pick up verification-derived signal.
+ *
+ * Wiring (AC6):
+ *   - Invoked by `VerificationPipeline.run()` AFTER it emits
+ *     `verification:story-complete`. Fire-and-forget — Dolt write errors are
+ *     logged at warn but never propagate to the verification result.
+ */
+import { appendFinding, createDatabaseAdapter } from '@substrate-ai/core';
+import { FindingSchema } from '../learning/types.js';
+// ---------------------------------------------------------------------------
+// Root-cause derivation map (AC2)
+// ---------------------------------------------------------------------------
+/**
+ * Maps verification check names → learning-store root cause categories.
+ *
+ * Only checks present in this map produce findings. Any other check name is
+ * silently skipped (the verification result is unaffected).
+ */
+export const ROOT_CAUSE_MAP = {
+    'phantom-review': 'build-failure',
+    'trivial-output': 'resource-exhaustion',
+    build: 'build-failure',
+    'acceptance-criteria-evidence': 'ac-missing-evidence',
+    'runtime-probes': 'runtime-probe-fail',
+    'source-ac-fidelity': 'source-ac-drift',
+    'cross-story-consistency': 'cross-story-concurrent-modification',
+};
+// ---------------------------------------------------------------------------
+// injectVerificationFindings (AC1, AC2, AC3, AC4, AC7)
+// ---------------------------------------------------------------------------
+/**
+ * Inject verification-derived findings into the learning store.
+ *
+ * For each check in `summary.checks` whose `status` is `'fail'` or `'warn'`
+ * AND whose `checkName` is mapped in `ROOT_CAUSE_MAP`, append a Finding row
+ * to the existing `decisions` table via `appendFinding`. Findings are stamped
+ * with:
+ *   - `confidence: 'high'` — verification is static analysis, not heuristic
+ *     (AC3).
+ *   - `affected_files: storyContext.filesModified` (AC4).
+ *   - `root_cause: ROOT_CAUSE_MAP[check.checkName]` (AC2).
+ *
+ * Adapter resolution:
+ *   - Production: callers (e.g., the orchestrator-wired VerificationPipeline)
+ *     pass an explicit adapter built from the monolith's
+ *     `createDatabaseAdapter` shim (which injects DoltClient).
+ *   - Standalone (e.g., the runtime probe in this story): when `adapter` is
+ *     omitted we fall back to `@substrate-ai/core`'s `createDatabaseAdapter`
+ *     with `backend: 'auto'`. Without a Dolt client factory the core factory
+ *     returns InMemoryDatabaseAdapter — fine for tests, surfaces a no-op for
+ *     the runtime probe (which uses an explicit adapter via the wiring).
+ *
+ * Errors are surfaced to the caller's `.catch` handler. The production wiring
+ * in `VerificationPipeline.run` swallows them at warn so verification never
+ * blocks on Dolt unavailability.
+ */
+export async function injectVerificationFindings(verificationSummary, storyContext, adapter) {
+    const findings = buildFindingsFromSummary(verificationSummary, storyContext);
+    if (findings.length === 0)
+        return;
+    const ownAdapter = adapter === undefined;
+    const dbAdapter = adapter ?? createDatabaseAdapter({ backend: 'auto' });
+    try {
+        for (const finding of findings) {
+            await appendFinding(dbAdapter, finding);
+        }
+    }
+    finally {
+        // Only close adapters we created. Caller owns adapters they passed in.
+        if (ownAdapter) {
+            try {
+                await dbAdapter.close();
+            }
+            catch {
+                // Non-fatal — close errors must not propagate
+            }
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/**
+ * Build the list of Finding objects that should be persisted for this summary.
+ * Pure function — no I/O — to keep unit tests simple.
+ */
+export function buildFindingsFromSummary(summary, storyContext) {
+    const findings = [];
+    for (const check of summary.checks) {
+        if (!shouldInjectCheck(check))
+            continue;
+        const rootCause = ROOT_CAUSE_MAP[check.checkName];
+        if (rootCause === undefined)
+            continue;
+        const finding = FindingSchema.parse({
+            id: crypto.randomUUID(),
+            run_id: storyContext.runId.length > 0 ? storyContext.runId : 'unknown',
+            story_key: summary.storyKey,
+            root_cause: rootCause,
+            affected_files: storyContext.filesModified,
+            description: buildDescription(check),
+            confidence: 'high',
+            created_at: new Date().toISOString(),
+            expires_after_runs: 5,
+        });
+        findings.push(finding);
+    }
+    return findings;
+}
+/**
+ * Returns true when a verification check should produce a finding.
+ *
+ * AC2 / AC9 require both `fail` and `warn` to inject (Task 5 case d). `pass`
+ * and any unrecognized status are skipped — silence is signal.
+ */
+function shouldInjectCheck(check) {
+    return check.status === 'fail' || check.status === 'warn';
+}
+/**
+ * Compose a stable, human-readable description from the check result.
+ * `details` is preferred when present; otherwise we fall back to a synthetic
+ * one-liner so retry prompts always have something to render.
+ */
+function buildDescription(check) {
+    const detailText = check.details?.trim() ?? '';
+    if (detailText.length > 0) {
+        return `[${check.checkName}/${check.status}] ${detailText}`;
+    }
+    return `[${check.checkName}/${check.status}] verification check produced no detail text`;
+}
+//# sourceMappingURL=findings-to-learning-store.js.map

package/dist/verification/findings-to-learning-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings-to-learning-store.js","sourceRoot":"","sources":["../../src/verification/findings-to-learning-store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAEzE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAGpD,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAsC;IAC/D,gBAAgB,EAAE,eAAe;IACjC,gBAAgB,EAAE,qBAAqB;IACvC,KAAK,EAAE,eAAe;IACtB,8BAA8B,EAAE,qBAAqB;IACrD,gBAAgB,EAAE,oBAAoB;IACtC,oBAAoB,EAAE,iBAAiB;IACvC,yBAAyB,EAAE,qCAAqC;CACjE,CAAA;AAmBD,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,mBAAwC,EACxC,YAA0B,EAC1B,OAAyB;IAEzB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAA;IAE5E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAEjC,MAAM,UAAU,GAAG,OAAO,KAAK,SAAS,CAAA;IACxC,MAAM,SAAS,GACb,OAAO,IAAI,qBAAqB,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;IAEvD,IAAI,CAAC;QACH,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QACzC,CAAC;IACH,CAAC;YAAS,CAAC;QACT,uEAAuE;QACvE,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,CAAC;gBACH,MAAM,SAAS,CAAC,KAAK,EAAE,CAAA;YACzB,CAAC;YAAC,MAAM,CAAC;gBACP,8CAA8C;YAChD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAA4B,EAC5B,YAA0B;IAE1B,MAAM,QAAQ,GAAc,EAAE,CAAA;IAE9B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,SAAQ;QACvC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QACjD,IAAI,SAAS,KAAK,SAAS;YAAE,SAAQ;QAErC,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC;YAClC,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE;YACvB,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YACtE,SAAS,EAAE,OAAO,CAAC,QAAQ;YAC3B,UAAU,EAAE,SAAS;YACrB,cAAc,EAAE,YAAY,CAAC,aAAa;YAC1C,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC;YACpC,UAAU,EAAE,MAAM;YAClB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,kBAAkB,EAAE,CAAC;SACtB,CAAC,CAAA;QAEF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,KAA8B;IACvD,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;AAC3D,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,KAA8B;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAC9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAA;IAC7D,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,8CAA8C,CAAA;AAC1F,CAAC"}

package/dist/verification/index.d.ts

@@ -5,6 +5,8 @@
  * and concrete check implementations.
  */
 export { VerificationPipeline, createDefaultVerificationPipeline } from './verification-pipeline.js';
+export { injectVerificationFindings, buildFindingsFromSummary, ROOT_CAUSE_MAP, } from './findings-to-learning-store.js';
+export type { StoryContext } from './findings-to-learning-store.js';
 export type { VerificationCheck, VerificationContext, VerificationResult, VerificationCheckResult, VerificationSummary, ReviewSignals, DevStorySignals, VerificationFinding, VerificationFindingSeverity, } from './types.js';
 export { renderFindings } from './findings.js';
 export { RuntimeProbeCheck } from './checks/runtime-probe-check.js';
@@ -24,4 +26,6 @@ export { CrossStoryConsistencyCheck, runCrossStoryConsistencyCheck, } from './ch
 export { CATEGORY_CROSS_STORY_CONCURRENT_MODIFICATION } from './findings.js';
 export { detectStaleVerifications, CommittedAtResolver, runStaleVerificationRecovery, } from './cross-story-race-recovery.js';
 export type { BatchEntry, StaleVerificationRecoveryInput, StaleVerificationRecoveryResult, } from './cross-story-race-recovery.js';
+export { runAcTraceabilityCheck, wordOverlap, parseAcList, isTestFile, extractTestDescriptions, } from './checks/ac-traceability-check.js';
+export type { AcTraceabilityInput, AcTraceabilityOutput, AcTraceabilityRow, } from './checks/ac-traceability-check.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/verification/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AACpG,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAG9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACnE,YAAY,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAA;AAE5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAEtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAC1B,YAAY,EACV,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,mBAAmB,CAAA;AAE1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAE1F,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AAErE,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAA;AAE9D,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,4CAA4C,EAAE,MAAM,eAAe,CAAA;AAE5E,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,gCAAgC,CAAA;AACvC,YAAY,EACV,UAAU,EACV,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,gCAAgC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AAEpG,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,cAAc,GACf,MAAM,iCAAiC,CAAA;AACxC,YAAY,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AACnE,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAG9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACnE,YAAY,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAA;AAE5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAEtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAC1B,YAAY,EACV,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,mBAAmB,CAAA;AAE1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAE1F,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AAErE,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAA;AAE9D,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,4CAA4C,EAAE,MAAM,eAAe,CAAA;AAE5E,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,gCAAgC,CAAA;AACvC,YAAY,EACV,UAAU,EACV,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,gCAAgC,CAAA;AAEvC,OAAO,EACL,sBAAsB,EACtB,WAAW,EACX,WAAW,EACX,UAAU,EACV,uBAAuB,GACxB,MAAM,mCAAmC,CAAA;AAC1C,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,mCAAmC,CAAA"}

package/dist/verification/index.js

@@ -5,6 +5,8 @@
  * and concrete check implementations.
  */
 export { VerificationPipeline, createDefaultVerificationPipeline } from './verification-pipeline.js';
+// Story 74-2: verification → learning feedback bridge
+export { injectVerificationFindings, buildFindingsFromSummary, ROOT_CAUSE_MAP, } from './findings-to-learning-store.js';
 export { renderFindings } from './findings.js';
 // Epic 55 Phase 2 — Runtime probe support.
 export { RuntimeProbeCheck } from './checks/runtime-probe-check.js';
@@ -28,4 +30,6 @@ export { CrossStoryConsistencyCheck, runCrossStoryConsistencyCheck, } from './ch
 export { CATEGORY_CROSS_STORY_CONCURRENT_MODIFICATION } from './findings.js';
 // Story 70-1: cross-story race recovery
 export { detectStaleVerifications, CommittedAtResolver, runStaleVerificationRecovery, } from './cross-story-race-recovery.js';
+// Story 74-1: AC-to-test traceability check (on-demand via --verify-ac flag)
+export { runAcTraceabilityCheck, wordOverlap, parseAcList, isTestFile, extractTestDescriptions, } from './checks/ac-traceability-check.js';
 //# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AAYpG,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE9C,2CAA2C;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AAEnE,0DAA0D;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AACtE,iFAAiF;AACjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAQ1B,+CAA+C;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAC1F,uCAAuC;AACvC,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,qDAAqD;AACrD,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAA;AAC9D,+DAA+D;AAC/D,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,4CAA4C,EAAE,MAAM,eAAe,CAAA;AAC5E,wCAAwC;AACxC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,gCAAgC,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AACpG,sDAAsD;AACtD,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,cAAc,GACf,MAAM,iCAAiC,CAAA;AAaxC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE9C,2CAA2C;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AAEnE,0DAA0D;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AACtE,iFAAiF;AACjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAQ1B,+CAA+C;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAC1F,uCAAuC;AACvC,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,qDAAqD;AACrD,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAA;AAC9D,+DAA+D;AAC/D,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,4CAA4C,EAAE,MAAM,eAAe,CAAA;AAC5E,wCAAwC;AACxC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,gCAAgC,CAAA;AAMvC,6EAA6E;AAC7E,OAAO,EACL,sBAAsB,EACtB,WAAW,EACX,WAAW,EACX,UAAU,EACV,uBAAuB,GACxB,MAAM,mCAAmC,CAAA"}

package/dist/verification/types.d.ts

@@ -131,6 +131,14 @@ export interface VerificationContext {
      * drive detection without requiring real concurrent-story context.
      */
     _crossStoryConflictingFiles?: string[];
+    /**
+     * Optional pipeline run id used by the verification → learning feedback bridge
+     * (Story 74-2). Populated by the orchestrator from `config.pipelineRunId` so
+     * `injectVerificationFindings` can stamp the resulting Finding rows with the
+     * correct run scope; left undefined when the caller cannot supply one (the
+     * bridge falls back to `'unknown'` and still writes the finding).
+     */
+    runId?: string;
 }
 /**
  * Result returned by a single VerificationCheck.run() invocation.

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAGxD,YAAY,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAA;AAMrF;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,6GAA6G;IAC7G,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,mFAAmF;IACnF,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAMD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,MAAM,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,CAAA;IACtC,oEAAoE;IACpE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,kEAAkE;IAClE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAA;IACtB,oEAAoE;IACpE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAA;IACzB,yDAAyD;IACzD,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;CACjC;AAMD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAA;IAChB,sDAAsD;IACtD,UAAU,EAAE,MAAM,CAAA;IAClB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAA;IACf,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,aAAa,CAAA;IAC5B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,eAAe,CAAA;IAChC;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B;;;;;;;;;OASG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;;;;;;;OASG;IACH,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAA;CACvC;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IAChC,OAAO,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,MAAM,CAAA;IACnB;wDACoD;IACpD,QAAQ,CAAC,EAAE,mBAAmB,EAAE,CAAA;CACjC;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IACjE,SAAS,EAAE,MAAM,CAAA;CAClB;AAMD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAA;IAChB,MAAM,EAAE,uBAAuB,EAAE,CAAA;IACjC,gDAAgD;IAChD,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IAChC,WAAW,EAAE,MAAM,CAAA;CACpB;AAMD;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,+EAA+E;IAC/E,IAAI,EAAE,MAAM,CAAA;IACZ,mFAAmF;IACnF,IAAI,EAAE,GAAG,GAAG,GAAG,CAAA;IACf;;;OAGG;IACH,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAA;CAC/D"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAGxD,YAAY,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAA;AAMrF;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,6GAA6G;IAC7G,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,mFAAmF;IACnF,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAMD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,MAAM,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,CAAA;IACtC,oEAAoE;IACpE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,kEAAkE;IAClE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAA;IACtB,oEAAoE;IACpE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAA;IACzB,yDAAyD;IACzD,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;CACjC;AAMD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAA;IAChB,sDAAsD;IACtD,UAAU,EAAE,MAAM,CAAA;IAClB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAA;IACf,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,aAAa,CAAA;IAC5B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,eAAe,CAAA;IAChC;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B;;;;;;;;;OASG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;;;;;;;OASG;IACH,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAA;IACtC;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;CACf;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IAChC,OAAO,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,MAAM,CAAA;IACnB;wDACoD;IACpD,QAAQ,CAAC,EAAE,mBAAmB,EAAE,CAAA;CACjC;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IACjE,SAAS,EAAE,MAAM,CAAA;CAClB;AAMD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAA;IAChB,MAAM,EAAE,uBAAuB,EAAE,CAAA;IACjC,gDAAgD;IAChD,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;IAChC,WAAW,EAAE,MAAM,CAAA;CACpB;AAMD;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,+EAA+E;IAC/E,IAAI,EAAE,MAAM,CAAA;IACZ,mFAAmF;IACnF,IAAI,EAAE,GAAG,GAAG,GAAG,CAAA;IACf;;;OAGG;IACH,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAA;CAC/D"}

package/dist/verification/verification-pipeline.d.ts

@@ -62,6 +62,11 @@ export declare class VerificationPipeline {
  *   6. SourceAcFidelityCheck   — Story 58-2: cross-references rendered story artifact
  *                                against the source epic's hard clauses (MUST/SHALL/paths)
  *
+ * On-demand check (NOT in default pipeline):
+ *   - AcTraceabilityCheck — Story 74-1: heuristic AC-to-test traceability.
+ *     Invoked only via `--verify-ac` on `substrate report` and `substrate run`.
+ *     Excluded from default Tier A/B to avoid paying the cost on every run.
+ *
  * @param bus    Typed event bus for verification events.
  * @param config Optional config (used to forward threshold to TrivialOutputCheck).
  */

package/dist/verification/verification-pipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-pipeline.d.ts","sourceRoot":"","sources":["../../src/verification/verification-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EAEnB,mBAAmB,EACpB,MAAM,YAAY,CAAA;AAGnB,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AA+BhF;;;;;;GAMG;AACH,qBAAa,oBAAoB;IAC/B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA2B;IAChD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA0B;IAElD;;;OAGG;gBACS,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,MAAM,GAAE,iBAAiB,EAAO;IAO5E;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAIxC;;;;;;;;;;OAUG;IACG,GAAG,CAAC,OAAO,EAAE,mBAAmB,EAAE,IAAI,GAAE,GAAG,GAAG,GAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC;CAqE7F;AAMD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iCAAiC,CAC/C,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,EAC9B,MAAM,CAAC,EAAE,wBAAwB,GAChC,oBAAoB,CAYtB"}
+{"version":3,"file":"verification-pipeline.d.ts","sourceRoot":"","sources":["../../src/verification/verification-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EAEnB,mBAAmB,EACpB,MAAM,YAAY,CAAA;AAGnB,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AA+BhF;;;;;;GAMG;AACH,qBAAa,oBAAoB;IAC/B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA2B;IAChD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA0B;IAElD;;;OAGG;gBAED,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,EAC9B,MAAM,GAAE,iBAAiB,EAAO;IAQlC;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAIxC;;;;;;;;;;OAUG;IACG,GAAG,CAAC,OAAO,EAAE,mBAAmB,EAAE,IAAI,GAAE,GAAG,GAAG,GAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC;CAqE7F;AAMD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,iCAAiC,CAC/C,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,EAC9B,MAAM,CAAC,EAAE,wBAAwB,GAChC,oBAAoB,CAYtB"}

package/dist/verification/verification-pipeline.js

@@ -156,6 +156,11 @@ export class VerificationPipeline {
  *   6. SourceAcFidelityCheck   — Story 58-2: cross-references rendered story artifact
  *                                against the source epic's hard clauses (MUST/SHALL/paths)
  *
+ * On-demand check (NOT in default pipeline):
+ *   - AcTraceabilityCheck — Story 74-1: heuristic AC-to-test traceability.
+ *     Invoked only via `--verify-ac` on `substrate report` and `substrate run`.
+ *     Excluded from default Tier A/B to avoid paying the cost on every run.
+ *
  * @param bus    Typed event bus for verification events.
  * @param config Optional config (used to forward threshold to TrivialOutputCheck).
  */

package/dist/verification/verification-pipeline.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-pipeline.js","sourceRoot":"","sources":["../../src/verification/verification-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAUH,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAErE,OAAO,EAAE,+BAA+B,EAAE,MAAM,gDAAgD,CAAA;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAA;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAA;AAEtF,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,eAAe,CACtB,MAAiC;IAEjC,IAAI,MAAM,GAA6B,MAAM,CAAA;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,CAAA;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,GAAG,MAAM,CAAA;IAC1C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,oBAAoB;IACd,IAAI,CAA2B;IAC/B,OAAO,GAAwB,EAAE,CAAA;IAElD;;;OAGG;IACH,YAAY,GAA8B,EAAE,SAA8B,EAAE;QAC1E,IAAI,CAAC,IAAI,GAAG,GAAG,CAAA;QACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,KAAwB;QAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,GAAG,CAAC,OAA4B,EAAE,OAAkB,GAAG;QAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAC1D,MAAM,YAAY,GAA8B,EAAE,CAAA;QAElD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;YAC7B,IAAI,MAA+B,CAAA;YAEnC,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC1C,MAAM,GAAG;oBACP,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,6DAA6D;oBAC7D,8DAA8D;oBAC9D,0DAA0D;oBAC1D,GAAG,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9E,CAAA;YACH,CAAC;YAAC,OAAO,GAAY,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAA;gBACvC,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAChE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,kCAAkC,KAAK,CAAC,IAAI,mCAAmC,OAAO,IAAI,CAC3F,CAAA;gBACD,8DAA8D;gBAC9D,6DAA6D;gBAC7D,wDAAwD;gBACxD,MAAM,GAAG;oBACP,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,OAAO;oBAChB,WAAW,EAAE,OAAO;oBACpB,QAAQ,EAAE;wBACR;4BACE,QAAQ,EAAE,iBAAiB;4BAC3B,QAAQ,EAAE,MAAM;4BAChB,OAAO;yBACR;qBACF;iBACF,CAAA;YACH,CAAC;YAED,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAEzB,yDAAyD;YACzD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE;gBAC5C,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,OAAO,GAAwB;YACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,eAAe,CAAC,YAAY,CAAC;YACrC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa;SACxC,CAAA;QAED,0DAA0D;QAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAA;QAEtD,OAAO,OAAO,CAAA;IAChB,CAAC;CACF;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,iCAAiC,CAC/C,GAA8B,EAC9B,MAAiC;IAEjC,MAAM,MAAM,GAAwB;QAClC,IAAI,kBAAkB,EAAE;QACxB,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAC9B,IAAI,+BAA+B,EAAE;QACrC,IAAI,UAAU,EAAE,EAAE,8DAA8D;QAChF,IAAI,iBAAiB,EAAE,EAAE,iDAAiD;QAC1E,IAAI,qBAAqB,EAAE,EAAE,sCAAsC;QACnE,IAAI,qBAAqB,EAAE,EAAE,iFAAiF;QAC9G,IAAI,0BAA0B,EAAE,EAAE,wEAAwE;KAC3G,CAAA;IACD,OAAO,IAAI,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AAC9C,CAAC"}
+{"version":3,"file":"verification-pipeline.js","sourceRoot":"","sources":["../../src/verification/verification-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAUH,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAErE,OAAO,EAAE,+BAA+B,EAAE,MAAM,gDAAgD,CAAA;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAA;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAA;AAEtF,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,eAAe,CACtB,MAAiC;IAEjC,IAAI,MAAM,GAA6B,MAAM,CAAA;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,CAAA;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,GAAG,MAAM,CAAA;IAC1C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,oBAAoB;IACd,IAAI,CAA2B;IAC/B,OAAO,GAAwB,EAAE,CAAA;IAElD;;;OAGG;IACH,YACE,GAA8B,EAC9B,SAA8B,EAAE;QAEhC,IAAI,CAAC,IAAI,GAAG,GAAG,CAAA;QACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,KAAwB;QAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,GAAG,CAAC,OAA4B,EAAE,OAAkB,GAAG;QAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAC1D,MAAM,YAAY,GAA8B,EAAE,CAAA;QAElD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;YAC7B,IAAI,MAA+B,CAAA;YAEnC,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC1C,MAAM,GAAG;oBACP,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,6DAA6D;oBAC7D,8DAA8D;oBAC9D,0DAA0D;oBAC1D,GAAG,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9E,CAAA;YACH,CAAC;YAAC,OAAO,GAAY,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAA;gBACvC,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAChE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,kCAAkC,KAAK,CAAC,IAAI,mCAAmC,OAAO,IAAI,CAC3F,CAAA;gBACD,8DAA8D;gBAC9D,6DAA6D;gBAC7D,wDAAwD;gBACxD,MAAM,GAAG;oBACP,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,OAAO;oBAChB,WAAW,EAAE,OAAO;oBACpB,QAAQ,EAAE;wBACR;4BACE,QAAQ,EAAE,iBAAiB;4BAC3B,QAAQ,EAAE,MAAM;4BAChB,OAAO;yBACR;qBACF;iBACF,CAAA;YACH,CAAC;YAED,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAEzB,yDAAyD;YACzD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE;gBAC5C,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,OAAO,GAAwB;YACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,eAAe,CAAC,YAAY,CAAC;YACrC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa;SACxC,CAAA;QAED,0DAA0D;QAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAA;QAEtD,OAAO,OAAO,CAAA;IAChB,CAAC;CACF;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,iCAAiC,CAC/C,GAA8B,EAC9B,MAAiC;IAEjC,MAAM,MAAM,GAAwB;QAClC,IAAI,kBAAkB,EAAE;QACxB,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAC9B,IAAI,+BAA+B,EAAE;QACrC,IAAI,UAAU,EAAE,EAAE,8DAA8D;QAChF,IAAI,iBAAiB,EAAE,EAAE,iDAAiD;QAC1E,IAAI,qBAAqB,EAAE,EAAE,sCAAsC;QACnE,IAAI,qBAAqB,EAAE,EAAE,iFAAiF;QAC9G,IAAI,0BAA0B,EAAE,EAAE,wEAAwE;KAC3G,CAAA;IACD,OAAO,IAAI,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AAC9C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@substrate-ai/sdlc",
-  "version": "0.20.65",
+  "version": "0.20.66",
   "type": "module",
   "license": "MIT",
   "repository": {
@@ -24,7 +24,7 @@
     "node": ">=22.0.0"
   },
   "dependencies": {
-    "@substrate-ai/core": "0.20.65",
+    "@substrate-ai/core": "0.20.66",
     "js-yaml": "^4.1.1",
     "zod": "^4.3.6"
   },