substrate-ai 0.20.65 → 0.20.66

package/dist/cli/index.js

@@ -1,17 +1,17 @@
 #!/usr/bin/env node
-import { FileStateStore, SUBSTRATE_OWNED_SETTINGS_KEYS, VALID_PHASES, buildPipelineStatusOutput, createDatabaseAdapter, createStateStore, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, parseDbTimestampAsUtc, registerHealthCommand, resolveBmadMethodSrcPath, resolveBmadMethodVersion } from "../health-DC3y-sR6.js";
+import { FileStateStore, SUBSTRATE_OWNED_SETTINGS_KEYS, VALID_PHASES, buildPipelineStatusOutput, createDatabaseAdapter, createStateStore, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, parseDbTimestampAsUtc, registerHealthCommand, resolveBmadMethodSrcPath, resolveBmadMethodVersion } from "../health-D6MKxV46.js";
 import { createLogger } from "../logger-KeHncl-f.js";
 import { createEventBus } from "../helpers-CElYrONe.js";
 import { AdapterRegistry$1 as AdapterRegistry, BudgetConfigSchema, CURRENT_CONFIG_FORMAT_VERSION, CURRENT_TASK_GRAPH_VERSION, ConfigError$1 as ConfigError, CostTrackerConfigSchema, DEFAULT_CONFIG, DoltClient, DoltNotInstalled, GlobalSettingsSchema, InMemoryDatabaseAdapter, IngestionServer, MonitorDatabaseImpl, OPERATIONAL_FINDING, PartialGlobalSettingsSchema, PartialProviderConfigSchema, ProvidersSchema, RoutingRecommender, STORY_METRICS, TelemetryConfigSchema, addTokenUsage, aggregateTokenUsageForRun, checkDoltInstalled, compareRunMetrics, createAmendmentRun, createConfigSystem, createDecision, createDoltClient, createPipelineRun, getActiveDecisions, getAllCostEntriesFiltered, getBaselineRunMetrics, getDecisionsByCategory, getDecisionsByPhaseForRun, getLatestCompletedRun, getLatestRun, getPipelineRunById, getPlanningCostTotal, getRetryableEscalations, getRunMetrics, getRunningPipelineRuns, getSessionCostSummary, getSessionCostSummaryFiltered, getStoryMetricsForRun, getTokenUsageSummary, incrementRunRestarts, initSchema, initializeDolt, listRunMetrics, loadParentRunDecisions, supersedeDecision, tagRunAsBaseline, updatePipelineRun } from "../dist-K_RRWnBX.js";
 import "../adapter-registry-DXLMTmfD.js";
-import { RunManifest, SupervisorLock, ZERO_FINDINGS_BY_AUTHOR, ZERO_FINDING_COUNTS, ZERO_PROBE_AUTHOR_METRICS, aggregateProbeAuthorMetrics, parseRuntimeProbes, readCurrentRunId, resolveMainRepoRoot, resolveRunManifest, rollupFindingCounts, rollupFindingsByAuthor, rollupProbeAuthorByClass, rollupProbeAuthorMetrics } from "../manifest-read-DDkXC3L_.js";
-import { AdapterTelemetryPersistence, AppError, DoltRepoMapMetaRepository, DoltSymbolRepository, ERR_REPO_MAP_STORAGE_WRITE, EpicIngester, GLOBSTAR, GitClient, GrammarLoader, Minimatch, Minipass, RepoMapInjector, RepoMapModule, RepoMapQueryEngine, RepoMapStorage, SymbolParser, createContextCompiler, createDispatcher, createEventEmitter, createImplementationOrchestrator, createPackLoader, createPhaseOrchestrator, createStopAfterGate, createTelemetryAdvisor, escape, formatPhaseCompletionSummary, getFactoryRunSummaries, getScenarioResultsForRun, getTwinRunsForRun, listGraphRuns, registerExportCommand, registerFactoryCommand, registerRunCommand, registerScenariosCommand, resolveStoryKeys, runAnalysisPhase, runPlanningPhase, runProbeAuthor, runSolutioningPhase, unescape, validateStopAfterFromConflict } from "../run-DzB4rgkj.js";
+import { RunManifest, SupervisorLock, ZERO_FINDINGS_BY_AUTHOR, ZERO_FINDING_COUNTS, ZERO_PROBE_AUTHOR_METRICS, aggregateProbeAuthorMetrics, parseRuntimeProbes, readCurrentRunId, resolveMainRepoRoot, resolveRunManifest, rollupFindingCounts, rollupFindingsByAuthor, rollupProbeAuthorByClass, rollupProbeAuthorMetrics, runAcTraceabilityCheck } from "../manifest-read-g4zt3DXJ.js";
+import { AdapterTelemetryPersistence, AppError, DoltRepoMapMetaRepository, DoltSymbolRepository, ERR_REPO_MAP_STORAGE_WRITE, EpicIngester, GLOBSTAR, GitClient, GrammarLoader, Minimatch, Minipass, RepoMapInjector, RepoMapModule, RepoMapQueryEngine, RepoMapStorage, SymbolParser, createContextCompiler, createDispatcher, createEventEmitter, createImplementationOrchestrator, createPackLoader, createPhaseOrchestrator, createStopAfterGate, createTelemetryAdvisor, escape, formatPhaseCompletionSummary, getFactoryRunSummaries, getScenarioResultsForRun, getTwinRunsForRun, listGraphRuns, registerExportCommand, registerFactoryCommand, registerRunCommand, registerScenariosCommand, resolveStoryKeys, runAnalysisPhase, runPlanningPhase, runProbeAuthor, runSolutioningPhase, unescape, validateStopAfterFromConflict } from "../run-7h2-DIjt.js";
 import "../errors-pSiZbn6e.js";
 import "../routing-DFxoKHDt.js";
 import { WorkGraphRepository } from "../work-graph-repository-DZyJv5pV.js";
 import "../decisions-CzSIEeGP.js";
 import "../decision-router-DblHY8se.js";
-import "../interactive-prompt-C7wpE4z4.js";
+import "../interactive-prompt-kzkG24Rn.js";
 import "../recovery-engine-BKGBeBnW.js";
 import "../version-manager-impl-qFBiO4Eh.js";
 import { registerUpgradeCommand } from "../upgrade-MP9XzrI6.js";
@@ -7491,7 +7491,7 @@ async function runStatusAction(options) {
 			logger$15.debug({ err }, "Work graph query failed, continuing without work graph data");
 		}
 		if (run === void 0) {
-			const { inspectProcessTree: inspectProcessTree$1 } = await import("../health-qhtWYh49.js");
+			const { inspectProcessTree: inspectProcessTree$1 } = await import("../health-rGXaJvYJ.js");
 			const substrateDirPath = join(projectRoot, ".substrate");
 			const processInfo = inspectProcessTree$1({
 				projectRoot,
@@ -9037,7 +9037,7 @@ async function runSupervisorAction(options, deps = {}) {
 								await initSchema(expAdapter);
 								const { runRunAction: runPipeline } = await import(
 									/* @vite-ignore */
-									"../run-DX95j4_D.js"
+									"../run-DB9P6m_P.js"
 );
 								const runStoryFn = async (opts) => {
 									const exitCode = await runPipeline({
@@ -13787,6 +13787,44 @@ function renderHuman(output, manifest) {
 		}
 		lines.push("");
 	}
+	if (output.ac_traceability && Object.keys(output.ac_traceability).length > 0) {
+		lines.push("──── AC Traceability (approximate) ────");
+		for (const [storyKey, traceability] of Object.entries(output.ac_traceability)) {
+			lines.push("");
+			lines.push(`  Story: ${storyKey}`);
+			if (traceability.matrix.length === 0) {
+				lines.push("  (no acceptance criteria found)");
+				continue;
+			}
+			const AC_COL = 60;
+			const MATCH_COL = 9;
+			const TEST_COL = 50;
+			lines.push("  " + formatRow([
+				"AC",
+				"Matched",
+				"Test Name"
+			], [
+				AC_COL,
+				MATCH_COL,
+				TEST_COL
+			]));
+			lines.push("  " + [
+				AC_COL,
+				MATCH_COL,
+				TEST_COL
+			].map((w) => "-".repeat(w)).join("-+-"));
+			for (const row of traceability.matrix) lines.push("  " + formatRow([
+				row.acText,
+				row.matched ? "✓" : "✗",
+				row.testName ?? "—"
+			], [
+				AC_COL,
+				MATCH_COL,
+				TEST_COL
+			]));
+		}
+		lines.push("");
+	}
 	return lines.join("\n");
 }
 function renderJson(output) {
@@ -13926,7 +13964,7 @@ async function resolveLatestRunId(dbRoot) {
 	}
 }
 async function runReportAction(options) {
-	const { run: runArg, outputFormat, projectRoot, _dbRoot } = options;
+	const { run: runArg, outputFormat, projectRoot, _dbRoot, verifyAc } = options;
 	const effectiveProjectRoot = process.env["SUBSTRATE_PROJECT_ROOT"] ?? projectRoot;
 	const dbRoot = _dbRoot ?? await resolveMainRepoRoot(effectiveProjectRoot);
 	const runsDir = join(dbRoot, ".substrate", "runs");
@@ -14005,6 +14043,45 @@ async function runReportAction(options) {
 		return [];
 	});
 	const output = assembleReport(resolvedRunId, manifest, halts);
+	if (verifyAc === true) {
+		const artifactsDir = join(dbRoot, "_bmad-output", "implementation-artifacts");
+		const acTraceability = {};
+		let acPerStoryState = manifest.per_story_state;
+		try {
+			const rmForAc = RunManifest.open(resolvedRunId, runsDir);
+			const rmData = await rmForAc.read();
+			acPerStoryState = rmData.per_story_state;
+		} catch {
+			logger$1.debug({ runId: resolvedRunId }, "RunManifest.read() for --verify-ac failed — using raw manifest fallback");
+		}
+		const storyEntries = Object.entries(acPerStoryState);
+		for (const [storyKey, state] of storyEntries) {
+			const filesModified = state.dev_story_signals?.files_modified ?? [];
+			let storyContent = "";
+			try {
+				const artifactFiles = await readdir(artifactsDir).catch(() => []);
+				const matchingFile = artifactFiles.find((f) => (f.startsWith(`${storyKey}-`) || f === `${storyKey}.md`) && f.endsWith(".md"));
+				if (matchingFile) storyContent = await readFile(join(artifactsDir, matchingFile), "utf-8");
+			} catch {}
+			try {
+				const result = await runAcTraceabilityCheck({
+					storyKey,
+					storyContent,
+					filesModified
+				});
+				acTraceability[storyKey] = {
+					matrix: result.matrix,
+					confidence: result.confidence
+				};
+			} catch (err) {
+				logger$1.debug({
+					err,
+					storyKey
+				}, "ac traceability check failed for story (skipping)");
+			}
+		}
+		output.ac_traceability = acTraceability;
+	}
 	if (outputFormat === "json") process.stdout.write(renderJson(output) + "\n");
 	else process.stdout.write(renderHuman(output, manifest));
 	return 0;
@@ -14017,13 +14094,14 @@ async function runReportAction(options) {
 * uniformity even though this command does not use it.
 */
 function registerReportCommand(program, _version = "0.0.0", projectRoot = process.cwd(), _registry) {
-	program.command("report").description("Read run manifest and produce a structured completion report").option("--run <id|latest>", "Run ID to report on, or \"latest\" (default: current-run-id file, then Dolt getLatestRun fallback)").option("--output-format <format>", "Output format: human (default) or json", "human").option("--basePath <path>", "Base path override for .substrate directory (used by probes and tests)").action(async (opts) => {
+	program.command("report").description("Read run manifest and produce a structured completion report").option("--run <id|latest>", "Run ID to report on, or \"latest\" (default: current-run-id file, then Dolt getLatestRun fallback)").option("--output-format <format>", "Output format: human (default) or json", "human").option("--basePath <path>", "Base path override for .substrate directory (used by probes and tests)").option("--verify-ac", "Run AC-to-test traceability heuristic for each story and append results to report (Story 74-1)").action(async (opts) => {
 		const outputFormat = opts.outputFormat === "json" ? "json" : "human";
 		const exitCode = await runReportAction({
 			run: opts.run,
 			outputFormat,
 			projectRoot,
-			_dbRoot: opts.basePath
+			_dbRoot: opts.basePath,
+			verifyAc: opts.verifyAc
 		});
 		process.exitCode = exitCode;
 	});

package/dist/{health-DC3y-sR6.js → health-D6MKxV46.js}

@@ -1,6 +1,6 @@
 import { createLogger } from "./logger-KeHncl-f.js";
 import { DoltClient, DoltQueryError, createDatabaseAdapter$1 as createDatabaseAdapter, getLatestRun, getPipelineRunById, initSchema } from "./dist-K_RRWnBX.js";
-import { resolveMainRepoRoot, resolveRunManifest } from "./manifest-read-DDkXC3L_.js";
+import { resolveMainRepoRoot, resolveRunManifest } from "./manifest-read-g4zt3DXJ.js";
 import { createRequire } from "module";
 import { dirname, join } from "path";
 import { existsSync, readFileSync } from "node:fs";
@@ -1712,4 +1712,4 @@ function registerHealthCommand(program, _version = "0.0.0", projectRoot = proces
 
 //#endregion
 export { BMAD_BASELINE_TOKENS_FULL, DEFAULT_STALL_THRESHOLD_SECONDS, DoltMergeConflict, FileStateStore, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN$1 as STORY_KEY_PATTERN, SUBSTRATE_OWNED_SETTINGS_KEYS, VALID_PHASES, __commonJS, __require, __toESM, buildPipelineStatusOutput, createDatabaseAdapter$1 as createDatabaseAdapter, createStateStore, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, isOrchestratorProcessLine, parseDbTimestampAsUtc, registerHealthCommand, resolveBmadMethodSrcPath, resolveBmadMethodVersion, runHealthAction, validateStoryKey };
-//# sourceMappingURL=health-DC3y-sR6.js.map
+//# sourceMappingURL=health-D6MKxV46.js.map

package/dist/{health-qhtWYh49.js → health-rGXaJvYJ.js}

@@ -1,7 +1,7 @@
-import { DEFAULT_STALL_THRESHOLD_SECONDS, getAllDescendantPids, getAutoHealthData, inspectProcessTree, isOrchestratorProcessLine, registerHealthCommand, runHealthAction } from "./health-DC3y-sR6.js";
+import { DEFAULT_STALL_THRESHOLD_SECONDS, getAllDescendantPids, getAutoHealthData, inspectProcessTree, isOrchestratorProcessLine, registerHealthCommand, runHealthAction } from "./health-D6MKxV46.js";
 import "./logger-KeHncl-f.js";
 import "./dist-K_RRWnBX.js";
-import "./manifest-read-DDkXC3L_.js";
+import "./manifest-read-g4zt3DXJ.js";
 import "./work-graph-repository-DZyJv5pV.js";
 import "./decisions-CzSIEeGP.js";
 

package/dist/{interactive-prompt-C7wpE4z4.js → interactive-prompt-kzkG24Rn.js}

@@ -1,5 +1,5 @@
 import { createLogger } from "./logger-KeHncl-f.js";
-import { readCurrentRunId, resolveMainRepoRoot } from "./manifest-read-DDkXC3L_.js";
+import { readCurrentRunId, resolveMainRepoRoot } from "./manifest-read-g4zt3DXJ.js";
 import { join } from "node:path";
 import { mkdir, readFile, writeFile } from "node:fs/promises";
 import * as readline from "node:readline";
@@ -180,4 +180,4 @@ async function runInteractivePrompt(decisionContext) {
 
 //#endregion
 export { runInteractivePrompt };
-//# sourceMappingURL=interactive-prompt-C7wpE4z4.js.map
+//# sourceMappingURL=interactive-prompt-kzkG24Rn.js.map

package/dist/{manifest-read-DDkXC3L_.js → manifest-read-g4zt3DXJ.js}

@@ -310,7 +310,11 @@ const RootCauseCategorySchema = z.enum([
 	"test-failure",
 	"resource-exhaustion",
 	"infrastructure",
-	"unclassified"
+	"unclassified",
+	"ac-missing-evidence",
+	"runtime-probe-fail",
+	"source-ac-drift",
+	"cross-story-concurrent-modification"
 ]);
 const FindingSchema = z.object({
 	id: z.string().uuid(),
@@ -350,7 +354,11 @@ const CATEGORY_DESCRIPTIONS = {
 	"test-failure": "Tests failed after story implementation",
 	"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"
+	"unclassified": "No error text available",
+	"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"
 };
 /**
 * Construct a validated Finding from a StoryFailureContext and classification result.
@@ -4060,6 +4068,11 @@ var VerificationPipeline = class {
 *   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).
 */
@@ -4298,6 +4311,151 @@ async function runStaleVerificationRecovery(input) {
 	};
 }
 
+//#endregion
+//#region packages/sdlc/dist/verification/checks/ac-traceability-check.js
+/**
+* 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.
+*/
+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;
+}
+/**
+* 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).
+*/
+function parseAcList(storyContent) {
+	const lines = storyContent.split("\n");
+	const items = [];
+	let inAcSection = false;
+	for (const line of lines) {
+		if (/^##\s+Acceptance Criteria/i.test(line) || /\*\*Acceptance Criteria:\*\*/i.test(line)) {
+			inAcSection = true;
+			continue;
+		}
+		if (inAcSection && /^##\s/.test(line)) break;
+		if (!inAcSection) continue;
+		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;
+}
+const TEST_FILE_PATTERNS = [
+	/\.test\.ts$/,
+	/\.test\.js$/,
+	/test/i
+];
+/** Returns true when the path matches a known test file pattern. */
+function isTestFile(path$3) {
+	return TEST_FILE_PATTERNS.some((p) => p.test(path$3));
+}
+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.
+*/
+function extractTestDescriptions(source) {
+	const results = [];
+	let m;
+	TEST_DESC_RE.lastIndex = 0;
+	while ((m = TEST_DESC_RE.exec(source)) !== null) {
+		const desc = m[1];
+		if (desc !== void 0 && desc.trim().length > 0) results.push(desc.trim());
+	}
+	return results;
+}
+/**
+* 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.
+*/
+async function runAcTraceabilityCheck(input) {
+	const { storyKey, storyContent, filesModified } = input;
+	const fileReader = input._readFile ?? ((p) => readFile(p, "utf-8"));
+	const warnings = [];
+	const acList = parseAcList(storyContent);
+	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.`);
+		const matrix$1 = acList.map((acText) => ({
+			acText,
+			matched: false,
+			testName: null,
+			score: 0
+		}));
+		return {
+			storyKey,
+			matrix: matrix$1,
+			confidence: "approximate",
+			warnings
+		};
+	}
+	const allTestDescriptions = [];
+	for (const filePath of testFiles) try {
+		const source = await fileReader(filePath);
+		if (source != null) {
+			const descs = extractTestDescriptions(source);
+			allTestDescriptions.push(...descs);
+		}
+	} catch {}
+	const MATCH_THRESHOLD = .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
+	};
+}
+
 //#endregion
 //#region packages/sdlc/dist/run-model/cli-flags.js
 /**
@@ -5680,5 +5838,5 @@ async function resolveRunManifest(dbRoot, runId) {
 }
 
 //#endregion
-export { FindingsInjector, RunManifest, RuntimeProbeListSchema, SupervisorLock, ZERO_FINDINGS_BY_AUTHOR, ZERO_FINDING_COUNTS, ZERO_PROBE_AUTHOR_METRICS, aggregateProbeAuthorMetrics, applyConfigToGraph, createDefaultVerificationPipeline, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, detectsEventDrivenAC, detectsStateIntegratingAC, extractTargetFilesFromStoryContent, parseRuntimeProbes, readCurrentRunId, renderFindings, resolveGraphPath, resolveMainRepoRoot, resolveRunManifest, rollupFindingCounts, rollupFindingsByAuthor, rollupProbeAuthorByClass, rollupProbeAuthorMetrics, runStaleVerificationRecovery };
-//# sourceMappingURL=manifest-read-DDkXC3L_.js.map
+export { FindingsInjector, RunManifest, RuntimeProbeListSchema, SupervisorLock, ZERO_FINDINGS_BY_AUTHOR, ZERO_FINDING_COUNTS, ZERO_PROBE_AUTHOR_METRICS, aggregateProbeAuthorMetrics, applyConfigToGraph, createDefaultVerificationPipeline, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, detectsEventDrivenAC, detectsStateIntegratingAC, extractTargetFilesFromStoryContent, parseRuntimeProbes, readCurrentRunId, renderFindings, resolveGraphPath, resolveMainRepoRoot, resolveRunManifest, rollupFindingCounts, rollupFindingsByAuthor, rollupProbeAuthorByClass, rollupProbeAuthorMetrics, runAcTraceabilityCheck, runStaleVerificationRecovery };
+//# sourceMappingURL=manifest-read-g4zt3DXJ.js.map

package/dist/modules/interactive-prompt/index.js

@@ -1,6 +1,6 @@
 import "../../logger-KeHncl-f.js";
 import "../../dist-K_RRWnBX.js";
-import "../../manifest-read-DDkXC3L_.js";
-import { runInteractivePrompt } from "../../interactive-prompt-C7wpE4z4.js";
+import "../../manifest-read-g4zt3DXJ.js";
+import { runInteractivePrompt } from "../../interactive-prompt-kzkG24Rn.js";
 
 export { runInteractivePrompt };

package/dist/{run-DzB4rgkj.js → run-7h2-DIjt.js}

@@ -1,11 +1,11 @@
-import { BMAD_BASELINE_TOKENS_FULL, DoltMergeConflict, FileStateStore, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN, VALID_PHASES, __commonJS, __require, __toESM, buildPipelineStatusOutput, createDatabaseAdapter, formatOutput, formatPipelineSummary, formatTokenTelemetry, inspectProcessTree, parseDbTimestampAsUtc, validateStoryKey } from "./health-DC3y-sR6.js";
+import { BMAD_BASELINE_TOKENS_FULL, DoltMergeConflict, FileStateStore, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN, VALID_PHASES, __commonJS, __require, __toESM, buildPipelineStatusOutput, createDatabaseAdapter, formatOutput, formatPipelineSummary, formatTokenTelemetry, inspectProcessTree, parseDbTimestampAsUtc, validateStoryKey } from "./health-D6MKxV46.js";
 import { createLogger } from "./logger-KeHncl-f.js";
 import { TypedEventBusImpl, createEventBus, createTuiApp, isTuiCapable, printNonTtyWarning, sleep } from "./helpers-CElYrONe.js";
 import { ADVISORY_NOTES, Categorizer, ConsumerAnalyzer, DEFAULT_GLOBAL_SETTINGS, DispatcherImpl, DoltClient, ESCALATION_DIAGNOSIS, EXPERIMENT_RESULT, EfficiencyScorer, IngestionServer, LogTurnAnalyzer, OPERATIONAL_FINDING, Recommender, RoutingRecommender, RoutingResolver, RoutingTelemetry, RoutingTokenAccumulator, RoutingTuner, STORY_METRICS, STORY_OUTCOME, SubstrateConfigSchema, TEST_EXPANSION_FINDING, TEST_PLAN, TelemetryNormalizer, TelemetryPipeline, TurnAnalyzer, addTokenUsage, aggregateTokenUsageForRun, aggregateTokenUsageForStory, callLLM, createConfigSystem, createDatabaseAdapter$1, createDecision, createPipelineRun, createRequirement, detectInterfaceChanges, getArtifactByTypeForRun, getArtifactsByRun, getDecisionsByCategory, getDecisionsByPhase, getDecisionsByPhaseForRun, getLatestRun, getPipelineRunById, getRunMetrics, getRunningPipelineRuns, getStoryMetricsForRun, getTokenUsageSummary, initSchema, listRequirements, loadModelRoutingConfig, registerArtifact, updatePipelineRun, updatePipelineRunConfig, upsertDecision, writeRunMetrics, writeStoryMetrics } from "./dist-K_RRWnBX.js";
-import { FindingsInjector, RunManifest, RuntimeProbeListSchema, applyConfigToGraph, createDefaultVerificationPipeline, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, detectsEventDrivenAC, detectsStateIntegratingAC, extractTargetFilesFromStoryContent, renderFindings, resolveGraphPath, resolveMainRepoRoot, runStaleVerificationRecovery } from "./manifest-read-DDkXC3L_.js";
+import { FindingsInjector, RunManifest, RuntimeProbeListSchema, applyConfigToGraph, createDefaultVerificationPipeline, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, detectsEventDrivenAC, detectsStateIntegratingAC, extractTargetFilesFromStoryContent, renderFindings, resolveGraphPath, resolveMainRepoRoot, runAcTraceabilityCheck, runStaleVerificationRecovery } from "./manifest-read-g4zt3DXJ.js";
 import { WorkGraphRepository, detectCycles } from "./work-graph-repository-DZyJv5pV.js";
 import { deriveExitCode, routeDecision } from "./decision-router-DblHY8se.js";
-import { runInteractivePrompt } from "./interactive-prompt-C7wpE4z4.js";
+import { runInteractivePrompt } from "./interactive-prompt-kzkG24Rn.js";
 import { runRecoveryEngine } from "./recovery-engine-BKGBeBnW.js";
 import { basename, dirname, extname, join } from "path";
 import { access, readFile, readdir, stat } from "fs/promises";
@@ -11313,7 +11313,8 @@ function assembleVerificationContext(opts) {
 		storyContent: opts.storyContent,
 		devStoryResult: opts.devStoryResult,
 		outputTokenCount: opts.outputTokenCount,
-		sourceEpicContent: opts.sourceEpicContent
+		sourceEpicContent: opts.sourceEpicContent,
+		runId: opts.runId
 	};
 }
 /**
@@ -12360,7 +12361,7 @@ function createImplementationOrchestrator(deps) {
 	let _otlpEndpoint;
 	let _probeAuthorEffectiveMode = "enabled";
 	const verificationStore = new VerificationStore();
-	const verificationPipeline = createDefaultVerificationPipeline(toSdlcEventBus(eventBus));
+	const verificationPipeline = createDefaultVerificationPipeline(toSdlcEventBus(eventBus), void 0);
 	const _stateStoreCache = new Map();
 	const _checkpoints = new Map();
 	const MEMORY_PRESSURE_BACKOFF_MS = [
@@ -14462,7 +14463,8 @@ function createImplementationOrchestrator(deps) {
 					storyContent: storyContentForVerification,
 					devStoryResult: devStorySignals,
 					outputTokenCount: devOutputTokenCount,
-					sourceEpicContent
+					sourceEpicContent,
+					runId: config.pipelineRunId
 				});
 				const verifSummary = await verificationPipeline.run(verifContext, "A");
 				verificationStore.set(storyKey, verifSummary);
@@ -14536,7 +14538,8 @@ function createImplementationOrchestrator(deps) {
 									storyContent: storyContentForVerification,
 									devStoryResult: devStorySignals,
 									outputTokenCount: devOutputTokenCount,
-									sourceEpicContent
+									sourceEpicContent,
+									runId: config.pipelineRunId
 								});
 								const retryVerifSummary = await verificationPipeline.run(retryVerifContext, "A");
 								verificationStore.set(storyKey, retryVerifSummary);
@@ -44515,7 +44518,7 @@ function resolveProbeAuthorStateIntegrating(cliFlag) {
 *   substrate run --non-interactive --halt-on none --events --output-format json
 */
 async function runRunAction(options) {
-	const { pack: packName, from: startPhase, stopAfter, concept: conceptArg, conceptFile, stories: storiesArg, concurrency, outputFormat, projectRoot, events: eventsFlag, verbose: verboseFlag, tui: tuiFlag, skipUx, research: researchFlag, skipResearch: skipResearchFlag, skipPreflight, skipVerification, epic: epicNumber, dryRun, maxReviewCycles = 2, engine, agent: agentId, registry: injectedRegistry, haltOn: haltOnOpt, costCeiling, probeAuthor, probeAuthorStateIntegrating: probeAuthorStateIntegratingFlag, nonInteractive } = options;
+	const { pack: packName, from: startPhase, stopAfter, concept: conceptArg, conceptFile, stories: storiesArg, concurrency, outputFormat, projectRoot, events: eventsFlag, verbose: verboseFlag, tui: tuiFlag, skipUx, research: researchFlag, skipResearch: skipResearchFlag, skipPreflight, skipVerification, epic: epicNumber, dryRun, maxReviewCycles = 2, engine, agent: agentId, registry: injectedRegistry, haltOn: haltOnOpt, costCeiling, probeAuthor, probeAuthorStateIntegrating: probeAuthorStateIntegratingFlag, nonInteractive, verifyAc } = options;
 	const haltOn = haltOnOpt;
 	const VALID_PROBE_AUTHOR_MODES = [
 		"enabled",
@@ -45441,6 +45444,54 @@ async function runRunAction(options) {
 			});
 			return derivedCode;
 		}
+		if (verifyAc === true) try {
+			const runsDir = join(dbDir, "runs");
+			const runManifestForAc = RunManifest.open(pipelineRun.id, runsDir);
+			const manifestData = await runManifestForAc.read();
+			const artifactsDir = join(dbRoot, "_bmad-output", "implementation-artifacts");
+			const acResults = {};
+			for (const [sk, state] of Object.entries(manifestData.per_story_state)) {
+				const filesModified = state.dev_story_signals?.files_modified ?? [];
+				let storyContent = "";
+				try {
+					const artifactFiles = await readdir(artifactsDir, { encoding: "utf-8" }).catch(() => []);
+					const matchingFile = artifactFiles.find((f$1) => (f$1.startsWith(`${sk}-`) || f$1 === `${sk}.md`) && f$1.endsWith(".md"));
+					if (matchingFile) storyContent = await readFile(join(artifactsDir, matchingFile), "utf-8");
+				} catch {}
+				try {
+					const result = await runAcTraceabilityCheck({
+						storyKey: sk,
+						storyContent,
+						filesModified
+					});
+					acResults[sk] = {
+						matrix: result.matrix,
+						confidence: result.confidence
+					};
+				} catch (acErr) {
+					logger.debug({
+						err: acErr,
+						storyKey: sk
+					}, "ac traceability check failed for story");
+				}
+			}
+			if (outputFormat === "json" || ndjsonEmitter !== void 0) process.stdout.write(JSON.stringify({
+				type: "pipeline:ac-traceability",
+				ts: new Date().toISOString(),
+				run_id: pipelineRun.id,
+				ac_traceability: acResults
+			}) + "\n");
+			else {
+				process.stdout.write("\n── AC Traceability (approximate) ──\n");
+				for (const [sk, result] of Object.entries(acResults)) {
+					const matrix = result.matrix;
+					const matchCount = matrix.filter((r) => r.matched).length;
+					process.stdout.write(`  ${sk}: ${matchCount}/${matrix.length} ACs matched\n`);
+				}
+			}
+		} catch (acRunErr) {
+			logger.warn({ err: acRunErr }, "AC traceability post-run check failed (best-effort)");
+		}
 		return 0;
 	} catch (err) {
 		const msg = err instanceof Error ? err.message : String(err);
@@ -45936,7 +45987,7 @@ function registerRunCommand(program, _version = "0.0.0", projectRoot = process.c
 		"",
 		"--halt-on defaults to critical. Skipped halt decisions are recorded as",
 		"decision:halt-skipped-non-interactive events in --non-interactive mode."
-	].join("\n      ")).action(async (opts) => {
+	].join("\n      ")).option("--verify-ac", "Run AC-to-test traceability heuristic after the pipeline completes (Story 74-1)").action(async (opts) => {
 		if (opts.helpAgent) {
 			process.exitCode = await runHelpAgent();
 			return;
@@ -45981,7 +46032,8 @@ function registerRunCommand(program, _version = "0.0.0", projectRoot = process.c
 			costCeiling: opts.costCeiling,
 			probeAuthor: opts.probeAuthor,
 			probeAuthorStateIntegrating: opts.probeAuthorStateIntegrating,
-			nonInteractive: opts.nonInteractive
+			nonInteractive: opts.nonInteractive,
+			verifyAc: opts.verifyAc
 		});
 		if (opts.nonInteractive === true) process.exit(exitCode);
 		process.exitCode = exitCode;
@@ -45990,4 +46042,4 @@ function registerRunCommand(program, _version = "0.0.0", projectRoot = process.c
 
 //#endregion
 export { AdapterTelemetryPersistence, AppError, DoltRepoMapMetaRepository, DoltSymbolRepository, ERR_REPO_MAP_STORAGE_WRITE, EpicIngester, GLOBSTAR$1 as GLOBSTAR, GitClient, GrammarLoader, Minimatch$1 as Minimatch, Minipass, RepoMapInjector, RepoMapModule, RepoMapQueryEngine, RepoMapStorage, SymbolParser, createContextCompiler, createDispatcher, createEventEmitter, createImplementationOrchestrator, createPackLoader, createPhaseOrchestrator, createStopAfterGate, createTelemetryAdvisor, escape$1 as escape, formatPhaseCompletionSummary, getFactoryRunSummaries, getScenarioResultsForRun, getTwinRunsForRun, listGraphRuns, normalizeGraphSummaryToStatus, registerExportCommand, registerFactoryCommand, registerRunCommand, registerScenariosCommand, resolveMaxReviewCycles, resolveProbeAuthorStateIntegrating, resolveStoryKeys, runAnalysisPhase, runPlanningPhase, runProbeAuthor, runRunAction, runSolutioningPhase, unescape$1 as unescape, validateStopAfterFromConflict, wireNdjsonEmitter };
-//# sourceMappingURL=run-DzB4rgkj.js.map
+//# sourceMappingURL=run-7h2-DIjt.js.map

package/dist/{run-DX95j4_D.js → run-DB9P6m_P.js}

@@ -1,14 +1,14 @@
-import "./health-DC3y-sR6.js";
+import "./health-D6MKxV46.js";
 import "./logger-KeHncl-f.js";
 import "./helpers-CElYrONe.js";
 import "./dist-K_RRWnBX.js";
-import "./manifest-read-DDkXC3L_.js";
-import { normalizeGraphSummaryToStatus, registerRunCommand, resolveMaxReviewCycles, resolveProbeAuthorStateIntegrating, runRunAction, wireNdjsonEmitter } from "./run-DzB4rgkj.js";
+import "./manifest-read-g4zt3DXJ.js";
+import { normalizeGraphSummaryToStatus, registerRunCommand, resolveMaxReviewCycles, resolveProbeAuthorStateIntegrating, runRunAction, wireNdjsonEmitter } from "./run-7h2-DIjt.js";
 import "./routing-DFxoKHDt.js";
 import "./work-graph-repository-DZyJv5pV.js";
 import "./decisions-CzSIEeGP.js";
 import "./decision-router-DblHY8se.js";
-import "./interactive-prompt-C7wpE4z4.js";
+import "./interactive-prompt-kzkG24Rn.js";
 import "./recovery-engine-BKGBeBnW.js";
 
 export { runRunAction };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "substrate-ai",
-  "version": "0.20.65",
+  "version": "0.20.66",
   "description": "Substrate — multi-agent orchestration daemon for AI coding agents",
   "type": "module",
   "license": "MIT",