@aztec/aztec-node 5.0.0-rc.1 → 5.0.0-rc.2

package/dest/modules/block_parameter.js

@@ -0,0 +1,100 @@
+import { BadRequestError } from '@aztec/foundation/json-rpc';
+import { BlockHash, BlockTag } from '@aztec/stdlib/block';
+/** True when `value` is a {@link BlockTag}. */ export function isBlockTag(value) {
+    return BlockTag.includes(value);
+}
+/** True when `value` is a {@link CheckpointTag}. */ export function isCheckpointTag(value) {
+    return value === 'checkpointed' || value === 'proven' || value === 'finalized';
+}
+/**
+ * Normalizes a {@link BlockParameter} (which may be a bare value) into a {@link NormalizedBlockParameter}
+ * object form. Performs no chain-tip resolution — tag lookups are deferred to the underlying block source.
+ */ export function normalizeBlockParameter(param) {
+    if (BlockHash.isBlockHash(param)) {
+        return {
+            hash: param
+        };
+    }
+    if (typeof param === 'number') {
+        return {
+            number: param
+        };
+    }
+    if (typeof param === 'string') {
+        if (isBlockTag(param)) {
+            return {
+                tag: param === 'latest' ? 'proposed' : param
+            };
+        }
+        throw new BadRequestError(`Invalid BlockParameter tag: ${param}`);
+    }
+    if (typeof param === 'object' && param !== null) {
+        if ('number' in param) {
+            return {
+                number: param.number
+            };
+        }
+        if ('hash' in param) {
+            return {
+                hash: param.hash
+            };
+        }
+        if ('archive' in param) {
+            return {
+                archive: param.archive
+            };
+        }
+        if ('tag' in param) {
+            if (isBlockTag(param.tag)) {
+                return {
+                    tag: param.tag
+                };
+            }
+            throw new BadRequestError(`Invalid BlockParameter tag: ${param.tag}`);
+        }
+    }
+    throw new BadRequestError(`Invalid BlockParameter: ${JSON.stringify(param)}`);
+}
+/**
+ * Resolves a {@link CheckpointParameter} into a concrete `{ number }` or `{ slot }` query.
+ *
+ * Tag-based parameters (`'checkpointed'`, `'proven'`, `'finalized'`) are translated up-front to the
+ * corresponding tip's checkpoint number via {@link L2BlockSource.getL2Tips}. After resolution the unified
+ * `getCheckpoint` flow can perform a single confirmed→proposed lookup against either store.
+ */ export async function resolveCheckpointParameter(param, blockSource) {
+    if (typeof param === 'number') {
+        return {
+            number: param
+        };
+    }
+    if (isCheckpointTag(param)) {
+        const tips = await blockSource.getL2Tips();
+        switch(param){
+            case 'checkpointed':
+                return {
+                    number: tips.checkpointed.checkpoint.number
+                };
+            case 'proven':
+                return {
+                    number: tips.proven.checkpoint.number
+                };
+            case 'finalized':
+                return {
+                    number: tips.finalized.checkpoint.number
+                };
+        }
+    }
+    if (typeof param === 'object' && param !== null) {
+        if ('number' in param) {
+            return {
+                number: param.number
+            };
+        }
+        if ('slot' in param) {
+            return {
+                slot: param.slot
+            };
+        }
+    }
+    throw new BadRequestError(`Invalid CheckpointParameter: ${JSON.stringify(param)}`);
+}

package/dest/modules/node_block_provider.d.ts

@@ -0,0 +1,19 @@
+import type { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
+import type { BlockData, BlockParameter, L2BlockSource } from '@aztec/stdlib/block';
+import type { BlockIncludeOptions, BlockResponse, BlocksIncludeOptions, CheckpointIncludeOptions, CheckpointParameter, CheckpointResponse } from '@aztec/stdlib/interfaces/client';
+/**
+ * Serves the node's block and checkpoint read queries, assembling RPC responses (optionally including
+ * transactions, L1 publish info, and attestations) from the underlying block source. Extracted from
+ * `AztecNodeService` to keep `server.ts` smaller.
+ */
+export declare class NodeBlockProvider {
+    #private;
+    private readonly blockSource;
+    constructor(blockSource: L2BlockSource);
+    getBlock<Opts extends BlockIncludeOptions = {}>(param: BlockParameter, options?: Opts): Promise<BlockResponse<Opts> | undefined>;
+    getBlockData(param: BlockParameter): Promise<BlockData | undefined>;
+    getBlocks<Opts extends BlocksIncludeOptions = {}>(from: BlockNumber, limit: number, options?: Opts): Promise<BlockResponse<Opts>[]>;
+    getCheckpoint<Opts extends CheckpointIncludeOptions = {}>(param: CheckpointParameter, options?: Opts): Promise<CheckpointResponse<Opts> | undefined>;
+    getCheckpoints<Opts extends CheckpointIncludeOptions = {}>(from: CheckpointNumber, limit: number, options?: Opts): Promise<CheckpointResponse<Opts>[]>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm9kZV9ibG9ja19wcm92aWRlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL21vZHVsZXMvbm9kZV9ibG9ja19wcm92aWRlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVyRixPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsY0FBYyxFQUF3QixhQUFhLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUUxRyxPQUFPLEtBQUssRUFDVixtQkFBbUIsRUFDbkIsYUFBYSxFQUNiLG9CQUFvQixFQUNwQix3QkFBd0IsRUFDeEIsbUJBQW1CLEVBQ25CLGtCQUFrQixFQUNuQixNQUFNLGlDQUFpQyxDQUFDO0FBV3pDOzs7O0dBSUc7QUFDSCxxQkFBYSxpQkFBaUI7O0lBQ2hCLE9BQU8sQ0FBQyxRQUFRLENBQUMsV0FBVztJQUF4QyxZQUE2QixXQUFXLEVBQUUsYUFBYSxFQUFJO0lBRTlDLFFBQVEsQ0FBQyxJQUFJLFNBQVMsbUJBQW1CLEdBQUcsRUFBRSxFQUN6RCxLQUFLLEVBQUUsY0FBYyxFQUNyQixPQUFPLEdBQUUsSUFBaUIsR0FDekIsT0FBTyxDQUFDLGFBQWEsQ0FBQyxJQUFJLENBQUMsR0FBRyxTQUFTLENBQUMsQ0FtQjFDO0lBRU0sWUFBWSxDQUFDLEtBQUssRUFBRSxjQUFjLEdBQUcsT0FBTyxDQUFDLFNBQVMsR0FBRyxTQUFTLENBQUMsQ0FHekU7SUFFWSxTQUFTLENBQUMsSUFBSSxTQUFTLG9CQUFvQixHQUFHLEVBQUUsRUFDM0QsSUFBSSxFQUFFLFdBQVcsRUFDakIsS0FBSyxFQUFFLE1BQU0sRUFDYixPQUFPLEdBQUUsSUFBaUIsR0FDekIsT0FBTyxDQUFDLGFBQWEsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLENBZ0JoQztJQUVZLGFBQWEsQ0FBQyxJQUFJLFNBQVMsd0JBQXdCLEdBQUcsRUFBRSxFQUNuRSxLQUFLLEVBQUUsbUJBQW1CLEVBQzFCLE9BQU8sR0FBRSxJQUFpQixHQUN6QixPQUFPLENBQUMsa0JBQWtCLENBQUMsSUFBSSxDQUFDLEdBQUcsU0FBUyxDQUFDLENBNEIvQztJQUVZLGNBQWMsQ0FBQyxJQUFJLFNBQVMsd0JBQXdCLEdBQUcsRUFBRSxFQUNwRSxJQUFJLEVBQUUsZ0JBQWdCLEVBQ3RCLEtBQUssRUFBRSxNQUFNLEVBQ2IsT0FBTyxHQUFFLElBQWlCLEdBQ3pCLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLENBU3JDO0NBcUJGIn0=

package/dest/modules/node_block_provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node_block_provider.d.ts","sourceRoot":"","sources":["../../src/modules/node_block_provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAErF,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAwB,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAE1G,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACb,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,iCAAiC,CAAC;AAWzC;;;;GAIG;AACH,qBAAa,iBAAiB;;IAChB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAAxC,YAA6B,WAAW,EAAE,aAAa,EAAI;IAE9C,QAAQ,CAAC,IAAI,SAAS,mBAAmB,GAAG,EAAE,EACzD,KAAK,EAAE,cAAc,EACrB,OAAO,GAAE,IAAiB,GACzB,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAmB1C;IAEM,YAAY,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAGzE;IAEY,SAAS,CAAC,IAAI,SAAS,oBAAoB,GAAG,EAAE,EAC3D,IAAI,EAAE,WAAW,EACjB,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,IAAiB,GACzB,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAgBhC;IAEY,aAAa,CAAC,IAAI,SAAS,wBAAwB,GAAG,EAAE,EACnE,KAAK,EAAE,mBAAmB,EAC1B,OAAO,GAAE,IAAiB,GACzB,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CA4B/C;IAEY,cAAc,CAAC,IAAI,SAAS,wBAAwB,GAAG,EAAE,EACpE,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,IAAiB,GACzB,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CASrC;CAqBF"}

package/dest/modules/node_block_provider.js

@@ -0,0 +1,112 @@
+import { BadRequestError } from '@aztec/foundation/json-rpc';
+import { blockResponseFromBlockData, blockResponseFromL2Block, checkpointResponseFromCheckpointData, checkpointResponseFromPublishedCheckpoint, projectProposedToCheckpointResponse } from '../aztec-node/block_response_helpers.js';
+import { normalizeBlockParameter, resolveCheckpointParameter } from './block_parameter.js';
+/**
+ * Serves the node's block and checkpoint read queries, assembling RPC responses (optionally including
+ * transactions, L1 publish info, and attestations) from the underlying block source. Extracted from
+ * `AztecNodeService` to keep `server.ts` smaller.
+ */ export class NodeBlockProvider {
+    blockSource;
+    constructor(blockSource){
+        this.blockSource = blockSource;
+    }
+    async getBlock(param, options = {}) {
+        const query = normalizeBlockParameter(param);
+        const wantTxs = !!options.includeTransactions;
+        const wantContext = !!options.includeL1PublishInfo || !!options.includeAttestations;
+        if (wantTxs) {
+            const block = await this.blockSource.getBlock(query);
+            if (!block) {
+                return undefined;
+            }
+            const ctx = wantContext ? await this.#getCheckpointContext(block.checkpointNumber) : undefined;
+            return await blockResponseFromL2Block(block, options, ctx);
+        }
+        const data = await this.blockSource.getBlockData(query);
+        if (!data) {
+            return undefined;
+        }
+        const ctx = wantContext ? await this.#getCheckpointContext(data.checkpointNumber) : undefined;
+        return blockResponseFromBlockData(data, options, ctx);
+    }
+    getBlockData(param) {
+        const query = normalizeBlockParameter(param);
+        return this.blockSource.getBlockData(query);
+    }
+    async getBlocks(from, limit, options = {}) {
+        const wantTxs = !!options.includeTransactions;
+        const wantContext = !!options.includeL1PublishInfo || !!options.includeAttestations;
+        const onlyCheckpointed = !!options.onlyCheckpointed;
+        if (wantTxs) {
+            const blocks = await this.blockSource.getBlocks({
+                from,
+                limit,
+                onlyCheckpointed
+            });
+            const ctxByCheckpoint = await this.#getCheckpointContextsForBlocks(wantContext ? blocks : []);
+            return await Promise.all(blocks.map((block)=>blockResponseFromL2Block(block, options, ctxByCheckpoint.get(block.checkpointNumber))));
+        }
+        const dataItems = await this.blockSource.getBlocksData({
+            from,
+            limit,
+            onlyCheckpointed
+        });
+        const ctxByCheckpoint = await this.#getCheckpointContextsForBlocks(wantContext ? dataItems : []);
+        return await Promise.all(dataItems.map((data)=>blockResponseFromBlockData(data, options, ctxByCheckpoint.get(data.checkpointNumber))));
+    }
+    async getCheckpoint(param, options = {}) {
+        const query = await resolveCheckpointParameter(param, this.blockSource);
+        // Try the confirmed store first.
+        const confirmed = options.includeBlocks ? await this.blockSource.getCheckpoint(query) : await this.blockSource.getCheckpointData(query);
+        if (confirmed) {
+            return await (options.includeBlocks ? checkpointResponseFromPublishedCheckpoint(confirmed, options) : checkpointResponseFromCheckpointData(confirmed, options));
+        }
+        // Fall back to the proposed store.
+        const proposed = await this.blockSource.getProposedCheckpointData(query);
+        if (proposed) {
+            if (options.includeAttestations || options.includeL1PublishInfo) {
+                throw new BadRequestError(`Options includeL1PublishInfo or includeAttestations cannot be satisfied for a proposed checkpoint`);
+            }
+            const blocks = options.includeBlocks ? await this.blockSource.getBlocks({
+                from: proposed.startBlock,
+                limit: proposed.blockCount
+            }) : undefined;
+            return await projectProposedToCheckpointResponse(proposed, options, blocks);
+        }
+        return undefined;
+    }
+    async getCheckpoints(from, limit, options = {}) {
+        if (options.includeBlocks) {
+            const checkpoints = await this.blockSource.getCheckpoints({
+                from,
+                limit
+            });
+            return await Promise.all(checkpoints.map((cp)=>checkpointResponseFromPublishedCheckpoint(cp, options)));
+        }
+        const datas = await this.blockSource.getCheckpointsData({
+            from,
+            limit
+        });
+        return datas.map((d)=>checkpointResponseFromCheckpointData(d, options));
+    }
+    /** Fetches checkpoint-level L1 and attestation data for use as block response context. */ async #getCheckpointContext(checkpointNumber) {
+        const checkpoint = await this.blockSource.getCheckpointData({
+            number: checkpointNumber
+        });
+        if (!checkpoint) {
+            return undefined;
+        }
+        return {
+            l1: checkpoint.l1,
+            attestations: checkpoint.attestations
+        };
+    }
+    /** Fetches checkpoint context for a set of blocks, deduplicating shared checkpoints. */ async #getCheckpointContextsForBlocks(blocks) {
+        const unique = Array.from(new Set(blocks.map((b)=>b.checkpointNumber)));
+        const entries = await Promise.all(unique.map(async (n)=>[
+                n,
+                await this.#getCheckpointContext(n)
+            ]));
+        return new Map(entries);
+    }
+}

package/dest/modules/node_tx_receipt.d.ts

@@ -0,0 +1,24 @@
+import type { P2P } from '@aztec/p2p';
+import type { L2BlockSource } from '@aztec/stdlib/block';
+import type { DebugLogStore } from '@aztec/stdlib/logs';
+import { type GetTxReceiptOptions, type TxHash, type TxReceipt } from '@aztec/stdlib/tx';
+/** Dependencies required to build a {@link NodeTxReceiptBuilder}. */
+export interface NodeTxReceiptBuilderDeps {
+    p2pClient: P2P;
+    blockSource: L2BlockSource;
+    debugLogStore: DebugLogStore;
+}
+/**
+ * Builds transaction receipts by reconciling the archiver's mined tx effects with the tx pool's view,
+ * deriving the finalization status from the cached L2 tips. Extracted from `AztecNodeService` to keep
+ * `server.ts` smaller.
+ */
+export declare class NodeTxReceiptBuilder {
+    #private;
+    private readonly p2pClient;
+    private readonly blockSource;
+    private readonly debugLogStore;
+    constructor(deps: NodeTxReceiptBuilderDeps);
+    getTxReceipt<TGetTxReceiptOptions extends GetTxReceiptOptions = {}>(txHash: TxHash, options?: TGetTxReceiptOptions): Promise<TxReceipt<TGetTxReceiptOptions>>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm9kZV90eF9yZWNlaXB0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbW9kdWxlcy9ub2RlX3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsR0FBRyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBQ3RDLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBVSxNQUFNLHFCQUFxQixDQUFDO0FBRWpFLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ3hELE9BQU8sRUFFTCxLQUFLLG1CQUFtQixFQU14QixLQUFLLE1BQU0sRUFDWCxLQUFLLFNBQVMsRUFFZixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLHFFQUFxRTtBQUNyRSxNQUFNLFdBQVcsd0JBQXdCO0lBQ3ZDLFNBQVMsRUFBRSxHQUFHLENBQUM7SUFDZixXQUFXLEVBQUUsYUFBYSxDQUFDO0lBQzNCLGFBQWEsRUFBRSxhQUFhLENBQUM7Q0FDOUI7QUFFRDs7OztHQUlHO0FBQ0gscUJBQWEsb0JBQW9COztJQUMvQixPQUFPLENBQUMsUUFBUSxDQUFDLFNBQVMsQ0FBTTtJQUNoQyxPQUFPLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBZ0I7SUFDNUMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQWdCO0lBRTlDLFlBQVksSUFBSSxFQUFFLHdCQUF3QixFQUl6QztJQUVZLFlBQVksQ0FBQyxvQkFBb0IsU0FBUyxtQkFBbUIsR0FBRyxFQUFFLEVBQzdFLE1BQU0sRUFBRSxNQUFNLEVBQ2QsT0FBTyxDQUFDLEVBQUUsb0JBQW9CLEdBQzdCLE9BQU8sQ0FBQyxTQUFTLENBQUMsb0JBQW9CLENBQUMsQ0FBQyxDQStCMUM7Q0F1Q0YifQ==

package/dest/modules/node_tx_receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node_tx_receipt.d.ts","sourceRoot":"","sources":["../../src/modules/node_tx_receipt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAU,MAAM,qBAAqB,CAAC;AAEjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAEL,KAAK,mBAAmB,EAMxB,KAAK,MAAM,EACX,KAAK,SAAS,EAEf,MAAM,kBAAkB,CAAC;AAE1B,qEAAqE;AACrE,MAAM,WAAW,wBAAwB;IACvC,SAAS,EAAE,GAAG,CAAC;IACf,WAAW,EAAE,aAAa,CAAC;IAC3B,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED;;;;GAIG;AACH,qBAAa,oBAAoB;;IAC/B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAM;IAChC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAgB;IAC5C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;IAE9C,YAAY,IAAI,EAAE,wBAAwB,EAIzC;IAEY,YAAY,CAAC,oBAAoB,SAAS,mBAAmB,GAAG,EAAE,EAC7E,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CA+B1C;CAuCF"}

package/dest/modules/node_tx_receipt.js

@@ -0,0 +1,70 @@
+import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
+import { DroppedTxReceipt, MinedTxReceipt, PendingTxReceipt, TxStatus } from '@aztec/stdlib/tx';
+/**
+ * Builds transaction receipts by reconciling the archiver's mined tx effects with the tx pool's view,
+ * deriving the finalization status from the cached L2 tips. Extracted from `AztecNodeService` to keep
+ * `server.ts` smaller.
+ */ export class NodeTxReceiptBuilder {
+    p2pClient;
+    blockSource;
+    debugLogStore;
+    constructor(deps){
+        this.p2pClient = deps.p2pClient;
+        this.blockSource = deps.blockSource;
+        this.debugLogStore = deps.debugLogStore;
+    }
+    async getTxReceipt(txHash, options) {
+        // Check the tx pool status first. If the tx is known to the pool (pending or mined), we'll use that
+        // as a fallback if we don't find a mined tx effect in the archiver.
+        const txPoolStatus = await this.p2pClient.getTxStatus(txHash);
+        const isKnownToPool = txPoolStatus === 'pending' || txPoolStatus === 'mined';
+        // Then get the raw tx effect from the archiver, which tracks every tx in a mined block.
+        const indexed = await this.blockSource.getTxEffect(txHash);
+        let receipt;
+        if (indexed) {
+            receipt = await this.#assembleMinedReceipt(indexed, options);
+        } else if (isKnownToPool) {
+            // If the tx is in the pool but not in the archiver, it's pending.
+            // This handles race conditions between archiver and p2p, where the archiver
+            // has pruned the block in which a tx was mined, but p2p has not caught up yet.
+            let tx;
+            if (options?.includePendingTx) {
+                // The tx may have left the pool since we checked its status (mined or dropped); in that case we
+                // leave `tx` unset and still return a pending receipt.
+                tx = await this.p2pClient.getTxByHashFromPool(txHash, {
+                    includeProof: !!options.includeProof
+                });
+            }
+            receipt = new PendingTxReceipt(txHash, tx);
+        } else {
+            // Otherwise, if we don't know the tx, we consider it dropped.
+            receipt = new DroppedTxReceipt(txHash, 'Tx dropped by P2P node');
+        }
+        this.debugLogStore.decorateReceiptWithLogs(txHash.toString(), receipt);
+        return receipt;
+    }
+    /**
+   * Assembles a {@link MinedTxReceipt} from a raw {@link IndexedTxEffect}, deriving the finalization status from the
+   * cached L2 tips and the epoch from the block's slot number.
+   */ async #assembleMinedReceipt(indexed, options) {
+        const blockNumber = indexed.l2BlockNumber;
+        const [tips, l1Constants] = await Promise.all([
+            this.blockSource.getL2Tips(),
+            this.blockSource.getL1Constants()
+        ]);
+        const status = this.#deriveMinedStatus(blockNumber, tips);
+        const epochNumber = getEpochAtSlot(indexed.slotNumber, l1Constants);
+        return new MinedTxReceipt(indexed.data.txHash, status, MinedTxReceipt.executionResultFromRevertCode(indexed.data.revertCode), indexed.data.transactionFee.toBigInt(), indexed.l2BlockHash, blockNumber, indexed.slotNumber, indexed.txIndexInBlock, epochNumber, options?.includeTxEffect ? indexed.data : undefined, /*debugLogs=*/ undefined);
+    }
+    #deriveMinedStatus(blockNumber, tips) {
+        if (blockNumber <= tips.finalized.block.number) {
+            return TxStatus.FINALIZED;
+        } else if (blockNumber <= tips.proven.block.number) {
+            return TxStatus.PROVEN;
+        } else if (blockNumber <= tips.checkpointed.block.number) {
+            return TxStatus.CHECKPOINTED;
+        } else {
+            return TxStatus.PROPOSED;
+        }
+    }
+}

package/dest/modules/node_world_state_queries.d.ts

@@ -0,0 +1,61 @@
+import { ARCHIVE_HEIGHT, type L1_TO_L2_MSG_TREE_HEIGHT, type NOTE_HASH_TREE_HEIGHT } from '@aztec/constants';
+import { BlockNumber, type CheckpointNumber, type EpochNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { type Logger } from '@aztec/foundation/log';
+import { MembershipWitness, type SiblingPath } from '@aztec/foundation/trees';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { type BlockHash, type BlockParameter, type DataInBlock, type L2BlockSource } from '@aztec/stdlib/block';
+import type { WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
+import { type L1ToL2MessageSource, type L2ToL1MembershipWitness } from '@aztec/stdlib/messaging';
+import { MerkleTreeId, NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
+import type { TxHash } from '@aztec/stdlib/tx';
+/** Dependencies required to build a {@link NodeWorldStateQueries}. */
+export interface NodeWorldStateQueriesDeps {
+    worldStateSynchronizer: WorldStateSynchronizer;
+    blockSource: L2BlockSource;
+    l1ToL2MessageSource: L1ToL2MessageSource;
+    log?: Logger;
+}
+/**
+ * Serves the node's Merkle-tree and membership-witness queries against committed world-state at a
+ * requested block. Extracted from `AztecNodeService` so the block-resolution and reorg-aware sync logic
+ * can be unit-tested without standing up the whole node, and to keep `server.ts` smaller.
+ */
+export declare class NodeWorldStateQueries {
+    #private;
+    private readonly worldStateSynchronizer;
+    private readonly blockSource;
+    private readonly l1ToL2MessageSource;
+    private readonly log;
+    constructor(deps: NodeWorldStateQueriesDeps);
+    findLeavesIndexes(referenceBlock: BlockParameter, treeId: MerkleTreeId, leafValues: Fr[]): Promise<(DataInBlock<bigint> | undefined)[]>;
+    getBlockHashMembershipWitness(referenceBlock: BlockParameter, blockHash: BlockHash): Promise<MembershipWitness<typeof ARCHIVE_HEIGHT> | undefined>;
+    getNoteHashMembershipWitness(referenceBlock: BlockParameter, noteHash: Fr): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT> | undefined>;
+    getL1ToL2MessageMembershipWitness(referenceBlock: BlockParameter, l1ToL2Message: Fr): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>] | undefined>;
+    getL1ToL2MessageCheckpoint(l1ToL2Message: Fr): Promise<CheckpointNumber | undefined>;
+    /**
+     * Returns all the L2 to L1 messages in an epoch (empty array if the epoch is not found). The public
+     * `AztecNodeService.getL2ToL1Messages` that delegates here is deprecated in favor of
+     * {@link getL2ToL1MembershipWitness}.
+     * @param epoch - The epoch at which to get the data.
+     */
+    getL2ToL1Messages(epoch: EpochNumber): Promise<Fr[][][][]>;
+    /**
+     * Returns the L2-to-L1 membership witness for a message in `txHash`. Passthrough to the
+     * archiver's locally-cached resolver — see {@link Archiver.getL2ToL1MembershipWitness}.
+     */
+    getL2ToL1MembershipWitness(txHash: TxHash, message: Fr, messageIndexInTx?: number): Promise<L2ToL1MembershipWitness | undefined>;
+    getNullifierMembershipWitness(referenceBlock: BlockParameter, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
+    getLowNullifierMembershipWitness(referenceBlock: BlockParameter, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
+    getPublicDataWitness(referenceBlock: BlockParameter, leafSlot: Fr): Promise<PublicDataWitness | undefined>;
+    getPublicStorageAt(referenceBlock: BlockParameter, contract: AztecAddress, slot: Fr): Promise<Fr>;
+    /**
+     * Returns an instance of MerkleTreeOperations having first ensured the world state is fully synched
+     * @param block - The block parameter (block number, block hash, or 'latest') at which to get the data.
+     * @returns An instance of a committed MerkleTreeOperations
+     */
+    getWorldState(block: BlockParameter): Promise<import("@aztec/stdlib/trees").MerkleTreeReadOperations>;
+    /** Resolves any {@link BlockParameter} variant to a concrete block number. */
+    resolveBlockNumber(block: BlockParameter): Promise<BlockNumber>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm9kZV93b3JsZF9zdGF0ZV9xdWVyaWVzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbW9kdWxlcy9ub2RlX3dvcmxkX3N0YXRlX3F1ZXJpZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGNBQWMsRUFBRSxLQUFLLHdCQUF3QixFQUFFLEtBQUsscUJBQXFCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUM3RyxPQUFPLEVBQUUsV0FBVyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUV2RyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ2xFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxLQUFLLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sRUFDTCxLQUFLLFNBQVMsRUFDZCxLQUFLLGNBQWMsRUFDbkIsS0FBSyxXQUFXLEVBQ2hCLEtBQUssYUFBYSxFQUVuQixNQUFNLHFCQUFxQixDQUFDO0FBRTdCLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDOUUsT0FBTyxFQUFhLEtBQUssbUJBQW1CLEVBQUUsS0FBSyx1QkFBdUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVHLE9BQU8sRUFDTCxZQUFZLEVBRVosMEJBQTBCLEVBRTFCLGlCQUFpQixFQUNsQixNQUFNLHFCQUFxQixDQUFDO0FBQzdCLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBSS9DLHNFQUFzRTtBQUN0RSxNQUFNLFdBQVcseUJBQXlCO0lBQ3hDLHNCQUFzQixFQUFFLHNCQUFzQixDQUFDO0lBQy9DLFdBQVcsRUFBRSxhQUFhLENBQUM7SUFDM0IsbUJBQW1CLEVBQUUsbUJBQW1CLENBQUM7SUFDekMsR0FBRyxDQUFDLEVBQUUsTUFBTSxDQUFDO0NBQ2Q7QUFFRDs7OztHQUlHO0FBQ0gscUJBQWEscUJBQXFCOztJQUNoQyxPQUFPLENBQUMsUUFBUSxDQUFDLHNCQUFzQixDQUF5QjtJQUNoRSxPQUFPLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBZ0I7SUFDNUMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBc0I7SUFDMUQsT0FBTyxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQVM7SUFFN0IsWUFBWSxJQUFJLEVBQUUseUJBQXlCLEVBSzFDO0lBRVksaUJBQWlCLENBQzVCLGNBQWMsRUFBRSxjQUFjLEVBQzlCLE1BQU0sRUFBRSxZQUFZLEVBQ3BCLFVBQVUsRUFBRSxFQUFFLEVBQUUsR0FDZixPQUFPLENBQUMsQ0FBQyxXQUFXLENBQUMsTUFBTSxDQUFDLEdBQUcsU0FBUyxDQUFDLEVBQUUsQ0FBQyxDQStEOUM7SUFFWSw2QkFBNkIsQ0FDeEMsY0FBYyxFQUFFLGNBQWMsRUFDOUIsU0FBUyxFQUFFLFNBQVMsR0FDbkIsT0FBTyxDQUFDLGlCQUFpQixDQUFDLE9BQU8sY0FBYyxDQUFDLEdBQUcsU0FBUyxDQUFDLENBYy9EO0lBRVksNEJBQTRCLENBQ3ZDLGNBQWMsRUFBRSxjQUFjLEVBQzlCLFFBQVEsRUFBRSxFQUFFLEdBQ1gsT0FBTyxDQUFDLGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsR0FBRyxTQUFTLENBQUMsQ0FTdEU7SUFFWSxpQ0FBaUMsQ0FDNUMsY0FBYyxFQUFFLGNBQWMsRUFDOUIsYUFBYSxFQUFFLEVBQUUsR0FDaEIsT0FBTyxDQUFDLENBQUMsTUFBTSxFQUFFLFdBQVcsQ0FBQyxPQUFPLHdCQUF3QixDQUFDLENBQUMsR0FBRyxTQUFTLENBQUMsQ0FTN0U7SUFFWSwwQkFBMEIsQ0FBQyxhQUFhLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsR0FBRyxTQUFTLENBQUMsQ0FHaEc7SUFFRDs7Ozs7T0FLRztJQUNVLGlCQUFpQixDQUFDLEtBQUssRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxFQUFFLEVBQUUsRUFBRSxDQUFDLENBTXRFO0lBRUQ7OztPQUdHO0lBQ0ksMEJBQTBCLENBQy9CLE1BQU0sRUFBRSxNQUFNLEVBQ2QsT0FBTyxFQUFFLEVBQUUsRUFDWCxnQkFBZ0IsQ0FBQyxFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLHVCQUF1QixHQUFHLFNBQVMsQ0FBQyxDQUU5QztJQUVZLDZCQUE2QixDQUN4QyxjQUFjLEVBQUUsY0FBYyxFQUM5QixTQUFTLEVBQUUsRUFBRSxHQUNaLE9BQU8sQ0FBQywwQkFBMEIsR0FBRyxTQUFTLENBQUMsQ0FjakQ7SUFFWSxnQ0FBZ0MsQ0FDM0MsY0FBYyxFQUFFLGNBQWMsRUFDOUIsU0FBUyxFQUFFLEVBQUUsR0FDWixPQUFPLENBQUMsMEJBQTBCLEdBQUcsU0FBUyxDQUFDLENBZ0JqRDtJQUVLLG9CQUFvQixDQUFDLGNBQWMsRUFBRSxjQUFjLEVBQUUsUUFBUSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsaUJBQWlCLEdBQUcsU0FBUyxDQUFDLENBYS9HO0lBRVksa0JBQWtCLENBQUMsY0FBYyxFQUFFLGNBQWMsRUFBRSxRQUFRLEVBQUUsWUFBWSxFQUFFLElBQUksRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQWE3RztJQUVEOzs7O09BSUc7SUFDVSxhQUFhLENBQUMsS0FBSyxFQUFFLGNBQWMsbUVBb0QvQztJQUVELDhFQUE4RTtJQUNqRSxrQkFBa0IsQ0FBQyxLQUFLLEVBQUUsY0FBYyxHQUFHLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FlM0U7Q0FhRiJ9

package/dest/modules/node_world_state_queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node_world_state_queries.d.ts","sourceRoot":"","sources":["../../src/modules/node_world_state_queries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,KAAK,wBAAwB,EAAE,KAAK,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC7G,OAAO,EAAE,WAAW,EAAE,KAAK,gBAAgB,EAAE,KAAK,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEvG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EACL,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,aAAa,EAEnB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAa,KAAK,mBAAmB,EAAE,KAAK,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC5G,OAAO,EACL,YAAY,EAEZ,0BAA0B,EAE1B,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI/C,sEAAsE;AACtE,MAAM,WAAW,yBAAyB;IACxC,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C,WAAW,EAAE,aAAa,CAAC;IAC3B,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,qBAAa,qBAAqB;;IAChC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAyB;IAChE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAgB;IAC5C,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAsB;IAC1D,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;IAE7B,YAAY,IAAI,EAAE,yBAAyB,EAK1C;IAEY,iBAAiB,CAC5B,cAAc,EAAE,cAAc,EAC9B,MAAM,EAAE,YAAY,EACpB,UAAU,EAAE,EAAE,EAAE,GACf,OAAO,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CA+D9C;IAEY,6BAA6B,CACxC,cAAc,EAAE,cAAc,EAC9B,SAAS,EAAE,SAAS,GACnB,OAAO,CAAC,iBAAiB,CAAC,OAAO,cAAc,CAAC,GAAG,SAAS,CAAC,CAc/D;IAEY,4BAA4B,CACvC,cAAc,EAAE,cAAc,EAC9B,QAAQ,EAAE,EAAE,GACX,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,GAAG,SAAS,CAAC,CAStE;IAEY,iCAAiC,CAC5C,cAAc,EAAE,cAAc,EAC9B,aAAa,EAAE,EAAE,GAChB,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAC,GAAG,SAAS,CAAC,CAS7E;IAEY,0BAA0B,CAAC,aAAa,EAAE,EAAE,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAGhG;IAED;;;;;OAKG;IACU,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAMtE;IAED;;;OAGG;IACI,0BAA0B,CAC/B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,EAAE,EACX,gBAAgB,CAAC,EAAE,MAAM,GACxB,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAE9C;IAEY,6BAA6B,CACxC,cAAc,EAAE,cAAc,EAC9B,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAcjD;IAEY,gCAAgC,CAC3C,cAAc,EAAE,cAAc,EAC9B,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAgBjD;IAEK,oBAAoB,CAAC,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAa/G;IAEY,kBAAkB,CAAC,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAa7G;IAED;;;;OAIG;IACU,aAAa,CAAC,KAAK,EAAE,cAAc,mEAoD/C;IAED,8EAA8E;IACjE,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,CAe3E;CAaF"}