@exaudeus/workrail 1.0.0 → 1.2.0

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 (120) hide show
  1. package/dist/application/services/output-normalizer.d.ts +9 -0
  2. package/dist/application/services/output-normalizer.js +38 -0
  3. package/dist/application/services/validation-engine.d.ts +15 -1
  4. package/dist/application/services/validation-engine.js +81 -51
  5. package/dist/application/services/workflow-compiler.d.ts +3 -0
  6. package/dist/application/services/workflow-compiler.js +26 -0
  7. package/dist/application/services/workflow-interpreter.d.ts +4 -1
  8. package/dist/application/services/workflow-interpreter.js +85 -24
  9. package/dist/application/services/workflow-service.js +19 -2
  10. package/dist/manifest.json +379 -75
  11. package/dist/mcp/handler-factory.d.ts +7 -0
  12. package/dist/mcp/handler-factory.js +70 -0
  13. package/dist/mcp/handlers/shared/with-timeout.d.ts +1 -0
  14. package/dist/mcp/handlers/shared/with-timeout.js +9 -0
  15. package/dist/mcp/handlers/v2-advance-core.d.ts +45 -0
  16. package/dist/mcp/handlers/v2-advance-core.js +433 -0
  17. package/dist/mcp/handlers/v2-context-budget.d.ts +17 -0
  18. package/dist/mcp/handlers/v2-context-budget.js +169 -0
  19. package/dist/mcp/handlers/v2-error-mapping.d.ts +34 -0
  20. package/dist/mcp/handlers/v2-error-mapping.js +125 -0
  21. package/dist/mcp/handlers/v2-execution-helpers.js +4 -1
  22. package/dist/mcp/handlers/v2-execution.d.ts +19 -0
  23. package/dist/mcp/handlers/v2-execution.js +366 -589
  24. package/dist/mcp/handlers/v2-state-conversion.d.ts +40 -0
  25. package/dist/mcp/handlers/v2-state-conversion.js +132 -0
  26. package/dist/mcp/handlers/v2-token-ops.d.ts +33 -0
  27. package/dist/mcp/handlers/v2-token-ops.js +62 -0
  28. package/dist/mcp/handlers/v2-workflow.js +3 -8
  29. package/dist/mcp/handlers/workflow.js +4 -11
  30. package/dist/mcp/output-schemas.d.ts +514 -38
  31. package/dist/mcp/output-schemas.js +102 -7
  32. package/dist/mcp/server.js +23 -127
  33. package/dist/mcp/tool-descriptions.js +142 -18
  34. package/dist/mcp/types/workflow-tool-edition.d.ts +28 -0
  35. package/dist/mcp/types/workflow-tool-edition.js +10 -0
  36. package/dist/mcp/types.d.ts +2 -0
  37. package/dist/mcp/v1/tool-registry.d.ts +8 -0
  38. package/dist/mcp/v1/tool-registry.js +49 -0
  39. package/dist/mcp/v2/tool-registry.d.ts +2 -5
  40. package/dist/mcp/v2/tool-registry.js +33 -32
  41. package/dist/mcp/v2/tools.d.ts +23 -2
  42. package/dist/mcp/v2/tools.js +38 -7
  43. package/dist/mcp/workflow-tool-edition-selector.d.ts +4 -0
  44. package/dist/mcp/workflow-tool-edition-selector.js +13 -0
  45. package/dist/types/workflow-definition.d.ts +19 -0
  46. package/dist/v2/durable-core/constants.d.ts +3 -0
  47. package/dist/v2/durable-core/constants.js +4 -1
  48. package/dist/v2/durable-core/domain/ack-advance-append-plan.d.ts +15 -7
  49. package/dist/v2/durable-core/domain/ack-advance-append-plan.js +89 -24
  50. package/dist/v2/durable-core/domain/artifact-contract-validator.d.ts +31 -0
  51. package/dist/v2/durable-core/domain/artifact-contract-validator.js +98 -0
  52. package/dist/v2/durable-core/domain/blocked-node-builder.d.ts +20 -0
  53. package/dist/v2/durable-core/domain/blocked-node-builder.js +94 -0
  54. package/dist/v2/durable-core/domain/blocking-decision.d.ts +32 -0
  55. package/dist/v2/durable-core/domain/blocking-decision.js +41 -0
  56. package/dist/v2/durable-core/domain/context-merge.d.ts +8 -0
  57. package/dist/v2/durable-core/domain/context-merge.js +40 -0
  58. package/dist/v2/durable-core/domain/decision-trace-builder.d.ts +33 -0
  59. package/dist/v2/durable-core/domain/decision-trace-builder.js +92 -0
  60. package/dist/v2/durable-core/domain/function-definition-expander.d.ts +14 -0
  61. package/dist/v2/durable-core/domain/function-definition-expander.js +66 -0
  62. package/dist/v2/durable-core/domain/gap-builder.d.ts +19 -0
  63. package/dist/v2/durable-core/domain/gap-builder.js +24 -0
  64. package/dist/v2/durable-core/domain/loop-control-evaluator.d.ts +13 -0
  65. package/dist/v2/durable-core/domain/loop-control-evaluator.js +24 -0
  66. package/dist/v2/durable-core/domain/observation-builder.d.ts +16 -0
  67. package/dist/v2/durable-core/domain/observation-builder.js +42 -0
  68. package/dist/v2/durable-core/domain/outputs.js +2 -2
  69. package/dist/v2/durable-core/domain/prompt-renderer.d.ts +24 -0
  70. package/dist/v2/durable-core/domain/prompt-renderer.js +200 -0
  71. package/dist/v2/durable-core/domain/reason-model.d.ts +96 -0
  72. package/dist/v2/durable-core/domain/reason-model.js +241 -0
  73. package/dist/v2/durable-core/domain/recap-recovery.d.ts +24 -0
  74. package/dist/v2/durable-core/domain/recap-recovery.js +71 -0
  75. package/dist/v2/durable-core/domain/recommendation-warnings.d.ts +20 -0
  76. package/dist/v2/durable-core/domain/recommendation-warnings.js +35 -0
  77. package/dist/v2/durable-core/domain/risk-policy-guardrails.d.ts +15 -0
  78. package/dist/v2/durable-core/domain/risk-policy-guardrails.js +78 -0
  79. package/dist/v2/durable-core/domain/validation-criteria-validator.d.ts +16 -0
  80. package/dist/v2/durable-core/domain/validation-criteria-validator.js +46 -0
  81. package/dist/v2/durable-core/domain/validation-event-builder.d.ts +26 -0
  82. package/dist/v2/durable-core/domain/validation-event-builder.js +100 -0
  83. package/dist/v2/durable-core/domain/validation-loader.d.ts +11 -0
  84. package/dist/v2/durable-core/domain/validation-loader.js +21 -0
  85. package/dist/v2/durable-core/domain/validation-requirements-extractor.d.ts +2 -0
  86. package/dist/v2/durable-core/domain/validation-requirements-extractor.js +58 -0
  87. package/dist/v2/durable-core/projections/snapshot-state.js +1 -1
  88. package/dist/v2/durable-core/schemas/artifacts/index.d.ts +4 -0
  89. package/dist/v2/durable-core/schemas/artifacts/index.js +18 -0
  90. package/dist/v2/durable-core/schemas/artifacts/loop-control.d.ts +66 -0
  91. package/dist/v2/durable-core/schemas/artifacts/loop-control.js +47 -0
  92. package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.d.ts +598 -0
  93. package/dist/v2/durable-core/schemas/execution-snapshot/blocked-snapshot.js +89 -0
  94. package/dist/v2/durable-core/schemas/execution-snapshot/execution-snapshot.v1.d.ts +3801 -57
  95. package/dist/v2/durable-core/schemas/execution-snapshot/execution-snapshot.v1.js +12 -2
  96. package/dist/v2/durable-core/schemas/execution-snapshot/index.d.ts +2 -0
  97. package/dist/v2/durable-core/schemas/execution-snapshot/index.js +3 -1
  98. package/dist/v2/durable-core/schemas/export-bundle/index.d.ts +6201 -2071
  99. package/dist/v2/durable-core/schemas/session/events.d.ts +216 -45
  100. package/dist/v2/durable-core/schemas/session/events.js +17 -1
  101. package/dist/v2/durable-core/schemas/session/validation-event.d.ts +68 -0
  102. package/dist/v2/durable-core/schemas/session/validation-event.js +52 -0
  103. package/dist/v2/durable-core/tokens/payloads.d.ts +16 -16
  104. package/dist/v2/infra/local/workspace-anchor/index.d.ts +9 -0
  105. package/dist/v2/infra/local/workspace-anchor/index.js +44 -0
  106. package/dist/v2/ports/workspace-anchor.port.d.ts +18 -0
  107. package/dist/v2/ports/workspace-anchor.port.js +2 -0
  108. package/dist/v2/projections/artifacts.d.ts +22 -0
  109. package/dist/v2/projections/artifacts.js +53 -0
  110. package/dist/v2/projections/projection-timing.d.ts +13 -0
  111. package/dist/v2/projections/projection-timing.js +23 -0
  112. package/dist/v2/projections/run-context.d.ts +22 -0
  113. package/dist/v2/projections/run-context.js +33 -0
  114. package/dist/v2/projections/run-dag.d.ts +1 -1
  115. package/dist/v2/projections/run-status-signals.js +3 -8
  116. package/package.json +1 -1
  117. package/spec/workflow.schema.json +60 -0
  118. package/spec/workflow.schema.v0.0.1.json +38 -0
  119. package/workflows/coding-task-workflow-agentic.json +11 -18
  120. package/workflows/test-artifact-loop-control.json +59 -0
@@ -278,19 +278,19 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
278
278
  nodeId: string;
279
279
  }>;
280
280
  data: z.ZodObject<{
281
- nodeKind: z.ZodEnum<["step", "checkpoint"]>;
281
+ nodeKind: z.ZodEnum<["step", "checkpoint", "blocked_attempt"]>;
282
282
  parentNodeId: z.ZodNullable<z.ZodString>;
283
283
  workflowHash: z.ZodEffects<z.ZodString, never, string>;
284
284
  snapshotRef: z.ZodEffects<z.ZodString, never, string>;
285
285
  }, "strip", z.ZodTypeAny, {
286
286
  snapshotRef: never;
287
287
  workflowHash: never;
288
- nodeKind: "step" | "checkpoint";
288
+ nodeKind: "step" | "checkpoint" | "blocked_attempt";
289
289
  parentNodeId: string | null;
290
290
  }, {
291
291
  snapshotRef: string;
292
292
  workflowHash: string;
293
- nodeKind: "step" | "checkpoint";
293
+ nodeKind: "step" | "checkpoint" | "blocked_attempt";
294
294
  parentNodeId: string | null;
295
295
  }>;
296
296
  }, "strip", z.ZodTypeAny, {
@@ -299,7 +299,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
299
299
  data: {
300
300
  snapshotRef: never;
301
301
  workflowHash: never;
302
- nodeKind: "step" | "checkpoint";
302
+ nodeKind: "step" | "checkpoint" | "blocked_attempt";
303
303
  parentNodeId: string | null;
304
304
  };
305
305
  v: 1;
@@ -316,7 +316,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
316
316
  data: {
317
317
  snapshotRef: string;
318
318
  workflowHash: string;
319
- nodeKind: "step" | "checkpoint";
319
+ nodeKind: "step" | "checkpoint" | "blocked_attempt";
320
320
  parentNodeId: string | null;
321
321
  };
322
322
  v: 1;
@@ -835,6 +835,110 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
835
835
  eventIndex: z.ZodNumber;
836
836
  sessionId: z.ZodString;
837
837
  dedupeKey: z.ZodString;
838
+ } & {
839
+ kind: z.ZodLiteral<"validation_performed">;
840
+ scope: z.ZodObject<{
841
+ runId: z.ZodString;
842
+ nodeId: z.ZodString;
843
+ }, "strip", z.ZodTypeAny, {
844
+ runId: string;
845
+ nodeId: string;
846
+ }, {
847
+ runId: string;
848
+ nodeId: string;
849
+ }>;
850
+ data: z.ZodObject<{
851
+ validationId: z.ZodString;
852
+ attemptId: z.ZodString;
853
+ contractRef: z.ZodString;
854
+ result: z.ZodEffects<z.ZodObject<{
855
+ valid: z.ZodBoolean;
856
+ issues: z.ZodReadonly<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
857
+ suggestions: z.ZodReadonly<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
858
+ }, "strict", z.ZodTypeAny, {
859
+ issues: readonly string[];
860
+ valid: boolean;
861
+ suggestions: readonly string[];
862
+ }, {
863
+ issues: readonly string[];
864
+ valid: boolean;
865
+ suggestions: readonly string[];
866
+ }>, {
867
+ issues: readonly string[];
868
+ valid: boolean;
869
+ suggestions: readonly string[];
870
+ }, {
871
+ issues: readonly string[];
872
+ valid: boolean;
873
+ suggestions: readonly string[];
874
+ }>;
875
+ }, "strict", z.ZodTypeAny, {
876
+ contractRef: string;
877
+ validationId: string;
878
+ attemptId: string;
879
+ result: {
880
+ issues: readonly string[];
881
+ valid: boolean;
882
+ suggestions: readonly string[];
883
+ };
884
+ }, {
885
+ contractRef: string;
886
+ validationId: string;
887
+ attemptId: string;
888
+ result: {
889
+ issues: readonly string[];
890
+ valid: boolean;
891
+ suggestions: readonly string[];
892
+ };
893
+ }>;
894
+ }, "strip", z.ZodTypeAny, {
895
+ kind: "validation_performed";
896
+ sessionId: string;
897
+ data: {
898
+ contractRef: string;
899
+ validationId: string;
900
+ attemptId: string;
901
+ result: {
902
+ issues: readonly string[];
903
+ valid: boolean;
904
+ suggestions: readonly string[];
905
+ };
906
+ };
907
+ v: 1;
908
+ eventIndex: number;
909
+ eventId: string;
910
+ dedupeKey: string;
911
+ scope: {
912
+ runId: string;
913
+ nodeId: string;
914
+ };
915
+ }, {
916
+ kind: "validation_performed";
917
+ sessionId: string;
918
+ data: {
919
+ contractRef: string;
920
+ validationId: string;
921
+ attemptId: string;
922
+ result: {
923
+ issues: readonly string[];
924
+ valid: boolean;
925
+ suggestions: readonly string[];
926
+ };
927
+ };
928
+ v: 1;
929
+ eventIndex: number;
930
+ eventId: string;
931
+ dedupeKey: string;
932
+ scope: {
933
+ runId: string;
934
+ nodeId: string;
935
+ };
936
+ }>, z.ZodObject<{
937
+ v: z.ZodLiteral<1>;
938
+ eventId: z.ZodString;
939
+ eventIndex: z.ZodNumber;
940
+ sessionId: z.ZodString;
941
+ dedupeKey: z.ZodString;
838
942
  } & {
839
943
  kind: z.ZodLiteral<"node_output_appended">;
840
944
  scope: z.ZodObject<{
@@ -865,20 +969,23 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
865
969
  sha256: z.ZodString;
866
970
  contentType: z.ZodString;
867
971
  byteLength: z.ZodNumber;
972
+ content: z.ZodOptional<z.ZodUnknown>;
868
973
  }, "strip", z.ZodTypeAny, {
869
974
  sha256: string;
870
975
  payloadKind: "artifact_ref";
871
976
  contentType: string;
872
977
  byteLength: number;
978
+ content?: unknown;
873
979
  }, {
874
980
  sha256: string;
875
981
  payloadKind: "artifact_ref";
876
982
  contentType: string;
877
983
  byteLength: number;
984
+ content?: unknown;
878
985
  }>]>;
879
986
  }, "strip", z.ZodTypeAny, {
880
987
  outputId: string;
881
- outputChannel: "recap" | "artifact";
988
+ outputChannel: "artifact" | "recap";
882
989
  payload: {
883
990
  payloadKind: "notes";
884
991
  notesMarkdown: string;
@@ -887,11 +994,12 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
887
994
  payloadKind: "artifact_ref";
888
995
  contentType: string;
889
996
  byteLength: number;
997
+ content?: unknown;
890
998
  };
891
999
  supersedesOutputId?: string | undefined;
892
1000
  }, {
893
1001
  outputId: string;
894
- outputChannel: "recap" | "artifact";
1002
+ outputChannel: "artifact" | "recap";
895
1003
  payload: {
896
1004
  payloadKind: "notes";
897
1005
  notesMarkdown: string;
@@ -900,11 +1008,12 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
900
1008
  payloadKind: "artifact_ref";
901
1009
  contentType: string;
902
1010
  byteLength: number;
1011
+ content?: unknown;
903
1012
  };
904
1013
  supersedesOutputId?: string | undefined;
905
1014
  }>, {
906
1015
  outputId: string;
907
- outputChannel: "recap" | "artifact";
1016
+ outputChannel: "artifact" | "recap";
908
1017
  payload: {
909
1018
  payloadKind: "notes";
910
1019
  notesMarkdown: string;
@@ -913,11 +1022,12 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
913
1022
  payloadKind: "artifact_ref";
914
1023
  contentType: string;
915
1024
  byteLength: number;
1025
+ content?: unknown;
916
1026
  };
917
1027
  supersedesOutputId?: string | undefined;
918
1028
  }, {
919
1029
  outputId: string;
920
- outputChannel: "recap" | "artifact";
1030
+ outputChannel: "artifact" | "recap";
921
1031
  payload: {
922
1032
  payloadKind: "notes";
923
1033
  notesMarkdown: string;
@@ -926,6 +1036,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
926
1036
  payloadKind: "artifact_ref";
927
1037
  contentType: string;
928
1038
  byteLength: number;
1039
+ content?: unknown;
929
1040
  };
930
1041
  supersedesOutputId?: string | undefined;
931
1042
  }>;
@@ -934,7 +1045,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
934
1045
  sessionId: string;
935
1046
  data: {
936
1047
  outputId: string;
937
- outputChannel: "recap" | "artifact";
1048
+ outputChannel: "artifact" | "recap";
938
1049
  payload: {
939
1050
  payloadKind: "notes";
940
1051
  notesMarkdown: string;
@@ -943,6 +1054,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
943
1054
  payloadKind: "artifact_ref";
944
1055
  contentType: string;
945
1056
  byteLength: number;
1057
+ content?: unknown;
946
1058
  };
947
1059
  supersedesOutputId?: string | undefined;
948
1060
  };
@@ -959,7 +1071,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
959
1071
  sessionId: string;
960
1072
  data: {
961
1073
  outputId: string;
962
- outputChannel: "recap" | "artifact";
1074
+ outputChannel: "artifact" | "recap";
963
1075
  payload: {
964
1076
  payloadKind: "notes";
965
1077
  notesMarkdown: string;
@@ -968,6 +1080,7 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
968
1080
  payloadKind: "artifact_ref";
969
1081
  contentType: string;
970
1082
  byteLength: number;
1083
+ content?: unknown;
971
1084
  };
972
1085
  supersedesOutputId?: string | undefined;
973
1086
  };
@@ -1168,28 +1281,28 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1168
1281
  probeStepId: z.ZodString;
1169
1282
  result: z.ZodEnum<["success", "failure"]>;
1170
1283
  }, "strip", z.ZodTypeAny, {
1284
+ result: "success" | "failure";
1171
1285
  probeTemplateId: string;
1172
1286
  probeStepId: string;
1173
- result: "success" | "failure";
1174
1287
  }, {
1288
+ result: "success" | "failure";
1175
1289
  probeTemplateId: string;
1176
1290
  probeStepId: string;
1177
- result: "success" | "failure";
1178
1291
  }>;
1179
1292
  }, "strip", z.ZodTypeAny, {
1180
1293
  kind: "probe_step";
1181
1294
  detail: {
1295
+ result: "success" | "failure";
1182
1296
  probeTemplateId: string;
1183
1297
  probeStepId: string;
1184
- result: "success" | "failure";
1185
1298
  };
1186
1299
  enforcementGrade: "strong";
1187
1300
  }, {
1188
1301
  kind: "probe_step";
1189
1302
  detail: {
1303
+ result: "success" | "failure";
1190
1304
  probeTemplateId: string;
1191
1305
  probeStepId: string;
1192
- result: "success" | "failure";
1193
1306
  };
1194
1307
  enforcementGrade: "strong";
1195
1308
  }>, z.ZodObject<{
@@ -1259,9 +1372,9 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1259
1372
  provenance: {
1260
1373
  kind: "probe_step";
1261
1374
  detail: {
1375
+ result: "success" | "failure";
1262
1376
  probeTemplateId: string;
1263
1377
  probeStepId: string;
1264
- result: "success" | "failure";
1265
1378
  };
1266
1379
  enforcementGrade: "strong";
1267
1380
  } | {
@@ -1287,9 +1400,9 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1287
1400
  provenance: {
1288
1401
  kind: "probe_step";
1289
1402
  detail: {
1403
+ result: "success" | "failure";
1290
1404
  probeTemplateId: string;
1291
1405
  probeStepId: string;
1292
- result: "success" | "failure";
1293
1406
  };
1294
1407
  enforcementGrade: "strong";
1295
1408
  } | {
@@ -1315,9 +1428,9 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1315
1428
  provenance: {
1316
1429
  kind: "probe_step";
1317
1430
  detail: {
1431
+ result: "success" | "failure";
1318
1432
  probeTemplateId: string;
1319
1433
  probeStepId: string;
1320
- result: "success" | "failure";
1321
1434
  };
1322
1435
  enforcementGrade: "strong";
1323
1436
  } | {
@@ -1343,9 +1456,9 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1343
1456
  provenance: {
1344
1457
  kind: "probe_step";
1345
1458
  detail: {
1459
+ result: "success" | "failure";
1346
1460
  probeTemplateId: string;
1347
1461
  probeStepId: string;
1348
- result: "success" | "failure";
1349
1462
  };
1350
1463
  enforcementGrade: "strong";
1351
1464
  } | {
@@ -1375,9 +1488,9 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1375
1488
  provenance: {
1376
1489
  kind: "probe_step";
1377
1490
  detail: {
1491
+ result: "success" | "failure";
1378
1492
  probeTemplateId: string;
1379
1493
  probeStepId: string;
1380
- result: "success" | "failure";
1381
1494
  };
1382
1495
  enforcementGrade: "strong";
1383
1496
  } | {
@@ -1415,9 +1528,9 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1415
1528
  provenance: {
1416
1529
  kind: "probe_step";
1417
1530
  detail: {
1531
+ result: "success" | "failure";
1418
1532
  probeTemplateId: string;
1419
1533
  probeStepId: string;
1420
- result: "success" | "failure";
1421
1534
  };
1422
1535
  enforcementGrade: "strong";
1423
1536
  } | {
@@ -1470,38 +1583,38 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1470
1583
  category: z.ZodLiteral<"user_only_dependency">;
1471
1584
  detail: z.ZodEnum<["needs_user_secret_or_token", "needs_user_account_access", "needs_user_artifact", "needs_user_choice", "needs_user_approval", "needs_user_environment_action"]>;
1472
1585
  }, "strip", z.ZodTypeAny, {
1473
- category: "user_only_dependency";
1474
1586
  detail: "needs_user_secret_or_token" | "needs_user_account_access" | "needs_user_artifact" | "needs_user_choice" | "needs_user_approval" | "needs_user_environment_action";
1475
- }, {
1476
1587
  category: "user_only_dependency";
1588
+ }, {
1477
1589
  detail: "needs_user_secret_or_token" | "needs_user_account_access" | "needs_user_artifact" | "needs_user_choice" | "needs_user_approval" | "needs_user_environment_action";
1590
+ category: "user_only_dependency";
1478
1591
  }>, z.ZodObject<{
1479
1592
  category: z.ZodLiteral<"contract_violation">;
1480
1593
  detail: z.ZodEnum<["missing_required_output", "invalid_required_output"]>;
1481
1594
  }, "strip", z.ZodTypeAny, {
1595
+ detail: "invalid_required_output" | "missing_required_output";
1482
1596
  category: "contract_violation";
1483
- detail: "missing_required_output" | "invalid_required_output";
1484
1597
  }, {
1598
+ detail: "invalid_required_output" | "missing_required_output";
1485
1599
  category: "contract_violation";
1486
- detail: "missing_required_output" | "invalid_required_output";
1487
1600
  }>, z.ZodObject<{
1488
1601
  category: z.ZodLiteral<"capability_missing">;
1489
1602
  detail: z.ZodEnum<["required_capability_unavailable", "required_capability_unknown"]>;
1490
1603
  }, "strip", z.ZodTypeAny, {
1604
+ detail: "required_capability_unknown" | "required_capability_unavailable";
1491
1605
  category: "capability_missing";
1492
- detail: "required_capability_unavailable" | "required_capability_unknown";
1493
1606
  }, {
1607
+ detail: "required_capability_unknown" | "required_capability_unavailable";
1494
1608
  category: "capability_missing";
1495
- detail: "required_capability_unavailable" | "required_capability_unknown";
1496
1609
  }>, z.ZodObject<{
1497
1610
  category: z.ZodLiteral<"unexpected">;
1498
1611
  detail: z.ZodEnum<["invariant_violation", "storage_corruption_detected"]>;
1499
1612
  }, "strip", z.ZodTypeAny, {
1500
- category: "unexpected";
1501
1613
  detail: "invariant_violation" | "storage_corruption_detected";
1502
- }, {
1503
1614
  category: "unexpected";
1615
+ }, {
1504
1616
  detail: "invariant_violation" | "storage_corruption_detected";
1617
+ category: "unexpected";
1505
1618
  }>]>;
1506
1619
  summary: z.ZodString;
1507
1620
  resolution: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
@@ -1541,17 +1654,17 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1541
1654
  }>]>, "many">>;
1542
1655
  }, "strip", z.ZodTypeAny, {
1543
1656
  reason: {
1544
- category: "user_only_dependency";
1545
1657
  detail: "needs_user_secret_or_token" | "needs_user_account_access" | "needs_user_artifact" | "needs_user_choice" | "needs_user_approval" | "needs_user_environment_action";
1658
+ category: "user_only_dependency";
1546
1659
  } | {
1660
+ detail: "invalid_required_output" | "missing_required_output";
1547
1661
  category: "contract_violation";
1548
- detail: "missing_required_output" | "invalid_required_output";
1549
1662
  } | {
1663
+ detail: "required_capability_unknown" | "required_capability_unavailable";
1550
1664
  category: "capability_missing";
1551
- detail: "required_capability_unavailable" | "required_capability_unknown";
1552
1665
  } | {
1553
- category: "unexpected";
1554
1666
  detail: "invariant_violation" | "storage_corruption_detected";
1667
+ category: "unexpected";
1555
1668
  };
1556
1669
  gapId: string;
1557
1670
  severity: "warning" | "info" | "critical";
@@ -1571,17 +1684,17 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1571
1684
  })[] | undefined;
1572
1685
  }, {
1573
1686
  reason: {
1574
- category: "user_only_dependency";
1575
1687
  detail: "needs_user_secret_or_token" | "needs_user_account_access" | "needs_user_artifact" | "needs_user_choice" | "needs_user_approval" | "needs_user_environment_action";
1688
+ category: "user_only_dependency";
1576
1689
  } | {
1690
+ detail: "invalid_required_output" | "missing_required_output";
1577
1691
  category: "contract_violation";
1578
- detail: "missing_required_output" | "invalid_required_output";
1579
1692
  } | {
1693
+ detail: "required_capability_unknown" | "required_capability_unavailable";
1580
1694
  category: "capability_missing";
1581
- detail: "required_capability_unavailable" | "required_capability_unknown";
1582
1695
  } | {
1583
- category: "unexpected";
1584
1696
  detail: "invariant_violation" | "storage_corruption_detected";
1697
+ category: "unexpected";
1585
1698
  };
1586
1699
  gapId: string;
1587
1700
  severity: "warning" | "info" | "critical";
@@ -1605,17 +1718,17 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1605
1718
  sessionId: string;
1606
1719
  data: {
1607
1720
  reason: {
1608
- category: "user_only_dependency";
1609
1721
  detail: "needs_user_secret_or_token" | "needs_user_account_access" | "needs_user_artifact" | "needs_user_choice" | "needs_user_approval" | "needs_user_environment_action";
1722
+ category: "user_only_dependency";
1610
1723
  } | {
1724
+ detail: "invalid_required_output" | "missing_required_output";
1611
1725
  category: "contract_violation";
1612
- detail: "missing_required_output" | "invalid_required_output";
1613
1726
  } | {
1727
+ detail: "required_capability_unknown" | "required_capability_unavailable";
1614
1728
  category: "capability_missing";
1615
- detail: "required_capability_unavailable" | "required_capability_unknown";
1616
1729
  } | {
1617
- category: "unexpected";
1618
1730
  detail: "invariant_violation" | "storage_corruption_detected";
1731
+ category: "unexpected";
1619
1732
  };
1620
1733
  gapId: string;
1621
1734
  severity: "warning" | "info" | "critical";
@@ -1647,17 +1760,17 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1647
1760
  sessionId: string;
1648
1761
  data: {
1649
1762
  reason: {
1650
- category: "user_only_dependency";
1651
1763
  detail: "needs_user_secret_or_token" | "needs_user_account_access" | "needs_user_artifact" | "needs_user_choice" | "needs_user_approval" | "needs_user_environment_action";
1764
+ category: "user_only_dependency";
1652
1765
  } | {
1766
+ detail: "invalid_required_output" | "missing_required_output";
1653
1767
  category: "contract_violation";
1654
- detail: "missing_required_output" | "invalid_required_output";
1655
1768
  } | {
1769
+ detail: "required_capability_unknown" | "required_capability_unavailable";
1656
1770
  category: "capability_missing";
1657
- detail: "required_capability_unavailable" | "required_capability_unknown";
1658
1771
  } | {
1659
- category: "unexpected";
1660
1772
  detail: "invariant_violation" | "storage_corruption_detected";
1773
+ category: "unexpected";
1661
1774
  };
1662
1775
  gapId: string;
1663
1776
  severity: "warning" | "info" | "critical";
@@ -1690,6 +1803,64 @@ export declare const DomainEventV1Schema: z.ZodDiscriminatedUnion<"kind", [z.Zod
1690
1803
  eventIndex: z.ZodNumber;
1691
1804
  sessionId: z.ZodString;
1692
1805
  dedupeKey: z.ZodString;
1806
+ } & {
1807
+ kind: z.ZodLiteral<"context_set">;
1808
+ scope: z.ZodObject<{
1809
+ runId: z.ZodString;
1810
+ }, "strip", z.ZodTypeAny, {
1811
+ runId: string;
1812
+ }, {
1813
+ runId: string;
1814
+ }>;
1815
+ data: z.ZodObject<{
1816
+ contextId: z.ZodString;
1817
+ context: z.ZodType<unknown, z.ZodTypeDef, unknown>;
1818
+ source: z.ZodEnum<["initial", "agent_delta"]>;
1819
+ }, "strip", z.ZodTypeAny, {
1820
+ source: "initial" | "agent_delta";
1821
+ contextId: string;
1822
+ context?: unknown;
1823
+ }, {
1824
+ source: "initial" | "agent_delta";
1825
+ contextId: string;
1826
+ context?: unknown;
1827
+ }>;
1828
+ }, "strip", z.ZodTypeAny, {
1829
+ kind: "context_set";
1830
+ sessionId: string;
1831
+ data: {
1832
+ source: "initial" | "agent_delta";
1833
+ contextId: string;
1834
+ context?: unknown;
1835
+ };
1836
+ v: 1;
1837
+ eventIndex: number;
1838
+ eventId: string;
1839
+ dedupeKey: string;
1840
+ scope: {
1841
+ runId: string;
1842
+ };
1843
+ }, {
1844
+ kind: "context_set";
1845
+ sessionId: string;
1846
+ data: {
1847
+ source: "initial" | "agent_delta";
1848
+ contextId: string;
1849
+ context?: unknown;
1850
+ };
1851
+ v: 1;
1852
+ eventIndex: number;
1853
+ eventId: string;
1854
+ dedupeKey: string;
1855
+ scope: {
1856
+ runId: string;
1857
+ };
1858
+ }>, z.ZodObject<{
1859
+ v: z.ZodLiteral<1>;
1860
+ eventId: z.ZodString;
1861
+ eventIndex: z.ZodNumber;
1862
+ sessionId: z.ZodString;
1863
+ dedupeKey: z.ZodString;
1693
1864
  } & {
1694
1865
  kind: z.ZodLiteral<"divergence_recorded">;
1695
1866
  scope: z.ZodObject<{
@@ -9,6 +9,7 @@ const constants_js_1 = require("../../constants.js");
9
9
  const decision_trace_ref_js_1 = require("../lib/decision-trace-ref.js");
10
10
  const dedupe_key_js_1 = require("../lib/dedupe-key.js");
11
11
  const utf8_bounded_string_js_1 = require("../lib/utf8-bounded-string.js");
12
+ const validation_event_js_1 = require("./validation-event.js");
12
13
  function utf8ByteLength(s) {
13
14
  return new TextEncoder().encode(s).length;
14
15
  }
@@ -44,7 +45,7 @@ const RunStartedDataV1Schema = zod_1.z.object({
44
45
  workflowSourceKind: WorkflowSourceKindSchema,
45
46
  workflowSourceRef: zod_1.z.string().min(1),
46
47
  });
47
- const NodeKindSchema = zod_1.z.enum(['step', 'checkpoint']);
48
+ const NodeKindSchema = zod_1.z.enum(['step', 'checkpoint', 'blocked_attempt']);
48
49
  const NodeCreatedDataV1Schema = zod_1.z.object({
49
50
  nodeKind: NodeKindSchema,
50
51
  parentNodeId: zod_1.z.string().min(1).nullable(),
@@ -88,6 +89,7 @@ const ArtifactRefPayloadV1Schema = zod_1.z.object({
88
89
  sha256: sha256DigestSchema,
89
90
  contentType: zod_1.z.string().min(1),
90
91
  byteLength: zod_1.z.number().int().nonnegative(),
92
+ content: zod_1.z.unknown().optional(),
91
93
  });
92
94
  const OutputPayloadV1Schema = zod_1.z.discriminatedUnion('payloadKind', [NotesPayloadV1Schema, ArtifactRefPayloadV1Schema]);
93
95
  const NodeOutputAppendedDataV1Schema = zod_1.z
@@ -279,6 +281,11 @@ exports.DomainEventV1Schema = zod_1.z.discriminatedUnion('kind', [
279
281
  scope: zod_1.z.object({ runId: zod_1.z.string().min(1), nodeId: zod_1.z.string().min(1) }),
280
282
  data: AdvanceRecordedDataV1Schema,
281
283
  }),
284
+ exports.DomainEventEnvelopeV1Schema.extend({
285
+ kind: zod_1.z.literal('validation_performed'),
286
+ scope: zod_1.z.object({ runId: zod_1.z.string().min(1), nodeId: zod_1.z.string().min(1) }),
287
+ data: validation_event_js_1.ValidationPerformedDataV1Schema,
288
+ }),
282
289
  exports.DomainEventEnvelopeV1Schema.extend({
283
290
  kind: zod_1.z.literal('node_output_appended'),
284
291
  scope: zod_1.z.object({ runId: zod_1.z.string().min(1), nodeId: zod_1.z.string().min(1) }),
@@ -344,6 +351,15 @@ exports.DomainEventV1Schema = zod_1.z.discriminatedUnion('kind', [
344
351
  scope: zod_1.z.object({ runId: zod_1.z.string().min(1), nodeId: zod_1.z.string().min(1) }),
345
352
  data: GapRecordedDataV1Schema,
346
353
  }),
354
+ exports.DomainEventEnvelopeV1Schema.extend({
355
+ kind: zod_1.z.literal('context_set'),
356
+ scope: zod_1.z.object({ runId: zod_1.z.string().min(1) }),
357
+ data: zod_1.z.object({
358
+ contextId: zod_1.z.string().min(1),
359
+ context: json_zod_js_1.JsonValueSchema,
360
+ source: zod_1.z.enum(['initial', 'agent_delta']),
361
+ }),
362
+ }),
347
363
  exports.DomainEventEnvelopeV1Schema.extend({
348
364
  kind: zod_1.z.literal('divergence_recorded'),
349
365
  scope: zod_1.z.object({ runId: zod_1.z.string().min(1), nodeId: zod_1.z.string().min(1) }),
@@ -0,0 +1,68 @@
1
+ import { z } from 'zod';
2
+ export declare const ValidationPerformedResultV1Schema: z.ZodEffects<z.ZodObject<{
3
+ valid: z.ZodBoolean;
4
+ issues: z.ZodReadonly<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
5
+ suggestions: z.ZodReadonly<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
6
+ }, "strict", z.ZodTypeAny, {
7
+ issues: readonly string[];
8
+ valid: boolean;
9
+ suggestions: readonly string[];
10
+ }, {
11
+ issues: readonly string[];
12
+ valid: boolean;
13
+ suggestions: readonly string[];
14
+ }>, {
15
+ issues: readonly string[];
16
+ valid: boolean;
17
+ suggestions: readonly string[];
18
+ }, {
19
+ issues: readonly string[];
20
+ valid: boolean;
21
+ suggestions: readonly string[];
22
+ }>;
23
+ export declare const ValidationPerformedDataV1Schema: z.ZodObject<{
24
+ validationId: z.ZodString;
25
+ attemptId: z.ZodString;
26
+ contractRef: z.ZodString;
27
+ result: z.ZodEffects<z.ZodObject<{
28
+ valid: z.ZodBoolean;
29
+ issues: z.ZodReadonly<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
30
+ suggestions: z.ZodReadonly<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
31
+ }, "strict", z.ZodTypeAny, {
32
+ issues: readonly string[];
33
+ valid: boolean;
34
+ suggestions: readonly string[];
35
+ }, {
36
+ issues: readonly string[];
37
+ valid: boolean;
38
+ suggestions: readonly string[];
39
+ }>, {
40
+ issues: readonly string[];
41
+ valid: boolean;
42
+ suggestions: readonly string[];
43
+ }, {
44
+ issues: readonly string[];
45
+ valid: boolean;
46
+ suggestions: readonly string[];
47
+ }>;
48
+ }, "strict", z.ZodTypeAny, {
49
+ contractRef: string;
50
+ validationId: string;
51
+ attemptId: string;
52
+ result: {
53
+ issues: readonly string[];
54
+ valid: boolean;
55
+ suggestions: readonly string[];
56
+ };
57
+ }, {
58
+ contractRef: string;
59
+ validationId: string;
60
+ attemptId: string;
61
+ result: {
62
+ issues: readonly string[];
63
+ valid: boolean;
64
+ suggestions: readonly string[];
65
+ };
66
+ }>;
67
+ export type ValidationPerformedDataV1 = z.infer<typeof ValidationPerformedDataV1Schema>;
68
+ export type ValidationPerformedResultV1 = z.infer<typeof ValidationPerformedResultV1Schema>;