@continuumdao/ctm-mpc-defi 0.2.63 → 0.2.64

package/dist/protocols/evm/continuum-dao/index.js

@@ -1,4 +1,4 @@
-import { parseAbi, parseAbiItem, getAddress, zeroAddress, encodeFunctionData, keccak256, encodePacked, padHex, toHex, createPublicClient, defineChain, parseUnits, isAddress, formatUnits, hashTypedData, http, decodeEventLog, stringToHex, parseGwei, serializeTransaction } from 'viem';
+import { parseAbi, parseAbiItem, getAddress, zeroAddress, encodeFunctionData, keccak256, encodePacked, padHex, toHex, createPublicClient, defineChain, parseUnits, isAddress, formatUnits, hashTypedData, http, decodeEventLog, stringToHex, parseGwei, serializeTransaction, decodeFunctionData } from 'viem';
 import { getClientIdFromKeyGenResult, fetchChainFeeParams, gasLimitFromEstimateAndChainConfig, gweiToDecimalString, proposalTxParamsToFeeSnapshot, alignEip1559FeesWithLatestBase } from '@continuumdao/continuum-node-sdk';
 
 var __defProp = Object.defineProperty;
@@ -1379,7 +1379,7 @@ var init_explainProposal = __esm({
 function hexLiteral(data) {
   const t = data.trim();
   const h = (t.startsWith("0x") ? t.slice(2) : t).toLowerCase();
-  if (!h) return '""';
+  if (!h) return 'hex""';
   if (h.length % 2 !== 0) throw new Error("calldata hex must be even length");
   return `hex"${h}"`;
 }
@@ -1391,87 +1391,363 @@ function solIdent(raw, fallback) {
   const start = cleaned.match(/^[A-Za-z_]/) ? cleaned : `_${cleaned}`;
   return start.slice(0, 40) || fallback;
 }
+function solString(value) {
+  return `"${value.replace(/\\/g, "\\\\").replace(/"/g, '\\"').replace(/\r/g, "\\r").replace(/\n/g, "\\n")}"`;
+}
+function splitAbiParamList(inner) {
+  const out = [];
+  let buf = "";
+  let depth = 0;
+  for (const ch of inner) {
+    if (ch === "(") depth += 1;
+    if (ch === ")") depth -= 1;
+    if (ch === "," && depth === 0) {
+      if (buf.trim()) out.push(buf.trim());
+      buf = "";
+      continue;
+    }
+    buf += ch;
+  }
+  if (buf.trim()) out.push(buf.trim());
+  return out;
+}
+function resolveSolType(type, env) {
+  const t = type.trim();
+  const fixed = t.match(/^(.*)\[(\d+)\]$/);
+  if (fixed && !t.endsWith(")")) return `${resolveSolType(fixed[1], env)}[${fixed[2]}]`;
+  if (t.endsWith("[]")) return `${resolveSolType(t.slice(0, -2), env)}[]`;
+  if (t.startsWith("(") && t.endsWith(")")) {
+    const existing = env.structs.get(t);
+    if (existing) return existing.name;
+    const parts = splitAbiParamList(t.slice(1, -1));
+    const fieldTypes = parts.map((part) => resolveSolType(part, env));
+    const name = `SimTup${env.next++}`;
+    const fields = fieldTypes.map((field, i) => `    ${field} f${i};`).join("\n");
+    env.structs.set(t, { name, def: `struct ${name} {
+${fields}
+}` });
+    return name;
+  }
+  return t;
+}
+function needsDataLocation(sol) {
+  if (/^bytes\d+$/.test(sol)) return false;
+  if (sol === "address" || sol === "bool") return false;
+  if (/^uint\d*$/.test(sol) || /^int\d*$/.test(sol)) return false;
+  return true;
+}
+function signatureParts(signature) {
+  const sig = signature.trim();
+  const open = sig.indexOf("(");
+  const close = sig.lastIndexOf(")");
+  if (open <= 0 || close !== sig.length - 1 || close < open) return null;
+  const name = sig.slice(0, open).trim();
+  if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) return null;
+  const inner = sig.slice(open + 1, close).trim();
+  return { name, types: inner ? splitAbiParamList(inner) : [] };
+}
+function hexBody(value) {
+  const s = String(value ?? "").trim();
+  const h = (s.startsWith("0x") ? s.slice(2) : s).toLowerCase();
+  if (h.length % 2 !== 0) throw new Error("hex length");
+  return h;
+}
+function asList(value) {
+  if (typeof value === "string") {
+    const trimmed = value.trim();
+    if (trimmed.startsWith("[")) {
+      const parsed = JSON.parse(trimmed);
+      if (!Array.isArray(parsed)) throw new Error("array value must be a JSON array");
+      return parsed;
+    }
+    return trimmed ? trimmed.split(",").map((part) => part.trim()) : [];
+  }
+  if (Array.isArray(value)) return [...value];
+  throw new Error("array value");
+}
+function asTuple(value, size) {
+  if (typeof value === "string") return asTuple(JSON.parse(value.trim() || "[]"), size);
+  if (Array.isArray(value)) {
+    if (value.length !== size) throw new Error("tuple length");
+    return [...value];
+  }
+  if (value && typeof value === "object") {
+    const record = value;
+    const keys = Object.keys(record).filter((key) => /^\d+$/.test(key)).sort((a, b) => Number(a) - Number(b));
+    if (keys.length === size) return keys.map((key) => record[key]);
+  }
+  throw new Error("tuple value");
+}
+function scalarExpr(type, value) {
+  const t = type.trim();
+  if (t === "address") return `address(${getAddress(String(value))})`;
+  if (t.startsWith("uint") || t.startsWith("int")) {
+    const n = typeof value === "bigint" ? value : BigInt(String(value).trim() || "0");
+    return `${t}(${n.toString()})`;
+  }
+  if (t === "bool") {
+    if (typeof value === "boolean") return value ? "true" : "false";
+    const s = String(value).trim();
+    return s === "true" || s === "1" ? "true" : "false";
+  }
+  if (t === "string") return solString(typeof value === "string" ? value : String(value));
+  if (t === "bytes") return `bytes(hex"${hexBody(value)}")`;
+  const bytesN = t.match(/^bytes(\d+)$/);
+  if (bytesN) {
+    const width = Number(bytesN[1]) * 2;
+    const h = hexBody(value);
+    if (h.length > width) throw new Error(`${t} is longer than ${bytesN[1]} bytes`);
+    return `${t}(hex"${h.padEnd(width, "0")}")`;
+  }
+  throw new Error(`unsupported ABI type ${t}`);
+}
+function emitTyped(type, value, fresh, env) {
+  const t = type.trim();
+  const fixed = t.match(/^(.*)\[(\d+)\]$/);
+  if (fixed && !t.endsWith(")")) {
+    const base = fixed[1];
+    const items = asList(value);
+    if (items.length !== Number(fixed[2])) throw new Error(`${t} length`);
+    return emitArray(base, items, Number(fixed[2]), fresh, env);
+  }
+  if (t.endsWith("[]")) {
+    const base = t.slice(0, -2);
+    return emitArray(base, asList(value), null, fresh, env);
+  }
+  if (t.startsWith("(") && t.endsWith(")")) {
+    const sol = resolveSolType(t, env);
+    const parts = splitAbiParamList(t.slice(1, -1));
+    const items = asTuple(value, parts.length);
+    const emitted = parts.map((part, i) => emitTyped(part, items[i], fresh, env));
+    return {
+      expr: `${sol}(${emitted.map((item) => item.expr).join(", ")})`,
+      prelude: emitted.flatMap((item) => item.prelude)
+    };
+  }
+  return { expr: scalarExpr(t, value), prelude: [] };
+}
+function emitArray(base, items, fixedLen, fresh, env) {
+  const elem = resolveSolType(base, env);
+  const name = fresh();
+  const emitted = items.map((item) => emitTyped(base, item, fresh, env));
+  const prelude = emitted.flatMap((item) => item.prelude);
+  if (fixedLen == null) {
+    prelude.push(`        ${elem}[] memory ${name} = new ${elem}[](${items.length});`);
+  } else {
+    prelude.push(`        ${elem}[${fixedLen}] memory ${name};`);
+  }
+  emitted.forEach((item, i) => {
+    prelude.push(`        ${name}[${i}] = ${item.expr};`);
+  });
+  return { expr: name, prelude };
+}
+function valuesForLeg(leg) {
+  const parts = signatureParts(leg.signature);
+  if (!parts) return null;
+  if (leg.inputs && leg.inputs.length === parts.types.length) {
+    return leg.inputs.map((input) => input.value);
+  }
+  if (!leg.data || leg.data === "0x") return parts.types.length === 0 ? [] : null;
+  try {
+    const fragment = `function ${leg.signature.trim()}`;
+    const decoded = decodeFunctionData({
+      abi: parseAbi([fragment]),
+      data: leg.data
+    });
+    const args = [...decoded.args ?? []];
+    if (args.length !== parts.types.length) return null;
+    return args;
+  } catch {
+    return null;
+  }
+}
+function buildCalldataFn(leg, id) {
+  const parts = signatureParts(leg.signature);
+  if (!parts) return null;
+  const values = valuesForLeg(leg);
+  if (!values) return null;
+  let n = 0;
+  const fresh = () => `v${n++}`;
+  const env = { structs: /* @__PURE__ */ new Map(), next: 0 };
+  let prelude = [];
+  let exprs = [];
+  try {
+    const emitted = parts.types.map((type, i) => emitTyped(type, values[i], fresh, env));
+    prelude = emitted.flatMap((item) => item.prelude);
+    exprs = emitted.map((item) => item.expr);
+  } catch {
+    return null;
+  }
+  const fnName = `_calldata${id}`;
+  const argList = exprs.join(", ");
+  const lines = [
+    `    function ${fnName}() internal pure returns (bytes memory) {`,
+    ...prelude,
+    `        return abi.encodeCall(ISimAction${id}.${parts.name}, (${argList}));`,
+    "    }"
+  ];
+  const params = parts.types.map((type, i) => {
+    const sol = resolveSolType(type, env);
+    const loc = needsDataLocation(sol) ? " calldata" : "";
+    return `${sol}${loc} a${i}`;
+  }).join(",");
+  const structs = [...env.structs.values()].map((item) => item.def);
+  const iface = [
+    `interface ISimAction${id} {`,
+    `    function ${parts.name}(${params}) external;`,
+    "}"
+  ].join("\n");
+  const interfaceSrc = [...structs, iface].filter((part) => part.length > 0).join("\n\n");
+  return { interfaceSrc, fnSrc: lines.join("\n"), fnName };
+}
 function actionRequireLabel(batch, index) {
   const leg = batch.legs[index];
   const where = batch.label ? `${batch.label} action ${index + 1}` : `action ${index + 1}`;
   const sig = leg?.signature?.trim() ? ` ${leg.signature.trim()}` : "";
   return `${where}${sig} reverted`;
 }
-function emitActionCalls(batch, indent) {
-  const lines = [];
+function emitExecuteBody(batch, governor) {
+  const interfaces = [];
+  const helpers = [];
+  const calls = [];
+  let simId = 0;
   batch.legs.forEach((leg, i) => {
-    if (leg.noOp) {
-      lines.push(`${indent}// signaling no-op (skipped)`);
+    if (leg.noOp || leg.raw) {
+      calls.push("        // signaling no-op (skipped)");
       return;
     }
-    const value = BigInt(leg.value);
+    const built = buildCalldataFn(leg, simId);
+    const indent = "        ";
+    const value = BigInt(leg.value || "0");
     const valuePart = value === 0n ? "" : `{value: ${value.toString()}}`;
     const label = JSON.stringify(actionRequireLabel(batch, i));
-    lines.push(`${indent}{`);
-    lines.push(`${indent}    (bool ok, ) = payable(${addrLit(leg.target)}).call${valuePart}(${hexLiteral(leg.data)});`);
-    lines.push(`${indent}    require(ok, ${label});`);
-    lines.push(`${indent}}`);
+    if (built) {
+      interfaces.push(built.interfaceSrc);
+      helpers.push(built.fnSrc);
+      calls.push(`${indent}{`);
+      calls.push(
+        `${indent}    (bool ok, bytes memory ret) = payable(${addrLit(leg.target)}).call${valuePart}(${built.fnName}());`
+      );
+      calls.push(`${indent}    if (!ok) _bubble(ret, ${label});`);
+      calls.push(`${indent}}`);
+      simId += 1;
+      return;
+    }
+    calls.push(`${indent}// ${leg.signature.trim() || "calldata"} (raw)`);
+    calls.push(`${indent}{`);
+    calls.push(
+      `${indent}    (bool ok, bytes memory ret) = payable(${addrLit(leg.target)}).call${valuePart}(${hexLiteral(leg.data)});`
+    );
+    calls.push(`${indent}    if (!ok) _bubble(ret, ${label});`);
+    calls.push(`${indent}}`);
   });
-  return lines.join("\n");
+  const body = [
+    ...helpers,
+    BUBBLE_FN,
+    "    function run() external {",
+    `        address governor = ${addrLit(governor)};`,
+    "        vm.startPrank(governor, governor);",
+    ...calls,
+    "        vm.stopPrank();",
+    "    }"
+  ].join("\n");
+  return { body, interfaces };
+}
+function emitProposeBody(args) {
+  const interfaces = [];
+  const helpers = [];
+  const assigns = [];
+  let simId = 0;
+  args.legs.forEach((leg, i) => {
+    const comment = leg.raw ? "Delta metadata" : leg.noOp ? "signaling no-op" : leg.signature.trim() || "call";
+    assigns.push(`        // ${i + 1}. ${comment.replace(/\*\//g, "* /")}`);
+    assigns.push(`        targets[${i}] = ${addrLit(leg.target)};`);
+    assigns.push(`        values[${i}] = ${BigInt(leg.value || "0").toString()};`);
+    if (leg.raw || leg.noOp || !leg.signature.trim()) {
+      assigns.push(`        calldatas[${i}] = ${hexLiteral(leg.data)};`);
+      return;
+    }
+    const built = buildCalldataFn(leg, simId);
+    if (!built) {
+      assigns.push(`        calldatas[${i}] = ${hexLiteral(leg.data)};`);
+      return;
+    }
+    interfaces.push(built.interfaceSrc);
+    helpers.push(built.fnSrc);
+    assigns.push(`        calldatas[${i}] = ${built.fnName}();`);
+    simId += 1;
+  });
+  const n = args.legs.length;
+  const body = [
+    ...helpers,
+    "    function run() external {",
+    `        address proposer = ${addrLit(args.proposer)};`,
+    `        address governor = ${addrLit(args.governor)};`,
+    `        address[] memory targets = new address[](${n});`,
+    `        uint256[] memory values = new uint256[](${n});`,
+    `        bytes[] memory calldatas = new bytes[](${n});`,
+    ...assigns,
+    "        vm.startPrank(proposer, proposer);",
+    `        IContinuumGovernor(governor).propose(targets, values, calldatas, ${solString(args.description)});`,
+    "        vm.stopPrank();",
+    "    }"
+  ].join("\n");
+  return { body, interfaces };
 }
-function wrapScript(contractName, body, headerComment) {
-  return [
+function wrapScript(contractName, body, headerComment, interfaces, includeGovernor) {
+  const blocks = [...interfaces];
+  if (includeGovernor) blocks.push(GOVERNOR_INTERFACE);
+  const lines = [
     "// SPDX-License-Identifier: MIT",
     "pragma solidity ^0.8.24;",
     "",
     'import {Script} from "forge-std/Script.sol";',
-    "",
-    headerComment,
-    `contract ${contractName} is Script {`,
-    body,
-    "}",
     ""
-  ].join("\n");
+  ];
+  if (blocks.length) {
+    lines.push(blocks.join("\n\n"), "");
+  }
+  lines.push(headerComment, `contract ${contractName} is Script {`, body, "}", "");
+  return lines.join("\n");
 }
 function buildFoundryProposalSimulatePlan(args) {
   const governor = getAddress(args.governor);
   const proposer = getAddress(args.proposer);
+  const proposalLegs = args.proposalLegs ?? args.batches.flatMap((batch) => batch.legs);
   const files = [];
-  const proposeBody = [
-    "    function run() external {",
-    `        address proposer = ${addrLit(proposer)};`,
-    `        address governor = ${addrLit(governor)};`,
-    "        vm.startPrank(proposer, proposer);",
-    `        (bool ok, ) = governor.call(${hexLiteral(args.proposeData)});`,
-    '        require(ok, "ContinuumDAO.propose reverted");',
-    "        vm.stopPrank();",
-    "    }"
-  ].join("\n");
+  const propose = emitProposeBody({
+    governor,
+    proposer,
+    description: args.description,
+    legs: proposalLegs
+  });
   files.push({
     path: "script/ContinuumDaoSimulatePropose.s.sol",
     contractName: "ContinuumDaoSimulatePropose",
     source: wrapScript(
       "ContinuumDaoSimulatePropose",
-      proposeBody,
-      "/// Dry-run ContinuumDAO.propose from the draft proposer. Do not --broadcast."
+      propose.body,
+      "/// Dry-run ContinuumDAO.propose from the draft proposer. Signatures are abi.encodeCall, not raw calldata. Do not --broadcast.",
+      propose.interfaces,
+      true
     )
   });
   args.batches.forEach((batch, bi) => {
     const suffix2 = batch.label != null ? solIdent(batch.label, `Option${(batch.optionIndex ?? bi) + 1}`) : "Bravo";
     const contractName = `ContinuumDaoSimulateExecute${suffix2}`;
     const path = `script/${contractName}.s.sol`;
-    const body = [
-      "    function run() external {",
-      `        address governor = ${addrLit(governor)};`,
-      "        vm.startPrank(governor, governor);",
-      emitActionCalls(batch, "        "),
-      "        vm.stopPrank();",
-      "    }"
-    ].join("\n");
     const label = batch.label != null ? `Delta option ${(batch.optionIndex ?? bi) + 1} (${batch.label})` : "Bravo execute";
+    const execute = emitExecuteBody(batch, governor);
     files.push({
       path,
       contractName,
       label,
       source: wrapScript(
         contractName,
-        body,
-        `/// Sequential governor execute dry-run (${label}). msg.sender = governor. Do not --broadcast.`
+        execute.body,
+        `/// Sequential governor execute dry-run (${label}). Each action is abi.encodeCall on its signature. msg.sender = governor. Do not --broadcast.`,
+        execute.interfaces,
+        false
       )
     });
   });
@@ -1486,7 +1762,7 @@ function buildFoundryProposalSimulatePlan(args) {
       broadcast: false,
       forkUrlFromRegistry: true
     },
-    note: "Load MCP servers etherscan (official V2, https://mcp.etherscan.io/mcp) and foundry before compose/simulate. Write each file with foundry__create_solidity_file, then foundry__forge_script with the Linea fork RPC and no --broadcast. Execute scripts are sequential: later actions see state from earlier ones in the same run(). Do not use isolated eth_call or cast call as the execute sim. Never broadcast these scripts."
+    note: FOUNDRY_NOTE
   };
 }
 function foundryPlanHasSequentialExecute(plan) {
@@ -1495,10 +1771,31 @@ function foundryPlanHasSequentialExecute(plan) {
 function foundryScriptContainsCall(source, target, data) {
   return source.includes(getAddress(target)) && source.toLowerCase().includes(data.slice(2).toLowerCase());
 }
-var FOUNDRY_PROPOSAL_REQUIRED_SERVERS;
+var FOUNDRY_PROPOSAL_REQUIRED_SERVERS, FOUNDRY_NOTE, BUBBLE_FN, GOVERNOR_INTERFACE;
 var init_foundryProposalScript = __esm({
   "src/protocols/evm/continuum-dao/foundryProposalScript.ts"() {
     FOUNDRY_PROPOSAL_REQUIRED_SERVERS = ["etherscan", "foundry"];
+    FOUNDRY_NOTE = "Load MCP servers etherscan (official V2, https://mcp.etherscan.io/mcp) and foundry before compose/simulate. foundry.files source calls each action with abi.encodeCall on its Solidity signature (typed arguments, not raw hex calldata) and bubbles reverts. Write each file unchanged with foundry__create_solidity_file, then foundry__forge_script every file on the Linea fork RPC with no --broadcast, and report each forge result before the turn ends. Execute scripts are sequential: later actions see state from earlier ones in the same run(). Do not replace the source with hex calldata or use isolated eth_call or cast call as the execute sim. Never broadcast these scripts.";
+    BUBBLE_FN = [
+      "    function _bubble(bytes memory ret, string memory why) internal pure {",
+      "        if (ret.length > 0) {",
+      "            assembly {",
+      "                revert(add(ret, 0x20), mload(ret))",
+      "            }",
+      "        }",
+      "        revert(why);",
+      "    }"
+    ].join("\n");
+    GOVERNOR_INTERFACE = [
+      "interface IContinuumGovernor {",
+      "    function propose(",
+      "        address[] calldata targets,",
+      "        uint256[] calldata values,",
+      "        bytes[] calldata calldatas,",
+      "        string calldata description",
+      "    ) external returns (uint256);",
+      "}"
+    ].join("\n");
   }
 });
 
@@ -1557,18 +1854,21 @@ function isSimulateUnsupportedError(err) {
   }
   return false;
 }
-function legsFromEncoded(targets, values, calldatas, signatures) {
+function legsFromEncoded(targets, values, calldatas, actions) {
   return targets.map((target, i) => {
     const data = calldatas[i] ?? "0x";
     const value = values[i] ?? 0n;
-    const signature = signatures[i] ?? "";
+    const action = actions[i];
+    const signature = (action?.signature ?? "").trim();
+    const valueStr = value.toString();
     return {
       index: i,
       target,
-      value: value.toString(),
+      value: valueStr,
       data,
       signature,
-      noOp: isGovNoOpAction({ value: value.toString(), signature, calldata: data })
+      inputs: action?.inputs,
+      noOp: isGovNoOpAction({ value: valueStr, signature, calldata: data })
     };
   });
 }
@@ -1576,32 +1876,58 @@ function executableGovBatches(args) {
   const title = args.title.trim() || "draft";
   const noOp = args.noOpTarget;
   if (args.configuration === "bravo") {
-    const proposalArgs2 = buildBravoProposalArgs(args.actions ?? [], title, noOp);
-    const signatures = (args.actions ?? []).map((a) => (a.signature ?? "").trim());
-    if (signatures.length === 0) signatures.push("");
+    const actions = args.actions ?? [];
+    const proposalArgs2 = buildBravoProposalArgs(actions, title, noOp);
+    const aligned = actions.length === 0 ? [void 0] : actions;
+    const legs = legsFromEncoded(proposalArgs2.targets, proposalArgs2.values, proposalArgs2.calldatas, aligned);
     return {
       proposalArgs: proposalArgs2,
-      batches: [
-        {
-          legs: legsFromEncoded(proposalArgs2.targets, proposalArgs2.values, proposalArgs2.calldatas, signatures)
-        }
-      ]
+      proposalLegs: legs,
+      batches: [{ legs }]
     };
   }
   const options = args.options ?? [];
   const nWinners = Number(args.nWinners);
   const proposalArgs = buildDeltaProposalArgs(options, nWinners, title, noOp);
   const batches = options.map((opt, optionIndex) => {
-    const encoded = buildBravoProposalArgs(opt.actions ?? [], title, noOp);
-    const signatures = (opt.actions ?? []).map((a) => (a.signature ?? "").trim());
-    if (signatures.length === 0) signatures.push("");
+    const acts = opt.actions ?? [];
+    const encoded = buildBravoProposalArgs(acts, title, noOp);
+    const aligned = acts.length === 0 ? [void 0] : acts;
     return {
       label: opt.label,
       optionIndex,
-      legs: legsFromEncoded(encoded.targets, encoded.values, encoded.calldatas, signatures)
+      legs: legsFromEncoded(encoded.targets, encoded.values, encoded.calldatas, aligned)
     };
   });
-  return { proposalArgs, batches };
+  const proposalLegs = [
+    {
+      index: 0,
+      target: proposalArgs.targets[0],
+      value: (proposalArgs.values[0] ?? 0n).toString(),
+      data: proposalArgs.calldatas[0] ?? "0x",
+      signature: "",
+      noOp: false,
+      raw: true
+    }
+  ];
+  let cursor = 1;
+  for (const opt of options) {
+    const acts = opt.actions ?? [];
+    const count = acts.length === 0 ? 1 : acts.length;
+    for (let j = 0; j < count; j++) {
+      const action = acts.length === 0 ? void 0 : acts[j];
+      const leg = legsFromEncoded(
+        [proposalArgs.targets[cursor]],
+        [proposalArgs.values[cursor] ?? 0n],
+        [proposalArgs.calldatas[cursor] ?? "0x"],
+        [action]
+      )[0];
+      leg.index = cursor;
+      proposalLegs.push(leg);
+      cursor += 1;
+    }
+  }
+  return { proposalArgs, proposalLegs, batches };
 }
 async function simulateSequential(client, account, legs) {
   if (legs.length === 0) return { kind: "ok", gasUsed: [] };
@@ -1688,7 +2014,7 @@ function summarizeNote(args) {
   const parts = [];
   if (args.canPropose && args.proposeOk && args.executeOk) {
     parts.push(
-      "RPC sequential simulate succeeded. Still run the Foundry forge scripts in `foundry.files` on a Linea fork (no --broadcast) so action N sees state from action N-1."
+      "RPC sequential simulate succeeded. Still write foundry.files unchanged (abi.encodeCall on each function signature, not raw hex calldata) and run foundry__forge_script on a Linea fork (no --broadcast) to a result for every file before the turn ends."
     );
   } else {
     if (!args.canPropose) {
@@ -1700,7 +2026,7 @@ function summarizeNote(args) {
     }
     if (!args.executeOk) {
       parts.push(
-        args.source === "foundry_required" ? "RPC cannot run sequential eth_simulateV1. Isolated eth_call is not sufficient. Run the Foundry forge scripts in `foundry.files` on a Linea fork (no --broadcast)." : "One or more actions reverted as the governor. Submitting now would waste the voting period \u2014 fix the reverting signature first."
+        args.source === "foundry_required" ? "RPC cannot run sequential eth_simulateV1. Isolated eth_call is not sufficient. Write foundry.files unchanged (abi.encodeCall on each signature) and run foundry__forge_script on a Linea fork (no --broadcast) to a result for every file." : "One or more actions reverted as the governor. Submitting now would waste the voting period \u2014 fix the reverting signature first."
       );
     }
   }
@@ -1733,7 +2059,7 @@ function formatProposalSimulationFailure(result) {
   }
   if (!result.execute.ok) {
     if (result.execute.source === "foundry_required") {
-      return "RPC does not support sequential eth_simulateV1. Isolated eth_call cannot carry state between actions. Run the Foundry forge scripts in foundry.files on a Linea fork (foundry__forge_script, no --broadcast) before submitting.";
+      return "RPC does not support sequential eth_simulateV1. Isolated eth_call cannot carry state between actions. Write the Foundry forge scripts in foundry.files unchanged (abi.encodeCall on each signature, not raw hex) and run foundry__forge_script on a Linea fork (no --broadcast) to a result before submitting.";
     }
     for (const batch of result.execute.batches) {
       const failed = batch.actions.find((a) => !a.ok);
@@ -1780,7 +2106,7 @@ async function continuumDaoSimulateProposal(args) {
       throw new Error("Delta nWinners must be >= 1 and < nOptions.");
     }
   }
-  const { proposalArgs, batches } = executableGovBatches({
+  const { proposalArgs, proposalLegs, batches } = executableGovBatches({
     configuration,
     title,
     actions: args.actions,
@@ -1855,7 +2181,8 @@ async function continuumDaoSimulateProposal(args) {
     chainId,
     governor: gov,
     proposer: account,
-    proposeData,
+    description: proposalArgs.description,
+    proposalLegs,
     batches
   });
   return {
@@ -1882,7 +2209,7 @@ var init_simulateProposal = __esm({
     init_governance();
   }
 });
-function splitAbiParamList(inner) {
+function splitAbiParamList2(inner) {
   const out = [];
   let buf = "";
   let depth = 0;
@@ -1918,14 +2245,14 @@ function signatureToAbiInputs(signature) {
   if (end === -1) return [];
   const inner = signature.slice(start + 1, end);
   if (!inner.trim()) return [];
-  return splitAbiParamList(inner).map((t) => ({ type: t }));
+  return splitAbiParamList2(inner).map((t) => ({ type: t }));
 }
 function coerceAbiValue(type, value) {
   const trimmed = (value ?? "").trim();
   if (type.startsWith("(") && type.endsWith(")")) {
     const parsed = JSON.parse(trimmed || "[]");
     if (!Array.isArray(parsed)) throw new Error("tuple value must be a JSON array");
-    const parts = splitAbiParamList(type.slice(1, -1));
+    const parts = splitAbiParamList2(type.slice(1, -1));
     return parts.map((part, i) => {
       const child = parsed[i];
       if (typeof child === "string") return coerceAbiValue(part, child);
@@ -4480,7 +4807,7 @@ async function continuumDaoComposeProposalAction(args) {
         table: table2,
         rows: rows2,
         error: errors.length ? errors.join("; ") : void 0,
-        note: ok ? "Draft inputs are type-valid. Present this table, then ask whether to dry-run with ctm_continuum_dao_simulate_proposal and run the returned Foundry forge scripts (foundry__forge_script, no --broadcast). Isolated eth_call is not sufficient." : "Some parameter values failed type checks. Fix the rows marked no before simulating.",
+        note: ok ? "Draft inputs are type-valid. Present this table, then ask whether to dry-run with ctm_continuum_dao_simulate_proposal. Write foundry.files unchanged (abi.encodeCall on each function signature, not raw hex calldata) and run foundry__forge_script on a Linea fork (no --broadcast) to a result for every file. Isolated eth_call is not sufficient." : "Some parameter values failed type checks. Fix the rows marked no before simulating.",
         next: ok ? "Show the table. Load etherscan and foundry first. Ask if the operator wants to simulate via forge script (pass account for another EOA, or keyGenId / omit account for the preferred KeyGen). Do not call build_propose_* until they confirm, the forge script succeeded, and, for KeyGen submit, a Governance forum topic exists." : "Re-ask the invalid parameters and call this tool again to preview."
       };
     }
@@ -4507,7 +4834,7 @@ async function continuumDaoComposeProposalAction(args) {
       table,
       rows: rows2,
       error: errors.length ? errors.join("; ") : void 0,
-      note: ok ? "Draft inputs are type-valid. Present this table, then ask whether to dry-run with ctm_continuum_dao_simulate_proposal and run the returned Foundry forge scripts (foundry__forge_script, no --broadcast). Isolated eth_call is not sufficient." : "Some parameter values failed type checks. Fix the rows marked no before simulating.",
+      note: ok ? "Draft inputs are type-valid. Present this table, then ask whether to dry-run with ctm_continuum_dao_simulate_proposal. Write foundry.files unchanged (abi.encodeCall on each function signature, not raw hex calldata) and run foundry__forge_script on a Linea fork (no --broadcast) to a result for every file. Isolated eth_call is not sufficient." : "Some parameter values failed type checks. Fix the rows marked no before simulating.",
       next: ok ? "Show the table. Load etherscan and foundry first. Ask if the operator wants to simulate via forge script (pass account for another EOA, or keyGenId / omit account for the preferred KeyGen). Do not call build_propose_* until they confirm, the forge script succeeded, and, for KeyGen submit, a Governance forum topic exists." : "Re-ask the invalid parameters and call this tool again to preview."
     };
   }