@eco-incorp/sauce 0.99.6 → 0.99.7

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/routes/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAE1E,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,YAAY,EACZ,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,UAAU,EACV,MAAM,EACN,UAAU,EACV,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,mBAAmB,GACpB,MAAM,aAAa,CAAC;AAkBrB,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAa1B,sCAAsC;AAEtC,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAQpE,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAGpE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE/F,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,eAAe,EACf,cAAc,GACf,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAajD,OAAO,EACL,WAAW,EACX,MAAM,EACN,cAAc,EACd,sBAAsB,EACtB,kBAAkB,EAClB,gBAAgB,EAChB,SAAS,GACV,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAGzF,sFAAsF;AACtF,EAAE;AACF,gGAAgG;AAChG,oGAAoG;AACpG,8FAA8F;AAE9F,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAC1B,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,cAAc,EACd,WAAW,EACX,mBAAmB,GACpB,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/routes/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAE1E,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,YAAY,EACZ,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,UAAU,EACV,MAAM,EACN,UAAU,EACV,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,cAAc,EACd,aAAa,EACb,mBAAmB,GACpB,MAAM,aAAa,CAAC;AAkBrB,OAAO,EACL,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAc1B,sCAAsC;AAEtC,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAQ1E,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAIxE,OAAO,EACL,oCAAoC,EACpC,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAWpD,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE/F,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,cAAc,GACf,MAAM,qBAAqB,CAAC;AAQ7B,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE/D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAajD,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,0BAA0B,EAC1B,gBAAgB,EAChB,QAAQ,EACR,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,SAAS,EACT,MAAM,EACN,mBAAmB,EACnB,eAAe,EACf,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,wBAAwB,EACxB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,UAAU,GACX,MAAM,aAAa,CAAC;AAerB,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAGzF,sFAAsF;AACtF,EAAE;AACF,gGAAgG;AAChG,oGAAoG;AACpG,8FAA8F;AAE9F,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAC1B,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,cAAc,EACd,WAAW,EACX,mBAAmB,GACpB,MAAM,eAAe,CAAC"}

package/sdk/dist/routes/intent-body.d.ts

@@ -0,0 +1,97 @@
+/**
+ * The program an intent body compiles to, and what each of its names means there.
+ *
+ * `Chain(() => { ... }).reward(...)` written in a file compiles a body that is not plain token
+ * writes as a program of its own, for the destination (`intent-sugar.ts`). The body was written in
+ * the file, so it reads the file's names, and each one is exactly one of:
+ *
+ *  - the body's OWN local — declared in the body, in any binding form;
+ *  - a CAPTURE — a local of the function that opens the intent (in a script, of its top-level
+ *    statements). Its value exists only while the enclosing program runs, so it becomes a parameter
+ *    of the child's `main` and the enclosing program splices it in;
+ *  - a DECLARATION OF THE FILE — a function, an import, an interface or a module-level variable.
+ *    It is the same text wherever it compiles, so the child program carries it: the declarations
+ *    the body reaches, and the ones those reach, and nothing else. A declaration reaches what it
+ *    names freely; its own parameters and locals are not references to the file's names;
+ *  - anything else — a builtin (`ctx`, `abi`), a token symbol or define, a protocol namespace, a
+ *    chain to open an intent on — is the child compile's to resolve for its own chain.
+ *
+ * Lexical, the way the compiler reads the file: a local of the opening function shadows a file
+ * declaration of the same name.
+ *
+ * A module-level `let` the program carries is ALSO captured: the program declares it as written and
+ * its `main` first assigns it the value it has where the intent opens. That is the value the reward
+ * and the delivery splice in, so the body and every function it calls see the same number the
+ * intent was funded with, rather than the declaration's initial one.
+ *
+ * A top-level `const` of a literal (`const AMOUNT = 1000000n;`) is the opposite case: its value is
+ * fixed when the file is compiled, so it is never captured. It is a declaration of the file in a
+ * script too, where the other top-level statements are the entry: there is nothing for the entry to
+ * compute, and the intent lowering reads its value as it reads a define's.
+ */
+import { type AstNode } from "./ast-walk.js";
+/** A top-level declaration a child program may carry. */
+interface Declaration {
+    /** The declaration itself — an `export` around it unwrapped. */
+    readonly node: AstNode;
+    readonly kind: "function" | "type" | "variable";
+    /** A module-level `let` (or `var`): scratch state whose value the program is handed. */
+    readonly mutable: boolean;
+    /** The names it reads freely, types included: what carrying it carries along. */
+    readonly mentions: ReadonlySet<string>;
+    /** The value of a top-level `const` of a literal: fixed when the file is compiled. */
+    readonly literal?: bigint;
+}
+/** The value a literal folds to — an integer, a bigint or a boolean — or `undefined`. */
+export declare function literalValue(node: unknown): bigint | undefined;
+/** One name an `import` binds. */
+interface ImportBinding {
+    readonly declaration: AstNode;
+    readonly specifier: AstNode;
+}
+/** The file's top level, as a child program sees it. */
+export interface ModuleScope {
+    /** A file with no `main`: its top-level statements are the entry, and their names are locals. */
+    readonly script: boolean;
+    readonly declarations: ReadonlyMap<string, Declaration>;
+    readonly imports: ReadonlyMap<string, ImportBinding>;
+    /** The entry: `main`, or a script's top-level statements. */
+    readonly entry: readonly AstNode[];
+}
+/** What `childProgram` produces for one body. */
+export interface ChildProgram {
+    /** A complete module: the carried declarations, then `main` with the captures as parameters. */
+    readonly source: string;
+    /** What the enclosing program splices in, in the order `main` takes them: the opening function's
+     *  locals the body reads, then the module-level `let`s the program carries. */
+    readonly captures: readonly string[];
+    /** The file's functions the program carries, by name. */
+    readonly carriedFunctions: ReadonlySet<string>;
+}
+/** Reads the file's top level: which names it declares, and what is its entry. */
+export declare function moduleScope(program: AstNode): ModuleScope;
+/**
+ * The locals a site's enclosing program has where the site stands: the opening function's
+ * parameters and declarations, or a script's top-level ones. These are what a capture can be, and
+ * what the reward and delivery may name.
+ */
+export declare function enclosingLocals(program: AstNode, scope: ModuleScope, at: number): ReadonlySet<string>;
+/**
+ * The program `body` (a site's statements, written at `[bodyStart, bodyEnd)` of `source`)
+ * compiles to: its captures as `main`'s parameters, and the file's declarations it reaches.
+ *
+ * `compileTimeNames` are names the child compile resolves itself (its chain's defines): never a
+ * capture, even where a local of the same name exists.
+ */
+export declare function childProgram(source: string, program: AstNode, scope: ModuleScope, site: {
+    readonly start: number;
+    readonly end: number;
+}, body: readonly AstNode[], bodyText: string, compileTimeNames: ReadonlySet<string>): ChildProgram;
+/**
+ * The file's functions nothing the enclosing program still runs reaches — after its intent bodies
+ * have been lowered away — among `candidates`. Those moved into a child program, and only there are
+ * they compiled for the chain they run on.
+ */
+export declare function unreachedFunctions(scope: ModuleScope, candidates: ReadonlySet<string>): ReadonlySet<string>;
+export {};
+//# sourceMappingURL=intent-body.d.ts.map

package/sdk/dist/routes/intent-body.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-body.d.ts","sourceRoot":"","sources":["../../src/routes/intent-body.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,EAAqD,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAEhG,yDAAyD;AACzD,UAAU,WAAW;IACnB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,GAAG,UAAU,CAAC;IAChD,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,yFAAyF;AACzF,wBAAgB,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAO9D;AAeD,kCAAkC;AAClC,UAAU,aAAa;IACrB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,wDAAwD;AACxD,MAAM,WAAW,WAAW;IAC1B,iGAAiG;IACjG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACrD,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;CACpC;AAED,iDAAiD;AACjD,MAAM,WAAW,YAAY;IAC3B,gGAAgG;IAChG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;mFAC+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,yDAAyD;IACzD,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD;AAqJD,kFAAkF;AAClF,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAsEzD;AASD;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,EAClB,EAAE,EAAE,MAAM,GACT,WAAW,CAAC,MAAM,CAAC,CAYrB;AAqBD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EACtD,IAAI,EAAE,SAAS,OAAO,EAAE,EACxB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,GACpC,YAAY,CA8Fd;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,WAAW,CAAC,MAAM,CAAC,CAgBrB"}

package/sdk/dist/routes/intent-body.js

@@ -0,0 +1,441 @@
+/**
+ * The program an intent body compiles to, and what each of its names means there.
+ *
+ * `Chain(() => { ... }).reward(...)` written in a file compiles a body that is not plain token
+ * writes as a program of its own, for the destination (`intent-sugar.ts`). The body was written in
+ * the file, so it reads the file's names, and each one is exactly one of:
+ *
+ *  - the body's OWN local — declared in the body, in any binding form;
+ *  - a CAPTURE — a local of the function that opens the intent (in a script, of its top-level
+ *    statements). Its value exists only while the enclosing program runs, so it becomes a parameter
+ *    of the child's `main` and the enclosing program splices it in;
+ *  - a DECLARATION OF THE FILE — a function, an import, an interface or a module-level variable.
+ *    It is the same text wherever it compiles, so the child program carries it: the declarations
+ *    the body reaches, and the ones those reach, and nothing else. A declaration reaches what it
+ *    names freely; its own parameters and locals are not references to the file's names;
+ *  - anything else — a builtin (`ctx`, `abi`), a token symbol or define, a protocol namespace, a
+ *    chain to open an intent on — is the child compile's to resolve for its own chain.
+ *
+ * Lexical, the way the compiler reads the file: a local of the opening function shadows a file
+ * declaration of the same name.
+ *
+ * A module-level `let` the program carries is ALSO captured: the program declares it as written and
+ * its `main` first assigns it the value it has where the intent opens. That is the value the reward
+ * and the delivery splice in, so the body and every function it calls see the same number the
+ * intent was funded with, rather than the declaration's initial one.
+ *
+ * A top-level `const` of a literal (`const AMOUNT = 1000000n;`) is the opposite case: its value is
+ * fixed when the file is compiled, so it is never captured. It is a declaration of the file in a
+ * script too, where the other top-level statements are the entry: there is nothing for the entry to
+ * compute, and the intent lowering reads its value as it reads a define's.
+ */
+import { collectPatternNames, isTypeDeclaration, TYPE_KEYS } from "./ast-walk.js";
+/** The value a literal folds to — an integer, a bigint or a boolean — or `undefined`. */
+export function literalValue(node) {
+    if (node?.type !== "Literal")
+        return undefined;
+    const value = node.value;
+    if (typeof value === "bigint")
+        return value;
+    if (typeof value === "number" && Number.isSafeInteger(value))
+        return BigInt(value);
+    if (typeof value === "boolean")
+        return value ? 1n : 0n;
+    return undefined;
+}
+/** The names a `const` statement binds to literals, each with its value; a declarator of any
+ *  other form (a pattern, a computed value) is left out. */
+function literalConsts(node) {
+    const values = new Map();
+    if (node.kind !== "const")
+        return values;
+    for (const declarator of node.declarations ?? []) {
+        const id = declarator.id;
+        const value = literalValue(declarator.init);
+        if (id?.type === "Identifier" && value !== undefined)
+            values.set(nameOf(id), value);
+    }
+    return values;
+}
+const nameOf = (node) => node.name;
+/** A top-level statement with any `export` around it removed. */
+function unwrapExport(statement) {
+    if (statement.type === "ExportNamedDeclaration") {
+        const declaration = statement.declaration;
+        if (declaration)
+            return declaration;
+    }
+    return statement;
+}
+/**
+ * The names `nodes` read, in first-read order. Member properties (`a.b`) and object keys
+ * (`{ b: 1n }`) are names but not reads; a shorthand `{ amount }` is a read of `amount`. With
+ * `types`, a type reference (`leg: Leg`) counts too.
+ */
+function namesRead(nodes, types) {
+    const seen = new Set();
+    const visit = (node) => {
+        if (node === null || typeof node !== "object")
+            return;
+        if (Array.isArray(node)) {
+            for (const item of node)
+                visit(item);
+            return;
+        }
+        const rec = node;
+        if (typeof rec.type === "string") {
+            if (!types && isTypeDeclaration(rec.type))
+                return;
+            switch (rec.type) {
+                case "Identifier":
+                    seen.add(nameOf(rec));
+                    break;
+                case "MemberExpression":
+                    visit(rec.object);
+                    if (rec.computed === true)
+                        visit(rec.property);
+                    return;
+                case "Property":
+                    if (rec.computed === true)
+                        visit(rec.key);
+                    visit(rec.value);
+                    return;
+                case "TSQualifiedName":
+                    visit(rec.left);
+                    return;
+                case "TSPropertySignature":
+                    if (types)
+                        visit(rec.typeAnnotation);
+                    return;
+                default:
+                    break;
+            }
+        }
+        for (const key of Object.keys(rec)) {
+            if (key === "type" || key === "start" || key === "end" || key === "loc")
+                continue;
+            if (!types && TYPE_KEYS.has(key))
+                continue;
+            visit(rec[key]);
+        }
+    };
+    visit(nodes);
+    return [...seen];
+}
+/**
+ * The names `nodes` declare, every binding form included, without entering an arrow function: an
+ * arrow is an intent body or a `.catch()` handler, and what it declares is its own.
+ */
+function declaredOutsideArrows(nodes) {
+    const names = new Set();
+    const visit = (node) => {
+        if (node === null || typeof node !== "object")
+            return;
+        if (Array.isArray(node)) {
+            for (const item of node)
+                visit(item);
+            return;
+        }
+        const rec = node;
+        switch (rec.type) {
+            case "ArrowFunctionExpression":
+                return;
+            case "VariableDeclarator":
+                collectPatternNames(rec.id, names);
+                visit(rec.init);
+                return;
+            case "FunctionDeclaration":
+            case "FunctionExpression":
+                collectPatternNames(rec.id, names);
+                for (const param of rec.params ?? []) {
+                    collectPatternNames(param, names);
+                }
+                visit(rec.body);
+                return;
+            case "CatchClause":
+                collectPatternNames(rec.param, names);
+                visit(rec.body);
+                return;
+            default:
+                break;
+        }
+        for (const key of Object.keys(rec)) {
+            if (key === "type" || key === "start" || key === "end" || key === "loc")
+                continue;
+            if (TYPE_KEYS.has(key))
+                continue;
+            visit(rec[key]);
+        }
+    };
+    visit(nodes);
+    return names;
+}
+/** The names `nodes` read that they do not bind themselves, types included. */
+function freeNames(nodes) {
+    const bound = bodyLocals(nodes);
+    return namesRead(nodes, true).filter((name) => !bound.has(name));
+}
+/** Every name the body binds, in every binding form and at any depth — its own, not a capture. */
+function bodyLocals(body) {
+    const names = new Set();
+    const visit = (node) => {
+        if (node === null || typeof node !== "object")
+            return;
+        if (Array.isArray(node)) {
+            for (const item of node)
+                visit(item);
+            return;
+        }
+        const rec = node;
+        if (rec.type === "VariableDeclarator")
+            collectPatternNames(rec.id, names);
+        if (rec.type === "FunctionDeclaration" ||
+            rec.type === "FunctionExpression" ||
+            rec.type === "ArrowFunctionExpression") {
+            collectPatternNames(rec.id, names);
+            for (const param of rec.params ?? []) {
+                collectPatternNames(param, names);
+            }
+        }
+        if (rec.type === "CatchClause")
+            collectPatternNames(rec.param, names);
+        for (const key of Object.keys(rec)) {
+            if (key === "type" || key === "start" || key === "end" || key === "loc")
+                continue;
+            if (TYPE_KEYS.has(key))
+                continue;
+            visit(rec[key]);
+        }
+    };
+    visit(body);
+    return names;
+}
+const isMain = (node) => node.type === "FunctionDeclaration" &&
+    node.id?.type === "Identifier" &&
+    nameOf(node.id) === "main";
+/** Reads the file's top level: which names it declares, and what is its entry. */
+export function moduleScope(program) {
+    const statements = (program.body ?? []).map(unwrapExport);
+    const main = statements.find(isMain);
+    const script = main === undefined;
+    const declarations = new Map();
+    const imports = new Map();
+    const entry = [];
+    for (const node of statements) {
+        if (node.type === "ImportDeclaration") {
+            for (const specifier of node.specifiers ?? []) {
+                const local = specifier.local;
+                if (local)
+                    imports.set(nameOf(local), { declaration: node, specifier });
+            }
+            continue;
+        }
+        if (node.type === "FunctionDeclaration") {
+            if (node === main)
+                continue;
+            const id = node.id;
+            if (id) {
+                declarations.set(nameOf(id), {
+                    node,
+                    kind: "function",
+                    mutable: false,
+                    mentions: new Set(freeNames([node])),
+                });
+            }
+            continue;
+        }
+        if (isTypeDeclaration(node.type)) {
+            const id = node.id;
+            if (id?.type === "Identifier") {
+                declarations.set(nameOf(id), {
+                    node,
+                    kind: "type",
+                    mutable: false,
+                    mentions: new Set(freeNames([node])),
+                });
+            }
+            continue;
+        }
+        // A module's own top-level variable. In a script there is none: its top-level statements are
+        // the entry, so what they declare are locals of it — except a `const` binding only literals,
+        // which is fixed when the file is compiled wherever it stands.
+        if (node.type === "VariableDeclaration") {
+            const names = new Set();
+            for (const declarator of node.declarations ?? []) {
+                collectPatternNames(declarator.id, names);
+            }
+            const literals = literalConsts(node);
+            if (!script || (names.size > 0 && literals.size === names.size)) {
+                const mentions = new Set(freeNames([node]));
+                const mutable = node.kind !== "const";
+                for (const name of names) {
+                    declarations.set(name, {
+                        node,
+                        kind: "variable",
+                        mutable,
+                        mentions,
+                        ...(literals.has(name) ? { literal: literals.get(name) } : {}),
+                    });
+                }
+                continue;
+            }
+        }
+        if (script)
+            entry.push(node);
+    }
+    if (main !== undefined)
+        entry.push(main);
+    return { script, declarations, imports, entry };
+}
+/** The top-level function a site sits in, if it is not at a script's top level. */
+function enclosingFunction(program, at) {
+    return (program.body ?? [])
+        .map(unwrapExport)
+        .find((node) => node.type === "FunctionDeclaration" && node.start <= at && at < node.end);
+}
+/**
+ * The locals a site's enclosing program has where the site stands: the opening function's
+ * parameters and declarations, or a script's top-level ones. These are what a capture can be, and
+ * what the reward and delivery may name.
+ */
+export function enclosingLocals(program, scope, at) {
+    const fn = enclosingFunction(program, at);
+    if (fn !== undefined) {
+        // Its parameters and what its body declares. Not its own name: that is a file declaration.
+        const names = declaredOutsideArrows([fn.body]);
+        for (const param of fn.params ?? []) {
+            collectPatternNames(param, names);
+        }
+        return names;
+    }
+    // A script: its top-level statements are `main`'s body.
+    return declaredOutsideArrows(scope.entry);
+}
+/** An `import` line binding only `bindings` of the declaration they share. */
+function importLine(source, declaration, bindings) {
+    const from = declaration.source;
+    const tail = source.slice(from.start, declaration.end).trimEnd();
+    const kind = declaration.importKind === "type" ? "type " : "";
+    const text = (specifier) => source.slice(specifier.start, specifier.end);
+    const leading = bindings
+        .filter((b) => b.type !== "ImportSpecifier")
+        .map(text)
+        .join(", ");
+    const named = bindings.filter((b) => b.type === "ImportSpecifier").map(text);
+    const clause = [leading, named.length > 0 ? `{ ${named.join(", ")} }` : ""]
+        .filter((part) => part !== "")
+        .join(", ");
+    return `import ${kind}${clause} from ${tail}${tail.endsWith(";") ? "" : ";"}`;
+}
+class IntentBodyError extends Error {
+}
+/**
+ * The program `body` (a site's statements, written at `[bodyStart, bodyEnd)` of `source`)
+ * compiles to: its captures as `main`'s parameters, and the file's declarations it reaches.
+ *
+ * `compileTimeNames` are names the child compile resolves itself (its chain's defines): never a
+ * capture, even where a local of the same name exists.
+ */
+export function childProgram(source, program, scope, site, body, bodyText, compileTimeNames) {
+    const own = bodyLocals(body);
+    const locals = enclosingLocals(program, scope, site.start);
+    const reads = namesRead(body, false).filter((name) => !own.has(name) && !compileTimeNames.has(name));
+    // The file's declarations the body reaches, then the ones those reach, until nothing new does.
+    const carriedDeclarations = new Set();
+    const carriedImports = new Set();
+    const pending = namesRead(body, true).filter((name) => !own.has(name) && !locals.has(name));
+    const visited = new Set();
+    while (pending.length > 0) {
+        const name = pending.pop();
+        if (visited.has(name))
+            continue;
+        visited.add(name);
+        const binding = scope.imports.get(name);
+        if (binding !== undefined) {
+            carriedImports.add(binding);
+            continue;
+        }
+        const declaration = scope.declarations.get(name);
+        if (declaration === undefined)
+            continue;
+        if (declaration.node.start <= site.start && site.end <= declaration.node.end) {
+            throw new IntentBodyError(`intent sugar: an intent body calls \`${name}\`, the function that opens it. Its program ` +
+                `would have to contain the intent it is the body of. Move the body's logic into a ` +
+                `function of its own and call that instead.`);
+        }
+        carriedDeclarations.add(declaration);
+        pending.push(...declaration.mentions);
+    }
+    // The module-level `let`s the program carries, each handed the value it has at the site. One
+    // the opening function shadows cannot be read there, so it cannot be handed over.
+    const lets = new Set();
+    for (const [name, declaration] of scope.declarations) {
+        if (!declaration.mutable || !carriedDeclarations.has(declaration))
+            continue;
+        if (locals.has(name)) {
+            throw new IntentBodyError(`intent sugar: the intent body uses the module variable \`${name}\`, which a local of the ` +
+                `function opening the intent shadows, so its value there cannot be handed to the body's ` +
+                `program. Rename the local or the module variable.`);
+        }
+        lets.add(name);
+    }
+    const captures = [
+        ...reads.filter((name) => locals.has(name) || lets.has(name)),
+        ...[...lets].filter((name) => !reads.includes(name)),
+    ];
+    const parameters = captures.map((name) => (lets.has(name) ? `__sauce_let_${name}` : name));
+    const prologue = captures
+        .filter((name) => lets.has(name))
+        .map((name) => `${name} = __sauce_let_${name};\n`)
+        .join("");
+    const imports = [];
+    const byDeclaration = new Map();
+    for (const { declaration, specifier } of carriedImports) {
+        const list = byDeclaration.get(declaration) ?? [];
+        list.push(specifier);
+        byDeclaration.set(declaration, list);
+    }
+    for (const [declaration, specifiers] of [...byDeclaration].sort(([a], [b]) => a.start - b.start)) {
+        imports.push(importLine(source, declaration, specifiers.sort((a, b) => a.start - b.start)));
+    }
+    const declarations = [...new Set([...carriedDeclarations].map((d) => d.node))]
+        .sort((a, b) => a.start - b.start)
+        .map((node) => source.slice(node.start, node.end));
+    const prelude = [...imports, ...(imports.length > 0 ? [""] : []), ...declarations]
+        .map((text) => `${text}\n`)
+        .join("");
+    const carriedFunctions = new Set([...carriedDeclarations]
+        .filter((d) => d.kind === "function")
+        .map((d) => nameOf(d.node.id)));
+    return {
+        source: `${prelude}${prelude === "" ? "" : "\n"}function main(${parameters.join(", ")}) {\n${prologue}${bodyText}\n}`,
+        captures,
+        carriedFunctions,
+    };
+}
+/**
+ * The file's functions nothing the enclosing program still runs reaches — after its intent bodies
+ * have been lowered away — among `candidates`. Those moved into a child program, and only there are
+ * they compiled for the chain they run on.
+ */
+export function unreachedFunctions(scope, candidates) {
+    // What the entry reads, and what every declaration that stays reads: the compiler checks every
+    // function in the file, called or not, so a function that stays keeps whatever it calls.
+    const reached = new Set();
+    const pending = freeNames(scope.entry);
+    for (const [name, declaration] of scope.declarations) {
+        if (!candidates.has(name))
+            pending.push(...declaration.mentions);
+    }
+    while (pending.length > 0) {
+        const name = pending.pop();
+        if (reached.has(name))
+            continue;
+        reached.add(name);
+        const declaration = scope.declarations.get(name);
+        if (declaration !== undefined)
+            pending.push(...declaration.mentions);
+    }
+    return new Set([...candidates].filter((name) => !reached.has(name)));
+}
+//# sourceMappingURL=intent-body.js.map

package/sdk/dist/routes/intent-body.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-body.js","sourceRoot":"","sources":["../../src/routes/intent-body.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,SAAS,EAAgB,MAAM,eAAe,CAAC;AAehG,yFAAyF;AACzF,MAAM,UAAU,YAAY,CAAC,IAAa;IACxC,IAAK,IAAmC,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/E,MAAM,KAAK,GAAI,IAA4B,CAAC,KAAK,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;4DAC4D;AAC5D,SAAS,aAAa,CAAC,IAAa;IAClC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,IAAK,IAA0B,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC;IAChE,KAAK,MAAM,UAAU,IAAK,IAAqC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACnF,MAAM,EAAE,GAAI,UAA+B,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,YAAY,CAAE,UAAiC,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AA6BD,MAAM,MAAM,GAAG,CAAC,IAAa,EAAU,EAAE,CAAE,IAAoC,CAAC,IAAI,CAAC;AAErF,iEAAiE;AACjE,SAAS,YAAY,CAAC,SAAkB;IACtC,IAAI,SAAS,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QAChD,MAAM,WAAW,GAAI,SAA8C,CAAC,WAAW,CAAC;QAChF,IAAI,WAAW;YAAE,OAAO,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAyB,EAAE,KAAc;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAmD,CAAC;QAChE,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YAClD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACjB,KAAK,YAAY;oBACf,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAyB,CAAC,CAAC,CAAC;oBAC5C,MAAM;gBACR,KAAK,kBAAkB;oBACrB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAClB,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;wBAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC/C,OAAO;gBACT,KAAK,UAAU;oBACb,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;wBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC1C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACjB,OAAO;gBACT,KAAK,iBAAiB;oBACpB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChB,OAAO;gBACT,KAAK,qBAAqB;oBACxB,IAAI,KAAK;wBAAE,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;oBACrC,OAAO;gBACT;oBACE,MAAM;YACV,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK;gBAAE,SAAS;YAClF,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC3C,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,KAAyB;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAmD,CAAC;QAChE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,yBAAyB;gBAC5B,OAAO;YACT,KAAK,oBAAoB;gBACvB,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACnC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChB,OAAO;YACT,KAAK,qBAAqB,CAAC;YAC3B,KAAK,oBAAoB;gBACvB,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACnC,KAAK,MAAM,KAAK,IAAK,GAAG,CAAC,MAAgC,IAAI,EAAE,EAAE,CAAC;oBAChE,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACpC,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChB,OAAO;YACT,KAAK,aAAa;gBAChB,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACtC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChB,OAAO;YACT;gBACE,MAAM;QACV,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK;gBAAE,SAAS;YAClF,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACjC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAAC,KAAyB;IAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,kGAAkG;AAClG,SAAS,UAAU,CAAC,IAAwB;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAmD,CAAC;QAChE,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB;YAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1E,IACE,GAAG,CAAC,IAAI,KAAK,qBAAqB;YAClC,GAAG,CAAC,IAAI,KAAK,oBAAoB;YACjC,GAAG,CAAC,IAAI,KAAK,yBAAyB,EACtC,CAAC;YACD,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACnC,KAAK,MAAM,KAAK,IAAK,GAAG,CAAC,MAAgC,IAAI,EAAE,EAAE,CAAC;gBAChE,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;YAAE,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK;gBAAE,SAAS;YAClF,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACjC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,IAAa,EAAW,EAAE,CACxC,IAAI,CAAC,IAAI,KAAK,qBAAqB;IAClC,IAAgC,CAAC,EAAE,EAAE,IAAI,KAAK,YAAY;IAC3D,MAAM,CAAE,IAAmC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;AAE7D,kFAAkF;AAClF,MAAM,UAAU,WAAW,CAAC,OAAgB;IAC1C,MAAM,UAAU,GAAG,CAAE,OAAgC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtC,KAAK,MAAM,SAAS,IAAK,IAAmC,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC9E,MAAM,KAAK,GAAI,SAAiC,CAAC,KAAK,CAAC;gBACvD,IAAI,KAAK;oBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,IAAI,IAAI,KAAK,IAAI;gBAAE,SAAS;YAC5B,MAAM,EAAE,GAAI,IAAgC,CAAC,EAAE,CAAC;YAChD,IAAI,EAAE,EAAE,CAAC;gBACP,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;oBAC3B,IAAI;oBACJ,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;iBACrC,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,EAAE,GAAI,IAAgC,CAAC,EAAE,CAAC;YAChD,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9B,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;oBAC3B,IAAI;oBACJ,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;iBACrC,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,6FAA6F;QAC7F,6FAA6F;QAC7F,+DAA+D;QAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,KAAK,MAAM,UAAU,IAAK,IAAqC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;gBACnF,mBAAmB,CAAE,UAA+B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAClE,CAAC;YACD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5C,MAAM,OAAO,GAAI,IAA0B,CAAC,IAAI,KAAK,OAAO,CAAC;gBAC7D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE;wBACrB,IAAI;wBACJ,IAAI,EAAE,UAAU;wBAChB,OAAO;wBACP,QAAQ;wBACR,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChE,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAClD,CAAC;AAED,mFAAmF;AACnF,SAAS,iBAAiB,CAAC,OAAgB,EAAE,EAAU;IACrD,OAAO,CAAE,OAAgC,CAAC,IAAI,IAAI,EAAE,CAAC;SAClD,GAAG,CAAC,YAAY,CAAC;SACjB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,KAAkB,EAClB,EAAU;IAEV,MAAM,EAAE,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1C,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,2FAA2F;QAC3F,MAAM,KAAK,GAAG,qBAAqB,CAAC,CAAE,EAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,KAAK,MAAM,KAAK,IAAK,EAA6B,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YAChE,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,wDAAwD;IACxD,OAAO,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,SAAS,UAAU,CAAC,MAAc,EAAE,WAAoB,EAAE,QAA4B;IACpF,MAAM,IAAI,GAAI,WAA8C,CAAC,MAAM,CAAC;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IACjE,MAAM,IAAI,GAAI,WAAuC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,MAAM,IAAI,GAAG,CAAC,SAAkB,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,QAAQ;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;SAC3C,GAAG,CAAC,IAAI,CAAC;SACT,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;SAC7B,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,UAAU,IAAI,GAAG,MAAM,SAAS,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAChF,CAAC;AAED,MAAM,eAAgB,SAAQ,KAAK;CAAG;AAEtC;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAc,EACd,OAAgB,EAChB,KAAkB,EAClB,IAAsD,EACtD,IAAwB,EACxB,QAAgB,EAChB,gBAAqC;IAErC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,CACzC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CACxD,CAAC;IAEF,+FAA+F;IAC/F,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAe,CAAC;IACnD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAiB,CAAC;IAChD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,WAAW,KAAK,SAAS;YAAE,SAAS;QACxC,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7E,MAAM,IAAI,eAAe,CACvB,wCAAwC,IAAI,8CAA8C;gBACxF,mFAAmF;gBACnF,4CAA4C,CAC/C,CAAC;QACJ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,6FAA6F;IAC7F,kFAAkF;IAClF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,SAAS;QAC5E,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,eAAe,CACvB,4DAA4D,IAAI,2BAA2B;gBACzF,yFAAyF;gBACzF,mDAAmD,CACtD,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACrD,CAAC;IACF,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,QAAQ;SACtB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAChC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,kBAAkB,IAAI,KAAK,CAAC;SACjD,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAsB,CAAC;IACpD,KAAK,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,cAAc,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrB,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,KAAK,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAC7D,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAChC,EAAE,CAAC;QACF,OAAO,CAAC,IAAI,CACV,UAAU,CACR,MAAM,EACN,WAAW,EACX,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAC7C,CACF,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;SAC3E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SACjC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAErD,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,YAAY,CAAC;SAC/E,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC;SAC1B,IAAI,CAAC,EAAE,CAAC,CAAC;IACZ,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,CAAC,GAAG,mBAAmB,CAAC;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;SACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAE,CAAC,CAAC,IAAmC,CAAC,EAAE,CAAC,CAAC,CACjE,CAAC;IAEF,OAAO;QACL,MAAM,EAAE,GAAG,OAAO,GAAG,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iBAAiB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,QAAQ,GAAG,QAAQ,KAAK;QACrH,QAAQ;QACR,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAkB,EAClB,UAA+B;IAE/B,+FAA+F;IAC/F,yFAAyF;IACzF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC"}

package/sdk/dist/routes/intent-dsl.d.ts

@@ -20,7 +20,7 @@ import type { IntentHashes } from "./encode.js";
 import { type NestVia } from "./nest.js";
 import { type AmountMeasurement, type PlaceholderSpec } from "./nest-dynamic.js";
 import { type EcoRoutesSelector } from "../protocols/eco-routes/lookup.js";
-import { type PortalReadCall, type PortalTarget, type PortalTx } from "./portal.js";
+import { type IntentFundVia, type IntentSourceTxsOptions, type PortalReadCall, type PortalTarget, type PortalTx } from "./portal.js";
 import { type SauceCompileOptions, type SauceSvmExecutionInput } from "./sauce-route.js";
 import type { CompileResult } from "./compile-types.js";
 import { type VaultConfig } from "./vault.js";
@@ -28,8 +28,8 @@ import type { AddressInput, CallInput, Hex, Intent, TokenAmountInput } from "./t
 export type { NestVia };
 export type { AmountMeasurement, PlaceholderSpec };
 /**
- * A route body: a complete `function main(){...}` program, a bare body (see
- * `sauce-route.ts#wrapSauceBody`), or a closure (see `closure.ts#sauceBodyToSource`) whose
+ * A route body: a SauceScript file — a module declaring `function main`, or a script whose top-level
+ * statements are the entry — or a closure (see `closure.ts#sauceBodyToSource`) whose
  * `Function.prototype.toString()` is extracted as SauceScript source. Closures capture nothing by
  * construction — a free identifier must come from `IntentOptions.defines` (or chain-scoped ambient
  * defines) or the compile fails closed with "`X` is not a declared variable".
@@ -67,6 +67,11 @@ interface IntentOptionsCommon {
     /** Which eco-routes deployment to address — generation and environment. Defaults to the current
      *  production one. */
     ecoRoutes?: EcoRoutesSelector;
+    /** How the reward reaches the vault: `"transfer"` (default) pays it in, then publishes;
+     *  `"publishAndFund"` approves the Portal and calls `publishAndFund`. The default for
+     *  `built.sourceTxs()`, and for every intent the route's own program opens
+     *  (`compile.intents.fundVia` wins there). See `portal.ts#IntentFundVia`. */
+    fundVia?: IntentFundVia;
 }
 /**
  * An EVM destination's execution. Every field is optional: the Pot and engine are derived exactly as
@@ -134,6 +139,15 @@ export interface BuiltIntent {
         readonly route: Hex;
         readonly reward: Hex;
     };
+    /**
+     * The source-chain transactions that fund and publish this intent from one wallet, in order:
+     * under the default `fundVia: "transfer"`, each reward token transferred to the vault (and the
+     * native amount sent to it), then `publish`; under `"publishAndFund"`, the approvals, then
+     * `publishAndFund`. Under `"transfer"`, pass the `vault` read with `vaultCall()`: it is checked
+     * against `predictVault()`, and a mismatch throws. Omitted, the prediction is used. HEAD reward
+     * only, like `approvals()`. `fundVia` defaults to `IntentOptions.fundVia`.
+     */
+    sourceTxs(options?: IntentSourceTxsOptions, target?: Partial<PortalTarget>): readonly PortalTx[];
     publishCalldata(target?: Partial<PortalTarget>): PortalTx;
     publishAndFundCalldata(allowPartial: boolean, target?: Partial<PortalTarget>): PortalTx;
     fundCalldata(allowPartial: boolean, target?: Partial<PortalTarget>): PortalTx;
@@ -143,10 +157,11 @@ export interface BuiltIntent {
     /** PRIMARY vault path: the on-chain `Portal.intentVaultAddress` read-call. The caller performs the
      *  `eth_call`; this module never does RPC. */
     vaultCall(target?: Partial<PortalTarget>): PortalReadCall<Hex>;
-    /** OPTION: the offline CREATE2 predictor — zero RPC, needs `config.vaultInitCodeHash`. */
-    predictVault(config: VaultConfig): Hex;
+    /** The offline CREATE2 prediction — zero RPC. Defaults to the eco-routes derivation for the
+     *  source Portal (`ecoRoutesVaultConfig`); pass `config` for a Portal built some other way. */
+    predictVault(config?: VaultConfig): Hex;
     /** @deprecated alias of `predictVault`, kept so the already-landed, unit-tested surface keeps working. */
-    vault(config: VaultConfig): Hex;
+    vault(config?: VaultConfig): Hex;
     /** Cross-check helpers: our off-chain `hash()` vs the chain's own, and funded status. */
     hashCall(target?: Partial<PortalTarget>): PortalReadCall<IntentHashes>;
     fundedCall(target?: Partial<PortalTarget>): PortalReadCall<boolean>;