@exaudeus/workrail 0.10.0 → 0.12.0

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

@@ -0,0 +1,1042 @@
+import { z } from 'zod';
+import type { Result } from 'neverthrow';
+import type { Brand } from '../../../../runtime/brand.js';
+import { type DelimiterSafeIdV1, type StepInstanceKeyV1 } from './step-instance-key.js';
+export type ExecutionSnapshotFileV1 = z.infer<typeof ExecutionSnapshotFileV1Schema>;
+declare const CompletedStepInstancesV1Schema: z.ZodEffects<z.ZodObject<{
+    kind: z.ZodLiteral<"set">;
+    values: z.ZodArray<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, StepInstanceKeyV1, string>, "many">;
+}, "strip", z.ZodTypeAny, {
+    values: StepInstanceKeyV1[];
+    kind: "set";
+}, {
+    values: string[];
+    kind: "set";
+}>, {
+    values: StepInstanceKeyV1[];
+    kind: "set";
+}, {
+    values: string[];
+    kind: "set";
+}>;
+export type CompletedStepInstancesV1 = z.infer<typeof CompletedStepInstancesV1Schema>;
+export interface LoopFrameV1 {
+    readonly loopId: DelimiterSafeIdV1;
+    readonly iteration: number;
+    readonly bodyIndex: number;
+}
+export declare const LoopFrameV1Schema: z.ZodObject<{
+    loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+    iteration: z.ZodNumber;
+    bodyIndex: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    iteration: number;
+    loopId: string & {
+        readonly __brand: "v2.DelimiterSafeIdV1";
+    };
+    bodyIndex: number;
+}, {
+    iteration: number;
+    loopId: string;
+    bodyIndex: number;
+}>;
+export declare const LoopPathFrameV1Schema: z.ZodObject<{
+    loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+    iteration: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    iteration: number;
+    loopId: string & {
+        readonly __brand: "v2.DelimiterSafeIdV1";
+    };
+}, {
+    iteration: number;
+    loopId: string;
+}>;
+export type PendingStepV1 = z.infer<typeof PendingStepV1Schema>;
+export declare const PendingStepV1Schema: z.ZodObject<{
+    stepId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+    loopPath: z.ZodArray<z.ZodObject<{
+        loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+        iteration: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        iteration: number;
+        loopId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+    }, {
+        iteration: number;
+        loopId: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    stepId: string & {
+        readonly __brand: "v2.DelimiterSafeIdV1";
+    };
+    loopPath: {
+        iteration: number;
+        loopId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+    }[];
+}, {
+    stepId: string;
+    loopPath: {
+        iteration: number;
+        loopId: string;
+    }[];
+}>;
+export declare const PendingV1Schema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"none">;
+}, "strip", z.ZodTypeAny, {
+    kind: "none";
+}, {
+    kind: "none";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"some">;
+    step: z.ZodObject<{
+        stepId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+        loopPath: z.ZodArray<z.ZodObject<{
+            loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+            iteration: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+        }, {
+            iteration: number;
+            loopId: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        stepId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+        loopPath: {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+        }[];
+    }, {
+        stepId: string;
+        loopPath: {
+            iteration: number;
+            loopId: string;
+        }[];
+    }>;
+}, "strip", z.ZodTypeAny, {
+    step: {
+        stepId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+        loopPath: {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+        }[];
+    };
+    kind: "some";
+}, {
+    step: {
+        stepId: string;
+        loopPath: {
+            iteration: number;
+            loopId: string;
+        }[];
+    };
+    kind: "some";
+}>]>;
+export type PendingV1 = z.infer<typeof PendingV1Schema>;
+export type EngineStateV1 = z.infer<typeof EngineStateV1Schema>;
+export declare const EngineStateV1Schema: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"init">;
+}, "strip", z.ZodTypeAny, {
+    kind: "init";
+}, {
+    kind: "init";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"running">;
+    completed: z.ZodEffects<z.ZodObject<{
+        kind: z.ZodLiteral<"set">;
+        values: z.ZodArray<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, StepInstanceKeyV1, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        values: StepInstanceKeyV1[];
+        kind: "set";
+    }, {
+        values: string[];
+        kind: "set";
+    }>, {
+        values: StepInstanceKeyV1[];
+        kind: "set";
+    }, {
+        values: string[];
+        kind: "set";
+    }>;
+    loopStack: z.ZodArray<z.ZodObject<{
+        loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+        iteration: z.ZodNumber;
+        bodyIndex: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        iteration: number;
+        loopId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+        bodyIndex: number;
+    }, {
+        iteration: number;
+        loopId: string;
+        bodyIndex: number;
+    }>, "many">;
+    pending: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"none">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "none";
+    }, {
+        kind: "none";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"some">;
+        step: z.ZodObject<{
+            stepId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+            loopPath: z.ZodArray<z.ZodObject<{
+                loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+                iteration: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+            }, {
+                iteration: number;
+                loopId: string;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            stepId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            loopPath: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+            }[];
+        }, {
+            stepId: string;
+            loopPath: {
+                iteration: number;
+                loopId: string;
+            }[];
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        step: {
+            stepId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            loopPath: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+            }[];
+        };
+        kind: "some";
+    }, {
+        step: {
+            stepId: string;
+            loopPath: {
+                iteration: number;
+                loopId: string;
+            }[];
+        };
+        kind: "some";
+    }>]>;
+}, "strip", z.ZodTypeAny, {
+    kind: "running";
+    completed: {
+        values: StepInstanceKeyV1[];
+        kind: "set";
+    };
+    loopStack: {
+        iteration: number;
+        loopId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+        bodyIndex: number;
+    }[];
+    pending: {
+        kind: "none";
+    } | {
+        step: {
+            stepId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            loopPath: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+            }[];
+        };
+        kind: "some";
+    };
+}, {
+    kind: "running";
+    completed: {
+        values: string[];
+        kind: "set";
+    };
+    loopStack: {
+        iteration: number;
+        loopId: string;
+        bodyIndex: number;
+    }[];
+    pending: {
+        kind: "none";
+    } | {
+        step: {
+            stepId: string;
+            loopPath: {
+                iteration: number;
+                loopId: string;
+            }[];
+        };
+        kind: "some";
+    };
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"complete">;
+}, "strip", z.ZodTypeAny, {
+    kind: "complete";
+}, {
+    kind: "complete";
+}>]>, {
+    kind: "init";
+} | {
+    kind: "running";
+    completed: {
+        values: StepInstanceKeyV1[];
+        kind: "set";
+    };
+    loopStack: {
+        iteration: number;
+        loopId: string & {
+            readonly __brand: "v2.DelimiterSafeIdV1";
+        };
+        bodyIndex: number;
+    }[];
+    pending: {
+        kind: "none";
+    } | {
+        step: {
+            stepId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            loopPath: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+            }[];
+        };
+        kind: "some";
+    };
+} | {
+    kind: "complete";
+}, {
+    kind: "init";
+} | {
+    kind: "running";
+    completed: {
+        values: string[];
+        kind: "set";
+    };
+    loopStack: {
+        iteration: number;
+        loopId: string;
+        bodyIndex: number;
+    }[];
+    pending: {
+        kind: "none";
+    } | {
+        step: {
+            stepId: string;
+            loopPath: {
+                iteration: number;
+                loopId: string;
+            }[];
+        };
+        kind: "some";
+    };
+} | {
+    kind: "complete";
+}>;
+export type EnginePayloadV1 = z.infer<typeof EnginePayloadV1Schema>;
+export declare const EnginePayloadV1Schema: z.ZodObject<{
+    v: z.ZodLiteral<1>;
+    engineState: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"init">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "init";
+    }, {
+        kind: "init";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"running">;
+        completed: z.ZodEffects<z.ZodObject<{
+            kind: z.ZodLiteral<"set">;
+            values: z.ZodArray<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, StepInstanceKeyV1, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            values: StepInstanceKeyV1[];
+            kind: "set";
+        }, {
+            values: string[];
+            kind: "set";
+        }>, {
+            values: StepInstanceKeyV1[];
+            kind: "set";
+        }, {
+            values: string[];
+            kind: "set";
+        }>;
+        loopStack: z.ZodArray<z.ZodObject<{
+            loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+            iteration: z.ZodNumber;
+            bodyIndex: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            bodyIndex: number;
+        }, {
+            iteration: number;
+            loopId: string;
+            bodyIndex: number;
+        }>, "many">;
+        pending: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"none">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "none";
+        }, {
+            kind: "none";
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"some">;
+            step: z.ZodObject<{
+                stepId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+                loopPath: z.ZodArray<z.ZodObject<{
+                    loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+                    iteration: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    iteration: number;
+                    loopId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                }, {
+                    iteration: number;
+                    loopId: string;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                stepId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                loopPath: {
+                    iteration: number;
+                    loopId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                }[];
+            }, {
+                stepId: string;
+                loopPath: {
+                    iteration: number;
+                    loopId: string;
+                }[];
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            step: {
+                stepId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                loopPath: {
+                    iteration: number;
+                    loopId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                }[];
+            };
+            kind: "some";
+        }, {
+            step: {
+                stepId: string;
+                loopPath: {
+                    iteration: number;
+                    loopId: string;
+                }[];
+            };
+            kind: "some";
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "running";
+        completed: {
+            values: StepInstanceKeyV1[];
+            kind: "set";
+        };
+        loopStack: {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            bodyIndex: number;
+        }[];
+        pending: {
+            kind: "none";
+        } | {
+            step: {
+                stepId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                loopPath: {
+                    iteration: number;
+                    loopId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                }[];
+            };
+            kind: "some";
+        };
+    }, {
+        kind: "running";
+        completed: {
+            values: string[];
+            kind: "set";
+        };
+        loopStack: {
+            iteration: number;
+            loopId: string;
+            bodyIndex: number;
+        }[];
+        pending: {
+            kind: "none";
+        } | {
+            step: {
+                stepId: string;
+                loopPath: {
+                    iteration: number;
+                    loopId: string;
+                }[];
+            };
+            kind: "some";
+        };
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"complete">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "complete";
+    }, {
+        kind: "complete";
+    }>]>, {
+        kind: "init";
+    } | {
+        kind: "running";
+        completed: {
+            values: StepInstanceKeyV1[];
+            kind: "set";
+        };
+        loopStack: {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            bodyIndex: number;
+        }[];
+        pending: {
+            kind: "none";
+        } | {
+            step: {
+                stepId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                loopPath: {
+                    iteration: number;
+                    loopId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                }[];
+            };
+            kind: "some";
+        };
+    } | {
+        kind: "complete";
+    }, {
+        kind: "init";
+    } | {
+        kind: "running";
+        completed: {
+            values: string[];
+            kind: "set";
+        };
+        loopStack: {
+            iteration: number;
+            loopId: string;
+            bodyIndex: number;
+        }[];
+        pending: {
+            kind: "none";
+        } | {
+            step: {
+                stepId: string;
+                loopPath: {
+                    iteration: number;
+                    loopId: string;
+                }[];
+            };
+            kind: "some";
+        };
+    } | {
+        kind: "complete";
+    }>;
+}, "strip", z.ZodTypeAny, {
+    v: 1;
+    engineState: {
+        kind: "init";
+    } | {
+        kind: "running";
+        completed: {
+            values: StepInstanceKeyV1[];
+            kind: "set";
+        };
+        loopStack: {
+            iteration: number;
+            loopId: string & {
+                readonly __brand: "v2.DelimiterSafeIdV1";
+            };
+            bodyIndex: number;
+        }[];
+        pending: {
+            kind: "none";
+        } | {
+            step: {
+                stepId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                loopPath: {
+                    iteration: number;
+                    loopId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                }[];
+            };
+            kind: "some";
+        };
+    } | {
+        kind: "complete";
+    };
+}, {
+    v: 1;
+    engineState: {
+        kind: "init";
+    } | {
+        kind: "running";
+        completed: {
+            values: string[];
+            kind: "set";
+        };
+        loopStack: {
+            iteration: number;
+            loopId: string;
+            bodyIndex: number;
+        }[];
+        pending: {
+            kind: "none";
+        } | {
+            step: {
+                stepId: string;
+                loopPath: {
+                    iteration: number;
+                    loopId: string;
+                }[];
+            };
+            kind: "some";
+        };
+    } | {
+        kind: "complete";
+    };
+}>;
+export declare const ExecutionSnapshotFileV1Schema: z.ZodObject<{
+    v: z.ZodLiteral<1>;
+    kind: z.ZodLiteral<"execution_snapshot">;
+    enginePayload: z.ZodObject<{
+        v: z.ZodLiteral<1>;
+        engineState: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"init">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "init";
+        }, {
+            kind: "init";
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"running">;
+            completed: z.ZodEffects<z.ZodObject<{
+                kind: z.ZodLiteral<"set">;
+                values: z.ZodArray<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, StepInstanceKeyV1, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                values: StepInstanceKeyV1[];
+                kind: "set";
+            }, {
+                values: string[];
+                kind: "set";
+            }>, {
+                values: StepInstanceKeyV1[];
+                kind: "set";
+            }, {
+                values: string[];
+                kind: "set";
+            }>;
+            loopStack: z.ZodArray<z.ZodObject<{
+                loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+                iteration: z.ZodNumber;
+                bodyIndex: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                bodyIndex: number;
+            }, {
+                iteration: number;
+                loopId: string;
+                bodyIndex: number;
+            }>, "many">;
+            pending: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"none">;
+            }, "strip", z.ZodTypeAny, {
+                kind: "none";
+            }, {
+                kind: "none";
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"some">;
+                step: z.ZodObject<{
+                    stepId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+                    loopPath: z.ZodArray<z.ZodObject<{
+                        loopId: z.ZodEffects<z.ZodString, DelimiterSafeIdV1, string>;
+                        iteration: z.ZodNumber;
+                    }, "strip", z.ZodTypeAny, {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }, {
+                        iteration: number;
+                        loopId: string;
+                    }>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    stepId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                    loopPath: {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }[];
+                }, {
+                    stepId: string;
+                    loopPath: {
+                        iteration: number;
+                        loopId: string;
+                    }[];
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                step: {
+                    stepId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                    loopPath: {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }[];
+                };
+                kind: "some";
+            }, {
+                step: {
+                    stepId: string;
+                    loopPath: {
+                        iteration: number;
+                        loopId: string;
+                    }[];
+                };
+                kind: "some";
+            }>]>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "running";
+            completed: {
+                values: StepInstanceKeyV1[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                    loopPath: {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }[];
+                };
+                kind: "some";
+            };
+        }, {
+            kind: "running";
+            completed: {
+                values: string[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string;
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string;
+                    loopPath: {
+                        iteration: number;
+                        loopId: string;
+                    }[];
+                };
+                kind: "some";
+            };
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"complete">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "complete";
+        }, {
+            kind: "complete";
+        }>]>, {
+            kind: "init";
+        } | {
+            kind: "running";
+            completed: {
+                values: StepInstanceKeyV1[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                    loopPath: {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }[];
+                };
+                kind: "some";
+            };
+        } | {
+            kind: "complete";
+        }, {
+            kind: "init";
+        } | {
+            kind: "running";
+            completed: {
+                values: string[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string;
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string;
+                    loopPath: {
+                        iteration: number;
+                        loopId: string;
+                    }[];
+                };
+                kind: "some";
+            };
+        } | {
+            kind: "complete";
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        v: 1;
+        engineState: {
+            kind: "init";
+        } | {
+            kind: "running";
+            completed: {
+                values: StepInstanceKeyV1[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                    loopPath: {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }[];
+                };
+                kind: "some";
+            };
+        } | {
+            kind: "complete";
+        };
+    }, {
+        v: 1;
+        engineState: {
+            kind: "init";
+        } | {
+            kind: "running";
+            completed: {
+                values: string[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string;
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string;
+                    loopPath: {
+                        iteration: number;
+                        loopId: string;
+                    }[];
+                };
+                kind: "some";
+            };
+        } | {
+            kind: "complete";
+        };
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "execution_snapshot";
+    v: 1;
+    enginePayload: {
+        v: 1;
+        engineState: {
+            kind: "init";
+        } | {
+            kind: "running";
+            completed: {
+                values: StepInstanceKeyV1[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string & {
+                    readonly __brand: "v2.DelimiterSafeIdV1";
+                };
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string & {
+                        readonly __brand: "v2.DelimiterSafeIdV1";
+                    };
+                    loopPath: {
+                        iteration: number;
+                        loopId: string & {
+                            readonly __brand: "v2.DelimiterSafeIdV1";
+                        };
+                    }[];
+                };
+                kind: "some";
+            };
+        } | {
+            kind: "complete";
+        };
+    };
+}, {
+    kind: "execution_snapshot";
+    v: 1;
+    enginePayload: {
+        v: 1;
+        engineState: {
+            kind: "init";
+        } | {
+            kind: "running";
+            completed: {
+                values: string[];
+                kind: "set";
+            };
+            loopStack: {
+                iteration: number;
+                loopId: string;
+                bodyIndex: number;
+            }[];
+            pending: {
+                kind: "none";
+            } | {
+                step: {
+                    stepId: string;
+                    loopPath: {
+                        iteration: number;
+                        loopId: string;
+                    }[];
+                };
+                kind: "some";
+            };
+        } | {
+            kind: "complete";
+        };
+    };
+}>;
+export type SnapshotRefV1 = Brand<string, 'v2.SnapshotRefV1'>;
+export type SnapshotHashErrorV1 = {
+    readonly code: 'SNAPSHOT_HASH_CANONICALIZE_FAILED';
+    readonly message: string;
+} | {
+    readonly code: 'SNAPSHOT_HASH_UNSUPPORTED';
+    readonly message: string;
+};
+export declare function isSortedLex(values: readonly StepInstanceKeyV1[]): boolean;
+export type CompletedSetBuildErrorV1 = {
+    readonly code: 'COMPLETED_SET_UNSORTED';
+    readonly message: string;
+};
+export declare function completedSetFromSorted(values: readonly StepInstanceKeyV1[]): Result<CompletedStepInstancesV1, CompletedSetBuildErrorV1>;
+export {};