@substrate-ai/sdlc 0.19.54

package/dist/verification/checks/trivial-output-check.d.ts

@@ -0,0 +1,47 @@
+/**
+ * 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.
+ */
+import type { VerificationCheck, VerificationContext, VerificationResult } from '../types.js';
+/**
+ * Default minimum output-token count a story must produce to be
+ * considered non-trivial.  Configurable via trivialOutputThreshold config field.
+ */
+export declare const DEFAULT_TRIVIAL_OUTPUT_THRESHOLD = 100;
+/**
+ * Minimal config interface for TrivialOutputCheck.
+ * Uses a plain interface instead of Pick<SubstrateConfig, ...> to avoid
+ * TypeScript errors when SubstrateConfig uses passthrough (unknown extra keys).
+ */
+export interface TrivialOutputCheckConfig {
+    trivialOutputThreshold?: number;
+}
+/**
+ * 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'.
+ */
+export declare class TrivialOutputCheck implements VerificationCheck {
+    readonly name = "trivial-output";
+    readonly tier: "A";
+    private readonly threshold;
+    constructor(config?: TrivialOutputCheckConfig);
+    run(context: VerificationContext): Promise<VerificationResult>;
+}
+//# sourceMappingURL=trivial-output-check.d.ts.map

package/dist/verification/checks/trivial-output-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trivial-output-check.d.ts","sourceRoot":"","sources":["../../../src/verification/checks/trivial-output-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,aAAa,CAAA;AAMpB;;;GAGG;AACH,eAAO,MAAM,gCAAgC,MAAM,CAAA;AAMnD;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,sBAAsB,CAAC,EAAE,MAAM,CAAA;CAChC;AAMD;;;;;;;;;;;GAWG;AACH,qBAAa,kBAAmB,YAAW,iBAAiB;IAC1D,QAAQ,CAAC,IAAI,oBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAS;IAE5B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAQ;gBAEtB,MAAM,CAAC,EAAE,wBAAwB;IAIvC,GAAG,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAgCrE"}

package/dist/verification/checks/trivial-output-check.js

@@ -0,0 +1,72 @@
+/**
+ * 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 threshold
+// ---------------------------------------------------------------------------
+/**
+ * Default minimum output-token count a story must produce to be
+ * considered non-trivial.  Configurable via trivialOutputThreshold config field.
+ */
+export const DEFAULT_TRIVIAL_OUTPUT_THRESHOLD = 100;
+// ---------------------------------------------------------------------------
+// TrivialOutputCheck
+// ---------------------------------------------------------------------------
+/**
+ * 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'.
+ */
+export class TrivialOutputCheck {
+    name = 'trivial-output';
+    tier = 'A';
+    threshold;
+    constructor(config) {
+        this.threshold = config?.trivialOutputThreshold ?? DEFAULT_TRIVIAL_OUTPUT_THRESHOLD;
+    }
+    async run(context) {
+        const start = Date.now();
+        // AC5: missing token data → warn, not fail
+        if (context.outputTokenCount === undefined) {
+            return {
+                status: 'warn',
+                details: 'trivial-output: output token count unavailable — skipping check',
+                duration_ms: Date.now() - start,
+            };
+        }
+        const count = context.outputTokenCount;
+        // AC1 + AC2: below threshold → fail with actionable message
+        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,
+            };
+        }
+        // AC3: at or above threshold → pass
+        return {
+            status: 'pass',
+            details: `output token count ${count} meets threshold ${this.threshold}`,
+            duration_ms: Date.now() - start,
+        };
+    }
+}
+//# sourceMappingURL=trivial-output-check.js.map

package/dist/verification/checks/trivial-output-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trivial-output-check.js","sourceRoot":"","sources":["../../../src/verification/checks/trivial-output-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,GAAG,CAAA;AAenD,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,kBAAkB;IACpB,IAAI,GAAG,gBAAgB,CAAA;IACvB,IAAI,GAAG,GAAY,CAAA;IAEX,SAAS,CAAQ;IAElC,YAAY,MAAiC;QAC3C,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,sBAAsB,IAAI,gCAAgC,CAAA;IACrF,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAA4B;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAExB,2CAA2C;QAC3C,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC3C,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,iEAAiE;gBAC1E,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAA;QAEtC,4DAA4D;QAC5D,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,OAAO,EACL,sCAAsC,KAAK,uBAAuB,IAAI,CAAC,SAAS,EAAE;oBAClF,mCAAmC;gBACrC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAChC,CAAA;QACH,CAAC;QAED,oCAAoC;QACpC,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,sBAAsB,KAAK,oBAAoB,IAAI,CAAC,SAAS,EAAE;YACxE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAA;IACH,CAAC;CACF"}

package/dist/verification/index.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Verification framework barrel export — Stories 51-1 through 51-3.
+ *
+ * Exports the VerificationPipeline class, all supporting types,
+ * and concrete check implementations.
+ */
+export { VerificationPipeline, createDefaultVerificationPipeline } from './verification-pipeline.js';
+export type { VerificationCheck, VerificationContext, VerificationResult, VerificationCheckResult, VerificationSummary, ReviewSignals, DevStorySignals, } from './types.js';
+export { PhantomReviewCheck } from './checks/index.js';
+export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './checks/index.js';
+export { AcceptanceCriteriaEvidenceCheck, extractAcceptanceCriteriaIds } from './checks/index.js';
+export { BuildCheck, BUILD_CHECK_TIMEOUT_MS, detectBuildCommand } from './checks/index.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AACpG,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACb,eAAe,GAChB,MAAM,YAAY,CAAA;AAEnB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA"}

package/dist/verification/index.js

@@ -0,0 +1,13 @@
+/**
+ * Verification framework barrel export — Stories 51-1 through 51-3.
+ *
+ * Exports the VerificationPipeline class, all supporting types,
+ * and concrete check implementations.
+ */
+export { VerificationPipeline, createDefaultVerificationPipeline } from './verification-pipeline.js';
+// Concrete check implementations (story 51-2+)
+export { PhantomReviewCheck } from './checks/index.js';
+export { TrivialOutputCheck, DEFAULT_TRIVIAL_OUTPUT_THRESHOLD } from './checks/index.js';
+export { AcceptanceCriteriaEvidenceCheck, extractAcceptanceCriteriaIds } from './checks/index.js';
+export { BuildCheck, BUILD_CHECK_TIMEOUT_MS, detectBuildCommand } from './checks/index.js';
+//# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AAUpG,+CAA+C;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAA;AACxF,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACjG,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA"}

package/dist/verification/types.d.ts

@@ -0,0 +1,149 @@
+/**
+ * Verification framework types — Story 51-1.
+ *
+ * Defines the VerificationCheck interface and all supporting types
+ * consumed by VerificationPipeline and future concrete check implementations
+ * (Stories 51-2 through 51-6).
+ *
+ * Package placement: packages/sdlc/src/verification/ — SDLC-specific fields
+ * (storyKey, commitSha, priorStoryFiles) make these types inappropriate for @substrate-ai/core.
+ */
+/**
+ * Slim projection of code-review dispatch signals needed by PhantomReviewCheck.
+ *
+ * Intentionally narrow — do NOT import CodeReviewResult from the monolith into
+ * this sdlc package. Only the fields required by the phantom detection check are
+ * included here (Story 51-2).
+ */
+export interface ReviewSignals {
+    /** True when dispatch itself failed — covers crash, timeout, non-zero exit, AND schema validation failure */
+    dispatchFailed?: boolean;
+    /** Error type string (e.g., 'schema_validation_failed', dispatch error message) */
+    error?: string;
+    /** Raw agent output text — empty/undefined indicates no output was produced */
+    rawOutput?: string;
+}
+/**
+ * Slim projection of dev-story dispatch output needed by static verification.
+ *
+ * This intentionally mirrors the YAML output contract names while avoiding an
+ * import from the monolith compiled-workflows package into @substrate-ai/sdlc.
+ */
+export interface DevStorySignals {
+    /** Whether the implementation dispatch reported success or failure. */
+    result?: 'success' | 'failed' | string;
+    /** Acceptance criteria the implementation agent claims were met. */
+    ac_met?: string[];
+    /** Acceptance criteria the implementation agent claims failed. */
+    ac_failures?: string[];
+    /** Files the implementation agent claims it created or modified. */
+    files_modified?: string[];
+    /** Test outcome reported by the implementation agent. */
+    tests?: 'pass' | 'fail' | string;
+}
+/**
+ * Contextual data passed to each VerificationCheck when the pipeline runs.
+ *
+ * AC3: Contains storyKey, workingDir, commitSha, timeout, and optional priorStoryFiles.
+ * Tier B fields (priorStoryFiles) are optional and may be undefined for Tier A runs.
+ */
+export interface VerificationContext {
+    /** Story key being verified (e.g. "51-1"). */
+    storyKey: string;
+    /** Absolute path to the project working directory. */
+    workingDir: string;
+    /** Git commit SHA of the story's implementation commit. */
+    commitSha: string;
+    /** Maximum milliseconds each individual check may consume. */
+    timeout: number;
+    /** Optional list of file paths modified by prior stories (Tier B). */
+    priorStoryFiles?: string[];
+    /**
+     * Optional code-review dispatch signals for PhantomReviewCheck (Story 51-2).
+     *
+     * Populated when the context is assembled from a completed code-review result.
+     * Left as `undefined` when review data is not available (e.g., Tier B-only runs).
+     * PhantomReviewCheck returns 'pass' with a skip note when this field is absent.
+     */
+    reviewResult?: ReviewSignals;
+    /**
+     * Raw story markdown used by AcceptanceCriteriaEvidenceCheck.
+     *
+     * Left undefined when a caller cannot read the story file; the check reports
+     * a warning rather than guessing from incomplete context.
+     */
+    storyContent?: string;
+    /**
+     * Structured implementation output used by AcceptanceCriteriaEvidenceCheck.
+     *
+     * This is a narrow projection of the dev-story result so verification can
+     * compare story ACs against the agent's explicit claims without importing
+     * monolith workflow types.
+     */
+    devStoryResult?: DevStorySignals;
+    /**
+     * Total output tokens produced by the story dispatch (Story 51-3).
+     *
+     * Used by TrivialOutputCheck to flag dispatches that produced fewer tokens
+     * than the configured threshold. Left as `undefined` when token tracking
+     * data is unavailable — TrivialOutputCheck returns 'warn' in that case.
+     */
+    outputTokenCount?: number;
+    /**
+     * Optional explicit build command override for BuildCheck (Story 51-4).
+     *
+     * When provided, BuildCheck uses this exact command instead of auto-detecting
+     * from the project files in `workingDir`. An empty string (`''`) means "skip"
+     * (same behaviour as no build system detected — returns `warn`).
+     * Left as `undefined` to trigger auto-detection.
+     */
+    buildCommand?: string;
+}
+/**
+ * Result returned by a single VerificationCheck.run() invocation.
+ *
+ * AC2: status is 'pass' | 'warn' | 'fail'.
+ */
+export interface VerificationResult {
+    status: 'pass' | 'warn' | 'fail';
+    details: string;
+    duration_ms: number;
+}
+/**
+ * Per-check result included in a VerificationSummary.
+ * Extends VerificationResult with the check's name.
+ */
+export interface VerificationCheckResult extends VerificationResult {
+    checkName: string;
+}
+/**
+ * Aggregated summary for a single story's verification pipeline run.
+ *
+ * AC4: contains storyKey, array of per-check results, worst-case overall status,
+ * and total duration.
+ */
+export interface VerificationSummary {
+    storyKey: string;
+    checks: VerificationCheckResult[];
+    /** Worst-case aggregate: fail > warn > pass. */
+    status: 'pass' | 'warn' | 'fail';
+    duration_ms: number;
+}
+/**
+ * Interface that all verification check implementations must satisfy.
+ *
+ * AC1: name, tier ('A' | 'B'), and run(context) method.
+ * Tier A checks are static analysis; Tier B checks may use cross-story context.
+ */
+export interface VerificationCheck {
+    /** Human-readable identifier for this check (used in events and summaries). */
+    name: string;
+    /** Tier determines execution order: all Tier A checks run before Tier B checks. */
+    tier: 'A' | 'B';
+    /**
+     * Execute this check against the supplied verification context.
+     * Must resolve (not reject) — exceptions are caught by the pipeline (AC6).
+     */
+    run(context: VerificationContext): Promise<VerificationResult>;
+}
+//# sourceMappingURL=types.d.ts.map

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

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

package/dist/verification/types.js

@@ -0,0 +1,12 @@
+/**
+ * Verification framework types — Story 51-1.
+ *
+ * Defines the VerificationCheck interface and all supporting types
+ * consumed by VerificationPipeline and future concrete check implementations
+ * (Stories 51-2 through 51-6).
+ *
+ * Package placement: packages/sdlc/src/verification/ — SDLC-specific fields
+ * (storyKey, commitSha, priorStoryFiles) make these types inappropriate for @substrate-ai/core.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/verification/types.js.map

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

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

@@ -0,0 +1,65 @@
+/**
+ * VerificationPipeline — executes an ordered chain of VerificationCheck implementations.
+ *
+ * Story 51-1: Framework implementation.
+ *
+ * Design notes:
+ * - No LLM calls in this file (FR-V9).
+ * - Tier A checks always precede Tier B checks in registration order.
+ * - Unhandled exceptions in check.run() are caught, logged at warn, and
+ *   surfaced as status:'warn' results (AC6).
+ * - Events are emitted via the injected TypedEventBus<SdlcEvents> (AC5).
+ */
+import type { TypedEventBus } from '@substrate-ai/core';
+import type { SdlcEvents } from '../events.js';
+import type { VerificationCheck, VerificationContext, VerificationSummary } from './types.js';
+import type { TrivialOutputCheckConfig } from './checks/trivial-output-check.js';
+/**
+ * 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.)
+ */
+export declare class VerificationPipeline {
+    private readonly _bus;
+    private readonly _checks;
+    /**
+     * @param bus    Typed event bus for emitting verification events.
+     * @param checks Optional initial list of checks to register at construction time.
+     */
+    constructor(bus: TypedEventBus<SdlcEvents>, checks?: VerificationCheck[]);
+    /**
+     * 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: VerificationCheck): void;
+    /**
+     * 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'.
+     */
+    run(context: VerificationContext, tier?: 'A' | 'B'): Promise<VerificationSummary>;
+}
+/**
+ * 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).
+ */
+export declare function createDefaultVerificationPipeline(bus: TypedEventBus<SdlcEvents>, config?: TrivialOutputCheckConfig): VerificationPipeline;
+//# sourceMappingURL=verification-pipeline.d.ts.map

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

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

package/dist/verification/verification-pipeline.js

@@ -0,0 +1,149 @@
+/**
+ * VerificationPipeline — executes an ordered chain of VerificationCheck implementations.
+ *
+ * Story 51-1: Framework implementation.
+ *
+ * Design notes:
+ * - No LLM calls in this file (FR-V9).
+ * - Tier A checks always precede Tier B checks in registration order.
+ * - Unhandled exceptions in check.run() are caught, logged at warn, and
+ *   surfaced as status:'warn' results (AC6).
+ * - Events are emitted via the injected TypedEventBus<SdlcEvents> (AC5).
+ */
+import { PhantomReviewCheck } from './checks/phantom-review-check.js';
+import { TrivialOutputCheck } from './checks/trivial-output-check.js';
+import { AcceptanceCriteriaEvidenceCheck } from './checks/acceptance-criteria-evidence-check.js';
+import { BuildCheck } from './checks/build-check.js';
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/**
+ * 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;
+}
+// ---------------------------------------------------------------------------
+// VerificationPipeline
+// ---------------------------------------------------------------------------
+/**
+ * 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.)
+ */
+export class VerificationPipeline {
+    _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);
+            // AC5: emit verification:check-complete after each check
+            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,
+        };
+        // AC5: emit verification:story-complete with full summary
+        this._bus.emit('verification:story-complete', summary);
+        return summary;
+    }
+}
+// ---------------------------------------------------------------------------
+// Default pipeline factory
+// ---------------------------------------------------------------------------
+/**
+ * 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).
+ */
+export function createDefaultVerificationPipeline(bus, config) {
+    const checks = [
+        new PhantomReviewCheck(),
+        new TrivialOutputCheck(config),
+        new AcceptanceCriteriaEvidenceCheck(),
+        new BuildCheck(), // story 51-4: runs last in Tier A (expensive, 60s worst-case)
+    ];
+    return new VerificationPipeline(bus, checks);
+}
+//# sourceMappingURL=verification-pipeline.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification-pipeline.js","sourceRoot":"","sources":["../../src/verification/verification-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAUH,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAErE,OAAO,EAAE,+BAA+B,EAAE,MAAM,gDAAgD,CAAA;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAEpD,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,eAAe,CACtB,MAAiC;IAEjC,IAAI,MAAM,GAA6B,MAAM,CAAA;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,CAAA;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,GAAG,MAAM,CAAA;IAC1C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,oBAAoB;IACd,IAAI,CAA2B;IAC/B,OAAO,GAAwB,EAAE,CAAA;IAElD;;;OAGG;IACH,YAAY,GAA8B,EAAE,SAA8B,EAAE;QAC1E,IAAI,CAAC,IAAI,GAAG,GAAG,CAAA;QACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,KAAwB;QAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,GAAG,CAAC,OAA4B,EAAE,OAAkB,GAAG;QAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAC1D,MAAM,YAAY,GAA8B,EAAE,CAAA;QAElD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;YAC7B,IAAI,MAA+B,CAAA;YAEnC,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC1C,MAAM,GAAG;oBACP,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;iBACnC,CAAA;YACH,CAAC;YAAC,OAAO,GAAY,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAA;gBACvC,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAChE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,kCAAkC,KAAK,CAAC,IAAI,mCAAmC,OAAO,IAAI,CAC3F,CAAA;gBACD,MAAM,GAAG;oBACP,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,OAAO;oBAChB,WAAW,EAAE,OAAO;iBACrB,CAAA;YACH,CAAC;YAED,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAEzB,yDAAyD;YACzD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE;gBAC5C,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,OAAO,GAAwB;YACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,eAAe,CAAC,YAAY,CAAC;YACrC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa;SACxC,CAAA;QAED,0DAA0D;QAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAA;QAEtD,OAAO,OAAO,CAAA;IAChB,CAAC;CACF;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iCAAiC,CAC/C,GAA8B,EAC9B,MAAiC;IAEjC,MAAM,MAAM,GAAwB;QAClC,IAAI,kBAAkB,EAAE;QACxB,IAAI,kBAAkB,CAAC,MAAM,CAAC;QAC9B,IAAI,+BAA+B,EAAE;QACrC,IAAI,UAAU,EAAE,EAAE,8DAA8D;KACjF,CAAA;IACD,OAAO,IAAI,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AAC9C,CAAC"}

package/graphs/sdlc-pipeline.dot

@@ -0,0 +1,42 @@
+/**
+ * SDLC Pipeline DOT Graph Definition
+ *
+ * Encodes the existing linear SDLC pipeline topology so the graph executor
+ * can drive the same pipeline logic as an alternative to the linear orchestrator.
+ *
+ * Story 43-1
+ */
+
+digraph sdlc_pipeline {
+  graph [
+    goal="Implement SDLC pipeline stories end-to-end",
+    label="SDLC Pipeline"
+  ]
+
+  // ── Entry / exit terminals ─────────────────────────────────────────────────
+  start [shape=Mdiamond, label="Start"]
+  exit  [shape=Msquare,  label="Exit"]
+
+  // ── Phase nodes ────────────────────────────────────────────────────────────
+  analysis   [type="sdlc.phase",        label="Analysis Phase"]
+  planning   [type="sdlc.phase",        label="Planning Phase"]
+  solutioning [type="sdlc.phase",       label="Solutioning Phase"]
+
+  // ── Story lifecycle nodes ──────────────────────────────────────────────────
+  create_story [type="sdlc.create-story", label="Create Story"]
+  dev_story    [type="sdlc.dev-story",    label="Dev Story",
+                goal_gate=true, retry_target=dev_story, max_retries=2]
+  code_review  [type="sdlc.code-review",  label="Code Review", shape=diamond]
+
+  // ── Linear happy-path edges ────────────────────────────────────────────────
+  start        -> analysis
+  analysis     -> planning
+  planning     -> solutioning
+  solutioning  -> create_story
+  create_story -> dev_story
+  dev_story    -> code_review
+
+  // ── Conditional edges from code_review ────────────────────────────────────
+  code_review -> exit      [condition="outcome=success"]
+  code_review -> dev_story [condition="outcome=fail"]
+}

package/package.json

@@ -0,0 +1,22 @@
+{
+  "name": "@substrate-ai/sdlc",
+  "version": "0.19.54",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist",
+    "graphs"
+  ],
+  "dependencies": {
+    "@substrate-ai/core": "0.19.54",
+    "zod": "^4.3.6"
+  },
+  "devDependencies": {}
+}