@eco-incorp/sauce 0.99.0

package/sdk/dist/token/evm.d.ts

@@ -0,0 +1,6 @@
+import type { TokenApproveSpec, TokenBalanceSpec, TokenTransferSpec } from "./types.js";
+export declare const ERC20_IMPORT_LINE = "import { IERC20 } from \"./artifacts/IERC20.json\";";
+export declare function evmTransferStatement(spec: TokenTransferSpec): string;
+export declare function evmApproveStatement(spec: TokenApproveSpec): string;
+export declare function evmBalanceExpression(spec: TokenBalanceSpec): string;
+//# sourceMappingURL=evm.d.ts.map

package/sdk/dist/token/evm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evm.d.ts","sourceRoot":"","sources":["../../src/token/evm.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAExF,eAAO,MAAM,iBAAiB,wDAAsD,CAAC;AAmBrF,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,GAAG,MAAM,CAIpE;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAIlE;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAGnE"}

package/sdk/dist/token/evm.js

@@ -0,0 +1,37 @@
+/**
+ * The ERC20 arm — statement/expression builders for the universal token interface's EVM lowering.
+ * Typed-binding call against the engine-vendored `IERC20` artifact, the exact shape
+ * `swap/source.ts`/`deposit/source.ts` already emit — nothing new reaches the compiler.
+ */
+import { formatAddressField, formatBigint } from "../deposit/format.js";
+import { toAddressBigint, toAmountBigint } from "./params.js";
+export const ERC20_IMPORT_LINE = `import { IERC20 } from "./artifacts/IERC20.json";`;
+function formatOwner(owner) {
+    if (owner === undefined)
+        throw new Error("Token.balanceOf: owner is required on an EVM target");
+    if (owner === "self")
+        return "ctx.self()";
+    return formatAddressField(toAddressBigint(owner, "owner"));
+}
+function amountExpr(amount, tokenLiteral, label) {
+    if (amount === "balance")
+        return `IERC20.at(${tokenLiteral}).balanceOf(ctx.self())`;
+    // formatBigint takes a bigint, so a `number` amount CANNOT be stringified into the emitted
+    // source without going through toAmountBigint first.
+    return formatBigint(toAmountBigint(amount, label));
+}
+export function evmTransferStatement(spec) {
+    const tokenLiteral = formatAddressField(toAddressBigint(spec.token, "token"));
+    const toLiteral = formatAddressField(toAddressBigint(spec.to, "to"));
+    return `IERC20.at(${tokenLiteral}).transfer(${toLiteral}, ${amountExpr(spec.amount, tokenLiteral, "Token.transfer amount")});`;
+}
+export function evmApproveStatement(spec) {
+    const tokenLiteral = formatAddressField(toAddressBigint(spec.token, "token"));
+    const spenderLiteral = formatAddressField(toAddressBigint(spec.spender, "spender"));
+    return `IERC20.at(${tokenLiteral}).approve(${spenderLiteral}, ${amountExpr(spec.amount, tokenLiteral, "Token.approve amount")});`;
+}
+export function evmBalanceExpression(spec) {
+    const tokenLiteral = formatAddressField(toAddressBigint(spec.token, "token"));
+    return `IERC20.at(${tokenLiteral}).balanceOf(${formatOwner(spec.owner)})`;
+}
+//# sourceMappingURL=evm.js.map

package/sdk/dist/token/evm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evm.js","sourceRoot":"","sources":["../../src/token/evm.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG9D,MAAM,CAAC,MAAM,iBAAiB,GAAG,mDAAmD,CAAC;AAErF,SAAS,WAAW,CAAC,KAAgC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAChG,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,YAAY,CAAC;IAC1C,OAAO,kBAAkB,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,UAAU,CACjB,MAAmC,EACnC,YAAoB,EACpB,KAAa;IAEb,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,aAAa,YAAY,yBAAyB,CAAC;IACpF,2FAA2F;IAC3F,qDAAqD;IACrD,OAAO,YAAY,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAuB;IAC1D,MAAM,YAAY,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,EAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,OAAO,aAAa,YAAY,cAAc,SAAS,KAAK,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,uBAAuB,CAAC,IAAI,CAAC;AACjI,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAsB;IACxD,MAAM,YAAY,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/E,MAAM,cAAc,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,OAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IACrF,OAAO,aAAa,YAAY,aAAa,cAAc,KAAK,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,sBAAsB,CAAC,IAAI,CAAC;AACpI,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAsB;IACzD,MAAM,YAAY,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/E,OAAO,aAAa,YAAY,eAAe,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;AAC5E,CAAC"}

package/sdk/dist/token/index.d.ts

@@ -0,0 +1,30 @@
+/**
+ * `@eco-incorp/sauce`'s `token` module — the universal token interface.
+ *
+ * One object, `Token`, exposing `transfer`/`approve`/`balanceOf` — lowered to an ERC20 call on an
+ * EVM compile target, and to an SPL Token program CPI on `svm`. Installed as a DEFAULT GLOBAL (zero
+ * import, `const Token: TokenApi`) by `sdk/src/routes/globals.ts`; this module is also importable
+ * directly as `token.Token` (or any of its named exports) for a caller who prefers not to rely on
+ * the global.
+ *
+ * Compiler-free, like `swap/` and `deposit/`: every function here returns SauceScript SOURCE (or a
+ * structured EVM `Call`); the caller runs `compile()` with explicit options. See
+ * `sdk/src/token/source.ts` for the per-target emission seam and `sdk/src/token/api.ts` for the
+ * `Token`/`TokenCall` builder shape.
+ *
+ * Two arms, chosen per call (not per accessor): the ERC20 arm (`evm.ts`) emits a typed-binding
+ * `IERC20.at(token).transfer(...)` call, identical to how `swap/source.ts`/`deposit/source.ts`
+ * already call protocol contracts; the SPL arm (`svm.ts`) emits `svm.call(program, accounts,
+ * accounts)` against the SPL Token program, reusing the `svmSettleSource` idiom
+ * (`accountData`/`accountUint`, the `le8` u64 byteswap helper, `TransferChecked`/`ApproveChecked`).
+ * The two arms are NOT interchangeable at compile time — the compiler rejects a contract binding on
+ * `target: 'svm'` and an accounts list on an EVM target (see `sdk/CLAUDE.md`'s E1.3 capability
+ * gate) — which is exactly what makes shipping BOTH arms from one generator sound.
+ */
+export * from "./types.js";
+export * from "./params.js";
+export * from "./evm.js";
+export * from "./svm.js";
+export * from "./source.js";
+export * from "./api.js";
+//# sourceMappingURL=index.d.ts.map

package/sdk/dist/token/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/token/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC"}

package/sdk/dist/token/index.js

@@ -0,0 +1,30 @@
+/**
+ * `@eco-incorp/sauce`'s `token` module — the universal token interface.
+ *
+ * One object, `Token`, exposing `transfer`/`approve`/`balanceOf` — lowered to an ERC20 call on an
+ * EVM compile target, and to an SPL Token program CPI on `svm`. Installed as a DEFAULT GLOBAL (zero
+ * import, `const Token: TokenApi`) by `sdk/src/routes/globals.ts`; this module is also importable
+ * directly as `token.Token` (or any of its named exports) for a caller who prefers not to rely on
+ * the global.
+ *
+ * Compiler-free, like `swap/` and `deposit/`: every function here returns SauceScript SOURCE (or a
+ * structured EVM `Call`); the caller runs `compile()` with explicit options. See
+ * `sdk/src/token/source.ts` for the per-target emission seam and `sdk/src/token/api.ts` for the
+ * `Token`/`TokenCall` builder shape.
+ *
+ * Two arms, chosen per call (not per accessor): the ERC20 arm (`evm.ts`) emits a typed-binding
+ * `IERC20.at(token).transfer(...)` call, identical to how `swap/source.ts`/`deposit/source.ts`
+ * already call protocol contracts; the SPL arm (`svm.ts`) emits `svm.call(program, accounts,
+ * accounts)` against the SPL Token program, reusing the `svmSettleSource` idiom
+ * (`accountData`/`accountUint`, the `le8` u64 byteswap helper, `TransferChecked`/`ApproveChecked`).
+ * The two arms are NOT interchangeable at compile time — the compiler rejects a contract binding on
+ * `target: 'svm'` and an accounts list on an EVM target (see `sdk/CLAUDE.md`'s E1.3 capability
+ * gate) — which is exactly what makes shipping BOTH arms from one generator sound.
+ */
+export * from "./types.js";
+export * from "./params.js";
+export * from "./evm.js";
+export * from "./svm.js";
+export * from "./source.js";
+export * from "./api.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/token/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC"}

package/sdk/dist/token/params.d.ts

@@ -0,0 +1,20 @@
+import type { AddressInput, SvmTokenRefs, TokenApproveSpec, TokenBalanceSpec, TokenSpec, TokenTarget, TokenTransferSpec } from "./types.js";
+export declare function isEvmTarget(target: TokenTarget): boolean;
+export declare function toAddressBigint(value: AddressInput, _label: string): bigint;
+/** Any literal (non-`"balance"`) amount destined for SVM must fit the SPL u64 `amount` field. */
+export declare function assertU64Range(amount: bigint, label: string): void;
+export declare function toAmountBigint(amount: bigint | number, label: string): bigint;
+/** `owner`/`tokenProgram` default names — shared/reused across ops in one program by design (the
+ *  SPL CPI-target intern is meant to dedupe across ops, unlike per-op instance refs). */
+export declare function ownerRef(refs: SvmTokenRefs): string;
+export declare function tokenProgramRef(refs: SvmTokenRefs): string;
+export declare function validateTransferSpec(spec: TokenTransferSpec, target: TokenTarget): void;
+export declare function validateApproveSpec(spec: TokenApproveSpec, target: TokenTarget): void;
+export declare function validateBalanceSpec(spec: TokenBalanceSpec, target: TokenTarget): void;
+/**
+ * Rejects a duplicate SVM instance ref name across DIFFERENT ops in one `Token.program(...)` call —
+ * a collision would silently merge two distinct AccountPlan slots. `owner`/`tokenProgram` are
+ * exempt (shared by design).
+ */
+export declare function assertNoDuplicateSvmRefs(specs: readonly TokenSpec[]): void;
+//# sourceMappingURL=params.d.ts.map

package/sdk/dist/token/params.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"params.d.ts","sourceRoot":"","sources":["../../src/token/params.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,WAAW,EACX,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAExD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAG3E;AAID,iGAAiG;AACjG,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAIlE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7E;AAgBD;yFACyF;AACzF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEnD;AACD,wBAAgB,eAAe,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAE1D;AAgBD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CAavF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CAarF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CAOrF;AAYD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAc1E"}

package/sdk/dist/token/params.js

@@ -0,0 +1,117 @@
+/**
+ * Normalization + guards for the universal token interface. Mirrors `swap/params.ts`'s posture:
+ * throws (never emits a program that would revert on-chain) rather than guessing.
+ */
+import { toExactBigInt } from "../numeric.js";
+export function isEvmTarget(target) {
+    return target === "evm" || target === "v1" || target === "v12";
+}
+export function toAddressBigint(value, _label) {
+    if (typeof value === "bigint")
+        return value;
+    return BigInt(value);
+}
+const U64_MAX = 2n ** 64n - 1n;
+/** Any literal (non-`"balance"`) amount destined for SVM must fit the SPL u64 `amount` field. */
+export function assertU64Range(amount, label) {
+    if (amount < 0n || amount > U64_MAX) {
+        throw new Error(`${label}: amount must be a u64 (0..${U64_MAX}), got ${amount}`);
+    }
+}
+export function toAmountBigint(amount, label) {
+    return typeof amount === "bigint" ? amount : toExactBigInt(amount, label);
+}
+function requireEvmField(value, label) {
+    if (value === undefined) {
+        throw new Error(`${label} is required on an EVM target`);
+    }
+    return value;
+}
+function requireSvmRefs(spec, label) {
+    if (spec.svm === undefined) {
+        throw new Error(`${label}: svm refs are required on target 'svm'`);
+    }
+    return spec.svm;
+}
+/** `owner`/`tokenProgram` default names — shared/reused across ops in one program by design (the
+ *  SPL CPI-target intern is meant to dedupe across ops, unlike per-op instance refs). */
+export function ownerRef(refs) {
+    return refs.owner ?? "owner";
+}
+export function tokenProgramRef(refs) {
+    return refs.tokenProgram ?? "tokenProgram";
+}
+/**
+ * The amount gate both targets share. An unsafe `number` is as wrong in ERC20 calldata as it is in
+ * an SPL instruction, so `toAmountBigint` runs on either target; only the u64 ceiling is SVM's.
+ */
+function assertAmountInput(amount, label, target) {
+    if (amount === "balance")
+        return;
+    const exact = toAmountBigint(amount, label);
+    if (!isEvmTarget(target))
+        assertU64Range(exact, label);
+}
+export function validateTransferSpec(spec, target) {
+    if (isEvmTarget(target)) {
+        requireEvmField(spec.token, "token");
+        requireEvmField(spec.to, "to");
+        assertAmountInput(spec.amount, "Token.transfer amount", target);
+        return;
+    }
+    const refs = requireSvmRefs(spec, "Token.transfer");
+    if (refs.mint === undefined)
+        throw new Error("Token.transfer: svm.mint is required on target 'svm'");
+    if (refs.dest === undefined)
+        throw new Error("Token.transfer: svm.dest is required on target 'svm'");
+    assertAmountInput(spec.amount, "Token.transfer amount", target);
+}
+export function validateApproveSpec(spec, target) {
+    if (isEvmTarget(target)) {
+        requireEvmField(spec.token, "token");
+        requireEvmField(spec.spender, "spender");
+        assertAmountInput(spec.amount, "Token.approve amount", target);
+        return;
+    }
+    const refs = requireSvmRefs(spec, "Token.approve");
+    if (refs.mint === undefined)
+        throw new Error("Token.approve: svm.mint is required on target 'svm'");
+    if (refs.delegate === undefined)
+        throw new Error("Token.approve: svm.delegate is required on target 'svm'");
+    assertAmountInput(spec.amount, "Token.approve amount", target);
+}
+export function validateBalanceSpec(spec, target) {
+    if (isEvmTarget(target)) {
+        requireEvmField(spec.token, "token");
+        requireEvmField(spec.owner, "owner");
+        return;
+    }
+    requireSvmRefs(spec, "Token.balanceOf");
+}
+/** The per-op INSTANCE refs (source/mint/dest/delegate) — everything EXCEPT the intentionally
+ *  shared `owner`/`tokenProgram` defaults, which are meant to dedupe/reuse across ops. */
+function instanceRefs(spec) {
+    if (spec.svm === undefined)
+        return [];
+    const refs = spec.svm;
+    return [refs.source, refs.mint, refs.dest, refs.delegate].filter((r) => typeof r === "string");
+}
+/**
+ * Rejects a duplicate SVM instance ref name across DIFFERENT ops in one `Token.program(...)` call —
+ * a collision would silently merge two distinct AccountPlan slots. `owner`/`tokenProgram` are
+ * exempt (shared by design).
+ */
+export function assertNoDuplicateSvmRefs(specs) {
+    const seen = new Map();
+    specs.forEach((spec, specIndex) => {
+        for (const ref of instanceRefs(spec)) {
+            const prior = seen.get(ref);
+            if (prior !== undefined && prior !== specIndex) {
+                throw new Error(`Token.program: svm ref "${ref}" is reused across specs [${prior}, ${specIndex}] — ` +
+                    `give each op's source/mint/dest/delegate a distinct name`);
+            }
+            seen.set(ref, specIndex);
+        }
+    });
+}
+//# sourceMappingURL=params.js.map

package/sdk/dist/token/params.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"params.js","sourceRoot":"","sources":["../../src/token/params.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAW9C,MAAM,UAAU,WAAW,CAAC,MAAmB;IAC7C,OAAO,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAmB,EAAE,MAAc;IACjE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,OAAO,GAAG,EAAE,IAAI,GAAG,GAAG,EAAE,CAAC;AAE/B,iGAAiG;AACjG,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,KAAa;IAC1D,IAAI,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,8BAA8B,OAAO,UAAU,MAAM,EAAE,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAuB,EAAE,KAAa;IACnE,OAAO,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,eAAe,CAAI,KAAoB,EAAE,KAAa;IAC7D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAA4B,EAAE,KAAa;IACjE,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yCAAyC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC;AAClB,CAAC;AAED;yFACyF;AACzF,MAAM,UAAU,QAAQ,CAAC,IAAkB;IACzC,OAAO,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC;AAC/B,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,IAAkB;IAChD,OAAO,IAAI,CAAC,YAAY,IAAI,cAAc,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,MAAmC,EACnC,KAAa,EACb,MAAmB;IAEnB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IACjC,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;QAAE,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAuB,EAAE,MAAmB;IAC/E,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrC,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QACzB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QACzB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAsB,EAAE,MAAmB;IAC7E,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACzC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QACzB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAC7B,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAsB,EAAE,MAAmB;IAC7E,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;AAC1C,CAAC;AAED;0FAC0F;AAC1F,SAAS,YAAY,CAAC,IAAe;IACnC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAmB,CAAC;IACtC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAC9D,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAC1C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA2B;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QAChC,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,2BAA2B,GAAG,6BAA6B,KAAK,KAAK,SAAS,MAAM;oBAClF,0DAA0D,CAC7D,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,37 @@
+import { type SvmEmitState } from "./svm.js";
+import type { TokenSpec, TokenTarget } from "./types.js";
+/** `baseDirs` for compiling any program `tokenSource`/`tokenCallStatement` produces — resolves the
+ *  generated `import { IERC20 } from "./artifacts/IERC20.json"` against this installed package's
+ *  dist root. Same value/pattern as `swap/source.ts`'s `SWAP_BASE_DIRS`. */
+export declare const TOKEN_BASE_DIRS: readonly string[];
+/** The import lines a `tokenSource(specs, target)` program needs. On an EVM target: `IERC20`, iff
+ *  any spec is `transfer`/`approve`/`balanceOf` (always — every op needs the binding). On `svm`:
+ *  none (SVM ops use only the built-in `svm.sload`/`svm.call` globals). */
+export declare function tokenImportLines(specs: readonly TokenSpec[], target: TokenTarget): readonly string[];
+/** One statement (transfer/approve) or `undefined` (balanceOf has no statement form — see
+ *  {@link tokenExpression}) for `spec` on `target`, for splicing into a larger, hand-written
+ *  program. Runs the full per-op/per-target validation. `svmState` threads dedup across multiple
+ *  ops in one program (`tokenSource`'s own concern) — omit it to get a fresh, single-op program. */
+export declare function tokenCallStatement(spec: TokenSpec, target: TokenTarget, index?: number, svmState?: SvmEmitState): string;
+/** The expression form of `Token.balanceOf(spec)` — the only op with one. Throws (named) for
+ *  `transfer`/`approve`, which have no meaningful expression form. */
+export declare function tokenExpression(spec: TokenSpec, target: TokenTarget): string;
+/** The account-manifest refs a `transfer`/`approve` spec attaches, in order — mirrors
+ *  `svmSettleRefs`. Throws for `balanceOf` (a pure read; its only ref is the caller-supplied
+ *  `source`) and for an EVM-target spec (no account manifest on that target). */
+export declare function tokenAccountRefs(spec: TokenSpec, target: TokenTarget): readonly string[];
+export interface TokenSourceOptions {
+    /** Defaults to `"main"`. */
+    functionName?: string;
+    /** Extra import lines spliced in verbatim, ahead of the generated `main`/`functionName` body. */
+    imports?: readonly string[];
+}
+/**
+ * A complete, compilable `function main() { ... }` program: one statement per `transfer`/`approve`
+ * spec (in order), plus, if the LAST spec is a `balanceOf`, a trailing `return <expr>;` — because
+ * `Token.program`'s only consumer (`V12Pot.cook`) executes the one program it is handed and wants
+ * its result, if any, as the return value. A `balanceOf` in any OTHER position is spliced as a discarded
+ * expression statement.
+ */
+export declare function tokenSource(spec: TokenSpec | readonly TokenSpec[], target: TokenTarget, opts?: TokenSourceOptions): string;
+//# sourceMappingURL=source.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/token/source.ts"],"names":[],"mappings":"AAcA,OAAO,EAQL,KAAK,YAAY,EAClB,MAAM,UAAU,CAAC;AAQlB,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAIzD;;4EAE4E;AAC5E,eAAO,MAAM,eAAe,EAAE,SAAS,MAAM,EAA4B,CAAC;AAQ1E;;2EAE2E;AAC3E,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,MAAM,EAAE,WAAW,GAClB,SAAS,MAAM,EAAE,CAGnB;AAED;;;oGAGoG;AACpG,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,WAAW,EACnB,KAAK,SAAI,EACT,QAAQ,CAAC,EAAE,YAAY,GACtB,MAAM,CAiBR;AAED;sEACsE;AACtE,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,GAAG,MAAM,CAQ5E;AAED;;iFAEiF;AACjF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,GAAG,SAAS,MAAM,EAAE,CAOxF;AAED,MAAM,WAAW,kBAAkB;IACjC,4BAA4B;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iGAAiG;IACjG,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,SAAS,GAAG,SAAS,SAAS,EAAE,EACtC,MAAM,EAAE,WAAW,EACnB,IAAI,GAAE,kBAAuB,GAC5B,MAAM,CAgCR"}

package/sdk/dist/token/source.js

@@ -0,0 +1,107 @@
+/**
+ * SauceScript SOURCE emission for the universal token interface — pure string templating, no
+ * compiler import (matches `swap/source.ts`/`deposit/source.ts`'s posture: every compile option
+ * stays explicit at the call site).
+ */
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { evmApproveStatement, evmBalanceExpression, evmTransferStatement, ERC20_IMPORT_LINE, } from "./evm.js";
+import { accountRefsForApprove, accountRefsForTransfer, newSvmEmitState, svmAccountParamList, svmApproveLines, svmBalanceExpression, svmTransferLines, } from "./svm.js";
+import { assertNoDuplicateSvmRefs, isEvmTarget, validateApproveSpec, validateBalanceSpec, validateTransferSpec, } from "./params.js";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+/** `baseDirs` for compiling any program `tokenSource`/`tokenCallStatement` produces — resolves the
+ *  generated `import { IERC20 } from "./artifacts/IERC20.json"` against this installed package's
+ *  dist root. Same value/pattern as `swap/source.ts`'s `SWAP_BASE_DIRS`. */
+export const TOKEN_BASE_DIRS = [join(__dirname, "..")];
+function validateSpec(spec, target) {
+    if (spec.op === "transfer")
+        validateTransferSpec(spec, target);
+    else if (spec.op === "approve")
+        validateApproveSpec(spec, target);
+    else
+        validateBalanceSpec(spec, target);
+}
+/** The import lines a `tokenSource(specs, target)` program needs. On an EVM target: `IERC20`, iff
+ *  any spec is `transfer`/`approve`/`balanceOf` (always — every op needs the binding). On `svm`:
+ *  none (SVM ops use only the built-in `svm.sload`/`svm.call` globals). */
+export function tokenImportLines(specs, target) {
+    if (!isEvmTarget(target))
+        return [];
+    return specs.length > 0 ? [ERC20_IMPORT_LINE] : [];
+}
+/** One statement (transfer/approve) or `undefined` (balanceOf has no statement form — see
+ *  {@link tokenExpression}) for `spec` on `target`, for splicing into a larger, hand-written
+ *  program. Runs the full per-op/per-target validation. `svmState` threads dedup across multiple
+ *  ops in one program (`tokenSource`'s own concern) — omit it to get a fresh, single-op program. */
+export function tokenCallStatement(spec, target, index = 0, svmState) {
+    validateSpec(spec, target);
+    const state = svmState ?? newSvmEmitState();
+    if (spec.op === "balanceOf") {
+        throw new Error("tokenCallStatement: Token.balanceOf has no statement form — use tokenExpression instead");
+    }
+    if (isEvmTarget(target)) {
+        return spec.op === "transfer" ? evmTransferStatement(spec) : evmApproveStatement(spec);
+    }
+    const lines = spec.op === "transfer"
+        ? svmTransferLines(spec, index, state)
+        : svmApproveLines(spec, index, state);
+    return lines.join("\n");
+}
+/** The expression form of `Token.balanceOf(spec)` — the only op with one. Throws (named) for
+ *  `transfer`/`approve`, which have no meaningful expression form. */
+export function tokenExpression(spec, target) {
+    if (spec.op !== "balanceOf") {
+        throw new Error(`tokenExpression: Token.${spec.op} has no expression form — use tokenCallStatement instead`);
+    }
+    validateSpec(spec, target);
+    return isEvmTarget(target) ? evmBalanceExpression(spec) : svmBalanceExpression(spec);
+}
+/** The account-manifest refs a `transfer`/`approve` spec attaches, in order — mirrors
+ *  `svmSettleRefs`. Throws for `balanceOf` (a pure read; its only ref is the caller-supplied
+ *  `source`) and for an EVM-target spec (no account manifest on that target). */
+export function tokenAccountRefs(spec, target) {
+    if (isEvmTarget(target)) {
+        throw new Error(`tokenAccountRefs: no account manifest on an EVM target`);
+    }
+    if (spec.op === "balanceOf")
+        return [spec.svm.source];
+    const refs = spec.svm;
+    return spec.op === "transfer" ? accountRefsForTransfer(refs) : accountRefsForApprove(refs);
+}
+/**
+ * A complete, compilable `function main() { ... }` program: one statement per `transfer`/`approve`
+ * spec (in order), plus, if the LAST spec is a `balanceOf`, a trailing `return <expr>;` — because
+ * `Token.program`'s only consumer (`V12Pot.cook`) executes the one program it is handed and wants
+ * its result, if any, as the return value. A `balanceOf` in any OTHER position is spliced as a discarded
+ * expression statement.
+ */
+export function tokenSource(spec, target, opts = {}) {
+    const specs = Array.isArray(spec) ? spec : [spec];
+    if (specs.length === 0)
+        throw new Error("tokenSource: at least one token spec is required");
+    specs.forEach((s) => validateSpec(s, target));
+    if (!isEvmTarget(target))
+        assertNoDuplicateSvmRefs(specs);
+    const importLines = [...tokenImportLines(specs, target), ...(opts.imports ?? [])];
+    const state = newSvmEmitState();
+    const bodyLines = specs.flatMap((s, i) => {
+        const isLast = i === specs.length - 1;
+        if (s.op === "balanceOf") {
+            const expr = tokenExpression(s, target);
+            return [isLast ? `return ${expr};` : `${expr};`];
+        }
+        return [tokenCallStatement(s, target, i, state)];
+    });
+    const fnName = opts.functionName ?? "main";
+    const body = bodyLines
+        .map((line) => line
+        .split("\n")
+        .map((l) => `  ${l}`)
+        .join("\n"))
+        .join("\n");
+    // Every SVM account is a main() param, in attach order — that declaration IS the manifest.
+    const params = isEvmTarget(target) ? "" : svmAccountParamList(specs);
+    const parts = [...importLines, "", `function ${fnName}(${params}) {`, body, "}", ""];
+    return parts.join("\n");
+}
+//# sourceMappingURL=source.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/token/source.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACpB,gBAAgB,GAEjB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,wBAAwB,EACxB,WAAW,EACX,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAGrB,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D;;4EAE4E;AAC5E,MAAM,CAAC,MAAM,eAAe,GAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;AAE1E,SAAS,YAAY,CAAC,IAAe,EAAE,MAAmB;IACxD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;QAAE,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;SAC1D,IAAI,IAAI,CAAC,EAAE,KAAK,SAAS;QAAE,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;;QAC7D,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,gBAAgB,CAC9B,KAA2B,EAC3B,MAAmB;IAEnB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACrD,CAAC;AAED;;;oGAGoG;AACpG,MAAM,UAAU,kBAAkB,CAChC,IAAe,EACf,MAAmB,EACnB,KAAK,GAAG,CAAC,EACT,QAAuB;IAEvB,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,QAAQ,IAAI,eAAe,EAAE,CAAC;IAE5C,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,KAAK,GACT,IAAI,CAAC,EAAE,KAAK,UAAU;QACpB,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC;QACtC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;sEACsE;AACtE,MAAM,UAAU,eAAe,CAAC,IAAe,EAAE,MAAmB;IAClE,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,0BAA0B,IAAI,CAAC,EAAE,0DAA0D,CAC5F,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACvF,CAAC;AAED;;iFAEiF;AACjF,MAAM,UAAU,gBAAgB,CAAC,IAAe,EAAE,MAAmB;IACnE,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,GAAI,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAI,CAAC;IACvB,OAAO,IAAI,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;AAC7F,CAAC;AASD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,IAAsC,EACtC,MAAmB,EACnB,OAA2B,EAAE;IAE7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAiB,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC5F,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;QAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAE1D,MAAM,WAAW,GAAG,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,eAAe,EAAE,CAAC;IAEhC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,CAAC,EAAE,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACxC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,CAAC,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC;IAC3C,MAAM,IAAI,GAAG,SAAS;SACnB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACZ,IAAI;SACD,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;SACpB,IAAI,CAAC,IAAI,CAAC,CACd;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,2FAA2F;IAC3F,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,EAAE,EAAE,EAAE,YAAY,MAAM,IAAI,MAAM,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACrF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/sdk/dist/token/svm.d.ts

@@ -0,0 +1,41 @@
+import { type SvmTokenProgramInput, type SvmTokenRefs, type TokenApproveSpec, type TokenBalanceSpec, type TokenSpec, type TokenTransferSpec } from "./types.js";
+/** Well-known SPL program ids, converted once to the bigint literal the identity check wants. */
+export declare const TOKEN_PROGRAM_BIGINT: bigint;
+export declare const TOKEN_2022_PROGRAM_BIGINT: bigint;
+/** The SauceScript expression for a `SvmTokenProgramInput` CPI-target VALUE. Defaults to `"spl"`. */
+export declare function tokenProgramValueExpr(input: SvmTokenProgramInput | undefined): string;
+export declare function assertRefIsIdentifier(ref: string, label: string): void;
+/** Per-program emission state: a token program is pinned at most once per ref per program. */
+export interface SvmEmitState {
+    /** token-program ref -> the program value it was pinned to, so a second op cannot repoint it. */
+    pinnedTokenPrograms: Map<string, string>;
+}
+export declare function newSvmEmitState(): SvmEmitState;
+interface Role {
+    writable: boolean;
+    signer: boolean;
+}
+/** One `main` account parameter: the ref name and the role its annotation asserts. */
+export interface SvmAccountParam {
+    ref: string;
+    writable: boolean;
+    signer: boolean;
+}
+/** `Account`, `Account<Writable>`, `Account<Signer>` or `Account<Writable, Signer>`. */
+export declare function accountParamType({ writable, signer }: Role): string;
+/**
+ * Every account the program's specs touch, in FIRST-USE order — the order a caller attaches them
+ * and the order the manifest reports. A ref shared across ops (`owner`/`tokenProgram` by design)
+ * appears once, holding the strongest role any op demanded of it.
+ */
+export declare function svmAccountParams(specs: readonly TokenSpec[]): readonly SvmAccountParam[];
+/** The `main(...)` parameter list for `specs`, annotated with each slot's required role. */
+export declare function svmAccountParamList(specs: readonly TokenSpec[]): string;
+export declare function svmTransferLines(spec: TokenTransferSpec, index: number, state: SvmEmitState): readonly string[];
+export declare function svmApproveLines(spec: TokenApproveSpec, index: number, state: SvmEmitState): readonly string[];
+export declare function svmBalanceExpression(spec: TokenBalanceSpec): string;
+/** The account manifest refs, in attach order, for `transfer`/`approve` with the given refs. */
+export declare function accountRefsForTransfer(refs: SvmTokenRefs): readonly string[];
+export declare function accountRefsForApprove(refs: SvmTokenRefs): readonly string[];
+export {};
+//# sourceMappingURL=svm.d.ts.map

package/sdk/dist/token/svm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"svm.d.ts","sourceRoot":"","sources":["../../src/token/svm.ts"],"names":[],"mappings":"AA4BA,OAAO,EAKL,KAAK,oBAAoB,EACzB,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AAepB,iGAAiG;AACjG,eAAO,MAAM,oBAAoB,EAAE,MAAuC,CAAC;AAC3E,eAAO,MAAM,yBAAyB,EAAE,MAA4C,CAAC;AAErF,qGAAqG;AACrG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,oBAAoB,GAAG,SAAS,GAAG,MAAM,CAIrF;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAMtE;AAED,8FAA8F;AAC9F,MAAM,WAAW,YAAY;IAC3B,iGAAiG;IACjG,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC1C;AAED,wBAAgB,eAAe,IAAI,YAAY,CAE9C;AAID,UAAU,IAAI;IACZ,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,sFAAsF;AACtF,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,wFAAwF;AACxF,wBAAgB,gBAAgB,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,GAAG,MAAM,CAInE;AAuBD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,eAAe,EAAE,CAiBxF;AAED,4FAA4F;AAC5F,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAIvE;AAyED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,iBAAiB,EACvB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,YAAY,GAClB,SAAS,MAAM,EAAE,CAanB;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,YAAY,GAClB,SAAS,MAAM,EAAE,CAanB;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAInE;AAED,gGAAgG;AAChG,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAE5E;AACD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAE3E"}