substrate-ai 0.20.3 → 0.20.4

package/dist/cli/index.js

@@ -1,10 +1,10 @@
 #!/usr/bin/env node
-import { FileStateStore, RunManifest, SUBSTRATE_OWNED_SETTINGS_KEYS, SupervisorLock, VALID_PHASES, WorkGraphRepository, buildPipelineStatusOutput, createDatabaseAdapter, createStateStore, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, parseDbTimestampAsUtc, registerHealthCommand, resolveBmadMethodSrcPath, resolveBmadMethodVersion, resolveMainRepoRoot, resolveRunManifest } from "../health-BfeoutPu.js";
+import { FileStateStore, RunManifest, SUBSTRATE_OWNED_SETTINGS_KEYS, SupervisorLock, VALID_PHASES, WorkGraphRepository, buildPipelineStatusOutput, createDatabaseAdapter, createStateStore, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, parseDbTimestampAsUtc, registerHealthCommand, resolveBmadMethodSrcPath, resolveBmadMethodVersion, resolveMainRepoRoot, resolveRunManifest } from "../health-CB48LF0t.js";
 import { createLogger } from "../logger-KeHncl-f.js";
 import { createEventBus } from "../helpers-CElYrONe.js";
 import { AdapterRegistry, BudgetConfigSchema, CURRENT_CONFIG_FORMAT_VERSION, CURRENT_TASK_GRAPH_VERSION, ConfigError, CostTrackerConfigSchema, DEFAULT_CONFIG, DoltClient, DoltNotInstalled, GlobalSettingsSchema, 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-srr3BfCc.js";
 import "../adapter-registry-DXLMTmfD.js";
-import { AdapterTelemetryPersistence, AppError, DoltRepoMapMetaRepository, DoltSymbolRepository, ERR_REPO_MAP_STORAGE_WRITE, EpicIngester, GitClient, GrammarLoader, RepoMapInjector, RepoMapModule, RepoMapQueryEngine, RepoMapStorage, SymbolParser, createContextCompiler, createDispatcher, createEventEmitter, createImplementationOrchestrator, createPackLoader, createPhaseOrchestrator, createStopAfterGate, createTelemetryAdvisor, formatPhaseCompletionSummary, getFactoryRunSummaries, getScenarioResultsForRun, getTwinRunsForRun, listGraphRuns, registerExportCommand, registerFactoryCommand, registerRunCommand, registerScenariosCommand, resolveStoryKeys, runAnalysisPhase, runPlanningPhase, runSolutioningPhase, validateStopAfterFromConflict } from "../run-8UnjRlkK.js";
+import { AdapterTelemetryPersistence, AppError, DoltRepoMapMetaRepository, DoltSymbolRepository, ERR_REPO_MAP_STORAGE_WRITE, EpicIngester, GitClient, GrammarLoader, RepoMapInjector, RepoMapModule, RepoMapQueryEngine, RepoMapStorage, SymbolParser, createContextCompiler, createDispatcher, createEventEmitter, createImplementationOrchestrator, createPackLoader, createPhaseOrchestrator, createStopAfterGate, createTelemetryAdvisor, formatPhaseCompletionSummary, getFactoryRunSummaries, getScenarioResultsForRun, getTwinRunsForRun, listGraphRuns, registerExportCommand, registerFactoryCommand, registerRunCommand, registerScenariosCommand, resolveStoryKeys, runAnalysisPhase, runPlanningPhase, runSolutioningPhase, validateStopAfterFromConflict } from "../run-BHKqyFFM.js";
 import "../errors-CSTQNabo.js";
 import "../routing-CcBOCuC9.js";
 import "../decisions-C0pz9Clx.js";
@@ -3665,7 +3665,7 @@ async function runStatusAction(options) {
 			logger$12.debug({ err }, "Work graph query failed, continuing without work graph data");
 		}
 		if (run === void 0) {
-			const { inspectProcessTree: inspectProcessTree$1 } = await import("../health-Cs2x975P.js");
+			const { inspectProcessTree: inspectProcessTree$1 } = await import("../health-DIMI36KN.js");
 			const substrateDirPath = join(projectRoot, ".substrate");
 			const processInfo = inspectProcessTree$1({
 				projectRoot,
@@ -5191,7 +5191,7 @@ async function runSupervisorAction(options, deps = {}) {
 								await initSchema(expAdapter);
 								const { runRunAction: runPipeline } = await import(
 									/* @vite-ignore */
-									"../run-COw1z5NJ.js"
+									"../run-l5fLWKtI.js"
 );
 								const runStoryFn = async (opts) => {
 									const exitCode = await runPipeline({

package/dist/{health-BfeoutPu.js → health-CB48LF0t.js}

@@ -2904,6 +2904,616 @@ function applyConfigToGraph(graph, options) {
 	graph.defaultMaxRetries = options.maxReviewCycles;
 }
 
+//#endregion
+//#region packages/sdlc/dist/verification/findings.js
+/**
+* VerificationFinding — structured per-issue payload emitted by verification checks.
+*
+* Replaces the ad-hoc "stuff everything into VerificationResult.details" pattern
+* that preceded it: every downstream consumer (retry prompts, run manifest,
+* post-run analysis) used to string-parse a free-form blob that the emitting
+* check never promised a schema for. With findings, each issue is an
+* addressable record the pipeline can act on individually.
+*
+* The {command, exitCode, stdoutTail, stderrTail} optional fields are reserved
+* primarily for Phase 2 runtime probes — they cost nothing on the current four
+* Tier A checks (which leave them undefined) but let probe output flow through
+* the same shape without a second refactor.
+*/
+const SEVERITY_PREFIX = {
+	error: "ERROR",
+	warn: "WARN",
+	info: "INFO"
+};
+/**
+* Render a list of findings into the multi-line human-readable string that
+* populates VerificationResult.details. One line per finding:
+*
+*   `${PREFIX} [${category}] ${message}`
+*
+* Checks that migrate to the findings-first pattern call this helper to derive
+* `details` from the findings they emit, guaranteeing the two stay in sync.
+*/
+function renderFindings(findings) {
+	if (findings.length === 0) return "";
+	return findings.map((f) => `${SEVERITY_PREFIX[f.severity]} [${f.category}] ${f.message}`).join("\n");
+}
+
+//#endregion
+//#region packages/sdlc/dist/verification/checks/phantom-review-check.js
+/**
+* Detects phantom reviews — dispatches that failed or produced no output but
+* were recorded as passing verdicts.
+*
+* AC1: dispatch failed (non-zero exit, timeout, crash) → fail
+* AC2: empty or null rawOutput → fail
+* AC3: schema_validation_failed error → fail
+* AC5: valid review (non-empty rawOutput, no dispatchFailed) → pass
+* AC6: name='phantom-review', tier='A'
+*/
+var PhantomReviewCheck = class {
+	name = "phantom-review";
+	tier = "A";
+	async run(context) {
+		const start = Date.now();
+		const review = context.reviewResult;
+		if (!review) return {
+			status: "pass",
+			details: "phantom-review: no review result in context — skipping check",
+			duration_ms: Date.now() - start,
+			findings: []
+		};
+		if (review.dispatchFailed === true) {
+			const reason = review.error === "schema_validation_failed" ? "schema validation failed" : `dispatch failed${review.error ? ` — ${review.error}` : ""}`;
+			const findings = [{
+				category: "phantom-review",
+				severity: "error",
+				message: reason
+			}];
+			return {
+				status: "fail",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		if (review.rawOutput !== void 0 && review.rawOutput.trim().length === 0) {
+			const findings = [{
+				category: "phantom-review",
+				severity: "error",
+				message: "empty review output"
+			}];
+			return {
+				status: "fail",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		return {
+			status: "pass",
+			details: "phantom-review: review output is valid",
+			duration_ms: Date.now() - start,
+			findings: []
+		};
+	}
+};
+
+//#endregion
+//#region packages/sdlc/dist/verification/checks/trivial-output-check.js
+/**
+* Default minimum output-token count a story must produce to be
+* considered non-trivial.  Configurable via trivialOutputThreshold config field.
+*/
+const DEFAULT_TRIVIAL_OUTPUT_THRESHOLD = 100;
+/**
+* Checks that a completed story dispatch produced at least `threshold` output
+* tokens.  Dispatches that produced fewer tokens are flagged as failures with
+* an actionable suggestion to re-run with increased maxTurns.
+*
+* AC1: fail when outputTokenCount < threshold.
+* AC2: details string includes "Re-run with increased maxTurns".
+* AC3: pass when outputTokenCount >= threshold.
+* AC4: threshold is configurable via trivialOutputThreshold config field.
+* AC5: warn (not fail) when outputTokenCount is undefined.
+* AC6: implements VerificationCheck with name='trivial-output', tier='A'.
+*/
+var TrivialOutputCheck = class {
+	name = "trivial-output";
+	tier = "A";
+	threshold;
+	constructor(config) {
+		this.threshold = config?.trivialOutputThreshold ?? DEFAULT_TRIVIAL_OUTPUT_THRESHOLD;
+	}
+	async run(context) {
+		const start = Date.now();
+		if (context.outputTokenCount === void 0) {
+			const findings = [{
+				category: "trivial-output",
+				severity: "warn",
+				message: "output token count unavailable — skipping check"
+			}];
+			return {
+				status: "warn",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		const count = context.outputTokenCount;
+		if (count < this.threshold) {
+			const findings = [{
+				category: "trivial-output",
+				severity: "error",
+				message: `output token count ${count} is below threshold ${this.threshold} — Re-run with increased maxTurns`
+			}];
+			return {
+				status: "fail",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		return {
+			status: "pass",
+			details: `output token count ${count} meets threshold ${this.threshold}`,
+			duration_ms: Date.now() - start,
+			findings: []
+		};
+	}
+};
+
+//#endregion
+//#region packages/sdlc/dist/verification/checks/acceptance-criteria-evidence-check.js
+const EXPLICIT_AC_REF = /\bAC\s*:?\s*#?\s*(\d+)\b/gi;
+const NUMBERED_CRITERION = /^\s*(?:[-*]\s*)?(?:\[[ xX]\]\s*)?(\d+)[.)]\s+\S/;
+function normalizeAcId(value) {
+	const parsed = Number.parseInt(value, 10);
+	if (!Number.isFinite(parsed) || parsed <= 0) return void 0;
+	return `AC${parsed}`;
+}
+function sortAcIds(ids) {
+	return Array.from(ids).sort((a, b) => {
+		const aNum = Number.parseInt(a.replace(/^AC/i, ""), 10);
+		const bNum = Number.parseInt(b.replace(/^AC/i, ""), 10);
+		return aNum - bNum;
+	});
+}
+function addExplicitAcRefs(text, ids) {
+	EXPLICIT_AC_REF.lastIndex = 0;
+	let match;
+	while ((match = EXPLICIT_AC_REF.exec(text)) !== null) {
+		const id = normalizeAcId(match[1] ?? "");
+		if (id !== void 0) ids.add(id);
+	}
+}
+function extractAcceptanceSection(storyContent) {
+	const lines = storyContent.split(/\r?\n/);
+	const start = lines.findIndex((line) => /^##\s+Acceptance Criteria\s*$/i.test(line.trim()));
+	if (start === -1) return void 0;
+	let end = lines.length;
+	for (let i = start + 1; i < lines.length; i += 1) if (/^##\s+\S/.test(lines[i] ?? "")) {
+		end = i;
+		break;
+	}
+	return lines.slice(start + 1, end).join("\n");
+}
+/**
+* Extract normalized AC ids from story markdown.
+*
+* Supports the BMAD default format (`### AC1:`), explicit references such as
+* `AC: #1`, and plain numbered criteria inside the Acceptance Criteria section.
+*/
+function extractAcceptanceCriteriaIds(storyContent) {
+	const ids = new Set();
+	const acceptanceSection = extractAcceptanceSection(storyContent);
+	const textToScan = acceptanceSection ?? storyContent;
+	addExplicitAcRefs(textToScan, ids);
+	if (acceptanceSection !== void 0) for (const line of acceptanceSection.split(/\r?\n/)) {
+		const match = line.match(NUMBERED_CRITERION);
+		if (match?.[1] !== void 0) {
+			const id = normalizeAcId(match[1]);
+			if (id !== void 0) ids.add(id);
+		}
+	}
+	return sortAcIds(ids);
+}
+function extractClaimedAcceptanceCriteriaIds(values) {
+	const ids = new Set();
+	for (const value of values ?? []) {
+		addExplicitAcRefs(value, ids);
+		const bareNumber = value.trim().match(/^#?(\d+)\b/);
+		if (bareNumber?.[1] !== void 0) {
+			const id = normalizeAcId(bareNumber[1]);
+			if (id !== void 0) ids.add(id);
+		}
+	}
+	return sortAcIds(ids);
+}
+function normalizeTestOutcome(value) {
+	if (value === void 0) return void 0;
+	return value.toLowerCase().includes("fail") ? "fail" : "pass";
+}
+function formatIds(ids) {
+	return ids.join(", ");
+}
+var AcceptanceCriteriaEvidenceCheck = class {
+	name = "acceptance-criteria-evidence";
+	tier = "A";
+	async run(context) {
+		const start = Date.now();
+		const storyContent = context.storyContent?.trim();
+		if (!storyContent) {
+			const findings = [{
+				category: "ac-context-missing",
+				severity: "warn",
+				message: "story content unavailable - skipping AC evidence check"
+			}];
+			return {
+				status: "warn",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		const expectedIds = extractAcceptanceCriteriaIds(storyContent);
+		if (expectedIds.length === 0) {
+			const findings = [{
+				category: "ac-context-missing",
+				severity: "warn",
+				message: "no numbered acceptance criteria found in story"
+			}];
+			return {
+				status: "warn",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		const devResult = context.devStoryResult;
+		if (devResult === void 0) {
+			const findings = [{
+				category: "ac-context-missing",
+				severity: "warn",
+				message: `dev-story result unavailable for ${formatIds(expectedIds)}`
+			}];
+			return {
+				status: "warn",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		const acFailures = devResult.ac_failures ?? [];
+		if (acFailures.length > 0) {
+			const findings = acFailures.map((failure) => ({
+				category: "ac-explicit-failure",
+				severity: "error",
+				message: `dev-story reported AC failure: ${failure}`
+			}));
+			return {
+				status: "fail",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		const testOutcome = normalizeTestOutcome(devResult.tests);
+		if (testOutcome === "fail") {
+			const findings = [{
+				category: "ac-test-failure",
+				severity: "error",
+				message: "dev-story reported failing tests"
+			}];
+			return {
+				status: "fail",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		const claimedIds = new Set(extractClaimedAcceptanceCriteriaIds(devResult.ac_met));
+		const missingIds = expectedIds.filter((id) => !claimedIds.has(id));
+		if (missingIds.length > 0) {
+			const claimedSummary = formatIds(sortAcIds(claimedIds)) || "none";
+			const findings = missingIds.map((id) => ({
+				category: "ac-missing-evidence",
+				severity: "error",
+				message: `missing dev-story AC evidence for ${id} (expected ${formatIds(expectedIds)}, claimed ${claimedSummary})`
+			}));
+			return {
+				status: "fail",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		if (testOutcome === void 0) {
+			const findings = [{
+				category: "ac-test-outcome-missing",
+				severity: "warn",
+				message: `AC evidence covers ${formatIds(expectedIds)} but test outcome is unavailable`
+			}];
+			return {
+				status: "warn",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		return {
+			status: "pass",
+			details: `acceptance-criteria-evidence: AC evidence covers ${formatIds(expectedIds)}; tests=${testOutcome}`,
+			duration_ms: Date.now() - start,
+			findings: []
+		};
+	}
+};
+
+//#endregion
+//#region packages/sdlc/dist/verification/checks/build-check.js
+/** Hard timeout for the build command in milliseconds (FR-V11). */
+const BUILD_CHECK_TIMEOUT_MS = 6e4;
+/** Maximum characters to include in details string from build output. */
+const MAX_OUTPUT_CHARS = 2e3;
+/** Per-stream tail size cap for structured findings (story 55-1 convention). */
+const TAIL_BYTES = 4 * 1024;
+/** Return the last N bytes of a UTF-8 string, sliced by string length for simplicity. */
+function tail(text, bytes = TAIL_BYTES) {
+	return text.length <= bytes ? text : text.slice(text.length - bytes);
+}
+/**
+* Detect the build command for a project based on files present in `workingDir`.
+*
+* Returns an empty string when no recognized build system is found, which
+* causes BuildCheck to return a 'warn' result without blocking the pipeline.
+*
+* NOTE: Do NOT import from src/modules/agent-dispatch/dispatcher-impl.ts —
+* that would create a circular dependency from packages/sdlc/ → monolith src/.
+* This function inlines the detection logic independently.
+*/
+function detectBuildCommand(workingDir) {
+	if (existsSync(join$1(workingDir, "turbo.json"))) return "turbo build";
+	if (existsSync(join$1(workingDir, "pnpm-lock.yaml"))) return "pnpm run build";
+	if (existsSync(join$1(workingDir, "yarn.lock"))) return "yarn build";
+	if (existsSync(join$1(workingDir, "bun.lockb"))) return "bun run build";
+	if (existsSync(join$1(workingDir, "package.json"))) return "npm run build";
+	const nonNodeMarkers = [
+		"pyproject.toml",
+		"poetry.lock",
+		"setup.py",
+		"Cargo.toml",
+		"go.mod"
+	];
+	for (const marker of nonNodeMarkers) if (existsSync(join$1(workingDir, marker))) return "";
+	return "";
+}
+/**
+* Runs the project's build command and returns pass/warn/fail based on exit code.
+*
+* AC1: exit code 0 → pass
+* AC2: non-zero exit code → fail with truncated output in details
+* AC3: timeout → kill process group, return fail with timeout message
+* AC4: no recognized build system → warn without blocking
+* AC5: explicit buildCommand override respected; empty string → warn (skip)
+* AC6: name === 'build', tier === 'A'
+*/
+var BuildCheck = class {
+	name = "build";
+	tier = "A";
+	async run(context) {
+		const start = Date.now();
+		const cmd = context.buildCommand !== void 0 ? context.buildCommand : detectBuildCommand(context.workingDir);
+		if (cmd === "") {
+			const findings = [{
+				category: "build-skip",
+				severity: "warn",
+				message: `no build command detected for project at ${context.workingDir}`
+			}];
+			return {
+				status: "warn",
+				details: renderFindings(findings),
+				duration_ms: Date.now() - start,
+				findings
+			};
+		}
+		return new Promise((resolve$2) => {
+			const child = spawn(cmd, [], {
+				cwd: context.workingDir,
+				detached: true,
+				shell: true,
+				stdio: [
+					"ignore",
+					"pipe",
+					"pipe"
+				]
+			});
+			let stdout = "";
+			let stderr = "";
+			let output = "";
+			child.stdout?.on("data", (chunk) => {
+				const s = chunk.toString();
+				stdout += s;
+				output += s;
+			});
+			child.stderr?.on("data", (chunk) => {
+				const s = chunk.toString();
+				stderr += s;
+				output += s;
+			});
+			const timeoutHandle = setTimeout(() => {
+				try {
+					process.kill(-child.pid, "SIGKILL");
+				} catch {}
+				const duration = Date.now() - start;
+				const findings = [{
+					category: "build-timeout",
+					severity: "error",
+					message: `command exceeded ${BUILD_CHECK_TIMEOUT_MS}ms`,
+					command: cmd,
+					stdoutTail: tail(stdout),
+					stderrTail: tail(stderr),
+					durationMs: duration
+				}];
+				resolve$2({
+					status: "fail",
+					details: renderFindings(findings),
+					duration_ms: duration,
+					findings
+				});
+			}, BUILD_CHECK_TIMEOUT_MS);
+			child.on("close", (code) => {
+				clearTimeout(timeoutHandle);
+				const duration = Date.now() - start;
+				if (code === 0) resolve$2({
+					status: "pass",
+					details: "build passed",
+					duration_ms: duration,
+					findings: []
+				});
+				else {
+					const truncated = output.length > MAX_OUTPUT_CHARS ? output.slice(0, MAX_OUTPUT_CHARS) + "... (truncated)" : output;
+					const findings = [{
+						category: "build-error",
+						severity: "error",
+						message: `build failed (exit ${code}): ${truncated}`,
+						command: cmd,
+						...code !== null ? { exitCode: code } : {},
+						stdoutTail: tail(stdout),
+						stderrTail: tail(stderr),
+						durationMs: duration
+					}];
+					resolve$2({
+						status: "fail",
+						details: renderFindings(findings),
+						duration_ms: duration,
+						findings
+					});
+				}
+			});
+		});
+	}
+};
+
+//#endregion
+//#region packages/sdlc/dist/verification/verification-pipeline.js
+/**
+* Compute the worst-case aggregate status across a list of check results.
+* Precedence: fail > warn > pass.
+*/
+function aggregateStatus(checks) {
+	let result = "pass";
+	for (const c of checks) {
+		if (c.status === "fail") return "fail";
+		if (c.status === "warn") result = "warn";
+	}
+	return result;
+}
+/**
+* Runs an ordered chain of VerificationCheck implementations after each story dispatch.
+*
+* Checks are stored in registration order. When `run()` is called with `tier: 'A'`
+* only Tier A checks execute; when called with `tier: 'B'` only Tier B checks execute.
+* (Story 51-5 will invoke both tiers at the appropriate orchestration points.)
+*/
+var VerificationPipeline = class {
+	_bus;
+	_checks = [];
+	/**
+	* @param bus    Typed event bus for emitting verification events.
+	* @param checks Optional initial list of checks to register at construction time.
+	*/
+	constructor(bus, checks = []) {
+		this._bus = bus;
+		for (const check of checks) this.register(check);
+	}
+	/**
+	* Register a VerificationCheck.
+	*
+	* Checks are stored in insertion order within their tier.
+	* Tier A checks always run before Tier B checks regardless of registration order.
+	*/
+	register(check) {
+		this._checks.push(check);
+	}
+	/**
+	* Execute all checks matching the specified tier sequentially.
+	*
+	* AC2: Tier A checks execute in registration order.
+	* AC4: Results are aggregated into a VerificationSummary.
+	* AC5: verification:check-complete and verification:story-complete events are emitted.
+	* AC6: Unhandled exceptions are caught and recorded as warn.
+	*
+	* @param context  Verification context for the story being verified.
+	* @param tier     Which tier of checks to execute ('A' | 'B'). Defaults to 'A'.
+	*/
+	async run(context, tier = "A") {
+		const pipelineStart = Date.now();
+		const checks = this._checks.filter((c) => c.tier === tier);
+		const checkResults = [];
+		for (const check of checks) {
+			const checkStart = Date.now();
+			let result;
+			try {
+				const runResult = await check.run(context);
+				result = {
+					checkName: check.name,
+					status: runResult.status,
+					details: runResult.details,
+					duration_ms: runResult.duration_ms
+				};
+			} catch (err) {
+				const elapsed = Date.now() - checkStart;
+				const message = err instanceof Error ? err.message : String(err);
+				process.stderr.write(`[verification-pipeline] check "${check.name}" threw an unhandled exception: ${message}\n`);
+				result = {
+					checkName: check.name,
+					status: "warn",
+					details: message,
+					duration_ms: elapsed
+				};
+			}
+			checkResults.push(result);
+			this._bus.emit("verification:check-complete", {
+				storyKey: context.storyKey,
+				checkName: result.checkName,
+				status: result.status,
+				details: result.details,
+				duration_ms: result.duration_ms
+			});
+		}
+		const summary = {
+			storyKey: context.storyKey,
+			checks: checkResults,
+			status: aggregateStatus(checkResults),
+			duration_ms: Date.now() - pipelineStart
+		};
+		this._bus.emit("verification:story-complete", summary);
+		return summary;
+	}
+};
+/**
+* Create a VerificationPipeline pre-loaded with the canonical check set.
+*
+* Canonical Tier A check order (architecture section 3.5):
+*   1. PhantomReviewCheck — story 51-2  (runs first: unreviewed stories skipped)
+*   2. TrivialOutputCheck — story 51-3
+*   3. AcceptanceCriteriaEvidenceCheck
+*   4. BuildCheck         — story 51-4
+*
+* @param bus    Typed event bus for verification events.
+* @param config Optional config (used to forward threshold to TrivialOutputCheck).
+*/
+function createDefaultVerificationPipeline(bus, config) {
+	const checks = [
+		new PhantomReviewCheck(),
+		new TrivialOutputCheck(config),
+		new AcceptanceCriteriaEvidenceCheck(),
+		new BuildCheck()
+	];
+	return new VerificationPipeline(bus, checks);
+}
+
 //#endregion
 //#region packages/sdlc/dist/run-model/cli-flags.js
 /**
@@ -2928,6 +3538,27 @@ const CliFlagsSchema = z.object({
 //#endregion
 //#region packages/sdlc/dist/run-model/verification-result.js
 /**
+* Schema for a single structured verification finding (story 55-1 / 55-3).
+*
+* Mirrors the VerificationFinding interface in
+* packages/sdlc/src/verification/findings.ts without importing from that
+* module to keep run-model free of a dependency on verification.
+*/
+const StoredVerificationFindingSchema = z.object({
+	category: z.string(),
+	severity: z.enum([
+		"error",
+		"warn",
+		"info"
+	]),
+	message: z.string(),
+	command: z.string().optional(),
+	exitCode: z.number().int().optional(),
+	stdoutTail: z.string().optional(),
+	stderrTail: z.string().optional(),
+	durationMs: z.number().nonnegative().optional()
+});
+/**
 * Schema for a single per-check verification result stored in the manifest.
 *
 * Mirrors VerificationCheckResult from packages/sdlc/src/verification/types.ts
@@ -2941,7 +3572,8 @@ const StoredVerificationCheckResultSchema = z.object({
 		"fail"
 	]),
 	details: z.string(),
-	duration_ms: z.number().nonnegative()
+	duration_ms: z.number().nonnegative(),
+	findings: z.array(StoredVerificationFindingSchema).optional()
 });
 /**
 * Schema for the aggregated verification pipeline summary stored in the manifest.
@@ -4252,5 +4884,5 @@ function registerHealthCommand(program, _version = "0.0.0", projectRoot = proces
 }
 
 //#endregion
-export { BMAD_BASELINE_TOKENS_FULL, DEFAULT_STALL_THRESHOLD_SECONDS, DoltMergeConflict, FileStateStore, FindingsInjector, RunManifest, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN$1 as STORY_KEY_PATTERN, SUBSTRATE_OWNED_SETTINGS_KEYS, SupervisorLock, VALID_PHASES, WorkGraphRepository, __commonJS, __require, __toESM, applyConfigToGraph, buildPipelineStatusOutput, createDatabaseAdapter$1 as createDatabaseAdapter, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, createStateStore, detectCycles, extractTargetFilesFromStoryContent, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, isOrchestratorProcessLine, parseDbTimestampAsUtc, registerHealthCommand, resolveBmadMethodSrcPath, resolveBmadMethodVersion, resolveGraphPath, resolveMainRepoRoot, resolveRunManifest, runHealthAction, validateStoryKey };
-//# sourceMappingURL=health-BfeoutPu.js.map
+export { BMAD_BASELINE_TOKENS_FULL, DEFAULT_STALL_THRESHOLD_SECONDS, DoltMergeConflict, FileStateStore, FindingsInjector, RunManifest, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN$1 as STORY_KEY_PATTERN, SUBSTRATE_OWNED_SETTINGS_KEYS, SupervisorLock, VALID_PHASES, WorkGraphRepository, __commonJS, __require, __toESM, applyConfigToGraph, buildPipelineStatusOutput, createDatabaseAdapter$1 as createDatabaseAdapter, createDefaultVerificationPipeline, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, createStateStore, detectCycles, extractTargetFilesFromStoryContent, findPackageRoot, formatOutput, formatPipelineStatusHuman, formatPipelineSummary, formatTokenTelemetry, getAllDescendantPids, getAutoHealthData, getSubstrateDefaultSettings, inspectProcessTree, isOrchestratorProcessLine, parseDbTimestampAsUtc, registerHealthCommand, renderFindings, resolveBmadMethodSrcPath, resolveBmadMethodVersion, resolveGraphPath, resolveMainRepoRoot, resolveRunManifest, runHealthAction, validateStoryKey };
+//# sourceMappingURL=health-CB48LF0t.js.map

package/dist/{health-Cs2x975P.js → health-DIMI36KN.js}

@@ -1,4 +1,4 @@
-import { DEFAULT_STALL_THRESHOLD_SECONDS, getAllDescendantPids, getAutoHealthData, inspectProcessTree, isOrchestratorProcessLine, registerHealthCommand, runHealthAction } from "./health-BfeoutPu.js";
+import { DEFAULT_STALL_THRESHOLD_SECONDS, getAllDescendantPids, getAutoHealthData, inspectProcessTree, isOrchestratorProcessLine, registerHealthCommand, runHealthAction } from "./health-CB48LF0t.js";
 import "./logger-KeHncl-f.js";
 import "./dist-srr3BfCc.js";
 import "./decisions-C0pz9Clx.js";

package/dist/{run-8UnjRlkK.js → run-BHKqyFFM.js}

@@ -1,4 +1,4 @@
-import { BMAD_BASELINE_TOKENS_FULL, DoltMergeConflict, FileStateStore, FindingsInjector, RunManifest, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN, VALID_PHASES, WorkGraphRepository, __commonJS, __require, __toESM, applyConfigToGraph, buildPipelineStatusOutput, createDatabaseAdapter, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, detectCycles, extractTargetFilesFromStoryContent, formatOutput, formatPipelineSummary, formatTokenTelemetry, inspectProcessTree, parseDbTimestampAsUtc, resolveGraphPath, resolveMainRepoRoot, validateStoryKey } from "./health-BfeoutPu.js";
+import { BMAD_BASELINE_TOKENS_FULL, DoltMergeConflict, FileStateStore, FindingsInjector, RunManifest, STOP_AFTER_VALID_PHASES, STORY_KEY_PATTERN, VALID_PHASES, WorkGraphRepository, __commonJS, __require, __toESM, applyConfigToGraph, buildPipelineStatusOutput, createDatabaseAdapter, createDefaultVerificationPipeline, createGraphOrchestrator, createSdlcCodeReviewHandler, createSdlcCreateStoryHandler, createSdlcDevStoryHandler, createSdlcPhaseHandler, detectCycles, extractTargetFilesFromStoryContent, formatOutput, formatPipelineSummary, formatTokenTelemetry, inspectProcessTree, parseDbTimestampAsUtc, renderFindings, resolveGraphPath, resolveMainRepoRoot, validateStoryKey } from "./health-CB48LF0t.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-srr3BfCc.js";
@@ -6386,478 +6386,6 @@ async function runGitCommand(args, cwd, logLabel) {
 	});
 }
 
-//#endregion
-//#region packages/sdlc/dist/verification/checks/phantom-review-check.js
-/**
-* PhantomReviewCheck — Story 51-2.
-*
-* Tier A verification check that detects when a code review dispatch failed
-* but was recorded as a passing verdict. Stories that were never actually
-* reviewed should not be counted as verified.
-*
-* Architecture constraints (FR-V9):
-* - No LLM calls.
-* - No shell invocations — pure static signal inspection over VerificationContext fields.
-* - Runs first in Tier A (before TrivialOutputCheck, before BuildCheck).
-*/
-/**
-* Detects phantom reviews — dispatches that failed or produced no output but
-* were recorded as passing verdicts.
-*
-* AC1: dispatch failed (non-zero exit, timeout, crash) → fail
-* AC2: empty or null rawOutput → fail
-* AC3: schema_validation_failed error → fail
-* AC5: valid review (non-empty rawOutput, no dispatchFailed) → pass
-* AC6: name='phantom-review', tier='A'
-*/
-var PhantomReviewCheck = class {
-	name = "phantom-review";
-	tier = "A";
-	async run(context) {
-		const start = Date.now();
-		const review = context.reviewResult;
-		if (!review) return {
-			status: "pass",
-			details: "phantom-review: no review result in context — skipping check",
-			duration_ms: Date.now() - start
-		};
-		if (review.dispatchFailed === true) {
-			const reason = review.error === "schema_validation_failed" ? "schema validation failed" : `dispatch failed${review.error ? ` — ${review.error}` : ""}`;
-			return {
-				status: "fail",
-				details: `phantom-review: ${reason}`,
-				duration_ms: Date.now() - start
-			};
-		}
-		if (review.rawOutput !== void 0 && review.rawOutput.trim().length === 0) return {
-			status: "fail",
-			details: "phantom-review: empty review output",
-			duration_ms: Date.now() - start
-		};
-		return {
-			status: "pass",
-			details: "phantom-review: review output is valid",
-			duration_ms: Date.now() - start
-		};
-	}
-};
-
-//#endregion
-//#region packages/sdlc/dist/verification/checks/trivial-output-check.js
-/**
-* TrivialOutputCheck — Story 51-3.
-*
-* Tier A verification check that flags story dispatches which produced
-* fewer output tokens than the configured threshold.  A very low output
-* token count is a strong signal that the agent exited early (e.g. hit a
-* maxTurns limit, encountered a fatal error, or did no real work).
-*
-* Architecture constraints (DC-6, FR-V9):
-* - No LLM calls.
-* - No shell invocations — pure in-process computation.
-* - Runs in Tier A: before BuildCheck, after PhantomReviewCheck.
-*/
-/**
-* Default minimum output-token count a story must produce to be
-* considered non-trivial.  Configurable via trivialOutputThreshold config field.
-*/
-const DEFAULT_TRIVIAL_OUTPUT_THRESHOLD = 100;
-/**
-* Checks that a completed story dispatch produced at least `threshold` output
-* tokens.  Dispatches that produced fewer tokens are flagged as failures with
-* an actionable suggestion to re-run with increased maxTurns.
-*
-* AC1: fail when outputTokenCount < threshold.
-* AC2: details string includes "Re-run with increased maxTurns".
-* AC3: pass when outputTokenCount >= threshold.
-* AC4: threshold is configurable via trivialOutputThreshold config field.
-* AC5: warn (not fail) when outputTokenCount is undefined.
-* AC6: implements VerificationCheck with name='trivial-output', tier='A'.
-*/
-var TrivialOutputCheck = class {
-	name = "trivial-output";
-	tier = "A";
-	threshold;
-	constructor(config) {
-		this.threshold = config?.trivialOutputThreshold ?? DEFAULT_TRIVIAL_OUTPUT_THRESHOLD;
-	}
-	async run(context) {
-		const start = Date.now();
-		if (context.outputTokenCount === void 0) return {
-			status: "warn",
-			details: "trivial-output: output token count unavailable — skipping check",
-			duration_ms: Date.now() - start
-		};
-		const count = context.outputTokenCount;
-		if (count < this.threshold) return {
-			status: "fail",
-			details: `trivial-output: output token count ${count} is below threshold ${this.threshold} — Re-run with increased maxTurns`,
-			duration_ms: Date.now() - start
-		};
-		return {
-			status: "pass",
-			details: `output token count ${count} meets threshold ${this.threshold}`,
-			duration_ms: Date.now() - start
-		};
-	}
-};
-
-//#endregion
-//#region packages/sdlc/dist/verification/checks/acceptance-criteria-evidence-check.js
-/**
-* AcceptanceCriteriaEvidenceCheck.
-*
-* Tier A verification check that compares a story's declared acceptance
-* criteria against structured dev-story output. The check is intentionally
-* deterministic: no LLM calls, no shell commands, no repository inspection.
-*/
-const EXPLICIT_AC_REF = /\bAC\s*:?\s*#?\s*(\d+)\b/gi;
-const NUMBERED_CRITERION = /^\s*(?:[-*]\s*)?(?:\[[ xX]\]\s*)?(\d+)[.)]\s+\S/;
-function normalizeAcId(value) {
-	const parsed = Number.parseInt(value, 10);
-	if (!Number.isFinite(parsed) || parsed <= 0) return void 0;
-	return `AC${parsed}`;
-}
-function sortAcIds(ids) {
-	return Array.from(ids).sort((a, b) => {
-		const aNum = Number.parseInt(a.replace(/^AC/i, ""), 10);
-		const bNum = Number.parseInt(b.replace(/^AC/i, ""), 10);
-		return aNum - bNum;
-	});
-}
-function addExplicitAcRefs(text, ids) {
-	EXPLICIT_AC_REF.lastIndex = 0;
-	let match$2;
-	while ((match$2 = EXPLICIT_AC_REF.exec(text)) !== null) {
-		const id = normalizeAcId(match$2[1] ?? "");
-		if (id !== void 0) ids.add(id);
-	}
-}
-function extractAcceptanceSection(storyContent) {
-	const lines = storyContent.split(/\r?\n/);
-	const start = lines.findIndex((line) => /^##\s+Acceptance Criteria\s*$/i.test(line.trim()));
-	if (start === -1) return void 0;
-	let end = lines.length;
-	for (let i = start + 1; i < lines.length; i += 1) if (/^##\s+\S/.test(lines[i] ?? "")) {
-		end = i;
-		break;
-	}
-	return lines.slice(start + 1, end).join("\n");
-}
-/**
-* Extract normalized AC ids from story markdown.
-*
-* Supports the BMAD default format (`### AC1:`), explicit references such as
-* `AC: #1`, and plain numbered criteria inside the Acceptance Criteria section.
-*/
-function extractAcceptanceCriteriaIds(storyContent) {
-	const ids = new Set();
-	const acceptanceSection = extractAcceptanceSection(storyContent);
-	const textToScan = acceptanceSection ?? storyContent;
-	addExplicitAcRefs(textToScan, ids);
-	if (acceptanceSection !== void 0) for (const line of acceptanceSection.split(/\r?\n/)) {
-		const match$2 = line.match(NUMBERED_CRITERION);
-		if (match$2?.[1] !== void 0) {
-			const id = normalizeAcId(match$2[1]);
-			if (id !== void 0) ids.add(id);
-		}
-	}
-	return sortAcIds(ids);
-}
-function extractClaimedAcceptanceCriteriaIds(values) {
-	const ids = new Set();
-	for (const value of values ?? []) {
-		addExplicitAcRefs(value, ids);
-		const bareNumber = value.trim().match(/^#?(\d+)\b/);
-		if (bareNumber?.[1] !== void 0) {
-			const id = normalizeAcId(bareNumber[1]);
-			if (id !== void 0) ids.add(id);
-		}
-	}
-	return sortAcIds(ids);
-}
-function normalizeTestOutcome(value) {
-	if (value === void 0) return void 0;
-	return value.toLowerCase().includes("fail") ? "fail" : "pass";
-}
-function formatIds(ids) {
-	return ids.join(", ");
-}
-var AcceptanceCriteriaEvidenceCheck = class {
-	name = "acceptance-criteria-evidence";
-	tier = "A";
-	async run(context) {
-		const start = Date.now();
-		const storyContent = context.storyContent?.trim();
-		if (!storyContent) return {
-			status: "warn",
-			details: "acceptance-criteria-evidence: story content unavailable - skipping AC evidence check",
-			duration_ms: Date.now() - start
-		};
-		const expectedIds = extractAcceptanceCriteriaIds(storyContent);
-		if (expectedIds.length === 0) return {
-			status: "warn",
-			details: "acceptance-criteria-evidence: no numbered acceptance criteria found in story",
-			duration_ms: Date.now() - start
-		};
-		const devResult = context.devStoryResult;
-		if (devResult === void 0) return {
-			status: "warn",
-			details: `acceptance-criteria-evidence: dev-story result unavailable for ${formatIds(expectedIds)}`,
-			duration_ms: Date.now() - start
-		};
-		const acFailures = devResult.ac_failures ?? [];
-		if (acFailures.length > 0) return {
-			status: "fail",
-			details: `acceptance-criteria-evidence: dev-story reported AC failures: ${acFailures.join("; ")}`,
-			duration_ms: Date.now() - start
-		};
-		const testOutcome = normalizeTestOutcome(devResult.tests);
-		if (testOutcome === "fail") return {
-			status: "fail",
-			details: "acceptance-criteria-evidence: dev-story reported failing tests",
-			duration_ms: Date.now() - start
-		};
-		const claimedIds = new Set(extractClaimedAcceptanceCriteriaIds(devResult.ac_met));
-		const missingIds = expectedIds.filter((id) => !claimedIds.has(id));
-		if (missingIds.length > 0) return {
-			status: "fail",
-			details: `acceptance-criteria-evidence: missing dev-story AC evidence for ${formatIds(missingIds)}; expected ${formatIds(expectedIds)}, claimed ${formatIds(sortAcIds(claimedIds)) || "none"}`,
-			duration_ms: Date.now() - start
-		};
-		if (testOutcome === void 0) return {
-			status: "warn",
-			details: `acceptance-criteria-evidence: AC evidence covers ${formatIds(expectedIds)} but test outcome is unavailable`,
-			duration_ms: Date.now() - start
-		};
-		return {
-			status: "pass",
-			details: `acceptance-criteria-evidence: AC evidence covers ${formatIds(expectedIds)}; tests=${testOutcome}`,
-			duration_ms: Date.now() - start
-		};
-	}
-};
-
-//#endregion
-//#region packages/sdlc/dist/verification/checks/build-check.js
-/** Hard timeout for the build command in milliseconds (FR-V11). */
-const BUILD_CHECK_TIMEOUT_MS = 6e4;
-/** Maximum characters to include in details string from build output. */
-const MAX_OUTPUT_CHARS = 2e3;
-/**
-* Detect the build command for a project based on files present in `workingDir`.
-*
-* Returns an empty string when no recognized build system is found, which
-* causes BuildCheck to return a 'warn' result without blocking the pipeline.
-*
-* NOTE: Do NOT import from src/modules/agent-dispatch/dispatcher-impl.ts —
-* that would create a circular dependency from packages/sdlc/ → monolith src/.
-* This function inlines the detection logic independently.
-*/
-function detectBuildCommand(workingDir) {
-	if (existsSync(join$1(workingDir, "turbo.json"))) return "turbo build";
-	if (existsSync(join$1(workingDir, "pnpm-lock.yaml"))) return "pnpm run build";
-	if (existsSync(join$1(workingDir, "yarn.lock"))) return "yarn build";
-	if (existsSync(join$1(workingDir, "bun.lockb"))) return "bun run build";
-	if (existsSync(join$1(workingDir, "package.json"))) return "npm run build";
-	const nonNodeMarkers = [
-		"pyproject.toml",
-		"poetry.lock",
-		"setup.py",
-		"Cargo.toml",
-		"go.mod"
-	];
-	for (const marker of nonNodeMarkers) if (existsSync(join$1(workingDir, marker))) return "";
-	return "";
-}
-/**
-* Runs the project's build command and returns pass/warn/fail based on exit code.
-*
-* AC1: exit code 0 → pass
-* AC2: non-zero exit code → fail with truncated output in details
-* AC3: timeout → kill process group, return fail with timeout message
-* AC4: no recognized build system → warn without blocking
-* AC5: explicit buildCommand override respected; empty string → warn (skip)
-* AC6: name === 'build', tier === 'A'
-*/
-var BuildCheck = class {
-	name = "build";
-	tier = "A";
-	async run(context) {
-		const start = Date.now();
-		const cmd = context.buildCommand !== void 0 ? context.buildCommand : detectBuildCommand(context.workingDir);
-		if (cmd === "") return {
-			status: "warn",
-			details: `build-skip: no build command detected for project at ${context.workingDir}`,
-			duration_ms: Date.now() - start
-		};
-		return new Promise((resolve$6) => {
-			const child = spawn(cmd, [], {
-				cwd: context.workingDir,
-				detached: true,
-				shell: true,
-				stdio: [
-					"ignore",
-					"pipe",
-					"pipe"
-				]
-			});
-			let output = "";
-			child.stdout?.on("data", (chunk) => {
-				output += chunk.toString();
-			});
-			child.stderr?.on("data", (chunk) => {
-				output += chunk.toString();
-			});
-			const timeoutHandle = setTimeout(() => {
-				try {
-					process.kill(-child.pid, "SIGKILL");
-				} catch {}
-				resolve$6({
-					status: "fail",
-					details: `build-timeout: command exceeded ${BUILD_CHECK_TIMEOUT_MS}ms`,
-					duration_ms: Date.now() - start
-				});
-			}, BUILD_CHECK_TIMEOUT_MS);
-			child.on("close", (code) => {
-				clearTimeout(timeoutHandle);
-				if (code === 0) resolve$6({
-					status: "pass",
-					details: "build passed",
-					duration_ms: Date.now() - start
-				});
-				else {
-					const truncated = output.length > MAX_OUTPUT_CHARS ? output.slice(0, MAX_OUTPUT_CHARS) + "... (truncated)" : output;
-					resolve$6({
-						status: "fail",
-						details: `build failed (exit ${code}): ${truncated}`,
-						duration_ms: Date.now() - start
-					});
-				}
-			});
-		});
-	}
-};
-
-//#endregion
-//#region packages/sdlc/dist/verification/verification-pipeline.js
-/**
-* Compute the worst-case aggregate status across a list of check results.
-* Precedence: fail > warn > pass.
-*/
-function aggregateStatus(checks) {
-	let result = "pass";
-	for (const c of checks) {
-		if (c.status === "fail") return "fail";
-		if (c.status === "warn") result = "warn";
-	}
-	return result;
-}
-/**
-* Runs an ordered chain of VerificationCheck implementations after each story dispatch.
-*
-* Checks are stored in registration order. When `run()` is called with `tier: 'A'`
-* only Tier A checks execute; when called with `tier: 'B'` only Tier B checks execute.
-* (Story 51-5 will invoke both tiers at the appropriate orchestration points.)
-*/
-var VerificationPipeline = class {
-	_bus;
-	_checks = [];
-	/**
-	* @param bus    Typed event bus for emitting verification events.
-	* @param checks Optional initial list of checks to register at construction time.
-	*/
-	constructor(bus, checks = []) {
-		this._bus = bus;
-		for (const check of checks) this.register(check);
-	}
-	/**
-	* Register a VerificationCheck.
-	*
-	* Checks are stored in insertion order within their tier.
-	* Tier A checks always run before Tier B checks regardless of registration order.
-	*/
-	register(check) {
-		this._checks.push(check);
-	}
-	/**
-	* Execute all checks matching the specified tier sequentially.
-	*
-	* AC2: Tier A checks execute in registration order.
-	* AC4: Results are aggregated into a VerificationSummary.
-	* AC5: verification:check-complete and verification:story-complete events are emitted.
-	* AC6: Unhandled exceptions are caught and recorded as warn.
-	*
-	* @param context  Verification context for the story being verified.
-	* @param tier     Which tier of checks to execute ('A' | 'B'). Defaults to 'A'.
-	*/
-	async run(context, tier = "A") {
-		const pipelineStart = Date.now();
-		const checks = this._checks.filter((c) => c.tier === tier);
-		const checkResults = [];
-		for (const check of checks) {
-			const checkStart = Date.now();
-			let result;
-			try {
-				const runResult = await check.run(context);
-				result = {
-					checkName: check.name,
-					status: runResult.status,
-					details: runResult.details,
-					duration_ms: runResult.duration_ms
-				};
-			} catch (err) {
-				const elapsed = Date.now() - checkStart;
-				const message = err instanceof Error ? err.message : String(err);
-				process.stderr.write(`[verification-pipeline] check "${check.name}" threw an unhandled exception: ${message}\n`);
-				result = {
-					checkName: check.name,
-					status: "warn",
-					details: message,
-					duration_ms: elapsed
-				};
-			}
-			checkResults.push(result);
-			this._bus.emit("verification:check-complete", {
-				storyKey: context.storyKey,
-				checkName: result.checkName,
-				status: result.status,
-				details: result.details,
-				duration_ms: result.duration_ms
-			});
-		}
-		const summary = {
-			storyKey: context.storyKey,
-			checks: checkResults,
-			status: aggregateStatus(checkResults),
-			duration_ms: Date.now() - pipelineStart
-		};
-		this._bus.emit("verification:story-complete", summary);
-		return summary;
-	}
-};
-/**
-* Create a VerificationPipeline pre-loaded with the canonical check set.
-*
-* Canonical Tier A check order (architecture section 3.5):
-*   1. PhantomReviewCheck — story 51-2  (runs first: unreviewed stories skipped)
-*   2. TrivialOutputCheck — story 51-3
-*   3. AcceptanceCriteriaEvidenceCheck
-*   4. BuildCheck         — story 51-4
-*
-* @param bus    Typed event bus for verification events.
-* @param config Optional config (used to forward threshold to TrivialOutputCheck).
-*/
-function createDefaultVerificationPipeline(bus, config) {
-	const checks = [
-		new PhantomReviewCheck(),
-		new TrivialOutputCheck(config),
-		new AcceptanceCriteriaEvidenceCheck(),
-		new BuildCheck()
-	];
-	return new VerificationPipeline(bus, checks);
-}
-
 //#endregion
 //#region src/modules/compiled-workflows/story-complexity.ts
 const logger$16 = createLogger("compiled-workflows:story-complexity");
@@ -10952,6 +10480,29 @@ function persistVerificationResult(storyKey, summary, runManifest) {
 		storyKey
 	}, "manifest verification_result write failed — pipeline continues"));
 }
+/**
+* Flatten every finding from a VerificationSummary's checks into a single
+* prompt-ready string. Returns '' when the summary is undefined, contains
+* no checks, or every check emits zero findings (e.g. every check passed).
+*
+* The output is intended for direct injection into retry/rework/fix
+* prompt templates via a `{{verification_findings}}` section — kept
+* human-readable and minimal. Each finding is rendered as a single
+* `ERROR [category] message` / `WARN [...]` / `INFO [...]` line via the
+* renderFindings helper from the verification module; lines are grouped
+* by check name for readability.
+*/
+function renderVerificationFindingsForPrompt(summary) {
+	if (!summary) return "";
+	const blocks = [];
+	for (const check of summary.checks) {
+		const findings = check.findings ?? [];
+		if (findings.length === 0) continue;
+		const rendered = renderFindings(findings);
+		blocks.push(`- ${check.checkName}:\n${rendered.replace(/^/gm, "    ")}`);
+	}
+	return blocks.join("\n");
+}
 
 //#endregion
 //#region src/modules/implementation-orchestrator/cost-governance.ts
@@ -13912,6 +13463,7 @@ function createImplementationOrchestrator(deps) {
 							archConstraints = constraints.map((d) => `${d.key}: ${d.value}`).join("\n");
 						} catch {}
 						const targetedFilesContent = buildTargetedFilesContent(issueList);
+						const verificationFindingsContent = renderVerificationFindingsForPrompt(verificationStore.get(storyKey));
 						const sections = [
 							{
 								name: "story_content",
@@ -13932,6 +13484,11 @@ function createImplementationOrchestrator(deps) {
 								name: "targeted_files",
 								content: targetedFilesContent,
 								priority: "important"
+							}] : [],
+							...verificationFindingsContent ? [{
+								name: "verification_findings",
+								content: verificationFindingsContent,
+								priority: "important"
 							}] : []
 						];
 						const assembled = assemblePrompt(fixTemplate, sections, 24e3);
@@ -14100,6 +13657,7 @@ function createImplementationOrchestrator(deps) {
 						const findings = await getProjectFindings(db);
 						if (findings !== "") priorFindingsContent = "Prior pipeline findings — avoid repeating these patterns:\n\n" + findings;
 					} catch {}
+					const verificationFindingsContent = renderVerificationFindingsForPrompt(verificationStore.get(storyKey));
 					const sections = isMajorRework ? [
 						{
 							name: "story_content",
@@ -14125,7 +13683,12 @@ function createImplementationOrchestrator(deps) {
 							name: "prior_findings",
 							content: priorFindingsContent,
 							priority: "optional"
-						}
+						},
+						...verificationFindingsContent ? [{
+							name: "verification_findings",
+							content: verificationFindingsContent,
+							priority: "important"
+						}] : []
 					] : (() => {
 						const targetedFilesContent = buildTargetedFilesContent(issueList);
 						return [
@@ -14153,7 +13716,12 @@ function createImplementationOrchestrator(deps) {
 								name: "prior_findings",
 								content: priorFindingsContent,
 								priority: "optional"
-							}
+							},
+							...verificationFindingsContent ? [{
+								name: "verification_findings",
+								content: verificationFindingsContent,
+								priority: "important"
+							}] : []
 						];
 					})();
 					const assembled = assemblePrompt(fixTemplate, sections, 24e3);
@@ -44272,4 +43840,4 @@ function registerRunCommand(program, _version = "0.0.0", projectRoot = process.c
 
 //#endregion
 export { AdapterTelemetryPersistence, AppError, DoltRepoMapMetaRepository, DoltSymbolRepository, ERR_REPO_MAP_STORAGE_WRITE, EpicIngester, GitClient, GrammarLoader, RepoMapInjector, RepoMapModule, RepoMapQueryEngine, RepoMapStorage, SymbolParser, createContextCompiler, createDispatcher, createEventEmitter, createImplementationOrchestrator, createPackLoader, createPhaseOrchestrator, createStopAfterGate, createTelemetryAdvisor, formatPhaseCompletionSummary, getFactoryRunSummaries, getScenarioResultsForRun, getTwinRunsForRun, listGraphRuns, normalizeGraphSummaryToStatus, registerExportCommand, registerFactoryCommand, registerRunCommand, registerScenariosCommand, resolveMaxReviewCycles, resolveStoryKeys, runAnalysisPhase, runPlanningPhase, runRunAction, runSolutioningPhase, validateStopAfterFromConflict, wireNdjsonEmitter };
-//# sourceMappingURL=run-8UnjRlkK.js.map
+//# sourceMappingURL=run-BHKqyFFM.js.map

package/dist/{run-COw1z5NJ.js → run-l5fLWKtI.js}

@@ -1,8 +1,8 @@
-import "./health-BfeoutPu.js";
+import "./health-CB48LF0t.js";
 import "./logger-KeHncl-f.js";
 import "./helpers-CElYrONe.js";
 import "./dist-srr3BfCc.js";
-import { normalizeGraphSummaryToStatus, registerRunCommand, resolveMaxReviewCycles, runRunAction, wireNdjsonEmitter } from "./run-8UnjRlkK.js";
+import { normalizeGraphSummaryToStatus, registerRunCommand, resolveMaxReviewCycles, runRunAction, wireNdjsonEmitter } from "./run-BHKqyFFM.js";
 import "./routing-CcBOCuC9.js";
 import "./decisions-C0pz9Clx.js";
 

package/package.json

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

package/packs/bmad/prompts/fix-story.md

@@ -17,6 +17,9 @@
 ### Prior Pipeline Findings
 {{prior_findings}}
 
+### Automated Verification Findings
+{{verification_findings}}
+
 ---
 
 ## Mission

package/packs/bmad/prompts/rework-story.md

@@ -17,6 +17,9 @@
 ### Prior Pipeline Findings
 {{prior_findings}}
 
+### Automated Verification Findings
+{{verification_findings}}
+
 ---
 
 ## Mission