@eco-incorp/sauce 0.99.0

package/sdk/dist/deposit/source.d.ts

@@ -0,0 +1,72 @@
+import type { SwapSourceSpec } from "../swap/types.js";
+import type { DepositSourceSpec } from "./types.js";
+/**
+ * `baseDirs` for compiling a `depositSource`/`depositCallStatement` program. Two entries, because
+ * (unlike `swap`, whose only import is the engine-vendored `ISauceRouter`) a deposit template's
+ * import resolves against the SDK's PROTOCOL registry, which lives in `sdk/src/protocols`, not
+ * `sdk/dist/artifacts`:
+ *
+ * 1. `join(__dirname, "..")` — the dist root, resolving `./artifacts/IERC20.json` (same artifact
+ *    `swap`'s `"balance"` path already uses).
+ * 2. `join(__dirname, "..", "..", "src")` — the SHIPPED `sdk/src` tree (the root `package.json`
+ *    `files` list ships `sdk/src/protocols` verbatim — see `sdk/src/deposit/index.ts`'s packaging
+ *    note), resolving `./protocols/<slug>/<X>ABI.json`.
+ *
+ * In dev (this package's own `src/`), `__dirname` is `sdk/src/deposit`, so both entries land on
+ * `sdk/src`, which already has both trees.
+ */
+export declare const DEPOSIT_BASE_DIRS: readonly string[];
+/** `SWAP_BASE_DIRS` ∪ `DEPOSIT_BASE_DIRS`, de-duped — the `baseDirs` a `swapThenDepositSource`
+ *  program needs. */
+export declare const COMPOSED_BASE_DIRS: readonly string[];
+/**
+ * One deposit's full statement block (any `"balance"` binding line, the approve line if
+ * applicable, then the protocol call) for `spec` — for splicing into a larger, hand-written
+ * program. `varSuffix` disambiguates EVERY local this block binds — the `depositAmtN` balance read
+ * and a template's own selector const — when several deposits share one program (`depositSource`
+ * passes the spec's own index).
+ */
+export declare function depositCallStatement(spec: DepositSourceSpec, varSuffix?: string): string;
+/** The import lines a `depositSource(specs)` program needs: each resolved template's own
+ *  `imports`, plus `IERC20` iff any spec needs an approve or a `"balance"` ERC20 read. De-duped by
+ *  exact line, in first-seen order (`IERC20` first, matching `swap`'s own ordering convention). */
+export declare function depositImportLines(specs: DepositSourceSpec | readonly DepositSourceSpec[]): readonly string[];
+export interface DepositSourceOptions {
+    /** Defaults to `"main"`. */
+    functionName?: string;
+    /** Extra import lines spliced in verbatim, ahead of the generated `main`/`functionName` body. */
+    imports?: readonly string[];
+}
+/**
+ * A complete, compilable `function main() { ... }` program: one deposit statement block per spec,
+ * in the given order, inside ONE function. See `sdk/src/deposit/index.ts` for the compile →
+ * `routes.buildSauceEvmCall` seam (identical to `swap`'s).
+ */
+export declare function depositSource(spec: DepositSourceSpec | readonly DepositSourceSpec[], opts?: DepositSourceOptions): string;
+export interface SwapThenDepositOptions {
+    /** Defaults to `"main"`. */
+    functionName?: string;
+    /** Extra import lines spliced in verbatim, ahead of the generated `main`/`functionName` body. */
+    imports?: readonly string[];
+}
+/**
+ * The E4.1/E4.2 composition seam: **one cook = one program** (`V12Pot.cook` takes exactly one) — a
+ * swap-then-deposit is ONE `main()` with the swap statements followed by the deposit statements, not
+ * two cooks. Mirrors the `swapAndSupply` recipe's own shape:
+ * `outToken.approve(aavePool, swapDelta); IAavePool.at(aavePool).supply(tokenOut, swapDelta,
+ * beneficiary, 0);`.
+ *
+ * A deposit spec with `amount: "delta"` is bracketed around the WHOLE swap block: a balance
+ * snapshot (`IERC20.balanceOf`/`ctx.selfBalance()`, per the template's funding kind) is taken before
+ * the swap statements and again after, and the deposit uses `post - pre` — the exact
+ * `swapAndSupply` idiom ("never sweep pre-existing tokenOut dust", since a cook may run in a shared
+ * runtime context). `amount: "balance"`/a concrete literal are unaffected and just run after the
+ * swap block, per `depositCallStatement`'s own rules.
+ *
+ * Import lines are unioned (not concatenated) — `swapImportLines` ∪ `depositImportLines`, de-duped
+ * by exact line, so a program needing `IERC20` from both sides emits it exactly once (the compiler
+ * throws `Conflicting ABIs registered` for two DIFFERENT ABIs bound to the same local name, but is
+ * idempotent for the identical import line repeated).
+ */
+export declare function swapThenDepositSource(swaps: SwapSourceSpec | readonly SwapSourceSpec[], deposits: DepositSourceSpec | readonly DepositSourceSpec[], opts?: SwapThenDepositOptions): string;
+//# sourceMappingURL=source.d.ts.map

package/sdk/dist/deposit/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/deposit/source.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,OAAO,KAAK,EAAe,iBAAiB,EAAqB,MAAM,YAAY,CAAC;AAIpF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,MAAM,EAG9C,CAAC;AAEF;qBACqB;AACrB,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAE/C,CAAC;AAqDF;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,EAAE,SAAS,SAAK,GAAG,MAAM,CASpF;AAED;;mGAEmG;AACnG,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,iBAAiB,GAAG,SAAS,iBAAiB,EAAE,GACtD,SAAS,MAAM,EAAE,CAqBnB;AAED,MAAM,WAAW,oBAAoB;IACnC,4BAA4B;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iGAAiG;IACjG,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AASD;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,iBAAiB,GAAG,SAAS,iBAAiB,EAAE,EACtD,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CASR;AAED,MAAM,WAAW,sBAAsB;IACrC,4BAA4B;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iGAAiG;IACjG,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,GAAG,SAAS,cAAc,EAAE,EACjD,QAAQ,EAAE,iBAAiB,GAAG,SAAS,iBAAiB,EAAE,EAC1D,IAAI,GAAE,sBAA2B,GAChC,MAAM,CA0ER"}

package/sdk/dist/deposit/source.js

@@ -0,0 +1,233 @@
+/**
+ * SauceScript SOURCE emission for E4.2's universal deposit/stake/wrap adapter — pure string
+ * templating over {@link toDeposit}'s normalized output. Imports NO compiler (same posture as
+ * `sdk/src/swap/source.ts`). See `sdk/src/deposit/index.ts` for the module overview and
+ * `sdk/src/swap/index.ts` for the E4.1 sibling this composes with.
+ */
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { SWAP_BASE_DIRS, swapCallStatement, swapImportLines } from "../swap/source.js";
+import { formatBigint } from "./format.js";
+import { toDeposit } from "./params.js";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+/**
+ * `baseDirs` for compiling a `depositSource`/`depositCallStatement` program. Two entries, because
+ * (unlike `swap`, whose only import is the engine-vendored `ISauceRouter`) a deposit template's
+ * import resolves against the SDK's PROTOCOL registry, which lives in `sdk/src/protocols`, not
+ * `sdk/dist/artifacts`:
+ *
+ * 1. `join(__dirname, "..")` — the dist root, resolving `./artifacts/IERC20.json` (same artifact
+ *    `swap`'s `"balance"` path already uses).
+ * 2. `join(__dirname, "..", "..", "src")` — the SHIPPED `sdk/src` tree (the root `package.json`
+ *    `files` list ships `sdk/src/protocols` verbatim — see `sdk/src/deposit/index.ts`'s packaging
+ *    note), resolving `./protocols/<slug>/<X>ABI.json`.
+ *
+ * In dev (this package's own `src/`), `__dirname` is `sdk/src/deposit`, so both entries land on
+ * `sdk/src`, which already has both trees.
+ */
+export const DEPOSIT_BASE_DIRS = [
+    join(__dirname, ".."),
+    join(__dirname, "..", "..", "src"),
+];
+/** `SWAP_BASE_DIRS` ∪ `DEPOSIT_BASE_DIRS`, de-duped — the `baseDirs` a `swapThenDepositSource`
+ *  program needs. */
+export const COMPOSED_BASE_DIRS = [
+    ...new Set([...SWAP_BASE_DIRS, ...DEPOSIT_BASE_DIRS]),
+];
+const IERC20_IMPORT = `import { IERC20 } from "./artifacts/IERC20.json";`;
+function needsIerc20Import(d) {
+    if (d.template.funding === "erc20-approve" && d.approvalPolicy !== "none")
+        return true;
+    if (d.template.binding !== null && d.amount === "balance")
+        return true;
+    return false;
+}
+/** The approve line(s) for a normalized deposit whose amount has already resolved to `amountExpr`
+ *  (a literal or a bound identifier) — the ONE place `funding`/`approvalPolicy` is consulted, so no
+ *  template emits its own approve and none can forget one. */
+function approveLines(d, amountExpr) {
+    if (d.template.funding !== "erc20-approve" || d.approvalPolicy === "none")
+        return [];
+    if (d.token === null)
+        throw new Error("deposit: unreachable — erc20-approve template without a token");
+    const approveAmount = d.approvalPolicy === "max" ? "(2n ** 256n - 1n)" : amountExpr;
+    return [
+        `IERC20.at(${formatBigint(d.token)}).approve(${formatBigint(d.target)}, ${approveAmount});`,
+    ];
+}
+/** Resolves `d.amount` (a literal, or `"balance"`/`"max"`) into an amount EXPRESSION, plus any
+ *  binding statement(s) that must precede it (a `"balance"` read is bound once to a const so both
+ *  the approve line and the protocol call reuse the SAME value). Rejects `"delta"` — that shape
+ *  needs a pre-swap snapshot, which only `swapThenDepositSource` can provide. */
+function resolveAmountExpr(d, varSuffix) {
+    if (d.amount === "delta") {
+        throw new Error(`depositCallStatement: amount "delta" is only meaningful inside swapThenDepositSource (it needs a pre-swap balance snapshot) — ${d.template.protocol}:${d.template.action}`);
+    }
+    if (d.amount === "max") {
+        return { pre: [], amountExpr: "(2n ** 256n - 1n)" };
+    }
+    if (d.amount === "balance") {
+        if (d.template.binding === null) {
+            return { pre: [], amountExpr: "ctx.selfBalance()" };
+        }
+        if (d.token === null)
+            throw new Error("deposit: unreachable — erc20 template without a token");
+        const varName = `depositAmt${varSuffix}`;
+        return {
+            pre: [`const ${varName} = IERC20.at(${formatBigint(d.token)}).balanceOf(ctx.self());`],
+            amountExpr: varName,
+        };
+    }
+    return { pre: [], amountExpr: formatBigint(d.amount) };
+}
+/**
+ * One deposit's full statement block (any `"balance"` binding line, the approve line if
+ * applicable, then the protocol call) for `spec` — for splicing into a larger, hand-written
+ * program. `varSuffix` disambiguates EVERY local this block binds — the `depositAmtN` balance read
+ * and a template's own selector const — when several deposits share one program (`depositSource`
+ * passes the spec's own index).
+ */
+export function depositCallStatement(spec, varSuffix = "") {
+    const normalized = toDeposit(spec);
+    const { pre, amountExpr } = resolveAmountExpr(normalized, varSuffix);
+    const lines = [
+        ...pre,
+        ...approveLines(normalized, amountExpr),
+        ...normalized.template.emit(normalized, amountExpr, varSuffix),
+    ];
+    return lines.join("\n");
+}
+/** The import lines a `depositSource(specs)` program needs: each resolved template's own
+ *  `imports`, plus `IERC20` iff any spec needs an approve or a `"balance"` ERC20 read. De-duped by
+ *  exact line, in first-seen order (`IERC20` first, matching `swap`'s own ordering convention). */
+export function depositImportLines(specs) {
+    const list = Array.isArray(specs) ? specs : [specs];
+    const lines = [];
+    const seen = new Set();
+    let needsIerc20 = false;
+    for (const spec of list) {
+        const normalized = toDeposit(spec);
+        if (needsIerc20Import(normalized))
+            needsIerc20 = true;
+        for (const line of normalized.template.imports) {
+            if (!seen.has(line)) {
+                seen.add(line);
+                lines.push(line);
+            }
+        }
+    }
+    if (needsIerc20 && !seen.has(IERC20_IMPORT)) {
+        lines.unshift(IERC20_IMPORT);
+    }
+    return lines;
+}
+function indentBlock(text) {
+    return text
+        .split("\n")
+        .map((line) => (line.length > 0 ? `  ${line}` : line))
+        .join("\n");
+}
+/**
+ * A complete, compilable `function main() { ... }` program: one deposit statement block per spec,
+ * in the given order, inside ONE function. See `sdk/src/deposit/index.ts` for the compile →
+ * `routes.buildSauceEvmCall` seam (identical to `swap`'s).
+ */
+export function depositSource(spec, opts = {}) {
+    const specs = Array.isArray(spec) ? spec : [spec];
+    if (specs.length === 0)
+        throw new Error("depositSource: at least one deposit spec is required");
+    const importLines = [...depositImportLines(specs), ...(opts.imports ?? [])];
+    const fnName = opts.functionName ?? "main";
+    const body = specs.map((s, i) => indentBlock(depositCallStatement(s, String(i)))).join("\n");
+    return [...importLines, "", `function ${fnName}() {`, body, "}", ""].join("\n");
+}
+/**
+ * The E4.1/E4.2 composition seam: **one cook = one program** (`V12Pot.cook` takes exactly one) — a
+ * swap-then-deposit is ONE `main()` with the swap statements followed by the deposit statements, not
+ * two cooks. Mirrors the `swapAndSupply` recipe's own shape:
+ * `outToken.approve(aavePool, swapDelta); IAavePool.at(aavePool).supply(tokenOut, swapDelta,
+ * beneficiary, 0);`.
+ *
+ * A deposit spec with `amount: "delta"` is bracketed around the WHOLE swap block: a balance
+ * snapshot (`IERC20.balanceOf`/`ctx.selfBalance()`, per the template's funding kind) is taken before
+ * the swap statements and again after, and the deposit uses `post - pre` — the exact
+ * `swapAndSupply` idiom ("never sweep pre-existing tokenOut dust", since a cook may run in a shared
+ * runtime context). `amount: "balance"`/a concrete literal are unaffected and just run after the
+ * swap block, per `depositCallStatement`'s own rules.
+ *
+ * Import lines are unioned (not concatenated) — `swapImportLines` ∪ `depositImportLines`, de-duped
+ * by exact line, so a program needing `IERC20` from both sides emits it exactly once (the compiler
+ * throws `Conflicting ABIs registered` for two DIFFERENT ABIs bound to the same local name, but is
+ * idempotent for the identical import line repeated).
+ */
+export function swapThenDepositSource(swaps, deposits, opts = {}) {
+    const swapList = Array.isArray(swaps) ? swaps : [swaps];
+    const depositList = Array.isArray(deposits) ? deposits : [deposits];
+    if (swapList.length === 0)
+        throw new Error("swapThenDepositSource: at least one swap spec is required");
+    if (depositList.length === 0) {
+        throw new Error("swapThenDepositSource: at least one deposit spec is required");
+    }
+    const importLines = [];
+    const seen = new Set();
+    for (const line of [
+        ...swapImportLines(swapList),
+        ...depositImportLines(depositList),
+        ...(opts.imports ?? []),
+    ]) {
+        if (!seen.has(line)) {
+            seen.add(line);
+            importLines.push(line);
+        }
+    }
+    // A "delta" deposit needs a balance read even if depositImportLines (which never sees "delta"
+    // amounts as needing one — it only special-cases "balance") didn't already add it.
+    const needsIerc20ForDelta = depositList.some((d) => {
+        if (d.amount !== "delta")
+            return false;
+        const normalized = toDeposit({ ...d, amount: 0n });
+        return normalized.template.binding !== null;
+    });
+    if (needsIerc20ForDelta && !seen.has(IERC20_IMPORT)) {
+        importLines.unshift(IERC20_IMPORT);
+    }
+    const swapBlock = swapList.map(swapCallStatement).join("\n");
+    const preLines = [];
+    const postLines = [];
+    const deltaAmountExprs = new Map();
+    depositList.forEach((d, i) => {
+        if (d.amount !== "delta")
+            return;
+        const normalized = toDeposit({ ...d, amount: 0n });
+        const varBase = `deposit${i}`;
+        if (normalized.template.binding === null) {
+            preLines.push(`const ${varBase}Pre = ctx.selfBalance();`);
+            postLines.push(`const ${varBase}Post = ctx.selfBalance();`);
+        }
+        else {
+            if (normalized.token === null)
+                throw new Error("deposit: unreachable — erc20 template without a token");
+            const tokenLit = formatBigint(normalized.token);
+            preLines.push(`const ${varBase}Pre = IERC20.at(${tokenLit}).balanceOf(ctx.self());`);
+            postLines.push(`const ${varBase}Post = IERC20.at(${tokenLit}).balanceOf(ctx.self());`);
+        }
+        postLines.push(`const ${varBase}Amt = ${varBase}Post - ${varBase}Pre;`);
+        deltaAmountExprs.set(i, `${varBase}Amt`);
+    });
+    const depositBlocks = depositList.map((d, i) => {
+        const deltaExpr = deltaAmountExprs.get(i);
+        if (deltaExpr === undefined)
+            return depositCallStatement(d, String(i));
+        const normalized = toDeposit({ ...d, amount: 0n });
+        const lines = [
+            ...approveLines(normalized, deltaExpr),
+            ...normalized.template.emit(normalized, deltaExpr, String(i)),
+        ];
+        return lines.join("\n");
+    });
+    const bodyLines = [...preLines, swapBlock, ...postLines, ...depositBlocks].filter((l) => l.length > 0);
+    const fnName = opts.functionName ?? "main";
+    const body = indentBlock(bodyLines.join("\n"));
+    return [...importLines, "", `function ${fnName}() {`, body, "}", ""].join("\n");
+}
+//# sourceMappingURL=source.js.map

package/sdk/dist/deposit/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/deposit/source.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEvF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGxC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAsB;IAClD,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC;IACrB,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;CACnC,CAAC;AAEF;qBACqB;AACrB,MAAM,CAAC,MAAM,kBAAkB,GAAsB;IACnD,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,iBAAiB,CAAC,CAAC;CACtD,CAAC;AAEF,MAAM,aAAa,GAAG,mDAAmD,CAAC;AAE1E,SAAS,iBAAiB,CAAC,CAAoB;IAC7C,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,CAAC,CAAC,cAAc,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;8DAE8D;AAC9D,SAAS,YAAY,CAAC,CAAoB,EAAE,UAAkB;IAC5D,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,eAAe,IAAI,CAAC,CAAC,cAAc,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IACrF,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;QAClB,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,MAAM,aAAa,GAAG,CAAC,CAAC,cAAc,KAAK,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC;IACpF,OAAO;QACL,aAAa,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,aAAa,IAAI;KAC5F,CAAC;AACJ,CAAC;AAED;;;iFAGiF;AACjF,SAAS,iBAAiB,CACxB,CAAoB,EACpB,SAAiB;IAEjB,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,iIAAiI,CAAC,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAC5K,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAChC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC;QACtD,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC/F,MAAM,OAAO,GAAG,aAAa,SAAS,EAAE,CAAC;QACzC,OAAO;YACL,GAAG,EAAE,CAAC,SAAS,OAAO,gBAAgB,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;YACtF,UAAU,EAAE,OAAO;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAuB,EAAE,SAAS,GAAG,EAAE;IAC1E,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG;QACZ,GAAG,GAAG;QACN,GAAG,YAAY,CAAC,UAAU,EAAE,UAAU,CAAC;QACvC,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC;KAC/D,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;mGAEmG;AACnG,MAAM,UAAU,kBAAkB,CAChC,KAAuD;IAEvD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,iBAAiB,CAAC,UAAU,CAAC;YAAE,WAAW,GAAG,IAAI,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QAC5C,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AASD,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,IAAI;SACR,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACrD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAsD,EACtD,OAA6B,EAAE;IAE/B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAEhG,MAAM,WAAW,GAAG,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE7F,OAAO,CAAC,GAAG,WAAW,EAAE,EAAE,EAAE,YAAY,MAAM,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClF,CAAC;AASD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAiD,EACjD,QAA0D,EAC1D,OAA+B,EAAE;IAEjC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI;QACjB,GAAG,eAAe,CAAC,QAAQ,CAAC;QAC5B,GAAG,kBAAkB,CAAC,WAAW,CAAC;QAClC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;KACxB,EAAE,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,8FAA8F;IAC9F,mFAAmF;IACnF,MAAM,mBAAmB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACvC,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,EAAiB,CAAC,CAAC;QAClE,OAAO,UAAU,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAI,mBAAmB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QACpD,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEnD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3B,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO;QACjC,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,EAAiB,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,SAAS,OAAO,0BAA0B,CAAC,CAAC;YAC1D,SAAS,CAAC,IAAI,CAAC,SAAS,OAAO,2BAA2B,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI;gBAC3B,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;YAC3E,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChD,QAAQ,CAAC,IAAI,CAAC,SAAS,OAAO,mBAAmB,QAAQ,0BAA0B,CAAC,CAAC;YACrF,SAAS,CAAC,IAAI,CAAC,SAAS,OAAO,oBAAoB,QAAQ,0BAA0B,CAAC,CAAC;QACzF,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,SAAS,OAAO,SAAS,OAAO,UAAU,OAAO,MAAM,CAAC,CAAC;QACxE,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7C,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,EAAiB,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG;YACZ,GAAG,YAAY,CAAC,UAAU,EAAE,SAAS,CAAC;YACtC,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;SAC9D,CAAC;QACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,EAAE,SAAS,EAAE,GAAG,SAAS,EAAE,GAAG,aAAa,CAAC,CAAC,MAAM,CAC/E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CACpB,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC;IAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAE/C,OAAO,CAAC,GAAG,WAAW,EAAE,EAAE,EAAE,YAAY,MAAM,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClF,CAAC"}

package/sdk/dist/deposit/templates.d.ts

@@ -0,0 +1,9 @@
+import type { DepositTemplate } from "./types.js";
+export type DepositKey = "weth:wrap" | "weth:unwrap" | "aave-v3:supply" | "aave-v3:withdraw" | "spark:supply" | "spark:withdraw" | "compound-v3:supply" | "euler-v2:deposit" | "erc4626:deposit" | "lido:stake" | "lido:wrap";
+export declare const DEPOSIT_TEMPLATES: Readonly<Record<DepositKey, DepositTemplate>>;
+/** Looks up a template by `protocol:action`, throwing (and listing every registered key) rather
+ *  than letting a caller emit a program that would misbehave on-chain — same posture as
+ *  `toSwapParams`'s guard on `UndispatchablePoolType`. */
+export declare function depositTemplateFor(protocol: string, action: string): DepositTemplate;
+export declare function listDepositTemplates(): readonly DepositTemplate[];
+//# sourceMappingURL=templates.d.ts.map

package/sdk/dist/deposit/templates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../src/deposit/templates.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,eAAe,EAAqC,MAAM,YAAY,CAAC;AAqErF,MAAM,MAAM,UAAU,GAClB,WAAW,GACX,aAAa,GACb,gBAAgB,GAChB,kBAAkB,GAClB,cAAc,GACd,gBAAgB,GAChB,oBAAoB,GACpB,kBAAkB,GAClB,iBAAiB,GACjB,YAAY,GACZ,WAAW,CAAC;AAqDhB,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAgJ3E,CAAC;AAEF;;0DAE0D;AAC1D,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe,CAUpF;AAED,wBAAgB,oBAAoB,IAAI,SAAS,eAAe,EAAE,CAEjE"}

package/sdk/dist/deposit/templates.js

@@ -0,0 +1,245 @@
+import { toExactBigInt } from "../numeric.js";
+import { formatAddressField, formatBigint } from "./format.js";
+function uintExtra(bits, defaultValue = 0n) {
+    const max = 2n ** BigInt(bits);
+    return {
+        defaultValue,
+        normalize(value, fieldName) {
+            const v = typeof value === "number" ? toExactBigInt(value, fieldName) : BigInt(value);
+            if (v < 0n || v >= max) {
+                throw new Error(`${fieldName}: expected a uint${bits} (0 <= x < ${max}), got ${v}`);
+            }
+            return v;
+        },
+    };
+}
+function addressExtra(defaultValue = 0n) {
+    return {
+        defaultValue,
+        normalize(value, fieldName) {
+            if (typeof value === "bigint")
+                return value;
+            if (typeof value === "number")
+                throw new Error(`${fieldName}: expected an address, got a number`);
+            return BigInt(value);
+        },
+    };
+}
+function tokenLiteral(d) {
+    if (d.token === null)
+        throw new Error("deposit template: token is required but was not resolved");
+    return formatBigint(d.token);
+}
+function beneficiaryLiteral(d) {
+    if (d.beneficiary === null) {
+        throw new Error("deposit template: beneficiary is required but was not resolved");
+    }
+    return formatAddressField(d.beneficiary);
+}
+/** WETH9's two well-known selectors — there is no vendored SDK ABI for WETH; see the module doc's
+ *  `skippedProtocols` note for the full audit establishing that and why these constants are used
+ *  instead of inventing a tracked artifact. Pinned against `toFunctionSelector` in `deposit.test.ts`. */
+const WETH_DEPOSIT_SELECTOR = [0xd0, 0xe3, 0x0d, 0xb0]; // deposit()
+const WETH_WITHDRAW_SELECTOR = [0x2e, 0x1a, 0x7d, 0x4d]; // withdraw(uint256)
+const LIDO_SUBMIT_SELECTOR = [0xa1, 0x90, 0x3e, 0xab]; // submit(address)
+function bytesLiteral(bytes) {
+    return `hex\`${bytes.map((b) => b.toString(16).padStart(2, "0")).join("")}\``;
+}
+/**
+ * A selector const plus the calldata expression that reads it. The selector is BOUND rather than
+ * used inline because a method call directly on a `hex` literal (`hex\`…\`.concat(…)`) is outside
+ * the compiler's supported subset. `varSuffix` is the emitting spec's own index, so two deposits of
+ * the SAME kind in one program declare two distinct consts instead of colliding on one name.
+ */
+function calldataLines(base, varSuffix, selector, wordExpr) {
+    const name = `${base}${varSuffix}`;
+    const decl = `const ${name} = ${bytesLiteral(selector)};`;
+    return { decl, expr: wordExpr === undefined ? name : `${name}.concat(abi.encode(${wordExpr}))` };
+}
+function aavePoolSupplyTemplate(protocol, exportName) {
+    const binding = protocol === "aave-v3" ? "IAavePool" : "ISparkPool";
+    return {
+        protocol,
+        action: "supply",
+        source: { module: `protocols/${protocol}/abis.ts`, exportName },
+        signature: "supply(address,uint256,address,uint16)",
+        selector: "0x617ba037",
+        funding: "erc20-approve",
+        beneficiary: "supported",
+        allowsMaxAmount: false,
+        imports: [`import { ${binding} } from "./protocols/${protocol}/${exportName}.json";`],
+        binding,
+        extras: { referralCode: uintExtra(16, 0n) },
+        emit(d, amountExpr) {
+            const referral = formatBigint(d.extra.referralCode ?? 0n);
+            return [
+                `${binding}.at(${formatBigint(d.target)}).supply(${tokenLiteral(d)}, ${amountExpr}, ${beneficiaryLiteral(d)}, ${referral});`,
+            ];
+        },
+    };
+}
+function aavePoolWithdrawTemplate(protocol, exportName) {
+    const binding = protocol === "aave-v3" ? "IAavePool" : "ISparkPool";
+    return {
+        protocol,
+        action: "withdraw",
+        source: { module: `protocols/${protocol}/abis.ts`, exportName },
+        signature: "withdraw(address,uint256,address)",
+        selector: "0x69328dec",
+        funding: "none",
+        beneficiary: "supported",
+        allowsMaxAmount: true,
+        imports: [`import { ${binding} } from "./protocols/${protocol}/${exportName}.json";`],
+        binding,
+        extras: {},
+        emit(d, amountExpr) {
+            return [
+                `${binding}.at(${formatBigint(d.target)}).withdraw(${tokenLiteral(d)}, ${amountExpr}, ${beneficiaryLiteral(d)});`,
+            ];
+        },
+    };
+}
+export const DEPOSIT_TEMPLATES = {
+    "aave-v3:supply": aavePoolSupplyTemplate("aave-v3", "PoolABI"),
+    "aave-v3:withdraw": aavePoolWithdrawTemplate("aave-v3", "PoolABI"),
+    "spark:supply": aavePoolSupplyTemplate("spark", "SparkPoolABI"),
+    "spark:withdraw": aavePoolWithdrawTemplate("spark", "SparkPoolABI"),
+    "compound-v3:supply": {
+        protocol: "compound-v3",
+        action: "supply",
+        source: { module: "protocols/compound-v3/abis.ts", exportName: "CometABI" },
+        signature: "supplyTo(address,address,uint256)",
+        selector: "0x4232cd63",
+        funding: "erc20-approve",
+        beneficiary: "supported",
+        allowsMaxAmount: false,
+        imports: [`import { IComet } from "./protocols/compound-v3/CometABI.json";`],
+        binding: "IComet",
+        extras: {},
+        emit(d, amountExpr) {
+            return [
+                `IComet.at(${formatBigint(d.target)}).supplyTo(${beneficiaryLiteral(d)}, ${tokenLiteral(d)}, ${amountExpr});`,
+            ];
+        },
+    },
+    "euler-v2:deposit": {
+        protocol: "euler-v2",
+        action: "deposit",
+        source: { module: "protocols/euler-v2/abis.ts", exportName: "EVaultABI" },
+        signature: "deposit(uint256,address)",
+        selector: "0x6e553f65",
+        funding: "erc20-approve",
+        beneficiary: "supported",
+        allowsMaxAmount: false,
+        imports: [`import { IEVault } from "./protocols/euler-v2/EVaultABI.json";`],
+        binding: "IEVault",
+        extras: {},
+        emit(d, amountExpr) {
+            return [
+                `IEVault.at(${formatBigint(d.target)}).deposit(${amountExpr}, ${beneficiaryLiteral(d)});`,
+            ];
+        },
+    },
+    "erc4626:deposit": {
+        protocol: "erc4626",
+        action: "deposit",
+        source: { module: "protocols/erc4626/abis.ts", exportName: "VaultABI" },
+        signature: "deposit(uint256,address)",
+        selector: "0x6e553f65",
+        funding: "erc20-approve",
+        beneficiary: "supported",
+        allowsMaxAmount: false,
+        imports: [`import { IERC4626Vault } from "./protocols/erc4626/VaultABI.json";`],
+        binding: "IERC4626Vault",
+        extras: {},
+        emit(d, amountExpr) {
+            return [
+                `IERC4626Vault.at(${formatBigint(d.target)}).deposit(${amountExpr}, ${beneficiaryLiteral(d)});`,
+            ];
+        },
+    },
+    "lido:wrap": {
+        protocol: "lido",
+        action: "wrap",
+        source: { module: "protocols/lido/abis.ts", exportName: "WstETHABI" },
+        signature: "wrap(uint256)",
+        selector: "0xea598cb0",
+        funding: "erc20-approve",
+        beneficiary: "unsupported",
+        allowsMaxAmount: false,
+        imports: [`import { IWstETH } from "./protocols/lido/WstETHABI.json";`],
+        binding: "IWstETH",
+        extras: {},
+        emit(d, amountExpr) {
+            return [`IWstETH.at(${formatBigint(d.target)}).wrap(${amountExpr});`];
+        },
+    },
+    "lido:stake": {
+        protocol: "lido",
+        action: "stake",
+        source: { module: "protocols/lido/abis.ts", exportName: "LidoABI" },
+        signature: "submit(address)",
+        selector: "0xa1903eab",
+        funding: "native-value",
+        beneficiary: "unsupported",
+        allowsMaxAmount: false,
+        imports: [],
+        binding: null,
+        extras: { referral: addressExtra(0n) },
+        emit(d, amountExpr, varSuffix) {
+            const referral = d.extra.referral ?? 0n;
+            const { decl, expr } = calldataLines("dSubmit", varSuffix, LIDO_SUBMIT_SELECTOR, formatBigint(referral));
+            return [decl, `evm.call(${formatBigint(d.target)}, ${amountExpr}, ${expr});`];
+        },
+    },
+    "weth:wrap": {
+        protocol: "weth",
+        action: "wrap",
+        source: null,
+        signature: "deposit()",
+        selector: "0xd0e30db0",
+        funding: "native-value",
+        beneficiary: "unsupported",
+        allowsMaxAmount: false,
+        imports: [],
+        binding: null,
+        extras: {},
+        emit(d, amountExpr, varSuffix) {
+            const { decl, expr } = calldataLines("dWrap", varSuffix, WETH_DEPOSIT_SELECTOR, undefined);
+            return [decl, `evm.call(${formatBigint(d.target)}, ${amountExpr}, ${expr});`];
+        },
+    },
+    "weth:unwrap": {
+        protocol: "weth",
+        action: "unwrap",
+        source: null,
+        signature: "withdraw(uint256)",
+        selector: "0x2e1a7d4d",
+        funding: "none",
+        beneficiary: "unsupported",
+        allowsMaxAmount: false,
+        imports: [],
+        binding: null,
+        extras: {},
+        emit(d, amountExpr, varSuffix) {
+            const { decl, expr } = calldataLines("dUnwrap", varSuffix, WETH_WITHDRAW_SELECTOR, amountExpr);
+            return [decl, `evm.call(${formatBigint(d.target)}, 0n, ${expr});`];
+        },
+    },
+};
+/** Looks up a template by `protocol:action`, throwing (and listing every registered key) rather
+ *  than letting a caller emit a program that would misbehave on-chain — same posture as
+ *  `toSwapParams`'s guard on `UndispatchablePoolType`. */
+export function depositTemplateFor(protocol, action) {
+    const key = `${protocol}:${action}`;
+    const template = DEPOSIT_TEMPLATES[key];
+    if (!template) {
+        const known = Object.keys(DEPOSIT_TEMPLATES).sort().join(", ");
+        throw new Error(`depositTemplateFor: no deposit template registered for "${key}". Known: ${known}`);
+    }
+    return template;
+}
+export function listDepositTemplates() {
+    return Object.values(DEPOSIT_TEMPLATES);
+}
+//# sourceMappingURL=templates.js.map

package/sdk/dist/deposit/templates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.js","sourceRoot":"","sources":["../../src/deposit/templates.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG/D,SAAS,SAAS,CAAC,IAAY,EAAE,YAAY,GAAG,EAAE;IAChD,MAAM,GAAG,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO;QACL,YAAY;QACZ,SAAS,CAAC,KAAkB,EAAE,SAAiB;YAC7C,MAAM,CAAC,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtF,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,oBAAoB,IAAI,cAAc,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;YACtF,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,YAAY,GAAG,EAAE;IACrC,OAAO;QACL,YAAY;QACZ,SAAS,CAAC,KAAkB,EAAE,SAAiB;YAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAC3B,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,qCAAqC,CAAC,CAAC;YACrE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,CAAoB;IACxC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAClG,OAAO,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAoB;IAC9C,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AAC3C,CAAC;AAED;;yGAEyG;AACzG,MAAM,qBAAqB,GAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,YAAY;AACvF,MAAM,sBAAsB,GAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,oBAAoB;AAChG,MAAM,oBAAoB,GAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,kBAAkB;AAE5F,SAAS,YAAY,CAAC,KAAwB;IAC5C,OAAO,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CACpB,IAAY,EACZ,SAAiB,EACjB,QAA2B,EAC3B,QAA4B;IAE5B,MAAM,IAAI,GAAG,GAAG,IAAI,GAAG,SAAS,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,SAAS,IAAI,MAAM,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC;IAE1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,sBAAsB,QAAQ,IAAI,EAAE,CAAC;AACnG,CAAC;AAeD,SAAS,sBAAsB,CAC7B,QAA6B,EAC7B,UAAkB;IAElB,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;IACpE,OAAO;QACL,QAAQ;QACR,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,QAAQ,UAAU,EAAE,UAAU,EAAE;QAC/D,SAAS,EAAE,wCAAwC;QACnD,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,CAAC,YAAY,OAAO,wBAAwB,QAAQ,IAAI,UAAU,SAAS,CAAC;QACrF,OAAO;QACP,MAAM,EAAE,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE;QAC3C,IAAI,CAAC,CAAC,EAAE,UAAU;YAChB,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;YAC1D,OAAO;gBACL,GAAG,OAAO,OAAO,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,YAAY,CAAC,CAAC,CAAC,KAAK,UAAU,KAAK,kBAAkB,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI;aAC7H,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAA6B,EAC7B,UAAkB;IAElB,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;IACpE,OAAO;QACL,QAAQ;QACR,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,QAAQ,UAAU,EAAE,UAAU,EAAE;QAC/D,SAAS,EAAE,mCAAmC;QAC9C,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,MAAM;QACf,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,IAAI;QACrB,OAAO,EAAE,CAAC,YAAY,OAAO,wBAAwB,QAAQ,IAAI,UAAU,SAAS,CAAC;QACrF,OAAO;QACP,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU;YAChB,OAAO;gBACL,GAAG,OAAO,OAAO,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,YAAY,CAAC,CAAC,CAAC,KAAK,UAAU,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI;aAClH,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAkD;IAC9E,gBAAgB,EAAE,sBAAsB,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9D,kBAAkB,EAAE,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC;IAClE,cAAc,EAAE,sBAAsB,CAAC,OAAO,EAAE,cAAc,CAAC;IAC/D,gBAAgB,EAAE,wBAAwB,CAAC,OAAO,EAAE,cAAc,CAAC;IAEnE,oBAAoB,EAAE;QACpB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,UAAU,EAAE,UAAU,EAAE;QAC3E,SAAS,EAAE,mCAAmC;QAC9C,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,CAAC,iEAAiE,CAAC;QAC5E,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU;YAChB,OAAO;gBACL,aAAa,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,kBAAkB,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI;aAC9G,CAAC;QACJ,CAAC;KACF;IAED,kBAAkB,EAAE;QAClB,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,EAAE,MAAM,EAAE,4BAA4B,EAAE,UAAU,EAAE,WAAW,EAAE;QACzE,SAAS,EAAE,0BAA0B;QACrC,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,CAAC,gEAAgE,CAAC;QAC3E,OAAO,EAAE,SAAS;QAClB,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU;YAChB,OAAO;gBACL,cAAc,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,UAAU,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI;aAC1F,CAAC;QACJ,CAAC;KACF;IAED,iBAAiB,EAAE;QACjB,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,EAAE,MAAM,EAAE,2BAA2B,EAAE,UAAU,EAAE,UAAU,EAAE;QACvE,SAAS,EAAE,0BAA0B;QACrC,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,WAAW;QACxB,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,CAAC,oEAAoE,CAAC;QAC/E,OAAO,EAAE,eAAe;QACxB,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU;YAChB,OAAO;gBACL,oBAAoB,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,UAAU,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI;aAChG,CAAC;QACJ,CAAC;KACF;IAED,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,EAAE,MAAM,EAAE,wBAAwB,EAAE,UAAU,EAAE,WAAW,EAAE;QACrE,SAAS,EAAE,eAAe;QAC1B,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,aAAa;QAC1B,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,CAAC,4DAA4D,CAAC;QACvE,OAAO,EAAE,SAAS;QAClB,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU;YAChB,OAAO,CAAC,cAAc,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,UAAU,IAAI,CAAC,CAAC;QACxE,CAAC;KACF;IAED,YAAY,EAAE;QACZ,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,EAAE,MAAM,EAAE,wBAAwB,EAAE,UAAU,EAAE,SAAS,EAAE;QACnE,SAAS,EAAE,iBAAiB;QAC5B,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,cAAc;QACvB,WAAW,EAAE,aAAa;QAC1B,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE;QACtC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS;YAC3B,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;YACxC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,aAAa,CAClC,SAAS,EACT,SAAS,EACT,oBAAoB,EACpB,YAAY,CAAC,QAAQ,CAAC,CACvB,CAAC;YACF,OAAO,CAAC,IAAI,EAAE,YAAY,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC;QAChF,CAAC;KACF;IAED,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,WAAW;QACtB,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,cAAc;QACvB,WAAW,EAAE,aAAa;QAC1B,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS;YAC3B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,SAAS,CAAC,CAAC;YAC3F,OAAO,CAAC,IAAI,EAAE,YAAY,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC;QAChF,CAAC;KACF;IAED,aAAa,EAAE;QACb,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,mBAAmB;QAC9B,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,MAAM;QACf,WAAW,EAAE,aAAa;QAC1B,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,EAAE;QACV,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS;YAC3B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,aAAa,CAClC,SAAS,EACT,SAAS,EACT,sBAAsB,EACtB,UAAU,CACX,CAAC;YACF,OAAO,CAAC,IAAI,EAAE,YAAY,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;QACrE,CAAC;KACF;CACF,CAAC;AAEF;;0DAE0D;AAC1D,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,MAAc;IACjE,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,MAAM,EAAgB,CAAC;IAClD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,IAAI,KAAK,CACb,2DAA2D,GAAG,aAAa,KAAK,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;AAC1C,CAAC"}