@eco-incorp/sauce 0.99.6 → 0.99.8

package/sdk/dist/routes/unknown-global.d.ts

@@ -0,0 +1,32 @@
+/**
+ * A name used as a token or a protocol that the destination does not have, reported as that.
+ *
+ * `DAIX.balanceOf(x)` and `Uniswapp.UniversalRouter` name nothing: not a registered token, not a
+ * protocol, not a declaration of the program and not a builtin. The token and protocol rewrites
+ * leave a name they do not know alone, which is right for them, so it reached the compiler, and the
+ * compiler could only say "`this call expression` cannot be lowered to IR yet". The route compiler
+ * knows what the chain has, so it says which name, on which chain, and what it probably meant.
+ *
+ * Consulted only once the compiler has refused the program (`sauce-route.ts`), on the source it
+ * refused. So a program the compiler accepts is never refused here, and a name only the compiler
+ * knows — an export of an ambient module — cannot be mistaken for an unknown one. By then a
+ * registered token is a define, and every protocol namespace and chain key the registry knows has
+ * been resolved, or refused with the protocol rewrite's own error.
+ */
+import type { CanonicalChain } from "../chains/canonical.js";
+/** What else gives a name meaning in this compile, beside the program's own declarations. */
+export interface KnownNames {
+    /** Every compile-time value the compile defines: token symbols, chain values, caller defines. */
+    readonly defines: Iterable<string>;
+    /** Contract bindings the caller supplies (`compile.contracts`). */
+    readonly contracts: Iterable<string>;
+    /** The chain's registered token symbols, for suggestions. */
+    readonly tokens: Iterable<string>;
+}
+/**
+ * For a compile that failed with `cause`: an error naming the first member access (`X.y`,
+ * `X.y(...)`) whose root `X` nothing gives meaning to on `chain`, with the chain's near matches
+ * among its tokens and protocols. `undefined` when there is none, and the compiler's error stands.
+ */
+export declare function unknownGlobalError(source: string, chain: CanonicalChain, known: KnownNames, cause: unknown): Error | undefined;
+//# sourceMappingURL=unknown-global.d.ts.map

package/sdk/dist/routes/unknown-global.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown-global.d.ts","sourceRoot":"","sources":["../../src/routes/unknown-global.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAkB7D,6FAA6F;AAC7F,MAAM,WAAW,UAAU;IACzB,iGAAiG;IACjG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,mEAAmE;IACnE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrC,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACnC;AA4DD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,OAAO,GACb,KAAK,GAAG,SAAS,CAkCnB"}

package/sdk/dist/routes/unknown-global.js

@@ -0,0 +1,106 @@
+import { addressOn } from "../descriptors/query.js";
+import { collectDeclaredNames, walk } from "./ast-walk.js";
+import { isChainKey, NAMESPACE_KEYS, resolveNamespace } from "./accessor-index.js";
+import { pascalOfSlug } from "./builder.js";
+import { parseSauce } from "./parse.js";
+/** The compiler's own namespace roots, and the `self` sugar the protocol rewrite resolves. */
+const BUILTIN_ROOTS = new Set([
+    "ctx",
+    "crypto",
+    "Math",
+    "abi",
+    "evm",
+    "svm",
+    "self",
+]);
+/** Optimal string alignment distance: edits, with an adjacent swap counting as one. */
+function distance(a, b) {
+    const rows = Array.from({ length: a.length + 1 }, (_, i) => Array.from({ length: b.length + 1 }, (_, j) => (i === 0 ? j : j === 0 ? i : 0)));
+    for (let i = 1; i <= a.length; i++) {
+        for (let j = 1; j <= b.length; j++) {
+            const cost = a[i - 1] === b[j - 1] ? 0 : 1;
+            let best = Math.min(rows[i - 1][j] + 1, rows[i][j - 1] + 1, rows[i - 1][j - 1] + cost);
+            if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1]) {
+                best = Math.min(best, rows[i - 2][j - 2] + 1);
+            }
+            rows[i][j] = best;
+        }
+    }
+    return rows[a.length][b.length];
+}
+/** The protocol namespaces with at least one contract deployed on `chain`. */
+function protocolsOn(chain) {
+    const deployed = (key) => {
+        const namespace = resolveNamespace(key);
+        if (namespace === undefined)
+            return false;
+        if (namespace.kind === "protocol") {
+            return [...namespace.contracts.values()].some((d) => addressOn(d, chain) !== undefined);
+        }
+        return namespace.members.some((slug) => deployed(pascalOfSlug(slug)));
+    };
+    return [...NAMESPACE_KEYS].filter(deployed);
+}
+/** The `candidates` nearest `name`, if any is close enough to be what was meant — at most three. */
+function nearMatches(name, candidates) {
+    const allowed = name.length <= 4 ? 1 : 2;
+    const scored = [...new Set(candidates)]
+        .map((candidate) => ({
+        candidate,
+        cost: candidate.toLowerCase() === name.toLowerCase() ? 0 : distance(name, candidate),
+    }))
+        .filter(({ cost }) => cost <= allowed);
+    const nearest = Math.min(...scored.map(({ cost }) => cost));
+    return scored
+        .filter(({ cost }) => cost === nearest)
+        .map(({ candidate }) => candidate)
+        .sort()
+        .slice(0, 3);
+}
+/** The compiler's own account of a failure: the last line of its chain of causes. */
+function headline(error) {
+    const message = String(error?.message ?? error).replace(new RegExp(`${String.fromCharCode(27)}\\[[0-9;]*m`, "g"), "");
+    const causes = [...message.matchAll(/─▶ (.+)/g)];
+    return causes.length === 0 ? undefined : causes[causes.length - 1][1].trim();
+}
+/**
+ * For a compile that failed with `cause`: an error naming the first member access (`X.y`,
+ * `X.y(...)`) whose root `X` nothing gives meaning to on `chain`, with the chain's near matches
+ * among its tokens and protocols. `undefined` when there is none, and the compiler's error stands.
+ */
+export function unknownGlobalError(source, chain, known, cause) {
+    const program = parseSauce(source);
+    const meaningful = new Set([
+        ...collectDeclaredNames(program),
+        ...known.defines,
+        ...known.contracts,
+        ...BUILTIN_ROOTS,
+    ]);
+    let unknown;
+    walk(program, (node) => {
+        if (unknown !== undefined || node.type !== "MemberExpression")
+            return;
+        if (node.computed === true)
+            return;
+        const object = node.object;
+        if (object?.type !== "Identifier")
+            return;
+        const name = object.name;
+        if (meaningful.has(name) || isChainKey(name) || resolveNamespace(name) !== undefined)
+            return;
+        unknown = object;
+    });
+    if (unknown === undefined)
+        return undefined;
+    const name = unknown.name;
+    const matches = nearMatches(name, [...known.tokens, ...protocolsOn(chain)]);
+    const suggestion = matches.length === 0
+        ? ""
+        : ` Did you mean ${matches.map((match) => `\`${match}\``).join(" or ")}?`;
+    const compiler = headline(cause);
+    return new Error(`compileSauceRoute: \`${name}\` is not a token or protocol on ${chain.slug}.${suggestion} ` +
+        "A token the registry does not carry is `Token(address)`, or a `tokens` entry in the " +
+        "compile options; a contract binding needs its ABI imported, or passed as `contracts`." +
+        (compiler === undefined ? "" : ` The compiler reported: ${compiler}`), { cause });
+}
+//# sourceMappingURL=unknown-global.js.map

package/sdk/dist/routes/unknown-global.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown-global.js","sourceRoot":"","sources":["../../src/routes/unknown-global.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAgB,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,8FAA8F;AAC9F,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,KAAK;IACL,QAAQ;IACR,MAAM;IACN,KAAK;IACL,KAAK;IACL,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAYH,uFAAuF;AACvF,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAChF,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC;YAC7F,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;AACpC,CAAC;AAED,8EAA8E;AAC9E,SAAS,WAAW,CAAC,KAAqB;IACxC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAW,EAAE;QACxC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC;IACF,OAAO,CAAC,GAAG,cAAc,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED,oGAAoG;AACpG,SAAS,WAAW,CAAC,IAAY,EAAE,UAA4B;IAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;SACpC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;KACrF,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC;SACtC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC;SACjC,IAAI,EAAE;SACN,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,qFAAqF;AACrF,SAAS,QAAQ,CAAC,KAAc;IAC9B,MAAM,OAAO,GAAG,MAAM,CAAE,KAA2B,EAAE,OAAO,IAAI,KAAK,CAAC,CAAC,OAAO,CAC5E,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,aAAa,EAAE,GAAG,CAAC,EACxD,EAAE,CACH,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,KAAqB,EACrB,KAAiB,EACjB,KAAc;IAEd,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC;QACzB,GAAG,oBAAoB,CAAC,OAAO,CAAC;QAChC,GAAG,KAAK,CAAC,OAAO;QAChB,GAAG,KAAK,CAAC,SAAS;QAClB,GAAG,aAAa;KACjB,CAAC,CAAC;IACH,IAAI,OAA4B,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO;QACtE,IAAK,IAA+B,CAAC,QAAQ,KAAK,IAAI;YAAE,OAAO;QAC/D,MAAM,MAAM,GAAI,IAA6B,CAAC,MAAM,CAAC;QACrD,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO;QAC1C,MAAM,IAAI,GAAI,MAAsC,CAAC,IAAI,CAAC;QAC1D,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO;QAC7F,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,IAAI,GAAI,OAAuC,CAAC,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,UAAU,GACd,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,iBAAiB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;IAC9E,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,IAAI,KAAK,CACd,wBAAwB,IAAI,oCAAoC,KAAK,CAAC,IAAI,IAAI,UAAU,GAAG;QACzF,sFAAsF;QACtF,uFAAuF;QACvF,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,QAAQ,EAAE,CAAC,EACvE,EAAE,KAAK,EAAE,CACV,CAAC;AACJ,CAAC"}

package/sdk/dist/routes/vault.d.ts

@@ -20,12 +20,24 @@
  * (`0xff` for EVM Portal deployments; Portal's constructor is `IntentSource(address(new Vault()),
  * bytes1(0xff))`).
  *
- * `initCodeHash = keccak256(type(Proxy).creationCode ++ abi.encode(implementation))` — this is
- * SHIPPED AS EXPLICIT CONFIG (`VaultConfig.vaultInitCodeHash`), never a baked constant:
- * `type(Proxy).creationCode` depends on the exact solc version + optimizer settings used to deploy
- * Portal, and eco-routes commits no artifacts on `main` to derive it from. Obtain it from a real
- * deployment (or verify against a live `Portal.intentVaultAddress(intent)` call) before trusting a
- * `predictVaultAddress` result against any real chain — see this epic's design doc's `openQuestions`.
+ * `initCodeHash = keccak256(type(Proxy).creationCode ++ abi.encode(implementation))`, and both
+ * halves are known for an eco-routes Portal (`ecoRoutesVaultConfig` below):
+ *
+ *  - `implementation` is the Portal's first `CREATE` (`Portal`'s constructor passes
+ *    `address(new Vault())` to `IntentSource`), so it follows from the Portal address —
+ *    `protocols/eco-routes/lookup.ts#ecoRoutesVaultImplementationOf`, beside the Executor (its
+ *    second);
+ *  - `type(Proxy).creationCode` is `contracts/vault/Proxy.sol` compiled with eco-routes' own
+ *    `foundry.toml` — solc 0.8.27, via-IR, 1,000,000 optimizer runs, `paris`, and no CBOR metadata
+ *    (`cbor_metadata = false`, `bytecode_hash = "none"`), so the bytes are a function of the source
+ *    and those settings alone: {@link ECO_ROUTES_VAULT_PROXY_CREATION_CODE}.
+ *
+ * That is evidence, not an assumption. `test/fixtures/eco-routes-vaults.json` records, for every EVM
+ * Portal the registry carries, what the deployed Portal's own `intentVaultAddress` returned for a
+ * fixed intent (`scripts/capture-eco-routes-vaults.mjs`), and `eco-routes-vault.test.ts` requires the
+ * prediction to match each one and every registry Portal to be covered. A Portal built some other
+ * way (a different Proxy, another compiler) needs its own `vaultInitCodeHash`, which
+ * {@link predictVaultAddress} still takes as explicit config.
  *
  * DO NOT confuse this with eco-routes' own (superseded) `utils/intent.ts#intentVaultAddress` helper:
  * that models `salt = routeHash` with a Vault deployed with `(intentHash, reward)` constructor args,
@@ -38,7 +50,7 @@ export interface VaultConfig {
     /** The Portal contract — the CREATE2 deployer in the formula above. */
     readonly portal: AddressInput;
     /** `keccak256(type(Proxy).creationCode ++ abi.encode(vaultImplementation))` — see the module doc;
-     *  never derived here, always caller-supplied. */
+     *  {@link ecoRoutesVaultConfig} derives it for an eco-routes Portal. */
     readonly vaultInitCodeHash: Hex;
     /** CREATE2 prefix byte. Defaults to `0xff` (the live EVM Portal deployments' `CREATE2_PREFIX`;
      *  `0x41` is `PortalTron`'s, out of scope here). */
@@ -47,7 +59,8 @@ export interface VaultConfig {
 /**
  * The off-chain twin of `IntentSource._getVault(intentHash)` -> `Clones.predict(intentHash,
  * CREATE2_PREFIX)`. Throws (rather than silently computing against a missing/malformed
- * `vaultInitCodeHash`) since there is no safe baked default — see the module doc.
+ * `vaultInitCodeHash`): the config names the Portal build, and {@link ecoRoutesVaultConfig} is the
+ * one for eco-routes' own.
  */
 export declare function predictVaultAddress(intentHash: Hex, config: VaultConfig): Hex;
 /**
@@ -57,4 +70,21 @@ export declare function predictVaultAddress(intentHash: Hex, config: VaultConfig
  * correctly.
  */
 export declare function vaultInitCodeHash(proxyCreationCode: Hex, implementation: AddressInput): Hex;
+/**
+ * `type(Proxy).creationCode` as eco-routes builds it: `contracts/vault/Proxy.sol` under its
+ * `foundry.toml` (solc 0.8.27, via-IR, 1,000,000 runs, `paris`, no CBOR metadata). Every vault is a
+ * `new Proxy{salt: intentHash}(implementation)` of these bytes, and every deployed Portal carries
+ * them — `test/fixtures/eco-routes-vaults.json` records each registry Portal's code embedding them
+ * and its `intentVaultAddress` agreeing with {@link ecoRoutesVaultConfig}, and the vendored Portal
+ * fixture embeds them too.
+ */
+export declare const ECO_ROUTES_VAULT_PROXY_CREATION_CODE: Hex;
+/**
+ * The vault configuration of an eco-routes Portal: its vaults are CREATE2 clones, by `portal`,
+ * salted with the intent hash, of {@link ECO_ROUTES_VAULT_PROXY_CREATION_CODE} over the Portal's
+ * first `CREATE` (`ecoRoutesVaultImplementationOf`). Derived from the address alone — nothing is
+ * read from a chain — so an intent's vault is known before it is published, which is what lets a
+ * funder pay it directly.
+ */
+export declare function ecoRoutesVaultConfig(portal: AddressInput): VaultConfig;
 //# sourceMappingURL=vault.d.ts.map

package/sdk/dist/routes/vault.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vault.d.ts","sourceRoot":"","sources":["../../src/routes/vault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,EAML,KAAK,GAAG,EACT,MAAM,MAAM,CAAC;AAId,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,MAAM,WAAW,WAAW;IAC1B,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B;sDACkD;IAClD,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC;IAChC;wDACoD;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC;CACvB;AAgBD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,GAAG,GAAG,CAkB7E;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,iBAAiB,EAAE,GAAG,EAAE,cAAc,EAAE,YAAY,GAAG,GAAG,CAS3F"}
+{"version":3,"file":"vault.d.ts","sourceRoot":"","sources":["../../src/routes/vault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,OAAO,EAML,KAAK,GAAG,EACT,MAAM,MAAM,CAAC;AAKd,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,MAAM,WAAW,WAAW;IAC1B,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B;4EACwE;IACxE,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC;IAChC;wDACoD;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC;CACvB;AAgBD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,GAAG,GAAG,CAmB7E;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,iBAAiB,EAAE,GAAG,EAAE,cAAc,EAAE,YAAY,GAAG,GAAG,CAS3F;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,oCAAoC,EAAE,GACqW,CAAC;AAEzZ;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,WAAW,CAWtE"}

package/sdk/dist/routes/vault.js

@@ -20,12 +20,24 @@
  * (`0xff` for EVM Portal deployments; Portal's constructor is `IntentSource(address(new Vault()),
  * bytes1(0xff))`).
  *
- * `initCodeHash = keccak256(type(Proxy).creationCode ++ abi.encode(implementation))` — this is
- * SHIPPED AS EXPLICIT CONFIG (`VaultConfig.vaultInitCodeHash`), never a baked constant:
- * `type(Proxy).creationCode` depends on the exact solc version + optimizer settings used to deploy
- * Portal, and eco-routes commits no artifacts on `main` to derive it from. Obtain it from a real
- * deployment (or verify against a live `Portal.intentVaultAddress(intent)` call) before trusting a
- * `predictVaultAddress` result against any real chain — see this epic's design doc's `openQuestions`.
+ * `initCodeHash = keccak256(type(Proxy).creationCode ++ abi.encode(implementation))`, and both
+ * halves are known for an eco-routes Portal (`ecoRoutesVaultConfig` below):
+ *
+ *  - `implementation` is the Portal's first `CREATE` (`Portal`'s constructor passes
+ *    `address(new Vault())` to `IntentSource`), so it follows from the Portal address —
+ *    `protocols/eco-routes/lookup.ts#ecoRoutesVaultImplementationOf`, beside the Executor (its
+ *    second);
+ *  - `type(Proxy).creationCode` is `contracts/vault/Proxy.sol` compiled with eco-routes' own
+ *    `foundry.toml` — solc 0.8.27, via-IR, 1,000,000 optimizer runs, `paris`, and no CBOR metadata
+ *    (`cbor_metadata = false`, `bytecode_hash = "none"`), so the bytes are a function of the source
+ *    and those settings alone: {@link ECO_ROUTES_VAULT_PROXY_CREATION_CODE}.
+ *
+ * That is evidence, not an assumption. `test/fixtures/eco-routes-vaults.json` records, for every EVM
+ * Portal the registry carries, what the deployed Portal's own `intentVaultAddress` returned for a
+ * fixed intent (`scripts/capture-eco-routes-vaults.mjs`), and `eco-routes-vault.test.ts` requires the
+ * prediction to match each one and every registry Portal to be covered. A Portal built some other
+ * way (a different Proxy, another compiler) needs its own `vaultInitCodeHash`, which
+ * {@link predictVaultAddress} still takes as explicit config.
  *
  * DO NOT confuse this with eco-routes' own (superseded) `utils/intent.ts#intentVaultAddress` helper:
  * that models `salt = routeHash` with a Vault deployed with `(intentHash, reward)` constructor args,
@@ -33,6 +45,7 @@
  * `_getVault` actually uses. The Solidity above is the only ground truth this file follows.
  */
 import { encodeAbiParameters, encodePacked, getAddress, hexToBytes, keccak256, } from "viem";
+import { ecoRoutesVaultImplementationOf } from "../protocols/eco-routes/lookup.js";
 import { denormalizeToEvm } from "./encode.js";
 import { toUniversalAddress } from "./normalize.js";
 function assertBytes32(value, label) {
@@ -50,12 +63,14 @@ function assertByte1(value, label) {
 /**
  * The off-chain twin of `IntentSource._getVault(intentHash)` -> `Clones.predict(intentHash,
  * CREATE2_PREFIX)`. Throws (rather than silently computing against a missing/malformed
- * `vaultInitCodeHash`) since there is no safe baked default — see the module doc.
+ * `vaultInitCodeHash`): the config names the Portal build, and {@link ecoRoutesVaultConfig} is the
+ * one for eco-routes' own.
  */
 export function predictVaultAddress(intentHash, config) {
     assertBytes32(intentHash, "intentHash");
     if (config.vaultInitCodeHash === undefined || config.vaultInitCodeHash === null) {
-        throw new Error("predictVaultAddress: config.vaultInitCodeHash is required (no baked default — see vault.ts's module doc)");
+        throw new Error("predictVaultAddress: config.vaultInitCodeHash is required — ecoRoutesVaultConfig(portal) gives " +
+            "it for an eco-routes Portal (see vault.ts's module doc)");
     }
     assertBytes32(config.vaultInitCodeHash, "vaultInitCodeHash");
     const prefix = config.prefix ?? "0xff";
@@ -81,4 +96,28 @@ export function vaultInitCodeHash(proxyCreationCode, implementation) {
     combined.set(implBytes, bytes.length);
     return keccak256(combined);
 }
+/**
+ * `type(Proxy).creationCode` as eco-routes builds it: `contracts/vault/Proxy.sol` under its
+ * `foundry.toml` (solc 0.8.27, via-IR, 1,000,000 runs, `paris`, no CBOR metadata). Every vault is a
+ * `new Proxy{salt: intentHash}(implementation)` of these bytes, and every deployed Portal carries
+ * them — `test/fixtures/eco-routes-vaults.json` records each registry Portal's code embedding them
+ * and its `intentVaultAddress` agreeing with {@link ecoRoutesVaultConfig}, and the vendored Portal
+ * fixture embeds them too.
+ */
+export const ECO_ROUTES_VAULT_PROXY_CREATION_CODE = "0x60a034606257601f60c938819003918201601f19168301916001600160401b03831184841017606757808492602094604052833981010312606257516001600160a01b0381168103606257608052604051604b9081607e82396080518160150152f35b600080fd5b634e487b7160e01b600052604160045260246000fdfe60806040523615604957366000803760008036817f00000000000000000000000000000000000000000000000000000000000000005af43d6000803e156044573d6000f35b3d6000fd5b00";
+/**
+ * The vault configuration of an eco-routes Portal: its vaults are CREATE2 clones, by `portal`,
+ * salted with the intent hash, of {@link ECO_ROUTES_VAULT_PROXY_CREATION_CODE} over the Portal's
+ * first `CREATE` (`ecoRoutesVaultImplementationOf`). Derived from the address alone — nothing is
+ * read from a chain — so an intent's vault is known before it is published, which is what lets a
+ * funder pay it directly.
+ */
+export function ecoRoutesVaultConfig(portal) {
+    const address = getAddress(denormalizeToEvm(toUniversalAddress(portal)));
+    return {
+        portal: address,
+        vaultInitCodeHash: vaultInitCodeHash(ECO_ROUTES_VAULT_PROXY_CREATION_CODE, ecoRoutesVaultImplementationOf(address)),
+        prefix: "0xff",
+    };
+}
 //# sourceMappingURL=vault.js.map

package/sdk/dist/routes/vault.js.map

@@ -1 +1 @@
-{"version":3,"file":"vault.js","sourceRoot":"","sources":["../../src/routes/vault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,UAAU,EACV,UAAU,EACV,SAAS,GAEV,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAcpD,SAAS,aAAa,CAAC,KAAU,EAAE,KAAa;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4BAA4B,KAAK,CAAC,MAAM,YAAY,KAAK,IAAI,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAU,EAAE,KAAa;IAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kCAAkC,KAAK,CAAC,MAAM,YAAY,KAAK,IAAI,CAAC,CAAC;IAC/F,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAe,EAAE,MAAmB;IACtE,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CACb,0GAA0G,CAC3G,CAAC;IACJ,CAAC;IACD,aAAa,CAAC,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC;IACvC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE9B,MAAM,MAAM,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,YAAY,CACzB,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EAC3C,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,iBAAiB,CAAC,CACvD,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,UAAU,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAQ,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,iBAAsB,EAAE,cAA4B;IACpF,MAAM,WAAW,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,cAAc,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"vault.js","sourceRoot":"","sources":["../../src/routes/vault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,UAAU,EACV,UAAU,EACV,SAAS,GAEV,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAcpD,SAAS,aAAa,CAAC,KAAU,EAAE,KAAa;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4BAA4B,KAAK,CAAC,MAAM,YAAY,KAAK,IAAI,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAU,EAAE,KAAa;IAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kCAAkC,KAAK,CAAC,MAAM,YAAY,KAAK,IAAI,CAAC,CAAC;IAC/F,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAe,EAAE,MAAmB;IACtE,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CACb,iGAAiG;YAC/F,yDAAyD,CAC5D,CAAC;IACJ,CAAC;IACD,aAAa,CAAC,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC;IACvC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE9B,MAAM,MAAM,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,YAAY,CACzB,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EAC3C,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,iBAAiB,CAAC,CACvD,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,UAAU,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAQ,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,iBAAsB,EAAE,cAA4B;IACpF,MAAM,WAAW,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,cAAc,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAC/C,sZAAsZ,CAAC;AAEzZ;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAoB;IACvD,MAAM,OAAO,GAAG,UAAU,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAQ,CAAC;IAEhF,OAAO;QACL,MAAM,EAAE,OAAO;QACf,iBAAiB,EAAE,iBAAiB,CAClC,oCAAoC,EACpC,8BAA8B,CAAC,OAAO,CAAC,CACxC;QACD,MAAM,EAAE,MAAM;KACf,CAAC;AACJ,CAAC"}

package/sdk/dist/sauce-script/builtins.d.ts

@@ -0,0 +1,309 @@
+// SauceScript's own names, declared for a TypeScript editor checking a program file (`*.sauce.ts`):
+// the types a signature names, the builtins (`ctx`, `crypto`, `Math`, `abi`, `evm`, `svm`,
+// `require`, `hex`, ...), value methods, contract bindings from a JSON ABI import, the
+// `@sauce/token` functions a program calls with no import, and `Token(address)`.
+//
+// The Sauce compiler, not this file, decides what compiles: these declarations describe the language
+// to an editor, which checks names, arity and argument shapes against them. A builtin of one target
+// (`evm.*`, `svm.*`) is declared for both; compiling for the other is the error that says so.
+//
+// A SCRIPT (no import or export), so its declarations are global. Load it only into a TypeScript
+// project of SauceScript files: it declares `require`, `crypto`, `log` and `eval` as SauceScript has
+// them, which a Node or browser project declares otherwise. `sauce init` writes that project.
+
+/** A number SauceScript takes: a 256-bit integer, written `1n` (a plain `1` is one too). */
+type SauceInt = bigint | number;
+
+/** The bytes a contract call returns, and what the generated namespace types take. */
+type SauceBytesOf = import("../routes/source-globals.generated.js").SauceBytes;
+
+/** A bytes value: `hex\`…\``, a call's result, `abi.encode(…)`. */
+interface SauceBytes extends SauceBytesOf {
+  slice(start: SauceInt, end: SauceInt): SauceBytes;
+  concat(...parts: SauceData[]): SauceBytes;
+}
+
+/** Bytes SauceScript takes: a bytes value, or a `"text"` literal, which is its UTF-8 bytes. */
+type SauceData = SauceBytesOf | string;
+
+/** An array SauceScript returns, its length a Sauce number. */
+type SauceArray<T> = import("../routes/source-globals.generated.js").SauceArray<T>;
+
+/** An ERC-20 token, its writes SafeERC20 (`Token(addr).transfer(to, amount)`). */
+type SauceTokenSource = import("../routes/source-globals.generated.js").SauceTokenSource;
+
+/** One unsigned 256-bit integer. */
+type Uint256 = bigint;
+/** An address: a number, on the EVM 20 bytes, on Solana a 32-byte key. */
+type Address = bigint;
+/** A bool. */
+type bool = boolean;
+/** A bytes value. */
+type bytes = SauceBytes;
+
+/** A role an `Account` parameter requires of the account attached at its slot (Solana). */
+interface Writable {
+  readonly writable: true;
+}
+interface Signer {
+  readonly signer: true;
+}
+
+/** What an account carries: its key, and on Solana its owner program and data length. */
+interface SauceAccountFields {
+  readonly address: bigint;
+  readonly owner: bigint;
+  readonly dataLen: bigint;
+}
+
+/**
+ * An account `main` takes. On Solana the transaction attaches it at its slot, with the roles named
+ * (`Account<Writable>`, `Account<Writable, Signer>`), and it compares equal to its address. On an
+ * EVM chain only a bare `Account` compiles, and it is an address.
+ */
+type Account<R1 = unknown, R2 = unknown> = bigint &
+  SauceAccountFields & { readonly roles?: [R1, R2] };
+
+/** A contract a JSON ABI binds: `IERC20.at(token).balanceOf(holder)`. */
+interface SauceContract {
+  /** Calls it (state may change). */
+  at(address: SauceInt): SauceBinding;
+  /** Calls it statically: a view or pure method. */
+  view(address: SauceInt): SauceBinding;
+  /** Calls its code as the Pot: a delegate call. */
+  lib(address: SauceInt): SauceBinding;
+}
+
+/** The methods of a bound contract, by name. */
+interface SauceBinding {
+  readonly [method: string]: (...args: any[]) => any;
+}
+
+/** An intent's route: what the solver delivers to the destination for the body to run on. */
+interface SauceDelivery {
+  readonly tokens?: ReadonlyArray<{ readonly token: SauceInt; readonly amount: SauceInt }>;
+}
+
+/** An intent's reward, paid on the chain that opens it. */
+interface SauceReward {
+  readonly tokens?: ReadonlyArray<{ readonly token: SauceInt; readonly amount: SauceInt }>;
+  readonly nativeAmount?: SauceInt;
+}
+
+/** An intent opened in a program: `Base(() => { … }).reward({ … })`. */
+interface SauceIntent {
+  reward(reward: SauceReward): void;
+}
+
+/** Context reads: who called, where, when. */
+declare const ctx: {
+  /** The account that called: the Pot's owner, on a cook. */
+  msgSender(): bigint;
+  /** The program's own address: the Pot. */
+  self(): bigint;
+  chainId(): bigint;
+  blockNumber(): bigint;
+  timestamp(): bigint;
+  /** The Pot's native balance. */
+  selfBalance(): bigint;
+  msgData(): SauceBytes;
+  balance(address: SauceInt): bigint;
+  /** EVM: the value the cook carried. */
+  msgValue(): bigint;
+  /** EVM. */
+  gasLeft(): bigint;
+  /** EVM. */
+  codeSize(address: SauceInt): bigint;
+  /** EVM. */
+  codeHash(address: SauceInt): bigint;
+  /** EVM. */
+  isContract(address: SauceInt): boolean;
+  /** EVM. */
+  isEOA(address: SauceInt): boolean;
+};
+
+declare const crypto: {
+  keccak256(data: SauceData): bigint;
+  ecdsaVerify(hash: SauceInt, signature: SauceData, signer: SauceInt): boolean;
+  /** `const [address, bump] = crypto.findPDA(programId, seeds)`. */
+  findPDA(
+    programId: SauceInt,
+    seeds: ReadonlyArray<SauceData> | SauceArray<SauceBytesOf>,
+  ): [bigint, bigint];
+};
+
+interface Math {
+  /** The integer square root, rounded down. */
+  sqrt(x: SauceInt): bigint;
+  /** `x * y / d` with a 512-bit intermediate, rounded down. */
+  mulDiv(x: SauceInt, y: SauceInt, d: SauceInt): bigint;
+  addMod(a: SauceInt, b: SauceInt, n: SauceInt): bigint;
+  mulMod(a: SauceInt, b: SauceInt, n: SauceInt): bigint;
+  /** Signed (two's-complement) division. */
+  sDiv(a: SauceInt, b: SauceInt): bigint;
+  sMod(a: SauceInt, b: SauceInt): bigint;
+  sShr(value: SauceInt, bits: SauceInt): bigint;
+  signExtend(value: SauceInt, byte: SauceInt): bigint;
+  sLt(a: SauceInt, b: SauceInt): bigint;
+  sGt(a: SauceInt, b: SauceInt): bigint;
+  sLte(a: SauceInt, b: SauceInt): bigint;
+  sGte(a: SauceInt, b: SauceInt): bigint;
+}
+
+/** EVM: ABI encoding. */
+declare const abi: {
+  encode(...values: unknown[]): SauceBytes;
+  /** The decoded values, by position: `const [a, b] = abi.decode(data, ["Uint256", "Address"])`. */
+  decode(data: SauceData, shapes: readonly string[]): any;
+};
+
+/** EVM: calls and storage. */
+declare const evm: {
+  call(address: SauceInt, value: SauceInt, data: SauceData): SauceBytes;
+  static(address: SauceInt, data: SauceData): SauceBytes;
+  delegate(address: SauceInt, data: SauceData): SauceBytes;
+  sload(slot: SauceInt): bigint;
+  sstore(slot: SauceInt, value: SauceInt): void;
+  tload(key: SauceInt): bigint;
+  tstore(key: SauceInt, value: SauceInt): void;
+};
+
+/** Solana: account data and cross-program calls. */
+declare const svm: {
+  sload(account: Account, offset: SauceInt, length: SauceInt): SauceBytes;
+  sstore(account: Account, offset: SauceInt, data: SauceData): void;
+  call(program: Account, accounts: readonly Account[], data: SauceData): SauceBytes;
+  remainingAccount(index: SauceInt): Account;
+  remainingAccounts(): Account[];
+};
+
+/** Fails the whole program, and the transaction with it, unless `condition` holds. */
+declare function require(condition: unknown, message?: SauceData): void;
+/** Fails the program with `data` as its revert data. */
+declare function revert(data?: SauceData): never;
+/** Emits a log; topics are EVM only. */
+declare function log(data: SauceData, ...topics: SauceInt[]): void;
+/** Runs another program, with arguments. */
+declare function eval(program: SauceData, ...args: SauceInt[]): SauceBytes;
+/** Bytes from hex digits: hex`a9059cbb`. */
+declare function hex(strings: TemplateStringsArray): SauceBytes;
+
+interface BigInt {
+  /** The value as `width` big-endian bytes. */
+  toBytesBe(width: SauceInt): SauceBytes;
+  /** The value as `width` little-endian bytes. */
+  toBytesLe(width: SauceInt): SauceBytes;
+  /** An external call's result — or, when the call fails, what the handler returns. */
+  catch(handler: () => unknown): bigint;
+}
+
+interface ArrayConstructor {
+  /** `n` zeros, for a program to fill: `let xs = new Array(n)`. */
+  new (length: SauceInt): any[];
+}
+
+/** The ERC-20 token at `address`: `Token(addr).transfer(to, amount)`, with SafeERC20 writes. */
+declare function Token(address: SauceInt): SauceTokenSource;
+
+// `@sauce/token`, whose functions every program on a chain calls with no import: an EVM token is
+// an address; on Solana the mint is an address, its accounts `Account` slots, and a write names
+// its token program and the authority (`transfer`/`approve` SPL Token only, the checked writes
+// either SPL Token or Token-2022, with the mint's account and its decimals).
+declare function balanceOf(token: SauceInt, account: SauceInt | Account): bigint;
+declare function totalSupply(token: SauceInt | Account): bigint;
+declare function decimals(token: SauceInt | Account): bigint;
+declare function allowance(token: SauceInt, owner: SauceInt | Account, spender: SauceInt): bigint;
+/** Solana only: whose token account `account` is, a wallet or a PDA such as a Pot. */
+declare function ownerOf(token: SauceInt, account: Account): bigint;
+declare function transfer(token: SauceInt, to: SauceInt, amount: SauceInt): void;
+declare function transfer(
+  token: SauceInt,
+  tokenProgram: Account,
+  source: Account,
+  dest: Account,
+  authority: Account,
+  amount: SauceInt,
+): void;
+declare function transferFrom(
+  token: SauceInt,
+  from: SauceInt,
+  to: SauceInt,
+  amount: SauceInt,
+): void;
+declare function transferFrom(
+  token: SauceInt,
+  tokenProgram: Account,
+  source: Account,
+  dest: Account,
+  authority: Account,
+  amount: SauceInt,
+): void;
+declare function approve(token: SauceInt, spender: SauceInt, amount: SauceInt): void;
+declare function approve(
+  token: SauceInt,
+  tokenProgram: Account,
+  source: Account,
+  delegate: Account,
+  authority: Account,
+  amount: SauceInt,
+): void;
+/** Solana only: a `TransferChecked` through the token program that owns the mint, either one. */
+declare function transferChecked(
+  token: SauceInt,
+  tokenProgram: Account,
+  source: Account,
+  mint: Account,
+  dest: Account,
+  authority: Account,
+  amount: SauceInt,
+  decimals: SauceInt,
+): void;
+/** Solana only: an `ApproveChecked` through the token program that owns the mint, either one. */
+declare function approveChecked(
+  token: SauceInt,
+  tokenProgram: Account,
+  source: Account,
+  mint: Account,
+  delegate: Account,
+  authority: Account,
+  amount: SauceInt,
+  decimals: SauceInt,
+): void;
+declare function permit(
+  token: SauceInt,
+  owner: SauceInt,
+  spender: SauceInt,
+  value: SauceInt,
+  deadline: SauceInt,
+  v: SauceInt,
+  r: SauceInt,
+  s: SauceInt,
+): void;
+declare function permitTransferFrom(
+  token: SauceInt,
+  owner: SauceInt,
+  amount: SauceInt,
+  nonce: SauceInt,
+  deadline: SauceInt,
+  signature: SauceData,
+  permit2: SauceInt,
+): void;
+
+/** The same functions, imported by name. */
+declare module "@sauce/token" {
+  export const allowance: typeof globalThis.allowance;
+  export const approve: typeof globalThis.approve;
+  export const approveChecked: typeof globalThis.approveChecked;
+  export const balanceOf: typeof globalThis.balanceOf;
+  export const decimals: typeof globalThis.decimals;
+  export const ownerOf: typeof globalThis.ownerOf;
+  export const permit: typeof globalThis.permit;
+  export const permitTransferFrom: typeof globalThis.permitTransferFrom;
+  export const totalSupply: typeof globalThis.totalSupply;
+  export const transfer: typeof globalThis.transfer;
+  export const transferChecked: typeof globalThis.transferChecked;
+  export const transferFrom: typeof globalThis.transferFrom;
+}
+
+// The catch-all modules — a JSON ABI beside the program, another `@sauce/` library — are declared
+// last, in index.d.ts: of the patterns a specifier matches, TypeScript takes the first declared.

package/sdk/dist/sauce-script/declarations.d.ts

@@ -0,0 +1,3 @@
+/** The generated `index.d.ts`. */
+export declare function sauceScriptDeclarations(): string;
+//# sourceMappingURL=declarations.d.ts.map

package/sdk/dist/sauce-script/declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.d.ts","sourceRoot":"","sources":["../../src/sauce-script/declarations.ts"],"names":[],"mappings":"AAiLA,kCAAkC;AAClC,wBAAgB,uBAAuB,IAAI,MAAM,CAkFhD"}