@exaudeus/workrail 1.7.1 → 1.7.3

package/dist/mcp/validation/schema-introspection.js

@@ -44,7 +44,7 @@ function findMissingRequiredKeys(args, schema) {
     const requiredKeys = extractRequiredKeys(schema);
     return requiredKeys.filter(key => !providedKeys.has(key));
 }
-function generateExampleValue(schema, depth = 0, maxDepth = 3) {
+function generateExampleValue(schema, depth = 0, maxDepth = 3, includeOptional = false) {
     if (depth > maxDepth) {
         return '...';
     }
@@ -52,23 +52,23 @@ function generateExampleValue(schema, depth = 0, maxDepth = 3) {
         return schema._def.defaultValue();
     }
     if (schema instanceof zod_1.z.ZodOptional) {
-        return generateExampleValue(schema._def.innerType, depth, maxDepth);
+        return generateExampleValue(schema._def.innerType, depth, maxDepth, includeOptional);
     }
     if (schema instanceof zod_1.z.ZodObject) {
         const shape = schema._def.shape();
         const result = {};
         for (const [key, value] of Object.entries(shape)) {
             const field = value;
-            if (field instanceof zod_1.z.ZodOptional)
+            if (!includeOptional && field instanceof zod_1.z.ZodOptional)
                 continue;
-            result[key] = generateExampleValue(field, depth + 1, maxDepth);
+            result[key] = generateExampleValue(field, depth + 1, maxDepth, includeOptional);
         }
         return result;
     }
     if (schema instanceof zod_1.z.ZodDiscriminatedUnion) {
         const options = schema._def.options;
         if (options.length > 0) {
-            return generateExampleValue(options[0], depth + 1, maxDepth);
+            return generateExampleValue(options[0], depth + 1, maxDepth, includeOptional);
         }
         return {};
     }
@@ -105,15 +105,15 @@ function generateExampleValue(schema, depth = 0, maxDepth = 3) {
         return '<any>';
     }
     if (schema instanceof zod_1.z.ZodEffects) {
-        return generateExampleValue(schema._def.schema, depth, maxDepth);
+        return generateExampleValue(schema._def.schema, depth, maxDepth, includeOptional);
     }
     return '<unknown>';
 }
-function generateTemplate(schema, maxDepth = 3) {
+function generateTemplate(schema, maxDepth = 3, includeOptional = false) {
     if (!(schema instanceof zod_1.z.ZodObject)) {
         return null;
     }
-    const example = generateExampleValue(schema, 0, maxDepth);
+    const example = generateExampleValue(schema, 0, maxDepth, includeOptional);
     if (typeof example === 'object' && example !== null) {
         return example;
     }

package/dist/mcp/validation/suggestion-config.d.ts

@@ -4,6 +4,7 @@ export interface SuggestionConfig {
     readonly maxSuggestions: number;
     readonly includeTemplate: boolean;
     readonly maxTemplateDepth: number;
+    readonly includeOptionalInTemplate: boolean;
 }
 export declare const DEFAULT_SUGGESTION_CONFIG: SuggestionConfig;
 export declare const MINIMAL_SUGGESTION_CONFIG: SuggestionConfig;

package/dist/mcp/validation/suggestion-config.js

@@ -7,10 +7,12 @@ exports.DEFAULT_SUGGESTION_CONFIG = {
     maxSuggestions: 3,
     includeTemplate: true,
     maxTemplateDepth: 3,
+    includeOptionalInTemplate: true,
 };
 exports.MINIMAL_SUGGESTION_CONFIG = {
     similarityThreshold: (0, suggestion_types_js_1.similarity)(0.7),
     maxSuggestions: 1,
     includeTemplate: false,
     maxTemplateDepth: 1,
+    includeOptionalInTemplate: false,
 };

package/dist/mcp/validation/suggestion-generator.js

@@ -56,7 +56,7 @@ function generateSuggestions(args, schema, config) {
         return suggestion_types_js_1.EMPTY_SUGGESTION_RESULT;
     }
     const correctTemplate = config.includeTemplate
-        ? (0, schema_introspection_js_1.generateTemplate)(schema, config.maxTemplateDepth)
+        ? (0, schema_introspection_js_1.generateTemplate)(schema, config.maxTemplateDepth, config.includeOptionalInTemplate)
         : null;
     return {
         suggestions,

package/dist/types/workflow-definition.d.ts

@@ -15,6 +15,7 @@ export interface WorkflowStepDefinition {
     readonly runCondition?: Readonly<Record<string, unknown>>;
     readonly validationCriteria?: ValidationCriteria;
     readonly outputContract?: OutputContract;
+    readonly notesOptional?: boolean;
     readonly functionDefinitions?: readonly FunctionDefinition[];
     readonly functionCalls?: readonly FunctionCall[];
     readonly functionReferences?: readonly string[];

package/dist/v2/durable-core/domain/blocked-node-builder.js

@@ -13,6 +13,8 @@ function toContractViolationReason(reason) {
             return { kind: 'missing_context_key', key: reason.key };
         case 'context_budget_exceeded':
             return { kind: 'context_budget_exceeded' };
+        case 'missing_notes':
+            return { kind: 'missing_notes', stepId: reason.stepId };
         default:
             return null;
     }

package/dist/v2/durable-core/domain/blocking-decision.d.ts

@@ -31,4 +31,7 @@ export declare function detectBlockingReasonsV1(args: {
     readonly contextBudgetExceeded?: boolean;
     readonly outputRequirement?: OutputRequirementStatus;
     readonly capabilityRequirement?: CapabilityRequirementStatus;
+    readonly missingNotes?: {
+        readonly stepId: string;
+    };
 }): Result<readonly ReasonV1[], BlockingDecisionError>;

package/dist/v2/durable-core/domain/blocking-decision.js

@@ -54,5 +54,14 @@ function detectBlockingReasonsV1(args) {
             }
         }
     }
+    if (args.missingNotes) {
+        if (!constants_js_1.DELIMITER_SAFE_ID_PATTERN.test(args.missingNotes.stepId)) {
+            return (0, neverthrow_1.err)({
+                code: 'INVALID_DELIMITER_SAFE_ID',
+                message: `step ID must be delimiter-safe: [a-z0-9_-]+ (got: ${args.missingNotes.stepId})`,
+            });
+        }
+        reasons.push({ kind: 'missing_notes', stepId: args.missingNotes.stepId });
+    }
     return (0, neverthrow_1.ok)(reasons);
 }

package/dist/v2/durable-core/domain/prompt-renderer.js

@@ -166,7 +166,12 @@ function renderPendingPrompt(args) {
     const contractSection = contractRequirements.length > 0
         ? `\n\n**OUTPUT REQUIREMENTS (System):**\n${contractRequirements.map(r => `- ${r}`).join('\n')}`
         : '';
-    const enhancedPrompt = basePrompt + requirementsSection + contractSection;
+    const isNotesOptional = outputContract !== undefined ||
+        (step !== null && step !== undefined && 'notesOptional' in step && step.notesOptional === true);
+    const notesSection = isNotesOptional
+        ? ''
+        : '\n\n**NOTES REQUIRED (System):** You must include `output.notesMarkdown` documenting what you did and why. Omitting notes will block this step — use the `retryAckToken` to fix and retry.';
+    const enhancedPrompt = basePrompt + requirementsSection + contractSection + notesSection;
     if (!args.rehydrateOnly) {
         return (0, neverthrow_1.ok)({ stepId: args.stepId, title: baseTitle, prompt: enhancedPrompt, requireConfirmation });
     }

package/dist/v2/durable-core/domain/reason-model.d.ts

@@ -8,7 +8,7 @@ export type GapReasonV1 = {
     readonly detail: UserOnlyDependencyReasonV1;
 } | {
     readonly category: 'contract_violation';
-    readonly detail: 'missing_required_output' | 'invalid_required_output';
+    readonly detail: 'missing_required_output' | 'invalid_required_output' | 'missing_required_notes';
 } | {
     readonly category: 'capability_missing';
     readonly detail: 'required_capability_unavailable' | 'required_capability_unknown';
@@ -16,7 +16,7 @@ export type GapReasonV1 = {
     readonly category: 'unexpected';
     readonly detail: 'invariant_violation' | 'storage_corruption_detected' | 'evaluation_error';
 };
-export type BlockerCodeV1 = 'USER_ONLY_DEPENDENCY' | 'MISSING_REQUIRED_OUTPUT' | 'INVALID_REQUIRED_OUTPUT' | 'REQUIRED_CAPABILITY_UNKNOWN' | 'REQUIRED_CAPABILITY_UNAVAILABLE' | 'INVARIANT_VIOLATION' | 'STORAGE_CORRUPTION_DETECTED';
+export type BlockerCodeV1 = 'USER_ONLY_DEPENDENCY' | 'MISSING_REQUIRED_OUTPUT' | 'INVALID_REQUIRED_OUTPUT' | 'MISSING_REQUIRED_NOTES' | 'MISSING_CONTEXT_KEY' | 'CONTEXT_BUDGET_EXCEEDED' | 'REQUIRED_CAPABILITY_UNKNOWN' | 'REQUIRED_CAPABILITY_UNAVAILABLE' | 'INVARIANT_VIOLATION' | 'STORAGE_CORRUPTION_DETECTED';
 export type BlockerPointerV1 = {
     readonly kind: 'context_key';
     readonly key: string;
@@ -52,6 +52,9 @@ export type ReasonV1 = {
 } | {
     readonly kind: 'invalid_required_output';
     readonly contractRef: string;
+} | {
+    readonly kind: 'missing_notes';
+    readonly stepId: string;
 } | {
     readonly kind: 'required_capability_unknown';
     readonly capability: CapabilityV2;

package/dist/v2/durable-core/domain/reason-model.js

@@ -58,6 +58,12 @@ function reasonToGap(reason) {
                 reason: { category: 'contract_violation', detail: 'invalid_required_output' },
                 summary: `Invalid required output for contractRef=${reason.contractRef}`,
             };
+        case 'missing_notes':
+            return {
+                severity: 'critical',
+                reason: { category: 'contract_violation', detail: 'missing_required_notes' },
+                summary: `Missing required notes for stepId=${reason.stepId}`,
+            };
         case 'required_capability_unknown':
             return {
                 severity: 'critical',
@@ -137,7 +143,7 @@ function reasonToBlocker(reason) {
         case 'missing_context_key':
             return ensureDelimiterSafeId('context_key.key', reason.key)
                 .map((key) => ({
-                code: 'INVARIANT_VIOLATION',
+                code: 'MISSING_CONTEXT_KEY',
                 pointer: { kind: 'context_key', key },
                 message: `Missing required context key: ${key}`,
                 suggestedFix: `Include context.${key} (delimiter-safe key) in the next continue_workflow call.`,
@@ -145,7 +151,7 @@ function reasonToBlocker(reason) {
                 .andThen(ensureBlockerTextBudgets);
         case 'context_budget_exceeded':
             return ensureBlockerTextBudgets({
-                code: 'INVARIANT_VIOLATION',
+                code: 'CONTEXT_BUDGET_EXCEEDED',
                 pointer: { kind: 'context_budget' },
                 message: 'Context exceeded the allowed budget or was non-serializable.',
                 suggestedFix: 'Remove large blobs from context and pass only small external inputs (IDs, paths, parameters).',
@@ -168,6 +174,15 @@ function reasonToBlocker(reason) {
                 suggestedFix: 'Update output.notesMarkdown to satisfy validation. Then call continue_workflow WITHOUT ackToken (rehydrate) to receive a fresh ackToken, and retry advance with that new ackToken. Replaying the same ackToken is idempotent and will keep returning this blocked result.',
             }))
                 .andThen(ensureBlockerTextBudgets);
+        case 'missing_notes':
+            return ensureDelimiterSafeId('workflow_step.stepId', reason.stepId)
+                .map((stepId) => ({
+                code: 'MISSING_REQUIRED_NOTES',
+                pointer: { kind: 'workflow_step', stepId },
+                message: `Step "${stepId}" requires notes documenting your work (output.notesMarkdown).`,
+                suggestedFix: 'Add output.notesMarkdown with meaningful documentation of what you did and why. Use the retryAckToken to retry without rehydrating.',
+            }))
+                .andThen(ensureBlockerTextBudgets);
         case 'required_capability_unknown':
             return ensureBlockerTextBudgets({
                 code: 'REQUIRED_CAPABILITY_UNKNOWN',

package/dist/v2/durable-core/domain/risk-policy-guardrails.js

@@ -6,6 +6,7 @@ function isNeverDowngradable(reason) {
     switch (reason.kind) {
         case 'missing_required_output':
         case 'invalid_required_output':
+        case 'missing_notes':
             return true;
         case 'user_only_dependency':
             return true;

package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.d.ts

@@ -32,6 +32,15 @@ export declare const ContractViolationReasonV1Schema: z.ZodDiscriminatedUnion<"k
     kind: "context_budget_exceeded";
 }, {
     kind: "context_budget_exceeded";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"missing_notes">;
+    stepId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    kind: "missing_notes";
+    stepId: string;
+}, {
+    kind: "missing_notes";
+    stepId: string;
 }>]>;
 export declare const TerminalReasonV1Schema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
     kind: z.ZodLiteral<"user_only_dependency">;
@@ -117,12 +126,21 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
         kind: "context_budget_exceeded";
     }, {
         kind: "context_budget_exceeded";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"missing_notes">;
+        stepId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "missing_notes";
+        stepId: string;
+    }, {
+        kind: "missing_notes";
+        stepId: string;
     }>]>;
     retryAttemptId: z.ZodString;
     validationRef: z.ZodString;
     blockers: z.ZodReadonly<z.ZodObject<{
         blockers: z.ZodReadonly<z.ZodArray<z.ZodObject<{
-            code: z.ZodEnum<["USER_ONLY_DEPENDENCY", "MISSING_REQUIRED_OUTPUT", "INVALID_REQUIRED_OUTPUT", "REQUIRED_CAPABILITY_UNKNOWN", "REQUIRED_CAPABILITY_UNAVAILABLE", "INVARIANT_VIOLATION", "STORAGE_CORRUPTION_DETECTED"]>;
+            code: z.ZodEnum<["USER_ONLY_DEPENDENCY", "MISSING_REQUIRED_OUTPUT", "INVALID_REQUIRED_OUTPUT", "MISSING_REQUIRED_NOTES", "MISSING_CONTEXT_KEY", "CONTEXT_BUDGET_EXCEEDED", "REQUIRED_CAPABILITY_UNKNOWN", "REQUIRED_CAPABILITY_UNAVAILABLE", "INVARIANT_VIOLATION", "STORAGE_CORRUPTION_DETECTED"]>;
             pointer: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
                 kind: z.ZodLiteral<"context_key">;
                 key: z.ZodString;
@@ -170,7 +188,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
             suggestedFix: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
         }, "strip", z.ZodTypeAny, {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -189,7 +207,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
             suggestedFix?: string | undefined;
         }, {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -210,7 +228,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     }, "strip", z.ZodTypeAny, {
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -231,7 +249,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     }, {
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -262,12 +280,15 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
         kind: "missing_context_key";
     } | {
         kind: "context_budget_exceeded";
+    } | {
+        kind: "missing_notes";
+        stepId: string;
     };
     kind: "retryable_block";
     blockers: Readonly<{
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -300,12 +321,15 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
         kind: "missing_context_key";
     } | {
         kind: "context_budget_exceeded";
+    } | {
+        kind: "missing_notes";
+        stepId: string;
     };
     kind: "retryable_block";
     blockers: Readonly<{
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -380,7 +404,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     validationRef: z.ZodOptional<z.ZodString>;
     blockers: z.ZodReadonly<z.ZodObject<{
         blockers: z.ZodReadonly<z.ZodArray<z.ZodObject<{
-            code: z.ZodEnum<["USER_ONLY_DEPENDENCY", "MISSING_REQUIRED_OUTPUT", "INVALID_REQUIRED_OUTPUT", "REQUIRED_CAPABILITY_UNKNOWN", "REQUIRED_CAPABILITY_UNAVAILABLE", "INVARIANT_VIOLATION", "STORAGE_CORRUPTION_DETECTED"]>;
+            code: z.ZodEnum<["USER_ONLY_DEPENDENCY", "MISSING_REQUIRED_OUTPUT", "INVALID_REQUIRED_OUTPUT", "MISSING_REQUIRED_NOTES", "MISSING_CONTEXT_KEY", "CONTEXT_BUDGET_EXCEEDED", "REQUIRED_CAPABILITY_UNKNOWN", "REQUIRED_CAPABILITY_UNAVAILABLE", "INVARIANT_VIOLATION", "STORAGE_CORRUPTION_DETECTED"]>;
             pointer: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
                 kind: z.ZodLiteral<"context_key">;
                 key: z.ZodString;
@@ -428,7 +452,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
             suggestedFix: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
         }, "strip", z.ZodTypeAny, {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -447,7 +471,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
             suggestedFix?: string | undefined;
         }, {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -468,7 +492,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     }, "strip", z.ZodTypeAny, {
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -489,7 +513,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     }, {
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -530,7 +554,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     blockers: Readonly<{
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";
@@ -572,7 +596,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
     blockers: Readonly<{
         blockers: readonly {
             message: string;
-            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
+            code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "MISSING_REQUIRED_NOTES" | "MISSING_CONTEXT_KEY" | "CONTEXT_BUDGET_EXCEEDED" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
             pointer: {
                 key: string;
                 kind: "context_key";

package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.js

@@ -13,6 +13,9 @@ const BlockerCodeSchema = zod_1.z.enum([
     'USER_ONLY_DEPENDENCY',
     'MISSING_REQUIRED_OUTPUT',
     'INVALID_REQUIRED_OUTPUT',
+    'MISSING_REQUIRED_NOTES',
+    'MISSING_CONTEXT_KEY',
+    'CONTEXT_BUDGET_EXCEEDED',
     'REQUIRED_CAPABILITY_UNKNOWN',
     'REQUIRED_CAPABILITY_UNAVAILABLE',
     'INVARIANT_VIOLATION',
@@ -50,6 +53,7 @@ exports.ContractViolationReasonV1Schema = zod_1.z.discriminatedUnion('kind', [
     zod_1.z.object({ kind: zod_1.z.literal('missing_required_output'), contractRef: zod_1.z.string().min(1) }).strict(),
     zod_1.z.object({ kind: zod_1.z.literal('missing_context_key'), key: DelimiterSafeIdSchema }).strict(),
     zod_1.z.object({ kind: zod_1.z.literal('context_budget_exceeded') }).strict(),
+    zod_1.z.object({ kind: zod_1.z.literal('missing_notes'), stepId: DelimiterSafeIdSchema }).strict(),
 ]);
 exports.TerminalReasonV1Schema = zod_1.z.discriminatedUnion('kind', [
     zod_1.z.object({