@exaudeus/workrail 1.7.1 → 1.7.2

package/dist/application/services/validation-engine.js

@@ -62,6 +62,9 @@ let ValidationEngine = ValidationEngine_1 = class ValidationEngine {
                     warnings: undefined,
                 }));
             }
+            if (this.isValidationRule(criteria)) {
+                return this.evaluateRuleArray(output, [criteria], context);
+            }
             return (0, neverthrow_1.err)({ kind: 'invalid_criteria_format', message: 'Invalid validation criteria format' });
         }
         catch (error) {

package/dist/manifest.json

@@ -38,8 +38,8 @@
       "bytes": 2030
     },
     "application/services/validation-engine.js": {
-      "sha256": "c0f15361f7c8a08c88a017caede5b70dc377c55d795c5d7aebbc4aa29d395462",
-      "bytes": 30897
+      "sha256": "81592794bad1d77b0f8cdf6ed6486a17c6eebc3a4fe9e484693fbb6f8cdc5c96",
+      "bytes": 31038
     },
     "application/services/workflow-compiler.d.ts": {
       "sha256": "dc7b1ed75ee4e90f90c35088d5c336a94d782012e5926fd7c939613e483b23fc",
@@ -566,16 +566,16 @@
       "bytes": 3500
     },
     "mcp/handlers/v2-advance-core/index.js": {
-      "sha256": "056de2680358ac496e82619a921a9f6403e51e2f8f1e4fdf0e7acd0da1136bab",
-      "bytes": 6974
+      "sha256": "f144bbf46678ff03dcdf3e76d6fe0375942469a9e45d40de748c80d4c49bb2c6",
+      "bytes": 7134
     },
     "mcp/handlers/v2-advance-core/input-validation.d.ts": {
-      "sha256": "a7b5d0e80eaea2cc500cd576bd1ae25d1c5521dcef76011bd052bf6cf6cf574b",
-      "bytes": 2044
+      "sha256": "d736f163f6673b30f653c63336a287cdfe99c9f58b601c7220ce441590f802ba",
+      "bytes": 2081
     },
     "mcp/handlers/v2-advance-core/input-validation.js": {
-      "sha256": "e1b206cde61cc3c9c1da1587a4bb0ef85413c5b4a7e85ebb3e2e1cb8052adbf0",
-      "bytes": 3130
+      "sha256": "3ddc086926fbc2be02cf52115370c221883c542f89ab256ee52388d115b7ae83",
+      "bytes": 3316
     },
     "mcp/handlers/v2-advance-core/outcome-blocked.d.ts": {
       "sha256": "4f49a588027929875a98c1212de40201512a023d4bf230f8d9e075cbdfa8421d",
@@ -746,12 +746,12 @@
       "bytes": 7535
     },
     "mcp/output-schemas.d.ts": {
-      "sha256": "85bc8019547bbee11374a09344489f9dd99703782e5f3822497193b09dbfba1f",
-      "bytes": 49826
+      "sha256": "5c8256c738cb2b3c193fa3fe955ca3aaf00ae9381e8ef162d1477824db18b137",
+      "bytes": 51242
     },
     "mcp/output-schemas.js": {
-      "sha256": "05fe0824c55da5fdadfc92a0bcaaf95f998ba3fbaedae5a27370ceba53e3dc6e",
-      "bytes": 12015
+      "sha256": "fd43722d021afb0c64cfe4356fc7ba9e41e6e3e9f9506866e0be0159d1b6908b",
+      "bytes": 12115
     },
     "mcp/server.d.ts": {
       "sha256": "bec49b8d07e189a53db7100d2f0e1e84ffe03150f04e1b06908ee3282982b4a2",
@@ -1058,8 +1058,8 @@
       "bytes": 395
     },
     "types/workflow-definition.d.ts": {
-      "sha256": "719bd8abe73b4377ba9a23c60d9fbdef170b193b8a3c46d6ddc6bc49cb65e8d2",
-      "bytes": 3576
+      "sha256": "350be64b9da13515fc717a3cd72ddf19b3544087a246c7b2e79da0ef5ed3ffef",
+      "bytes": 3614
     },
     "types/workflow-definition.js": {
       "sha256": "e269d62f27b7f37f870183d6b77800b7aa1e22dabc894374bab8f34db049a55b",
@@ -1198,16 +1198,16 @@
       "bytes": 880
     },
     "v2/durable-core/domain/blocked-node-builder.js": {
-      "sha256": "3bd568ec217fb79e8e7ebfd5b7a8474a81f06caf58aceccad9ce3c46c9a06fec",
-      "bytes": 4008
+      "sha256": "a5c69a1a31ad4a04a0c7924141df00ad7d47bf0653f88465f4d985316de344d4",
+      "bytes": 4107
     },
     "v2/durable-core/domain/blocking-decision.d.ts": {
-      "sha256": "dd32c4354dd710f94629833e91c5f83cd316212116d63fac1305d7336d4ce353",
-      "bytes": 1186
+      "sha256": "4cac7d676931cebbf8d2a80a212b295716836596938973d16371beede62e9932",
+      "bytes": 1256
     },
     "v2/durable-core/domain/blocking-decision.js": {
-      "sha256": "a85277cc35cfa48e2f2e23bd958dce4431d21e29b8eb152d0dc4d88bfa67e556",
-      "bytes": 2124
+      "sha256": "784983173f0b9741b0784e7aa8fdaef34c36c9715f8c9dcdcb22132f89be058e",
+      "bytes": 2557
     },
     "v2/durable-core/domain/bundle-builder.d.ts": {
       "sha256": "cb08b33f82f7cab8ef1b5f441a531886a4e1d0fdff69105b121089dc2e790357",
@@ -1302,16 +1302,16 @@
       "bytes": 935
     },
     "v2/durable-core/domain/prompt-renderer.js": {
-      "sha256": "2dc9c96ba7bbd7574928be98d5d2e210a1feeca3f0138c74035b5fd85d621691",
-      "bytes": 8638
+      "sha256": "3dd32e6335bc1aabe24f2477312975af8ef548daf5c7aad5e7f6b4e7aa2f5a78",
+      "bytes": 9074
     },
     "v2/durable-core/domain/reason-model.d.ts": {
-      "sha256": "6b32c3504cb35ca382e369b4eaf698f1c469be01448215aeab7ce35e3c2ff550",
-      "bytes": 3585
+      "sha256": "650fcb2d9969a4e6123cccbd4913f4d57aeab21a19bb907aa1e11f95e5a95089",
+      "bytes": 3762
     },
     "v2/durable-core/domain/reason-model.js": {
-      "sha256": "8042a61a9ef938309832bb2ec47e2b370cc3be10c9de76922393bedd01417449",
-      "bytes": 10946
+      "sha256": "23421e96b87cc59fec1a9205979410d27b2607c5b5cb98302902d0bcf32dfe3d",
+      "bytes": 11820
     },
     "v2/durable-core/domain/recap-recovery.d.ts": {
       "sha256": "82e7b20a22d409f729ccf79d345c00a7e27f1898a465dfca4cd789ff7766a3d6",
@@ -1334,8 +1334,8 @@
       "bytes": 637
     },
     "v2/durable-core/domain/risk-policy-guardrails.js": {
-      "sha256": "7566cefe066cf9f70bfedfd82a4e3aaefe1a6e5975daac664abb9b1a0cd51063",
-      "bytes": 2689
+      "sha256": "da5c71be307bff6e0c479dba09439020461854c3d27ffcc9e9cb737891dfd114",
+      "bytes": 2719
     },
     "v2/durable-core/domain/validation-criteria-validator.d.ts": {
       "sha256": "9d130b9a641857696d510cad691dcfb02d5ac54138e11fbb58ae9305a4cb1987",
@@ -1498,16 +1498,16 @@
       "bytes": 1350
     },
     "v2/durable-core/schemas/execution-snapshot/blocked-snapshot.d.ts": {
-      "sha256": "62fbdd2d901f8338942908bbdef575f871279501ba76b819a7750fe38c1f7976",
-      "bytes": 23179
+      "sha256": "278fa4bf5b42f7560382bd821ec706151bba0ab8fc7a17118dfcd02824757625",
+      "bytes": 24869
     },
     "v2/durable-core/schemas/execution-snapshot/blocked-snapshot.js": {
-      "sha256": "9ad261ef17b2d0652ca7387205f2d1ff66203c54b31dc82c08ef8c9762d2fe7b",
-      "bytes": 4364
+      "sha256": "f952ec8411dff13e63376a426a7a0a0fdd172b197f01fbf321ec69ec7c1076e1",
+      "bytes": 4556
     },
     "v2/durable-core/schemas/execution-snapshot/execution-snapshot.v1.d.ts": {
-      "sha256": "675f92a72f254f6e737fe86e4fb8e8ab75405507ea5e691fa78c9cf487552b20",
-      "bytes": 186498
+      "sha256": "a7f455d0bef1dce88b712ee9a29066d97033f31e180dc8de6c0733713a484936",
+      "bytes": 195786
     },
     "v2/durable-core/schemas/execution-snapshot/execution-snapshot.v1.js": {
       "sha256": "ec330ed72b7d5cc13ed4e000fd398f4c3c0f14e4d3e02ee4f59f10383377be94",
@@ -1530,8 +1530,8 @@
       "bytes": 2983
     },
     "v2/durable-core/schemas/export-bundle/index.d.ts": {
-      "sha256": "3b922ab53a8cf1c5cc0968f1409aae87b5782b01ab19f74fcb25fef9286cc36a",
-      "bytes": 466802
+      "sha256": "3f9c52313003c77762c13e144e8084b07d6b235d4f2867c43808e141bf269f0f",
+      "bytes": 479882
     },
     "v2/durable-core/schemas/export-bundle/index.js": {
       "sha256": "6e3566b2d05ea6302bbf4d311b8ec3e94725a8523834efe7670a79e7bd7dc40d",
@@ -1570,12 +1570,12 @@
       "bytes": 196
     },
     "v2/durable-core/schemas/session/blockers.d.ts": {
-      "sha256": "c19d1baf5a89fe22c2fee23b1a4cd18bf9bb1d4d0402471bd3e32a6d121c1258",
-      "bytes": 10832
+      "sha256": "2d517c69c169f111d5bede7270ff3b1ccd5d916e94fc2bde197d90b3ddef1d9b",
+      "bytes": 11692
     },
     "v2/durable-core/schemas/session/blockers.js": {
-      "sha256": "460c3b9cb9a838d0e299357366ec9a9bc7545af38db975896ecad552ac933c84",
-      "bytes": 3396
+      "sha256": "30a8dcdd58225bf20723d11286c3ec753b86653c59511e6f5869c898e1f52b9e",
+      "bytes": 3484
     },
     "v2/durable-core/schemas/session/dag-topology.d.ts": {
       "sha256": "67fc952e5af8f364764996c62a685bf9db8e7d73727f639cbf87cb1b4f5d8dd6",
@@ -1586,20 +1586,20 @@
       "bytes": 2138
     },
     "v2/durable-core/schemas/session/events.d.ts": {
-      "sha256": "d3d4d17bf02181c51655c1c4835e2d4945c4f2903e89991b911bc3f445220b86",
-      "bytes": 72218
+      "sha256": "9bb0857364918ef47dd379eef819b20c3d060536cf2c62aa4bf21caebabc2a25",
+      "bytes": 73576
     },
     "v2/durable-core/schemas/session/events.js": {
       "sha256": "df053c99e92f16785864f7c91ce0de5eafd2a8d631e93cbb96a40cbfa4cdba14",
       "bytes": 11149
     },
     "v2/durable-core/schemas/session/gaps.d.ts": {
-      "sha256": "329c2f305581e61c319ccddc773fe313093e264c8b4b002c6ebb957bc3abe80f",
-      "bytes": 8341
+      "sha256": "b96bd682a85a4bd4b70bf45c7d649914ab39308d208a38b2e812e330562bd990",
+      "bytes": 8721
     },
     "v2/durable-core/schemas/session/gaps.js": {
-      "sha256": "2382fd80e49a2b7a6ad2c9e3010d7f5ef30169621ff142d4ce86f98efcfd5d57",
-      "bytes": 2023
+      "sha256": "b57ac509c9cb6c13a5eb3ef7dd4d7bc97d072465613d31a0d24e5607525c2182",
+      "bytes": 2069
     },
     "v2/durable-core/schemas/session/index.d.ts": {
       "sha256": "f4f500d33d212760f480d91fafd4474f7b12f9239a6c5e9c2d80d0fe96207b65",

package/dist/mcp/handlers/v2-advance-core/index.js

@@ -81,7 +81,10 @@ function executeAdvanceCore(args) {
             notesMarkdown: v.notesMarkdown,
             validation,
         });
-        const reasonsRes = (0, blocking_decision_js_1.detectBlockingReasonsV1)({ outputRequirement });
+        const missingNotes = !v.notesOptional && !v.notesMarkdown?.trim()
+            ? { stepId: v.pendingStep.stepId }
+            : undefined;
+        const reasonsRes = (0, blocking_decision_js_1.detectBlockingReasonsV1)({ outputRequirement, missingNotes });
         if (reasonsRes.isErr()) {
             return errAsync({ kind: 'invariant_violation', message: reasonsRes.error.message });
         }

package/dist/mcp/handlers/v2-advance-core/input-validation.d.ts

@@ -26,6 +26,7 @@ export interface ValidatedAdvanceInputs {
         readonly autonomy: string;
         readonly riskPolicy: string;
     } | undefined;
+    readonly notesOptional: boolean;
 }
 export declare function validateAdvanceInputs(args: {
     readonly truth: LoadedSessionTruthV2;

package/dist/mcp/handlers/v2-advance-core/input-validation.js

@@ -21,6 +21,8 @@ function validateAdvanceInputs(args) {
     const step = (0, workflow_js_1.getStepById)(pinnedWorkflow, pendingStep.stepId);
     const validationCriteria = step?.validationCriteria;
     const outputContract = step?.outputContract;
+    const notesOptional = outputContract !== undefined ||
+        (step !== null && step !== undefined && 'notesOptional' in step && step.notesOptional === true);
     const parentByNodeId = {};
     for (const e of truth.events) {
         if (e.kind !== constants_js_1.EVENT_KIND.NODE_CREATED)
@@ -54,5 +56,6 @@ function validateAdvanceInputs(args) {
         autonomy,
         riskPolicy,
         effectivePrefs,
+        notesOptional,
     });
 }

package/dist/mcp/output-schemas.d.ts

@@ -303,7 +303,7 @@ export declare const V2NextCallSchema: z.ZodNullable<z.ZodObject<{
 }>>;
 export declare const V2BlockerReportSchema: z.ZodEffects<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;
@@ -351,7 +351,7 @@ export declare const V2BlockerReportSchema: z.ZodEffects<z.ZodObject<{
         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";
@@ -370,7 +370,7 @@ export declare const V2BlockerReportSchema: z.ZodEffects<z.ZodObject<{
         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";
@@ -391,7 +391,7 @@ export declare const V2BlockerReportSchema: z.ZodEffects<z.ZodObject<{
 }, "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";
@@ -412,7 +412,7 @@ export declare const V2BlockerReportSchema: z.ZodEffects<z.ZodObject<{
 }, {
     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";
@@ -433,7 +433,7 @@ export declare const V2BlockerReportSchema: z.ZodEffects<z.ZodObject<{
 }>, {
     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";
@@ -454,7 +454,7 @@ export declare const V2BlockerReportSchema: z.ZodEffects<z.ZodObject<{
 }, {
     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";
@@ -679,7 +679,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     }>>;
     blockers: z.ZodEffects<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;
@@ -727,7 +727,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
             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";
@@ -746,7 +746,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
             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";
@@ -767,7 +767,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     }, "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";
@@ -788,7 +788,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     }, {
         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";
@@ -809,7 +809,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     }>, {
         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";
@@ -830,7 +830,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     }, {
         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";
@@ -866,7 +866,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     blockers: {
         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";
@@ -921,7 +921,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     blockers: {
         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";
@@ -1003,7 +1003,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     blockers: {
         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";
@@ -1085,7 +1085,7 @@ export declare const V2ContinueWorkflowOutputSchema: z.ZodEffects<z.ZodDiscrimin
     blockers: {
         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/mcp/output-schemas.js

@@ -115,6 +115,9 @@ const V2BlockerSchema = zod_1.z.object({
         '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',

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;