@eco-incorp/sauce 0.99.0

package/sdk/dist/std/token/token.svm.js

@@ -0,0 +1,102 @@
+// @sauce/token — SVM arm (SPL Token).
+// Selected by the compiler for `--target svm`. Reads are a byte-range `svm.sload` into the SPL
+// account layout; writes are a `svm.call` CPI into the SPL Token program, which each write requires
+// by identity. Accounts are passed as
+// `Account` slots; the token's own identity (`token`) is a plain address value (the mint pubkey).
+//
+// Pinning `.owner` to legacy SPL Token (`Tokenkeg…`) means a **Token-2022** (`TokenzQd…`) account is
+// now refused by every function here, where the reads used to accept one — its first 165 bytes carry
+// the same layout. Deliberate: the writes already pin their callee to `Tokenkeg…`, so accepting
+// Token-2022 on the read path would let one program's accounts be read and never written.
+//
+// Every function requires `<account>.owner` to be the SPL Token program before it reads an SPL layout
+// out of an account. The layout checks below say what the bytes claim to be; the owner says who was
+// allowed to write them, and only the owning program may. Without it a hand-assembled account with the
+// right bytes at the right offsets reads exactly like a genuine one.
+//
+// SPL token-account layout: mint@0 (pubkey), amount@64 (u64 LE), delegate COption tag@72 (u32 LE:
+// 0 = None, 1 = Some), delegate@76 (pubkey), delegated_amount@121 (u64 LE).
+// SPL mint layout: supply@36 (u64 LE), decimals@44 (u8). Instruction tags: Transfer=3, Approve=4.
+// The SPL Token program (TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA) is an `Account` the caller
+// attaches, like every other: `svm.call`'s callee is named by the slot it occupies, so it rides in as
+// `tokenProgram` and reaches the manifest under that name. Which account arrives there is the
+// caller's choice, so each write `require`s that it is the SPL Token program — the same shape as the
+// mint check beside it, and the reason `Account` compares for identity.
+
+const SPL_TOKEN_PROGRAM = 0x06ddf6e1d765a193d9cbe146ceeb79ac1cb485ed5f5b37913a8cf5857eff00a9;
+
+export function balanceOf(token: Address, account: Account): Uint256 {
+  require(account.owner == SPL_TOKEN_PROGRAM);
+  require(svm.sload(account, 0, 32).toBe() == token);
+  return svm.sload(account, 64, 8).toLe();
+}
+
+// These two read the **mint**, and the owner check is weaker for them than for the reads above: the
+// SPL Token program owns mints *and* token accounts, so `token.owner == Tokenkeg…` passes for either.
+// A token account attached where a mint belongs puts bytes 36..44 inside its `owner` field — which
+// whoever assembled the transaction chose — so `totalSupply` returns a number they picked, and
+// `decimals` reads byte 44 of the same field.
+//
+// Separating the two needs the account's data **length** (a mint is 82 bytes, a token account 165),
+// and nothing in the language reads it: `svm.sload` past the end reverts, which cannot be caught, and
+// there is no length primitive. So the check narrows the attack to real SPL-owned accounts and no
+// further. `balanceOf`/`allowance` are not exposed this way — their `mint`@0 comparison pins the
+// account's own layout, which a mint would fail.
+export function totalSupply(token: Account): Uint256 {
+  require(token.owner == SPL_TOKEN_PROGRAM);
+  return svm.sload(token, 36, 8).toLe();
+}
+
+export function decimals(token: Account): Uint256 {
+  require(token.owner == SPL_TOKEN_PROGRAM);
+  return svm.sload(token, 44, 1).toLe();
+}
+
+export function allowance(token: Address, account: Account, spender: Address): Uint256 {
+  require(account.owner == SPL_TOKEN_PROGRAM);
+  require(svm.sload(account, 0, 32).toBe() == token);
+  // The delegate is a `COption<Pubkey>`: read `delegated_amount` only when the tag is `Some` (1)
+  // *and* the delegate matches `spender`. spl-token leaves the delegate bytes stale after `Revoke`,
+  // so the tag must gate the pubkey compare — else a revoked delegate would still match.
+  if (svm.sload(account, 72, 4).toLe() == 1 && svm.sload(account, 76, 32).toBe() == spender) {
+    return svm.sload(account, 121, 8).toLe();
+  }
+  return 0;
+}
+
+// The writes enforce the named asset the same way the reads do: `require` the source ATA's `mint`@0
+// equals `token`, so a caller can't attach an account of the wrong mint. `source` only, matching the
+// reads and for the same reason: `dest` is the CPI's to validate, and the genuine SPL processor does. Two documented cross-target
+// divergences (see README's cross-target divergences ledger): (1) the `u64` amount guard — SPL
+// amounts are `u64`, so an infinite-approve (`2^256 - 1`) reverts here while it succeeds on the EVM
+// (`uint256`); (2) the mint check reverts on a wrong `token`, where the EVM read arm returns 0 for a
+// codeless/wrong address — an error-path divergence, not a value one.
+export function transfer(token: Address, tokenProgram: Account, source: Account, dest: Account, authority: Account, amount: Uint256): void {
+  require(tokenProgram == SPL_TOKEN_PROGRAM);
+  require(source.owner == SPL_TOKEN_PROGRAM);
+  require(svm.sload(source, 0, 32).toBe() == token);
+  require(amount <= 0xffffffffffffffff);
+  let data = hex`03`;
+  svm.call(tokenProgram, [source, dest, authority], data.concat(amount.toBytesLe(8)));
+}
+
+// SPL has no separate delegated-transfer instruction: `Transfer` (tag 3) covers both the owner and
+// the delegate moving funds, and which one it is follows from the `authority` the caller attaches —
+// so `transferFrom` IS `transfer` here, and delegates to it rather than repeating the CPI. (The EVM
+// arm keeps two distinct methods because ERC20 genuinely has two: `transfer` moves the caller's
+// balance, `transferFrom` spends an allowance.)
+export function transferFrom(token: Address, tokenProgram: Account, source: Account, dest: Account, authority: Account, amount: Uint256): void {
+  transfer(token, tokenProgram, source, dest, authority, amount);
+}
+
+// `approve` sets a single SPL delegate on `source` (SPL tracks one delegate per account, so a second
+// approve overwrites the first) — the EVM's `approve` writes a per-spender allowance map, so this
+// arm and `allowance` are single-delegate where the EVM is per-spender (a documented divergence).
+export function approve(token: Address, tokenProgram: Account, source: Account, delegate: Account, authority: Account, amount: Uint256): void {
+  require(tokenProgram == SPL_TOKEN_PROGRAM);
+  require(source.owner == SPL_TOKEN_PROGRAM);
+  require(svm.sload(source, 0, 32).toBe() == token);
+  require(amount <= 0xffffffffffffffff);
+  let data = hex`04`;
+  svm.call(tokenProgram, [source, delegate, authority], data.concat(amount.toBytesLe(8)));
+}

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

@@ -0,0 +1,95 @@
+/**
+ * The SVM twin of ../descriptors/accessors.ts: `Solana.<Venue>.<op>(...)`, a
+ * native accessor over the SVM venue adapters registered in
+ * ./venues/registry.ts, unified onto the SAME global `Solana` that already
+ * carries `.route(...)` (see ../routes/globals.ts's svm branch).
+ *
+ * Registry-derived, walk-not-reimplement, same as its EVM counterpart: the
+ * tree below enumerates `listVenues()`/`venueAdapter()` (registry.ts) — it
+ * never duplicates an adapter's own logic. Every namespace and leaf is a
+ * memoising GETTER (`Object.defineProperty`, never eager construction/
+ * spread), so nothing is built until touched.
+ *
+ * SCOPE: only the TEN adapters actually registered in ./venues/registry.ts
+ * (the SDK's own statement of what it supports — see that file's own
+ * "Keys MUST equal adapter.slug" invariant, now enforced there). The other
+ * ~77 venue directories under ./venues/ are exported but unregistered — they
+ * stay reachable by name through the `/svm` subpath barrel
+ * (`import { orcaWhirlpool } from '@eco-incorp/sauce/svm'`), just not on
+ * this accessor tree. Registering an eleventh adapter in registry.ts makes
+ * `Solana.<NewVenue>` appear here with zero code change — `SvmVenueSlug` is
+ * `RegisteredVenueSlug` (`keyof` the registry table), and `venues()` walks
+ * `listVenues()` directly.
+ *
+ * NO FAMILY ALIASES (unlike ../descriptors/accessors.ts's `-v<N>` stem
+ * synthesis for EVM protocols) — one PascalCase name per registered adapter
+ * slug, no invented groupings the registry does not itself assert.
+ *
+ * LEAF HONESTY: every member below is a thin, `this`-bound forward to the
+ * IDENTICALLY-shaped SvmVenueAdapter member (types.ts) — same behavior, same
+ * errors, same returned objects. Only two are renamed, and only to read as an
+ * accessor rather than an internal: `buildSwap` -> `swap`, `emitQuote` ->
+ * `quoteSource` (it returns SauceScript SOURCE TEXT, a string, not a number).
+ * `fetchPoolConfig` -> `poolConfig` for the same reason: the accessor fetches
+ * nothing itself — it calls whatever `AccountLoader` the caller hands it (RPC
+ * in production, `fixtureLoader` in tests); it constructs no RPC client,
+ * reads no env, holds no connection. `poolConfig` is consequently the ONE
+ * async member of this leaf; every other member is a synchronous, pure
+ * function of its arguments requiring a caller-supplied decoded `PoolConfig`
+ * (and, for `referenceQuote`, a caller-supplied `AccountBytesMap` + `now`).
+ *
+ * NOT SURFACED, by design: pool discovery (no SVM pool address book exists —
+ * a pool address is always a caller input, unlike EVM's `addressOn`), a
+ * ladder/amount-parametric quote surface (the registry's ladder table is
+ * EMPTY BY DESIGN — those were relocated to sauce-recipes), direction
+ * inference, routing/splitting, transaction assembly, and `.at(address)`
+ * rebinding (a venue is a program, not a per-chain contract instance).
+ */
+import type { Address } from "@solana/kit";
+import type { PascalOf } from "../routes/builder.js";
+import type { RegisteredVenueSlug } from "./venues/registry.js";
+import type { AccountBytesMap, AccountLoader, PoolConfig, SvmVenueAdapter, SwapUser, VenueAccount, VenueSwap } from "./venues/types.js";
+/** Registered venue slugs only — see this module's own header for why the other ~77 are excluded. */
+export type SvmVenueSlug = RegisteredVenueSlug;
+/**
+ * One leaf: `Solana.<Venue>`. Every member forwards to the identically-shaped
+ * `SvmVenueAdapter` member (`.adapter`) — an accessor call and a direct
+ * adapter call are indistinguishable in behavior, errors, and returned
+ * objects.
+ */
+export interface SvmVenueAccessor {
+    readonly slug: SvmVenueSlug;
+    readonly kind: SvmVenueAdapter["kind"];
+    /** Mainnet program id. Zero I/O, resolvable at import. */
+    readonly programId: Address;
+    /** The real adapter object, by identity — the escape hatch for anything this leaf doesn't surface. */
+    readonly adapter: SvmVenueAdapter;
+    /** `adapter.fetchPoolConfig` — the ONE async member; `load` is caller-supplied, never constructed here. */
+    poolConfig(load: AccountLoader, pool: Address): Promise<PoolConfig>;
+    /** `adapter.quoteAccounts` — the read-only accounts the quote fragment reads. */
+    quoteAccounts(cfg: PoolConfig): VenueAccount[];
+    /** `adapter.emitQuote` — a SauceScript fragment; `amountIn` is baked as a compile-time literal, not amount-parametric. */
+    quoteSource(cfg: PoolConfig, i: number, amountIn: bigint): string;
+    /** `adapter.buildSwap` — pure encoding; `accounts` entries are refs the caller resolves, and venue-level min_out is 1. */
+    swap(cfg: PoolConfig, user: SwapUser, amountIn: bigint): VenueSwap;
+    /** `adapter.referenceQuote` — the off-chain integer mirror; reads only the caller-supplied `state`. */
+    referenceQuote(cfg: PoolConfig, state: AccountBytesMap, amountIn: bigint, now: bigint): bigint;
+}
+/** The whole typed tree `venues()` returns — one namespace per registered adapter slug. */
+export type SvmVenueAccessors = {
+    readonly [S in SvmVenueSlug as PascalOf<S>]: SvmVenueAccessor;
+};
+/**
+ * Import-based front door: `venue('raydium-cp-swap').swap(...)` — the
+ * analogue of `descriptors/accessors.ts`'s `on(chainRef)`, for
+ * `__ECO_ROUTES_NO_GLOBALS__` hosts and the TS2451 own-`const Solana` caveat.
+ */
+export declare function venue(slug: SvmVenueSlug): SvmVenueAccessor;
+/**
+ * The lazy, memoising tree the `Solana` global composes (see
+ * ../routes/globals.ts). Builds zero adapter wrappers until a namespace is
+ * actually touched; two reads of the same namespace off one `venues()` call
+ * return the identical object.
+ */
+export declare function venues(): SvmVenueAccessors;
+//# sourceMappingURL=accessors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"accessors.d.ts","sourceRoot":"","sources":["../../src/svm/accessors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEhE,OAAO,KAAK,EACV,eAAe,EACf,aAAa,EACb,UAAU,EACV,eAAe,EACf,QAAQ,EACR,YAAY,EACZ,SAAS,EACV,MAAM,mBAAmB,CAAC;AAE3B,qGAAqG;AACrG,MAAM,MAAM,YAAY,GAAG,mBAAmB,CAAC;AAE/C;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,0DAA0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,sGAAsG;IACtG,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,2GAA2G;IAC3G,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACpE,iFAAiF;IACjF,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,YAAY,EAAE,CAAC;IAC/C,0HAA0H;IAC1H,WAAW,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAClE,0HAA0H;IAC1H,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACnE,uGAAuG;IACvG,cAAc,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;CAChG;AAED,2FAA2F;AAC3F,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,EAAE,CAAC,IAAI,YAAY,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,gBAAgB;CAC9D,CAAC;AAiBF;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,YAAY,GAAG,gBAAgB,CAE1D;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,IAAI,iBAAiB,CAkB1C"}

package/sdk/dist/svm/accessors.js

@@ -0,0 +1,50 @@
+import { pascalOfSlug } from "../routes/builder.js";
+import { listVenues, venueAdapter } from "./venues/registry.js";
+function buildVenueAccessor(adapter) {
+    return {
+        slug: adapter.slug,
+        kind: adapter.kind,
+        programId: adapter.programId,
+        adapter,
+        poolConfig: (load, pool) => adapter.fetchPoolConfig(load, pool),
+        quoteAccounts: (cfg) => adapter.quoteAccounts(cfg),
+        quoteSource: (cfg, i, amountIn) => adapter.emitQuote(cfg, i, amountIn),
+        swap: (cfg, user, amountIn) => adapter.buildSwap(cfg, user, amountIn),
+        referenceQuote: (cfg, state, amountIn, now) => adapter.referenceQuote(cfg, state, amountIn, now),
+    };
+}
+/**
+ * Import-based front door: `venue('raydium-cp-swap').swap(...)` — the
+ * analogue of `descriptors/accessors.ts`'s `on(chainRef)`, for
+ * `__ECO_ROUTES_NO_GLOBALS__` hosts and the TS2451 own-`const Solana` caveat.
+ */
+export function venue(slug) {
+    return buildVenueAccessor(venueAdapter(slug));
+}
+/**
+ * The lazy, memoising tree the `Solana` global composes (see
+ * ../routes/globals.ts). Builds zero adapter wrappers until a namespace is
+ * actually touched; two reads of the same namespace off one `venues()` call
+ * return the identical object.
+ */
+export function venues() {
+    const out = {};
+    for (const slug of listVenues()) {
+        const key = pascalOfSlug(slug);
+        if (key in out) {
+            throw new Error(`svm/accessors: duplicate venue namespace '${key}' (from slug '${slug}')`);
+        }
+        let memo;
+        Object.defineProperty(out, key, {
+            enumerable: true,
+            configurable: true,
+            get() {
+                if (memo === undefined)
+                    memo = buildVenueAccessor(venueAdapter(slug));
+                return memo;
+            },
+        });
+    }
+    return out;
+}
+//# sourceMappingURL=accessors.js.map

package/sdk/dist/svm/accessors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessors.js","sourceRoot":"","sources":["../../src/svm/accessors.ts"],"names":[],"mappings":"AAiDA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AA4ChE,SAAS,kBAAkB,CAAC,OAAwB;IAClD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAoB;QAClC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO;QACP,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC;QAC/D,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC;QAClD,WAAW,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC;QACtE,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC;QACrE,cAAc,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAC5C,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC;KACpD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,IAAkB;IACtC,OAAO,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,MAAM;IACpB,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,6CAA6C,GAAG,iBAAiB,IAAI,IAAI,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,IAAkC,CAAC;QACvC,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE;YAC9B,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,IAAI;YAClB,GAAG;gBACD,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;gBACtE,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAmC,CAAC;AAC7C,CAAC"}

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

@@ -0,0 +1,84 @@
+import type { Address, AddressesByLookupTableAddress, Commitment, GetLatestBlockhashApi, GetSlotApi, Rpc, TransactionSigner } from "@solana/kit";
+import { fetchAddressLookupTable } from "@solana-program/address-lookup-table";
+import type { ResolvedAccountMeta } from "./resolve.js";
+import type { SignedExecuteTransaction } from "./transaction.js";
+/**
+ * Hard on-chain capacity of one address lookup table (LOOKUP_TABLE_MAX_ADDRESSES
+ * in solana-program). The extend instruction that would cross it fails, and
+ * because the extends are sent sequentially the earlier ones have already
+ * landed — so callers must reject an oversized set BEFORE sending anything
+ * rather than leave a half-filled, rent-funded table behind.
+ */
+export declare const LOOKUP_TABLE_MAX_ADDRESSES = 256;
+/**
+ * Picks the account addresses worth putting in a lookup table: non-signers
+ * only (signers must be static message accounts — they cannot be looked up),
+ * deduplicated in first-seen order.
+ */
+export declare function selectAltAddresses(metas: readonly ResolvedAccountMeta[]): Address[];
+export type SendAndConfirmTransaction = (transaction: SignedExecuteTransaction, config: {
+    commitment: Commitment;
+}) => Promise<void>;
+export interface CreateAltInput {
+    rpc: Rpc<GetLatestBlockhashApi & GetSlotApi>;
+    payer: TransactionSigner;
+    authority: TransactionSigner;
+    addresses: readonly Address[];
+    sendAndConfirm: SendAndConfirmTransaction;
+    commitment?: Commitment;
+}
+/**
+ * Creates an address lookup table and extends it with `addresses` (one create
+ * transaction, then one transaction per chunk of 30 addresses — 27 when payer
+ * and authority are distinct signers). Returns the table address and a slot
+ * upper bound for the last extend — feed it to `waitForAltActive` before
+ * compressing a transaction against the table.
+ *
+ * More than LOOKUP_TABLE_MAX_ADDRESSES addresses throws before the create
+ * transaction is built, so no table is funded.
+ */
+export declare function createAltWithAddresses({ rpc, payer, authority, addresses, sendAndConfirm, commitment, }: CreateAltInput): Promise<{
+    lookupTableAddress: Address;
+    lastExtendedSlot: bigint;
+}>;
+export interface ExtendAltInput {
+    rpc: Rpc<GetLatestBlockhashApi & GetSlotApi>;
+    payer: TransactionSigner;
+    authority: TransactionSigner;
+    /** The existing table to extend (must already be created and owned by `authority`). */
+    lookupTableAddress: Address;
+    /**
+     * Addresses to append — the caller has already removed any the table holds.
+     * extendAlt never reads the table, so it can only reject a set too large for
+     * ANY table; a caller appending to a partly-full one owns the held + appended
+     * sum (ensureLookupTable checks exactly that).
+     */
+    addresses: readonly Address[];
+    sendAndConfirm: SendAndConfirmTransaction;
+    commitment?: Commitment;
+}
+/**
+ * Appends `addresses` to an existing lookup table (one transaction per chunk of
+ * 30 — 27 with a distinct authority), returning a slot upper bound for the last
+ * extend. Feed it to `waitForAltActive` before compressing against the table.
+ * An empty `addresses` sends nothing and returns the current slot (the table is
+ * already sufficient) — this is the idempotent no-op the reuse path relies on.
+ *
+ * More than LOOKUP_TABLE_MAX_ADDRESSES throws before the first chunk goes out:
+ * the chunks are sent sequentially, so a set that cannot fit would otherwise
+ * rent-fund a half-filled table before failing on-chain.
+ */
+export declare function extendAlt({ rpc, payer, authority, lookupTableAddress, addresses, sendAndConfirm, commitment, }: ExtendAltInput): Promise<{
+    lastExtendedSlot: bigint;
+}>;
+/**
+ * Waits until the lookup table is usable. Addresses extended in slot N are
+ * usable from slot N+1 onward, so this resolves once getSlot() > lastExtendedSlot.
+ */
+export declare function waitForAltActive(rpc: Rpc<GetSlotApi>, lastExtendedSlot: bigint, { timeoutMs, pollMs }?: {
+    timeoutMs?: number;
+    pollMs?: number;
+}): Promise<void>;
+/** Fetches a lookup table in the shape `compressTransactionMessageUsingAddressLookupTables` consumes. */
+export declare function fetchAlt(rpc: Parameters<typeof fetchAddressLookupTable>[0], lookupTableAddress: Address): Promise<AddressesByLookupTableAddress>;
+//# sourceMappingURL=alt.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"alt.d.ts","sourceRoot":"","sources":["../../src/svm/alt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,OAAO,EACP,6BAA6B,EAC7B,UAAU,EACV,qBAAqB,EACrB,UAAU,EAEV,GAAG,EACH,iBAAiB,EAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,uBAAuB,EAIxB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAExD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAWjE;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAS9C;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,GAAG,OAAO,EAAE,CAWnF;AAED,MAAM,MAAM,yBAAyB,GAAG,CACtC,WAAW,EAAE,wBAAwB,EACrC,MAAM,EAAE;IAAE,UAAU,EAAE,UAAU,CAAA;CAAE,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;AAEnB,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,GAAG,CAAC,qBAAqB,GAAG,UAAU,CAAC,CAAC;IAC7C,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IAC9B,cAAc,EAAE,yBAAyB,CAAC;IAC1C,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,wBAAsB,sBAAsB,CAAC,EAC3C,GAAG,EACH,KAAK,EACL,SAAS,EACT,SAAS,EACT,cAAc,EACd,UAAwB,GACzB,EAAE,cAAc,GAAG,OAAO,CAAC;IAAE,kBAAkB,EAAE,OAAO,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE,CAAC,CAsCrF;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,GAAG,CAAC,qBAAqB,GAAG,UAAU,CAAC,CAAC;IAC7C,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,uFAAuF;IACvF,kBAAkB,EAAE,OAAO,CAAC;IAC5B;;;;;OAKG;IACH,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IAC9B,cAAc,EAAE,yBAAyB,CAAC;IAC1C,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,SAAS,CAAC,EAC9B,GAAG,EACH,KAAK,EACL,SAAS,EACT,kBAAkB,EAClB,SAAS,EACT,cAAc,EACd,UAAwB,GACzB,EAAE,cAAc,GAAG,OAAO,CAAC;IAAE,gBAAgB,EAAE,MAAM,CAAA;CAAE,CAAC,CA2BxD;AAED;;;GAGG;AACH,wBAAsB,gBAAgB,CACpC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,EACpB,gBAAgB,EAAE,MAAM,EACxB,EAAE,SAAkB,EAAE,MAAY,EAAE,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAO,GACjF,OAAO,CAAC,IAAI,CAAC,CAgBf;AAED,yGAAyG;AACzG,wBAAsB,QAAQ,CAC5B,GAAG,EAAE,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAC,CAAC,EAClD,kBAAkB,EAAE,OAAO,GAC1B,OAAO,CAAC,6BAA6B,CAAC,CAIxC"}

package/sdk/dist/svm/alt.js

@@ -0,0 +1,138 @@
+import { isSignerRole } from "@solana/kit";
+import { fetchAddressLookupTable, findAddressLookupTablePda, getCreateLookupTableInstructionAsync, getExtendLookupTableInstruction, } from "@solana-program/address-lookup-table";
+import { buildExecuteTransaction } from "./transaction.js";
+/**
+ * Max addresses per extend instruction — keeps each extend transaction inside
+ * the 1232-byte packet. 30 addresses fit (1212 bytes) when payer === authority;
+ * a distinct authority costs a second signature (64B) plus one extra static
+ * account (32B) = exactly 3 address slots, leaving room for 27 (also 1212 bytes).
+ */
+const MAX_ADDRESSES_PER_EXTEND = 30;
+const MAX_ADDRESSES_PER_EXTEND_DISTINCT_AUTHORITY = 27;
+/**
+ * Hard on-chain capacity of one address lookup table (LOOKUP_TABLE_MAX_ADDRESSES
+ * in solana-program). The extend instruction that would cross it fails, and
+ * because the extends are sent sequentially the earlier ones have already
+ * landed — so callers must reject an oversized set BEFORE sending anything
+ * rather than leave a half-filled, rent-funded table behind.
+ */
+export const LOOKUP_TABLE_MAX_ADDRESSES = 256;
+/** Extend chunk size for a (payer, authority) pair — 30 same-key, 27 when a distinct authority costs a second signature. */
+function extendChunkSize(payer, authority) {
+    return payer === authority
+        ? MAX_ADDRESSES_PER_EXTEND
+        : MAX_ADDRESSES_PER_EXTEND_DISTINCT_AUTHORITY;
+}
+/**
+ * Picks the account addresses worth putting in a lookup table: non-signers
+ * only (signers must be static message accounts — they cannot be looked up),
+ * deduplicated in first-seen order.
+ */
+export function selectAltAddresses(metas) {
+    const seen = new Set();
+    const addresses = [];
+    for (const meta of metas) {
+        if (isSignerRole(meta.role) || seen.has(meta.address))
+            continue;
+        seen.add(meta.address);
+        addresses.push(meta.address);
+    }
+    return addresses;
+}
+/**
+ * Creates an address lookup table and extends it with `addresses` (one create
+ * transaction, then one transaction per chunk of 30 addresses — 27 when payer
+ * and authority are distinct signers). Returns the table address and a slot
+ * upper bound for the last extend — feed it to `waitForAltActive` before
+ * compressing a transaction against the table.
+ *
+ * More than LOOKUP_TABLE_MAX_ADDRESSES addresses throws before the create
+ * transaction is built, so no table is funded.
+ */
+export async function createAltWithAddresses({ rpc, payer, authority, addresses, sendAndConfirm, commitment = "confirmed", }) {
+    if (addresses.length > LOOKUP_TABLE_MAX_ADDRESSES) {
+        throw new Error(`cannot create an address lookup table with ${addresses.length} addresses: one table holds at most ${LOOKUP_TABLE_MAX_ADDRESSES}`);
+    }
+    const recentSlot = await rpc.getSlot({ commitment: "finalized" }).send();
+    const [createInstruction, [lookupTableAddress]] = await Promise.all([
+        getCreateLookupTableInstructionAsync({ authority: authority.address, payer, recentSlot }),
+        findAddressLookupTablePda({ authority: authority.address, recentSlot }),
+    ]);
+    const chunkSize = extendChunkSize(payer.address, authority.address);
+    const batches = [[createInstruction]];
+    for (let i = 0; i < addresses.length; i += chunkSize) {
+        batches.push([
+            getExtendLookupTableInstruction({
+                address: lookupTableAddress,
+                authority,
+                payer,
+                addresses: addresses.slice(i, i + chunkSize),
+            }),
+        ]);
+    }
+    for (const instructions of batches) {
+        const { value: latestBlockhash } = await rpc.getLatestBlockhash({ commitment }).send();
+        const transaction = await buildExecuteTransaction({ payer, instructions, latestBlockhash });
+        await sendAndConfirm(transaction, { commitment });
+    }
+    // The last extend landed no later than the current confirmed slot, so this
+    // is a safe (over-approximated) anchor for the warmup wait below.
+    const lastExtendedSlot = await rpc.getSlot({ commitment }).send();
+    return { lookupTableAddress, lastExtendedSlot };
+}
+/**
+ * Appends `addresses` to an existing lookup table (one transaction per chunk of
+ * 30 — 27 with a distinct authority), returning a slot upper bound for the last
+ * extend. Feed it to `waitForAltActive` before compressing against the table.
+ * An empty `addresses` sends nothing and returns the current slot (the table is
+ * already sufficient) — this is the idempotent no-op the reuse path relies on.
+ *
+ * More than LOOKUP_TABLE_MAX_ADDRESSES throws before the first chunk goes out:
+ * the chunks are sent sequentially, so a set that cannot fit would otherwise
+ * rent-fund a half-filled table before failing on-chain.
+ */
+export async function extendAlt({ rpc, payer, authority, lookupTableAddress, addresses, sendAndConfirm, commitment = "confirmed", }) {
+    if (addresses.length > LOOKUP_TABLE_MAX_ADDRESSES) {
+        throw new Error(`cannot extend lookup table ${lookupTableAddress} with ${addresses.length} addresses: one table holds at most ${LOOKUP_TABLE_MAX_ADDRESSES}`);
+    }
+    const chunkSize = extendChunkSize(payer.address, authority.address);
+    for (let i = 0; i < addresses.length; i += chunkSize) {
+        const { value: latestBlockhash } = await rpc.getLatestBlockhash({ commitment }).send();
+        const transaction = await buildExecuteTransaction({
+            payer,
+            instructions: [
+                getExtendLookupTableInstruction({
+                    address: lookupTableAddress,
+                    authority,
+                    payer,
+                    addresses: addresses.slice(i, i + chunkSize),
+                }),
+            ],
+            latestBlockhash,
+        });
+        await sendAndConfirm(transaction, { commitment });
+    }
+    return { lastExtendedSlot: await rpc.getSlot({ commitment }).send() };
+}
+/**
+ * Waits until the lookup table is usable. Addresses extended in slot N are
+ * usable from slot N+1 onward, so this resolves once getSlot() > lastExtendedSlot.
+ */
+export async function waitForAltActive(rpc, lastExtendedSlot, { timeoutMs = 30_000, pollMs = 400 } = {}) {
+    const deadline = Date.now() + timeoutMs;
+    for (;;) {
+        const slot = await rpc.getSlot({ commitment: "confirmed" }).send();
+        if (slot > lastExtendedSlot)
+            return;
+        if (Date.now() >= deadline) {
+            throw new Error(`address lookup table not active after ${timeoutMs}ms: current slot ${slot} has not passed last extended slot ${lastExtendedSlot}`);
+        }
+        await new Promise((resolve) => setTimeout(resolve, pollMs));
+    }
+}
+/** Fetches a lookup table in the shape `compressTransactionMessageUsingAddressLookupTables` consumes. */
+export async function fetchAlt(rpc, lookupTableAddress) {
+    const account = await fetchAddressLookupTable(rpc, lookupTableAddress);
+    return { [lookupTableAddress]: [...account.data.addresses] };
+}
+//# sourceMappingURL=alt.js.map

package/sdk/dist/svm/alt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alt.js","sourceRoot":"","sources":["../../src/svm/alt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAW3C,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,oCAAoC,EACpC,+BAA+B,GAChC,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAG3D;;;;;GAKG;AACH,MAAM,wBAAwB,GAAG,EAAE,CAAC;AACpC,MAAM,2CAA2C,GAAG,EAAE,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAE9C,4HAA4H;AAC5H,SAAS,eAAe,CAAC,KAAc,EAAE,SAAkB;IACzD,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,2CAA2C,CAAC;AAClD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAqC;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;IAChC,MAAM,SAAS,GAAc,EAAE,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QAChE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAgBD;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,EAC3C,GAAG,EACH,KAAK,EACL,SAAS,EACT,SAAS,EACT,cAAc,EACd,UAAU,GAAG,WAAW,GACT;IACf,IAAI,SAAS,CAAC,MAAM,GAAG,0BAA0B,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,8CAA8C,SAAS,CAAC,MAAM,uCAAuC,0BAA0B,EAAE,CAClI,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,MAAM,CAAC,iBAAiB,EAAE,CAAC,kBAAkB,CAAC,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAClE,oCAAoC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;QACzF,yBAAyB,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC;KACxE,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACpE,MAAM,OAAO,GAAoB,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAEvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC;YACX,+BAA+B,CAAC;gBAC9B,OAAO,EAAE,kBAAkB;gBAC3B,SAAS;gBACT,KAAK;gBACL,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;aAC7C,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,YAAY,IAAI,OAAO,EAAE,CAAC;QACnC,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvF,MAAM,WAAW,GAAG,MAAM,uBAAuB,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC;QAC5F,MAAM,cAAc,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,2EAA2E;IAC3E,kEAAkE;IAClE,MAAM,gBAAgB,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAElE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;AAClD,CAAC;AAmBD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,EAC9B,GAAG,EACH,KAAK,EACL,SAAS,EACT,kBAAkB,EAClB,SAAS,EACT,cAAc,EACd,UAAU,GAAG,WAAW,GACT;IACf,IAAI,SAAS,CAAC,MAAM,GAAG,0BAA0B,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,8BAA8B,kBAAkB,SAAS,SAAS,CAAC,MAAM,uCAAuC,0BAA0B,EAAE,CAC7I,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IAEpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QACrD,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvF,MAAM,WAAW,GAAG,MAAM,uBAAuB,CAAC;YAChD,KAAK;YACL,YAAY,EAAE;gBACZ,+BAA+B,CAAC;oBAC9B,OAAO,EAAE,kBAAkB;oBAC3B,SAAS;oBACT,KAAK;oBACL,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;iBAC7C,CAAC;aACH;YACD,eAAe;SAChB,CAAC,CAAC;QACH,MAAM,cAAc,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,EAAE,gBAAgB,EAAE,MAAM,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,GAAoB,EACpB,gBAAwB,EACxB,EAAE,SAAS,GAAG,MAAM,EAAE,MAAM,GAAG,GAAG,KAA8C,EAAE;IAElF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAExC,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAEnE,IAAI,IAAI,GAAG,gBAAgB;YAAE,OAAO;QAEpC,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,yCAAyC,SAAS,oBAAoB,IAAI,sCAAsC,gBAAgB,EAAE,CACnI,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,yGAAyG;AACzG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,GAAkD,EAClD,kBAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,uBAAuB,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAEvE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;AAC/D,CAAC"}

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

@@ -0,0 +1,31 @@
+/**
+ * Staged payload-args encoder, against an `ArgsLayout` (mode 'calldata') the
+ * caller supplies. The layout is SDK-owned (`./layout.ts`) — neither `CompileResult` carries an
+ * argument layout: the compiler's is `{ bytecode, manifest? }`, the route seam's
+ * (`routes/compile-types.ts`) is `{ bytecode: Uint8Array[], warnings }`. Per-execution args
+ * ride the execute_from_account INSTRUCTION PAYLOAD after the flags byte and
+ * optional hash pin; the engine exposes the composite `buffer bytecode ++ args`
+ * through CALLDATA and the compiled prologue reads arg i at composite offset
+ * `programLength + slot.offset` — so this module's byte layout must mirror the
+ * layout's slots exactly.
+ *
+ * Slot ABI (normative, and what the engine's prologue reads):
+ * - scalar slots: 32 bytes, u256 BIG-ENDIAN (the prologue reads them with
+ *   SLICE + CAST_BE);
+ * - bytes slots: the raw bytes, length fixed at compile time.
+ *
+ * Packet budget: 939 − 33·N payload-arg bytes with a pin and N extra user
+ * accounts (stagedArgsBudget) — bigger args belong in a second buffer used as
+ * a data account, read on-chain via accountData.
+ */
+import type { ArgsLayout, ArgsLayoutSlot, ArgValue } from "./layout.js";
+/** Encodes one runtime value against its layout slot (scalar → 32B BE word, bytes → raw). */
+export declare function encodeArgSlot(slot: ArgsLayoutSlot, value: ArgValue): Uint8Array;
+/**
+ * Encodes the full payload-args tail against the caller-supplied `ArgsLayout`: slot i's
+ * bytes land at exactly layout.slots[i].offset, back to back — the compiled
+ * prologue's baked SLICE offsets leave no room for drift, so any layout/value
+ * mismatch throws instead of producing silently shifted reads.
+ */
+export declare function encodePayloadArgs(layout: ArgsLayout, values: readonly ArgValue[]): Uint8Array;
+//# sourceMappingURL=args.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"args.d.ts","sourceRoot":"","sources":["../../src/svm/args.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAgBxE,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU,CAmC/E;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,QAAQ,EAAE,GAAG,UAAU,CA6B7F"}

package/sdk/dist/svm/args.js

@@ -0,0 +1,61 @@
+function hexToBytes(hex) {
+    const h = hex.startsWith("0x") ? hex.slice(2) : hex;
+    if (h.length % 2 !== 0 || /[^0-9a-fA-F]/.test(h))
+        throw new Error(`invalid hex bytes value: ${hex}`);
+    const bytes = new Uint8Array(h.length / 2);
+    for (let i = 0; i < bytes.length; i++) {
+        bytes[i] = parseInt(h.substring(i * 2, i * 2 + 2), 16);
+    }
+    return bytes;
+}
+/** Encodes one runtime value against its layout slot (scalar → 32B BE word, bytes → raw). */
+export function encodeArgSlot(slot, value) {
+    if (slot.kind === "scalar") {
+        if (typeof value !== "bigint") {
+            throw new Error(`arg ${slot.arg} is a scalar slot; got ${Array.isArray(value) ? "array" : typeof value}`);
+        }
+        if (value < 0n || value >= 1n << 256n)
+            throw new Error(`arg ${slot.arg} out of u256 range`);
+        const bytes = new Uint8Array(32);
+        let v = value;
+        for (let i = 31; i >= 0 && v > 0n; i--) {
+            bytes[i] = Number(v & 0xffn);
+            v >>= 8n;
+        }
+        return bytes;
+    }
+    if (typeof value !== "string") {
+        throw new Error(`arg ${slot.arg} is a bytes slot; got ${Array.isArray(value) ? "array" : typeof value}`);
+    }
+    const bytes = hexToBytes(value);
+    if (bytes.length !== slot.length) {
+        throw new Error(`arg ${slot.arg} bytes length ${bytes.length} does not match the layout slot length ${slot.length}`);
+    }
+    return bytes;
+}
+/**
+ * Encodes the full payload-args tail against the caller-supplied `ArgsLayout`: slot i's
+ * bytes land at exactly layout.slots[i].offset, back to back — the compiled
+ * prologue's baked SLICE offsets leave no room for drift, so any layout/value
+ * mismatch throws instead of producing silently shifted reads.
+ */
+export function encodePayloadArgs(layout, values) {
+    if (values.length !== layout.slots.length) {
+        throw new Error(`argsLayout has ${layout.slots.length} slots but ${values.length} values were provided`);
+    }
+    const payload = new Uint8Array(layout.byteLength);
+    let offset = 0;
+    layout.slots.forEach((slot, i) => {
+        if (slot.offset !== offset) {
+            throw new Error(`argsLayout slot ${i} offset ${slot.offset} does not match the packed position ${offset}`);
+        }
+        const bytes = encodeArgSlot(slot, values[i]);
+        payload.set(bytes, offset);
+        offset += bytes.length;
+    });
+    if (offset !== layout.byteLength) {
+        throw new Error(`argsLayout byteLength ${layout.byteLength} does not match the packed length ${offset}`);
+    }
+    return payload;
+}
+//# sourceMappingURL=args.js.map

package/sdk/dist/svm/args.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"args.js","sourceRoot":"","sources":["../../src/svm/args.ts"],"names":[],"mappings":"AAsBA,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAEpD,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,EAAE,CAAC,CAAC;IAErD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,IAAoB,EAAE,KAAe;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,OAAO,IAAI,CAAC,GAAG,0BAA0B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CACzF,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,IAAI,EAAE,IAAI,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC;QAE5F,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;YAC7B,CAAC,KAAK,EAAE,CAAC;QACX,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb,OAAO,IAAI,CAAC,GAAG,yBAAyB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAEhC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,OAAO,IAAI,CAAC,GAAG,iBAAiB,KAAK,CAAC,MAAM,0CAA0C,IAAI,CAAC,MAAM,EAAE,CACpG,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAkB,EAAE,MAA2B;IAC/E,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,kBAAkB,MAAM,CAAC,KAAK,CAAC,MAAM,cAAc,MAAM,CAAC,MAAM,uBAAuB,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,mBAAmB,CAAC,WAAW,IAAI,CAAC,MAAM,uCAAuC,MAAM,EAAE,CAC1F,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,UAAU,qCAAqC,MAAM,EAAE,CACxF,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}