@eco-incorp/sauce 0.99.5 → 0.99.7

package/sdk/dist/cli/receipt.js

@@ -0,0 +1,63 @@
+/**
+ * What a transaction that landed cost and did, read from its receipt: the gas it paid for, the L1
+ * data fee an OP-stack chain charges besides, the value it carried (a cook's is the Kitchen's fee
+ * plus any native the program spends), and the token transfers, approvals and net balance changes
+ * its logs record — decoded by `effects.ts`, the decoder `sauce simulate` reports a rehearsal with.
+ */
+import { formatEther, getAddress, } from "viem";
+import { v12EngineAddress, v12KitchenAddress } from "../deployments/index.js";
+import { addressLabels, effectLines, effectsJson, effectsOf, nativeSymbol, } from "./effects.js";
+/** The cost of a landed transaction that carried `value`. */
+export function costOf(receipt, value) {
+    const gasPrice = receipt.effectiveGasPrice;
+    const execution = receipt.gasUsed * gasPrice;
+    // The OP-stack field, present only on those chains' receipts; viem passes it through raw where it
+    // has no chain formatter.
+    const raw = receipt.l1Fee;
+    const l1 = raw === undefined || raw === null ? undefined : BigInt(raw);
+    return {
+        gasUsed: receipt.gasUsed,
+        gasPrice,
+        execution,
+        ...(l1 === undefined ? {} : { l1 }),
+        value,
+        total: execution + (l1 ?? 0n) + value,
+    };
+}
+/** The cost as a line: the total, then what it is made of. */
+export function costLine(cost, chain, valueIs) {
+    const native = nativeSymbol(chain);
+    const eth = (wei) => `${formatEther(wei)} ${native}`;
+    return (`cost ${eth(cost.total)}: gas ${cost.gasUsed} at ${cost.gasPrice} wei = ${eth(cost.execution)}` +
+        (cost.l1 === undefined ? "" : `, L1 data ${eth(cost.l1)}`) +
+        `, value ${eth(cost.value)} (${valueIs})`);
+}
+/** The cost for `--json`: wei as decimal strings. */
+export const costJson = (cost) => ({
+    gasUsed: cost.gasUsed.toString(),
+    gasPrice: cost.gasPrice.toString(),
+    execution: cost.execution.toString(),
+    ...(cost.l1 === undefined ? {} : { l1: cost.l1.toString() }),
+    value: cost.value.toString(),
+    total: cost.total.toString(),
+});
+/** What a landed transaction's logs record, decoded, with the Sauce addresses named. */
+export async function receiptEffects(client, chain, receipt, known) {
+    const labels = addressLabels(chain, [
+        [getAddress(v12KitchenAddress()), "Kitchen"],
+        [getAddress(v12EngineAddress()), "engine"],
+        ...known,
+    ]);
+    return effectsOf(client, chain, receipt.logs.map((log) => ({ address: log.address, topics: log.topics, data: log.data })), false, labels);
+}
+/** The effects as lines, and for `--json`, of a landed transaction. */
+export function receiptReport(effects) {
+    return {
+        // A receipt records logs: a native transfer inside the transaction is no log.
+        lines: effectLines(effects).map((line) => line.startsWith("Native transfers: not reported")
+            ? "Native transfers: not in the receipt (only a trace has them)"
+            : line),
+        json: effectsJson(effects),
+    };
+}
+//# sourceMappingURL=receipt.js.map

package/sdk/dist/cli/receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipt.js","sourceRoot":"","sources":["../../src/cli/receipt.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EACL,WAAW,EACX,UAAU,GAIX,MAAM,MAAM,CAAC;AAGd,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,SAAS,EACT,YAAY,GAEb,MAAM,cAAc,CAAC;AAetB,6DAA6D;AAC7D,MAAM,UAAU,MAAM,CAAC,OAA2B,EAAE,KAAa;IAC/D,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,GAAG,QAAQ,CAAC;IAC7C,kGAAkG;IAClG,0BAA0B;IAC1B,MAAM,GAAG,GAAI,OAAyD,CAAC,KAAK,CAAC;IAC7E,MAAM,EAAE,GAAG,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAEvE,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ;QACR,SAAS;QACT,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;QACnC,KAAK;QACL,KAAK,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK;KACtC,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,KAAqB,EAAE,OAAe;IACzE,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;IAE7D,OAAO,CACL,QAAQ,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,OAAO,OAAO,IAAI,CAAC,QAAQ,UAAU,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;QAC/F,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1D,WAAW,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,OAAO,GAAG,CAC1C,CAAC;AACJ,CAAC;AAED,qDAAqD;AACrD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAU,EAA0B,EAAE,CAAC,CAAC;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;IAChC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE;IAClC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;IACpC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC5D,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;IAC5B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAEH,wFAAwF;AACxF,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,MAAoB,EACpB,KAAqB,EACrB,OAA2B,EAC3B,KAAgD;IAEhD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE;QAClC,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,EAAE,SAAS,CAAC;QAC5C,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC,EAAE,QAAQ,CAAC;QAC1C,GAAG,KAAK;KACT,CAAC,CAAC;IAEH,OAAO,SAAS,CACd,MAAM,EACN,KAAK,EACL,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EACzF,KAAK,EACL,MAAM,CACP,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,OAAgB;IAI5C,OAAO;QACL,8EAA8E;QAC9E,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,IAAI,CAAC,UAAU,CAAC,gCAAgC,CAAC;YAC/C,CAAC,CAAC,8DAA8D;YAChE,CAAC,CAAC,IAAI,CACT;QACD,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;KAC3B,CAAC;AACJ,CAAC"}

package/sdk/dist/cli/rehearse.d.ts

@@ -0,0 +1,80 @@
+/**
+ * `sauce simulate`'s rehearsal of a cook: sent from the Pot's owner, on the chain as it is plus the
+ * state overrides the command asks for, with nothing signed or sent — and, for a Pot not deployed
+ * yet, with its deployment rehearsed first. Two routes, in order:
+ *
+ *   1. `eth_simulateV1`: one simulated block holding `Kitchen.deployPot(owner, salt)` (when the Pot
+ *      is missing; anyone may send it) and then the cook from the owner, state carried from one call
+ *      to the next. It returns the cook's logs, and with `traceTransfers` its native transfers.
+ *   2. `eth_call`, where the endpoint does not serve `eth_simulateV1`. A missing Pot is put in place
+ *      first, as the deployment would leave it: an `eth_call` CREATION runs a probe whose
+ *      constructor calls the real `Kitchen.deployPot` and returns the Pot that made — its address,
+ *      its Router and its runtime code, immutables (owner, salt, Kitchen) included. The cook is then
+ *      an `eth_call` from the owner to the Pot with that code, the Router's storage word and the
+ *      nonce of a new contract (1) set at the Pot's address by state override: the transaction a
+ *      real cook sends, on the state a real deployment leaves. The engine's gate re-derives the
+ *      Pot's address from its Kitchen, owner and salt, all genuine. No code is put at the owner, so
+ *      `msg.sender` and `tx.origin` are the owner's own. A logs-free route: it reports the result and
+ *      the gas, not what the cook moved.
+ */
+import { type Address, type Hex, type PublicClient, type StateOverride } from "viem";
+import { type TxRequest } from "./chain.js";
+import type { RawLog } from "./effects.js";
+export type RehearsalPath = "eth_simulateV1" | "eth_call";
+export interface RehearsalInput {
+    readonly owner: Address;
+    readonly pot: Address;
+    /** The released Kitchen, which deploys the Pot. */
+    readonly kitchen: Address;
+    /** The Pot's salt, when it is not deployed: the rehearsal deploys it first. */
+    readonly deploy?: {
+        readonly salt: Hex;
+    };
+    readonly cook: TxRequest;
+    /** Applied before anything runs. One entry per address (`mergeOverrides`). */
+    readonly overrides: StateOverride;
+}
+interface Base {
+    readonly path: RehearsalPath;
+    /** Why `eth_simulateV1` did not run, when the fallback did. */
+    readonly fallback?: string;
+    readonly notes: readonly string[];
+}
+export type Rehearsal = Base & ({
+    readonly ok: true;
+    readonly returns: Hex;
+    /** Gas the cook used (`eth_simulateV1`) or needs (`eth_estimateGas`); `undefined` when the
+     *  endpoint could not say. */
+    readonly gas?: bigint;
+    readonly gasKind: "used" | "estimated";
+    /** The cook's logs (`eth_simulateV1` only). */
+    readonly logs?: readonly RawLog[];
+    /** Whether the node reported native transfers among them. */
+    readonly traced: boolean;
+} | {
+    readonly ok: false;
+    readonly stage: "deploy" | "cook";
+    readonly reason: string;
+});
+/** The Pot's one storage word, its Router: ERC-7201 `sauce.storage.Pot` (`Pot.sol`). */
+export declare const POT_ROUTER_SLOT: `0x${string}`;
+/**
+ * The Pot `Kitchen.deployPot(owner, salt)` would deploy, as an `eth_call` creation of the probe
+ * finds it — its address, Router and runtime code — or the deploy's revert reason.
+ */
+export declare function probePot(client: PublicClient, kitchen: Address, owner: Address, salt: Hex): Promise<{
+    readonly pot: Address;
+    readonly router: Address;
+    readonly code: Hex;
+} | {
+    readonly reason: string;
+}>;
+/** Rehearses the cook: through `eth_simulateV1` where the endpoint serves it, else `eth_call`. */
+export declare function rehearse(client: PublicClient, input: RehearsalInput): Promise<Rehearsal>;
+/** The probe's init code and where its arguments start, for the test that pins the assembly. */
+export declare const potProbe: {
+    readonly code: `0x${string}`;
+    readonly argsAt: 106;
+};
+export {};
+//# sourceMappingURL=rehearse.d.ts.map

package/sdk/dist/cli/rehearse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rehearse.d.ts","sourceRoot":"","sources":["../../src/cli/rehearse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAYL,KAAK,OAAO,EACZ,KAAK,GAAG,EACR,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,MAAM,CAAC;AAKd,OAAO,EAAgB,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,gBAAgB,GAAG,UAAU,CAAC;AAE1D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;CACnC;AAED,UAAU,IAAI;IACZ,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,SAAS,GAAG,IAAI,GAC1B,CACI;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;IACtB;kCAC8B;IAC9B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC;IACvC,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CACrF,CAAC;AAEJ,wFAAwF;AACxF,eAAO,MAAM,eAAe,eAO3B,CAAC;AAyHF;;;GAGG;AACH,wBAAsB,QAAQ,CAC5B,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,GAAG,GACR,OAAO,CACN;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC9B,CAmBA;AA2GD,kGAAkG;AAClG,wBAAsB,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,CAU9F;AAED,gGAAgG;AAChG,eAAO,MAAM,QAAQ;;;CAAsD,CAAC"}

package/sdk/dist/cli/rehearse.js

@@ -0,0 +1,265 @@
+/**
+ * `sauce simulate`'s rehearsal of a cook: sent from the Pot's owner, on the chain as it is plus the
+ * state overrides the command asks for, with nothing signed or sent — and, for a Pot not deployed
+ * yet, with its deployment rehearsed first. Two routes, in order:
+ *
+ *   1. `eth_simulateV1`: one simulated block holding `Kitchen.deployPot(owner, salt)` (when the Pot
+ *      is missing; anyone may send it) and then the cook from the owner, state carried from one call
+ *      to the next. It returns the cook's logs, and with `traceTransfers` its native transfers.
+ *   2. `eth_call`, where the endpoint does not serve `eth_simulateV1`. A missing Pot is put in place
+ *      first, as the deployment would leave it: an `eth_call` CREATION runs a probe whose
+ *      constructor calls the real `Kitchen.deployPot` and returns the Pot that made — its address,
+ *      its Router and its runtime code, immutables (owner, salt, Kitchen) included. The cook is then
+ *      an `eth_call` from the owner to the Pot with that code, the Router's storage word and the
+ *      nonce of a new contract (1) set at the Pot's address by state override: the transaction a
+ *      real cook sends, on the state a real deployment leaves. The engine's gate re-derives the
+ *      Pot's address from its Kitchen, owner and salt, all genuine. No code is put at the owner, so
+ *      `msg.sender` and `tx.origin` are the owner's own. A logs-free route: it reports the result and
+ *      the gas, not what the cook moved.
+ */
+import { concat, decodeFunctionResult, encodeFunctionData, getAddress, hexToBigInt, keccak256, numberToHex, pad, parseAbi, sliceHex, toHex, } from "viem";
+import { sauceEvmDeployPotCall } from "../routes/sauce-calls.js";
+import { CliError } from "./args.js";
+import { mergeOverrides } from "./assume.js";
+import { revertReason } from "./chain.js";
+/** The Pot's one storage word, its Router: ERC-7201 `sauce.storage.Pot` (`Pot.sol`). */
+export const POT_ROUTER_SLOT = numberToHex(hexToBigInt(keccak256(pad(numberToHex(hexToBigInt(keccak256(toHex("sauce.storage.Pot"))) - 1n), { size: 32 }))) & ~0xffn, { size: 32 });
+const POT = parseAbi([
+    "function router() view returns (address)",
+    "function owner() view returns (address)",
+]);
+/**
+ * The probe's init code, followed by `kitchen`, `owner` and `salt` (32 bytes each). Its constructor:
+ *
+ *   mem[0..0x44]  = deployPot(owner, salt)        PUSH4 ff9763ac … MSTORE; CODECOPY the two words
+ *   mem[0xa0]     = Kitchen.deployPot(…)          CALL, bubbling a revert
+ *   mem[0xc0]     = pot.router()                  STATICCALL, bubbling a revert
+ *   mem[0xe0..]   = pot's runtime code            EXTCODECOPY
+ *   RETURN mem[0xa0 .. 0xe0 + size]               pot, router, code
+ *
+ * An `eth_call` creation answers with what the constructor returns, so the answer is the Pot that
+ * `Kitchen.deployPot` deploys. Its first byte is a zero (the Pot's address word), as a creation's
+ * return must not start with 0xef.
+ */
+const POT_PROBE = `0x${[
+    "63ff9763ac60e01b600052", //  PUSH4 deployPot  PUSH1 e0 SHL  PUSH1 0 MSTORE
+    "604061008a600439", //        CODECOPY(0x04, 0x8a, 0x40): owner, salt
+    "602061006a608039", //        CODECOPY(0x80, 0x6a, 0x20): kitchen
+    "602060a06044600060006080515af1", // CALL(gas, kitchen, 0, 0, 0x44, 0xa0, 0x20)
+    "1561005f57", //              ISZERO PUSH2 fail JUMPI
+    "63f887ea4060e01b600052", //  PUSH4 router  PUSH1 e0 SHL  PUSH1 0 MSTORE
+    "602060c06004600060a0515afa", // STATICCALL(gas, pot, 0, 4, 0xc0, 0x20)
+    "1561005f57", //              ISZERO PUSH2 fail JUMPI
+    "60a0513b80600060e060a0513c", // EXTCODESIZE(pot) DUP1; EXTCODECOPY(pot, 0xe0, 0, size)
+    "60400160a0f3", //            RETURN(0xa0, size + 0x40)
+    "5b3d600060003e3d6000fd", //  fail: RETURNDATACOPY(0, 0, size) REVERT(0, size)
+].join("")}`;
+/** `0x6a`: where the probe's arguments start, which its two CODECOPYs name. */
+const PROBE_ARGS_AT = 0x6a;
+/** The fewest gas a cook can take over its intrinsic cost: the Pot's dispatch, the Kitchen's fee
+ *  read and the engine's delegatecall, cold. An estimate below it ran on no Pot code. */
+const COOK_FLOOR = 5000n;
+const intrinsicGas = (data) => {
+    let gas = 21000n;
+    for (let at = 2; at < data.length; at += 2)
+        gas += data.slice(at, at + 2) === "00" ? 4n : 16n;
+    return gas;
+};
+/** Why a simulated call failed, from the data it reverted with. */
+const failedWith = (data) => data === undefined || data === "0x"
+    ? "it reverted with no data (out of gas, or a revert with no reason)"
+    : revertReason({ data });
+/** viem's one line for a failed request, never its details (which repeat the URL). */
+const shortReason = (error) => error.shortMessage ?? "the request failed";
+async function viaSimulateV1(client, input) {
+    const deploy = input.deploy === undefined
+        ? []
+        : [
+            {
+                account: input.owner,
+                to: input.kitchen,
+                data: sauceEvmDeployPotCall({
+                    kitchen: input.kitchen,
+                    owner: input.owner,
+                    salt: input.deploy.salt,
+                }).data,
+            },
+        ];
+    const [block] = await client.simulateBlocks({
+        blocks: [
+            {
+                calls: [...deploy, { account: input.owner, ...input.cook }],
+                ...(input.overrides.length === 0 ? {} : { stateOverrides: input.overrides }),
+            },
+        ],
+        traceTransfers: true,
+        validation: false,
+    });
+    const results = block?.calls ?? [];
+    const base = { path: "eth_simulateV1", notes: [] };
+    if (input.deploy !== undefined && results[0]?.status !== "success") {
+        return {
+            ...base,
+            ok: false,
+            stage: "deploy",
+            reason: failedWith(results[0]?.data),
+        };
+    }
+    const cook = results[deploy.length];
+    if (cook === undefined)
+        throw new CliError("the endpoint's eth_simulateV1 answered no result for the cook");
+    if (cook.status !== "success") {
+        return { ...base, ok: false, stage: "cook", reason: failedWith(cook.data) };
+    }
+    const logs = (cook.logs ?? []).map((log) => ({
+        address: getAddress(log.address),
+        topics: log.topics,
+        data: log.data,
+    }));
+    return {
+        ...base,
+        ok: true,
+        returns: cook.data,
+        gas: cook.gasUsed,
+        gasKind: "used",
+        logs,
+        // A cook that carries value moves it to the Pot, so a node that traces transfers reports at
+        // least that one; none at all means it did not trace them.
+        traced: input.cook.value === 0n || logs.some((log) => log.address === NATIVE_EMITTER),
+    };
+}
+/** Where `traceTransfers` reports native-currency transfers. */
+const NATIVE_EMITTER = getAddress("0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee");
+/**
+ * The Pot `Kitchen.deployPot(owner, salt)` would deploy, as an `eth_call` creation of the probe
+ * finds it — its address, Router and runtime code — or the deploy's revert reason.
+ */
+export async function probePot(client, kitchen, owner, salt) {
+    let answer;
+    try {
+        ({ data: answer } = await client.call({
+            account: owner,
+            data: concat([POT_PROBE, pad(kitchen, { size: 32 }), pad(owner, { size: 32 }), salt]),
+        }));
+    }
+    catch (error) {
+        return { reason: revertReason(error) };
+    }
+    if (answer === undefined || answer.length < 2 + 64 * 2 + 2) {
+        throw new CliError("the endpoint answered the Pot's deployment with no code");
+    }
+    return {
+        pot: getAddress(sliceHex(answer, 12, 32)),
+        router: getAddress(sliceHex(answer, 44, 64)),
+        code: sliceHex(answer, 64),
+    };
+}
+/**
+ * The state override that puts a not-yet-deployed Pot in place exactly as `Kitchen.deployPot` would
+ * leave it — or the deploy's revert reason.
+ */
+async function placePot(client, input) {
+    const probed = await probePot(client, input.kitchen, input.owner, input.deploy.salt);
+    if ("reason" in probed)
+        return probed;
+    const { pot, router, code } = probed;
+    if (pot !== getAddress(input.pot)) {
+        throw new CliError(`Kitchen.deployPot made ${pot}, not the predicted Pot ${input.pot}`);
+    }
+    const placed = {
+        address: pot,
+        code,
+        // A contract starts at nonce 1 (EIP-161): a CREATE from the Pot lands where it would for real.
+        nonce: 1,
+        stateDiff: [{ slot: POT_ROUTER_SLOT, value: pad(router, { size: 32 }) }],
+    };
+    // The Pot, read back through the override, must be the one deployed: its Router where the
+    // constructor stored it and its owner in its code. An endpoint that ignores overrides fails here.
+    const overrides = mergeOverrides([...input.overrides, placed]);
+    const read = async (functionName) => {
+        try {
+            const { data } = await client.call({
+                to: pot,
+                data: encodeFunctionData({ abi: POT, functionName }),
+                stateOverride: overrides,
+            });
+            return data === undefined
+                ? undefined
+                : decodeFunctionResult({ abi: POT, functionName, data });
+        }
+        catch {
+            return undefined;
+        }
+    };
+    if ((await read("router")) !== router || (await read("owner")) !== getAddress(input.owner)) {
+        throw new CliError(`the endpoint serves neither eth_simulateV1 nor state overrides on eth_call, so it cannot ` +
+            `rehearse a cook on a Pot that is not deployed: use an endpoint that serves either, or deploy ` +
+            "the Pot first");
+    }
+    return placed;
+}
+async function viaEthCall(client, input, fallback) {
+    const base = { path: "eth_call", ...(fallback === undefined ? {} : { fallback }) };
+    let overrides = input.overrides;
+    if (input.deploy !== undefined) {
+        const placed = await placePot(client, { ...input, deploy: input.deploy });
+        if ("reason" in placed) {
+            return { ...base, notes: [], ok: false, stage: "deploy", reason: placed.reason };
+        }
+        overrides = mergeOverrides([...overrides, placed]);
+    }
+    const request = {
+        account: input.owner,
+        ...input.cook,
+        ...(overrides.length === 0 ? {} : { stateOverride: overrides }),
+    };
+    let returns;
+    try {
+        returns = (await client.call(request)).data ?? "0x";
+    }
+    catch (error) {
+        return { ...base, notes: [], ok: false, stage: "cook", reason: revertReason(error) };
+    }
+    const notes = [
+        "eth_call returns no logs, so what the cook moved is not shown: an endpoint that serves " +
+            "eth_simulateV1 shows it",
+    ];
+    let gas;
+    try {
+        const estimate = await client.estimateGas(request);
+        // A node that drops estimateGas's overrides estimates a call to an address with no code.
+        if (input.deploy !== undefined && estimate < intrinsicGas(input.cook.data) + COOK_FLOOR) {
+            notes.push("gas: the endpoint ignores state overrides in eth_estimateGas, so it is not known");
+        }
+        else {
+            gas = estimate;
+        }
+    }
+    catch (error) {
+        notes.push(`gas: the endpoint did not estimate it (${shortReason(error)})`);
+    }
+    return {
+        ...base,
+        notes,
+        ok: true,
+        returns,
+        ...(gas === undefined ? {} : { gas }),
+        gasKind: "estimated",
+        traced: false,
+    };
+}
+/** Rehearses the cook: through `eth_simulateV1` where the endpoint serves it, else `eth_call`. */
+export async function rehearse(client, input) {
+    try {
+        return await viaSimulateV1(client, input);
+    }
+    catch (error) {
+        if (error instanceof CliError)
+            throw error;
+        const why = shortReason(error).replace(/\.$/, "");
+        return viaEthCall(client, input, `the endpoint did not run eth_simulateV1: ${why}`);
+    }
+}
+/** The probe's init code and where its arguments start, for the test that pins the assembly. */
+export const potProbe = { code: POT_PROBE, argsAt: PROBE_ARGS_AT };
+//# sourceMappingURL=rehearse.js.map

package/sdk/dist/cli/rehearse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rehearse.js","sourceRoot":"","sources":["../../src/cli/rehearse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EACL,MAAM,EACN,oBAAoB,EACpB,kBAAkB,EAClB,UAAU,EACV,WAAW,EACX,SAAS,EACT,WAAW,EACX,GAAG,EACH,QAAQ,EACR,QAAQ,EACR,KAAK,GAKN,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAkB,MAAM,YAAY,CAAC;AAyC1D,wFAAwF;AACxF,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CACxC,WAAW,CACT,SAAS,CACP,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CACxF,CACF,GAAG,CAAC,KAAK,EACV,EAAE,IAAI,EAAE,EAAE,EAAE,CACb,CAAC;AAEF,MAAM,GAAG,GAAG,QAAQ,CAAC;IACnB,0CAA0C;IAC1C,yCAAyC;CAC1C,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,SAAS,GAAQ,KAAK;IAC1B,wBAAwB,EAAE,iDAAiD;IAC3E,kBAAkB,EAAE,iDAAiD;IACrE,kBAAkB,EAAE,6CAA6C;IACjE,gCAAgC,EAAE,6CAA6C;IAC/E,YAAY,EAAE,uCAAuC;IACrD,wBAAwB,EAAE,8CAA8C;IACxE,4BAA4B,EAAE,yCAAyC;IACvE,YAAY,EAAE,uCAAuC;IACrD,4BAA4B,EAAE,yDAAyD;IACvF,cAAc,EAAE,uCAAuC;IACvD,wBAAwB,EAAE,oDAAoD;CAC/E,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AAEb,+EAA+E;AAC/E,MAAM,aAAa,GAAG,IAAI,CAAC;AAE3B;yFACyF;AACzF,MAAM,UAAU,GAAG,KAAM,CAAC;AAE1B,MAAM,YAAY,GAAG,CAAC,IAAS,EAAU,EAAE;IACzC,IAAI,GAAG,GAAG,MAAO,CAAC;IAClB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC;QAAE,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAE9F,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,UAAU,GAAG,CAAC,IAAqB,EAAU,EAAE,CACnD,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;IACjC,CAAC,CAAC,mEAAmE;IACrE,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAE7B,sFAAsF;AACtF,MAAM,WAAW,GAAG,CAAC,KAAc,EAAU,EAAE,CAC5C,KAAmC,CAAC,YAAY,IAAI,oBAAoB,CAAC;AAE5E,KAAK,UAAU,aAAa,CAAC,MAAoB,EAAE,KAAqB;IACtE,MAAM,MAAM,GACV,KAAK,CAAC,MAAM,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE;gBACE,OAAO,EAAE,KAAK,CAAC,KAAK;gBACpB,EAAE,EAAE,KAAK,CAAC,OAAO;gBACjB,IAAI,EAAE,qBAAqB,CAAC;oBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;iBACxB,CAAC,CAAC,IAAI;aACR;SACF,CAAC;IACR,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC;QAC1C,MAAM,EAAE;YACN;gBACE,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3D,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;aAC7E;SACF;QACD,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,gBAAyB,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5D,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;QACnE,OAAO;YACL,GAAG,IAAI;YACP,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;SACrC,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,SAAS;QACpB,MAAM,IAAI,QAAQ,CAAC,+DAA+D,CAAC,CAAC;IACtF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3C,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;QAChC,MAAM,EAAE,GAAG,CAAC,MAAwB;QACpC,IAAI,EAAE,GAAG,CAAC,IAAI;KACf,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,GAAG,IAAI;QACP,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,GAAG,EAAE,IAAI,CAAC,OAAO;QACjB,OAAO,EAAE,MAAM;QACf,IAAI;QACJ,4FAA4F;QAC5F,2DAA2D;QAC3D,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,cAAc,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,MAAM,cAAc,GAAG,UAAU,CAAC,4CAA4C,CAAC,CAAC;AAEhF;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,MAAoB,EACpB,OAAgB,EAChB,KAAc,EACd,IAAS;IAKT,IAAI,MAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC;YACpC,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,MAAM,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;SACtF,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,QAAQ,CAAC,yDAAyD,CAAC,CAAC;IAChF,CAAC;IAED,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;KAC3B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,QAAQ,CACrB,MAAoB,EACpB,KAAmE;IAEnE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrF,IAAI,QAAQ,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACrC,IAAI,GAAG,KAAK,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,2BAA2B,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG;QACb,OAAO,EAAE,GAAG;QACZ,IAAI;QACJ,+FAA+F;QAC/F,KAAK,EAAE,CAAC;QACR,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;KACzE,CAAC;IACF,0FAA0F;IAC1F,kGAAkG;IAClG,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,KAAK,EAAE,YAAgC,EAAgC,EAAE;QACpF,IAAI,CAAC;YACH,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC;gBACjC,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE,kBAAkB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC;gBACpD,aAAa,EAAE,SAAS;aACzB,CAAC,CAAC;YAEH,OAAO,IAAI,KAAK,SAAS;gBACvB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,oBAAoB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3F,MAAM,IAAI,QAAQ,CAChB,2FAA2F;YACzF,+FAA+F;YAC/F,eAAe,CAClB,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,MAAoB,EACpB,KAAqB,EACrB,QAA4B;IAE5B,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,UAAmB,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5F,IAAI,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1E,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;YACvB,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QACnF,CAAC;QACD,SAAS,GAAG,cAAc,CAAC,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,OAAO,GAAG;QACd,OAAO,EAAE,KAAK,CAAC,KAAK;QACpB,GAAG,KAAK,CAAC,IAAI;QACb,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;KAChE,CAAC;IACF,IAAI,OAAY,CAAC;IACjB,IAAI,CAAC;QACH,OAAO,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC;IACtD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;IACvF,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,yFAAyF;YACvF,yBAAyB;KAC5B,CAAC;IACF,IAAI,GAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACnD,yFAAyF;QACzF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC;YACxF,KAAK,CAAC,IAAI,CACR,kFAAkF,CACnF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,QAAQ,CAAC;QACjB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,0CAA0C,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,KAAK;QACL,EAAE,EAAE,IAAI;QACR,OAAO;QACP,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACrC,OAAO,EAAE,WAAW;QACpB,MAAM,EAAE,KAAK;KACd,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,MAAoB,EAAE,KAAqB;IACxE,IAAI,CAAC;QACH,OAAO,MAAM,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,QAAQ;YAAE,MAAM,KAAK,CAAC;QAE3C,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAElD,OAAO,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,4CAA4C,GAAG,EAAE,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAW,CAAC"}

package/sdk/dist/cli/report.d.ts

@@ -0,0 +1,69 @@
+import type { CanonicalChain } from "../chains/canonical.js";
+import type { AccessorTarget } from "../routes/protocol-rewrite.js";
+import type { DefineValue } from "./args.js";
+/** One define the program reads, as the compile applied it. */
+export interface AppliedDefine {
+    readonly name: string;
+    /** An address-sized value as an address (base58 on Solana), any other in decimal. */
+    readonly value: string | boolean;
+    /** `user`: `--define` or `--defines`. `chain`: what compiling for the chain sets. */
+    readonly source: "user" | "chain";
+    /** For a chain value: what it is. */
+    readonly kind?: "token" | "contract" | "chain id";
+    /** A user define that replaced a value the chain sets: that value. */
+    readonly replaces?: string | boolean;
+    /** The chain it applied on: the program's, or that of an intent body that reads it. */
+    readonly chain: string;
+}
+/** One protocol contract the program names, resolved. */
+export interface UsedContract {
+    /** As the program wrote it: `UniswapV3.Factory`, `Base.UniswapV3.Factory`, `Cctp`. */
+    readonly reference: string;
+    /** The contract it resolved to: `UniswapV3.Factory`. */
+    readonly contract: string;
+    /** The chain whose deployment it is: an intent body's resolve on the intent's chain. */
+    readonly chain: string;
+    readonly address: string;
+}
+/**
+ * A define's value as the report shows it: an address as an address (a base58 key on Solana) when
+ * `address` says it is one — a chain's token or contract, or a value written as one — and any
+ * other number as the integer it is. Nothing is guessed from the size: a price limit near 2^160
+ * reads as the number it is.
+ */
+export declare function shownValue(value: DefineValue | number, chain: CanonicalChain, address?: boolean): string | boolean;
+/** A name the file reads, and the chains of the intents it is read inside, outermost first. */
+interface ReadName {
+    readonly name: string;
+    readonly path: readonly CanonicalChain[];
+}
+/**
+ * Every name the file reads as a value: identifiers outside declarations, member properties and
+ * object keys, with annotations and type declarations stepped over (the file is parsed as the
+ * compile's rewrites parse it, as written). Each comes with the chains of the intent bodies it is
+ * read inside, which decide what it resolves to.
+ */
+export declare function namesRead(text: string): readonly ReadName[];
+/** A user define that changes nothing: the file never reads it, or reads it only inside intents
+ *  on other chains (`readOn`), where a chain-scoped name is that chain's own. */
+export interface UnreadDefine {
+    readonly name: string;
+    readonly readOn: readonly string[];
+}
+/**
+ * The defines `text`, compiled for `chain` with `user`'s defines, reads, each on the chain it
+ * applied on: a user define where the part of the program reading it still has it, and otherwise
+ * the value that part's chain sets. `unread` is each user define no part reads where it applies,
+ * which changes nothing.
+ */
+export declare function appliedDefines(text: string, chain: CanonicalChain, user: Readonly<Record<string, DefineValue>>, addresses?: ReadonlySet<string>): {
+    readonly defines: readonly AppliedDefine[];
+    readonly unread: readonly UnreadDefine[];
+};
+/** Collects the contracts a compile resolves, through `accessors.onContract`. */
+export declare function contractCollector(): {
+    readonly onContract: (reference: string, target: AccessorTarget) => void;
+    readonly contracts: () => readonly UsedContract[];
+};
+export {};
+//# sourceMappingURL=report.d.ts.map

package/sdk/dist/cli/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/cli/report.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAI7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAIpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,+DAA+D;AAC/D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qFAAqF;IACrF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IACjC,qFAAqF;IACrF,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAClC,qCAAqC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;IAClD,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACrC,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,yDAAyD;AACzD,MAAM,WAAW,YAAY;IAC3B,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,WAAW,GAAG,MAAM,EAC3B,KAAK,EAAE,cAAc,EACrB,OAAO,UAAQ,GACd,MAAM,GAAG,OAAO,CAQlB;AAiCD,+FAA+F;AAC/F,UAAU,QAAQ;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,cAAc,EAAE,CAAC;CAC1C;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,QAAQ,EAAE,CAkC3D;AAgBD;iFACiF;AACjF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAyBD;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAC3C,SAAS,GAAE,WAAW,CAAC,MAAM,CAAa,GACzC;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;CAAE,CA+C1F;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,IAAI;IACnC,QAAQ,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACzE,QAAQ,CAAC,SAAS,EAAE,MAAM,SAAS,YAAY,EAAE,CAAC;CACnD,CAkBA"}