@osolmaz/pi-workflows 0.16.4 → 0.16.6

package/dist/workflows/tool-input.d.ts

@@ -12,6 +12,7 @@ export declare const WorkflowActionSchemas: {
     readonly restart: TObject<{
         action: Type.TLiteral<"restart">;
         runId: Type.TString;
+        expectedRevision: Type.TInteger;
     }>;
     readonly "change-settings": TObject<{
         action: Type.TLiteral<"change-settings">;
@@ -46,13 +47,12 @@ export declare const WorkflowActionSchemas: {
     }>;
     readonly answer: TObject<{
         action: Type.TLiteral<"answer">;
+        requestId: Type.TString;
         input: Type.TUnknown;
-        runId: Type.TOptional<Type.TString>;
     }>;
     readonly update: TObject<{
         action: Type.TLiteral<"update">;
-        step: Type.TString;
-        attempt: Type.TString;
+        requestId: Type.TString;
         update: TObject<{
             type: Type.TString;
             key: Type.TString;
@@ -61,16 +61,14 @@ export declare const WorkflowActionSchemas: {
     }>;
     readonly submit: TObject<{
         action: Type.TLiteral<"submit">;
-        step: Type.TString;
-        attempt: Type.TString;
+        requestId: Type.TString;
         output: Type.TUnknown;
     }>;
 };
 declare const WorkflowSubmissionActionSchemas: {
     readonly update: TObject<{
         action: Type.TLiteral<"update">;
-        step: Type.TString;
-        attempt: Type.TString;
+        requestId: Type.TString;
         update: TObject<{
             type: Type.TString;
             key: Type.TString;
@@ -79,8 +77,7 @@ declare const WorkflowSubmissionActionSchemas: {
     }>;
     readonly submit: TObject<{
         action: Type.TLiteral<"submit">;
-        step: Type.TString;
-        attempt: Type.TString;
+        requestId: Type.TString;
         output: Type.TUnknown;
     }>;
 };

package/dist/workflows/tool-input.js

@@ -9,13 +9,11 @@ const inputSchema = Type.Unknown({
     description: "Ordinary checkpoint answer for answer; protected human decisions require a human channel; optional structured workflow input for start",
 });
 const runIdSchema = Type.String({
-    description: "Run id; required for restart and optional for status, cancel, answer, settings, and follow-ups",
+    description: "Run id; required for restart and optional for status, cancel, settings, and follow-ups",
 });
-const stepSchema = Type.String({
-    description: "Workflow step id; required when action is update or submit",
-});
-const attemptSchema = Type.String({
-    description: "Workflow attempt id; required when action is update or submit",
+const requestIdSchema = Type.String({
+    minLength: 1,
+    description: "Exact durable request id from the step contract or checkpoint; required for answer, update, and submit",
 });
 const updateSchema = Type.Object({
     type: Type.String(),
@@ -32,7 +30,14 @@ export const WorkflowActionSchemas = {
         workflow: workflowSchema,
         input: Type.Optional(inputSchema),
     }, noExtraProperties),
-    restart: Type.Object({ action: Type.Literal("restart"), runId: runIdSchema }, noExtraProperties),
+    restart: Type.Object({
+        action: Type.Literal("restart"),
+        runId: runIdSchema,
+        expectedRevision: Type.Integer({
+            minimum: 0,
+            description: "Use runRevision from the terminal run view, not its presentation revision. Restart only when the user explicitly requests a fresh run.",
+        }),
+    }, noExtraProperties),
     "change-settings": Type.Object({
         action: Type.Literal("change-settings"),
         runId: Type.Optional(runIdSchema),
@@ -56,19 +61,17 @@ export const WorkflowActionSchemas = {
     cancel: Type.Object({ action: Type.Literal("cancel"), runId: Type.Optional(runIdSchema) }, noExtraProperties),
     answer: Type.Object({
         action: Type.Literal("answer"),
+        requestId: requestIdSchema,
         input: inputSchema,
-        runId: Type.Optional(runIdSchema),
     }, noExtraProperties),
     update: Type.Object({
         action: Type.Literal("update"),
-        step: stepSchema,
-        attempt: attemptSchema,
+        requestId: requestIdSchema,
         update: updateSchema,
     }, noExtraProperties),
     submit: Type.Object({
         action: Type.Literal("submit"),
-        step: stepSchema,
-        attempt: attemptSchema,
+        requestId: requestIdSchema,
         output: outputSchema,
     }, noExtraProperties),
 };

package/dist/workflows/tool-input.js.map

@@ -1 +1 @@
-{"version":3,"file":"tool-input.js","sourceRoot":"","sources":["../../src/workflows/tool-input.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAA6D,MAAM,SAAS,CAAC;AAC1F,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,iBAAiB,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAW,CAAC;AAEnE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACvF,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,+EAA+E;CAC7F,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC;IAC/B,WAAW,EACT,wIAAwI;CAC3I,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,WAAW,EACT,gGAAgG;CACnG,CAAC,CAAC;AACH,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7B,WAAW,EAAE,4DAA4D;CAC1E,CAAC,CAAC;AACH,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,WAAW,EAAE,+DAA+D;CAC7E,CAAC,CAAC;AACH,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAC9B;IACE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;CACjD,EACD,iBAAiB,CAClB,CAAC;AACF,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC;IAChC,WAAW,EAAE,yEAAyE;CACvF,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,IAAI,EAAE,IAAI,CAAC,MAAM,CACf,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,EACrE,iBAAiB,CAClB;IACD,KAAK,EAAE,IAAI,CAAC,MAAM,CAChB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QAC7B,QAAQ,EAAE,cAAc;QACxB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;KAClC,EACD,iBAAiB,CAClB;IACD,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,iBAAiB,CAAC;IAChG,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAC5B;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACvC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;KACtB,EACD,iBAAiB,CAClB;IACD,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAC5B;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACvC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;KACtC,EACD,iBAAiB,CAClB;IACD,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAC7B;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACxC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;KAC1B,EACD,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,EACrE,iBAAiB,CAClB;IACD,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,iBAAiB,CAAC;IACxE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC1E,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,EACrE,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;KAClC,EACD,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,YAAY;KACrB,EACD,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,YAAY;KACrB,EACD,iBAAiB,CAClB;CACO,CAAC;AAEX,MAAM,+BAA+B,GAAG;IACtC,MAAM,EAAE,qBAAqB,CAAC,MAAM;IACpC,MAAM,EAAE,qBAAqB,CAAC,MAAM;CAC5B,CAAC;AAOX,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC;AACjG,MAAM,CAAC,MAAM,gCAAgC,GAAG,oBAAoB,CAClE,MAAM,CAAC,MAAM,CAAC,+BAA+B,CAAC,CAC/C,CAAC;AAIF,MAAM,oBAAoB,GAAG;IAC3B,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC;IAC9E,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;IAChF,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC;IACpF,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAC3B,cAAc,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;IAC7E,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAC3B,cAAc,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;IAC7E,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE,CAC5B,cAAc,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;IAC9E,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;IAChF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;CACM,CAAC;AAE3F,MAAM,8BAA8B,GAAG;IACrC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,cAAc,CAAC,+BAA+B,CAAC,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC;IACtF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,cAAc,CAAC,+BAA+B,CAAC,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC;CAIvF,CAAC;AAEF,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,OAAO,mBAAmB,CAAoB,oBAAoB,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,mBAAmB,CACxB,8BAA8B,EAC9B,KAAK,EACL,qBAAqB,CACtB,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,QAA4B;IACxD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAChE,IAAI,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAChC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBACxF,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YACzF,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC,MAAM,CAChB;QACE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QACtC,GAAG,UAAU;KACd,EACD,iBAAiB,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAA0D,EAC1D,KAAc,EACd,KAAa;IAEb,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,MAAM,aAAa,CAAC,KAAK,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,aAAa,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,4CAA4C,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,cAAc,CACrB,MAAc,EACd,KAAc,EACd,KAAa;IAEb,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;YAAE,MAAM,KAAK,CAAC;QAChD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;aAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE;YACjC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACpE,MAAM,YAAY,GAAG,OAAO,KAAK,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC;YACpF,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,EAAE,CAAC;QACtD,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,gBAAgB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC"}
+{"version":3,"file":"tool-input.js","sourceRoot":"","sources":["../../src/workflows/tool-input.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAA6D,MAAM,SAAS,CAAC;AAC1F,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,iBAAiB,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAW,CAAC;AAEnE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACvF,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,+EAA+E;CAC7F,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC;IAC/B,WAAW,EACT,wIAAwI;CAC3I,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,WAAW,EACT,wFAAwF;CAC3F,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,SAAS,EAAE,CAAC;IACZ,WAAW,EACT,wGAAwG;CAC3G,CAAC,CAAC;AACH,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAC9B;IACE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;CACjD,EACD,iBAAiB,CAClB,CAAC;AACF,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC;IAChC,WAAW,EAAE,yEAAyE;CACvF,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,IAAI,EAAE,IAAI,CAAC,MAAM,CACf,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,EACrE,iBAAiB,CAClB;IACD,KAAK,EAAE,IAAI,CAAC,MAAM,CAChB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QAC7B,QAAQ,EAAE,cAAc;QACxB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;KAClC,EACD,iBAAiB,CAClB;IACD,OAAO,EAAE,IAAI,CAAC,MAAM,CAClB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC/B,KAAK,EAAE,WAAW;QAClB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC;YAC7B,OAAO,EAAE,CAAC;YACV,WAAW,EACT,wIAAwI;SAC3I,CAAC;KACH,EACD,iBAAiB,CAClB;IACD,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAC5B;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACvC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;KACtB,EACD,iBAAiB,CAClB;IACD,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAC5B;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACvC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;KACtC,EACD,iBAAiB,CAClB;IACD,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAC7B;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACxC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;KAC1B,EACD,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,EACrE,iBAAiB,CAClB;IACD,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,iBAAiB,CAAC;IACxE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC1E,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,EACrE,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,SAAS,EAAE,eAAe;QAC1B,KAAK,EAAE,WAAW;KACnB,EACD,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,SAAS,EAAE,eAAe;QAC1B,MAAM,EAAE,YAAY;KACrB,EACD,iBAAiB,CAClB;IACD,MAAM,EAAE,IAAI,CAAC,MAAM,CACjB;QACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,SAAS,EAAE,eAAe;QAC1B,MAAM,EAAE,YAAY;KACrB,EACD,iBAAiB,CAClB;CACO,CAAC;AAEX,MAAM,+BAA+B,GAAG;IACtC,MAAM,EAAE,qBAAqB,CAAC,MAAM;IACpC,MAAM,EAAE,qBAAqB,CAAC,MAAM;CAC5B,CAAC;AAOX,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC;AACjG,MAAM,CAAC,MAAM,gCAAgC,GAAG,oBAAoB,CAClE,MAAM,CAAC,MAAM,CAAC,+BAA+B,CAAC,CAC/C,CAAC;AAIF,MAAM,oBAAoB,GAAG;IAC3B,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC;IAC9E,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;IAChF,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC;IACpF,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAC3B,cAAc,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;IAC7E,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAC3B,cAAc,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;IAC7E,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE,CAC5B,cAAc,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;IAC9E,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;IAChF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;IAClF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC;CACM,CAAC;AAE3F,MAAM,8BAA8B,GAAG;IACrC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,cAAc,CAAC,+BAA+B,CAAC,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC;IACtF,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,cAAc,CAAC,+BAA+B,CAAC,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC;CAIvF,CAAC;AAEF,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,OAAO,mBAAmB,CAAoB,oBAAoB,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,mBAAmB,CACxB,8BAA8B,EAC9B,KAAK,EACL,qBAAqB,CACtB,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,QAA4B;IACxD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAChE,IAAI,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAChC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBACxF,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YACzF,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC,MAAM,CAChB;QACE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QACtC,GAAG,UAAU;KACd,EACD,iBAAiB,CAClB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAA0D,EAC1D,KAAc,EACd,KAAa;IAEb,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,MAAM,aAAa,CAAC,KAAK,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,aAAa,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,4CAA4C,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,cAAc,CACrB,MAAc,EACd,KAAc,EACd,KAAa;IAEb,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;YAAE,MAAM,KAAK,CAAC;QAChD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;aAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE;YACjC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACpE,MAAM,YAAY,GAAG,OAAO,KAAK,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC;YACpF,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,EAAE,CAAC;QACtD,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,gBAAgB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC"}

package/dist/workflows/transitions.d.ts

@@ -0,0 +1,38 @@
+import type { JsonValue } from "../state/json.js";
+import type { WorkflowDefinitionSnapshot, WorkflowRunState, WorkflowStepRecord, WorkflowTraceEventDraft } from "./types.js";
+/** Worker proposals carry one change, never a replacement run projection. */
+export type WorkflowTransition = {
+    event: WorkflowTraceEventDraft;
+} & ({
+    kind: "startAttempt";
+    startedAt: string;
+} | {
+    kind: "finishAttempt";
+    step: WorkflowStepRecord;
+} | {
+    kind: "setTimeout";
+    timeoutMs: number | null;
+} | {
+    kind: "resume";
+    attemptId?: string;
+} | {
+    kind: "pause";
+} | {
+    kind: "resumeInteraction";
+} | {
+    kind: "waitForInput";
+    requestId: string;
+    requestKind: "checkpoint" | "decision";
+    contract: JsonValue;
+} | {
+    kind: "finish";
+    status: "completed" | "failed" | "timed_out" | "cancelled";
+    error?: string;
+    finalOutput?: unknown;
+} | {
+    kind: "record";
+});
+/** Translate engine-local state into the narrow proposal for this event. */
+export declare function executionTransition(state: WorkflowRunState, event: WorkflowTraceEventDraft): WorkflowTransition;
+/** Apply a validated transition to a projection read by the durable owner. */
+export declare function applyExecutionTransition(current: WorkflowRunState, definition: WorkflowDefinitionSnapshot, transition: WorkflowTransition, now: string): WorkflowRunState;

package/dist/workflows/transitions.js

@@ -0,0 +1,276 @@
+import { isDeepStrictEqual } from "node:util";
+import { resolveNext, resolveNextForOutcome } from "./graph.js";
+/** Translate engine-local state into the narrow proposal for this event. */
+export function executionTransition(state, event) {
+    switch (event.type) {
+        case "node_started":
+            if (state.currentNodeStartedAt === undefined)
+                throw new Error("Attempt start time is missing");
+            return { kind: "startAttempt", startedAt: state.currentNodeStartedAt, event };
+        case "node_finished":
+        case "node_failed": {
+            const step = state.steps.at(-1);
+            if (step === undefined || step.attemptId !== event.attemptId) {
+                throw new Error("Finished attempt is missing from engine state");
+            }
+            return { kind: "finishAttempt", step, event };
+        }
+        case "node_timeout_set":
+            return { kind: "setTimeout", timeoutMs: state.currentNodeTimeoutMs ?? null, event };
+        case "run_resumed":
+            return {
+                kind: "resume",
+                ...(state.currentAttemptId === undefined ? {} : { attemptId: state.currentAttemptId }),
+                event,
+            };
+        case "run_paused":
+            return { kind: "pause", event };
+        case "interaction_validation_started":
+        case "interaction_accepted":
+            return { kind: "resumeInteraction", event };
+        case "run_completed":
+        case "run_failed":
+        case "run_interrupted":
+        case "run_timed_out":
+        case "run_cancelled":
+            if (state.status === "running" || state.status === "waiting")
+                throw new Error("Terminal transition has unfinished execution");
+            return {
+                kind: "finish",
+                status: state.status,
+                ...(state.error === undefined ? {} : { error: state.error }),
+                ...(state.finalOutput === undefined ? {} : { finalOutput: state.finalOutput }),
+                event,
+            };
+        default:
+            return { kind: "record", event };
+    }
+}
+const recordEvents = new Set([
+    "run_started",
+    "include_entered",
+    "include_exited",
+    "settings_route_retried",
+    "agent_session_required",
+    "agent_prompt_sent",
+    "interaction_resume_prepared",
+]);
+/** Apply a validated transition to a projection read by the durable owner. */
+export function applyExecutionTransition(current, definition, transition, now) {
+    if (current.status !== "running" &&
+        !(current.status === "waiting" && transition.kind === "resumeInteraction")) {
+        throw new Error(`Run ${current.runId} cannot execute with status ${current.status}`);
+    }
+    const state = structuredClone(current);
+    const event = transition.event;
+    if (typeof event !== "object" || event === null || typeof event.type !== "string") {
+        throw new Error("Execution transition event is invalid");
+    }
+    switch (transition.kind) {
+        case "startAttempt": {
+            requireEvent(event, "node_started");
+            const nodeId = requireIdentity(event.nodeId, "node");
+            const attemptId = requireIdentity(event.attemptId, "attempt");
+            const node = definition.nodes[nodeId];
+            if (node === undefined || node.nodeType !== event.payload.nodeType) {
+                throw new Error("Attempt node does not match the workflow definition");
+            }
+            if (state.steps.some((step) => step.attemptId === attemptId)) {
+                throw new Error("A completed attempt cannot start again");
+            }
+            if (state.currentAttemptId !== undefined) {
+                throw new Error("Another attempt is already active");
+            }
+            if (nextNode(definition, state) !== nodeId) {
+                throw new Error("Attempt does not follow the accepted graph route");
+            }
+            if (!Number.isFinite(Date.parse(transition.startedAt)))
+                throw new Error("Invalid attempt time");
+            state.currentNode = nodeId;
+            state.currentAttemptId = attemptId;
+            state.currentNodeStartedAt = transition.startedAt;
+            setSettings(state, event.payload);
+            if (node.statusDetail !== undefined)
+                state.statusDetail = node.statusDetail;
+            break;
+        }
+        case "finishAttempt": {
+            const step = transition.step;
+            requireEvent(event, step.outcome === "ok" ? "node_finished" : "node_failed");
+            requireAttempt(state, event);
+            if (step.attemptId !== event.attemptId ||
+                step.nodeId !== event.nodeId ||
+                step.nodeType !== definition.nodes[step.nodeId]?.nodeType ||
+                step.startedAt !== state.currentNodeStartedAt ||
+                step.outcome !== event.payload.outcome ||
+                !isDeepStrictEqual(step.output, event.payload.output ?? null)) {
+                throw new Error("Attempt result does not match the active request");
+            }
+            if (state.steps.some((prior) => prior.attemptId === step.attemptId)) {
+                throw new Error("Attempt result was already committed");
+            }
+            state.steps.push(structuredClone(step));
+            state.results[step.nodeId] = {
+                ...step,
+                durationMs: Date.parse(step.finishedAt) - Date.parse(step.startedAt),
+            };
+            if (step.outcome === "ok")
+                state.outputs[step.nodeId] = step.output;
+            clearAttempt(state);
+            break;
+        }
+        case "setTimeout":
+            requireEvent(event, "node_timeout_set");
+            requireAttempt(state, event);
+            if (transition.timeoutMs !== null &&
+                (!Number.isFinite(transition.timeoutMs) || transition.timeoutMs <= 0)) {
+                throw new Error("Invalid attempt timeout");
+            }
+            if (state.currentNodeElapsedMs !== undefined)
+                throw new Error("Attempt timeout was already configured");
+            state.currentNodeTimeoutMs = transition.timeoutMs;
+            state.currentNodeElapsedMs = 0;
+            break;
+        case "resume":
+            requireEvent(event, "run_resumed");
+            if (transition.attemptId !== undefined && transition.attemptId !== state.currentAttemptId) {
+                throw new Error("Resume does not name the active attempt");
+            }
+            if (transition.attemptId === undefined)
+                clearAttempt(state);
+            delete state.paused;
+            break;
+        case "waitForInput":
+            requireEvent(event, "checkpoint_requested");
+            requireAttempt(state, event);
+            if (definition.nodes[state.currentNode ?? ""]?.nodeType !== "checkpoint") {
+                throw new Error("Only a checkpoint can request checkpoint input");
+            }
+            state.status = "waiting";
+            state.waitingOn = requireIdentity(event.nodeId, "node");
+            state.statusDetail =
+                transition.requestKind === "decision"
+                    ? "waiting for a human decision"
+                    : "waiting for checkpoint input";
+            delete state.finishedAt;
+            break;
+        case "resumeInteraction":
+            if (event.type !== "interaction_validation_started" &&
+                event.type !== "interaction_accepted") {
+                throw new Error("Invalid interaction resume event");
+            }
+            if (state.waitingOn !== event.nodeId || state.currentAttemptId !== event.attemptId) {
+                throw new Error("Interaction does not match the waiting attempt");
+            }
+            state.status = "running";
+            state.currentNode = requireIdentity(event.nodeId, "node");
+            delete state.waitingOn;
+            delete state.finishedAt;
+            delete state.statusDetail;
+            break;
+        case "pause":
+            requireEvent(event, "run_paused");
+            state.paused = true;
+            break;
+        case "finish":
+            if (!["completed", "failed", "timed_out", "cancelled"].includes(transition.status) ||
+                (event.type !== `run_${transition.status}` &&
+                    !(event.type === "run_interrupted" && transition.status === "failed"))) {
+                throw new Error("Run outcome does not match the transition");
+            }
+            if (transition.status === "completed" && state.currentAttemptId !== undefined) {
+                throw new Error("A run with an unfinished attempt cannot complete");
+            }
+            if (transition.status === "completed") {
+                const last = state.steps.at(-1);
+                if (last?.outcome !== "ok" ||
+                    nextNode(definition, state) !== null ||
+                    !isDeepStrictEqual(transition.finalOutput, last.output)) {
+                    throw new Error("Completion does not match the accepted graph result");
+                }
+            }
+            state.status = transition.status;
+            state.finishedAt = now;
+            if (transition.error !== undefined)
+                state.error = transition.error;
+            if (transition.finalOutput !== undefined)
+                state.finalOutput = transition.finalOutput;
+            clearAttempt(state);
+            break;
+        case "record":
+            if (!recordEvents.has(event.type))
+                throw new Error(`Unknown execution event: ${event.type}`);
+            if (event.type === "agent_prompt_sent" || event.type === "agent_session_required") {
+                requireAttempt(state, event);
+            }
+            if (event.type === "agent_session_required")
+                state.statusDetail = "waiting for origin Pi session";
+            if (event.type === "settings_route_retried") {
+                const payload = event.payload;
+                if (typeof payload.scopeId !== "string" || typeof payload.changeNumber !== "number") {
+                    throw new Error("Settings retry binding is invalid");
+                }
+                state.currentSettingsScopeId = payload.scopeId;
+                state.currentSettingsChangeNumber = payload.changeNumber;
+                if (typeof payload.settingsHash !== "string")
+                    throw new Error("Settings retry hash is missing");
+                state.currentSettingsHash = payload.settingsHash;
+            }
+            break;
+        default:
+            throw new Error("Unknown execution transition");
+    }
+    return state;
+}
+function nextNode(definition, state) {
+    const last = state.steps.at(-1);
+    if (last === undefined)
+        return definition.startAt;
+    const result = state.results[last.nodeId];
+    if (result === undefined)
+        throw new Error("Accepted graph result is missing");
+    return result.outcome === "ok"
+        ? resolveNext(definition.edges, last.nodeId, result.output, result)
+        : resolveNextForOutcome(definition.edges, last.nodeId, result);
+}
+function requireEvent(event, type) {
+    if (event.type !== type)
+        throw new Error(`Transition requires ${type}`);
+}
+function requireIdentity(value, name) {
+    if (typeof value !== "string" || value.length === 0)
+        throw new Error(`Missing ${name} identity`);
+    return value;
+}
+function requireAttempt(state, event) {
+    if (state.currentNode !== requireIdentity(event.nodeId, "node") ||
+        state.currentAttemptId !== requireIdentity(event.attemptId, "attempt")) {
+        throw new Error("Execution transition does not match the active attempt");
+    }
+}
+function clearAttempt(state) {
+    delete state.currentNode;
+    delete state.currentAttemptId;
+    delete state.currentNodeStartedAt;
+    delete state.currentNodeTimeoutMs;
+    delete state.currentNodeElapsedMs;
+    delete state.currentSettingsScopeId;
+    delete state.currentSettingsChangeNumber;
+    delete state.currentSettingsHash;
+    delete state.statusDetail;
+}
+function setSettings(state, payload) {
+    delete state.currentSettingsScopeId;
+    delete state.currentSettingsChangeNumber;
+    delete state.currentSettingsHash;
+    if (typeof payload.settingsScopeId === "string") {
+        if (typeof payload.settingsChangeNumber !== "number" ||
+            typeof payload.settingsHash !== "string") {
+            throw new Error("Attempt settings binding is invalid");
+        }
+        state.currentSettingsScopeId = payload.settingsScopeId;
+        state.currentSettingsChangeNumber = payload.settingsChangeNumber;
+        state.currentSettingsHash = payload.settingsHash;
+    }
+}
+//# sourceMappingURL=transitions.js.map

package/dist/workflows/transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../src/workflows/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAiChE,4EAA4E;AAC5E,MAAM,UAAU,mBAAmB,CACjC,KAAuB,EACvB,KAA8B;IAE9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,cAAc;YACjB,IAAI,KAAK,CAAC,oBAAoB,KAAK,SAAS;gBAC1C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,CAAC,oBAAoB,EAAE,KAAK,EAAE,CAAC;QAChF,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;gBAC7D,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;YACnE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,oBAAoB,IAAI,IAAI,EAAE,KAAK,EAAE,CAAC;QACtF,KAAK,aAAa;YAChB,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,GAAG,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBACtF,KAAK;aACN,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAClC,KAAK,gCAAgC,CAAC;QACtC,KAAK,sBAAsB;YACzB,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;QAC9C,KAAK,eAAe,CAAC;QACrB,KAAK,YAAY,CAAC;QAClB,KAAK,iBAAiB,CAAC;QACvB,KAAK,eAAe,CAAC;QACrB,KAAK,eAAe;YAClB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAC1D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAClE,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC5D,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;gBAC9E,KAAK;aACN,CAAC;QACJ;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,aAAa;IACb,iBAAiB;IACjB,gBAAgB;IAChB,wBAAwB;IACxB,wBAAwB;IACxB,mBAAmB;IACnB,6BAA6B;CAC9B,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,UAAU,wBAAwB,CACtC,OAAyB,EACzB,UAAsC,EACtC,UAA8B,EAC9B,GAAW;IAEX,IACE,OAAO,CAAC,MAAM,KAAK,SAAS;QAC5B,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,mBAAmB,CAAC,EAC1E,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,OAAO,OAAO,CAAC,KAAK,+BAA+B,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;IAC/B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,cAAc,EAAE,CAAC;YACpB,YAAY,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACnE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,MAAM,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACtE,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBACpD,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAC1C,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC;YAC3B,KAAK,CAAC,gBAAgB,GAAG,SAAS,CAAC;YACnC,KAAK,CAAC,oBAAoB,GAAG,UAAU,CAAC,SAAS,CAAC;YAClD,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;gBAAE,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;YAC5E,MAAM;QACR,CAAC;QACD,KAAK,eAAe,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;YAC7B,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YAC7E,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC7B,IACE,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;gBAClC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAC5B,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ;gBACzD,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,oBAAoB;gBAC7C,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,OAAO;gBACtC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,EAC7D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACtE,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;YACxC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG;gBAC3B,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;aACrE,CAAC;YACF,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;gBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACpE,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM;QACR,CAAC;QACD,KAAK,YAAY;YACf,YAAY,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;YACxC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC7B,IACE,UAAU,CAAC,SAAS,KAAK,IAAI;gBAC7B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,SAAS,IAAI,CAAC,CAAC,EACrE,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YAC7C,CAAC;YACD,IAAI,KAAK,CAAC,oBAAoB,KAAK,SAAS;gBAC1C,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,KAAK,CAAC,oBAAoB,GAAG,UAAU,CAAC,SAAS,CAAC;YAClD,KAAK,CAAC,oBAAoB,GAAG,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,QAAQ;YACX,YAAY,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YACnC,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBAC1F,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS;gBAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YAC5D,OAAO,KAAK,CAAC,MAAM,CAAC;YACpB,MAAM;QACR,KAAK,cAAc;YACjB,YAAY,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;YAC5C,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC7B,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,QAAQ,KAAK,YAAY,EAAE,CAAC;gBACzE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;YACzB,KAAK,CAAC,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACxD,KAAK,CAAC,YAAY;gBAChB,UAAU,CAAC,WAAW,KAAK,UAAU;oBACnC,CAAC,CAAC,8BAA8B;oBAChC,CAAC,CAAC,8BAA8B,CAAC;YACrC,OAAO,KAAK,CAAC,UAAU,CAAC;YACxB,MAAM;QACR,KAAK,mBAAmB;YACtB,IACE,KAAK,CAAC,IAAI,KAAK,gCAAgC;gBAC/C,KAAK,CAAC,IAAI,KAAK,sBAAsB,EACrC,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;gBACnF,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;YACzB,KAAK,CAAC,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC1D,OAAO,KAAK,CAAC,SAAS,CAAC;YACvB,OAAO,KAAK,CAAC,UAAU,CAAC;YACxB,OAAO,KAAK,CAAC,YAAY,CAAC;YAC1B,MAAM;QACR,KAAK,OAAO;YACV,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YAClC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;YACpB,MAAM;QACR,KAAK,QAAQ;YACX,IACE,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;gBAC9E,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,UAAU,CAAC,MAAM,EAAE;oBACxC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,EACxE,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBAC9E,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACtE,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,IACE,IAAI,EAAE,OAAO,KAAK,IAAI;oBACtB,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,IAAI;oBACpC,CAAC,iBAAiB,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EACvD,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;YACD,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACjC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC;YACvB,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;YACnE,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS;gBAAE,KAAK,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;YACrF,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM;QACR,KAAK,QAAQ;YACX,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7F,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;gBAClF,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,wBAAwB;gBACzC,KAAK,CAAC,YAAY,GAAG,+BAA+B,CAAC;YACvD,IAAI,KAAK,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;gBAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;gBAC9B,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;oBACpF,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;gBACvD,CAAC;gBACD,KAAK,CAAC,sBAAsB,GAAG,OAAO,CAAC,OAAO,CAAC;gBAC/C,KAAK,CAAC,2BAA2B,GAAG,OAAO,CAAC,YAAY,CAAC;gBACzD,IAAI,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ;oBAC1C,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;gBACpD,KAAK,CAAC,mBAAmB,GAAG,OAAO,CAAC,YAAY,CAAC;YACnD,CAAC;YACD,MAAM;QACR;YACE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,UAAsC,EAAE,KAAuB;IAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,OAAO,CAAC;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC9E,OAAO,MAAM,CAAC,OAAO,KAAK,IAAI;QAC5B,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;QACnE,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,YAAY,CAAC,KAA8B,EAAE,IAAY;IAChE,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB,EAAE,IAAY;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,WAAW,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAuB,EAAE,KAA8B;IAC7E,IACE,KAAK,CAAC,WAAW,KAAK,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC;QAC3D,KAAK,CAAC,gBAAgB,KAAK,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,EACtE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAuB;IAC3C,OAAO,KAAK,CAAC,WAAW,CAAC;IACzB,OAAO,KAAK,CAAC,gBAAgB,CAAC;IAC9B,OAAO,KAAK,CAAC,oBAAoB,CAAC;IAClC,OAAO,KAAK,CAAC,oBAAoB,CAAC;IAClC,OAAO,KAAK,CAAC,oBAAoB,CAAC;IAClC,OAAO,KAAK,CAAC,sBAAsB,CAAC;IACpC,OAAO,KAAK,CAAC,2BAA2B,CAAC;IACzC,OAAO,KAAK,CAAC,mBAAmB,CAAC;IACjC,OAAO,KAAK,CAAC,YAAY,CAAC;AAC5B,CAAC;AAED,SAAS,WAAW,CAAC,KAAuB,EAAE,OAA2C;IACvF,OAAO,KAAK,CAAC,sBAAsB,CAAC;IACpC,OAAO,KAAK,CAAC,2BAA2B,CAAC;IACzC,OAAO,KAAK,CAAC,mBAAmB,CAAC;IACjC,IAAI,OAAO,OAAO,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QAChD,IACE,OAAO,OAAO,CAAC,oBAAoB,KAAK,QAAQ;YAChD,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ,EACxC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,CAAC,sBAAsB,GAAG,OAAO,CAAC,eAAe,CAAC;QACvD,KAAK,CAAC,2BAA2B,GAAG,OAAO,CAAC,oBAAoB,CAAC;QACjE,KAAK,CAAC,mBAAmB,GAAG,OAAO,CAAC,YAAY,CAAC;IACnD,CAAC;AACH,CAAC"}

package/dist/workflows/types.d.ts

@@ -371,19 +371,9 @@ export type HumanDecisionCancellationRecord = {
     cancelledAt: string;
     reason: "cancelled" | "expired";
 };
-export type HumanDecisionContinuationRecord = {
-    schema: "pi-workflows.human-decision-continuation.v1";
-    decisionId: string;
-    requestDigest: string;
-    provenance: "human" | "timeout";
-    parentRunId: string;
-    runId: string;
-    createdAt: string;
-};
 /**
- * A pause point. The run terminates with status `waiting` so a human (or an
- * external trigger) can decide how to continue. The optional `run` callback
- * produces the checkpoint's output before the run pauses.
+ * A same-run input request. The optional `run` callback produces its prompt.
+ * The accepted answer becomes the node output; requesting input does not finish the node.
  */
 export type CheckpointNodeDefinition = WorkflowNodeCommon & {
     nodeType: "checkpoint";
@@ -393,14 +383,6 @@ export type CheckpointNodeDefinition = WorkflowNodeCommon & {
     humanDecision?: HumanDecisionNodeContract;
 };
 export type WorkflowNodeDefinition = AgentNodeDefinition | ComputeNodeDefinition | NotifyNodeDefinition | ActionNodeDefinition | CheckpointNodeDefinition;
-export type WorkflowPresentationContext = {
-    /** Final persisted state of the workflow run. */
-    state: WorkflowRunState;
-    /** Convenience alias for `state.finalOutput`. */
-    finalOutput: unknown;
-    /** Aborted if a new run starts, the session closes, or prompt generation times out. */
-    signal: AbortSignal;
-};
 /** Runtime parser that also carries its normalized TypeScript result type. */
 export type WorkflowValueParser<T> = (value: unknown) => MaybePromise<T>;
 export type WorkflowExitDefinition<TOutput = unknown> = {
@@ -460,12 +442,6 @@ export type WorkflowDefinition<TInput = any, TExits extends WorkflowExitMap = Wo
         input: TInput;
         workflowName: string;
     }) => MaybePromise<string | undefined>);
-    /**
-     * Optional instructions for a normal assistant response after the run ends.
-     * The Pi extension resolves this only after the final state is persisted;
-     * the engine and durable store remain presentation-agnostic.
-     */
-    presentationPrompt?: string | ((context: WorkflowPresentationContext) => MaybePromise<string | undefined>);
     startAt: string;
     nodes: Record<string, WorkflowNodeDefinition>;
     includes?: TIncludes;
@@ -556,14 +532,8 @@ export type WorkflowRunState = {
     traceSeq: number;
     runId: string;
     workflowName: string;
-    /** Set on continuation runs: the checkpointed run this one carries forward. */
+    /** Set on explicit fresh restarts. Checkpoint answers keep the same run. */
     parentRunId?: string;
-    /**
-     * Steps carried from the parent at continuation start. Steps beyond this
-     * count were recorded by this run itself; resume uses it to tell a
-     * carried checkpoint from this run's own.
-     */
-    carriedStepCount?: number;
     runTitle?: string;
     /** Stable built-in identity or immutable file source used by this run. */
     workflowSource?: WorkflowSource;
@@ -588,12 +558,13 @@ export type WorkflowRunState = {
     currentAttemptId?: string;
     currentNodeStartedAt?: string;
     /** Durable active-execution deadline for the current attempt. Null disables the deadline. */
-    currentNodeDeadlineAt?: string | null;
+    currentNodeTimeoutMs?: number | null;
+    currentNodeElapsedMs?: number;
     currentSettingsScopeId?: string;
     currentSettingsChangeNumber?: number;
     currentSettingsHash?: string;
     statusDetail?: string;
-    /** Redacted verified-human receipt carried by a continuation run. */
+    /** Redacted receipt for the latest accepted human decision in this run. */
     humanDecision?: HumanDecisionReceipt;
     /** True while the run is held at a step boundary by a pause request. */
     paused?: boolean;
@@ -729,6 +700,7 @@ export type AssistantMessageReceipt = {
 };
 /** The step contract handed to the executor alongside the prompt. */
 export type AgentStepContract = {
+    requestId: string;
     runId: string;
     workflowName: string;
     nodeId: string;
@@ -781,8 +753,8 @@ export interface AgentStepExecutor {
      * leave the run claimable for an origin session. Omission is unsupported.
      */
     readonly assistantMessageMode?: "visible" | "park" | "unsupported";
-    /** True when the executor can park outside this process and resume the same attempt. */
-    readonly preservesDeadlineWhileParked?: boolean;
+    /** True when the host records active time while this executor parks and resumes an attempt. */
+    readonly preservesActiveTimeBudget?: boolean;
     runAgentStep(request: AgentStepRequest, signal: AbortSignal): Promise<AgentStepSubmission>;
 }
 export type WorkflowNotificationRequest = {
@@ -814,11 +786,6 @@ export type WorkflowEngineOptions = {
      * Awaited after `run_started` is persisted, before any node executes.
      */
     onRunStarted?: (runId: string, state: WorkflowRunState) => MaybePromise<void>;
-    /**
-     * Awaited before the terminal snapshot is persisted. This is where a
-     * session recorder stops and drains. Errors are swallowed: finishing the run wins.
-     */
-    onRunFinishing?: (runId: string, state: WorkflowRunState) => MaybePromise<void>;
     /** Default per-node timeout. Defaults to 15 minutes. */
     defaultNodeTimeoutMs?: number;
     /** Guard against unbounded graph loops. Defaults to 100 executed steps. */

package/dist/workflows/workflow-message-content.d.ts

@@ -3,7 +3,7 @@ import { type WorkflowMessageContent, type WorkflowStepReason } from "../state/w
 export declare const WORKFLOW_STEP_MESSAGE_TYPE = "pi-workflows-step";
 export declare const WORKFLOW_DECISION_MESSAGE_TYPE = "pi-workflows-interaction";
 export declare const WORKFLOW_NOTIFICATION_MESSAGE_TYPE = "pi-workflows-notification";
-export declare const WORKFLOW_TERMINAL_MESSAGE_TYPE = "pi-workflows-presentation";
+export declare const WORKFLOW_TERMINAL_MESSAGE_TYPE = "pi-workflows-terminal";
 export declare const WORKFLOW_FOLLOW_UP_MESSAGE_TYPE = "pi-workflows-follow-up";
 export declare function stepWorkflowMessageContent(options: {
     workflowMessageId: string;
@@ -17,6 +17,12 @@ export declare function decisionWorkflowMessageContent(options: {
     runId: string;
     contract: JsonValue;
 }): WorkflowMessageContent;
+export declare function checkpointWorkflowMessageContent(options: {
+    workflowMessageId: string;
+    requestId: string;
+    runId: string;
+    contract: JsonValue;
+}): WorkflowMessageContent;
 export declare function notificationWorkflowMessageContent(options: {
     workflowMessageId: string;
     notificationId: string;