gate-evm-tools 1.0.28 → 1.2.0

package/dist-runtime/workflow/lib/staticValidation.d.ts

@@ -2,10 +2,37 @@ export interface StaticValidationCommandResult {
     status: number;
     error?: string;
 }
+export type StaticValidationScheme = "evm" | "zksync-eravm";
+export interface StaticValidationCompileTarget {
+    scheme: StaticValidationScheme;
+    network: string;
+}
+export interface StaticValidationCheckEvidence {
+    label: string;
+    command: string;
+    status: "passed" | "failed";
+    exitCode: number;
+    scheme?: StaticValidationScheme;
+    network?: string;
+    error?: string;
+}
+export interface StaticValidationEvidence {
+    schemaVersion: 1;
+    status: "passed" | "failed";
+    deploymentId: string;
+    completedAt: string;
+    checks: StaticValidationCheckEvidence[];
+    compileTargets: StaticValidationCompileTarget[];
+    compiledSchemes: StaticValidationScheme[];
+    blockingReasons: string[];
+}
 export interface StaticValidationOptions {
+    /** Omit to retain the legacy dual-scheme requirement. */
+    requiredSchemes?: StaticValidationScheme[];
     root: string;
     deploymentId: string;
     network?: string;
+    compileTargets?: StaticValidationCompileTarget[];
     testCommand?: {
         command: string;
         args: string[];
@@ -18,5 +45,6 @@ export interface StaticValidationOptions {
 export interface StaticValidationResult {
     status: "passed" | "failed";
     reportPath: string;
+    evidencePath: string;
 }
 export declare const runStaticValidation: (options: StaticValidationOptions) => Promise<StaticValidationResult>;

package/dist-runtime/workflow/lib/staticValidation.js

@@ -8,6 +8,7 @@ const child_process_1 = require("child_process");
 const fs_1 = __importDefault(require("fs"));
 const path_1 = __importDefault(require("path"));
 const yaml_1 = __importDefault(require("yaml"));
+const policy_1 = require("../../delivery/policy");
 const SAFE_ID = /^[A-Za-z0-9][A-Za-z0-9_-]{0,199}$/;
 const defaultRunCommand = (command, args, options) => {
     const executable = process.platform === "win32" && (command === "npm" || command === "npx")
@@ -65,30 +66,46 @@ const writeTextAtomic = (filePath, contents) => {
 const runStaticValidation = async (options) => {
     if (!SAFE_ID.test(options.deploymentId))
         throw new Error("deploymentId is invalid");
-    if (options.network !== undefined && !SAFE_ID.test(options.network)) {
+    if (options.network !== undefined && !(0, policy_1.isSafeNetworkAlias)(options.network)) {
         throw new Error("network is invalid");
     }
+    const compileTargets = options.compileTargets || (options.network
+        ? [{ scheme: "evm", network: options.network }]
+        : []);
+    const requiredSchemes = options.requiredSchemes ?? ["evm", "zksync-eravm"];
+    const invalidTargets = (requiredSchemes.length === 0
+        || new Set(requiredSchemes).size !== requiredSchemes.length
+        || requiredSchemes.some(scheme => !["evm", "zksync-eravm"].includes(scheme))
+        || compileTargets.length !== requiredSchemes.length
+        || new Set(compileTargets.map(target => target.scheme)).size !== requiredSchemes.length
+        || requiredSchemes.some(scheme => !compileTargets.some(target => target.scheme === scheme))
+        || compileTargets.some(target => !(0, policy_1.isSafeNetworkAlias)(target.network)));
     const taskDir = path_1.default.join(options.root, "scripts", "tasks", options.deploymentId);
     if (!fs_1.default.existsSync(taskDir) || !fs_1.default.statSync(taskDir).isDirectory()) {
         throw new Error(`Deployment task does not exist: ${options.deploymentId}`);
     }
     const runCommand = options.runCommand || defaultRunCommand;
-    const compileArgs = options.network
-        ? ["run", "compile", "--", "--network", options.network]
-        : ["run", "compile"];
     const commands = [
-        { label: ["npm", ...compileArgs].join(" "), command: "npm", args: compileArgs },
-        { label: "npx tsc --noEmit", command: "npx", args: ["tsc", "--noEmit"] },
+        ...compileTargets.map((target) => ({
+            label: `npm run compile -- --network ${target.network}`,
+            command: "npm",
+            args: ["run", "compile", "--", "--network", target.network],
+            scheme: target.scheme,
+            network: target.network,
+        })),
+        { label: "npx tsc --noEmit", command: "npx", args: ["tsc", "--noEmit"], scheme: undefined, network: undefined },
         {
             label: (options.testCommand
                 ? [options.testCommand.command, ...options.testCommand.args]
                 : ["npm", "test"]).join(" "),
             command: options.testCommand?.command || "npm",
             args: options.testCommand?.args || ["test"],
+            scheme: undefined,
+            network: undefined,
         },
     ];
     const evidence = [];
-    for (const command of commands) {
+    for (const command of invalidTargets ? [] : commands) {
         let result;
         try {
             result = await runCommand(command.command, command.args, { cwd: options.root });
@@ -96,12 +113,38 @@ const runStaticValidation = async (options) => {
         catch (error) {
             result = { status: 1, error: error instanceof Error ? error.message : String(error) };
         }
-        evidence.push({ label: command.label, result });
+        evidence.push({ label: command.label, result, scheme: command.scheme, network: command.network });
     }
     evidence.push({ label: "YAML/JSON parse", result: parseTaskDocuments(taskDir) });
-    const status = evidence.every((entry) => entry.result.status === 0) ? "passed" : "failed";
+    const status = !invalidTargets && evidence.every((entry) => entry.result.status === 0) ? "passed" : "failed";
     const completedAt = (options.now || (() => new Date().toISOString()))();
     const reportPath = `scripts/tasks/${options.deploymentId}/docs/static-validation.md`;
+    const evidencePath = `scripts/tasks/${options.deploymentId}/docs/static-validation.json`;
+    const checks = evidence.map((entry) => ({
+        label: entry.label,
+        command: entry.label,
+        status: entry.result.status === 0 ? "passed" : "failed",
+        exitCode: entry.result.status,
+        ...(entry.scheme ? { scheme: entry.scheme } : {}),
+        ...(entry.network ? { network: entry.network } : {}),
+        ...(entry.result.error ? { error: entry.result.error } : {}),
+    }));
+    const structuredEvidence = {
+        schemaVersion: 1,
+        status,
+        deploymentId: options.deploymentId,
+        completedAt,
+        checks,
+        compileTargets,
+        compiledSchemes: compileTargets
+            .filter((target) => checks.some((check) => check.scheme === target.scheme && check.status === "passed"))
+            .map((target) => target.scheme),
+        blockingReasons: [
+            ...(invalidTargets ? [options.requiredSchemes ? `compileTargets must include exactly one target for each required scheme: ${requiredSchemes.join(", ")}` : "compileTargets must include exactly one evm and one zksync-eravm target"] : []),
+            ...checks.filter((check) => check.status !== "passed")
+                .map((check) => check.scheme ? `${check.scheme} (${check.network}) compile failed` : `${check.label} failed`),
+        ],
+    };
     const lines = [
         "# Static Validation",
         "",
@@ -118,7 +161,8 @@ const runStaticValidation = async (options) => {
         ]),
     ];
     writeTextAtomic(path_1.default.join(options.root, ...reportPath.split("/")), lines.join("\n"));
-    return { status, reportPath };
+    writeTextAtomic(path_1.default.join(options.root, ...evidencePath.split("/")), `${JSON.stringify(structuredEvidence, null, 2)}\n`);
+    return { status, reportPath, evidencePath };
 };
 exports.runStaticValidation = runStaticValidation;
 //# sourceMappingURL=staticValidation.js.map

package/dist-runtime/workflow/lib/staticValidation.js.map

@@ -1 +1 @@
-{"version":3,"file":"staticValidation.js","sourceRoot":"","sources":["../../../runtime/workflow/lib/staticValidation.ts"],"names":[],"mappings":";;;;;;AAAA,iDAA0C;AAC1C,4CAAoB;AACpB,gDAAwB;AACxB,gDAAwB;AAyBxB,MAAM,OAAO,GAAG,mCAAmC,CAAC;AAEpD,MAAM,iBAAiB,GAAG,CACxB,OAAe,EACf,IAAc,EACd,OAAwB,EACO,EAAE;IACjC,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,CAAC;QACzF,CAAC,CAAC,GAAG,OAAO,MAAM;QAClB,CAAC,CAAC,OAAO,CAAC;IACZ,MAAM,MAAM,GAAG,IAAA,yBAAS,EAAC,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACrG,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,OAAe,EAAY,EAAE;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAQ,EAAE;QACxC,KAAK,MAAM,KAAK,IAAI,YAAE,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACvE,MAAM,QAAQ,GAAG,cAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,KAAK,CAAC,cAAc,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,QAAQ,EAAE,CAAC,CAAC;YACrG,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAiC,EAAE;IAC5E,IAAI,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,YAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACnD,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;;gBAC/C,cAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACvB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAQ,EAAE;IACnE,YAAE,CAAC,SAAS,CAAC,cAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IACjE,IAAI,CAAC;QACH,YAAE,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACtC,YAAE,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,YAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,YAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEK,MAAM,mBAAmB,GAAG,KAAK,EACtC,OAAgC,EACC,EAAE;IACnC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAClF,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,YAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO;QACjC,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC;QACxD,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACvB,MAAM,QAAQ,GAAG;QACf,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE;QAC/E,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;QACxE;YACE,KAAK,EAAE,CAAC,OAAO,CAAC,WAAW;gBACzB,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;gBAC5D,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAC9B,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,IAAI,KAAK;YAC9C,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC;SAC5C;KACF,CAAC;IACF,MAAM,QAAQ,GAAoE,EAAE,CAAC;IACrF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,MAAqC,CAAC;QAC1C,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1F,MAAM,WAAW,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,UAAU,GAAG,iBAAiB,OAAO,CAAC,YAAY,4BAA4B,CAAC;IACrF,MAAM,KAAK,GAAG;QACZ,qBAAqB;QACrB,EAAE;QACF,WAAW,MAAM,EAAE;QACnB,gBAAgB,WAAW,EAAE;QAC7B,EAAE;QACF,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YAC7B,MAAM,KAAK,CAAC,KAAK,EAAE;YACnB,YAAY,KAAK,CAAC,KAAK,EAAE;YACzB,WAAW,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC5D,SAAS,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE;YAC9B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,EAAE;SACH,CAAC;KACH,CAAC;IACF,eAAe,CAAC,cAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC,CAAC;AAzDW,QAAA,mBAAmB,uBAyD9B"}
+{"version":3,"file":"staticValidation.js","sourceRoot":"","sources":["../../../runtime/workflow/lib/staticValidation.ts"],"names":[],"mappings":";;;;;;AAAA,iDAA0C;AAC1C,4CAAoB;AACpB,gDAAwB;AACxB,gDAAwB;AACxB,kDAA2D;AAyD3D,MAAM,OAAO,GAAG,mCAAmC,CAAC;AAEpD,MAAM,iBAAiB,GAAG,CACxB,OAAe,EACf,IAAc,EACd,OAAwB,EACO,EAAE;IACjC,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,CAAC;QACzF,CAAC,CAAC,GAAG,OAAO,MAAM;QAClB,CAAC,CAAC,OAAO,CAAC;IACZ,MAAM,MAAM,GAAG,IAAA,yBAAS,EAAC,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACrG,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,OAAe,EAAY,EAAE;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAQ,EAAE;QACxC,KAAK,MAAM,KAAK,IAAI,YAAE,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACvE,MAAM,QAAQ,GAAG,cAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,KAAK,CAAC,cAAc,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,QAAQ,EAAE,CAAC,CAAC;YACrG,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAiC,EAAE;IAC5E,IAAI,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,YAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACnD,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;;gBAC/C,cAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACvB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAQ,EAAE;IACnE,YAAE,CAAC,SAAS,CAAC,cAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IACjE,IAAI,CAAC;QACH,YAAE,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACtC,YAAE,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,YAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,YAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEK,MAAM,mBAAmB,GAAG,KAAK,EACtC,OAAgC,EACC,EAAE;IACnC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAA,2BAAkB,EAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,OAAO;QAC/D,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAc,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;QACxD,CAAC,CAAC,EAAE,CAAC,CAAC;IACR,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG,CACrB,eAAe,CAAC,MAAM,KAAK,CAAC;WACzB,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,MAAM;WACxD,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;WACzE,cAAc,CAAC,MAAM,KAAK,eAAe,CAAC,MAAM;WAChD,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,MAAM;WACpF,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;WACxF,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAA,2BAAkB,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CACtE,CAAC;IACF,MAAM,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAClF,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,YAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAC3D,MAAM,QAAQ,GAAG;QACf,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACjC,KAAK,EAAE,gCAAgC,MAAM,CAAC,OAAO,EAAE;YACvD,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC;YAC3D,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC,CAAC;QACH,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE;QAC/G;YACE,KAAK,EAAE,CAAC,OAAO,CAAC,WAAW;gBACzB,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;gBAC5D,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAC9B,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,IAAI,KAAK;YAC9C,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC;YAC3C,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,SAAS;SACnB;KACF,CAAC;IACF,MAAM,QAAQ,GAAuH,EAAE,CAAC;IACxI,KAAK,MAAM,OAAO,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrD,IAAI,MAAqC,CAAC;QAC1C,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,CAAC,cAAc,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7G,MAAM,WAAW,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,UAAU,GAAG,iBAAiB,OAAO,CAAC,YAAY,4BAA4B,CAAC;IACrF,MAAM,YAAY,GAAG,iBAAiB,OAAO,CAAC,YAAY,8BAA8B,CAAC;IACzF,MAAM,MAAM,GAAoC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACvE,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,KAAK,CAAC,KAAK;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QACvD,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;QAC7B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7D,CAAC,CAAC,CAAC;IACJ,MAAM,kBAAkB,GAA6B;QACnD,aAAa,EAAE,CAAC;QAChB,MAAM;QACN,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,WAAW;QACX,MAAM;QACN,cAAc;QACd,eAAe,EAAE,cAAc;aAC5B,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;aACvG,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACjC,eAAe,EAAE;YACf,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,4EAA4E,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,yEAAyE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3O,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;iBACnD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,SAAS,CAAC;SAChH;KACF,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,qBAAqB;QACrB,EAAE;QACF,WAAW,MAAM,EAAE;QACnB,gBAAgB,WAAW,EAAE;QAC7B,EAAE;QACF,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YAC7B,MAAM,KAAK,CAAC,KAAK,EAAE;YACnB,YAAY,KAAK,CAAC,KAAK,EAAE;YACzB,WAAW,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC5D,SAAS,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE;YAC9B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,EAAE;SACH,CAAC;KACH,CAAC;IACF,eAAe,CAAC,cAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,eAAe,CACb,cAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EACnD,GAAG,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CACnD,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;AAC9C,CAAC,CAAC;AAzGW,QAAA,mBAAmB,uBAyG9B"}

package/dist-runtime/workflow/lib/transactionPlanner.d.ts

@@ -0,0 +1,62 @@
+export type ExecutionRoute = "operator" | "external";
+export interface ReleaseExecutionTransaction {
+    transactionId: string;
+    stepId: string;
+    transactionIndex: number;
+    route: ExecutionRoute;
+    executor: string;
+    to: string;
+    value: string;
+    data: string;
+    operation: 0 | 1;
+    scheme?: "zksync-eravm";
+    factoryDeps?: string[];
+}
+export interface ReleaseExecutionTransactionInput {
+    stepId: string;
+    executor: string;
+    to: string;
+    value: string;
+    data: string;
+    operation: 0 | 1;
+    scheme?: "zksync-eravm";
+    factoryDeps?: string[];
+}
+export interface CompletedExecutionTransaction {
+    transactionId: string;
+    transactionHash: string;
+}
+export interface PlannedExecutionTransaction extends ReleaseExecutionTransaction {
+    executionAction: "execute" | "package" | "replay";
+    transactionHash?: string;
+}
+export declare class ExecutionSegmentDeferred extends Error {
+    readonly transactionId: string;
+    constructor(transactionId: string);
+}
+export declare const normalizeTransaction: (raw: unknown, index: number, strict: boolean) => ReleaseExecutionTransaction;
+export declare const normalizeTransactions: (raw: unknown, operator: string) => ReleaseExecutionTransaction[];
+export interface TransactionPlannerPort {
+    add(input: ReleaseExecutionTransactionInput): PlannedExecutionTransaction;
+}
+export declare class TransactionPlanner {
+    private readonly operator;
+    private readonly allowExternal;
+    private readonly expected?;
+    private readonly transactions;
+    private readonly segmentedExecution;
+    private readonly completedTransactions;
+    private readonly segmentEnd;
+    constructor(input: {
+        operator: string;
+        allowExternal?: boolean;
+        expectedTransactions?: readonly ReleaseExecutionTransaction[];
+        segmentedExecution?: boolean;
+        replayCompletedPrefix?: boolean;
+        completedTransactions?: CompletedExecutionTransaction[];
+    });
+    add(input: ReleaseExecutionTransactionInput): PlannedExecutionTransaction;
+    complete(options?: {
+        allowPartial?: boolean;
+    }): ReleaseExecutionTransaction[];
+}

package/dist-runtime/workflow/lib/transactionPlanner.js

@@ -0,0 +1,258 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TransactionPlanner = exports.normalizeTransactions = exports.normalizeTransaction = exports.ExecutionSegmentDeferred = void 0;
+const crypto_1 = __importDefault(require("crypto"));
+class ExecutionSegmentDeferred extends Error {
+    transactionId;
+    constructor(transactionId) {
+        super(`Execution is waiting for the preceding external segment before ${transactionId}`);
+        this.transactionId = transactionId;
+        this.name = "ExecutionSegmentDeferred";
+    }
+}
+exports.ExecutionSegmentDeferred = ExecutionSegmentDeferred;
+const SAFE_ID = /^[A-Za-z0-9][A-Za-z0-9_-]{0,199}$/;
+const ADDRESS = /^0x[0-9a-fA-F]{40}$/;
+const DATA = /^0x(?:[0-9a-fA-F]{2})*$/;
+const HASH = /^[0-9a-f]{64}$/;
+const safeId = (value, label) => {
+    if (typeof value !== "string" || !SAFE_ID.test(value)) {
+        throw new Error(`${label} must match ${SAFE_ID}`);
+    }
+    return value;
+};
+const address = (value, label) => {
+    if (typeof value !== "string" || !ADDRESS.test(value)) {
+        throw new Error(`${label} must be an EVM address`);
+    }
+    if (value.toLowerCase() === "0x0000000000000000000000000000000000000000") {
+        throw new Error(`${label} must be non-zero`);
+    }
+    return value.toLowerCase();
+};
+const value = (raw, label) => {
+    if (typeof raw !== "string" || !/^(?:0[xX][0-9a-fA-F]+|[0-9]+)$/.test(raw)) {
+        throw new Error(`${label} must be a nonnegative integer string`);
+    }
+    return BigInt(raw).toString(10);
+};
+const data = (raw, label) => {
+    if (typeof raw !== "string" || !DATA.test(raw)) {
+        throw new Error(`${label} must be canonical byte calldata`);
+    }
+    return raw.toLowerCase();
+};
+const factoryDeps = (raw, label) => {
+    if (!Array.isArray(raw))
+        throw new Error(`${label} must be an array`);
+    const seen = new Set();
+    const normalized = [];
+    for (const [index, dependency] of raw.entries()) {
+        if (typeof dependency !== "string" || !/^0x(?:[0-9a-fA-F]{2})+$/.test(dependency)) {
+            throw new Error(`${label}[${index}] must be non-empty byte-aligned bytecode`);
+        }
+        const value = dependency.toLowerCase();
+        const hash = crypto_1.default
+            .createHash("sha256")
+            .update(Buffer.from(value.slice(2), "hex"))
+            .digest("hex");
+        if (seen.has(hash))
+            continue;
+        seen.add(hash);
+        normalized.push(value);
+    }
+    return normalized;
+};
+const exactKeys = (value, expected, label) => {
+    const actual = Object.keys(value).sort();
+    const wanted = [...expected].sort();
+    if (actual.length !== wanted.length || actual.some((key, index) => key !== wanted[index])) {
+        throw new Error(`${label} contains unsupported or missing fields`);
+    }
+};
+const record = (raw, label) => {
+    if (!raw || typeof raw !== "object" || Array.isArray(raw)) {
+        throw new Error(`${label} must be an object`);
+    }
+    return raw;
+};
+const normalizeTransaction = (raw, index, strict) => {
+    const input = record(raw, `transactions[${index}]`);
+    const isZkSync = input.scheme === "zksync-eravm";
+    if (input.scheme !== undefined && !isZkSync) {
+        throw new Error(`transactions[${index}].scheme must be zksync-eravm when present`);
+    }
+    if (isZkSync && input.factoryDeps === undefined) {
+        throw new Error(`transactions[${index}].factoryDeps is required for zkSync`);
+    }
+    if (!isZkSync && input.factoryDeps !== undefined) {
+        throw new Error(`transactions[${index}].factoryDeps is only supported for zkSync`);
+    }
+    if (strict) {
+        exactKeys(input, [
+            "transactionId",
+            "stepId",
+            "transactionIndex",
+            "route",
+            "executor",
+            "to",
+            "value",
+            "data",
+            "operation",
+            ...(isZkSync ? ["scheme", "factoryDeps"] : []),
+        ], `transactions[${index}]`);
+    }
+    if (input.transactionIndex !== index) {
+        throw new Error(`transactions[${index}].transactionIndex must equal ${index}`);
+    }
+    if (input.route !== "operator" && input.route !== "external") {
+        throw new Error(`transactions[${index}].route is invalid`);
+    }
+    if (input.operation !== 0 && input.operation !== 1) {
+        throw new Error(`transactions[${index}].operation must be 0 or 1`);
+    }
+    return {
+        transactionId: safeId(input.transactionId, `transactions[${index}].transactionId`),
+        stepId: safeId(input.stepId, `transactions[${index}].stepId`),
+        transactionIndex: index,
+        route: input.route,
+        executor: address(input.executor, `transactions[${index}].executor`),
+        to: address(input.to, `transactions[${index}].to`),
+        value: value(input.value, `transactions[${index}].value`),
+        data: data(input.data, `transactions[${index}].data`),
+        operation: input.operation,
+        ...(isZkSync ? {
+            scheme: "zksync-eravm",
+            factoryDeps: factoryDeps(input.factoryDeps, `transactions[${index}].factoryDeps`),
+        } : {}),
+    };
+};
+exports.normalizeTransaction = normalizeTransaction;
+const normalizeTransactions = (raw, operator) => {
+    if (!Array.isArray(raw))
+        throw new Error("transactions must be an array");
+    const transactions = raw.map((tx, index) => (0, exports.normalizeTransaction)(tx, index, true));
+    const ids = new Set();
+    for (const tx of transactions) {
+        if (ids.has(tx.transactionId))
+            throw new Error("duplicate transactionId");
+        ids.add(tx.transactionId);
+        if (tx.transactionId !== `tx-${String(tx.transactionIndex + 1).padStart(4, "0")}-${tx.stepId}`)
+            throw new Error("transactionId must match its ordered index and step");
+        if ((tx.executor === operator.toLowerCase()) !== (tx.route === "operator"))
+            throw new Error("transaction route does not match operator");
+    }
+    return transactions;
+};
+exports.normalizeTransactions = normalizeTransactions;
+class TransactionPlanner {
+    operator;
+    allowExternal;
+    expected;
+    transactions = [];
+    segmentedExecution;
+    completedTransactions;
+    segmentEnd;
+    constructor(input) {
+        this.operator = address(input.operator, "planner operator");
+        this.allowExternal = input.allowExternal !== false;
+        if (input.expectedTransactions) {
+            this.expected = { transactions: (0, exports.normalizeTransactions)(input.expectedTransactions, this.operator) };
+        }
+        this.segmentedExecution = input.segmentedExecution === true;
+        this.completedTransactions = input.completedTransactions ?? [];
+        if (this.segmentedExecution && !this.expected) {
+            throw new Error("segmented execution requires a locked execution plan");
+        }
+        if (input.replayCompletedPrefix && this.completedTransactions.length > 0 && !this.expected)
+            throw new Error("completed replay requires expected transactions");
+        if (!this.segmentedExecution && !input.replayCompletedPrefix && this.completedTransactions.length > 0) {
+            throw new Error("completed transactions require segmented execution");
+        }
+        if (this.expected) {
+            if (this.completedTransactions.length > this.expected.transactions.length) {
+                throw new Error("completed transactions exceed the execution plan");
+            }
+            for (const [index, completed] of this.completedTransactions.entries()) {
+                if (completed.transactionId !== this.expected.transactions[index]?.transactionId
+                    || typeof completed.transactionHash !== "string"
+                    || !/^0x[0-9a-fA-F]{64}$/.test(completed.transactionHash)) {
+                    throw new Error("completed transactions must form a contiguous plan prefix");
+                }
+            }
+        }
+        const expectedTransactions = this.expected?.transactions ?? [];
+        let segmentEnd = this.completedTransactions.length;
+        if (this.segmentedExecution && segmentEnd < expectedTransactions.length) {
+            if (expectedTransactions[segmentEnd].route === "operator") {
+                while (segmentEnd < expectedTransactions.length
+                    && expectedTransactions[segmentEnd].route === "operator")
+                    segmentEnd += 1;
+            }
+            while (segmentEnd < expectedTransactions.length
+                && expectedTransactions[segmentEnd].route === "external")
+                segmentEnd += 1;
+        }
+        else if (!this.segmentedExecution) {
+            segmentEnd = Number.MAX_SAFE_INTEGER;
+        }
+        this.segmentEnd = segmentEnd;
+    }
+    add(input) {
+        const index = this.transactions.length;
+        const stepId = safeId(input.stepId, "planned transaction stepId");
+        const executor = address(input.executor, "planned transaction executor");
+        const transaction = (0, exports.normalizeTransaction)({
+            transactionId: `tx-${String(index + 1).padStart(4, "0")}-${stepId}`,
+            stepId,
+            transactionIndex: index,
+            route: executor === this.operator ? "operator" : "external",
+            executor,
+            to: input.to,
+            value: input.value,
+            data: input.data,
+            operation: input.operation,
+            ...(input.scheme === undefined ? {} : { scheme: input.scheme }),
+            ...(input.factoryDeps === undefined ? {} : { factoryDeps: input.factoryDeps }),
+        }, index, false);
+        if (!this.allowExternal && transaction.route === "external") {
+            throw new Error("development execution plans cannot contain external transactions");
+        }
+        const expected = this.expected?.transactions[index];
+        if (this.expected && (!expected || JSON.stringify(expected) !== JSON.stringify(transaction))) {
+            throw new Error(`transaction ${transaction.transactionId} does not match locked execution plan`);
+        }
+        if (this.segmentedExecution && index >= this.segmentEnd) {
+            throw new ExecutionSegmentDeferred(transaction.transactionId);
+        }
+        this.transactions.push(transaction);
+        const completed = this.completedTransactions[index];
+        if (completed) {
+            return {
+                ...transaction,
+                executionAction: "replay",
+                transactionHash: completed.transactionHash.toLowerCase(),
+            };
+        }
+        return {
+            ...transaction,
+            executionAction: transaction.route === "external" ? "package" : "execute",
+        };
+    }
+    complete(options = {}) {
+        if (this.expected
+            && this.transactions.length !== this.expected.transactions.length
+            && options.allowPartial !== true) {
+            throw new Error("execution did not consume every locked transaction");
+        }
+        if (options.allowPartial === true && !this.segmentedExecution) {
+            throw new Error("partial execution plan completion requires segmented execution");
+        }
+        return (0, exports.normalizeTransactions)(this.transactions, this.operator);
+    }
+}
+exports.TransactionPlanner = TransactionPlanner;
+//# sourceMappingURL=transactionPlanner.js.map

package/dist-runtime/workflow/lib/transactionPlanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transactionPlanner.js","sourceRoot":"","sources":["../../../runtime/workflow/lib/transactionPlanner.ts"],"names":[],"mappings":";;;;;;AAAA,oDAA4B;AAuC5B,MAAa,wBAAyB,SAAQ,KAAK;IAC5B;IAArB,YAAqB,aAAqB;QACxC,KAAK,CAAC,kEAAkE,aAAa,EAAE,CAAC,CAAC;QADtE,kBAAa,GAAb,aAAa,CAAQ;QAExC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AALD,4DAKC;AAED,MAAM,OAAO,GAAG,mCAAmC,CAAC;AACpD,MAAM,OAAO,GAAG,qBAAqB,CAAC;AACtC,MAAM,IAAI,GAAG,yBAAyB,CAAC;AACvC,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAE9B,MAAM,MAAM,GAAG,CAAC,KAAc,EAAE,KAAa,EAAU,EAAE;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,eAAe,OAAO,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,KAAc,EAAE,KAAa,EAAU,EAAE;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,EAAE,KAAK,4CAA4C,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,GAAY,EAAE,KAAa,EAAU,EAAE;IACpD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,uCAAuC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CAAC,GAAY,EAAE,KAAa,EAAU,EAAE;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kCAAkC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,GAAY,EAAE,KAAa,EAAY,EAAE;IAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAClF,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,KAAK,2CAA2C,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,gBAAM;aAChB,UAAU,CAAC,QAAQ,CAAC;aACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aAC1C,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,KAA8B,EAAE,QAAkB,EAAE,KAAa,EAAQ,EAAE;IAC5F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yCAAyC,CAAC,CAAC;IACrE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,GAAY,EAAE,KAAa,EAA2B,EAAE;IACtE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAA8B,CAAC;AACxC,CAAC,CAAC;AAEK,MAAM,oBAAoB,GAAG,CAClC,GAAY,EACZ,KAAa,EACb,MAAe,EACc,EAAE;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,gBAAgB,KAAK,GAAG,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,4CAA4C,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,QAAQ,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,sCAAsC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,4CAA4C,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACX,SAAS,CAAC,KAAK,EAAE;YACf,eAAe;YACf,QAAQ;YACR,kBAAkB;YAClB,OAAO;YACP,UAAU;YACV,IAAI;YACJ,OAAO;YACP,MAAM;YACN,WAAW;YACX,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/C,EAAE,gBAAgB,KAAK,GAAG,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,iCAAiC,KAAK,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,oBAAoB,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,4BAA4B,CAAC,CAAC;IACrE,CAAC;IACD,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,gBAAgB,KAAK,iBAAiB,CAAC;QAClF,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,KAAK,UAAU,CAAC;QAC7D,gBAAgB,EAAE,KAAK;QACvB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,gBAAgB,KAAK,YAAY,CAAC;QACpE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,gBAAgB,KAAK,MAAM,CAAC;QAClD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,KAAK,SAAS,CAAC;QACzD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,KAAK,QAAQ,CAAC;QACrD,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,cAAuB;YAC/B,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,EAAE,gBAAgB,KAAK,eAAe,CAAC;SAClF,CAAC,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC,CAAC;AAtDW,QAAA,oBAAoB,wBAsD/B;AAEK,MAAM,qBAAqB,GAAG,CACnC,GAAY,EAAE,QAAgB,EACC,EAAE;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,IAAA,4BAAoB,EAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC1E,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QAC1B,IAAI,EAAE,CAAC,aAAa,KAAK,MAAM,MAAM,CAAC,EAAE,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACvK,IAAI,CAAC,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC3I,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAbW,QAAA,qBAAqB,yBAahC;AAMF,MAAa,kBAAkB;IACZ,QAAQ,CAAS;IACjB,aAAa,CAAU;IACvB,QAAQ,CAAmD;IAC3D,YAAY,GAAkC,EAAE,CAAC;IACjD,kBAAkB,CAAU;IAC5B,qBAAqB,CAAkC;IACvD,UAAU,CAAS;IAEpC,YAAY,KAOX;QACC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAC5D,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC;QACnD,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;YAC/B,IAAI,CAAC,QAAQ,GAAG,EAAE,YAAY,EAAE,IAAA,6BAAqB,EAAC,KAAK,CAAC,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrG,CAAC;QACD,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB,KAAK,IAAI,CAAC;QAC5D,IAAI,CAAC,qBAAqB,GAAG,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC;QAC/D,IAAI,IAAI,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,KAAK,CAAC,qBAAqB,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAC/J,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,KAAK,CAAC,qBAAqB,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtG,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC1E,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACtE,CAAC;YACD,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,CAAC;gBACtE,IACE,SAAS,CAAC,aAAa,KAAK,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,aAAa;uBACzE,OAAO,SAAS,CAAC,eAAe,KAAK,QAAQ;uBAC7C,CAAC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EACzD,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,oBAAoB,GAAG,IAAI,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;QAC/D,IAAI,UAAU,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC;QACnD,IAAI,IAAI,CAAC,kBAAkB,IAAI,UAAU,GAAG,oBAAoB,CAAC,MAAM,EAAE,CAAC;YACxE,IAAI,oBAAoB,CAAC,UAAU,CAAC,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC1D,OACE,UAAU,GAAG,oBAAoB,CAAC,MAAM;uBACrC,oBAAoB,CAAC,UAAU,CAAC,CAAC,KAAK,KAAK,UAAU;oBACxD,UAAU,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,OACE,UAAU,GAAG,oBAAoB,CAAC,MAAM;mBACrC,oBAAoB,CAAC,UAAU,CAAC,CAAC,KAAK,KAAK,UAAU;gBACxD,UAAU,IAAI,CAAC,CAAC;QACpB,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACpC,UAAU,GAAG,MAAM,CAAC,gBAAgB,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;IAED,GAAG,CAAC,KAAuC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAA,4BAAoB,EAAC;YACvC,aAAa,EAAE,MAAM,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE;YACnE,MAAM;YACN,gBAAgB,EAAE,KAAK;YACvB,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;YAC3D,QAAQ;YACR,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;YAC/D,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;SAC/E,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,WAAW,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;YAC7F,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,aAAa,uCAAuC,CAChF,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,kBAAkB,IAAI,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxD,MAAM,IAAI,wBAAwB,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,SAAS,EAAE,CAAC;YACd,OAAO;gBACL,GAAG,WAAW;gBACd,eAAe,EAAE,QAAQ;gBACzB,eAAe,EAAE,SAAS,CAAC,eAAe,CAAC,WAAW,EAAE;aACzD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,WAAW;YACd,eAAe,EAAE,WAAW,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SAC1E,CAAC;IACJ,CAAC;IAED,QAAQ,CAAC,UAAsC,EAAE;QAC/C,IACE,IAAI,CAAC,QAAQ;eACV,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM;eAC9D,OAAO,CAAC,YAAY,KAAK,IAAI,EAChC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,IAAA,6BAAqB,EAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;CACF;AAzHD,gDAyHC"}

package/dist-runtime/workflow/lib/typedValue.d.ts

@@ -0,0 +1,3 @@
+import type { TypedValue } from './evidencePorts';
+export declare function typedValue(value: unknown): TypedValue;
+export declare function parseTypedValue(raw: unknown): TypedValue;

package/dist-runtime/workflow/lib/typedValue.js

@@ -0,0 +1,76 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.typedValue = typedValue;
+exports.parseTypedValue = parseTypedValue;
+const canonicalData_1 = require("./canonicalData");
+function typedValue(value) {
+    if (value === null)
+        return { type: 'null', value: null };
+    if (typeof value === 'bigint')
+        return { type: 'bigint', value: value.toString() };
+    if (typeof value === 'string' || typeof value === 'boolean')
+        return { type: typeof value, value };
+    if (typeof value === 'number' && Number.isSafeInteger(value))
+        return { type: 'number', value: value.toString() };
+    if (Array.isArray(value)) {
+        if (Object.keys(value).length !== value.length || Object.getOwnPropertySymbols(value).length)
+            throw new Error('typed arrays require own indexed data');
+        return { type: 'array', value: Array.from({ length: value.length }, (_, index) => {
+                const d = Object.getOwnPropertyDescriptor(value, String(index));
+                if (!d || !d.enumerable || !('value' in d))
+                    throw new Error('typed arrays require own indexed data');
+                return typedValue(d.value);
+            }) };
+    }
+    if (value && typeof value === 'object' && [Object.prototype, null].includes(Object.getPrototypeOf(value))) {
+        const result = Object.create(null);
+        if (Object.getOwnPropertySymbols(value).length)
+            throw new Error("typed objects require own string data");
+        for (const key of Object.getOwnPropertyNames(value)) {
+            const d = Object.getOwnPropertyDescriptor(value, key);
+            if (!d.enumerable || !('value' in d))
+                throw new Error('typed values require own data');
+            result[key] = typedValue(d.value);
+        }
+        return { type: 'object', value: result };
+    }
+    throw new Error('Unsupported typed verification value');
+}
+function parseTypedValue(raw) {
+    const v = (0, canonicalData_1.exactObject)(raw, ['type', 'value'], 'typed value');
+    switch (v.type) {
+        case 'null':
+            if (v.value !== null)
+                throw new Error('Invalid typed null');
+            break;
+        case 'string':
+            if (typeof v.value !== 'string')
+                throw new Error('Invalid typed string');
+            break;
+        case 'boolean':
+            if (typeof v.value !== 'boolean')
+                throw new Error('Invalid typed boolean');
+            break;
+        case 'number':
+        case 'bigint':
+            if (typeof v.value !== 'string' || !/^(0|-?[1-9][0-9]*)$/.test(v.value))
+                throw new Error('Invalid typed integer');
+            if (v.type === 'number' && (BigInt(v.value) > BigInt(Number.MAX_SAFE_INTEGER) || BigInt(v.value) < BigInt(Number.MIN_SAFE_INTEGER)))
+                throw new Error('Unsafe typed number');
+            break;
+        case 'array':
+            if (!Array.isArray(v.value))
+                throw new Error('Invalid typed array');
+            v.value.forEach(parseTypedValue);
+            break;
+        case 'object': {
+            if (!v.value || typeof v.value !== 'object' || Array.isArray(v.value))
+                throw new Error('Invalid typed object');
+            Object.values(v.value).forEach(parseTypedValue);
+            break;
+        }
+        default: throw new Error('Unknown typed value');
+    }
+    return (0, canonicalData_1.deepFreeze)((0, canonicalData_1.canonicalData)(v));
+}
+//# sourceMappingURL=typedValue.js.map

package/dist-runtime/workflow/lib/typedValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typedValue.js","sourceRoot":"","sources":["../../../runtime/workflow/lib/typedValue.ts"],"names":[],"mappings":";;AAEA,gCAwBC;AACD,0CAkBC;AA5CD,mDAAyE;AACzE,SAAgB,UAAU,CAAC,KAAc;IACvC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;IAClF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,KAAK,EAAE,KAAK,EAAgB,CAAC;IAChH,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;IACjH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACvJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;gBAC/E,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;gBACrG,OAAO,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC,CAAC,EAAE,CAAC;IACP,CAAC;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1G,MAAM,MAAM,GAA+B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACzG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAE,CAAC;YACvD,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACvF,MAAM,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;AAC1D,CAAC;AACD,SAAgB,eAAe,CAAC,GAAY;IAC1C,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC;IAC7D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YAAE,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAAC,MAAM;QAChF,KAAK,QAAQ;YAAE,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAAC,MAAM;QAC/F,KAAK,SAAS;YAAE,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;YAAC,MAAM;QAClG,KAAK,QAAQ,CAAC;QAAC,KAAK,QAAQ;YAC1B,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;YAClH,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YAC5K,MAAM;QACR,KAAK,OAAO;YAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAAC,MAAM;QAC3H,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAC/G,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAAC,MAAM;QACzD,CAAC;QACD,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAA,0BAAU,EAAC,IAAA,6BAAa,EAAC,CAAC,CAAe,CAAC,CAAC;AACpD,CAAC"}

package/dist-runtime/workflow/lib/validation.d.ts

@@ -0,0 +1,23 @@
+import type { InterfaceAbi } from "ethers";
+import type { WorkflowContext } from "./context";
+import type { GateToolPreparationValidation, GateToolPreparationRequestV1, GateToolPreparationPlanV1 } from "gate-evm-tools/workflow";
+export type Create2FieldKind = "step" | "target" | "uups" | "multicall";
+/** Neutral optional port: legacy launchers do not import delivery policy. */
+export interface WorkflowValidationPort {
+    /** Owned compiler contribution plus actual local deployment and pinned source absence. */
+    sameForkUpgrade?(proxy: string): Promise<void>;
+    resolve(value: unknown): unknown;
+    create2Fields(value: unknown, kind: Create2FieldKind): Record<string, unknown>;
+    address(value: unknown): void;
+    call(abiName: string, method: string, args: unknown, value?: unknown): Promise<void>;
+    callInterface(abi: InterfaceAbi, method: string, args: unknown): void;
+    check(abi: InterfaceAbi, method: string, expected: unknown): void;
+    compare(abi: InterfaceAbi, method: string, actual: unknown, expected: unknown): {
+        actual: string;
+        expected: string;
+    };
+    stringify(value: unknown): string;
+    preparation: GateToolPreparationValidation;
+    preparationPlan(request: GateToolPreparationRequestV1, plan: GateToolPreparationPlanV1): Promise<void>;
+}
+export declare function resolveWorkflowValue(context: WorkflowContext, value: unknown): unknown;