@substrate-ai/sdlc 0.19.54

package/dist/run-model/verification-result.js

@@ -0,0 +1,55 @@
+/**
+ * StoredVerificationSummary Zod schemas — Story 52-7.
+ *
+ * Defines the typed schemas for persisting VerificationSummary results to the
+ * run manifest's `per_story_state[storyKey].verification_result` field.
+ *
+ * Design notes:
+ * - These schemas mirror the shape of VerificationSummary / VerificationCheckResult
+ *   from packages/sdlc/src/verification/types.ts WITHOUT importing from that module.
+ *   This avoids a circular import between run-model and verification.
+ * - `status` uses `z.enum` (closed set) since verification statuses are fixed at
+ *   `pass|warn|fail` only — distinct from PerStoryStatusSchema which uses the open
+ *   extensible union pattern from v0.19.6.
+ * - All imports use `.js` extensions per monorepo convention.
+ */
+import { z } from 'zod';
+// ---------------------------------------------------------------------------
+// StoredVerificationCheckResultSchema
+// ---------------------------------------------------------------------------
+/**
+ * Schema for a single per-check verification result stored in the manifest.
+ *
+ * Mirrors VerificationCheckResult from packages/sdlc/src/verification/types.ts
+ * without importing from that module (avoids circular dependency).
+ */
+export const StoredVerificationCheckResultSchema = z.object({
+    /** Human-readable check identifier (e.g. 'BuildCheck', 'TrivialOutputCheck'). */
+    checkName: z.string(),
+    /** Check outcome status. */
+    status: z.enum(['pass', 'warn', 'fail']),
+    /** Human-readable details about the check outcome. */
+    details: z.string(),
+    /** Duration of this check in milliseconds. */
+    duration_ms: z.number().nonnegative(),
+});
+// ---------------------------------------------------------------------------
+// StoredVerificationSummarySchema
+// ---------------------------------------------------------------------------
+/**
+ * Schema for the aggregated verification pipeline summary stored in the manifest.
+ *
+ * Mirrors VerificationSummary from packages/sdlc/src/verification/types.ts
+ * without importing from that module (avoids circular dependency).
+ */
+export const StoredVerificationSummarySchema = z.object({
+    /** Story key that was verified (e.g. '52-7'). */
+    storyKey: z.string(),
+    /** Per-check results in the order they were executed. */
+    checks: z.array(StoredVerificationCheckResultSchema),
+    /** Worst-case aggregate status: fail > warn > pass. */
+    status: z.enum(['pass', 'warn', 'fail']),
+    /** Total duration of the verification pipeline run in milliseconds. */
+    duration_ms: z.number().nonnegative(),
+});
+//# sourceMappingURL=verification-result.js.map

package/dist/run-model/verification-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-result.js","sourceRoot":"","sources":["../../src/run-model/verification-result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1D,iFAAiF;IACjF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,4BAA4B;IAC5B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,sDAAsD;IACtD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,8CAA8C;IAC9C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;CACtC,CAAC,CAAA;AAIF,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IACtD,iDAAiD;IACjD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,yDAAyD;IACzD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,mCAAmC,CAAC;IACpD,uDAAuD;IACvD,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,uEAAuE;IACvE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;CACtC,CAAC,CAAA"}

package/dist/verification/checks/acceptance-criteria-evidence-check.d.ts

@@ -0,0 +1,21 @@
+/**
+ * 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.
+ */
+import type { VerificationCheck, VerificationContext, VerificationResult } from '../types.js';
+/**
+ * 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.
+ */
+export declare function extractAcceptanceCriteriaIds(storyContent: string): string[];
+export declare class AcceptanceCriteriaEvidenceCheck implements VerificationCheck {
+    readonly name = "acceptance-criteria-evidence";
+    readonly tier: "A";
+    run(context: VerificationContext): Promise<VerificationResult>;
+}
+//# sourceMappingURL=acceptance-criteria-evidence-check.d.ts.map

package/dist/verification/checks/acceptance-criteria-evidence-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-criteria-evidence-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/acceptance-criteria-evidence-check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAEV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AA4CpB;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CAkB3E;AA2BD,qBAAa,+BAAgC,YAAW,iBAAiB;IACvE,QAAQ,CAAC,IAAI,kCAAiC;IAC9C,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAEtB,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CA0ErE"}

package/dist/verification/checks/acceptance-criteria-evidence-check.js

@@ -0,0 +1,159 @@
+/**
+ * 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 undefined;
+    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 !== undefined)
+            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 undefined;
+    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.
+ */
+export function extractAcceptanceCriteriaIds(storyContent) {
+    const ids = new Set();
+    const acceptanceSection = extractAcceptanceSection(storyContent);
+    const textToScan = acceptanceSection ?? storyContent;
+    addExplicitAcRefs(textToScan, ids);
+    if (acceptanceSection !== undefined) {
+        for (const line of acceptanceSection.split(/\r?\n/)) {
+            const match = line.match(NUMBERED_CRITERION);
+            if (match?.[1] !== undefined) {
+                const id = normalizeAcId(match[1]);
+                if (id !== undefined)
+                    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] !== undefined) {
+            const id = normalizeAcId(bareNumber[1]);
+            if (id !== undefined)
+                ids.add(id);
+        }
+    }
+    return sortAcIds(ids);
+}
+function normalizeTestOutcome(value) {
+    if (value === undefined)
+        return undefined;
+    return value.toLowerCase().includes('fail') ? 'fail' : 'pass';
+}
+function formatIds(ids) {
+    return ids.join(', ');
+}
+export class AcceptanceCriteriaEvidenceCheck {
+    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 === undefined) {
+            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 === undefined) {
+            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,
+        };
+    }
+}
+//# sourceMappingURL=acceptance-criteria-evidence-check.js.map

package/dist/verification/checks/acceptance-criteria-evidence-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-criteria-evidence-check.js","sourceRoot":"","sources":["../../../src/verification/checks/acceptance-criteria-evidence-check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,MAAM,eAAe,GAAG,4BAA4B,CAAA;AACpD,MAAM,kBAAkB,GAAG,iDAAiD,CAAA;AAE5E,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACzC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAA;IAC7D,OAAO,KAAK,MAAM,EAAE,CAAA;AACtB,CAAC;AAED,SAAS,SAAS,CAAC,GAAqB;IACtC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QACvD,OAAO,IAAI,GAAG,IAAI,CAAA;IACpB,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,GAAgB;IACvD,eAAe,CAAC,SAAS,GAAG,CAAC,CAAA;IAC7B,IAAI,KAA6B,CAAA;IACjC,OAAO,CAAC,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QACxC,IAAI,EAAE,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACnC,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,YAAoB;IACpD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC3F,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAA;IAElC,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,CAAA;IACtB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACpC,GAAG,GAAG,CAAC,CAAA;YACP,MAAK;QACP,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC/C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,YAAoB;IAC/D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAA;IAChE,MAAM,UAAU,GAAG,iBAAiB,IAAI,YAAY,CAAA;IAEpD,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAA;IAElC,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;YAC5C,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;gBAClC,IAAI,EAAE,KAAK,SAAS;oBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC,GAAG,CAAC,CAAA;AACvB,CAAC;AAED,SAAS,mCAAmC,CAAC,MAA4B;IACvE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7B,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;QACjC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAE7B,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACnD,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;YACvC,IAAI,EAAE,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC,GAAG,CAAC,CAAA;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA+B;IAC3D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACzC,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAA;AAC/D,CAAC;AAED,SAAS,SAAS,CAAC,GAAa;IAC9B,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC;AAED,MAAM,OAAO,+BAA+B;IACjC,IAAI,GAAG,8BAA8B,CAAA;IACrC,IAAI,GAAG,GAAY,CAAA;IAE5B,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QACxB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,CAAA;QAEjD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,sFAAsF;gBAC/F,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,WAAW,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAA;QAC9D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,8EAA8E;gBACvF,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,cAAc,CAAA;QACxC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,kEAAkE,SAAS,CAAC,WAAW,CAAC,EAAE;gBACnG,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,IAAI,EAAE,CAAA;QAC9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,iEAAiE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACjG,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,WAAW,GAAG,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACzD,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,gEAAgE;gBACzE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,mCAAmC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;QACjF,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EACL,mEAAmE,SAAS,CAAC,UAAU,CAAC,EAAE;oBAC1F,cAAc,SAAS,CAAC,WAAW,CAAC,aAAa,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,MAAM,EAAE;gBAC/F,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,oDAAoD,SAAS,CAAC,WAAW,CAAC,kCAAkC;gBACrH,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,oDAAoD,SAAS,CAAC,WAAW,CAAC,WAAW,WAAW,EAAE;YAC3G,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAA;IACH,CAAC;CACF"}

package/dist/verification/checks/build-check.d.ts

@@ -0,0 +1,52 @@
+/**
+ * BuildCheck — Story 51-4.
+ *
+ * Tier A verification check that runs the project's build command after each
+ * story dispatch to catch compile-time regressions immediately.
+ *
+ * Architecture constraints (DC-6, FR-V9, FR-V11):
+ * - No LLM calls — pure shell invocation.
+ * - Hard 60-second timeout. On timeout the entire process group is killed.
+ * - Runs in Tier A, third in canonical order: after PhantomReviewCheck and
+ *   TrivialOutputCheck.
+ *
+ * Build command detection priority (mirrors dispatcher-impl.ts logic without
+ * importing from the monolith to avoid circular dependencies):
+ *   1. turbo.json        → 'turbo build'
+ *   2. pnpm-lock.yaml    → 'pnpm run build'
+ *   3. yarn.lock         → 'yarn build'
+ *   4. bun.lockb         → 'bun run build'
+ *   5. package.json      → 'npm run build'
+ *   6. Non-Node markers  → '' (skip)
+ *   7. Nothing found     → '' (skip)
+ */
+import type { VerificationCheck, VerificationContext, VerificationResult } from '../types.js';
+/** Hard timeout for the build command in milliseconds (FR-V11). */
+export declare const BUILD_CHECK_TIMEOUT_MS = 60000;
+/**
+ * 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.
+ */
+export declare function detectBuildCommand(workingDir: string): string;
+/**
+ * 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'
+ */
+export declare class BuildCheck implements VerificationCheck {
+    readonly name = "build";
+    readonly tier: "A";
+    run(context: VerificationContext): Promise<VerificationResult>;
+}
+//# sourceMappingURL=build-check.d.ts.map

package/dist/verification/checks/build-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/build-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAS7F,mEAAmE;AACnE,eAAO,MAAM,sBAAsB,QAAS,CAAA;AAS5C;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CA8B7D;AAMD;;;;;;;;;GASG;AACH,qBAAa,UAAW,YAAW,iBAAiB;IAClD,QAAQ,CAAC,IAAI,WAAU;IACvB,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAEtB,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CA2ErE"}

package/dist/verification/checks/build-check.js

@@ -0,0 +1,160 @@
+/**
+ * BuildCheck — Story 51-4.
+ *
+ * Tier A verification check that runs the project's build command after each
+ * story dispatch to catch compile-time regressions immediately.
+ *
+ * Architecture constraints (DC-6, FR-V9, FR-V11):
+ * - No LLM calls — pure shell invocation.
+ * - Hard 60-second timeout. On timeout the entire process group is killed.
+ * - Runs in Tier A, third in canonical order: after PhantomReviewCheck and
+ *   TrivialOutputCheck.
+ *
+ * Build command detection priority (mirrors dispatcher-impl.ts logic without
+ * importing from the monolith to avoid circular dependencies):
+ *   1. turbo.json        → 'turbo build'
+ *   2. pnpm-lock.yaml    → 'pnpm run build'
+ *   3. yarn.lock         → 'yarn build'
+ *   4. bun.lockb         → 'bun run build'
+ *   5. package.json      → 'npm run build'
+ *   6. Non-Node markers  → '' (skip)
+ *   7. Nothing found     → '' (skip)
+ */
+import { spawn } from 'node:child_process';
+import { existsSync } from 'node:fs';
+import { join } from 'node:path';
+// ---------------------------------------------------------------------------
+// Constants
+// ---------------------------------------------------------------------------
+/** Hard timeout for the build command in milliseconds (FR-V11). */
+export const BUILD_CHECK_TIMEOUT_MS = 60_000;
+/** Maximum characters to include in details string from build output. */
+const MAX_OUTPUT_CHARS = 2000;
+// ---------------------------------------------------------------------------
+// Build command detection
+// ---------------------------------------------------------------------------
+/**
+ * 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.
+ */
+export function detectBuildCommand(workingDir) {
+    // Priority 1: turbo.json
+    if (existsSync(join(workingDir, 'turbo.json'))) {
+        return 'turbo build';
+    }
+    // Priority 2: pnpm-lock.yaml
+    if (existsSync(join(workingDir, 'pnpm-lock.yaml'))) {
+        return 'pnpm run build';
+    }
+    // Priority 3: yarn.lock
+    if (existsSync(join(workingDir, 'yarn.lock'))) {
+        return 'yarn build';
+    }
+    // Priority 4: bun.lockb
+    if (existsSync(join(workingDir, 'bun.lockb'))) {
+        return 'bun run build';
+    }
+    // Priority 5: package.json (no turbo/lockfile match above)
+    if (existsSync(join(workingDir, 'package.json'))) {
+        return 'npm run build';
+    }
+    // Non-Node build markers: no universal build step, skip
+    const nonNodeMarkers = ['pyproject.toml', 'poetry.lock', 'setup.py', 'Cargo.toml', 'go.mod'];
+    for (const marker of nonNodeMarkers) {
+        if (existsSync(join(workingDir, marker))) {
+            return '';
+        }
+    }
+    // Nothing found
+    return '';
+}
+// ---------------------------------------------------------------------------
+// BuildCheck
+// ---------------------------------------------------------------------------
+/**
+ * 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'
+ */
+export class BuildCheck {
+    name = 'build';
+    tier = 'A';
+    async run(context) {
+        const start = Date.now();
+        // Resolve the command to run
+        const cmd = context.buildCommand !== undefined
+            ? context.buildCommand
+            : detectBuildCommand(context.workingDir);
+        // Empty command → skip (warn)
+        if (cmd === '') {
+            return {
+                status: 'warn',
+                details: `build-skip: no build command detected for project at ${context.workingDir}`,
+                duration_ms: Date.now() - start,
+            };
+        }
+        // Spawn the build process as a detached process group so we can kill the
+        // entire group on timeout (FR-V11).
+        return new Promise((resolve) => {
+            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();
+            });
+            // Hard timeout: kill the process group and return fail
+            const timeoutHandle = setTimeout(() => {
+                try {
+                    process.kill(-child.pid, 'SIGKILL');
+                }
+                catch {
+                    // Process already exited between timeout fire and kill call
+                }
+                resolve({
+                    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({
+                        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({
+                        status: 'fail',
+                        details: `build failed (exit ${code}): ${truncated}`,
+                        duration_ms: Date.now() - start,
+                    });
+                }
+            });
+        });
+    }
+}
+//# sourceMappingURL=build-check.js.map

package/dist/verification/checks/build-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-check.js","sourceRoot":"","sources":["../../../src/verification/checks/build-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,mEAAmE;AACnE,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAA;AAE5C,yEAAyE;AACzE,MAAM,gBAAgB,GAAG,IAAI,CAAA;AAE7B,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,yBAAyB;IACzB,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC;QAC/C,OAAO,aAAa,CAAA;IACtB,CAAC;IACD,6BAA6B;IAC7B,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC;QACnD,OAAO,gBAAgB,CAAA;IACzB,CAAC;IACD,wBAAwB;IACxB,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,wBAAwB;IACxB,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,eAAe,CAAA;IACxB,CAAC;IACD,2DAA2D;IAC3D,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;QACjD,OAAO,eAAe,CAAA;IACxB,CAAC;IACD,wDAAwD;IACxD,MAAM,cAAc,GAAG,CAAC,gBAAgB,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAA;IAC5F,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO,EAAE,CAAA;QACX,CAAC;IACH,CAAC;IACD,gBAAgB;IAChB,OAAO,EAAE,CAAA;AACX,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,UAAU;IACZ,IAAI,GAAG,OAAO,CAAA;IACd,IAAI,GAAG,GAAY,CAAA;IAE5B,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAExB,6BAA6B;QAC7B,MAAM,GAAG,GACP,OAAO,CAAC,YAAY,KAAK,SAAS;YAChC,CAAC,CAAC,OAAO,CAAC,YAAY;YACtB,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAE5C,8BAA8B;QAC9B,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;YACf,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,wDAAwD,OAAO,CAAC,UAAU,EAAE;gBACrF,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,yEAAyE;QACzE,oCAAoC;QACpC,OAAO,IAAI,OAAO,CAAqB,CAAC,OAAO,EAAE,EAAE;YACjD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE;gBAC3B,GAAG,EAAE,OAAO,CAAC,UAAU;gBACvB,QAAQ,EAAE,IAAI;gBACd,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;aAClC,CAAC,CAAA;YAEF,IAAI,MAAM,GAAG,EAAE,CAAA;YAEf,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;gBACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAA;YAC5B,CAAC,CAAC,CAAA;YAEF,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;gBACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAA;YAC5B,CAAC,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,EAAE;gBACpC,IAAI,CAAC;oBACH,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAI,EAAE,SAAS,CAAC,CAAA;gBACtC,CAAC;gBAAC,MAAM,CAAC;oBACP,4DAA4D;gBAC9D,CAAC;gBACD,OAAO,CAAC;oBACN,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,mCAAmC,sBAAsB,IAAI;oBACtE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;iBAChC,CAAC,CAAA;YACJ,CAAC,EAAE,sBAAsB,CAAC,CAAA;YAE1B,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACzB,YAAY,CAAC,aAAa,CAAC,CAAA;gBAE3B,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;oBACf,OAAO,CAAC;wBACN,MAAM,EAAE,MAAM;wBACd,OAAO,EAAE,cAAc;wBACvB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;qBAChC,CAAC,CAAA;gBACJ,CAAC;qBAAM,CAAC;oBACN,MAAM,SAAS,GACb,MAAM,CAAC,MAAM,GAAG,gBAAgB;wBAC9B,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,iBAAiB;wBACvD,CAAC,CAAC,MAAM,CAAA;oBACZ,OAAO,CAAC;wBACN,MAAM,EAAE,MAAM;wBACd,OAAO,EAAE,sBAAsB,IAAI,MAAM,SAAS,EAAE;wBACpD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;qBAChC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,15 @@
+/**
+ * Barrel export for VerificationCheck implementations.
+ *
+ * Check registration order (Tier A before Tier B, and within Tier A in
+ * pipeline sequence order per architecture section 3.5):
+ *   1. PhantomReviewCheck  — story 51-2
+ *   2. TrivialOutputCheck  — story 51-3
+ *   3. AcceptanceCriteriaEvidenceCheck
+ *   4. BuildCheck          — story 51-4
+ */
+export { PhantomReviewCheck } from './phantom-review-check.js';
+export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './trivial-output-check.js';
+export { AcceptanceCriteriaEvidenceCheck, extractAcceptanceCriteriaIds } from './acceptance-criteria-evidence-check.js';
+export { BuildCheck, BUILD_CHECK_TIMEOUT_MS, detectBuildCommand } from './build-check.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,2BAA2B,CAAA;AAChG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAA;AACvH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA"}

package/dist/verification/checks/index.js

@@ -0,0 +1,15 @@
+/**
+ * Barrel export for VerificationCheck implementations.
+ *
+ * Check registration order (Tier A before Tier B, and within Tier A in
+ * pipeline sequence order per architecture section 3.5):
+ *   1. PhantomReviewCheck  — story 51-2
+ *   2. TrivialOutputCheck  — story 51-3
+ *   3. AcceptanceCriteriaEvidenceCheck
+ *   4. BuildCheck          — story 51-4
+ */
+export { PhantomReviewCheck } from './phantom-review-check.js';
+export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './trivial-output-check.js';
+export { AcceptanceCriteriaEvidenceCheck, extractAcceptanceCriteriaIds } from './acceptance-criteria-evidence-check.js';
+export { BuildCheck, BUILD_CHECK_TIMEOUT_MS, detectBuildCommand } from './build-check.js';
+//# sourceMappingURL=index.js.map

package/dist/verification/checks/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/verification/checks/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,2BAA2B,CAAA;AAChG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAA;AACvH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA"}

package/dist/verification/checks/phantom-review-check.d.ts

@@ -0,0 +1,29 @@
+/**
+ * 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).
+ */
+import type { VerificationCheck, VerificationContext, VerificationResult } from '../types.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'
+ */
+export declare class PhantomReviewCheck implements VerificationCheck {
+    readonly name = "phantom-review";
+    readonly tier: "A";
+    run(context: VerificationContext): Promise<VerificationResult>;
+}
+//# sourceMappingURL=phantom-review-check.d.ts.map

package/dist/verification/checks/phantom-review-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom-review-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/phantom-review-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAMpB;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,YAAW,iBAAiB;IAC1D,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAEtB,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CA6CrE"}

package/dist/verification/checks/phantom-review-check.js

@@ -0,0 +1,70 @@
+/**
+ * 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).
+ */
+// ---------------------------------------------------------------------------
+// PhantomReviewCheck
+// ---------------------------------------------------------------------------
+/**
+ * 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'
+ */
+export class PhantomReviewCheck {
+    name = 'phantom-review';
+    tier = 'A';
+    async run(context) {
+        const start = Date.now();
+        const review = context.reviewResult;
+        // No review signals available — treat as pass (check cannot determine failure)
+        if (!review) {
+            return {
+                status: 'pass',
+                details: 'phantom-review: no review result in context — skipping check',
+                duration_ms: Date.now() - start,
+            };
+        }
+        // AC1 + AC3: dispatch itself failed (non-zero exit, timeout, crash, or schema validation failure)
+        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,
+            };
+        }
+        // AC2: agent produced no output — only flag when rawOutput is explicitly empty
+        // string (dispatch ran but returned nothing). When rawOutput is undefined, the
+        // dispatch result may not have captured it (e.g., parsed YAML result without
+        // raw output preservation) — treat as pass since dispatchFailed was not set.
+        if (review.rawOutput !== undefined && review.rawOutput.trim().length === 0) {
+            return {
+                status: 'fail',
+                details: 'phantom-review: empty review output',
+                duration_ms: Date.now() - start,
+            };
+        }
+        // AC5: valid review — non-empty output, no dispatch failure
+        return {
+            status: 'pass',
+            details: 'phantom-review: review output is valid',
+            duration_ms: Date.now() - start,
+        };
+    }
+}
+//# sourceMappingURL=phantom-review-check.js.map

package/dist/verification/checks/phantom-review-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom-review-check.js","sourceRoot":"","sources":["../../../src/verification/checks/phantom-review-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAQH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,kBAAkB;IACpB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAE5B,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAA;QAEnC,+EAA+E;QAC/E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,8DAA8D;gBACvE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,kGAAkG;QAClG,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,MAAM,CAAC,KAAK,KAAK,0BAA0B;gBACzC,CAAC,CAAC,0BAA0B;gBAC5B,CAAC,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;YAClE,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,mBAAmB,MAAM,EAAE;gBACpC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,+EAA+E;QAC/E,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3E,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,qCAAqC;gBAC9C,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,4DAA4D;QAC5D,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,wCAAwC;YACjD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAA;IACH,CAAC;CACF"}