@exaudeus/workrail 1.7.1 → 1.7.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (26) hide show
  1. package/dist/application/services/validation-engine.js +3 -0
  2. package/dist/manifest.json +46 -46
  3. package/dist/mcp/handlers/v2-advance-core/index.js +4 -1
  4. package/dist/mcp/handlers/v2-advance-core/input-validation.d.ts +1 -0
  5. package/dist/mcp/handlers/v2-advance-core/input-validation.js +3 -0
  6. package/dist/mcp/output-schemas.d.ts +18 -18
  7. package/dist/mcp/output-schemas.js +3 -0
  8. package/dist/types/workflow-definition.d.ts +1 -0
  9. package/dist/v2/durable-core/domain/blocked-node-builder.js +2 -0
  10. package/dist/v2/durable-core/domain/blocking-decision.d.ts +3 -0
  11. package/dist/v2/durable-core/domain/blocking-decision.js +9 -0
  12. package/dist/v2/durable-core/domain/prompt-renderer.js +6 -1
  13. package/dist/v2/durable-core/domain/reason-model.d.ts +5 -2
  14. package/dist/v2/durable-core/domain/reason-model.js +17 -2
  15. package/dist/v2/durable-core/domain/risk-policy-guardrails.js +1 -0
  16. package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.d.ts +38 -14
  17. package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.js +4 -0
  18. package/dist/v2/durable-core/schemas/execution-snapshot/execution-snapshot.v1.d.ts +177 -78
  19. package/dist/v2/durable-core/schemas/export-bundle/index.d.ts +240 -144
  20. package/dist/v2/durable-core/schemas/session/blockers.d.ts +11 -11
  21. package/dist/v2/durable-core/schemas/session/blockers.js +3 -0
  22. package/dist/v2/durable-core/schemas/session/events.d.ts +27 -27
  23. package/dist/v2/durable-core/schemas/session/gaps.d.ts +16 -16
  24. package/dist/v2/durable-core/schemas/session/gaps.js +2 -2
  25. package/package.json +1 -1
  26. package/spec/workflow.schema.json +5 -0
package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.d.ts CHANGED
@@ -32,6 +32,15 @@ export declare const ContractViolationReasonV1Schema: z.ZodDiscriminatedUnion<"k
32
32
  kind: "context_budget_exceeded";
33
33
  }, {
34
34
  kind: "context_budget_exceeded";
35
+ }>, z.ZodObject<{
36
+ kind: z.ZodLiteral<"missing_notes">;
37
+ stepId: z.ZodString;
38
+ }, "strict", z.ZodTypeAny, {
39
+ kind: "missing_notes";
40
+ stepId: string;
41
+ }, {
42
+ kind: "missing_notes";
43
+ stepId: string;
35
44
  }>]>;
36
45
  export declare const TerminalReasonV1Schema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
37
46
  kind: z.ZodLiteral<"user_only_dependency">;
@@ -117,12 +126,21 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
117
126
  kind: "context_budget_exceeded";
118
127
  }, {
119
128
  kind: "context_budget_exceeded";
129
+ }>, z.ZodObject<{
130
+ kind: z.ZodLiteral<"missing_notes">;
131
+ stepId: z.ZodString;
132
+ }, "strict", z.ZodTypeAny, {
133
+ kind: "missing_notes";
134
+ stepId: string;
135
+ }, {
136
+ kind: "missing_notes";
137
+ stepId: string;
120
138
  }>]>;
121
139
  retryAttemptId: z.ZodString;
122
140
  validationRef: z.ZodString;
123
141
  blockers: z.ZodReadonly<z.ZodObject<{
124
142
  blockers: z.ZodReadonly<z.ZodArray<z.ZodObject<{
125
- code: z.ZodEnum<["USER_ONLY_DEPENDENCY", "MISSING_REQUIRED_OUTPUT", "INVALID_REQUIRED_OUTPUT", "REQUIRED_CAPABILITY_UNKNOWN", "REQUIRED_CAPABILITY_UNAVAILABLE", "INVARIANT_VIOLATION", "STORAGE_CORRUPTION_DETECTED"]>;
143
+ 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"]>;
126
144
  pointer: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
127
145
  kind: z.ZodLiteral<"context_key">;
128
146
  key: z.ZodString;
@@ -170,7 +188,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
170
188
  suggestedFix: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
171
189
  }, "strip", z.ZodTypeAny, {
172
190
  message: string;
173
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
191
+ 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";
174
192
  pointer: {
175
193
  key: string;
176
194
  kind: "context_key";
@@ -189,7 +207,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
189
207
  suggestedFix?: string | undefined;
190
208
  }, {
191
209
  message: string;
192
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
210
+ 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";
193
211
  pointer: {
194
212
  key: string;
195
213
  kind: "context_key";
@@ -210,7 +228,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
210
228
  }, "strip", z.ZodTypeAny, {
211
229
  blockers: readonly {
212
230
  message: string;
213
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
231
+ 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";
214
232
  pointer: {
215
233
  key: string;
216
234
  kind: "context_key";
@@ -231,7 +249,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
231
249
  }, {
232
250
  blockers: readonly {
233
251
  message: string;
234
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
252
+ 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";
235
253
  pointer: {
236
254
  key: string;
237
255
  kind: "context_key";
@@ -262,12 +280,15 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
262
280
  kind: "missing_context_key";
263
281
  } | {
264
282
  kind: "context_budget_exceeded";
283
+ } | {
284
+ kind: "missing_notes";
285
+ stepId: string;
265
286
  };
266
287
  kind: "retryable_block";
267
288
  blockers: Readonly<{
268
289
  blockers: readonly {
269
290
  message: string;
270
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
291
+ 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";
271
292
  pointer: {
272
293
  key: string;
273
294
  kind: "context_key";
@@ -300,12 +321,15 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
300
321
  kind: "missing_context_key";
301
322
  } | {
302
323
  kind: "context_budget_exceeded";
324
+ } | {
325
+ kind: "missing_notes";
326
+ stepId: string;
303
327
  };
304
328
  kind: "retryable_block";
305
329
  blockers: Readonly<{
306
330
  blockers: readonly {
307
331
  message: string;
308
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
332
+ 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";
309
333
  pointer: {
310
334
  key: string;
311
335
  kind: "context_key";
@@ -380,7 +404,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
380
404
  validationRef: z.ZodOptional<z.ZodString>;
381
405
  blockers: z.ZodReadonly<z.ZodObject<{
382
406
  blockers: z.ZodReadonly<z.ZodArray<z.ZodObject<{
383
- code: z.ZodEnum<["USER_ONLY_DEPENDENCY", "MISSING_REQUIRED_OUTPUT", "INVALID_REQUIRED_OUTPUT", "REQUIRED_CAPABILITY_UNKNOWN", "REQUIRED_CAPABILITY_UNAVAILABLE", "INVARIANT_VIOLATION", "STORAGE_CORRUPTION_DETECTED"]>;
407
+ 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"]>;
384
408
  pointer: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
385
409
  kind: z.ZodLiteral<"context_key">;
386
410
  key: z.ZodString;
@@ -428,7 +452,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
428
452
  suggestedFix: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
429
453
  }, "strip", z.ZodTypeAny, {
430
454
  message: string;
431
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
455
+ 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";
432
456
  pointer: {
433
457
  key: string;
434
458
  kind: "context_key";
@@ -447,7 +471,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
447
471
  suggestedFix?: string | undefined;
448
472
  }, {
449
473
  message: string;
450
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
474
+ 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";
451
475
  pointer: {
452
476
  key: string;
453
477
  kind: "context_key";
@@ -468,7 +492,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
468
492
  }, "strip", z.ZodTypeAny, {
469
493
  blockers: readonly {
470
494
  message: string;
471
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
495
+ 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";
472
496
  pointer: {
473
497
  key: string;
474
498
  kind: "context_key";
@@ -489,7 +513,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
489
513
  }, {
490
514
  blockers: readonly {
491
515
  message: string;
492
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
516
+ 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";
493
517
  pointer: {
494
518
  key: string;
495
519
  kind: "context_key";
@@ -530,7 +554,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
530
554
  blockers: Readonly<{
531
555
  blockers: readonly {
532
556
  message: string;
533
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
557
+ 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";
534
558
  pointer: {
535
559
  key: string;
536
560
  kind: "context_key";
@@ -572,7 +596,7 @@ export declare const BlockedSnapshotV1Schema: z.ZodDiscriminatedUnion<"kind", [z
572
596
  blockers: Readonly<{
573
597
  blockers: readonly {
574
598
  message: string;
575
- code: "USER_ONLY_DEPENDENCY" | "MISSING_REQUIRED_OUTPUT" | "INVALID_REQUIRED_OUTPUT" | "REQUIRED_CAPABILITY_UNKNOWN" | "REQUIRED_CAPABILITY_UNAVAILABLE" | "INVARIANT_VIOLATION" | "STORAGE_CORRUPTION_DETECTED";
599
+ 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";
576
600
  pointer: {
577
601
  key: string;
578
602
  kind: "context_key";
package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.js CHANGED
@@ -13,6 +13,9 @@ const BlockerCodeSchema = zod_1.z.enum([
13
13
  'USER_ONLY_DEPENDENCY',
14
14
  'MISSING_REQUIRED_OUTPUT',
15
15
  'INVALID_REQUIRED_OUTPUT',
16
+ 'MISSING_REQUIRED_NOTES',
17
+ 'MISSING_CONTEXT_KEY',
18
+ 'CONTEXT_BUDGET_EXCEEDED',
16
19
  'REQUIRED_CAPABILITY_UNKNOWN',
17
20
  'REQUIRED_CAPABILITY_UNAVAILABLE',
18
21
  'INVARIANT_VIOLATION',
@@ -50,6 +53,7 @@ exports.ContractViolationReasonV1Schema = zod_1.z.discriminatedUnion('kind', [
50
53
  zod_1.z.object({ kind: zod_1.z.literal('missing_required_output'), contractRef: zod_1.z.string().min(1) }).strict(),
51
54
  zod_1.z.object({ kind: zod_1.z.literal('missing_context_key'), key: DelimiterSafeIdSchema }).strict(),
52
55
  zod_1.z.object({ kind: zod_1.z.literal('context_budget_exceeded') }).strict(),
56
+ zod_1.z.object({ kind: zod_1.z.literal('missing_notes'), stepId: DelimiterSafeIdSchema }).strict(),
53
57
  ]);
54
58
  exports.TerminalReasonV1Schema = zod_1.z.discriminatedUnion('kind', [
55
59
  zod_1.z.object({