@exaudeus/workrail 3.75.0 → 3.77.0

package/dist/trigger/delivery-pipeline.d.ts

@@ -1,4 +1,4 @@
-import type { WorkflowRunSuccess } from '../daemon/workflow-runner.js';
+import type { WorkflowRunSuccess } from '../daemon/types.js';
 import type { TriggerDefinition } from './types.js';
 import type { ExecFn, HandoffArtifact } from './delivery-action.js';
 import type { ExecutionSessionGateV2 } from '../v2/usecases/execution-session-gate.js';

package/dist/trigger/notification-service.d.ts

@@ -1,4 +1,4 @@
-import type { WorkflowRunResult } from '../daemon/workflow-runner.js';
+import type { WorkflowRunResult } from '../daemon/types.js';
 export type ExecFileNotifyFn = (file: string, args: readonly string[], options: {
     timeout: number;
 }, callback: (error: Error | null) => void) => void;

package/dist/trigger/trigger-listener.js

@@ -49,6 +49,8 @@ const active_sessions_js_1 = require("../daemon/active-sessions.js");
 const config_file_js_1 = require("../config/config-file.js");
 const notification_service_js_1 = require("./notification-service.js");
 const workflow_runner_js_1 = require("../daemon/workflow-runner.js");
+const workflow_enricher_js_1 = require("../daemon/workflow-enricher.js");
+const startup_recovery_js_1 = require("../daemon/startup-recovery.js");
 const types_js_1 = require("./types.js");
 const polling_scheduler_js_1 = require("./polling-scheduler.js");
 const polled_event_store_js_1 = require("./polled-event-store.js");
@@ -226,7 +228,9 @@ async function startTriggerListener(ctx, options) {
         runImplement: implement_js_1.runImplementPipeline,
         runFull: full_pipeline_js_1.runFullPipeline,
     };
-    const runWorkflowFn = options.runWorkflowFn ?? workflow_runner_js_1.runWorkflow;
+    const enricherDeps = (0, workflow_enricher_js_1.createWorkflowEnricherDeps)();
+    const baseRunWorkflow = options.runWorkflowFn ?? workflow_runner_js_1.runWorkflow;
+    const runWorkflowFn = (trigger, ctx, apiKey, daemonRegistry, emitter, activeSessionSet, _statsDir, _sessionsDir, source) => baseRunWorkflow(trigger, ctx, apiKey, daemonRegistry, emitter, activeSessionSet, _statsDir, _sessionsDir, source, enricherDeps);
     const router = new trigger_router_js_1.TriggerRouter(triggerIndex, ctx, apiKey, runWorkflowFn, undefined, maxConcurrentSessions, options.emitter, notificationService, activeSessionSet, coordinatorDeps, modeExecutors);
     coordinatorDeps.setDispatch(router.dispatch.bind(router));
     const app = createTriggerApp(router);
@@ -234,7 +238,7 @@ async function startTriggerListener(ctx, options) {
     const polledEventStore = new polled_event_store_js_1.PolledEventStore(env);
     const pollingScheduler = new polling_scheduler_js_1.PollingScheduler(allTriggers, router, polledEventStore, options.fetchFn);
     pollingScheduler.start();
-    await (0, workflow_runner_js_1.runStartupRecovery)(undefined, undefined, ctx, undefined, undefined, undefined, apiKey).catch((err) => {
+    await (0, startup_recovery_js_1.runStartupRecovery)(undefined, undefined, ctx, undefined, undefined, runWorkflowFn, apiKey).catch((err) => {
         console.warn('[TriggerListener] Startup recovery encountered an unexpected error:', err instanceof Error ? err.message : String(err));
     });
     const portEnv = env['WORKRAIL_TRIGGER_PORT'];

package/dist/trigger/trigger-router.d.ts

@@ -1,4 +1,4 @@
-import type { WorkflowTrigger, WorkflowRunResult, SessionSource } from '../daemon/workflow-runner.js';
+import type { WorkflowTrigger, WorkflowRunResult, SessionSource } from '../daemon/types.js';
 import type { ActiveSessionSet } from '../daemon/active-sessions.js';
 import type { V2ToolContext } from '../mcp/types.js';
 import type { TriggerDefinition, WebhookEvent } from './types.js';
@@ -30,7 +30,7 @@ export type RouteResult = {
     readonly _tag: 'error';
     readonly error: RouteError;
 };
-export type RunWorkflowFn = (trigger: WorkflowTrigger, ctx: V2ToolContext, apiKey: string, daemonRegistry?: import('../v2/infra/in-memory/daemon-registry/index.js').DaemonRegistry, emitter?: DaemonEventEmitter, activeSessionSet?: ActiveSessionSet, _statsDir?: string, _sessionsDir?: string, source?: SessionSource) => Promise<WorkflowRunResult>;
+export type RunWorkflowFn = (trigger: WorkflowTrigger, ctx: V2ToolContext, apiKey: string, daemonRegistry?: import('../v2/infra/in-memory/daemon-registry/index.js').DaemonRegistry, emitter?: DaemonEventEmitter, activeSessionSet?: ActiveSessionSet, _statsDir?: string, _sessionsDir?: string, source?: SessionSource, enricherDeps?: import('../daemon/workflow-enricher.js').WorkflowEnricherDeps) => Promise<WorkflowRunResult>;
 export declare function interpolateGoalTemplate(template: string, staticGoal: string, payload: Readonly<Record<string, unknown>>, triggerId: string): string;
 export declare class TriggerRouter {
     private readonly index;

package/dist/v2/durable-core/domain/artifact-contract-validator.js

@@ -25,6 +25,12 @@ function validateArtifactContract(artifacts, contract) {
             return validateCoordinatorSignalContract(artifacts, contractRef, required);
         case index_js_1.REVIEW_VERDICT_CONTRACT_REF:
             return validateReviewVerdictContract(artifacts, contractRef, required);
+        case index_js_1.DISCOVERY_HANDOFF_CONTRACT_REF:
+            return validateDiscoveryHandoffContract(artifacts, contractRef, required);
+        case index_js_1.SHAPING_HANDOFF_CONTRACT_REF:
+            return validateShapingHandoffContract(artifacts, contractRef, required);
+        case index_js_1.CODING_HANDOFF_CONTRACT_REF:
+            return validateCodingHandoffContract(artifacts, contractRef, required);
         default:
             return {
                 valid: false,
@@ -129,6 +135,99 @@ function validateReviewVerdictContract(artifacts, contractRef, required) {
     }
     return { valid: true, artifact: parseResult.data };
 }
+function validateDiscoveryHandoffContract(artifacts, contractRef, required) {
+    const handoffArtifacts = artifacts.filter(index_js_1.isDiscoveryHandoffArtifact);
+    if (handoffArtifacts.length === 0) {
+        if (required) {
+            return {
+                valid: false,
+                error: {
+                    code: 'MISSING_REQUIRED_ARTIFACT',
+                    contractRef,
+                    message: `Required artifact missing: ${contractRef}. Agent must provide an artifact with kind='wr.discovery_handoff'.`,
+                },
+            };
+        }
+        return { valid: true, artifact: null };
+    }
+    const artifact = handoffArtifacts[0];
+    const parseResult = index_js_1.DiscoveryHandoffArtifactV1Schema.safeParse(artifact);
+    if (!parseResult.success) {
+        const issues = parseResult.error.issues.map((issue) => `${issue.path.join('.')}: ${issue.message}`);
+        return {
+            valid: false,
+            error: {
+                code: 'INVALID_ARTIFACT_SCHEMA',
+                contractRef,
+                message: `Artifact schema validation failed for ${contractRef}`,
+                issues,
+            },
+        };
+    }
+    return { valid: true, artifact: parseResult.data };
+}
+function validateShapingHandoffContract(artifacts, contractRef, required) {
+    const handoffArtifacts = artifacts.filter(index_js_1.isShapingHandoffArtifact);
+    if (handoffArtifacts.length === 0) {
+        if (required) {
+            return {
+                valid: false,
+                error: {
+                    code: 'MISSING_REQUIRED_ARTIFACT',
+                    contractRef,
+                    message: `Required artifact missing: ${contractRef}. Agent must provide an artifact with kind='wr.shaping_handoff'.`,
+                },
+            };
+        }
+        return { valid: true, artifact: null };
+    }
+    const artifact = handoffArtifacts[0];
+    const parseResult = index_js_1.ShapingHandoffArtifactV1Schema.safeParse(artifact);
+    if (!parseResult.success) {
+        const issues = parseResult.error.issues.map((issue) => `${issue.path.join('.')}: ${issue.message}`);
+        return {
+            valid: false,
+            error: {
+                code: 'INVALID_ARTIFACT_SCHEMA',
+                contractRef,
+                message: `Artifact schema validation failed for ${contractRef}`,
+                issues,
+            },
+        };
+    }
+    return { valid: true, artifact: parseResult.data };
+}
+function validateCodingHandoffContract(artifacts, contractRef, required) {
+    const handoffArtifacts = artifacts.filter(index_js_1.isCodingHandoffArtifact);
+    if (handoffArtifacts.length === 0) {
+        if (required) {
+            return {
+                valid: false,
+                error: {
+                    code: 'MISSING_REQUIRED_ARTIFACT',
+                    contractRef,
+                    message: `Required artifact missing: ${contractRef}. Agent must provide an artifact with kind='wr.coding_handoff'.`,
+                },
+            };
+        }
+        return { valid: true, artifact: null };
+    }
+    const artifact = handoffArtifacts[0];
+    const parseResult = index_js_1.CodingHandoffArtifactV1Schema.safeParse(artifact);
+    if (!parseResult.success) {
+        const issues = parseResult.error.issues.map((issue) => `${issue.path.join('.')}: ${issue.message}`);
+        return {
+            valid: false,
+            error: {
+                code: 'INVALID_ARTIFACT_SCHEMA',
+                contractRef,
+                message: `Artifact schema validation failed for ${contractRef}`,
+                issues,
+            },
+        };
+    }
+    return { valid: true, artifact: parseResult.data };
+}
 function requiresArtifactValidation(outputContract) {
     if (!outputContract)
         return false;

package/dist/v2/durable-core/schemas/artifacts/discovery-handoff.d.ts

@@ -7,6 +7,27 @@ export declare const DiscoveryHandoffArtifactV1Schema: z.ZodObject<{
     designDocPath: z.ZodString;
     confidenceBand: z.ZodEnum<["high", "medium", "low"]>;
     keyInvariants: z.ZodArray<z.ZodString, "many">;
+    rejectedDirections: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        direction: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        reason: string;
+        direction: string;
+    }, {
+        reason: string;
+        direction: string;
+    }>, "many">>;
+    implementationConstraints: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    keyCodebaseLocations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        relevance: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        relevance: string;
+    }, {
+        path: string;
+        relevance: string;
+    }>, "many">>;
 }, "strict", z.ZodTypeAny, {
     kind: "wr.discovery_handoff";
     version: 1;
@@ -14,6 +35,15 @@ export declare const DiscoveryHandoffArtifactV1Schema: z.ZodObject<{
     designDocPath: string;
     confidenceBand: "low" | "high" | "medium";
     keyInvariants: string[];
+    rejectedDirections?: {
+        reason: string;
+        direction: string;
+    }[] | undefined;
+    implementationConstraints?: string[] | undefined;
+    keyCodebaseLocations?: {
+        path: string;
+        relevance: string;
+    }[] | undefined;
 }, {
     kind: "wr.discovery_handoff";
     version: 1;
@@ -21,6 +51,15 @@ export declare const DiscoveryHandoffArtifactV1Schema: z.ZodObject<{
     designDocPath: string;
     confidenceBand: "low" | "high" | "medium";
     keyInvariants: string[];
+    rejectedDirections?: {
+        reason: string;
+        direction: string;
+    }[] | undefined;
+    implementationConstraints?: string[] | undefined;
+    keyCodebaseLocations?: {
+        path: string;
+        relevance: string;
+    }[] | undefined;
 }>;
 export type DiscoveryHandoffArtifactV1 = z.infer<typeof DiscoveryHandoffArtifactV1Schema>;
 export declare function isDiscoveryHandoffArtifact(artifact: unknown): artifact is {

package/dist/v2/durable-core/schemas/artifacts/discovery-handoff.js

@@ -12,7 +12,16 @@ exports.DiscoveryHandoffArtifactV1Schema = zod_1.z
     selectedDirection: zod_1.z.string().min(1),
     designDocPath: zod_1.z.string(),
     confidenceBand: zod_1.z.enum(['high', 'medium', 'low']),
-    keyInvariants: zod_1.z.array(zod_1.z.string().min(1)),
+    keyInvariants: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(12),
+    rejectedDirections: zod_1.z.array(zod_1.z.object({
+        direction: zod_1.z.string().min(1).max(200),
+        reason: zod_1.z.string().min(1).max(300),
+    })).max(5).optional(),
+    implementationConstraints: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(8).optional(),
+    keyCodebaseLocations: zod_1.z.array(zod_1.z.object({
+        path: zod_1.z.string().min(1).max(300),
+        relevance: zod_1.z.string().min(1).max(150),
+    })).max(10).optional(),
 })
     .strict();
 function isDiscoveryHandoffArtifact(artifact) {

package/dist/v2/durable-core/schemas/artifacts/index.d.ts

@@ -3,6 +3,7 @@ export { LOOP_CONTROL_CONTRACT_REF, LoopControlDecisionSchema, LoopControlMetada
 export { COORDINATOR_SIGNAL_CONTRACT_REF, CoordinatorSignalKindSchema, CoordinatorSignalArtifactV1Schema, isCoordinatorSignalArtifact, parseCoordinatorSignalArtifact, type CoordinatorSignalKind, type CoordinatorSignalArtifactV1, } from './coordinator-signal.js';
 export { REVIEW_VERDICT_CONTRACT_REF, ReviewVerdictArtifactV1Schema, isReviewVerdictArtifact, parseReviewVerdictArtifact, type ReviewVerdictArtifactV1, } from './review-verdict.js';
 export { DISCOVERY_HANDOFF_CONTRACT_REF, DiscoveryHandoffArtifactV1Schema, isDiscoveryHandoffArtifact, parseDiscoveryHandoffArtifact, type DiscoveryHandoffArtifactV1, } from './discovery-handoff.js';
-export declare const ARTIFACT_CONTRACT_REFS: readonly ["wr.contracts.assessment", "wr.contracts.loop_control", "wr.contracts.coordinator_signal", "wr.contracts.review_verdict", "wr.contracts.discovery_handoff"];
+export { SHAPING_HANDOFF_CONTRACT_REF, ShapingHandoffArtifactV1Schema, isShapingHandoffArtifact, parseShapingHandoffArtifact, type ShapingHandoffArtifactV1, CODING_HANDOFF_CONTRACT_REF, CodingHandoffArtifactV1Schema, isCodingHandoffArtifact, parseCodingHandoffArtifact, type CodingHandoffArtifactV1, type PhaseHandoffArtifact, } from './phase-handoff.js';
+export declare const ARTIFACT_CONTRACT_REFS: readonly ["wr.contracts.assessment", "wr.contracts.loop_control", "wr.contracts.coordinator_signal", "wr.contracts.review_verdict", "wr.contracts.discovery_handoff", "wr.contracts.shaping_handoff", "wr.contracts.coding_handoff"];
 export type ArtifactContractRef = (typeof ARTIFACT_CONTRACT_REFS)[number];
 export declare function isValidContractRef(ref: string): ref is ArtifactContractRef;

package/dist/v2/durable-core/schemas/artifacts/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ARTIFACT_CONTRACT_REFS = exports.parseDiscoveryHandoffArtifact = exports.isDiscoveryHandoffArtifact = exports.DiscoveryHandoffArtifactV1Schema = exports.DISCOVERY_HANDOFF_CONTRACT_REF = exports.parseReviewVerdictArtifact = exports.isReviewVerdictArtifact = exports.ReviewVerdictArtifactV1Schema = exports.REVIEW_VERDICT_CONTRACT_REF = exports.parseCoordinatorSignalArtifact = exports.isCoordinatorSignalArtifact = exports.CoordinatorSignalArtifactV1Schema = exports.CoordinatorSignalKindSchema = exports.COORDINATOR_SIGNAL_CONTRACT_REF = exports.findLoopControlArtifact = exports.parseLoopControlArtifact = exports.isLoopControlArtifact = exports.LoopControlArtifactV1Schema = exports.LoopControlMetadataV1Schema = exports.LoopControlDecisionSchema = exports.LOOP_CONTROL_CONTRACT_REF = exports.parseAssessmentArtifact = exports.isAssessmentArtifact = exports.AssessmentDimensionSubmissionSchema = exports.AssessmentArtifactV1Schema = exports.ASSESSMENT_CONTRACT_REF = void 0;
+exports.ARTIFACT_CONTRACT_REFS = exports.parseCodingHandoffArtifact = exports.isCodingHandoffArtifact = exports.CodingHandoffArtifactV1Schema = exports.CODING_HANDOFF_CONTRACT_REF = exports.parseShapingHandoffArtifact = exports.isShapingHandoffArtifact = exports.ShapingHandoffArtifactV1Schema = exports.SHAPING_HANDOFF_CONTRACT_REF = exports.parseDiscoveryHandoffArtifact = exports.isDiscoveryHandoffArtifact = exports.DiscoveryHandoffArtifactV1Schema = exports.DISCOVERY_HANDOFF_CONTRACT_REF = exports.parseReviewVerdictArtifact = exports.isReviewVerdictArtifact = exports.ReviewVerdictArtifactV1Schema = exports.REVIEW_VERDICT_CONTRACT_REF = exports.parseCoordinatorSignalArtifact = exports.isCoordinatorSignalArtifact = exports.CoordinatorSignalArtifactV1Schema = exports.CoordinatorSignalKindSchema = exports.COORDINATOR_SIGNAL_CONTRACT_REF = exports.findLoopControlArtifact = exports.parseLoopControlArtifact = exports.isLoopControlArtifact = exports.LoopControlArtifactV1Schema = exports.LoopControlMetadataV1Schema = exports.LoopControlDecisionSchema = exports.LOOP_CONTROL_CONTRACT_REF = exports.parseAssessmentArtifact = exports.isAssessmentArtifact = exports.AssessmentDimensionSubmissionSchema = exports.AssessmentArtifactV1Schema = exports.ASSESSMENT_CONTRACT_REF = void 0;
 exports.isValidContractRef = isValidContractRef;
 var assessment_js_1 = require("./assessment.js");
 Object.defineProperty(exports, "ASSESSMENT_CONTRACT_REF", { enumerable: true, get: function () { return assessment_js_1.ASSESSMENT_CONTRACT_REF; } });
@@ -32,12 +32,23 @@ Object.defineProperty(exports, "DISCOVERY_HANDOFF_CONTRACT_REF", { enumerable: t
 Object.defineProperty(exports, "DiscoveryHandoffArtifactV1Schema", { enumerable: true, get: function () { return discovery_handoff_js_1.DiscoveryHandoffArtifactV1Schema; } });
 Object.defineProperty(exports, "isDiscoveryHandoffArtifact", { enumerable: true, get: function () { return discovery_handoff_js_1.isDiscoveryHandoffArtifact; } });
 Object.defineProperty(exports, "parseDiscoveryHandoffArtifact", { enumerable: true, get: function () { return discovery_handoff_js_1.parseDiscoveryHandoffArtifact; } });
+var phase_handoff_js_1 = require("./phase-handoff.js");
+Object.defineProperty(exports, "SHAPING_HANDOFF_CONTRACT_REF", { enumerable: true, get: function () { return phase_handoff_js_1.SHAPING_HANDOFF_CONTRACT_REF; } });
+Object.defineProperty(exports, "ShapingHandoffArtifactV1Schema", { enumerable: true, get: function () { return phase_handoff_js_1.ShapingHandoffArtifactV1Schema; } });
+Object.defineProperty(exports, "isShapingHandoffArtifact", { enumerable: true, get: function () { return phase_handoff_js_1.isShapingHandoffArtifact; } });
+Object.defineProperty(exports, "parseShapingHandoffArtifact", { enumerable: true, get: function () { return phase_handoff_js_1.parseShapingHandoffArtifact; } });
+Object.defineProperty(exports, "CODING_HANDOFF_CONTRACT_REF", { enumerable: true, get: function () { return phase_handoff_js_1.CODING_HANDOFF_CONTRACT_REF; } });
+Object.defineProperty(exports, "CodingHandoffArtifactV1Schema", { enumerable: true, get: function () { return phase_handoff_js_1.CodingHandoffArtifactV1Schema; } });
+Object.defineProperty(exports, "isCodingHandoffArtifact", { enumerable: true, get: function () { return phase_handoff_js_1.isCodingHandoffArtifact; } });
+Object.defineProperty(exports, "parseCodingHandoffArtifact", { enumerable: true, get: function () { return phase_handoff_js_1.parseCodingHandoffArtifact; } });
 exports.ARTIFACT_CONTRACT_REFS = [
     'wr.contracts.assessment',
     'wr.contracts.loop_control',
     'wr.contracts.coordinator_signal',
     'wr.contracts.review_verdict',
     'wr.contracts.discovery_handoff',
+    'wr.contracts.shaping_handoff',
+    'wr.contracts.coding_handoff',
 ];
 function isValidContractRef(ref) {
     return exports.ARTIFACT_CONTRACT_REFS.includes(ref);

package/dist/v2/durable-core/schemas/artifacts/phase-handoff.d.ts

@@ -0,0 +1,89 @@
+import { z } from 'zod';
+import type { DiscoveryHandoffArtifactV1 } from './discovery-handoff.js';
+export declare const SHAPING_HANDOFF_CONTRACT_REF: "wr.contracts.shaping_handoff";
+export declare const ShapingHandoffArtifactV1Schema: z.ZodObject<{
+    kind: z.ZodLiteral<"wr.shaping_handoff">;
+    version: z.ZodLiteral<1>;
+    pitchPath: z.ZodString;
+    selectedShape: z.ZodString;
+    appetite: z.ZodString;
+    keyConstraints: z.ZodArray<z.ZodString, "many">;
+    rabbitHoles: z.ZodArray<z.ZodString, "many">;
+    outOfScope: z.ZodArray<z.ZodString, "many">;
+    validationChecklist: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    kind: "wr.shaping_handoff";
+    version: 1;
+    pitchPath: string;
+    selectedShape: string;
+    appetite: string;
+    keyConstraints: string[];
+    rabbitHoles: string[];
+    outOfScope: string[];
+    validationChecklist: string[];
+}, {
+    kind: "wr.shaping_handoff";
+    version: 1;
+    pitchPath: string;
+    selectedShape: string;
+    appetite: string;
+    keyConstraints: string[];
+    rabbitHoles: string[];
+    outOfScope: string[];
+    validationChecklist: string[];
+}>;
+export type ShapingHandoffArtifactV1 = z.infer<typeof ShapingHandoffArtifactV1Schema>;
+export declare function isShapingHandoffArtifact(artifact: unknown): artifact is {
+    readonly kind: 'wr.shaping_handoff';
+};
+export declare function parseShapingHandoffArtifact(artifact: unknown): ShapingHandoffArtifactV1 | null;
+export declare const CODING_HANDOFF_CONTRACT_REF: "wr.contracts.coding_handoff";
+export declare const CodingHandoffArtifactV1Schema: z.ZodObject<{
+    kind: z.ZodLiteral<"wr.coding_handoff">;
+    version: z.ZodLiteral<1>;
+    branchName: z.ZodString;
+    keyDecisions: z.ZodArray<z.ZodString, "many">;
+    knownLimitations: z.ZodArray<z.ZodString, "many">;
+    testsAdded: z.ZodArray<z.ZodString, "many">;
+    filesChanged: z.ZodArray<z.ZodString, "many">;
+    correctedAssumptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        assumed: z.ZodString;
+        actual: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        assumed: string;
+        actual: string;
+    }, {
+        assumed: string;
+        actual: string;
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    kind: "wr.coding_handoff";
+    version: 1;
+    branchName: string;
+    keyDecisions: string[];
+    knownLimitations: string[];
+    testsAdded: string[];
+    filesChanged: string[];
+    correctedAssumptions?: {
+        assumed: string;
+        actual: string;
+    }[] | undefined;
+}, {
+    kind: "wr.coding_handoff";
+    version: 1;
+    branchName: string;
+    keyDecisions: string[];
+    knownLimitations: string[];
+    testsAdded: string[];
+    filesChanged: string[];
+    correctedAssumptions?: {
+        assumed: string;
+        actual: string;
+    }[] | undefined;
+}>;
+export type CodingHandoffArtifactV1 = z.infer<typeof CodingHandoffArtifactV1Schema>;
+export declare function isCodingHandoffArtifact(artifact: unknown): artifact is {
+    readonly kind: 'wr.coding_handoff';
+};
+export declare function parseCodingHandoffArtifact(artifact: unknown): CodingHandoffArtifactV1 | null;
+export type PhaseHandoffArtifact = DiscoveryHandoffArtifactV1 | ShapingHandoffArtifactV1 | CodingHandoffArtifactV1;

package/dist/v2/durable-core/schemas/artifacts/phase-handoff.js

@@ -0,0 +1,56 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CodingHandoffArtifactV1Schema = exports.CODING_HANDOFF_CONTRACT_REF = exports.ShapingHandoffArtifactV1Schema = exports.SHAPING_HANDOFF_CONTRACT_REF = void 0;
+exports.isShapingHandoffArtifact = isShapingHandoffArtifact;
+exports.parseShapingHandoffArtifact = parseShapingHandoffArtifact;
+exports.isCodingHandoffArtifact = isCodingHandoffArtifact;
+exports.parseCodingHandoffArtifact = parseCodingHandoffArtifact;
+const zod_1 = require("zod");
+exports.SHAPING_HANDOFF_CONTRACT_REF = 'wr.contracts.shaping_handoff';
+exports.ShapingHandoffArtifactV1Schema = zod_1.z
+    .object({
+    kind: zod_1.z.literal('wr.shaping_handoff'),
+    version: zod_1.z.literal(1),
+    pitchPath: zod_1.z.string().min(1),
+    selectedShape: zod_1.z.string().min(1).max(200),
+    appetite: zod_1.z.string().min(1).max(100),
+    keyConstraints: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(8),
+    rabbitHoles: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(6),
+    outOfScope: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(6),
+    validationChecklist: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(10),
+})
+    .strict();
+function isShapingHandoffArtifact(artifact) {
+    return (typeof artifact === 'object' &&
+        artifact !== null &&
+        artifact.kind === 'wr.shaping_handoff');
+}
+function parseShapingHandoffArtifact(artifact) {
+    const result = exports.ShapingHandoffArtifactV1Schema.safeParse(artifact);
+    return result.success ? result.data : null;
+}
+exports.CODING_HANDOFF_CONTRACT_REF = 'wr.contracts.coding_handoff';
+exports.CodingHandoffArtifactV1Schema = zod_1.z
+    .object({
+    kind: zod_1.z.literal('wr.coding_handoff'),
+    version: zod_1.z.literal(1),
+    branchName: zod_1.z.string().min(1),
+    keyDecisions: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(8),
+    knownLimitations: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(6),
+    testsAdded: zod_1.z.array(zod_1.z.string().min(1).max(200)).max(10),
+    filesChanged: zod_1.z.array(zod_1.z.string().min(1).max(300)).max(20),
+    correctedAssumptions: zod_1.z.array(zod_1.z.object({
+        assumed: zod_1.z.string().min(1).max(200),
+        actual: zod_1.z.string().min(1).max(200),
+    })).max(6).optional(),
+})
+    .strict();
+function isCodingHandoffArtifact(artifact) {
+    return (typeof artifact === 'object' &&
+        artifact !== null &&
+        artifact.kind === 'wr.coding_handoff');
+}
+function parseCodingHandoffArtifact(artifact) {
+    const result = exports.CodingHandoffArtifactV1Schema.safeParse(artifact);
+    return result.success ? result.data : null;
+}

package/docs/authoring-v2.md

@@ -434,6 +434,18 @@ WorkRail v2 provides **built-in** building blocks that workflows (including exte
 - **Features**: deterministic, closed-set “middleware” applied by WorkRail (e.g., tier-aware instructions, formatting, durable recap guidance).
 - **Contract packs**: server-side definitions for allowed artifact kinds and small examples (no schema authoring required by workflow authors).
 
+**Available contract refs** (use in `outputContract: { contractRef: "..." }`):
+
+| contractRef | Artifact kind | Emitted by |
+|---|---|---|
+| `wr.contracts.loop_control` | `wr.loop_control` | Loop body exit steps |
+| `wr.contracts.coordinator_signal` | `wr.coordinator_signal` | Coordinator signal steps |
+| `wr.contracts.review_verdict` | `wr.review_verdict` | Review workflow final step |
+| `wr.contracts.discovery_handoff` | `wr.discovery_handoff` | Discovery workflow handoff step |
+| `wr.contracts.shaping_handoff` | `wr.shaping_handoff` | Shaping workflow finalize step |
+| `wr.contracts.coding_handoff` | `wr.coding_handoff` | Coding workflow retrospective step |
+| `wr.contracts.assessment` | `wr.assessment` | Assessment gate steps |
+
 External workflows can reference these builtins, but cannot define arbitrary new plugin code.
 
 ### Where injections happen: templates as anchors