@temporalabs/treasury 0.1.0

package/dist/abi/erc4626.js

@@ -0,0 +1,146 @@
+/**
+ * The depositor-facing ERC-4626 + ERC-20 surface, and nothing else — no admin, allocator or
+ * operator entry points, because the client never calls any. This fragment is the whole interface
+ * a depositor needs on a standard 4626 chassis (Morpho Vault V2, IPOR Fusion).
+ * Enzyme is NOT 4626 (`buyShares` via the comptroller) and is not covered here.
+ */
+export const erc4626Abi = [
+    // --- ERC-20 ---
+    { type: "function", name: "name", stateMutability: "view", inputs: [], outputs: [{ type: "string" }] },
+    { type: "function", name: "symbol", stateMutability: "view", inputs: [], outputs: [{ type: "string" }] },
+    { type: "function", name: "decimals", stateMutability: "view", inputs: [], outputs: [{ type: "uint8" }] },
+    { type: "function", name: "totalSupply", stateMutability: "view", inputs: [], outputs: [{ type: "uint256" }] },
+    {
+        type: "function",
+        name: "balanceOf",
+        stateMutability: "view",
+        inputs: [{ name: "account", type: "address" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "allowance",
+        stateMutability: "view",
+        inputs: [
+            { name: "owner", type: "address" },
+            { name: "spender", type: "address" },
+        ],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "approve",
+        stateMutability: "nonpayable",
+        inputs: [
+            { name: "spender", type: "address" },
+            // `value`, not `amount`: these names are now USER-VISIBLE as `UnsignedCall.args`, and an
+            // operator reads them next to a block explorer's own form, which is labelled from the
+            // verified contract's ABI. EIP-20 and OpenZeppelin's implementation both name this `value`.
+            // Encoding is unaffected — a parameter binds by position and type, never by name.
+            { name: "value", type: "uint256" },
+        ],
+        outputs: [{ type: "bool" }],
+    },
+    // --- ERC-4626 ---
+    { type: "function", name: "asset", stateMutability: "view", inputs: [], outputs: [{ type: "address" }] },
+    { type: "function", name: "totalAssets", stateMutability: "view", inputs: [], outputs: [{ type: "uint256" }] },
+    {
+        type: "function",
+        name: "convertToAssets",
+        stateMutability: "view",
+        inputs: [{ name: "shares", type: "uint256" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "convertToShares",
+        stateMutability: "view",
+        inputs: [{ name: "assets", type: "uint256" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "previewDeposit",
+        stateMutability: "view",
+        inputs: [{ name: "assets", type: "uint256" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "previewRedeem",
+        stateMutability: "view",
+        inputs: [{ name: "shares", type: "uint256" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "maxDeposit",
+        stateMutability: "view",
+        inputs: [{ name: "receiver", type: "address" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "maxRedeem",
+        stateMutability: "view",
+        inputs: [{ name: "owner", type: "address" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "deposit",
+        stateMutability: "nonpayable",
+        inputs: [
+            { name: "assets", type: "uint256" },
+            { name: "receiver", type: "address" },
+        ],
+        outputs: [{ name: "shares", type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "previewWithdraw",
+        stateMutability: "view",
+        inputs: [{ name: "assets", type: "uint256" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "maxWithdraw",
+        stateMutability: "view",
+        inputs: [{ name: "owner", type: "address" }],
+        outputs: [{ type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "withdraw",
+        stateMutability: "nonpayable",
+        inputs: [
+            { name: "assets", type: "uint256" },
+            { name: "receiver", type: "address" },
+            { name: "owner", type: "address" },
+        ],
+        outputs: [{ name: "shares", type: "uint256" }],
+    },
+    {
+        type: "function",
+        name: "redeem",
+        stateMutability: "nonpayable",
+        inputs: [
+            { name: "shares", type: "uint256" },
+            { name: "receiver", type: "address" },
+            { name: "owner", type: "address" },
+        ],
+        outputs: [{ name: "assets", type: "uint256" }],
+    },
+];
+/**
+ * Revert selectors a depositor pre-flight must be able to name. Each was observed
+ * live on Base (2026-09-11, blocks 51154060–51154242), not taken from documentation.
+ */
+export const knownRevertSelectors = {
+    /** OpenZeppelin AccessManaged — IPOR Fusion PlasmaVault `deposit` restricted to a role (800 = WHITELIST). */
+    AccessManagedUnauthorized: "0x068ca9d8",
+    /** Morpho Vault V2 wrapper around the USDC pull failing on allowance — access is OPEN, the call reached the money. */
+    TransferFromReverted: "0xe65b7a77",
+};
+//# sourceMappingURL=erc4626.js.map

package/dist/abi/erc4626.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"erc4626.js","sourceRoot":"","sources":["../../src/abi/erc4626.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,iBAAiB;IACjB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACxG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE;IACzG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE;IAC9G;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,WAAW;QACjB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC9C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,WAAW;QACjB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;YAClC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;SACrC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,SAAS;QACf,eAAe,EAAE,YAAY;QAC7B,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;YACpC,yFAAyF;YACzF,sFAAsF;YACtF,4FAA4F;YAC5F,kFAAkF;YAClF,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;SACnC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;KAC5B;IACD,mBAAmB;IACnB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE;IACxG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE;IAC9G;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,iBAAiB;QACvB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,iBAAiB;QACvB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,gBAAgB;QACtB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,YAAY;QAClB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC/C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,WAAW;QACjB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,SAAS;QACf,eAAe,EAAE,YAAY;QAC7B,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;SACtC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/C;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,iBAAiB;QACvB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,aAAa;QACnB,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,UAAU;QAChB,eAAe,EAAE,YAAY;QAC7B,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;YACrC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;SACnC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/C;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,QAAQ;QACd,eAAe,EAAE,YAAY;QAC7B,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;YACrC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;SACnC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/C;CACO,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,6GAA6G;IAC7G,yBAAyB,EAAE,YAAY;IACvC,sHAAsH;IACtH,oBAAoB,EAAE,YAAY;CAC1B,CAAC"}

package/dist/build.d.ts

@@ -0,0 +1,88 @@
+import { type Address, type Hex } from "viem";
+import { type VaultEntry } from "./registry-schema.js";
+/**
+ * An unsigned call. This is the only thing this package ever produces on the write side.
+ * Whoever holds the key decides whether to sign it — a wallet, an operator, a policy-engine
+ * signer, a token-bound account. The skill supplies intent; the consumer supplies verification.
+ */
+export interface UnsignedCall {
+    chainId: number;
+    to: Address;
+    data: Hex;
+    /**
+     * The same call `data` encodes, in the form a block explorer's "Write Contract" tab asks for:
+     * a full signature with parameter names, e.g. `approve(address spender, uint256 value)`.
+     * See `encodeCall` for why this cannot drift from `data`.
+     */
+    function: string;
+    /**
+     * The arguments of `function`, by name, as strings — `{ spender: "0x…", value: "1000000" }`.
+     * Values are raw contract units (the same integers `data` carries), NOT human decimals, because
+     * that is what an explorer's form takes. `description` is the human-readable sentence.
+     */
+    args: Record<string, string>;
+    value: "0x0";
+    /** What a human should read before anyone signs this. */
+    description: string;
+    /** Which step this is in a multi-call intent (approve → deposit). */
+    step: number;
+    of: number;
+    /**
+     * How to set the gas limit. Measured on Morpho Vault V2: deposit/redeem gas depends on the time
+     * elapsed since the vault's last interest accrual, so an estimate taken now under-counts the
+     * storage writes the mined block will do — the tx dies out-of-gas while every simulation
+     * succeeds. Buffer the estimate; do not sign an unbuffered one.
+     */
+    gasAdvice: string;
+    /**
+     * A read the signer must see satisfied — THROUGH THE RPC IT WILL SEND THROUGH — before it
+     * estimates or sends this call. Present only where a step depends on an earlier step's state.
+     *
+     * Why this is a field and not a sentence: the provider answering `eth_estimateGas` can be
+     * a replica one block behind the one that served the previous step's receipt. Measured on both
+     * real Cash-Plus round trips (2026-09-13, blocks 51253xxx and 51266819→51266821): approve
+     * confirmed, deposit's estimate reverted "ERC20: transfer amount exceeds allowance", the
+     * allowance was on-chain. A signer that reads this precondition until it holds is
+     * deterministic; a signer that retries on a string match is guessing.
+     */
+    precondition?: Precondition;
+}
+/** `read(contract).call(args) >= minimum` (raw units) on the sending RPC before this call goes out. */
+export interface Precondition {
+    read: "allowance";
+    contract: Address;
+    owner: Address;
+    spender: Address;
+    /** Raw token units, as a decimal string — compare as integers, never as floats. */
+    minimum: string;
+    why: string;
+}
+/**
+ * `approve(vault, assets)` on the asset token, then `deposit(assets, receiver)` on the vault.
+ * `account` is the depositor — the address that signs both calls and whose allowance step 2
+ * depends on; it is what the precondition names.
+ */
+export declare function buildDeposit(vault: VaultEntry, args: {
+    assetsHuman: string;
+    receiver: Address;
+    account: Address;
+}): UnsignedCall[];
+/**
+ * USDC-denominated withdrawal — the caller never handles share amounts.
+ *
+ * - `{ assetsHuman }` → ERC-4626 `withdraw(assets, receiver, owner)`: the vault burns whatever
+ *   shares that many assets cost at the time of inclusion.
+ * - `{ all: true, sharesExact }` → `redeem(shares, receiver, owner)` with the EXACT share balance
+ *   the caller read from `earn_balance` (as a string, never through a float): the only way to
+ *   empty an account without leaving dust or asking for more than is owned.
+ */
+export declare function buildWithdraw(vault: VaultEntry, args: {
+    receiver: Address;
+    owner: Address;
+} & ({
+    assetsHuman: string;
+    all?: false;
+} | {
+    all: true;
+    sharesExact: string;
+})): UnsignedCall[];

package/dist/build.js

@@ -0,0 +1,124 @@
+import { encodeFunctionData, getAbiItem } from "viem";
+import { erc4626Abi } from "./abi/erc4626.js";
+import { erc4626Chassis } from "./registry-schema.js";
+import { parseAmount, formatAmount } from "./units.js";
+/**
+ * 🔴 ONE CALL SITE PRODUCES BOTH `data` AND ITS DECODING, FROM THE SAME ARGUMENT TUPLE.
+ *
+ * The obvious implementation of #11 is a second step that decodes the finished calldata back into
+ * names and values. That is two sources for one fact, and two sources drift: a decoder pointed at a
+ * stale ABI, or simply not re-run when an argument order changes, produces a signature and an
+ * argument list that disagree with the bytes an operator is about to sign — and the operator is
+ * using this field precisely BECAUSE they cannot read the bytes. Silent, and wrong in the one
+ * direction that matters.
+ *
+ * So there is no decode step. `data` is encoded from `args`, and the names are read off the same
+ * ABI entry `encodeFunctionData` resolves; the values ARE the tuple, stringified. The only way for
+ * the two to disagree is for viem to encode a different function than `getAbiItem` returns for the
+ * same name and ABI. (This is the same rule `linksFor` follows for a vault's links: derive from one
+ * row, never reconcile two sources that agree today.)
+ */
+function encodeCall(abi, functionName, args) {
+    const item = getAbiItem({ abi, name: functionName, args });
+    if (item === undefined || item.type !== "function") {
+        throw new Error(`${functionName} is not a function on this ABI; this client cannot build a call for it`);
+    }
+    // A names/values length mismatch would silently drop or misalign an argument in the map an
+    // operator types into a form. `encodeFunctionData` rejects the same mismatch, but it must be
+    // impossible for THIS map to be built from one, whichever of the two runs first.
+    if (item.inputs.length !== args.length) {
+        throw new Error(`${functionName} takes ${item.inputs.length} argument(s), got ${args.length}`);
+    }
+    return {
+        data: encodeFunctionData({ abi, functionName, args }),
+        function: `${functionName}(${item.inputs.map((i, n) => `${i.type} ${i.name || `arg${n}`}`).join(", ")})`,
+        args: Object.fromEntries(item.inputs.map((i, n) => [i.name || `arg${n}`, String(args[n])])),
+    };
+}
+const GAS_ADVICE = "Set gas limit = eth_estimateGas × 1.5. Measured: an unbuffered estimate ran out of gas on a Morpho Vault V2 redeem (310,505 gas) while simulation and prior-block re-simulation both succeeded — accrual work grows with elapsed time between estimate and inclusion.";
+function assert4626(vault) {
+    if (!erc4626Chassis.has(vault.chassis)) {
+        throw new Error(`${vault.symbol} is on ${vault.chassis}, which has no ERC-4626 deposit/redeem path; this client does not build calls for it`);
+    }
+}
+/**
+ * `approve(vault, assets)` on the asset token, then `deposit(assets, receiver)` on the vault.
+ * `account` is the depositor — the address that signs both calls and whose allowance step 2
+ * depends on; it is what the precondition names.
+ */
+export function buildDeposit(vault, args) {
+    assert4626(vault);
+    const assets = parseAmount(args.assetsHuman, vault.asset.decimals, `deposit amount (${vault.asset.symbol})`);
+    const pretty = `${formatAmount(assets, vault.asset.decimals)} ${vault.asset.symbol}`;
+    return [
+        {
+            chainId: vault.chainId,
+            to: vault.asset.address,
+            ...encodeCall(erc4626Abi, "approve", [vault.address, assets]),
+            value: "0x0",
+            description: `Approve ${vault.symbol} vault (${vault.address}) to pull ${pretty}`,
+            step: 1,
+            of: 2,
+            gasAdvice: GAS_ADVICE,
+        },
+        {
+            chainId: vault.chainId,
+            to: vault.address,
+            ...encodeCall(erc4626Abi, "deposit", [assets, args.receiver]),
+            value: "0x0",
+            description: `Deposit ${pretty} into ${vault.name}; shares minted to ${args.receiver}`,
+            step: 2,
+            of: 2,
+            gasAdvice: GAS_ADVICE,
+            precondition: {
+                read: "allowance",
+                contract: vault.asset.address,
+                owner: args.account,
+                spender: vault.address,
+                minimum: assets.toString(),
+                why: "Do not estimate or send this until allowance(owner, spender) >= minimum reads back on the RPC you will send through. The receipt for step 1 can come from a node ahead of the one that simulates step 2 (measured twice on real funds).",
+            },
+        },
+    ];
+}
+/**
+ * USDC-denominated withdrawal — the caller never handles share amounts.
+ *
+ * - `{ assetsHuman }` → ERC-4626 `withdraw(assets, receiver, owner)`: the vault burns whatever
+ *   shares that many assets cost at the time of inclusion.
+ * - `{ all: true, sharesExact }` → `redeem(shares, receiver, owner)` with the EXACT share balance
+ *   the caller read from `earn_balance` (as a string, never through a float): the only way to
+ *   empty an account without leaving dust or asking for more than is owned.
+ */
+export function buildWithdraw(vault, args) {
+    assert4626(vault);
+    if (args.all) {
+        const shares = parseAmount(args.sharesExact, vault.shareDecimals, `share balance (${vault.symbol})`);
+        return [
+            {
+                chainId: vault.chainId,
+                to: vault.address,
+                ...encodeCall(erc4626Abi, "redeem", [shares, args.receiver, args.owner]),
+                value: "0x0",
+                description: `Withdraw EVERYTHING from ${vault.name}: redeem ${formatAmount(shares, vault.shareDecimals)} ${vault.symbol} (the exact balance) for ${vault.asset.symbol}, paid to ${args.receiver}`,
+                step: 1,
+                of: 1,
+                gasAdvice: GAS_ADVICE,
+            },
+        ];
+    }
+    const assets = parseAmount(args.assetsHuman, vault.asset.decimals, `withdraw amount (${vault.asset.symbol})`);
+    return [
+        {
+            chainId: vault.chainId,
+            to: vault.address,
+            ...encodeCall(erc4626Abi, "withdraw", [assets, args.receiver, args.owner]),
+            value: "0x0",
+            description: `Withdraw ${formatAmount(assets, vault.asset.decimals)} ${vault.asset.symbol} from ${vault.name}, paid to ${args.receiver}; the vault burns the shares that costs at inclusion`,
+            step: 1,
+            of: 1,
+            gasAdvice: GAS_ADVICE,
+        },
+    ];
+}
+//# sourceMappingURL=build.js.map

package/dist/build.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../src/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAsD,MAAM,MAAM,CAAC;AAC1G,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAmB,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AA6DvD;;;;;;;;;;;;;;;GAeG;AACH,SAAS,UAAU,CACjB,GAAS,EACT,YAAoB,EACpB,IAAwB;IAExB,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAW,CAA4B,CAAC;IAC/F,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,GAAG,YAAY,wEAAwE,CAAC,CAAC;IAC3G,CAAC;IACD,2FAA2F;IAC3F,6FAA6F;IAC7F,iFAAiF;IACjF,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,GAAG,YAAY,UAAU,IAAI,CAAC,MAAM,CAAC,MAAM,qBAAqB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO;QACL,IAAI,EAAE,kBAAkB,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAW,CAAC;QAC9D,QAAQ,EAAE,GAAG,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACxG,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,uQAAuQ,CAAC;AAE3R,SAAS,UAAU,CAAC,KAAiB;IACnC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,OAAO,sFAAsF,CAC7H,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,IAAkE;IAChH,UAAU,CAAC,KAAK,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,mBAAmB,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7G,MAAM,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IACrF,OAAO;QACL;YACE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YACvB,GAAG,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC7D,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,WAAW,KAAK,CAAC,MAAM,WAAW,KAAK,CAAC,OAAO,aAAa,MAAM,EAAE;YACjF,IAAI,EAAE,CAAC;YACP,EAAE,EAAE,CAAC;YACL,SAAS,EAAE,UAAU;SACtB;QACD;YACE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,EAAE,EAAE,KAAK,CAAC,OAAO;YACjB,GAAG,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7D,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,WAAW,MAAM,SAAS,KAAK,CAAC,IAAI,sBAAsB,IAAI,CAAC,QAAQ,EAAE;YACtF,IAAI,EAAE,CAAC;YACP,EAAE,EAAE,CAAC;YACL,SAAS,EAAE,UAAU;YACrB,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;gBAC7B,KAAK,EAAE,IAAI,CAAC,OAAO;gBACnB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,MAAM,CAAC,QAAQ,EAAE;gBAC1B,GAAG,EAAE,yOAAyO;aAC/O;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAiB,EACjB,IAAyH;IAEzH,UAAU,CAAC,KAAK,CAAC,CAAC;IAClB,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,aAAa,EAAE,kBAAkB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACrG,OAAO;YACL;gBACE,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,EAAE,EAAE,KAAK,CAAC,OAAO;gBACjB,GAAG,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBACxE,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,4BAA4B,KAAK,CAAC,IAAI,YAAY,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,MAAM,4BAA4B,KAAK,CAAC,KAAK,CAAC,MAAM,aAAa,IAAI,CAAC,QAAQ,EAAE;gBAClM,IAAI,EAAE,CAAC;gBACP,EAAE,EAAE,CAAC;gBACL,SAAS,EAAE,UAAU;aACtB;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9G,OAAO;QACL;YACE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,EAAE,EAAE,KAAK,CAAC,OAAO;YACjB,GAAG,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1E,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,YAAY,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,SAAS,KAAK,CAAC,IAAI,aAAa,IAAI,CAAC,QAAQ,sDAAsD;YAC5L,IAAI,EAAE,CAAC;YACP,EAAE,EAAE,CAAC;YACL,SAAS,EAAE,UAAU;SACtB;KACF,CAAC;AACJ,CAAC"}