@substrate-ai/sdlc 0.20.62 → 0.20.63

package/dist/run-model/per-story-state.d.ts

@@ -14,7 +14,7 @@ import { z } from 'zod';
  * later stories (`gated` from 53-9, `skipped` from 53-3, `recovered` from 54-1)
  * and any future extensions without breaking deserialization.
  */
-export declare const PerStoryStatusSchema: z.ZodUnion<readonly [z.ZodLiteral<"pending">, z.ZodLiteral<"dispatched">, z.ZodLiteral<"in-review">, z.ZodLiteral<"complete">, z.ZodLiteral<"failed">, z.ZodLiteral<"escalated">, z.ZodLiteral<"recovered">, z.ZodLiteral<"verification-failed">, z.ZodLiteral<"gated">, z.ZodLiteral<"skipped">, z.ZodString]>;
+export declare const PerStoryStatusSchema: z.ZodUnion<readonly [z.ZodLiteral<"pending">, z.ZodLiteral<"dispatched">, z.ZodLiteral<"in-review">, z.ZodLiteral<"complete">, z.ZodLiteral<"failed">, z.ZodLiteral<"escalated">, z.ZodLiteral<"recovered">, z.ZodLiteral<"verification-failed">, z.ZodLiteral<"gated">, z.ZodLiteral<"skipped">, z.ZodLiteral<"verification-stale">, z.ZodString]>;
 export type PerStoryStatus = z.infer<typeof PerStoryStatusSchema>;
 /**
  * Schema for a single per-story state entry in the run manifest.
@@ -30,7 +30,7 @@ export type PerStoryStatus = z.infer<typeof PerStoryStatusSchema>;
  * - `cost_usd`: Accumulated cost in USD (populated at terminal transition).
  */
 export declare const PerStoryStateSchema: z.ZodObject<{
-    status: z.ZodUnion<readonly [z.ZodLiteral<"pending">, z.ZodLiteral<"dispatched">, z.ZodLiteral<"in-review">, z.ZodLiteral<"complete">, z.ZodLiteral<"failed">, z.ZodLiteral<"escalated">, z.ZodLiteral<"recovered">, z.ZodLiteral<"verification-failed">, z.ZodLiteral<"gated">, z.ZodLiteral<"skipped">, z.ZodString]>;
+    status: z.ZodUnion<readonly [z.ZodLiteral<"pending">, z.ZodLiteral<"dispatched">, z.ZodLiteral<"in-review">, z.ZodLiteral<"complete">, z.ZodLiteral<"failed">, z.ZodLiteral<"escalated">, z.ZodLiteral<"recovered">, z.ZodLiteral<"verification-failed">, z.ZodLiteral<"gated">, z.ZodLiteral<"skipped">, z.ZodLiteral<"verification-stale">, z.ZodString]>;
     phase: z.ZodString;
     started_at: z.ZodString;
     completed_at: z.ZodOptional<z.ZodString>;
@@ -94,6 +94,7 @@ export declare const PerStoryStateSchema: z.ZodObject<{
         tests: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<"pass">, z.ZodLiteral<"fail">, z.ZodLiteral<"unknown">, z.ZodString]>>;
     }, z.core.$strip>>;
     probe_author_triggered_by: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<"event-driven">, z.ZodLiteral<"state-integrating">, z.ZodLiteral<"both">, z.ZodString]>>;
+    verification_re_run: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>;
 export type PerStoryState = z.infer<typeof PerStoryStateSchema>;
 //# sourceMappingURL=per-story-state.d.ts.map

package/dist/run-model/per-story-state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"per-story-state.d.ts","sourceRoot":"","sources":["../../src/run-model/per-story-state.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAQvB;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,iTAY/B,CAAA;AAEF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAMjE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBA0C9B,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAA"}
+{"version":3,"file":"per-story-state.d.ts","sourceRoot":"","sources":["../../src/run-model/per-story-state.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAQvB;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,qVAmB/B,CAAA;AAEF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAMjE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoD9B,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAA"}

package/dist/run-model/per-story-state.js

@@ -30,6 +30,13 @@ export const PerStoryStatusSchema = z.union([
     z.literal('verification-failed'),
     z.literal('gated'),
     z.literal('skipped'),
+    /**
+     * Transient state during cross-story-race recovery (Story 70-1). Story is
+     * re-verification pending; not a terminal failure. Once recovery completes
+     * the status transitions to 'complete' (pipeline:cross-story-race-recovered)
+     * or 'failed' (pipeline:cross-story-race-still-failed).
+     */
+    z.literal('verification-stale'),
     z.string(), // extensible fallback — must be last
 ]);
 // ---------------------------------------------------------------------------
@@ -90,5 +97,15 @@ export const PerStoryStateSchema = z.object({
         z.literal('both'),
         z.string(),
     ]).optional(),
+    /**
+     * Story 70-1: set to `true` when the story's verification was re-run as part
+     * of cross-story-race recovery and the fresh result still failed. Allows
+     * downstream consumers (e.g. supervisor, post-mortem tooling) to distinguish
+     * genuine race-confirmed failures from original first-pass failures.
+     *
+     * Absent on stories that were not re-verified via recovery — do NOT interpret
+     * absence as `false`; use `?? false` at call sites that need a boolean.
+     */
+    verification_re_run: z.boolean().optional(),
 });
 //# sourceMappingURL=per-story-state.js.map

package/dist/run-model/per-story-state.js.map

@@ -1 +1 @@
-{"version":3,"file":"per-story-state.js","sourceRoot":"","sources":["../../src/run-model/per-story-state.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAA;AAEpE,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IACpB,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IACvB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IACrB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAChC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAClB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IACpB,CAAC,CAAC,MAAM,EAAE,EAAE,qCAAqC;CAClD,CAAC,CAAA;AAIF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,+DAA+D;IAC/D,MAAM,EAAE,oBAAoB;IAC5B,yEAAyE;IACzE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,iEAAiE;IACjE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,kEAAkE;IAClE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,6EAA6E;IAC7E,mBAAmB,EAAE,+BAA+B,CAAC,QAAQ,EAAE;IAC/D,iFAAiF;IACjF,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IAC7C,4DAA4D;IAC5D,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACxD,iDAAiD;IACjD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACrD,gIAAgI;IAChI,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACtD;;;;;;OAMG;IACH,iBAAiB,EAAE,2BAA2B,CAAC,QAAQ,EAAE;IACzD;;;;;;;;OAQG;IACH,yBAAyB,EAAE,CAAC,CAAC,KAAK,CAAC;QACjC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QACzB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACjB,CAAC,CAAC,MAAM,EAAE;KACX,CAAC,CAAC,QAAQ,EAAE;CACd,CAAC,CAAA"}
+{"version":3,"file":"per-story-state.js","sourceRoot":"","sources":["../../src/run-model/per-story-state.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAA;AAEpE,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IACpB,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IACvB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IACrB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAChC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAClB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IACpB;;;;;OAKG;IACH,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAC/B,CAAC,CAAC,MAAM,EAAE,EAAE,qCAAqC;CAClD,CAAC,CAAA;AAIF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,+DAA+D;IAC/D,MAAM,EAAE,oBAAoB;IAC5B,yEAAyE;IACzE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,iEAAiE;IACjE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,kEAAkE;IAClE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,6EAA6E;IAC7E,mBAAmB,EAAE,+BAA+B,CAAC,QAAQ,EAAE;IAC/D,iFAAiF;IACjF,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IAC7C,4DAA4D;IAC5D,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACxD,iDAAiD;IACjD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACrD,gIAAgI;IAChI,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACtD;;;;;;OAMG;IACH,iBAAiB,EAAE,2BAA2B,CAAC,QAAQ,EAAE;IACzD;;;;;;;;OAQG;IACH,yBAAyB,EAAE,CAAC,CAAC,KAAK,CAAC;QACjC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QACzB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACjB,CAAC,CAAC,MAAM,EAAE;KACX,CAAC,CAAC,QAAQ,EAAE;IACb;;;;;;;;OAQG;IACH,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC5C,CAAC,CAAA"}

package/dist/run-model/schemas.d.ts

@@ -56,7 +56,7 @@ export declare const RunManifestSchema: z.ZodObject<{
     supervisor_pid: z.ZodNullable<z.ZodNumber>;
     supervisor_session_id: z.ZodNullable<z.ZodString>;
     per_story_state: z.ZodRecord<z.ZodString, z.ZodObject<{
-        status: z.ZodUnion<readonly [z.ZodLiteral<"pending">, z.ZodLiteral<"dispatched">, z.ZodLiteral<"in-review">, z.ZodLiteral<"complete">, z.ZodLiteral<"failed">, z.ZodLiteral<"escalated">, z.ZodLiteral<"recovered">, z.ZodLiteral<"verification-failed">, z.ZodLiteral<"gated">, z.ZodLiteral<"skipped">, z.ZodString]>;
+        status: z.ZodUnion<readonly [z.ZodLiteral<"pending">, z.ZodLiteral<"dispatched">, z.ZodLiteral<"in-review">, z.ZodLiteral<"complete">, z.ZodLiteral<"failed">, z.ZodLiteral<"escalated">, z.ZodLiteral<"recovered">, z.ZodLiteral<"verification-failed">, z.ZodLiteral<"gated">, z.ZodLiteral<"skipped">, z.ZodLiteral<"verification-stale">, z.ZodString]>;
         phase: z.ZodString;
         started_at: z.ZodString;
         completed_at: z.ZodOptional<z.ZodString>;
@@ -120,6 +120,7 @@ export declare const RunManifestSchema: z.ZodObject<{
             tests: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<"pass">, z.ZodLiteral<"fail">, z.ZodLiteral<"unknown">, z.ZodString]>>;
         }, z.core.$strip>>;
         probe_author_triggered_by: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<"event-driven">, z.ZodLiteral<"state-integrating">, z.ZodLiteral<"both">, z.ZodString]>>;
+        verification_re_run: z.ZodOptional<z.ZodBoolean>;
     }, z.core.$strip>>;
     recovery_history: z.ZodArray<z.ZodObject<{
         story_key: z.ZodString;

package/dist/run-model/schemas.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/run-model/schemas.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAMvB,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAMnF;;;GAGG;AACH,eAAO,MAAM,cAAc;;;;;;;iBAazB,CAAA;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAyB5B,CAAA;AAMF;;;;;GAKG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,wEAAwE;IACxE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAA;gBAExB,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE;CAKzD"}
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/run-model/schemas.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAMvB,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAMnF;;;GAGG;AACH,eAAO,MAAM,cAAc;;;;;;;iBAazB,CAAA;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAyB5B,CAAA;AAMF;;;;;GAKG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,wEAAwE;IACxE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAA;gBAExB,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE;CAKzD"}

package/dist/verification/cross-story-race-recovery.d.ts

@@ -0,0 +1,160 @@
+/**
+ * Cross-story race recovery — Story 70-1.
+ *
+ * Provides `detectStaleVerifications` (pure, no I/O) and
+ * `runStaleVerificationRecovery` (action handler) for detecting and resolving
+ * verification races that occur when concurrent story commits land after the
+ * earlier story's verification already ran.
+ *
+ * Motivating incidents:
+ *   - Epic 66 run a832487a: 66-1+66-2+66-7 concurrent dispatch — concurrent
+ *     stories modifying shared test files caused transient verification failures
+ *     when the later-committing story's changes affected the earlier story's
+ *     already-recorded verification verdict.
+ *   - Epic 67 run a59e4c96: 67-1+67-2 concurrent dispatch — the
+ *     methodology-pack.test.ts BUDGET_LIMIT constant (30000 vs 32000) was
+ *     updated by story 67-1 AFTER 67-2's verification ran on the un-bumped
+ *     tree, causing a false pipeline failure verdict despite fully coherent
+ *     on-disk state. Budget-bump pattern documented in:
+ *     packages/sdlc/src/__tests__/methodology-pack.test.ts
+ *
+ * This primitive eliminates manual Path A recovery on the cross-story-race
+ * class going forward.
+ */
+import type { TypedEventBus } from '@substrate-ai/core';
+import type { DatabaseAdapter } from '@substrate-ai/core';
+import type { SdlcEvents } from '../events.js';
+import type { RunManifest } from '../run-model/run-manifest.js';
+/**
+ * Pre-resolved per-story entry for stale-verification detection.
+ *
+ * All fields are pre-resolved by the caller so `detectStaleVerifications`
+ * remains a pure function with no I/O. `runStaleVerificationRecovery`
+ * populates these fields from the run manifest and git log.
+ */
+export interface BatchEntry {
+    /** Story key (e.g. "70-1"). */
+    storyKey: string;
+    /**
+     * ISO timestamp of when this story's verification result was recorded.
+     * Falls back to `completed_at` from PerStoryState when absent from
+     * verification_result metadata (Risk: Assumption 2).
+     */
+    verifiedAt?: string;
+    /**
+     * ISO timestamp of when this story's implementation commit landed.
+     * Resolved from `git log --format=%cI --grep="feat(story-<storyKey>):" -1`.
+     */
+    committedAt?: string;
+    /** Files modified by this story's implementation (from dev_story_signals). */
+    modifiedFiles?: string[];
+    /** Test files associated with this story (subset of modifiedFiles). */
+    testFiles?: string[];
+    /**
+     * Fallback file list when `modifiedFiles` is absent (AC9-f).
+     * Populated from verification_result or dev_story_signals when the primary
+     * modifiedFiles field is not available in the manifest.
+     */
+    verificationResultFiles?: string[];
+}
+/**
+ * Detect stories whose verification results were recorded before concurrent
+ * story commits landed.
+ *
+ * Stale-verification boundary condition:
+ *   t.committedAt > s.verifiedAt
+ *   AND
+ *   t.modifiedFiles ∩ (s.modifiedFiles ∪ s.testFiles) ≠ ∅
+ *
+ * Where:
+ *   s = the story we're checking for staleness
+ *   t = another story in the batch that may have committed after s verified
+ *
+ * Pure function — all data must be pre-resolved in the `batch` entries.
+ * Returns empty array when no stale stories are detected (idempotent, no-op).
+ *
+ * @param batch    Pre-resolved story data for all stories in the concurrent batch.
+ * @param _manifest Manifest instance (accepted for API symmetry; not used in pure logic).
+ * @returns Array of story keys that have stale verification results.
+ */
+export declare function detectStaleVerifications(batch: BatchEntry[], _manifest: RunManifest | Record<string, unknown>): string[];
+/**
+ * Resolves the commit timestamp for a story's implementation commit.
+ *
+ * Uses the canonical `feat(story-<storyKey>):` commit message pattern to
+ * locate the story's auto-commit in git history.
+ *
+ * @param storyKey   Story key (e.g. "70-1")
+ * @param workingDir Absolute path to the git repo root
+ * @returns ISO-8601 commit timestamp string, or `undefined` if not found
+ */
+export declare function CommittedAtResolver(storyKey: string, workingDir: string): string | undefined;
+/**
+ * Input for `runStaleVerificationRecovery`.
+ */
+export interface StaleVerificationRecoveryInput {
+    /** Run ID for event emission and manifest access. */
+    runId: string;
+    /**
+     * Batch entries with pre-resolved story data. `committedAt` values are
+     * resolved internally from git log; do NOT pre-populate them.
+     * Other fields (verifiedAt, modifiedFiles, testFiles) are populated from
+     * the manifest's per_story_state when absent from the caller's batch.
+     */
+    batch: BatchEntry[];
+    /** Absolute path to the project working directory. */
+    workingDir: string;
+    /** Typed event bus for emitting recovery lifecycle events. */
+    bus: TypedEventBus<SdlcEvents>;
+    /** RunManifest instance for state reads and writes. */
+    manifest: RunManifest;
+    /**
+     * Database adapter for Dolt persistence (canonical helper per AC3).
+     *
+     * Reserved for future Dolt writes (e.g. storing recovery audit records).
+     * `RunManifest.patchStoryState` currently handles all necessary persistence
+     * for this recovery handler, so `adapter` is wired through at the interface
+     * boundary to preserve the canonical-helper contract without forcing callers
+     * to update their call sites when a Dolt write is added later.
+     *
+     * Do NOT remove this parameter — it is part of the public AC3-mandated
+     * interface shape. Add a leading underscore if a linter flags it as unused.
+     */
+    adapter: DatabaseAdapter;
+}
+/**
+ * Result of a `runStaleVerificationRecovery` invocation.
+ */
+export interface StaleVerificationRecoveryResult {
+    /** Story keys whose fresh verification passed → transitioned to 'complete'. */
+    recovered: string[];
+    /** Story keys whose fresh verification still failed → transitioned to 'failed'. */
+    stillFailed: string[];
+    /** True when no stale verifications were detected (idempotent no-op exit). */
+    noStale: boolean;
+}
+/**
+ * Cross-story race recovery action handler.
+ *
+ * Orchestrates the full recovery arc for stories with stale verification
+ * results caused by concurrent story commits landing after verification ran:
+ *
+ *   1. Resolves `committedAt` for each batch story via git log.
+ *   2. Enriches BatchEntry[] from manifest per_story_state when fields absent.
+ *   3. Calls `detectStaleVerifications` to identify stale story keys.
+ *   4. Returns `{ noStale: true }` immediately when none are stale (idempotent).
+ *   5. For each stale story:
+ *      a. Transitions status to `verification-stale` in manifest.
+ *      b. Re-runs `createDefaultVerificationPipeline` against current tree.
+ *      c. On pass: transitions to `complete`, emits `pipeline:cross-story-race-recovered`.
+ *      d. On fail: transitions to `failed` with `verification_re_run: true`,
+ *         emits `pipeline:cross-story-race-still-failed`.
+ *
+ * Implements AC3 canonical-helper discipline: all state reads use RunManifest,
+ * all persistence uses the injected adapter. No direct file reads of manifest.json.
+ *
+ * @param input Recovery input (see StaleVerificationRecoveryInput)
+ * @returns Recovery summary
+ */
+export declare function runStaleVerificationRecovery(input: StaleVerificationRecoveryInput): Promise<StaleVerificationRecoveryResult>;
+//# sourceMappingURL=cross-story-race-recovery.d.ts.map

package/dist/verification/cross-story-race-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-story-race-recovery.d.ts","sourceRoot":"","sources":["../../src/verification/cross-story-race-recovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAQ/D;;;;;;GAMG;AACH,MAAM,WAAW,UAAU;IACzB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAA;IAChB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,8EAA8E;IAC9E,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;IACpB;;;;OAIG;IACH,uBAAuB,CAAC,EAAE,MAAM,EAAE,CAAA;CACnC;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,UAAU,EAAE,EACnB,SAAS,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/C,MAAM,EAAE,CAwDV;AAMD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,MAAM,GAAG,SAAS,CAcpB;AAMD;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAA;IACb;;;;;OAKG;IACH,KAAK,EAAE,UAAU,EAAE,CAAA;IACnB,sDAAsD;IACtD,UAAU,EAAE,MAAM,CAAA;IAClB,8DAA8D;IAC9D,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IAC9B,uDAAuD;IACvD,QAAQ,EAAE,WAAW,CAAA;IACrB;;;;;;;;;;;OAWG;IACH,OAAO,EAAE,eAAe,CAAA;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,+BAA+B;IAC9C,+EAA+E;IAC/E,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,mFAAmF;IACnF,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,8EAA8E;IAC9E,OAAO,EAAE,OAAO,CAAA;CACjB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAsB,4BAA4B,CAChD,KAAK,EAAE,8BAA8B,GACpC,OAAO,CAAC,+BAA+B,CAAC,CAqL1C"}

package/dist/verification/cross-story-race-recovery.js

@@ -0,0 +1,312 @@
+/**
+ * Cross-story race recovery — Story 70-1.
+ *
+ * Provides `detectStaleVerifications` (pure, no I/O) and
+ * `runStaleVerificationRecovery` (action handler) for detecting and resolving
+ * verification races that occur when concurrent story commits land after the
+ * earlier story's verification already ran.
+ *
+ * Motivating incidents:
+ *   - Epic 66 run a832487a: 66-1+66-2+66-7 concurrent dispatch — concurrent
+ *     stories modifying shared test files caused transient verification failures
+ *     when the later-committing story's changes affected the earlier story's
+ *     already-recorded verification verdict.
+ *   - Epic 67 run a59e4c96: 67-1+67-2 concurrent dispatch — the
+ *     methodology-pack.test.ts BUDGET_LIMIT constant (30000 vs 32000) was
+ *     updated by story 67-1 AFTER 67-2's verification ran on the un-bumped
+ *     tree, causing a false pipeline failure verdict despite fully coherent
+ *     on-disk state. Budget-bump pattern documented in:
+ *     packages/sdlc/src/__tests__/methodology-pack.test.ts
+ *
+ * This primitive eliminates manual Path A recovery on the cross-story-race
+ * class going forward.
+ */
+import { execSync } from 'node:child_process';
+import { readdirSync, readFileSync, existsSync } from 'node:fs';
+import { createDefaultVerificationPipeline } from './verification-pipeline.js';
+// ---------------------------------------------------------------------------
+// detectStaleVerifications — pure function, no I/O
+// ---------------------------------------------------------------------------
+/**
+ * Detect stories whose verification results were recorded before concurrent
+ * story commits landed.
+ *
+ * Stale-verification boundary condition:
+ *   t.committedAt > s.verifiedAt
+ *   AND
+ *   t.modifiedFiles ∩ (s.modifiedFiles ∪ s.testFiles) ≠ ∅
+ *
+ * Where:
+ *   s = the story we're checking for staleness
+ *   t = another story in the batch that may have committed after s verified
+ *
+ * Pure function — all data must be pre-resolved in the `batch` entries.
+ * Returns empty array when no stale stories are detected (idempotent, no-op).
+ *
+ * @param batch    Pre-resolved story data for all stories in the concurrent batch.
+ * @param _manifest Manifest instance (accepted for API symmetry; not used in pure logic).
+ * @returns Array of story keys that have stale verification results.
+ */
+export function detectStaleVerifications(batch, _manifest) {
+    if (batch.length < 2) {
+        // Cannot have a race with fewer than 2 stories
+        return [];
+    }
+    const staleKeys = [];
+    for (const s of batch) {
+        const sVerifiedAt = s.verifiedAt;
+        if (sVerifiedAt === undefined) {
+            // Story was never verified — not a staleness case
+            continue;
+        }
+        // Effective file set for story s: modifiedFiles ∪ testFiles, with fallback
+        const sPrimaryFiles = s.modifiedFiles ?? s.verificationResultFiles ?? [];
+        const sTestFiles = s.testFiles ?? [];
+        const sAllFiles = new Set([...sPrimaryFiles, ...sTestFiles]);
+        if (sAllFiles.size === 0) {
+            // No files tracked for story s — cannot detect overlap
+            continue;
+        }
+        for (const t of batch) {
+            if (t.storyKey === s.storyKey)
+                continue;
+            const tCommittedAt = t.committedAt;
+            if (tCommittedAt === undefined)
+                continue;
+            // Race condition: t committed AFTER s had already verified.
+            // Use Date objects for comparison to handle timezone-offset strings
+            // (git log may emit local-timezone format while manifest timestamps are UTC).
+            let tTime, sTime;
+            try {
+                tTime = new Date(tCommittedAt).getTime();
+                sTime = new Date(sVerifiedAt).getTime();
+            }
+            catch {
+                continue; // unparseable timestamp — skip
+            }
+            if (isNaN(tTime) || isNaN(sTime))
+                continue;
+            if (tTime <= sTime)
+                continue;
+            // Check file overlap: t modified files that s also worked on
+            const tFiles = t.modifiedFiles ?? [];
+            const hasOverlap = tFiles.some((f) => sAllFiles.has(f));
+            if (hasOverlap) {
+                staleKeys.push(s.storyKey);
+                break; // found at least one race partner — no need to check more
+            }
+        }
+    }
+    return staleKeys;
+}
+// ---------------------------------------------------------------------------
+// CommittedAtResolver — git log helper
+// ---------------------------------------------------------------------------
+/**
+ * Resolves the commit timestamp for a story's implementation commit.
+ *
+ * Uses the canonical `feat(story-<storyKey>):` commit message pattern to
+ * locate the story's auto-commit in git history.
+ *
+ * @param storyKey   Story key (e.g. "70-1")
+ * @param workingDir Absolute path to the git repo root
+ * @returns ISO-8601 commit timestamp string, or `undefined` if not found
+ */
+export function CommittedAtResolver(storyKey, workingDir) {
+    try {
+        const result = execSync(`git log --format=%cI --grep="feat(story-${storyKey}):" -1`, {
+            cwd: workingDir,
+            encoding: 'utf-8',
+            stdio: ['ignore', 'pipe', 'pipe'],
+        }).trim();
+        return result.length > 0 ? result : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * Cross-story race recovery action handler.
+ *
+ * Orchestrates the full recovery arc for stories with stale verification
+ * results caused by concurrent story commits landing after verification ran:
+ *
+ *   1. Resolves `committedAt` for each batch story via git log.
+ *   2. Enriches BatchEntry[] from manifest per_story_state when fields absent.
+ *   3. Calls `detectStaleVerifications` to identify stale story keys.
+ *   4. Returns `{ noStale: true }` immediately when none are stale (idempotent).
+ *   5. For each stale story:
+ *      a. Transitions status to `verification-stale` in manifest.
+ *      b. Re-runs `createDefaultVerificationPipeline` against current tree.
+ *      c. On pass: transitions to `complete`, emits `pipeline:cross-story-race-recovered`.
+ *      d. On fail: transitions to `failed` with `verification_re_run: true`,
+ *         emits `pipeline:cross-story-race-still-failed`.
+ *
+ * Implements AC3 canonical-helper discipline: all state reads use RunManifest,
+ * all persistence uses the injected adapter. No direct file reads of manifest.json.
+ *
+ * @param input Recovery input (see StaleVerificationRecoveryInput)
+ * @returns Recovery summary
+ */
+export async function runStaleVerificationRecovery(input) {
+    const { runId, batch, workingDir, bus, manifest } = input;
+    // --- Step 1: Resolve committedAt for each story via git log ---
+    const enrichedBatch = [];
+    let manifestData = null;
+    try {
+        manifestData = await manifest.read();
+    }
+    catch {
+        // manifest unreadable — proceed with batch data as-is
+    }
+    for (const entry of batch) {
+        const committedAt = CommittedAtResolver(entry.storyKey, workingDir);
+        // Enrich verifiedAt and modifiedFiles from manifest when absent in batch entry
+        let verifiedAt = entry.verifiedAt;
+        let modifiedFiles = entry.modifiedFiles;
+        let testFiles = entry.testFiles;
+        let verificationResultFiles = entry.verificationResultFiles;
+        if (manifestData !== null) {
+            const perStory = manifestData.per_story_state[entry.storyKey];
+            if (perStory !== undefined) {
+                // Fall back to completed_at as verifiedAt when absent (Risk: Assumption 2)
+                if (verifiedAt === undefined) {
+                    verifiedAt = perStory.completed_at;
+                }
+                // Fall back to dev_story_signals.files_modified when modifiedFiles absent
+                if (modifiedFiles === undefined && perStory.dev_story_signals?.files_modified !== undefined) {
+                    modifiedFiles = perStory.dev_story_signals.files_modified;
+                }
+                // Populate verificationResultFiles from dev_story_signals as the AC9-f fallback
+                if (verificationResultFiles === undefined && perStory.dev_story_signals?.files_modified !== undefined) {
+                    verificationResultFiles = perStory.dev_story_signals.files_modified;
+                }
+            }
+        }
+        // Build enriched entry using exactOptionalPropertyTypes-safe spread:
+        // only include optional fields when they have a concrete value.
+        const enriched = { storyKey: entry.storyKey };
+        if (committedAt !== undefined)
+            enriched.committedAt = committedAt;
+        if (verifiedAt !== undefined)
+            enriched.verifiedAt = verifiedAt;
+        if (modifiedFiles !== undefined)
+            enriched.modifiedFiles = modifiedFiles;
+        if (testFiles !== undefined)
+            enriched.testFiles = testFiles;
+        if (verificationResultFiles !== undefined)
+            enriched.verificationResultFiles = verificationResultFiles;
+        enrichedBatch.push(enriched);
+    }
+    // --- Step 2: Detect stale verifications (pure) ---
+    const staleKeys = detectStaleVerifications(enrichedBatch, manifest);
+    if (staleKeys.length === 0) {
+        // Idempotent no-op: no stale verifications detected
+        return { recovered: [], stillFailed: [], noStale: true };
+    }
+    // --- Step 3: Recovery loop — re-verify each stale story ---
+    const recovered = [];
+    const stillFailed = [];
+    // Build a fresh verification pipeline bound to this bus
+    const verificationPipeline = createDefaultVerificationPipeline(bus);
+    for (const storyKey of staleKeys) {
+        const recoveryStart = Date.now();
+        // Collect original findings from manifest
+        let originalFindings = [];
+        if (manifestData !== null) {
+            const perStory = manifestData.per_story_state[storyKey];
+            if (perStory?.verification_result !== undefined) {
+                originalFindings = (perStory.verification_result.checks ?? []).flatMap((c) => c.findings ?? []);
+            }
+        }
+        // Transition to verification-stale
+        await manifest
+            .patchStoryState(storyKey, { status: 'verification-stale' })
+            .catch(() => {
+            // Non-fatal — continue recovery even if manifest patch fails
+        });
+        // Build a minimal verification context against current HEAD
+        let commitSha;
+        try {
+            commitSha = execSync('git rev-parse HEAD', {
+                cwd: workingDir,
+                encoding: 'utf-8',
+                stdio: ['ignore', 'pipe', 'pipe'],
+            }).trim();
+        }
+        catch {
+            commitSha = 'unknown';
+        }
+        // Read story content if available (best-effort)
+        let storyContent;
+        try {
+            const artifactsDir = `${workingDir}/_bmad-output/implementation-artifacts`;
+            if (existsSync(artifactsDir)) {
+                const STALE_SUFFIX = /\.stale-\d+\.md$/;
+                const files = readdirSync(artifactsDir);
+                const match = files.find((f) => f.startsWith(`${storyKey}-`) && f.endsWith('.md') && !STALE_SUFFIX.test(f));
+                if (match !== undefined) {
+                    storyContent = readFileSync(`${artifactsDir}/${match}`, 'utf-8');
+                }
+            }
+        }
+        catch {
+            // Story content is optional — proceed without it
+        }
+        // exactOptionalPropertyTypes-safe construction: only include optional
+        // fields when they have a concrete non-undefined value.
+        const verifContext = {
+            storyKey,
+            workingDir,
+            commitSha,
+            timeout: 60_000,
+            ...(storyContent !== undefined ? { storyContent } : {}),
+        };
+        // Re-run verification pipeline against fresh tree
+        const freshSummary = await verificationPipeline.run(verifContext, 'A');
+        const freshFindings = (freshSummary.checks ?? []).flatMap((c) => c.findings ?? []);
+        const recoveryDurationMs = Date.now() - recoveryStart;
+        if (freshSummary.status === 'pass' || freshSummary.status === 'warn') {
+            // Fresh verification passed — story is genuinely complete
+            await manifest
+                .patchStoryState(storyKey, {
+                status: 'complete',
+                verification_result: freshSummary,
+                completed_at: new Date().toISOString(),
+            })
+                .catch(() => {
+                // Non-fatal
+            });
+            bus.emit('pipeline:cross-story-race-recovered', {
+                runId,
+                storyKey,
+                originalFindings,
+                freshFindings,
+                recoveryDurationMs,
+            });
+            recovered.push(storyKey);
+        }
+        else {
+            // Fresh verification still failed — genuine failure, not a race artefact
+            await manifest
+                .patchStoryState(storyKey, {
+                status: 'failed',
+                verification_result: freshSummary,
+                verification_re_run: true,
+                completed_at: new Date().toISOString(),
+            })
+                .catch(() => {
+                // Non-fatal
+            });
+            bus.emit('pipeline:cross-story-race-still-failed', {
+                runId,
+                storyKey,
+                freshFindings,
+                recoveryDurationMs,
+            });
+            stillFailed.push(storyKey);
+        }
+    }
+    return { recovered, stillFailed, noStale: false };
+}
+//# sourceMappingURL=cross-story-race-recovery.js.map

package/dist/verification/cross-story-race-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-story-race-recovery.js","sourceRoot":"","sources":["../../src/verification/cross-story-race-recovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAK/D,OAAO,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAA;AAwC9E,8EAA8E;AAC9E,mDAAmD;AACnD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAmB,EACnB,SAAgD;IAEhD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,+CAA+C;QAC/C,OAAO,EAAE,CAAA;IACX,CAAC;IAED,MAAM,SAAS,GAAa,EAAE,CAAA;IAE9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,CAAC,CAAC,UAAU,CAAA;QAChC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,kDAAkD;YAClD,SAAQ;QACV,CAAC;QAED,2EAA2E;QAC3E,MAAM,aAAa,GAAG,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,uBAAuB,IAAI,EAAE,CAAA;QACxE,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,CAAA;QACpC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,UAAU,CAAC,CAAC,CAAA;QAE5D,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACzB,uDAAuD;YACvD,SAAQ;QACV,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;gBAAE,SAAQ;YAEvC,MAAM,YAAY,GAAG,CAAC,CAAC,WAAW,CAAA;YAClC,IAAI,YAAY,KAAK,SAAS;gBAAE,SAAQ;YAExC,4DAA4D;YAC5D,oEAAoE;YACpE,8EAA8E;YAC9E,IAAI,KAAa,EAAE,KAAa,CAAA;YAChC,IAAI,CAAC;gBACH,KAAK,GAAG,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAA;gBACxC,KAAK,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,EAAE,CAAA;YACzC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAQ,CAAC,+BAA+B;YAC1C,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAC1C,IAAI,KAAK,IAAI,KAAK;gBAAE,SAAQ;YAE5B,6DAA6D;YAC7D,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAA;YACpC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAEvD,IAAI,UAAU,EAAE,CAAC;gBACf,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;gBAC1B,MAAK,CAAC,0DAA0D;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,UAAkB;IAElB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CACrB,2CAA2C,QAAQ,QAAQ,EAC3D;YACE,GAAG,EAAE,UAAU;YACf,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;SAClC,CACF,CAAC,IAAI,EAAE,CAAA;QACR,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAoDD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,KAAqC;IAErC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAA;IAEzD,iEAAiE;IACjE,MAAM,aAAa,GAAiB,EAAE,CAAA;IAEtC,IAAI,YAAY,GAAoD,IAAI,CAAA;IACxE,IAAI,CAAC;QACH,YAAY,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAA;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,sDAAsD;IACxD,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAEnE,+EAA+E;QAC/E,IAAI,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;QACjC,IAAI,aAAa,GAAG,KAAK,CAAC,aAAa,CAAA;QACvC,IAAI,SAAS,GAAG,KAAK,CAAC,SAAS,CAAA;QAC/B,IAAI,uBAAuB,GAAG,KAAK,CAAC,uBAAuB,CAAA;QAE3D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC7D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,2EAA2E;gBAC3E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,UAAU,GAAG,QAAQ,CAAC,YAAY,CAAA;gBACpC,CAAC;gBACD,0EAA0E;gBAC1E,IAAI,aAAa,KAAK,SAAS,IAAI,QAAQ,CAAC,iBAAiB,EAAE,cAAc,KAAK,SAAS,EAAE,CAAC;oBAC5F,aAAa,GAAG,QAAQ,CAAC,iBAAiB,CAAC,cAAc,CAAA;gBAC3D,CAAC;gBACD,gFAAgF;gBAChF,IAAI,uBAAuB,KAAK,SAAS,IAAI,QAAQ,CAAC,iBAAiB,EAAE,cAAc,KAAK,SAAS,EAAE,CAAC;oBACtG,uBAAuB,GAAG,QAAQ,CAAC,iBAAiB,CAAC,cAAc,CAAA;gBACrE,CAAC;YACH,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,gEAAgE;QAChE,MAAM,QAAQ,GAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAA;QACzD,IAAI,WAAW,KAAK,SAAS;YAAE,QAAQ,CAAC,WAAW,GAAG,WAAW,CAAA;QACjE,IAAI,UAAU,KAAK,SAAS;YAAE,QAAQ,CAAC,UAAU,GAAG,UAAU,CAAA;QAC9D,IAAI,aAAa,KAAK,SAAS;YAAE,QAAQ,CAAC,aAAa,GAAG,aAAa,CAAA;QACvE,IAAI,SAAS,KAAK,SAAS;YAAE,QAAQ,CAAC,SAAS,GAAG,SAAS,CAAA;QAC3D,IAAI,uBAAuB,KAAK,SAAS;YAAE,QAAQ,CAAC,uBAAuB,GAAG,uBAAuB,CAAA;QACrG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC9B,CAAC;IAED,oDAAoD;IACpD,MAAM,SAAS,GAAG,wBAAwB,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;IAEnE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,oDAAoD;QACpD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IAC1D,CAAC;IAED,6DAA6D;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,WAAW,GAAa,EAAE,CAAA;IAEhC,wDAAwD;IACxD,MAAM,oBAAoB,GAAG,iCAAiC,CAAC,GAAG,CAAC,CAAA;IAEnE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAEhC,0CAA0C;QAC1C,IAAI,gBAAgB,GAAc,EAAE,CAAA;QACpC,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAA;YACvD,IAAI,QAAQ,EAAE,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBAChD,gBAAgB,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CACpE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CACxB,CAAA;YACH,CAAC;QACH,CAAC;QAED,mCAAmC;QACnC,MAAM,QAAQ;aACX,eAAe,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;aAC3D,KAAK,CAAC,GAAG,EAAE;YACV,6DAA6D;QAC/D,CAAC,CAAC,CAAA;QAEJ,4DAA4D;QAC5D,IAAI,SAAiB,CAAA;QACrB,IAAI,CAAC;YACH,SAAS,GAAG,QAAQ,CAAC,oBAAoB,EAAE;gBACzC,GAAG,EAAE,UAAU;gBACf,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;aAClC,CAAC,CAAC,IAAI,EAAE,CAAA;QACX,CAAC;QAAC,MAAM,CAAC;YACP,SAAS,GAAG,SAAS,CAAA;QACvB,CAAC;QAED,gDAAgD;QAChD,IAAI,YAAgC,CAAA;QACpC,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,GAAG,UAAU,wCAAwC,CAAA;YAC1E,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC7B,MAAM,YAAY,GAAG,kBAAkB,CAAA;gBACvC,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAAC,CAAA;gBACvC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAClF,CAAA;gBACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,YAAY,GAAG,YAAY,CAAC,GAAG,YAAY,IAAI,KAAK,EAAE,EAAE,OAAO,CAAC,CAAA;gBAClE,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,iDAAiD;QACnD,CAAC;QAED,sEAAsE;QACtE,wDAAwD;QACxD,MAAM,YAAY,GAAwB;YACxC,QAAQ;YACR,UAAU;YACV,SAAS;YACT,OAAO,EAAE,MAAM;YACf,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxD,CAAA;QAED,kDAAkD;QAClD,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,CAAA;QAEtE,MAAM,aAAa,GAAc,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAClE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CACxB,CAAA;QACD,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa,CAAA;QAErD,IAAI,YAAY,CAAC,MAAM,KAAK,MAAM,IAAI,YAAY,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACrE,0DAA0D;YAC1D,MAAM,QAAQ;iBACX,eAAe,CAAC,QAAQ,EAAE;gBACzB,MAAM,EAAE,UAAU;gBAClB,mBAAmB,EAAE,YAAY;gBACjC,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACvC,CAAC;iBACD,KAAK,CAAC,GAAG,EAAE;gBACV,YAAY;YACd,CAAC,CAAC,CAAA;YAEJ,GAAG,CAAC,IAAI,CAAC,qCAAqC,EAAE;gBAC9C,KAAK;gBACL,QAAQ;gBACR,gBAAgB;gBAChB,aAAa;gBACb,kBAAkB;aACnB,CAAC,CAAA;YAEF,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC1B,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,MAAM,QAAQ;iBACX,eAAe,CAAC,QAAQ,EAAE;gBACzB,MAAM,EAAE,QAAQ;gBAChB,mBAAmB,EAAE,YAAY;gBACjC,mBAAmB,EAAE,IAAI;gBACzB,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACvC,CAAC;iBACD,KAAK,CAAC,GAAG,EAAE;gBACV,YAAY;YACd,CAAC,CAAC,CAAA;YAEJ,GAAG,CAAC,IAAI,CAAC,wCAAwC,EAAE;gBACjD,KAAK;gBACL,QAAQ;gBACR,aAAa;gBACb,kBAAkB;aACnB,CAAC,CAAA;YAEF,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AACnD,CAAC"}

package/dist/verification/index.d.ts

@@ -22,4 +22,6 @@ export { SourceAcShelloutCheck, runShelloutCheck } from './checks/index.js';
 export { CATEGORY_SHELLOUT_NPX_FALLBACK } from './findings.js';
 export { CrossStoryConsistencyCheck, runCrossStoryConsistencyCheck, } from './checks/index.js';
 export { CATEGORY_CROSS_STORY_CONCURRENT_MODIFICATION } from './findings.js';
+export { detectStaleVerifications, CommittedAtResolver, runStaleVerificationRecovery, } from './cross-story-race-recovery.js';
+export type { BatchEntry, StaleVerificationRecoveryInput, StaleVerificationRecoveryResult, } from './cross-story-race-recovery.js';
 //# sourceMappingURL=index.d.ts.map

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

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

package/dist/verification/index.js

@@ -26,4 +26,6 @@ export { CATEGORY_SHELLOUT_NPX_FALLBACK } from './findings.js';
 // Story 68-1: cross-story consistency check + finding category
 export { CrossStoryConsistencyCheck, runCrossStoryConsistencyCheck, } from './checks/index.js';
 export { CATEGORY_CROSS_STORY_CONCURRENT_MODIFICATION } from './findings.js';
+// Story 70-1: cross-story race recovery
+export { detectStaleVerifications, CommittedAtResolver, runStaleVerificationRecovery, } from './cross-story-race-recovery.js';
 //# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

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

package/package.json

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