@aztec/end-to-end 0.0.1-commit.993d240 → 0.0.1-commit.9a89641

package/dest/{e2e_fees → single-node/fees}/fees_test.js

@@ -1,39 +1,80 @@
+import { BatchCall } from '@aztec/aztec.js/contracts';
+import { Fr } from '@aztec/aztec.js/fields';
 import { createLogger } from '@aztec/aztec.js/log';
+import { FeeJuiceContract } from '@aztec/aztec.js/protocol';
 import { getTokenAllowedSetupFunctions } from '@aztec/aztec/testing';
 import { createExtendedL1Client } from '@aztec/ethereum/client';
-import { RollupContract } from '@aztec/ethereum/contracts';
-import { ChainMonitor } from '@aztec/ethereum/test';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { sleep } from '@aztec/foundation/sleep';
 import { TestERC20Abi } from '@aztec/l1-artifacts';
 import { FPCContract } from '@aztec/noir-contracts.js/FPC';
-import { FeeJuiceContract } from '@aztec/noir-contracts.js/FeeJuice';
 import { SponsoredFPCContract } from '@aztec/noir-contracts.js/SponsoredFPC';
 import { TokenContract as BananaCoin } from '@aztec/noir-contracts.js/Token';
-import { ProtocolContractAddress } from '@aztec/protocol-contracts';
-import { getCanonicalFeeJuice } from '@aztec/protocol-contracts/fee-juice';
-import { GasSettings } from '@aztec/stdlib/gas';
+import { getContractInstanceFromInstantiationParams } from '@aztec/stdlib/contract';
+import { Gas, GasSettings } from '@aztec/stdlib/gas';
 import { getContract } from 'viem';
-import { MNEMONIC, getPaddedMaxFeesPerGas } from '../fixtures/fixtures.js';
-import { deployAccounts, ensureAuthRegistryPublished, publicDeployAccounts, setup, teardown } from '../fixtures/setup.js';
-import { mintTokensToPrivate } from '../fixtures/token_utils.js';
-import { getBalancesFn, setupSponsoredFPC } from '../fixtures/utils.js';
-import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_harness.js';
+import { L1_DIRECT_WRITE_ACCOUNT_INDEX, MNEMONIC, getPaddedMaxFeesPerGas } from '../../fixtures/fixtures.js';
+import { ensureAuthRegistryPublished, setup } from '../../fixtures/setup.js';
+import { testSpan } from '../../fixtures/timing.js';
+import { mintTokensToPrivate } from '../../fixtures/token_utils.js';
+import { getBalancesFn, setupSponsoredFPC } from '../../fixtures/utils.js';
+import { FeeJuicePortalTestingHarnessFactory } from '../../shared/gas_portal_test_harness.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+// Fixed deploy salts so BananaCoin and its BananaFPC land at deterministic addresses given the FPC
+// admin. This lets the BananaFPC's fee-juice balance be seeded at genesis (see `FeesTest.setup`)
+// instead of bridged from L1 during setup — the address must be known before genesis is computed.
+const BANANA_COIN_SALT = new Fr(0xba4a4a);
+const BANANA_FPC_SALT = new Fr(0xfacade);
+const BANANA_COIN_CONSTRUCTOR_ARGS = [
+    'BC',
+    'BC',
+    18n
+];
+/**
+ * Computes the deterministic BananaCoin and BananaFPC instances for the given admin/deployer, matching
+ * what {@link FeesTest.applyDeployBananaToken} and {@link FeesTest.applyFPCSetup} deploy with the fixed
+ * salts above. Used both to seed the BananaFPC's fee juice at genesis and to assert the deployed
+ * addresses match the seeded one.
+ */ async function computeBananaContractAddresses(admin) {
+    const bananaCoin = await getContractInstanceFromInstantiationParams(BananaCoin.artifact, {
+        salt: BANANA_COIN_SALT,
+        constructorArgs: [
+            admin,
+            ...BANANA_COIN_CONSTRUCTOR_ARGS
+        ],
+        deployer: admin
+    });
+    const bananaFPC = await getContractInstanceFromInstantiationParams(FPCContract.artifact, {
+        salt: BANANA_FPC_SALT,
+        constructorArgs: [
+            bananaCoin.address,
+            admin
+        ],
+        deployer: admin
+    });
+    return {
+        bananaCoinAddress: bananaCoin.address,
+        bananaFPCAddress: bananaFPC.address
+    };
+}
 /**
  * Test fixture for testing fees. Provides the following setup steps:
  * InitialAccounts: Initializes 3 Schnorr account contracts.
  * PublicDeployAccounts: Deploys the accounts publicly.
  * DeployFeeJuice: Deploys the Fee Juice contract.
- * FPCSetup: Deploys BananaCoin and FPC contracts, and bridges gas from L1.
- * SponsoredFPCSetup: Deploys Sponsored FPC contract, and bridges gas from L1.
+ * FPCSetup: Deploys BananaCoin and FPC contracts; the FPC's fee juice is seeded at genesis.
+ * SponsoredFPCSetup: Registers the Sponsored FPC contract, whose fee juice is seeded at genesis.
  * FundAlice: Mints private and public bananas to Alice.
  * SetupSubscription: Deploys a counter contract and a subscription contract, and mints Fee Juice to the subscription contract.
- */ export class FeesTest {
+ *
+ * The fee-domain harness over the single-node topology: extends {@link SingleNodeTestContext} so it
+ * reuses the base node tracking / chain monitor / teardown machinery, but builds its environment with
+ * the bespoke fee opts below (prover node, sponsored-FPC funding, token allowlist) rather than the
+ * base's default node config, and layers the fee-domain setup (FPC, fee juice, banana token) on top.
+ */ export class FeesTest extends SingleNodeTestContext {
     numberOfAccounts;
     setupOptions;
     accounts;
-    context;
-    logger;
     aztecNode;
     aztecNodeAdmin;
     cheatCodes;
@@ -44,7 +85,7 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     coinbase;
     fpcAdmin;
     gasSettings;
-    rollupContract;
+    /** The base's {@link SingleNodeTestContext.rollup}, exposed under the fee suite's historical name. */ rollupContract;
     feeJuiceContract;
     bananaCoin;
     bananaFPC;
@@ -52,7 +93,6 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     counterContract;
     subscriptionContract;
     feeJuiceBridgeTestHarness;
-    chainMonitor;
     getCoinbaseBalance;
     getCoinbaseSequencerRewards;
     getGasBalanceFn;
@@ -64,30 +104,31 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     ALICE_INITIAL_BANANAS;
     SUBSCRIPTION_AMOUNT;
     APP_SPONSORED_TX_GAS_LIMIT;
+    testName;
     constructor(testName, numberOfAccounts = 3, setupOptions = {}){
-        this.numberOfAccounts = numberOfAccounts;
-        this.setupOptions = setupOptions;
-        this.accounts = [];
-        this.ALICE_INITIAL_BANANAS = BigInt(1e22);
-        this.SUBSCRIPTION_AMOUNT = BigInt(1e19);
-        this.APP_SPONSORED_TX_GAS_LIMIT = BigInt(10e9);
+        super(), this.numberOfAccounts = numberOfAccounts, this.setupOptions = setupOptions, this.accounts = [], this.ALICE_INITIAL_BANANAS = BigInt(1e22), this.SUBSCRIPTION_AMOUNT = BigInt(1e19), this.APP_SPONSORED_TX_GAS_LIMIT = BigInt(10e9);
         if (!numberOfAccounts) {
             throw new Error('There must be at least 1 initial account.');
         }
         setupOptions.coinbase ??= EthAddress.random();
         this.coinbase = setupOptions.coinbase;
+        this.testName = testName;
         this.logger = createLogger(`e2e:e2e_fees:${testName}`);
     }
     async setup(opts = {}) {
         this.logger.verbose('Setting up fresh context...');
         // Token allowlist entries are test-only: FPC-based fee payment with custom tokens won't work on mainnet alpha.
         const tokenAllowList = await getTokenAllowedSetupFunctions();
-        this.context = await setup(0, {
+        const context = await setup(this.numberOfAccounts, {
             startProverNode: true,
             ...this.setupOptions,
             ...opts,
             fundSponsoredFPC: true,
-            skipAccountDeployment: true,
+            // Seed the BananaFPC's fee juice at genesis instead of bridging it from L1 in applyFPCSetup. The
+            // FPC admin is the first account, so its address is deterministic once the accounts are generated.
+            computeExtraGenesisFundedAddresses: async (defaultAccounts)=>[
+                    (await computeBananaContractAddresses(defaultAccounts[0].address)).bananaFPCAddress
+                ],
             l1ContractsArgs: {
                 ...this.setupOptions
             },
@@ -96,23 +137,28 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
                 ...tokenAllowList
             ]
         });
-        this.rollupContract = RollupContract.getFromConfig(this.context.config);
-        this.chainMonitor = new ChainMonitor(this.rollupContract, this.context.dateProvider, this.logger, 200).start();
+        // Reuse the base context machinery (rollup, epoch cache, chain monitor, node tracking, teardown)
+        // over the environment built above. Restore the FeesTest-named logger afterwards, since
+        // hydrateFromContext repoints `this.logger` at the context logger.
+        await this.hydrateFromContext(context);
+        this.logger = createLogger(`e2e:e2e_fees:${this.testName}`);
+        this.rollupContract = this.rollup;
         await this.applyBaseSetup();
-        return this;
     }
-    async teardown() {
-        await this.chainMonitor.stop();
-        await teardown(this.context);
+    async catchUpProvenChain() {
+        await testSpan('wait:proven-checkpoint', async ()=>{
+            const bn = await this.aztecNode.getBlockNumber();
+            while(await this.aztecNode.getBlockNumber('proven') < bn){
+                await sleep(1000);
+            }
+        });
     }
-    setIsMarkingAsProven(b) {
-        this.context.watcher.setIsMarkingAsProven(b);
+    /** Warps L1 to the next epoch boundary so the current epoch closes and can be proven. */ async advanceToNextEpoch() {
+        await testSpan('warp:proven-checkpoint-epoch', ()=>this.cheatCodes.rollup.advanceToNextEpoch());
     }
-    async catchUpProvenChain() {
-        const bn = await this.aztecNode.getBlockNumber();
-        while(await this.aztecNode.getBlockNumber('proven') < bn){
-            await sleep(1000);
-        }
+    /** Advances to the next epoch and waits for the proven chain to catch up, so all prior fees are paid out. */ async waitForEpochProven() {
+        await this.advanceToNextEpoch();
+        await this.catchUpProvenChain();
     }
     async getBlockRewards() {
         const blockReward = await this.rollupContract.getCheckpointReward();
@@ -129,15 +175,15 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     async mintAndBridgeFeeJuice(minter, recipient) {
         const claim = await this.feeJuiceBridgeTestHarness.prepareTokensOnL1(recipient);
         const { claimSecret: secret, messageLeafIndex: index } = claim;
-        await this.feeJuiceContract.methods.claim(recipient, claim.claimAmount, secret, index).send({
-            from: minter
-        });
+        await testSpan('setup:bridge', ()=>this.feeJuiceContract.methods.claim(recipient, claim.claimAmount, secret, index).send({
+                from: minter
+            }));
     }
     /** Alice mints bananaCoin tokens privately to the target address and redeems them. */ async mintPrivateBananas(amount, address) {
         const { result: balanceBefore } = await this.bananaCoin.methods.balance_of_private(address).simulate({
             from: address
         });
-        await mintTokensToPrivate(this.bananaCoin, this.aliceAddress, address, amount);
+        await testSpan('tx:mint', ()=>mintTokensToPrivate(this.bananaCoin, this.aliceAddress, address, amount));
         const { result: balanceAfter } = await this.bananaCoin.methods.balance_of_private(address).simulate({
             from: address
         });
@@ -146,7 +192,6 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     async applyBaseSetup() {
         await this.applyInitialAccounts();
         await this.applyEnsureAuthRegistryPublished();
-        await this.applyPublicDeployAccounts();
         await this.applySetupFeeJuice();
         await this.applyDeployBananaToken();
     }
@@ -156,46 +201,43 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     }
     async applyInitialAccounts() {
         this.logger.info('Applying initial accounts setup');
-        const { deployedAccounts } = await deployAccounts(this.numberOfAccounts, this.logger)({
-            wallet: this.context.wallet,
-            initialFundedAccounts: this.context.initialFundedAccounts
-        });
         this.wallet = this.context.wallet;
         this.aztecNode = this.context.aztecNodeService;
         this.aztecNodeAdmin = this.context.aztecNodeService;
         this.gasSettings = GasSettings.fallback({
+            gasLimits: Gas.from((await this.aztecNode.getNodeInfo()).txsLimits.gas),
             maxFeesPerGas: await getPaddedMaxFeesPerGas(this.aztecNode)
         });
         this.cheatCodes = this.context.cheatCodes;
-        this.accounts = deployedAccounts.map((a)=>a.address);
+        this.accounts = this.context.accounts;
         this.accounts.forEach((a, i)=>this.logger.verbose(`Account ${i} address: ${a}`));
         [this.aliceAddress, this.bobAddress, this.sequencerAddress] = this.accounts.slice(0, 3);
         // We set Alice as the FPC admin to avoid the need for deployment of another account.
         this.fpcAdmin = this.aliceAddress;
-        const canonicalFeeJuice = await getCanonicalFeeJuice();
-        this.feeJuiceContract = FeeJuiceContract.at(canonicalFeeJuice.address, this.wallet);
-    }
-    async applyPublicDeployAccounts() {
-        this.logger.info('Applying public deploy accounts setup');
-        await publicDeployAccounts(this.wallet, this.accounts);
+        this.feeJuiceContract = FeeJuiceContract.withWallet(this.wallet);
     }
     async applySetupFeeJuice() {
         this.logger.info('Applying fee juice setup');
-        this.feeJuiceContract = FeeJuiceContract.at(ProtocolContractAddress.FeeJuice, this.wallet);
+        this.feeJuiceContract = FeeJuiceContract.withWallet(this.wallet);
         this.getGasBalanceFn = getBalancesFn('⛽', this.feeJuiceContract.methods.balance_of_public, this.logger);
         this.feeJuiceBridgeTestHarness = await FeeJuicePortalTestingHarnessFactory.create({
             aztecNode: this.context.aztecNodeService,
             aztecNodeAdmin: this.context.aztecNodeService,
-            l1Client: this.context.deployL1ContractsValues.l1Client,
+            // Bridge from a dedicated L1 account so its direct writes don't race the sequencer publisher's
+            // txs on the deployer account (see L1_DIRECT_WRITE_ACCOUNT_INDEX).
+            l1Client: createExtendedL1Client(this.context.config.l1RpcUrls, MNEMONIC, undefined, undefined, L1_DIRECT_WRITE_ACCOUNT_INDEX),
             wallet: this.wallet,
             logger: this.logger
         });
     }
     async applyDeployBananaToken() {
         this.logger.info('Applying deploy banana token setup');
-        const { contract: bananaCoin } = await BananaCoin.deploy(this.wallet, this.aliceAddress, 'BC', 'BC', 18n).send({
-            from: this.aliceAddress
-        });
+        const { contract: bananaCoin } = await testSpan('deploy:token', ()=>BananaCoin.deploy(this.wallet, this.aliceAddress, ...BANANA_COIN_CONSTRUCTOR_ARGS, {
+                salt: BANANA_COIN_SALT,
+                deployer: this.aliceAddress
+            }).send({
+                from: this.aliceAddress
+            }));
         this.logger.info(`BananaCoin deployed at ${bananaCoin.address}`);
         this.bananaCoin = bananaCoin;
         this.getBananaPublicBalanceFn = getBalancesFn('🍌.public', this.bananaCoin.methods.balance_of_public, this.logger);
@@ -206,11 +248,20 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
         const feeJuiceContract = this.feeJuiceBridgeTestHarness.feeJuice;
         expect((await this.wallet.getContractMetadata(feeJuiceContract.address)).isContractPublished).toBe(true);
         const bananaCoin = this.bananaCoin;
-        const { contract: bananaFPC } = await FPCContract.deploy(this.wallet, bananaCoin.address, this.fpcAdmin).send({
-            from: this.aliceAddress
-        });
+        const { contract: bananaFPC } = await testSpan('deploy:fpc', ()=>FPCContract.deploy(this.wallet, bananaCoin.address, this.fpcAdmin, {
+                salt: BANANA_FPC_SALT,
+                deployer: this.aliceAddress
+            }).send({
+                from: this.aliceAddress
+            }));
         this.logger.info(`BananaPay deployed at ${bananaFPC.address}`);
-        await this.feeJuiceBridgeTestHarness.bridgeFromL1ToL2(bananaFPC.address, this.aliceAddress);
+        // The BananaFPC's fee juice is seeded at genesis (see FeesTest.setup) rather than bridged here.
+        // Assert the deploy landed at the seeded address so a params drift surfaces as a clear error rather
+        // than a downstream "insufficient fee payer balance".
+        const { bananaFPCAddress } = await computeBananaContractAddresses(this.aliceAddress);
+        if (!bananaFPC.address.equals(bananaFPCAddress)) {
+            throw new Error(`Deployed BananaFPC address ${bananaFPC.address} does not match the genesis-funded address ` + `${bananaFPCAddress}; the deterministic deploy params drifted from the genesis funding computation.`);
+        }
         this.bananaFPC = bananaFPC;
         const l1FeeJuiceAddress = this.feeJuiceBridgeTestHarness.l1FeeJuiceAddress;
         this.getCoinbaseBalance = async ()=>{
@@ -269,10 +320,22 @@ import { FeeJuicePortalTestingHarnessFactory } from '../shared/gas_portal_test_h
     }
     async applyFundAliceWithBananas() {
         this.logger.info('Applying fund Alice with bananas setup');
-        await this.mintPrivateBananas(this.ALICE_INITIAL_BANANAS, this.aliceAddress);
-        await this.bananaCoin.methods.mint_to_public(this.aliceAddress, this.ALICE_INITIAL_BANANAS).send({
+        // Both mints are alice sends on BananaCoin touching disjoint balances, so they ride a single
+        // BatchCall tx (one proof, one slot) rather than two concurrent txs. The PXE serializes proving,
+        // so two concurrent sends would still be proven back-to-back and land in consecutive slots.
+        const { result: privateBalanceBefore } = await this.bananaCoin.methods.balance_of_private(this.aliceAddress).simulate({
+            from: this.aliceAddress
+        });
+        await testSpan('tx:mint', ()=>new BatchCall(this.wallet, [
+                this.bananaCoin.methods.mint_to_private(this.aliceAddress, this.ALICE_INITIAL_BANANAS),
+                this.bananaCoin.methods.mint_to_public(this.aliceAddress, this.ALICE_INITIAL_BANANAS)
+            ]).send({
+                from: this.aliceAddress
+            }));
+        const { result: privateBalanceAfter } = await this.bananaCoin.methods.balance_of_private(this.aliceAddress).simulate({
             from: this.aliceAddress
         });
+        expect(privateBalanceAfter).toEqual(privateBalanceBefore + this.ALICE_INITIAL_BANANAS);
     }
     async applyFundAliceWithPrivateBananas() {
         this.logger.info('Applying fund Alice with private bananas setup');

package/dest/single-node/l1-reorgs/setup.d.ts

@@ -0,0 +1,42 @@
+import type { Archiver } from '@aztec/archiver';
+import type { AztecAddress } from '@aztec/aztec.js/addresses';
+import type { Logger } from '@aztec/aztec.js/log';
+import type { AztecNode } from '@aztec/aztec.js/node';
+import type { Delayer } from '@aztec/ethereum/l1-tx-utils';
+import type { ChainMonitor } from '@aztec/ethereum/test';
+import type { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import type { TxHash } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import type { EndToEndContext } from '../../fixtures/utils.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+/** Number of txs to send at the start of each reorg test to trigger multi-block checkpoints. */
+export declare const TX_COUNT = 8;
+/**
+ * The single-node + prover-node fixture shared by the L1-reorg suites (`blocks`, `messages`). Stands
+ * up a {@link SingleNodeTestContext} on the {@link FAST_REORG_TIMING} cadence (ethSlot=4s,
+ * aztecSlot=24s, block=5s, epoch=4, 32 slots/epoch) with L1 speed-ups disabled so prover/sequencer txs
+ * can be held back and reorged, registers a {@link TestContract}, and exposes the per-test handles plus
+ * a `sendTransactions` helper that pre-proves and fires `count` lightweight txs to drive multi-block
+ * checkpoints. Reorgs themselves are driven by `EthCheatCodes.reorg`/`reorgWithReplacement` at the call
+ * site. The returned object's fields are populated when `setup()` resolves; create it in `beforeEach`.
+ */
+export declare class L1ReorgsTest {
+    test: SingleNodeTestContext;
+    context: EndToEndContext;
+    logger: Logger;
+    node: AztecNode;
+    archiver: Archiver;
+    monitor: ChainMonitor;
+    proverDelayer: Delayer;
+    sequencerDelayer: Delayer;
+    contract: TestContract;
+    from: AztecAddress;
+    L1_BLOCK_TIME_IN_S: number;
+    L2_SLOT_DURATION_IN_S: number;
+    setup(): Promise<void>;
+    teardown(): Promise<void>;
+    /** Pre-proves and sends `count` txs to generate L2 activity for multi-block checkpoints. */
+    sendTransactions(count: number, offset?: number): Promise<TxHash[]>;
+}
+export { jest };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9sMS1yZW9yZ3Mvc2V0dXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFaEQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFOUQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDbEQsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDdEQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDdkUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFL0MsT0FBTyxFQUFFLElBQUksRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUVyQyxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUcvRCxPQUFPLEVBQXFCLHFCQUFxQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJMUYsZ0dBQWdHO0FBQ2hHLGVBQU8sTUFBTSxRQUFRLElBQUksQ0FBQztBQUUxQjs7Ozs7Ozs7R0FRRztBQUNILHFCQUFhLFlBQVk7SUFDaEIsSUFBSSxFQUFHLHFCQUFxQixDQUFDO0lBQzdCLE9BQU8sRUFBRyxlQUFlLENBQUM7SUFDMUIsTUFBTSxFQUFHLE1BQU0sQ0FBQztJQUNoQixJQUFJLEVBQUcsU0FBUyxDQUFDO0lBQ2pCLFFBQVEsRUFBRyxRQUFRLENBQUM7SUFDcEIsT0FBTyxFQUFHLFlBQVksQ0FBQztJQUN2QixhQUFhLEVBQUcsT0FBTyxDQUFDO0lBQ3hCLGdCQUFnQixFQUFHLE9BQU8sQ0FBQztJQUMzQixRQUFRLEVBQUcsWUFBWSxDQUFDO0lBQ3hCLElBQUksRUFBRyxZQUFZLENBQUM7SUFFcEIsa0JBQWtCLEVBQUcsTUFBTSxDQUFDO0lBQzVCLHFCQUFxQixFQUFHLE1BQU0sQ0FBQztJQUV6QixLQUFLLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQXlCbEM7SUFFTSxRQUFRLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUUvQjtJQUVELDRGQUE0RjtJQUMvRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sU0FBSSxHQUFHLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQVUxRTtDQUNGO0FBRUQsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDIn0=

package/dest/single-node/l1-reorgs/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/l1-reorgs/setup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAG/D,OAAO,EAAqB,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAI1F,gGAAgG;AAChG,eAAO,MAAM,QAAQ,IAAI,CAAC;AAE1B;;;;;;;;GAQG;AACH,qBAAa,YAAY;IAChB,IAAI,EAAG,qBAAqB,CAAC;IAC7B,OAAO,EAAG,eAAe,CAAC;IAC1B,MAAM,EAAG,MAAM,CAAC;IAChB,IAAI,EAAG,SAAS,CAAC;IACjB,QAAQ,EAAG,QAAQ,CAAC;IACpB,OAAO,EAAG,YAAY,CAAC;IACvB,aAAa,EAAG,OAAO,CAAC;IACxB,gBAAgB,EAAG,OAAO,CAAC;IAC3B,QAAQ,EAAG,YAAY,CAAC;IACxB,IAAI,EAAG,YAAY,CAAC;IAEpB,kBAAkB,EAAG,MAAM,CAAC;IAC5B,qBAAqB,EAAG,MAAM,CAAC;IAEzB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAyBlC;IAEM,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAE/B;IAED,4FAA4F;IAC/E,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,SAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAU1E;CACF;AAED,OAAO,EAAE,IAAI,EAAE,CAAC"}

package/dest/single-node/l1-reorgs/setup.js

@@ -0,0 +1,57 @@
+import { Fr } from '@aztec/aztec.js/fields';
+import { jest } from '@jest/globals';
+import { proveAndSendTxs } from '../../test-wallet/utils.js';
+import { setupWithProver } from '../setup.js';
+import { FAST_REORG_TIMING } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 20);
+/** Number of txs to send at the start of each reorg test to trigger multi-block checkpoints. */ export const TX_COUNT = 8;
+/**
+ * The single-node + prover-node fixture shared by the L1-reorg suites (`blocks`, `messages`). Stands
+ * up a {@link SingleNodeTestContext} on the {@link FAST_REORG_TIMING} cadence (ethSlot=4s,
+ * aztecSlot=24s, block=5s, epoch=4, 32 slots/epoch) with L1 speed-ups disabled so prover/sequencer txs
+ * can be held back and reorged, registers a {@link TestContract}, and exposes the per-test handles plus
+ * a `sendTransactions` helper that pre-proves and fires `count` lightweight txs to drive multi-block
+ * checkpoints. Reorgs themselves are driven by `EthCheatCodes.reorg`/`reorgWithReplacement` at the call
+ * site. The returned object's fields are populated when `setup()` resolves; create it in `beforeEach`.
+ */ export class L1ReorgsTest {
+    test;
+    context;
+    logger;
+    node;
+    archiver;
+    monitor;
+    proverDelayer;
+    sequencerDelayer;
+    contract;
+    from;
+    L1_BLOCK_TIME_IN_S;
+    L2_SLOT_DURATION_IN_S;
+    async setup() {
+        this.test = await setupWithProver({
+            ...FAST_REORG_TIMING,
+            numberOfAccounts: 1,
+            maxSpeedUpAttempts: 0,
+            cancelTxOnTimeout: false,
+            minTxsPerBlock: 0,
+            maxTxsPerBlock: 1,
+            aztecProofSubmissionEpochs: 1
+        });
+        ({ proverDelayer: this.proverDelayer, sequencerDelayer: this.sequencerDelayer, context: this.context, logger: this.logger, monitor: this.monitor, L1_BLOCK_TIME_IN_S: this.L1_BLOCK_TIME_IN_S, L2_SLOT_DURATION_IN_S: this.L2_SLOT_DURATION_IN_S } = this.test);
+        this.node = this.context.aztecNode;
+        this.archiver = this.node.getBlockSource();
+        this.from = this.context.accounts[0];
+        this.contract = await this.test.registerTestContract(this.context.wallet);
+    }
+    teardown() {
+        return this.test.teardown();
+    }
+    /** Pre-proves and sends `count` txs to generate L2 activity for multi-block checkpoints. */ async sendTransactions(count, offset = 0) {
+        this.logger.warn(`Pre-proving ${count} transactions`);
+        const txHashes = await proveAndSendTxs(this.context.wallet, count, (i)=>this.contract.methods.emit_nullifier(new Fr(offset + i + 1)), {
+            from: this.from
+        });
+        this.logger.warn(`Sent ${txHashes.length} transactions`);
+        return txHashes;
+    }
+}
+export { jest };

package/dest/single-node/partial-proofs/setup.d.ts

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9wYXJ0aWFsLXByb29mcy9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRXJDLE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxtQkFBbUIsRUFBRSxlQUFlLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDL0YsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJdkUsT0FBTyxFQUFFLElBQUksRUFBRSxlQUFlLEVBQUUscUJBQXFCLEVBQUUsMEJBQTBCLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQyJ9

package/dest/single-node/partial-proofs/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/partial-proofs/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAIvE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,CAAC"}

package/dest/single-node/partial-proofs/setup.js

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 10);
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };

package/dest/single-node/proving/setup.d.ts

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY } from '../single_node_test_context.js';
+export { jest, setupWithProver, SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9wcm92aW5nL3NldHVwLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxJQUFJLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFckMsT0FBTyxFQUFFLDBCQUEwQixFQUFFLG1CQUFtQixFQUFFLGVBQWUsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUMvRixPQUFPLEVBQUUscUJBQXFCLEVBQUUsOEJBQThCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUl2RyxPQUFPLEVBQ0wsSUFBSSxFQUNKLGVBQWUsRUFDZixxQkFBcUIsRUFDckIsOEJBQThCLEVBQzlCLDBCQUEwQixFQUMxQixtQkFBbUIsR0FDcEIsQ0FBQyJ9

package/dest/single-node/proving/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/proving/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAIvG,OAAO,EACL,IAAI,EACJ,eAAe,EACf,qBAAqB,EACrB,8BAA8B,EAC9B,0BAA0B,EAC1B,mBAAmB,GACpB,CAAC"}

package/dest/single-node/proving/setup.js

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 15);
+export { jest, setupWithProver, SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };

package/dest/single-node/recovery/setup.d.ts

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9yZWNvdmVyeS9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRXJDLE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxtQkFBbUIsRUFBRSxlQUFlLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDL0YsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJdkUsT0FBTyxFQUFFLElBQUksRUFBRSxlQUFlLEVBQUUscUJBQXFCLEVBQUUsMEJBQTBCLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQyJ9

package/dest/single-node/recovery/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/recovery/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAIvE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,CAAC"}

package/dest/single-node/recovery/setup.js

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 10);
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };

package/dest/single-node/setup.d.ts

@@ -0,0 +1,49 @@
+import { SingleNodeTestContext, type SingleNodeTestOpts } from './single_node_test_context.js';
+/**
+ * The single-node setup surface, organized over the prover axis (none / fake / real). Each factory is a
+ * thin wrapper over {@link SingleNodeTestContext.setup} that fixes the prover mode and the defaults that go
+ * with it; tests pick the factory matching their topology and vary it through `opts`.
+ */
+/**
+ * Proof-submission window (in epochs) so large the chain never prunes/reorgs in the test's lifetime.
+ * Tests that must keep unproven blocks alive for their whole run (no prover, or a hand-driven settler)
+ * set `aztecProofSubmissionEpochs` to this rather than picking an arbitrary large number.
+ */
+export declare const NO_REORG_SUBMISSION_EPOCHS = 1024;
+/**
+ * The "12s floor" slot cadence: a 4s L1 slot with 3 L1 slots per L2 slot, i.e. a 12s L2 slot. Shared by
+ * the proving / partial-proof suites whose bodies wait in real wall-clock for the sequencer to build
+ * empty checkpoints (one per L2 slot) and so cannot warp the clock forward. 12s is the shortest L2 slot
+ * that still fits one block per checkpoint under the default 3s block-duration timing model (which needs
+ * S >= ~8.5s); an 8s slot derives 0 blocks per checkpoint and trips the timing-config guard. Running at
+ * this floor keeps those real-time waits as short as possible.
+ */
+export declare const PROVING_SLOT_TIMING: {
+    readonly ethereumSlotDuration: 4;
+    readonly aztecSlotDurationInL1Slots: 3;
+};
+/**
+ * Single sequencer plus the context's fake in-process prover node (`realProofs: false`,
+ * `aztecProofSubmissionEpochs: 1`, `syncChainTip: 'checkpointed'`). This is exactly today's
+ * {@link SingleNodeTestContext.setup} default, used by the proving/partial-proofs/reorg/recovery suites.
+ */
+export declare function setupWithProver(opts?: SingleNodeTestOpts): Promise<SingleNodeTestContext>;
+/**
+ * Single production sequencer with **no prover node**, used by the block-building/sequencer/sync suites.
+ *
+ * Dropping the prover requires raising `aztecProofSubmissionEpochs` to a high value
+ * ({@link NO_REORG_SUBMISSION_EPOCHS}): with the context's default window of `1` and no prover producing
+ * proofs, unproven blocks get pruned out from under the test after an epoch — so the high window keeps the
+ * blocks alive. Also defaults the PXE to `syncChainTip: 'proposed'` (rather than the context's
+ * `'checkpointed'`) since these tests assert on freshly proposed, not-yet-checkpointed blocks.
+ *
+ * Defaults `aztecEpochDuration` to `32` (the production default). These tests were written against the raw
+ * `setup()` helper, which deployed with the 32-slot production epoch; the context's own default of `6`
+ * lands an epoch boundary mid-test, where proposer selection changes and the propose for the boundary slot
+ * silently reverts (no checkpoint lands, the chain stops advancing). The 32-slot epoch keeps the boundary
+ * out past the short runs these tests need. All three (`startProverNode`, the proof window, the epoch) and
+ * `pxeOpts` can be overridden via `opts` — tests that need a shorter epoch (e.g. governance signalling) set
+ * their own.
+ */
+export declare function setupBlockProducer(opts?: SingleNodeTestOpts): Promise<SingleNodeTestContext>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zaW5nbGUtbm9kZS9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUscUJBQXFCLEVBQUUsS0FBSyxrQkFBa0IsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRS9GOzs7O0dBSUc7QUFFSDs7OztHQUlHO0FBQ0gsZUFBTyxNQUFNLDBCQUEwQixPQUFPLENBQUM7QUFFL0M7Ozs7Ozs7R0FPRztBQUNILGVBQU8sTUFBTSxtQkFBbUI7OztDQUd0QixDQUFDO0FBRVg7Ozs7R0FJRztBQUNILHdCQUFnQixlQUFlLENBQUMsSUFBSSxHQUFFLGtCQUF1QixHQUFHLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBQyxDQUU3RjtBQUVEOzs7Ozs7Ozs7Ozs7Ozs7O0dBZ0JHO0FBQ0gsd0JBQWdCLGtCQUFrQixDQUFDLElBQUksR0FBRSxrQkFBdUIsR0FBRyxPQUFPLENBQUMscUJBQXFCLENBQUMsQ0FRaEcifQ==

package/dest/single-node/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../src/single-node/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,KAAK,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAE/F;;;;GAIG;AAEH;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAE/C;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;;;CAGtB,CAAC;AAEX;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,GAAE,kBAAuB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAE7F;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,GAAE,kBAAuB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAQhG"}

package/dest/single-node/setup.js

@@ -0,0 +1,56 @@
+import { SingleNodeTestContext } from './single_node_test_context.js';
+/**
+ * The single-node setup surface, organized over the prover axis (none / fake / real). Each factory is a
+ * thin wrapper over {@link SingleNodeTestContext.setup} that fixes the prover mode and the defaults that go
+ * with it; tests pick the factory matching their topology and vary it through `opts`.
+ */ /**
+ * Proof-submission window (in epochs) so large the chain never prunes/reorgs in the test's lifetime.
+ * Tests that must keep unproven blocks alive for their whole run (no prover, or a hand-driven settler)
+ * set `aztecProofSubmissionEpochs` to this rather than picking an arbitrary large number.
+ */ export const NO_REORG_SUBMISSION_EPOCHS = 1024;
+/**
+ * The "12s floor" slot cadence: a 4s L1 slot with 3 L1 slots per L2 slot, i.e. a 12s L2 slot. Shared by
+ * the proving / partial-proof suites whose bodies wait in real wall-clock for the sequencer to build
+ * empty checkpoints (one per L2 slot) and so cannot warp the clock forward. 12s is the shortest L2 slot
+ * that still fits one block per checkpoint under the default 3s block-duration timing model (which needs
+ * S >= ~8.5s); an 8s slot derives 0 blocks per checkpoint and trips the timing-config guard. Running at
+ * this floor keeps those real-time waits as short as possible.
+ */ export const PROVING_SLOT_TIMING = {
+    ethereumSlotDuration: 4,
+    aztecSlotDurationInL1Slots: 3
+};
+/**
+ * Single sequencer plus the context's fake in-process prover node (`realProofs: false`,
+ * `aztecProofSubmissionEpochs: 1`, `syncChainTip: 'checkpointed'`). This is exactly today's
+ * {@link SingleNodeTestContext.setup} default, used by the proving/partial-proofs/reorg/recovery suites.
+ */ export function setupWithProver(opts = {}) {
+    return SingleNodeTestContext.setup(opts);
+}
+/**
+ * Single production sequencer with **no prover node**, used by the block-building/sequencer/sync suites.
+ *
+ * Dropping the prover requires raising `aztecProofSubmissionEpochs` to a high value
+ * ({@link NO_REORG_SUBMISSION_EPOCHS}): with the context's default window of `1` and no prover producing
+ * proofs, unproven blocks get pruned out from under the test after an epoch — so the high window keeps the
+ * blocks alive. Also defaults the PXE to `syncChainTip: 'proposed'` (rather than the context's
+ * `'checkpointed'`) since these tests assert on freshly proposed, not-yet-checkpointed blocks.
+ *
+ * Defaults `aztecEpochDuration` to `32` (the production default). These tests were written against the raw
+ * `setup()` helper, which deployed with the 32-slot production epoch; the context's own default of `6`
+ * lands an epoch boundary mid-test, where proposer selection changes and the propose for the boundary slot
+ * silently reverts (no checkpoint lands, the chain stops advancing). The 32-slot epoch keeps the boundary
+ * out past the short runs these tests need. All three (`startProverNode`, the proof window, the epoch) and
+ * `pxeOpts` can be overridden via `opts` — tests that need a shorter epoch (e.g. governance signalling) set
+ * their own.
+ */ export function setupBlockProducer(opts = {}) {
+    return SingleNodeTestContext.setup({
+        startProverNode: false,
+        aztecProofSubmissionEpochs: NO_REORG_SUBMISSION_EPOCHS,
+        aztecEpochDuration: 32,
+        ...opts,
+        pxeOpts: {
+            syncChainTip: 'proposed',
+            ...opts.pxeOpts
+        }
+    });
+}