crypto-aio 0.0.3 → 0.2.0

package/dist/adapters/solana/programs.js

@@ -0,0 +1,159 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_MEMO_BYTES = exports.DEFAULT_INSTRUCTION_COMPUTE_UNITS = exports.MAX_COMPUTE_UNIT_LIMIT = exports.MAX_TRANSACTION_SIZE = exports.TOKEN_ACCOUNT_SIZE = exports.MINT_SIZE = exports.VOTE_PROGRAM = exports.COMPUTE_BUDGET_PROGRAM = exports.MEMO_V1_PROGRAM = exports.MEMO_PROGRAM = exports.ASSOCIATED_TOKEN_PROGRAM = exports.TOKEN_2022_PROGRAM = exports.TOKEN_PROGRAM = exports.SYSTEM_PROGRAM = void 0;
+exports.setComputeUnitLimit = setComputeUnitLimit;
+exports.setComputeUnitPrice = setComputeUnitPrice;
+exports.systemTransfer = systemTransfer;
+exports.createAssociatedTokenAccountIdempotent = createAssociatedTokenAccountIdempotent;
+exports.transferChecked = transferChecked;
+exports.memo = memo;
+exports.decodeMint = decodeMint;
+exports.decodeTokenAccount = decodeTokenAccount;
+/**
+ * Solana program ids, account layouts and the instructions the driver builds, SDK-free
+ * (built without `@solana/spl-token`). Every encoding is checked against a real devnet
+ * transaction and `@solana/web3.js`'s own builders (`codec.test.ts`).
+ */
+const error_1 = require("../../core/errors/error");
+exports.SYSTEM_PROGRAM = '11111111111111111111111111111111';
+exports.TOKEN_PROGRAM = 'TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA';
+exports.TOKEN_2022_PROGRAM = 'TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb';
+exports.ASSOCIATED_TOKEN_PROGRAM = 'ATokenGPvbdGVxr1b2hvZbsiqW5xWH25efTNsLJA8knL';
+exports.MEMO_PROGRAM = 'MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr';
+/** The first Memo program; still parsed on received transactions. */
+exports.MEMO_V1_PROGRAM = 'Memo1UhkJRfHyvLMcVucJwxXeuD728EqVDDwQDxFMNo';
+exports.COMPUTE_BUDGET_PROGRAM = 'ComputeBudget111111111111111111111111111111';
+exports.VOTE_PROGRAM = 'Vote111111111111111111111111111111111111111';
+/** Classic Token program account sizes (bytes). */
+exports.MINT_SIZE = 82;
+exports.TOKEN_ACCOUNT_SIZE = 165;
+/** A transaction's maximum serialized size (the network packet limit). */
+exports.MAX_TRANSACTION_SIZE = 1232;
+/** The compute-unit limit of one transaction, and the default per instruction. */
+exports.MAX_COMPUTE_UNIT_LIMIT = 1400000n;
+exports.DEFAULT_INSTRUCTION_COMPUTE_UNITS = 200000n;
+/** Memo text limit (UTF-8 bytes): a library policy that keeps every transfer well under
+ *  the packet limit. */
+exports.MAX_MEMO_BYTES = 256;
+/**
+ * DataView and `Uint8Array.of` silently wrap a value that does not fit (2^64 + 5 lamports
+ * would encode as 5); we refuse it with a fixed text: `INVALID_AMOUNT` for a u64
+ * (lamports, token amounts and micro-lamports), `INVALID_INTENT` for a u8 (decimals) or a
+ * u32 (compute units).
+ */
+const outOfRange = (bits) => new error_1.ValidationError(bits === 64 ? 'INVALID_AMOUNT' : 'INVALID_INTENT', `a value does not fit in its u${bits} field`);
+function u8(value) {
+    if (!Number.isInteger(value) || value < 0 || value > 0xff)
+        throw outOfRange(8);
+    return Uint8Array.of(value);
+}
+function u32(value) {
+    if (value < 0n || value > 0xffffffffn)
+        throw outOfRange(32);
+    const out = new Uint8Array(4);
+    new DataView(out.buffer).setUint32(0, Number(value), true);
+    return out;
+}
+function u64(value) {
+    if (value < 0n || value >= 2n ** 64n)
+        throw outOfRange(64);
+    const out = new Uint8Array(8);
+    new DataView(out.buffer).setBigUint64(0, value, true);
+    return out;
+}
+const bytes = (...parts) => {
+    const out = new Uint8Array(parts.reduce((n, p) => n + p.length, 0));
+    let offset = 0;
+    for (const part of parts) {
+        out.set(part, offset);
+        offset += part.length;
+    }
+    return out;
+};
+const signer = (address, writable) => ({
+    address,
+    signer: true,
+    writable,
+});
+const account = (address, writable) => ({
+    address,
+    signer: false,
+    writable,
+});
+/** ComputeBudget `SetComputeUnitLimit` (2, u32). */
+function setComputeUnitLimit(units) {
+    return {
+        programId: exports.COMPUTE_BUDGET_PROGRAM,
+        accounts: [],
+        data: bytes(Uint8Array.of(2), u32(units)),
+    };
+}
+/** ComputeBudget `SetComputeUnitPrice` (3, u64 micro-lamports). */
+function setComputeUnitPrice(microLamports) {
+    return {
+        programId: exports.COMPUTE_BUDGET_PROGRAM,
+        accounts: [],
+        data: bytes(Uint8Array.of(3), u64(microLamports)),
+    };
+}
+/** System `Transfer` (2, u64 lamports). */
+function systemTransfer(from, to, lamports) {
+    return {
+        programId: exports.SYSTEM_PROGRAM,
+        accounts: [signer(from, true), account(to, true)],
+        data: bytes(u32(2n), u64(lamports)),
+    };
+}
+/** Associated Token Account `CreateIdempotent` (1). */
+function createAssociatedTokenAccountIdempotent(payer, associated, owner, mint) {
+    return {
+        programId: exports.ASSOCIATED_TOKEN_PROGRAM,
+        accounts: [
+            signer(payer, true),
+            account(associated, true),
+            account(owner, false),
+            account(mint, false),
+            account(exports.SYSTEM_PROGRAM, false),
+            account(exports.TOKEN_PROGRAM, false),
+        ],
+        data: Uint8Array.of(1),
+    };
+}
+/** Token `TransferChecked` (12, u64 amount, u8 decimals). */
+function transferChecked(source, mint, destination, authority, amount, decimals) {
+    return {
+        programId: exports.TOKEN_PROGRAM,
+        accounts: [
+            account(source, true),
+            account(mint, false),
+            account(destination, true),
+            signer(authority, false),
+        ],
+        data: bytes(Uint8Array.of(12), u64(amount), u8(decimals)),
+    };
+}
+/** Memo v2: the UTF-8 text, no accounts. */
+function memo(text) {
+    return { programId: exports.MEMO_PROGRAM, accounts: [], data: new TextEncoder().encode(text) };
+}
+/** A classic Token mint (82 bytes): its decimals, when initialized. */
+function decodeMint(data) {
+    if (data.length !== exports.MINT_SIZE || data[45] !== 1)
+        return null;
+    return { decimals: data[44] };
+}
+/** A classic Token account (165 bytes): mint, owner, amount and state. */
+function decodeTokenAccount(data) {
+    if (data.length !== exports.TOKEN_ACCOUNT_SIZE)
+        return null;
+    const state = data[108];
+    if (state !== 1 && state !== 2)
+        return null;
+    return {
+        mint: data.slice(0, 32),
+        owner: data.slice(32, 64),
+        amount: new DataView(data.buffer, data.byteOffset + 64, 8).getBigUint64(0, true),
+        frozen: state === 2,
+    };
+}
+//# sourceMappingURL=programs.js.map

package/dist/adapters/solana/programs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"programs.js","sourceRoot":"","sources":["../../../src/adapters/solana/programs.ts"],"names":[],"mappings":";;;AAmFA,kDAMC;AAGD,kDAMC;AAGD,wCAUC;AAGD,wFAkBC;AAGD,0CAkBC;AAGD,oBAEC;AAGD,gCAGC;AAGD,gDAeC;AAtLD;;;;GAIG;AACH,mDAA0D;AAG7C,QAAA,cAAc,GAAG,kCAAkC,CAAC;AACpD,QAAA,aAAa,GAAG,6CAA6C,CAAC;AAC9D,QAAA,kBAAkB,GAAG,6CAA6C,CAAC;AACnE,QAAA,wBAAwB,GAAG,8CAA8C,CAAC;AAC1E,QAAA,YAAY,GAAG,6CAA6C,CAAC;AAC1E,qEAAqE;AACxD,QAAA,eAAe,GAAG,6CAA6C,CAAC;AAChE,QAAA,sBAAsB,GAAG,6CAA6C,CAAC;AACvE,QAAA,YAAY,GAAG,6CAA6C,CAAC;AAE1E,mDAAmD;AACtC,QAAA,SAAS,GAAG,EAAE,CAAC;AACf,QAAA,kBAAkB,GAAG,GAAG,CAAC;AACtC,0EAA0E;AAC7D,QAAA,oBAAoB,GAAG,IAAI,CAAC;AACzC,kFAAkF;AACrE,QAAA,sBAAsB,GAAG,QAAU,CAAC;AACpC,QAAA,iCAAiC,GAAG,OAAQ,CAAC;AAC1D;wBACwB;AACX,QAAA,cAAc,GAAG,GAAG,CAAC;AAElC;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAAC,IAAiB,EAAE,EAAE,CACvC,IAAI,uBAAe,CACjB,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,EACjD,gCAAgC,IAAI,QAAQ,CAC7C,CAAC;AAEJ,SAAS,EAAE,CAAC,KAAa;IACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,IAAI;QAAE,MAAM,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,GAAG,CAAC,KAAa;IACxB,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,GAAG,WAAY;QAAE,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,GAAG,CAAC,KAAa;IACxB,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,IAAI,EAAE,IAAI,GAAG;QAAE,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACtD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,GAAG,KAAmB,EAAc,EAAE;IACnD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtB,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,QAAiB,EAAE,EAAE,CAAC,CAAC;IACtD,OAAO;IACP,MAAM,EAAE,IAAI;IACZ,QAAQ;CACT,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,QAAiB,EAAE,EAAE,CAAC,CAAC;IACvD,OAAO;IACP,MAAM,EAAE,KAAK;IACb,QAAQ;CACT,CAAC,CAAC;AAEH,oDAAoD;AACpD,SAAgB,mBAAmB,CAAC,KAAa;IAC/C,OAAO;QACL,SAAS,EAAE,8BAAsB;QACjC,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,SAAgB,mBAAmB,CAAC,aAAqB;IACvD,OAAO;QACL,SAAS,EAAE,8BAAsB;QACjC,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,SAAgB,cAAc,CAC5B,IAAY,EACZ,EAAU,EACV,QAAgB;IAEhB,OAAO;QACL,SAAS,EAAE,sBAAc;QACzB,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,uDAAuD;AACvD,SAAgB,sCAAsC,CACpD,KAAa,EACb,UAAkB,EAClB,KAAa,EACb,IAAY;IAEZ,OAAO;QACL,SAAS,EAAE,gCAAwB;QACnC,QAAQ,EAAE;YACR,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YACnB,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;YACzB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;YACrB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;YACpB,OAAO,CAAC,sBAAc,EAAE,KAAK,CAAC;YAC9B,OAAO,CAAC,qBAAa,EAAE,KAAK,CAAC;SAC9B;QACD,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAgB,eAAe,CAC7B,MAAc,EACd,IAAY,EACZ,WAAmB,EACnB,SAAiB,EACjB,MAAc,EACd,QAAgB;IAEhB,OAAO;QACL,SAAS,EAAE,qBAAa;QACxB,QAAQ,EAAE;YACR,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;YACrB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;YACpB,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC;YAC1B,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;SACzB;QACD,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,SAAgB,IAAI,CAAC,IAAY;IAC/B,OAAO,EAAE,SAAS,EAAE,oBAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACzF,CAAC;AAED,uEAAuE;AACvE,SAAgB,UAAU,CAAC,IAAgB;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAS,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAW,EAAE,CAAC;AAC1C,CAAC;AAED,0EAA0E;AAC1E,SAAgB,kBAAkB,CAAC,IAAgB;IAMjD,IAAI,IAAI,CAAC,MAAM,KAAK,0BAAkB;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACvB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;QACzB,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC;QAChF,MAAM,EAAE,KAAK,KAAK,CAAC;KACpB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Solana program ids, account layouts and the instructions the driver builds, SDK-free\n * (built without `@solana/spl-token`). Every encoding is checked against a real devnet\n * transaction and `@solana/web3.js`'s own builders (`codec.test.ts`).\n */\nimport { ValidationError } from '../../core/errors/error';\nimport type { SolanaInstruction } from './types';\n\nexport const SYSTEM_PROGRAM = '11111111111111111111111111111111';\nexport const TOKEN_PROGRAM = 'TokenkegQfeZyiNwAJbNbGKPFXCWuBvf9Ss623VQ5DA';\nexport const TOKEN_2022_PROGRAM = 'TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb';\nexport const ASSOCIATED_TOKEN_PROGRAM = 'ATokenGPvbdGVxr1b2hvZbsiqW5xWH25efTNsLJA8knL';\nexport const MEMO_PROGRAM = 'MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr';\n/** The first Memo program; still parsed on received transactions. */\nexport const MEMO_V1_PROGRAM = 'Memo1UhkJRfHyvLMcVucJwxXeuD728EqVDDwQDxFMNo';\nexport const COMPUTE_BUDGET_PROGRAM = 'ComputeBudget111111111111111111111111111111';\nexport const VOTE_PROGRAM = 'Vote111111111111111111111111111111111111111';\n\n/** Classic Token program account sizes (bytes). */\nexport const MINT_SIZE = 82;\nexport const TOKEN_ACCOUNT_SIZE = 165;\n/** A transaction's maximum serialized size (the network packet limit). */\nexport const MAX_TRANSACTION_SIZE = 1232;\n/** The compute-unit limit of one transaction, and the default per instruction. */\nexport const MAX_COMPUTE_UNIT_LIMIT = 1_400_000n;\nexport const DEFAULT_INSTRUCTION_COMPUTE_UNITS = 200_000n;\n/** Memo text limit (UTF-8 bytes): a library policy that keeps every transfer well under\n *  the packet limit. */\nexport const MAX_MEMO_BYTES = 256;\n\n/**\n * DataView and `Uint8Array.of` silently wrap a value that does not fit (2^64 + 5 lamports\n * would encode as 5); we refuse it with a fixed text: `INVALID_AMOUNT` for a u64\n * (lamports, token amounts and micro-lamports), `INVALID_INTENT` for a u8 (decimals) or a\n * u32 (compute units).\n */\nconst outOfRange = (bits: 8 | 32 | 64) =>\n  new ValidationError(\n    bits === 64 ? 'INVALID_AMOUNT' : 'INVALID_INTENT',\n    `a value does not fit in its u${bits} field`,\n  );\n\nfunction u8(value: number): Uint8Array {\n  if (!Number.isInteger(value) || value < 0 || value > 0xff) throw outOfRange(8);\n  return Uint8Array.of(value);\n}\n\nfunction u32(value: bigint): Uint8Array {\n  if (value < 0n || value > 0xffff_ffffn) throw outOfRange(32);\n  const out = new Uint8Array(4);\n  new DataView(out.buffer).setUint32(0, Number(value), true);\n  return out;\n}\n\nfunction u64(value: bigint): Uint8Array {\n  if (value < 0n || value >= 2n ** 64n) throw outOfRange(64);\n  const out = new Uint8Array(8);\n  new DataView(out.buffer).setBigUint64(0, value, true);\n  return out;\n}\n\nconst bytes = (...parts: Uint8Array[]): Uint8Array => {\n  const out = new Uint8Array(parts.reduce((n, p) => n + p.length, 0));\n  let offset = 0;\n  for (const part of parts) {\n    out.set(part, offset);\n    offset += part.length;\n  }\n  return out;\n};\n\nconst signer = (address: string, writable: boolean) => ({\n  address,\n  signer: true,\n  writable,\n});\nconst account = (address: string, writable: boolean) => ({\n  address,\n  signer: false,\n  writable,\n});\n\n/** ComputeBudget `SetComputeUnitLimit` (2, u32). */\nexport function setComputeUnitLimit(units: bigint): SolanaInstruction {\n  return {\n    programId: COMPUTE_BUDGET_PROGRAM,\n    accounts: [],\n    data: bytes(Uint8Array.of(2), u32(units)),\n  };\n}\n\n/** ComputeBudget `SetComputeUnitPrice` (3, u64 micro-lamports). */\nexport function setComputeUnitPrice(microLamports: bigint): SolanaInstruction {\n  return {\n    programId: COMPUTE_BUDGET_PROGRAM,\n    accounts: [],\n    data: bytes(Uint8Array.of(3), u64(microLamports)),\n  };\n}\n\n/** System `Transfer` (2, u64 lamports). */\nexport function systemTransfer(\n  from: string,\n  to: string,\n  lamports: bigint,\n): SolanaInstruction {\n  return {\n    programId: SYSTEM_PROGRAM,\n    accounts: [signer(from, true), account(to, true)],\n    data: bytes(u32(2n), u64(lamports)),\n  };\n}\n\n/** Associated Token Account `CreateIdempotent` (1). */\nexport function createAssociatedTokenAccountIdempotent(\n  payer: string,\n  associated: string,\n  owner: string,\n  mint: string,\n): SolanaInstruction {\n  return {\n    programId: ASSOCIATED_TOKEN_PROGRAM,\n    accounts: [\n      signer(payer, true),\n      account(associated, true),\n      account(owner, false),\n      account(mint, false),\n      account(SYSTEM_PROGRAM, false),\n      account(TOKEN_PROGRAM, false),\n    ],\n    data: Uint8Array.of(1),\n  };\n}\n\n/** Token `TransferChecked` (12, u64 amount, u8 decimals). */\nexport function transferChecked(\n  source: string,\n  mint: string,\n  destination: string,\n  authority: string,\n  amount: bigint,\n  decimals: number,\n): SolanaInstruction {\n  return {\n    programId: TOKEN_PROGRAM,\n    accounts: [\n      account(source, true),\n      account(mint, false),\n      account(destination, true),\n      signer(authority, false),\n    ],\n    data: bytes(Uint8Array.of(12), u64(amount), u8(decimals)),\n  };\n}\n\n/** Memo v2: the UTF-8 text, no accounts. */\nexport function memo(text: string): SolanaInstruction {\n  return { programId: MEMO_PROGRAM, accounts: [], data: new TextEncoder().encode(text) };\n}\n\n/** A classic Token mint (82 bytes): its decimals, when initialized. */\nexport function decodeMint(data: Uint8Array): { readonly decimals: number } | null {\n  if (data.length !== MINT_SIZE || data[45] !== 1) return null;\n  return { decimals: data[44] as number };\n}\n\n/** A classic Token account (165 bytes): mint, owner, amount and state. */\nexport function decodeTokenAccount(data: Uint8Array): {\n  readonly mint: Uint8Array;\n  readonly owner: Uint8Array;\n  readonly amount: bigint;\n  readonly frozen: boolean;\n} | null {\n  if (data.length !== TOKEN_ACCOUNT_SIZE) return null;\n  const state = data[108];\n  if (state !== 1 && state !== 2) return null;\n  return {\n    mint: data.slice(0, 32),\n    owner: data.slice(32, 64),\n    amount: new DataView(data.buffer, data.byteOffset + 64, 8).getBigUint64(0, true),\n    frozen: state === 2,\n  };\n}\n"]}

package/dist/adapters/solana/proofs.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Proofs and block scanning. Each fact is attested at its own height with a monotone
+ * predicate, never at a height one endpoint proposes. "My finalized height is past H" is
+ * a quorum read of `getBlockHeight({ commitment: 'finalized' })` keyed on `height > H`;
+ * the block at a height is a quorum read of `getBlock(slot, { commitment: 'finalized' })`
+ * keyed on its consensus fields, so an endpoint that has not finalized it answers nothing
+ * and decides nothing.
+ *
+ * The expiry height itself is never taken on trust: the build read it from one endpoint,
+ * and a height reported too low would prove an Attempt expired while it can still land,
+ * so `rebuild` would pay twice. A verdict rests on the height the quorum attests for the
+ * transaction's blockhash: when the finalized block at the slot the build recorded
+ * carries it, that block's height plus `BLOCKHASH_VALIDITY` is the last valid height,
+ * whatever was recorded; otherwise the finalized block at the recorded height minus
+ * `BLOCKHASH_VALIDITY` must carry it, which confirms the recorded height without the
+ * slot. Neither decides nothing.
+ *
+ * A transaction is proven absent only by reading every block of its window
+ * under finality: each block certifies its own height and its parent's hash, from the
+ * blockhash's own block to the window's last, so a lagging, pruned, snapshot-jumped or
+ * long-term-storage-gapped backend behind a load-balanced URL can only answer "not
+ * available" (decides nothing), never a short window.
+ *
+ * Only a definitive negative proof answers "no". Every other RPC error
+ * on these paths decides nothing (`undecided`: a retryable `PROVIDER_UNAVAILABLE`).
+ *
+ * Tags: every read a verdict rests on carries the contract table's proof tags (`ChainDriver`
+ * in the core's `driver/types.ts`: purpose `proof`, quorum `'proof'`), with two deliberate
+ * exceptions, both single-endpoint `monitor` reads of hints the quorum then re-attests: the
+ * finalized height behind `finalizedHead` (the one unanchored head), and the
+ * height-to-slot lookups of `HeightIndex` (`attestedBlock`). A wrong hint names a block the
+ * quorum does not attest at that height, so it only ever decides nothing.
+ */
+import type { BlockSource, ProofSource } from '../../core/driver/types';
+import { type SolanaContext } from './reader';
+/**
+ * A blockhash is valid for this many blocks after its own: agave's `MAX_PROCESSING_AGE`
+ * (v4.3.0: `runtime/src/bank.rs` sets every bank's `max_processing_age` to it, and
+ * `get_blockhash_last_valid_block_height` answers `block_height + max_processing_age −
+ * age`, so the newest blockhash's last valid height is its block's height plus 150).
+ */
+export declare const BLOCKHASH_VALIDITY = 150n;
+/**
+ * The heights that can hold a transaction whose blockhash gives `lastValidBlockHeight`:
+ * from the block after the blockhash's own, through `lastValidBlockHeight + 1`. agave checks
+ * a blockhash's age against the including block's PARENT, so the block after
+ * `lastValidBlockHeight` still accepts it.
+ */
+export declare function windowOf(lastValidHeight: bigint): {
+    readonly first: bigint;
+    readonly end: bigint;
+};
+/** Library policy: an unanchored head trails one endpoint's view by this peer skew. */
+export declare const PEER_SKEW = 2n;
+export declare function createSolanaProofs(ctx: SolanaContext): ProofSource;
+export declare function createSolanaBlocks(ctx: SolanaContext): BlockSource;