@aztec/txe 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97

package/dest/server.bundle.js

@@ -0,0 +1,3 @@
+import { createRequire as __txeCreateRequire } from 'node:module';
+const require = __txeCreateRequire(import.meta.url);
+import{createTXERpcServer}from"./chunk-CUSVOJA4.js";import"./chunk-OYLIPWI6.js";import"./chunk-BJVAAXNA.js";export{createTXERpcServer};

package/dest/server.bundle.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": [],
+  "sourcesContent": [],
+  "mappings": "",
+  "names": []
+}

package/dest/state_machine/archiver.d.ts

@@ -1,61 +1,32 @@
-import { ArchiverStoreHelper, type PublishedL2Block } from '@aztec/archiver';
+import { ArchiverDataSourceBase } from '@aztec/archiver';
+import { type EpochNumber, type SlotNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import type { EthAddress } from '@aztec/foundation/eth-address';
-import { Fr } from '@aztec/foundation/fields';
 import type { AztecAsyncKVStore } from '@aztec/kv-store';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { L2Block, L2BlockSource, L2Tips, ValidateBlockResult } from '@aztec/stdlib/block';
-import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
-import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
-import type { BlockHeader } from '@aztec/stdlib/tx';
-import type { UInt64 } from '@aztec/stdlib/types';
-export declare class TXEArchiver extends ArchiverStoreHelper implements L2BlockSource {
+import { type L2Tips, type ValidateCheckpointResult } from '@aztec/stdlib/block';
+import type { PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
+import { type L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
+/**
+ * TXE Archiver implementation.
+ * Provides most of the endpoints needed by the node for reading from and writing to state,
+ * without needing any of the extra overhead that the Archiver itself requires (i.e. an L1 client).
+ */
+export declare class TXEArchiver extends ArchiverDataSourceBase {
+    private readonly updater;
     constructor(db: AztecAsyncKVStore);
-    addBlocks(blocks: PublishedL2Block[]): Promise<boolean>;
-    /**
-     * Gets the number of the latest L2 block processed by the block source implementation.
-     * @returns The number of the latest L2 block processed by the block source implementation.
-     */
-    getBlockNumber(): Promise<number>;
-    /**
-     * Gets the number of the latest L2 block proven seen by the block source implementation.
-     * @returns The number of the latest L2 block proven seen by the block source implementation.
-     */
-    getProvenBlockNumber(): Promise<number>;
-    /**
-     * Gets a published l2 block. If a negative number is passed, the block returned is the most recent.
-     * @param number - The block number to return (inclusive).
-     * @returns The requested L2 block.
-     */
-    getPublishedBlock(number: number): Promise<PublishedL2Block | undefined>;
-    /**
-     * Gets an l2 block. If a negative number is passed, the block returned is the most recent.
-     * @param number - The block number to return (inclusive).
-     * @returns The requested L2 block.
-     */
-    getBlock(number: number | 'latest'): Promise<L2Block | undefined>;
-    /**
-     * Gets an l2 block header.
-     * @param number - The block number to return or 'latest' for the most recent one.
-     * @returns The requested L2 block header.
-     */
-    getBlockHeader(number: number | 'latest'): Promise<BlockHeader | undefined>;
-    getBlocks(from: number, limit: number, _proven?: boolean): Promise<L2Block[]>;
-    getL2SlotNumber(): Promise<bigint>;
-    getL2EpochNumber(): Promise<bigint>;
-    getBlocksForEpoch(_epochNumber: bigint): Promise<L2Block[]>;
-    getBlockHeadersForEpoch(_epochNumber: bigint): Promise<BlockHeader[]>;
-    isEpochComplete(_epochNumber: bigint): Promise<boolean>;
-    getL2Tips(): Promise<L2Tips>;
+    addCheckpoints(checkpoints: PublishedCheckpoint[], result?: ValidateCheckpointResult): Promise<void>;
+    getRollupAddress(): Promise<EthAddress>;
+    getRegistryAddress(): Promise<EthAddress>;
     getL1Constants(): Promise<L1RollupConstants>;
     getGenesisValues(): Promise<{
         genesisArchiveRoot: Fr;
     }>;
+    getL1Timestamp(): Promise<bigint | undefined>;
+    getL2Tips(): Promise<L2Tips>;
+    getSyncedL2SlotNumber(): Promise<SlotNumber | undefined>;
+    getSyncedL2EpochNumber(): Promise<EpochNumber | undefined>;
+    isEpochComplete(_epochNumber: EpochNumber): Promise<boolean>;
     syncImmediate(): Promise<void>;
-    getContract(_address: AztecAddress, _timestamp?: UInt64): Promise<ContractInstanceWithAddress | undefined>;
-    getRollupAddress(): Promise<EthAddress>;
-    getRegistryAddress(): Promise<EthAddress>;
-    getL1Timestamp(): Promise<bigint>;
-    isPendingChainInvalid(): Promise<boolean>;
-    getPendingChainValidationStatus(): Promise<ValidateBlockResult>;
+    getL2ToL1MembershipWitness(): Promise<undefined>;
 }
-//# sourceMappingURL=archiver.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJjaGl2ZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdGF0ZV9tYWNoaW5lL2FyY2hpdmVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxzQkFBc0IsRUFBc0QsTUFBTSxpQkFBaUIsQ0FBQztBQUU3RyxPQUFPLEVBQW9CLEtBQUssV0FBVyxFQUFFLEtBQUssVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDdEcsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDekQsT0FBTyxFQUtMLEtBQUssTUFBTSxFQUNYLEtBQUssd0JBQXdCLEVBQzlCLE1BQU0scUJBQXFCLENBQUM7QUFDN0IsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUNwRSxPQUFPLEVBQTBCLEtBQUssaUJBQWlCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUc3Rjs7OztHQUlHO0FBQ0gscUJBQWEsV0FBWSxTQUFRLHNCQUFzQjtJQUNyRCxPQUFPLENBQUMsUUFBUSxDQUFDLE9BQU8sQ0FBNkM7SUFFckUsWUFBWSxFQUFFLEVBQUUsaUJBQWlCLEVBUWhDO0lBRVksY0FBYyxDQUFDLFdBQVcsRUFBRSxtQkFBbUIsRUFBRSxFQUFFLE1BQU0sQ0FBQyxFQUFFLHdCQUF3QixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFaEg7SUFFTSxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsVUFBVSxDQUFDLENBRTdDO0lBRU0sa0JBQWtCLElBQUksT0FBTyxDQUFDLFVBQVUsQ0FBQyxDQUUvQztJQUVNLGNBQWMsSUFBSSxPQUFPLENBQUMsaUJBQWlCLENBQUMsQ0FJbEQ7SUFFTSxnQkFBZ0IsSUFBSSxPQUFPLENBQUM7UUFBRSxrQkFBa0IsRUFBRSxFQUFFLENBQUE7S0FBRSxDQUFDLENBRTdEO0lBRU0sY0FBYyxJQUFJLE9BQU8sQ0FBQyxNQUFNLEdBQUcsU0FBUyxDQUFDLENBRW5EO0lBRVksU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FrQ3hDO0lBRU0scUJBQXFCLElBQUksT0FBTyxDQUFDLFVBQVUsR0FBRyxTQUFTLENBQUMsQ0FFOUQ7SUFFTSxzQkFBc0IsSUFBSSxPQUFPLENBQUMsV0FBVyxHQUFHLFNBQVMsQ0FBQyxDQUVoRTtJQUVNLGVBQWUsQ0FBQyxZQUFZLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FFbEU7SUFFTSxhQUFhLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUVwQztJQUVNLDBCQUEwQixJQUFJLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FHdEQ7Q0FDRiJ9

package/dest/state_machine/archiver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"archiver.d.ts","sourceRoot":"","sources":["../../src/state_machine/archiver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAuB,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAElG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC/F,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAKlD,qBAAa,WAAY,SAAQ,mBAAoB,YAAW,aAAa;gBAC/D,EAAE,EAAE,iBAAiB;IAIX,SAAS,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAS7E;;;OAGG;IACI,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIxC;;;OAGG;IACI,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC;IAI9C;;;;OAIG;IACmB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC;IAY9F;;;;OAIG;IACI,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC;IAIxE;;;;OAIG;IACU,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAWjF,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAI7E,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC;IAIlC,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC;IAInC,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAI3D,uBAAuB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IAIrE,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAIvD,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC;IAI5B,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAI5C,gBAAgB,IAAI,OAAO,CAAC;QAAE,kBAAkB,EAAE,EAAE,CAAA;KAAE,CAAC;IAIvD,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC;IAI9B,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC;IAI1G,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC;IAIvC,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC;IAIzC,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,qBAAqB,IAAI,OAAO,CAAC,OAAO,CAAC;IAIhC,+BAA+B,IAAI,OAAO,CAAC,mBAAmB,CAAC;CAGhF"}
+{"version":3,"file":"archiver.d.ts","sourceRoot":"","sources":["../../src/state_machine/archiver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAsD,MAAM,iBAAiB,CAAC;AAE7G,OAAO,EAAoB,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACtG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAKL,KAAK,MAAM,EACX,KAAK,wBAAwB,EAC9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAA0B,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAG7F;;;;GAIG;AACH,qBAAa,WAAY,SAAQ,sBAAsB;IACrD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6C;IAErE,YAAY,EAAE,EAAE,iBAAiB,EAQhC;IAEY,cAAc,CAAC,WAAW,EAAE,mBAAmB,EAAE,EAAE,MAAM,CAAC,EAAE,wBAAwB,GAAG,OAAO,CAAC,IAAI,CAAC,CAEhH;IAEM,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC,CAE7C;IAEM,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,CAE/C;IAEM,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAIlD;IAEM,gBAAgB,IAAI,OAAO,CAAC;QAAE,kBAAkB,EAAE,EAAE,CAAA;KAAE,CAAC,CAE7D;IAEM,cAAc,IAAI,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAEnD;IAEY,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAkCxC;IAEM,qBAAqB,IAAI,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAE9D;IAEM,sBAAsB,IAAI,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAEhE;IAEM,eAAe,CAAC,YAAY,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAElE;IAEM,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,CAEpC;IAEM,0BAA0B,IAAI,OAAO,CAAC,SAAS,CAAC,CAGtD;CACF"}

package/dest/state_machine/archiver.js

@@ -1,118 +1,96 @@
-import { ArchiverStoreHelper, KVArchiverDataStore } from '@aztec/archiver';
+import { ArchiverDataSourceBase, ArchiverDataStoreUpdater, createArchiverDataStores } from '@aztec/archiver';
 import { GENESIS_ARCHIVE_ROOT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-// We are extending the ArchiverDataStoreHelper here because it provides most of the endpoints needed by the
-// node for reading from and writing to state, without needing any of the extra overhead that the Archiver itself
-// requires (i.e. an L1 client)
-export class TXEArchiver extends ArchiverStoreHelper {
+import { CheckpointNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { GENESIS_BLOCK_HEADER_HASH } from '@aztec/stdlib/block';
+import { EmptyL1RollupConstants } from '@aztec/stdlib/epoch-helpers';
+import { BlockHeader } from '@aztec/stdlib/tx';
+/**
+ * TXE Archiver implementation.
+ * Provides most of the endpoints needed by the node for reading from and writing to state,
+ * without needing any of the extra overhead that the Archiver itself requires (i.e. an L1 client).
+ */ export class TXEArchiver extends ArchiverDataSourceBase {
+    updater = new ArchiverDataStoreUpdater(this.stores);
     constructor(db){
-        super(new KVArchiverDataStore(db, 9999));
+        super(createArchiverDataStores(db, GENESIS_BLOCK_HEADER_HASH), undefined, BlockHeader.empty(), GENESIS_BLOCK_HEADER_HASH, new Fr(GENESIS_ARCHIVE_ROOT));
     }
-    async addBlocks(blocks) {
-        const opResults = await Promise.all([
-            this.store.addLogs(blocks.map((block)=>block.block)),
-            this.store.addBlocks(blocks)
-        ]);
-        return opResults.every(Boolean);
+    async addCheckpoints(checkpoints, result) {
+        await this.updater.addCheckpoints(checkpoints, result);
     }
-    /**
-   * Gets the number of the latest L2 block processed by the block source implementation.
-   * @returns The number of the latest L2 block processed by the block source implementation.
-   */ getBlockNumber() {
-        return this.store.getSynchedL2BlockNumber();
-    }
-    /**
-   * Gets the number of the latest L2 block proven seen by the block source implementation.
-   * @returns The number of the latest L2 block proven seen by the block source implementation.
-   */ getProvenBlockNumber() {
-        return this.store.getSynchedL2BlockNumber();
-    }
-    /**
-   * Gets a published l2 block. If a negative number is passed, the block returned is the most recent.
-   * @param number - The block number to return (inclusive).
-   * @returns The requested L2 block.
-   */ async getPublishedBlock(number) {
-        // If the number provided is -ve, then return the latest block.
-        if (number < 0) {
-            number = await this.store.getSynchedL2BlockNumber();
-        }
-        if (number == 0) {
-            return undefined;
-        }
-        const blocks = await this.store.getPublishedBlocks(number, 1);
-        return blocks.length === 0 ? undefined : blocks[0];
-    }
-    /**
-   * Gets an l2 block. If a negative number is passed, the block returned is the most recent.
-   * @param number - The block number to return (inclusive).
-   * @returns The requested L2 block.
-   */ getBlock(number) {
-        return this.getPublishedBlock(number != 'latest' ? number : -1).then((block)=>block?.block);
-    }
-    /**
-   * Gets an l2 block header.
-   * @param number - The block number to return or 'latest' for the most recent one.
-   * @returns The requested L2 block header.
-   */ async getBlockHeader(number) {
-        if (number === 'latest') {
-            number = await this.store.getSynchedL2BlockNumber();
-        }
-        if (number === 0) {
-            return undefined;
-        }
-        const headers = await this.store.getBlockHeaders(number, 1);
-        return headers.length === 0 ? undefined : headers[0];
-    }
-    getBlocks(from, limit, _proven) {
-        return this.getPublishedBlocks(from, limit).then((blocks)=>blocks.map((b)=>b.block));
-    }
-    getL2SlotNumber() {
-        throw new Error('TXE Archiver does not implement "getL2SlotNumber"');
-    }
-    getL2EpochNumber() {
-        throw new Error('TXE Archiver does not implement "getL2EpochNumber"');
-    }
-    getBlocksForEpoch(_epochNumber) {
-        throw new Error('TXE Archiver does not implement "getBlocksForEpoch"');
-    }
-    getBlockHeadersForEpoch(_epochNumber) {
-        throw new Error('TXE Archiver does not implement "getBlockHeadersForEpoch"');
-    }
-    isEpochComplete(_epochNumber) {
-        throw new Error('TXE Archiver does not implement "isEpochComplete"');
+    getRollupAddress() {
+        throw new Error('TXE Archiver does not implement "getRollupAddress"');
     }
-    getL2Tips() {
-        throw new Error('TXE Archiver does not implement "getL2Tips"');
+    getRegistryAddress() {
+        throw new Error('TXE Archiver does not implement "getRegistryAddress"');
     }
     getL1Constants() {
-        throw new Error('TXE Archiver does not implement "getL2Constants"');
+        // The TXE has no L1, so it serves the empty constants (epochDuration=1) used throughout the TXE state machine
+        // (see mock_epoch_cache). The node calls this when assembling a mined tx receipt to derive the epoch number.
+        return Promise.resolve(EmptyL1RollupConstants);
     }
     getGenesisValues() {
         return Promise.resolve({
             genesisArchiveRoot: new Fr(GENESIS_ARCHIVE_ROOT)
         });
     }
-    syncImmediate() {
-        throw new Error('TXE Archiver does not implement "syncImmediate"');
-    }
-    getContract(_address, _timestamp) {
-        throw new Error('TXE Archiver does not implement "getContract"');
-    }
-    getRollupAddress() {
-        throw new Error('TXE Archiver does not implement "getRollupAddress"');
-    }
-    getRegistryAddress() {
-        throw new Error('TXE Archiver does not implement "getRegistryAddress"');
-    }
     getL1Timestamp() {
         throw new Error('TXE Archiver does not implement "getL1Timestamp"');
     }
-    isPendingChainInvalid() {
-        return Promise.resolve(false);
-    }
-    getPendingChainValidationStatus() {
-        return Promise.resolve({
-            valid: true
+    async getL2Tips() {
+        // In TXE there is no possibility of reorgs and no blocks are ever getting proven so we just set 'latest', 'proven'
+        // and 'finalized' to the latest block.
+        const latestBlockNumber = await this.stores.blocks.getLatestL2BlockNumber();
+        if (latestBlockNumber === 0) {
+            throw new Error('L2Tips requested from TXE Archiver but no block found');
+        }
+        const latestBlockData = await this.stores.blocks.getBlockData({
+            number: latestBlockNumber
         });
+        if (!latestBlockData) {
+            throw new Error('L2Tips requested from TXE Archiver but no block header found');
+        }
+        const number = latestBlockData.header.globalVariables.blockNumber;
+        const hash = latestBlockData.blockHash.toString();
+        // TXE uses 1-block-per-checkpoint for testing simplicity, so we can use block number as checkpoint number.
+        // This uses the deprecated fromBlockNumber method intentionally for the TXE testing environment.
+        const checkpoint = await this.stores.blocks.getRangeOfCheckpoints(CheckpointNumber.fromBlockNumber(number), 1);
+        if (checkpoint.length === 0) {
+            throw new Error(`L2Tips requested from TXE Archiver but no checkpoint found for block number ${number}`);
+        }
+        const blockId = {
+            number,
+            hash
+        };
+        const checkpointId = {
+            number: checkpoint[0].checkpointNumber,
+            hash: checkpoint[0].header.hash().toString()
+        };
+        const tipId = {
+            block: blockId,
+            checkpoint: checkpointId
+        };
+        return {
+            proposed: blockId,
+            proven: tipId,
+            finalized: tipId,
+            checkpointed: tipId,
+            proposedCheckpoint: tipId
+        };
+    }
+    getSyncedL2SlotNumber() {
+        throw new Error('TXE Archiver does not implement "getSyncedL2SlotNumber"');
+    }
+    getSyncedL2EpochNumber() {
+        throw new Error('TXE Archiver does not implement "getSyncedL2EpochNumber"');
+    }
+    isEpochComplete(_epochNumber) {
+        throw new Error('TXE Archiver does not implement "isEpochComplete"');
+    }
+    syncImmediate() {
+        throw new Error('TXE Archiver does not implement "syncImmediate"');
+    }
+    getL2ToL1MembershipWitness() {
+        // TXE doesn't drive the L2-to-L1 message flow through this archiver.
+        return Promise.resolve(undefined);
     }
 }

package/dest/state_machine/dummy_p2p_client.d.ts

@@ -1,25 +1,32 @@
-import type { AuthRequest, ENR, P2P, P2PBlockReceivedCallback, P2PConfig, P2PSyncState, PeerId, ReqRespSubProtocol, ReqRespSubProtocolHandler, ReqRespSubProtocolValidators, StatusMessage } from '@aztec/p2p';
+import type { CheckpointProposalHash, SlotNumber } from '@aztec/foundation/branded-types';
+import type { AuthRequest, ENR, P2P, P2PBlockReceivedCallback, P2PCheckpointAttestationCallback, P2PCheckpointReceivedCallback, P2PConfig, P2PDuplicateAttestationCallback, P2PDuplicateProposalCallback, P2PSyncState, PeerId, ReqRespSubProtocol, ReqRespSubProtocolHandler, StatusMessage } from '@aztec/p2p';
 import type { EthAddress, L2BlockStreamEvent, L2Tips } from '@aztec/stdlib/block';
-import type { PeerInfo } from '@aztec/stdlib/interfaces/server';
-import type { BlockAttestation, BlockProposal } from '@aztec/stdlib/p2p';
-import type { Tx, TxHash } from '@aztec/stdlib/tx';
+import type { ITxProvider, PeerInfo } from '@aztec/stdlib/interfaces/server';
+import type { BlockProposal, CheckpointAttestation, CheckpointProposal, CheckpointProposalCore, TopicType } from '@aztec/stdlib/p2p';
+import type { BlockHeader, Tx, TxHash } from '@aztec/stdlib/tx';
 export declare class DummyP2P implements P2P {
-    validate(_txs: Tx[]): Promise<void>;
+    validateTxsReceivedInBlockProposal(_txs: Tx[]): Promise<void>;
     clear(): Promise<void>;
     getPendingTxs(): Promise<Tx[]>;
     getEncodedEnr(): Promise<string | undefined>;
     getPeers(_includePending?: boolean): Promise<PeerInfo[]>;
+    getGossipMeshPeerCount(_topicType: TopicType): Promise<number>;
     broadcastProposal(_proposal: BlockProposal): Promise<void>;
+    broadcastCheckpointProposal(_proposal: CheckpointProposal): Promise<void>;
+    broadcastCheckpointAttestations(_attestations: CheckpointAttestation[]): Promise<void>;
     registerBlockProposalHandler(_handler: P2PBlockReceivedCallback): void;
+    registerValidatorCheckpointProposalHandler(_handler: P2PCheckpointReceivedCallback): void;
+    registerAllNodesCheckpointProposalHandler(_handler: P2PCheckpointReceivedCallback): void;
     requestTxs(_txHashes: TxHash[]): Promise<(Tx | undefined)[]>;
     requestTxByHash(_txHash: TxHash): Promise<Tx | undefined>;
     sendTx(_tx: Tx): Promise<void>;
-    deleteTxs(_txHashes: TxHash[]): Promise<void>;
+    handleFailedExecution(_txHashes: TxHash[]): Promise<void>;
     getTxByHashFromPool(_txHash: TxHash): Promise<Tx | undefined>;
     getTxByHash(_txHash: TxHash): Promise<Tx | undefined>;
     getArchivedTxByHash(_txHash: TxHash): Promise<Tx | undefined>;
     getTxStatus(_txHash: TxHash): Promise<'pending' | 'mined' | undefined>;
     iteratePendingTxs(): AsyncIterableIterator<Tx>;
+    iterateEligiblePendingTxs(): AsyncIterableIterator<Tx>;
     getPendingTxCount(): Promise<number>;
     start(): Promise<void>;
     stop(): Promise<void>;
@@ -27,26 +34,32 @@ export declare class DummyP2P implements P2P {
     getStatus(): Promise<P2PSyncState>;
     getEnr(): ENR | undefined;
     isP2PClient(): true;
+    getTxProvider(): ITxProvider;
     getTxsByHash(_txHashes: TxHash[]): Promise<Tx[]>;
-    getAttestationsForSlot(_slot: bigint, _proposalId?: string): Promise<BlockAttestation[]>;
-    deleteAttestation(_attestation: BlockAttestation): Promise<void>;
-    addAttestations(_attestations: BlockAttestation[]): Promise<void>;
+    getCheckpointAttestationsForSlot(_slot: SlotNumber, _proposalPayloadHash?: CheckpointProposalHash): Promise<CheckpointAttestation[]>;
+    addOwnCheckpointAttestations(_attestations: CheckpointAttestation[]): Promise<void>;
+    getProposalsForSlot(_slot: SlotNumber): Promise<{
+        blockProposals: BlockProposal[];
+        checkpointProposals: CheckpointProposalCore[];
+    }>;
     getL2BlockHash(_number: number): Promise<string | undefined>;
     updateP2PConfig(_config: Partial<P2PConfig>): Promise<void>;
     getL2Tips(): Promise<L2Tips>;
     handleBlockStreamEvent(_event: L2BlockStreamEvent): Promise<void>;
     sync(): void;
-    requestTxsByHash(_txHashes: TxHash[]): Promise<Tx[]>;
-    getTxs(_filter: 'all' | 'pending' | 'mined'): Promise<Tx[]>;
     getTxsByHashFromPool(_txHashes: TxHash[]): Promise<(Tx | undefined)[]>;
     hasTxsInPool(_txHashes: TxHash[]): Promise<boolean[]>;
-    addTxsToPool(_txs: Tx[]): Promise<number>;
     getSyncedLatestBlockNum(): Promise<number>;
     getSyncedProvenBlockNum(): Promise<number>;
     getSyncedLatestSlot(): Promise<bigint>;
-    markTxsAsNonEvictable(_: TxHash[]): Promise<void>;
-    addReqRespSubProtocol(_subProtocol: ReqRespSubProtocol, _handler: ReqRespSubProtocolHandler, _validator?: ReqRespSubProtocolValidators[ReqRespSubProtocol]): Promise<void>;
+    protectTxs(_txHashes: TxHash[], _blockHeader: BlockHeader): Promise<TxHash[]>;
+    prepareForSlot(_slotNumber: SlotNumber): Promise<void>;
+    addReqRespSubProtocol(_subProtocol: ReqRespSubProtocol, _handler: ReqRespSubProtocolHandler): Promise<void>;
     handleAuthRequestFromPeer(_authRequest: AuthRequest, _peerId: PeerId): Promise<StatusMessage>;
     registerThisValidatorAddresses(_address: EthAddress[]): void;
+    registerDuplicateProposalCallback(_callback: P2PDuplicateProposalCallback): void;
+    registerDuplicateAttestationCallback(_callback: P2PDuplicateAttestationCallback): void;
+    registerCheckpointAttestationCallback(_callback: P2PCheckpointAttestationCallback): void;
+    hasBlockProposalsForSlot(_slot: SlotNumber): Promise<boolean>;
 }
-//# sourceMappingURL=dummy_p2p_client.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZHVtbXlfcDJwX2NsaWVudC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3N0YXRlX21hY2hpbmUvZHVtbXlfcDJwX2NsaWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxVQUFVLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUMxRixPQUFPLEtBQUssRUFDVixXQUFXLEVBQ1gsR0FBRyxFQUNILEdBQUcsRUFDSCx3QkFBd0IsRUFDeEIsZ0NBQWdDLEVBQ2hDLDZCQUE2QixFQUM3QixTQUFTLEVBQ1QsK0JBQStCLEVBQy9CLDRCQUE0QixFQUM1QixZQUFZLEVBQ1osTUFBTSxFQUNOLGtCQUFrQixFQUNsQix5QkFBeUIsRUFDekIsYUFBYSxFQUNkLE1BQU0sWUFBWSxDQUFDO0FBQ3BCLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxrQkFBa0IsRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNsRixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsUUFBUSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDN0UsT0FBTyxLQUFLLEVBQ1YsYUFBYSxFQUNiLHFCQUFxQixFQUNyQixrQkFBa0IsRUFDbEIsc0JBQXNCLEVBQ3RCLFNBQVMsRUFDVixNQUFNLG1CQUFtQixDQUFDO0FBQzNCLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxFQUFFLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFaEUscUJBQWEsUUFBUyxZQUFXLEdBQUc7SUFDM0Isa0NBQWtDLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFbkU7SUFFTSxLQUFLLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUU1QjtJQUVNLGFBQWEsSUFBSSxPQUFPLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FFcEM7SUFFTSxhQUFhLElBQUksT0FBTyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsQ0FFbEQ7SUFFTSxRQUFRLENBQUMsZUFBZSxDQUFDLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUU5RDtJQUVNLHNCQUFzQixDQUFDLFVBQVUsRUFBRSxTQUFTLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUVwRTtJQUVNLGlCQUFpQixDQUFDLFNBQVMsRUFBRSxhQUFhLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUVoRTtJQUVNLDJCQUEyQixDQUFDLFNBQVMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRS9FO0lBRU0sK0JBQStCLENBQUMsYUFBYSxFQUFFLHFCQUFxQixFQUFFLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUU1RjtJQUVNLDRCQUE0QixDQUFDLFFBQVEsRUFBRSx3QkFBd0IsR0FBRyxJQUFJLENBRTVFO0lBRU0sMENBQTBDLENBQUMsUUFBUSxFQUFFLDZCQUE2QixHQUFHLElBQUksQ0FFL0Y7SUFFTSx5Q0FBeUMsQ0FBQyxRQUFRLEVBQUUsNkJBQTZCLEdBQUcsSUFBSSxDQUU5RjtJQUVNLFVBQVUsQ0FBQyxTQUFTLEVBQUUsTUFBTSxFQUFFLEdBQUcsT0FBTyxDQUFDLENBQUMsRUFBRSxHQUFHLFNBQVMsQ0FBQyxFQUFFLENBQUMsQ0FFbEU7SUFFTSxlQUFlLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsRUFBRSxHQUFHLFNBQVMsQ0FBQyxDQUUvRDtJQUVNLE1BQU0sQ0FBQyxHQUFHLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFcEM7SUFFTSxxQkFBcUIsQ0FBQyxTQUFTLEVBQUUsTUFBTSxFQUFFLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUUvRDtJQUVNLG1CQUFtQixDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEVBQUUsR0FBRyxTQUFTLENBQUMsQ0FFbkU7SUFFTSxXQUFXLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsRUFBRSxHQUFHLFNBQVMsQ0FBQyxDQUUzRDtJQUVNLG1CQUFtQixDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEVBQUUsR0FBRyxTQUFTLENBQUMsQ0FFbkU7SUFFTSxXQUFXLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsU0FBUyxHQUFHLE9BQU8sR0FBRyxTQUFTLENBQUMsQ0FJNUU7SUFFTSxpQkFBaUIsSUFBSSxxQkFBcUIsQ0FBQyxFQUFFLENBQUMsQ0FFcEQ7SUFFTSx5QkFBeUIsSUFBSSxxQkFBcUIsQ0FBQyxFQUFFLENBQUMsQ0FFNUQ7SUFFTSxpQkFBaUIsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRTFDO0lBRU0sS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFNUI7SUFFTSxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUUzQjtJQUVNLE9BQU8sSUFBSSxPQUFPLENBRXhCO0lBRU0sU0FBUyxJQUFJLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFeEM7SUFFTSxNQUFNLElBQUksR0FBRyxHQUFHLFNBQVMsQ0FFL0I7SUFFTSxXQUFXLElBQUksSUFBSSxDQUV6QjtJQUVNLGFBQWEsSUFBSSxXQUFXLENBRWxDO0lBRU0sWUFBWSxDQUFDLFNBQVMsRUFBRSxNQUFNLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FFdEQ7SUFFTSxnQ0FBZ0MsQ0FDckMsS0FBSyxFQUFFLFVBQVUsRUFDakIsb0JBQW9CLENBQUMsRUFBRSxzQkFBc0IsR0FDNUMsT0FBTyxDQUFDLHFCQUFxQixFQUFFLENBQUMsQ0FFbEM7SUFFTSw0QkFBNEIsQ0FBQyxhQUFhLEVBQUUscUJBQXFCLEVBQUUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRXpGO0lBRU0sbUJBQW1CLENBQUMsS0FBSyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUM7UUFDckQsY0FBYyxFQUFFLGFBQWEsRUFBRSxDQUFDO1FBQ2hDLG1CQUFtQixFQUFFLHNCQUFzQixFQUFFLENBQUM7S0FDL0MsQ0FBQyxDQUVEO0lBRU0sY0FBYyxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsQ0FFbEU7SUFFTSxlQUFlLENBQUMsT0FBTyxFQUFFLE9BQU8sQ0FBQyxTQUFTLENBQUMsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRWpFO0lBRU0sU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFbEM7SUFFTSxzQkFBc0IsQ0FBQyxNQUFNLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUV2RTtJQUVNLElBQUksU0FFVjtJQUVNLG9CQUFvQixDQUFDLFNBQVMsRUFBRSxNQUFNLEVBQUUsR0FBRyxPQUFPLENBQUMsQ0FBQyxFQUFFLEdBQUcsU0FBUyxDQUFDLEVBQUUsQ0FBQyxDQUU1RTtJQUVNLFlBQVksQ0FBQyxTQUFTLEVBQUUsTUFBTSxFQUFFLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBRTNEO0lBRU0sdUJBQXVCLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUVoRDtJQUVNLHVCQUF1QixJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFaEQ7SUFFTSxtQkFBbUIsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRTVDO0lBRUQsVUFBVSxDQUFDLFNBQVMsRUFBRSxNQUFNLEVBQUUsRUFBRSxZQUFZLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUU1RTtJQUVELGNBQWMsQ0FBQyxXQUFXLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFckQ7SUFFRCxxQkFBcUIsQ0FBQyxZQUFZLEVBQUUsa0JBQWtCLEVBQUUsUUFBUSxFQUFFLHlCQUF5QixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFMUc7SUFDRCx5QkFBeUIsQ0FBQyxZQUFZLEVBQUUsV0FBVyxFQUFFLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLGFBQWEsQ0FBQyxDQUU1RjtJQUdNLDhCQUE4QixDQUFDLFFBQVEsRUFBRSxVQUFVLEVBQUUsR0FBRyxJQUFJLENBQUc7SUFFL0QsaUNBQWlDLENBQUMsU0FBUyxFQUFFLDRCQUE0QixHQUFHLElBQUksQ0FFdEY7SUFFTSxvQ0FBb0MsQ0FBQyxTQUFTLEVBQUUsK0JBQStCLEdBQUcsSUFBSSxDQUU1RjtJQUVNLHFDQUFxQyxDQUFDLFNBQVMsRUFBRSxnQ0FBZ0MsR0FBRyxJQUFJLENBRTlGO0lBRU0sd0JBQXdCLENBQUMsS0FBSyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBRW5FO0NBQ0YifQ==

package/dest/state_machine/dummy_p2p_client.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dummy_p2p_client.d.ts","sourceRoot":"","sources":["../../src/state_machine/dummy_p2p_client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EACX,GAAG,EACH,GAAG,EACH,wBAAwB,EACxB,SAAS,EACT,YAAY,EACZ,MAAM,EACN,kBAAkB,EAClB,yBAAyB,EACzB,4BAA4B,EAC5B,aAAa,EACd,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEnD,qBAAa,QAAS,YAAW,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAInC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAItB,aAAa,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;IAI9B,aAAa,IAAI,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;IAI5C,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;IAIxD,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAI1D,4BAA4B,CAAC,QAAQ,EAAE,wBAAwB,GAAG,IAAI;IAItE,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;IAI5D,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAIzD,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAI9B,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAI7C,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAI7D,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAIrD,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAI7D,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IAItE,iBAAiB,IAAI,qBAAqB,CAAC,EAAE,CAAC;IAI9C,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC;IAIpC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAItB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAIrB,OAAO,IAAI,OAAO;IAIlB,SAAS,IAAI,OAAO,CAAC,YAAY,CAAC;IAIlC,MAAM,IAAI,GAAG,GAAG,SAAS;IAIzB,WAAW,IAAI,IAAI;IAInB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAIhD,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;IAIxF,iBAAiB,CAAC,YAAY,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC;IAIhE,eAAe,CAAC,aAAa,EAAE,gBAAgB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAIjE,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;IAI5D,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAI3D,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC;IAI5B,sBAAsB,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;IAIjE,IAAI;IAIJ,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAIpD,MAAM,CAAC,OAAO,EAAE,KAAK,GAAG,SAAS,GAAG,OAAO,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI3D,oBAAoB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;IAItE,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAIrD,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;IAIzC,uBAAuB,IAAI,OAAO,CAAC,MAAM,CAAC;IAI1C,uBAAuB,IAAI,OAAO,CAAC,MAAM,CAAC;IAI1C,mBAAmB,IAAI,OAAO,CAAC,MAAM,CAAC;IAI7C,qBAAqB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAIjD,qBAAqB,CACnB,YAAY,EAAE,kBAAkB,EAChC,QAAQ,EAAE,yBAAyB,EACnC,UAAU,CAAC,EAAE,4BAA4B,CAAC,kBAAkB,CAAC,GAC5D,OAAO,CAAC,IAAI,CAAC;IAGhB,yBAAyB,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC;IAKtF,8BAA8B,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,IAAI;CACpE"}
+{"version":3,"file":"dummy_p2p_client.d.ts","sourceRoot":"","sources":["../../src/state_machine/dummy_p2p_client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,KAAK,EACV,WAAW,EACX,GAAG,EACH,GAAG,EACH,wBAAwB,EACxB,gCAAgC,EAChC,6BAA6B,EAC7B,SAAS,EACT,+BAA+B,EAC/B,4BAA4B,EAC5B,YAAY,EACZ,MAAM,EACN,kBAAkB,EAClB,yBAAyB,EACzB,aAAa,EACd,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,KAAK,EACV,aAAa,EACb,qBAAqB,EACrB,kBAAkB,EAClB,sBAAsB,EACtB,SAAS,EACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEhE,qBAAa,QAAS,YAAW,GAAG;IAC3B,kCAAkC,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAEnE;IAEM,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAE5B;IAEM,aAAa,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAEpC;IAEM,aAAa,IAAI,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAElD;IAEM,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAE9D;IAEM,sBAAsB,CAAC,UAAU,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAEpE;IAEM,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAEhE;IAEM,2BAA2B,CAAC,SAAS,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAE/E;IAEM,+BAA+B,CAAC,aAAa,EAAE,qBAAqB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAE5F;IAEM,4BAA4B,CAAC,QAAQ,EAAE,wBAAwB,GAAG,IAAI,CAE5E;IAEM,0CAA0C,CAAC,QAAQ,EAAE,6BAA6B,GAAG,IAAI,CAE/F;IAEM,yCAAyC,CAAC,QAAQ,EAAE,6BAA6B,GAAG,IAAI,CAE9F;IAEM,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAElE;IAEM,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAE/D;IAEM,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpC;IAEM,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAE/D;IAEM,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAEnE;IAEM,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAE3D;IAEM,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAEnE;IAEM,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC,CAI5E;IAEM,iBAAiB,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAEpD;IAEM,yBAAyB,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAE5D;IAEM,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC,CAE1C;IAEM,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAE5B;IAEM,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3B;IAEM,OAAO,IAAI,OAAO,CAExB;IAEM,SAAS,IAAI,OAAO,CAAC,YAAY,CAAC,CAExC;IAEM,MAAM,IAAI,GAAG,GAAG,SAAS,CAE/B;IAEM,WAAW,IAAI,IAAI,CAEzB;IAEM,aAAa,IAAI,WAAW,CAElC;IAEM,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAEtD;IAEM,gCAAgC,CACrC,KAAK,EAAE,UAAU,EACjB,oBAAoB,CAAC,EAAE,sBAAsB,GAC5C,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAElC;IAEM,4BAA4B,CAAC,aAAa,EAAE,qBAAqB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAEzF;IAEM,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC;QACrD,cAAc,EAAE,aAAa,EAAE,CAAC;QAChC,mBAAmB,EAAE,sBAAsB,EAAE,CAAC;KAC/C,CAAC,CAED;IAEM,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAElE;IAEM,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAEjE;IAEM,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAElC;IAEM,sBAAsB,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAEvE;IAEM,IAAI,SAEV;IAEM,oBAAoB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAE5E;IAEM,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAE3D;IAEM,uBAAuB,IAAI,OAAO,CAAC,MAAM,CAAC,CAEhD;IAEM,uBAAuB,IAAI,OAAO,CAAC,MAAM,CAAC,CAEhD;IAEM,mBAAmB,IAAI,OAAO,CAAC,MAAM,CAAC,CAE5C;IAED,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,YAAY,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAE5E;IAED,cAAc,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAErD;IAED,qBAAqB,CAAC,YAAY,EAAE,kBAAkB,EAAE,QAAQ,EAAE,yBAAyB,GAAG,OAAO,CAAC,IAAI,CAAC,CAE1G;IACD,yBAAyB,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAE5F;IAGM,8BAA8B,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,IAAI,CAAG;IAE/D,iCAAiC,CAAC,SAAS,EAAE,4BAA4B,GAAG,IAAI,CAEtF;IAEM,oCAAoC,CAAC,SAAS,EAAE,+BAA+B,GAAG,IAAI,CAE5F;IAEM,qCAAqC,CAAC,SAAS,EAAE,gCAAgC,GAAG,IAAI,CAE9F;IAEM,wBAAwB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAEnE;CACF"}

package/dest/state_machine/dummy_p2p_client.js

@@ -1,5 +1,5 @@
 export class DummyP2P {
-    validate(_txs) {
+    validateTxsReceivedInBlockProposal(_txs) {
         return Promise.resolve();
     }
     clear() {
@@ -14,12 +14,27 @@ export class DummyP2P {
     getPeers(_includePending) {
         throw new Error('DummyP2P does not implement "getPeers"');
     }
+    getGossipMeshPeerCount(_topicType) {
+        return Promise.resolve(0);
+    }
     broadcastProposal(_proposal) {
         throw new Error('DummyP2P does not implement "broadcastProposal"');
     }
+    broadcastCheckpointProposal(_proposal) {
+        throw new Error('DummyP2P does not implement "broadcastCheckpointProposal"');
+    }
+    broadcastCheckpointAttestations(_attestations) {
+        throw new Error('DummyP2P does not implement "broadcastCheckpointAttestations"');
+    }
     registerBlockProposalHandler(_handler) {
         throw new Error('DummyP2P does not implement "registerBlockProposalHandler"');
     }
+    registerValidatorCheckpointProposalHandler(_handler) {
+        throw new Error('DummyP2P does not implement "registerValidatorCheckpointProposalHandler"');
+    }
+    registerAllNodesCheckpointProposalHandler(_handler) {
+        throw new Error('DummyP2P does not implement "registerAllNodesCheckpointProposalHandler"');
+    }
     requestTxs(_txHashes) {
         throw new Error('DummyP2P does not implement "requestTxs"');
     }
@@ -29,8 +44,8 @@ export class DummyP2P {
     sendTx(_tx) {
         throw new Error('DummyP2P does not implement "sendTx"');
     }
-    deleteTxs(_txHashes) {
-        throw new Error('DummyP2P does not implement "deleteTxs"');
+    handleFailedExecution(_txHashes) {
+        throw new Error('DummyP2P does not implement "handleFailedExecution"');
     }
     getTxByHashFromPool(_txHash) {
         throw new Error('DummyP2P does not implement "getTxByHashFromPool"');
@@ -42,11 +57,16 @@ export class DummyP2P {
         throw new Error('DummyP2P does not implement "getArchivedTxByHash"');
     }
     getTxStatus(_txHash) {
-        throw new Error('DummyP2P does not implement "getTxStatus"');
+        // In TXE there is no concept of transactions but we need to implement this because of tagging. We return 'mined'
+        // tx status for any tx hash.
+        return Promise.resolve('mined');
     }
     iteratePendingTxs() {
         throw new Error('DummyP2P does not implement "iteratePendingTxs"');
     }
+    iterateEligiblePendingTxs() {
+        throw new Error('DummyP2P does not implement "iterateEligiblePendingTxs"');
+    }
     getPendingTxCount() {
         throw new Error('DummyP2P does not implement "getPendingTxCount"');
     }
@@ -68,17 +88,23 @@ export class DummyP2P {
     isP2PClient() {
         throw new Error('DummyP2P does not implement "isP2PClient"');
     }
+    getTxProvider() {
+        throw new Error('DummyP2P does not implement "getTxProvider"');
+    }
     getTxsByHash(_txHashes) {
         throw new Error('DummyP2P does not implement "getTxsByHash"');
     }
-    getAttestationsForSlot(_slot, _proposalId) {
-        throw new Error('DummyP2P does not implement "getAttestationForSlot"');
+    getCheckpointAttestationsForSlot(_slot, _proposalPayloadHash) {
+        throw new Error('DummyP2P does not implement "getCheckpointAttestationsForSlot"');
     }
-    deleteAttestation(_attestation) {
-        return Promise.resolve();
+    addOwnCheckpointAttestations(_attestations) {
+        throw new Error('DummyP2P does not implement "addOwnCheckpointAttestations"');
     }
-    addAttestations(_attestations) {
-        throw new Error('DummyP2P does not implement "addAttestations"');
+    getProposalsForSlot(_slot) {
+        return Promise.resolve({
+            blockProposals: [],
+            checkpointProposals: []
+        });
     }
     getL2BlockHash(_number) {
         throw new Error('DummyP2P does not implement "getL2BlockHash"');
@@ -95,21 +121,12 @@ export class DummyP2P {
     sync() {
         throw new Error('DummyP2P does not implement "sync"');
     }
-    requestTxsByHash(_txHashes) {
-        throw new Error('DummyP2P does not implement "requestTxsByHash"');
-    }
-    getTxs(_filter) {
-        throw new Error('DummyP2P does not implement "getTxs"');
-    }
     getTxsByHashFromPool(_txHashes) {
         throw new Error('DummyP2P does not implement "getTxsByHashFromPool"');
     }
     hasTxsInPool(_txHashes) {
         throw new Error('DummyP2P does not implement "hasTxsInPool"');
     }
-    addTxsToPool(_txs) {
-        throw new Error('DummyP2P does not implement "addTxs"');
-    }
     getSyncedLatestBlockNum() {
         throw new Error('DummyP2P does not implement "getSyncedLatestBlockNum"');
     }
@@ -119,10 +136,13 @@ export class DummyP2P {
     getSyncedLatestSlot() {
         throw new Error('DummyP2P does not implement "getSyncedLatestSlot"');
     }
-    markTxsAsNonEvictable(_) {
-        throw new Error('DummyP2P does not implement "markTxsAsNonEvictable".');
+    protectTxs(_txHashes, _blockHeader) {
+        throw new Error('DummyP2P does not implement "protectTxs".');
+    }
+    prepareForSlot(_slotNumber) {
+        return Promise.resolve();
     }
-    addReqRespSubProtocol(_subProtocol, _handler, _validator) {
+    addReqRespSubProtocol(_subProtocol, _handler) {
         throw new Error('DummyP2P does not implement "addReqRespSubProtocol".');
     }
     handleAuthRequestFromPeer(_authRequest, _peerId) {
@@ -130,4 +150,16 @@ export class DummyP2P {
     }
     //This is no-op
     registerThisValidatorAddresses(_address) {}
+    registerDuplicateProposalCallback(_callback) {
+        throw new Error('DummyP2P does not implement "registerDuplicateProposalCallback"');
+    }
+    registerDuplicateAttestationCallback(_callback) {
+        throw new Error('DummyP2P does not implement "registerDuplicateAttestationCallback"');
+    }
+    registerCheckpointAttestationCallback(_callback) {
+        throw new Error('DummyP2P does not implement "registerCheckpointAttestationCallback"');
+    }
+    hasBlockProposalsForSlot(_slot) {
+        throw new Error('DummyP2P does not implement "hasBlockProposalsForSlot"');
+    }
 }

package/dest/state_machine/global_variable_builder.d.ts

@@ -1,9 +1,16 @@
+import type { SimulationOverridesPlan } from '@aztec/ethereum/contracts';
+import { BlockNumber, type SlotNumber } from '@aztec/foundation/branded-types';
 import type { EthAddress } from '@aztec/foundation/eth-address';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import { GasFees } from '@aztec/stdlib/gas';
-import { type GlobalVariableBuilder, GlobalVariables } from '@aztec/stdlib/tx';
+import { type CheckpointGlobalVariables, type FeeProvider, type GlobalVariableBuilder, GlobalVariables } from '@aztec/stdlib/tx';
+/** Simple FeeProvider for TXE that returns zero fees. */
+export declare class TXEFeeProvider implements FeeProvider {
+    getCurrentMinFees(): Promise<GasFees>;
+    getPredictedMinFees(): Promise<GasFees[]>;
+}
 export declare class TXEGlobalVariablesBuilder implements GlobalVariableBuilder {
-    getCurrentBaseFees(): Promise<GasFees>;
-    buildGlobalVariables(_blockNumber: number, _coinbase: EthAddress, _feeRecipient: AztecAddress, _slotNumber?: bigint): Promise<GlobalVariables>;
+    buildGlobalVariables(_blockNumber: BlockNumber, _coinbase: EthAddress, _feeRecipient: AztecAddress, _slotNumber?: SlotNumber): Promise<GlobalVariables>;
+    buildCheckpointGlobalVariables(_coinbase: EthAddress, _feeRecipient: AztecAddress, _slotNumber: SlotNumber, _simulationOverridesPlan?: SimulationOverridesPlan): Promise<CheckpointGlobalVariables>;
 }
-//# sourceMappingURL=global_variable_builder.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2xvYmFsX3ZhcmlhYmxlX2J1aWxkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdGF0ZV9tYWNoaW5lL2dsb2JhbF92YXJpYWJsZV9idWlsZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHVCQUF1QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekUsT0FBTyxFQUFFLFdBQVcsRUFBRSxLQUFLLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRS9FLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sRUFBa0IsT0FBTyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsT0FBTyxFQUNMLEtBQUsseUJBQXlCLEVBQzlCLEtBQUssV0FBVyxFQUNoQixLQUFLLHFCQUFxQixFQUMxQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFFMUIseURBQXlEO0FBQ3pELHFCQUFhLGNBQWUsWUFBVyxXQUFXO0lBQ3pDLGlCQUFpQixJQUFJLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FFM0M7SUFFTSxtQkFBbUIsSUFBSSxPQUFPLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FFL0M7Q0FDRjtBQUVELHFCQUFhLHlCQUEwQixZQUFXLHFCQUFxQjtJQUM5RCxvQkFBb0IsQ0FDekIsWUFBWSxFQUFFLFdBQVcsRUFDekIsU0FBUyxFQUFFLFVBQVUsRUFDckIsYUFBYSxFQUFFLFlBQVksRUFDM0IsV0FBVyxDQUFDLEVBQUUsVUFBVSxHQUN2QixPQUFPLENBQUMsZUFBZSxDQUFDLENBRTFCO0lBRU0sOEJBQThCLENBQ25DLFNBQVMsRUFBRSxVQUFVLEVBQ3JCLGFBQWEsRUFBRSxZQUFZLEVBQzNCLFdBQVcsRUFBRSxVQUFVLEVBQ3ZCLHdCQUF3QixDQUFDLEVBQUUsdUJBQXVCLEdBQ2pELE9BQU8sQ0FBQyx5QkFBeUIsQ0FBQyxDQVdwQztDQUNGIn0=

package/dest/state_machine/global_variable_builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"global_variable_builder.d.ts","sourceRoot":"","sources":["../../src/state_machine/global_variable_builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,OAAO,EAAE,KAAK,qBAAqB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAE/E,qBAAa,yBAA0B,YAAW,qBAAqB;IAC9D,kBAAkB,IAAI,OAAO,CAAC,OAAO,CAAC;IAItC,oBAAoB,CACzB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,UAAU,EACrB,aAAa,EAAE,YAAY,EAC3B,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,eAAe,CAAC;CAG5B"}
+{"version":3,"file":"global_variable_builder.d.ts","sourceRoot":"","sources":["../../src/state_machine/global_variable_builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAkB,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,EACL,KAAK,yBAAyB,EAC9B,KAAK,WAAW,EAChB,KAAK,qBAAqB,EAC1B,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAE1B,yDAAyD;AACzD,qBAAa,cAAe,YAAW,WAAW;IACzC,iBAAiB,IAAI,OAAO,CAAC,OAAO,CAAC,CAE3C;IAEM,mBAAmB,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,CAE/C;CACF;AAED,qBAAa,yBAA0B,YAAW,qBAAqB;IAC9D,oBAAoB,CACzB,YAAY,EAAE,WAAW,EACzB,SAAS,EAAE,UAAU,EACrB,aAAa,EAAE,YAAY,EAC3B,WAAW,CAAC,EAAE,UAAU,GACvB,OAAO,CAAC,eAAe,CAAC,CAE1B;IAEM,8BAA8B,CACnC,SAAS,EAAE,UAAU,EACrB,aAAa,EAAE,YAAY,EAC3B,WAAW,EAAE,UAAU,EACvB,wBAAwB,CAAC,EAAE,uBAAuB,GACjD,OAAO,CAAC,yBAAyB,CAAC,CAWpC;CACF"}