@aztec/end-to-end 0.0.1-commit.42ee6df9b → 0.0.1-commit.431c48d

package/dest/simulators/lending_simulator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lending_simulator.d.ts","sourceRoot":"","sources":["../../src/simulators/lending_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAExE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;GAEG;AACH,qBAAa,cAAc;IACzB,yCAAyC;IACzC,SAAgB,OAAO,EAAE,YAAY,CAAC;IACtC,2CAA2C;IAC3C,SAAgB,MAAM,EAAE,EAAE,CAAC;IAE3B,YAAY,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAG5C;IAED;;;OAGG;IACI,GAAG,gBAET;CACF;AAgCD;;GAEG;AACH,qBAAa,gBAAgB;IAYzB,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,oBAAoB;IAC5B,0BAA0B;IACnB,MAAM,EAAE,cAAc;IAC7B,2BAA2B;IACpB,eAAe,EAAE,eAAe;IACvC,wDAAwD;IACjD,eAAe,EAAE,cAAc;IACtC,uDAAuD;IAChD,UAAU,EAAE,cAAc;IAtBnC,gCAAgC;IACzB,WAAW,EAAE,MAAM,CAAM;IAChC,oCAAoC;IAC7B,IAAI,EAAE,MAAM,CAAK;IAExB,OAAO,CAAC,UAAU,CAA6B;IAC/C,OAAO,CAAC,UAAU,CAA6B;IAC/C,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,aAAa,CAAc;IAEnC,YACU,EAAE,EAAE,UAAU,EACd,OAAO,EAAE,cAAc,EACvB,IAAI,EAAE,MAAM,EACZ,oBAAoB,EAAE,MAAM;IACpC,0BAA0B;IACnB,MAAM,EAAE,cAAc;IAC7B,2BAA2B;IACpB,eAAe,EAAE,eAAe;IACvC,wDAAwD;IACjD,eAAe,EAAE,cAAc;IACtC,uDAAuD;IAChD,UAAU,EAAE,cAAc,EAC/B;IAEE,OAAO,kBAMZ;IAEK,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,gBAAgB,iBAkBhE;IAED,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAGhE;IAED,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAG/D;IAED,OAAO,CAAC,OAAO;IAKf,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAI1D;IAED,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAOxD;IAED,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAG9D;IAED,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAG7D;IAED,OAAO,CAAC,KAAK;IAQb,yBAAyB,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,UAAQ,QAO9E;IAEK,KAAK,kBA2BV;CACF"}
+{"version":3,"file":"lending_simulator.d.ts","sourceRoot":"","sources":["../../src/simulators/lending_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;GAEG;AACH,qBAAa,cAAc;IACzB,yCAAyC;IACzC,SAAgB,OAAO,EAAE,YAAY,CAAC;IACtC,2CAA2C;IAC3C,SAAgB,MAAM,EAAE,EAAE,CAAC;IAE3B,YAAY,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAG5C;IAED;;;OAGG;IACI,GAAG,gBAET;CACF;AAgCD;;GAEG;AACH,qBAAa,gBAAgB;IAYzB,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,oBAAoB;IAC5B,0BAA0B;IACnB,MAAM,EAAE,cAAc;IAC7B,2BAA2B;IACpB,eAAe,EAAE,eAAe;IACvC,wDAAwD;IACjD,eAAe,EAAE,cAAc;IACtC,uDAAuD;IAChD,UAAU,EAAE,cAAc;IAtBnC,gCAAgC;IACzB,WAAW,EAAE,MAAM,CAAM;IAChC,oCAAoC;IAC7B,IAAI,EAAE,MAAM,CAAK;IAExB,OAAO,CAAC,UAAU,CAA6B;IAC/C,OAAO,CAAC,UAAU,CAA6B;IAC/C,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,aAAa,CAAc;IAEnC,YACU,EAAE,EAAE,UAAU,EACd,OAAO,EAAE,cAAc,EACvB,IAAI,EAAE,MAAM,EACZ,oBAAoB,EAAE,MAAM;IACpC,0BAA0B;IACnB,MAAM,EAAE,cAAc;IAC7B,2BAA2B;IACpB,eAAe,EAAE,eAAe;IACvC,wDAAwD;IACjD,eAAe,EAAE,cAAc;IACtC,uDAAuD;IAChD,UAAU,EAAE,cAAc,EAC/B;IAEJ,OAAO,SAGN;IAED;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,EAAE,MAAM,QAM/B;IAEK,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAAE,SAAS,GAAG,cAAc,iBAqBpG;IAED,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAGhE;IAED,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAG/D;IAED,OAAO,CAAC,OAAO;IAKf,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAI1D;IAED,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAOxD;IAED,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAG9D;IAED,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAG7D;IAED,OAAO,CAAC,KAAK;IAQb,yBAAyB,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,UAAQ,QAO9E;IAEK,KAAK,kBA2BV;CACF"}

package/dest/simulators/lending_simulator.js

@@ -76,27 +76,39 @@ const computeMultiplier = (rate, dt)=>{
         this.borrowed = 0n;
         this.mintedOutside = 0n;
     }
-    async prepare() {
+    prepare() {
         this.accumulator = BASE;
-        const slot = await this.rollup.getSlotAt(BigInt(await this.cc.eth.lastBlockTimestamp()) + BigInt(this.ethereumSlotDuration));
-        this.time = Number(await this.rollup.getTimestampForSlot(slot));
+        this.time = 0;
     }
-    async progressSlots(diff, dateProvider) {
+    /**
+   * Advances the simulator's accumulator and clock to match a block timestamp observed on chain.
+   * Call this BEFORE applying any accumulator-sensitive mutation (borrow/repay) so the mutation
+   * sees the same accumulator as the contract did during execution.
+   */ observeBlockTimestamp(ts) {
+        const diff = ts - this.time;
+        if (diff > 0) {
+            this.accumulator = muldivDown(this.accumulator, computeMultiplier(this.rate, BigInt(diff)), BASE);
+        }
+        this.time = ts;
+    }
+    async progressSlots(diff, _dateProvider, node) {
         if (diff <= 1) {
             return;
         }
         const slot = await this.rollup.getSlotAt(BigInt(await this.cc.eth.lastBlockTimestamp()));
         const targetSlot = SlotNumber(slot + diff);
         const ts = Number(await this.rollup.getTimestampForSlot(targetSlot));
-        const timeDiff = ts - this.time;
-        this.time = ts;
-        // Mine ethereum blocks such that the next block will be in a new slot
-        await this.cc.eth.warp(this.time - this.ethereumSlotDuration);
-        if (dateProvider) {
-            dateProvider.setTime(this.time * 1000);
+        // Queue-aware warp under AutomineSequencer: atomic warp + mineBlock that advances L2 time to the
+        // target slot. The cheat code routes through the AutomineSequencer queue when one is installed,
+        // and otherwise falls back to a manual warp + mineBlock loop.
+        if (node) {
+            await this.cc.warpL2TimeAtLeastTo(node, ts);
+        } else {
+            await this.cc.eth.warp(ts - this.ethereumSlotDuration);
         }
+        // Mark the latest checkpoint as proven so the rollup does not reorg pending checkpoints when
+        // time jumps far enough forward to cross an unproven epoch boundary.
         await this.cc.rollup.markAsProven(await this.rollup.getCheckpointNumber());
-        this.accumulator = muldivDown(this.accumulator, computeMultiplier(this.rate, BigInt(timeDiff)), BASE);
     }
     depositPrivate(from, onBehalfOf, amount) {
         this.collateralAsset.transferToPublic(from, this.lendingContract.address, amount);
@@ -160,7 +172,7 @@ const computeMultiplier = (rate, dt)=>{
         expect(asset['last_updated_ts']).toEqual(BigInt(this.time));
         for (const key of [
             this.account.address,
-            AztecAddress.fromField(await this.account.key())
+            AztecAddress.fromFieldUnsafe(await this.account.key())
         ]){
             const { result: privatePos } = await this.lendingContract.methods.get_position(key).simulate({
                 from: this.account.address

package/dest/single-node/cross-chain/cross_chain_messaging_test.d.ts

@@ -0,0 +1,75 @@
+import type { AztecNodeConfig } from '@aztec/aztec-node';
+import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
+import type { AztecNode } from '@aztec/aztec.js/node';
+import type { TxReceipt } from '@aztec/aztec.js/tx';
+import { CheatCodes, EpochTestSettler } from '@aztec/aztec/testing';
+import { InboxContract, OutboxContract } from '@aztec/ethereum/contracts';
+import type { DeployAztecL1ContractsArgs, DeployAztecL1ContractsReturnType } from '@aztec/ethereum/deploy-aztec-l1-contracts';
+import type { ExtendedViemWalletClient } from '@aztec/ethereum/types';
+import { EpochNumber } from '@aztec/foundation/branded-types';
+import { TokenContract } from '@aztec/noir-contracts.js/Token';
+import { TokenBridgeContract } from '@aztec/noir-contracts.js/TokenBridge';
+import type { PXEConfig } from '@aztec/pxe/server';
+import type { AztecNodeAdmin } from '@aztec/stdlib/interfaces/client';
+import { type SetupOptions } from '../../fixtures/setup.js';
+import { CrossChainTestHarness } from '../../shared/cross_chain_test_harness.js';
+import type { TestWallet } from '../../test-wallet/test_wallet.js';
+import { SingleNodeTestContext, type SingleNodeTestOpts } from '../single_node_test_context.js';
+/** Optional configuration for {@link CrossChainMessagingTest}. */
+export type CrossChainMessagingTestOpts = {
+    /** Mnemonic account index for the harness L1 client (token portal, inbox, minting). Defaults to the first account. */
+    l1HarnessAccountIndex?: number;
+    /** Whether to deploy the L1/L2 token bridge. Set to false for suites that only pass arbitrary messages. Defaults to true. */
+    deployTokenBridge?: boolean;
+};
+/**
+ * The cross-chain-messaging 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 cross-chain opts below (optional prover node, sponsored-FPC funding, a generous
+ * prover tx-gathering window for the epoch warps) rather than the base's default node config, and owns
+ * the {@link CrossChainTestHarness} domain object plus the L1 inbox/outbox handles.
+ */
+export declare class CrossChainMessagingTest extends SingleNodeTestContext {
+    private requireEpochProven;
+    private setupOptions;
+    private deployL1ContractsArgs;
+    private pxeOpts;
+    private l1HarnessAccountIndex?;
+    private deployTokenBridge;
+    /** L1 token portal + ERC20 deployed before the node started (under automine) by the setup hook. */
+    private preDeployedCrossChainL1?;
+    private testName;
+    aztecNode: AztecNode;
+    aztecNodeConfig: AztecNodeConfig;
+    aztecNodeAdmin: AztecNodeAdmin;
+    wallet: TestWallet;
+    ownerAddress: AztecAddress;
+    user1Address: AztecAddress;
+    user2Address: AztecAddress;
+    crossChainTestHarness: CrossChainTestHarness;
+    ethAccount: EthAddress;
+    /** L1 client used for cross-chain L1 interactions (token portal, inbox), tied to `l1HarnessAccountIndex`. */
+    harnessL1Client: ExtendedViemWalletClient;
+    l2Token: TokenContract;
+    l2Bridge: TokenBridgeContract;
+    inbox: InboxContract;
+    outbox: OutboxContract;
+    cheatCodes: CheatCodes;
+    /**
+     * Background loop that marks each completed epoch as proven on L1. Started in `applyBaseSetup`
+     * when the test runs without a real prover node, because the e2e fixture uses L1 interval mining
+     * and nothing marks blocks proven automatically. Without this, L1's `aztecProofSubmissionEpochs`
+     * window expires mid-test and triggers a chain prune that drops in-flight wallet txs. Tests that
+     * intentionally pause proving (e.g. inbox drift tests) can stop it via
+     * `await t.epochTestSettler?.stop()`.
+     */
+    epochTestSettler?: EpochTestSettler;
+    deployL1ContractsValues: DeployAztecL1ContractsReturnType;
+    constructor(testName: string, opts?: SetupOptions, deployL1ContractsArgs?: Partial<DeployAztecL1ContractsArgs>, pxeOpts?: Partial<PXEConfig>, crossChainOpts?: CrossChainMessagingTestOpts);
+    setup(opts?: SingleNodeTestOpts, pxeOpts?: Partial<PXEConfig>): Promise<void>;
+    advanceToEpochProven(l2TxReceipt: TxReceipt): Promise<EpochNumber>;
+    catchUpProvenChain(): Promise<void>;
+    teardown(): Promise<void>;
+    applyBaseSetup(): Promise<void>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3Jvc3NfY2hhaW5fbWVzc2FnaW5nX3Rlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9jcm9zcy1jaGFpbi9jcm9zc19jaGFpbl9tZXNzYWdpbmdfdGVzdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsWUFBWSxFQUFFLFVBQVUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBR3JFLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ3RELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ3BELE9BQU8sRUFBRSxVQUFVLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUVwRSxPQUFPLEVBQUUsYUFBYSxFQUFFLGNBQWMsRUFBa0IsTUFBTSwyQkFBMkIsQ0FBQztBQUMxRixPQUFPLEtBQUssRUFDViwwQkFBMEIsRUFDMUIsZ0NBQWdDLEVBQ2pDLE1BQU0sMkNBQTJDLENBQUM7QUFHbkQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN0RSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFJOUQsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQy9ELE9BQU8sRUFBRSxtQkFBbUIsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBQzNFLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRW5ELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBS3RFLE9BQU8sRUFBRSxLQUFLLFlBQVksRUFBc0MsTUFBTSx5QkFBeUIsQ0FBQztBQUNoRyxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUNuRSxPQUFPLEVBQUUscUJBQXFCLEVBQUUsS0FBSyxrQkFBa0IsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRWhHLGtFQUFrRTtBQUNsRSxNQUFNLE1BQU0sMkJBQTJCLEdBQUc7SUFDeEMsc0hBQXNIO0lBQ3RILHFCQUFxQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQy9CLDZIQUE2SDtJQUM3SCxpQkFBaUIsQ0FBQyxFQUFFLE9BQU8sQ0FBQztDQUM3QixDQUFDO0FBRUY7Ozs7OztHQU1HO0FBQ0gscUJBQWEsdUJBQXdCLFNBQVEscUJBQXFCO0lBQ2hFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBVTtJQUNwQyxPQUFPLENBQUMsWUFBWSxDQUFlO0lBQ25DLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBc0M7SUFDbkUsT0FBTyxDQUFDLE9BQU8sQ0FBcUI7SUFDcEMsT0FBTyxDQUFDLHFCQUFxQixDQUFDLENBQVM7SUFDdkMsT0FBTyxDQUFDLGlCQUFpQixDQUFVO0lBQ25DLG1HQUFtRztJQUNuRyxPQUFPLENBQUMsdUJBQXVCLENBQUMsQ0FBeUU7SUFDekcsT0FBTyxDQUFDLFFBQVEsQ0FBUztJQUN6QixTQUFTLEVBQUcsU0FBUyxDQUFDO0lBQ3RCLGVBQWUsRUFBRyxlQUFlLENBQUM7SUFDbEMsY0FBYyxFQUFHLGNBQWMsQ0FBQztJQUVoQyxNQUFNLEVBQUcsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRyxZQUFZLENBQUM7SUFDNUIsWUFBWSxFQUFHLFlBQVksQ0FBQztJQUM1QixZQUFZLEVBQUcsWUFBWSxDQUFDO0lBQzVCLHFCQUFxQixFQUFHLHFCQUFxQixDQUFDO0lBQzlDLFVBQVUsRUFBRyxVQUFVLENBQUM7SUFDeEIsNkdBQTZHO0lBQzdHLGVBQWUsRUFBRyx3QkFBd0IsQ0FBQztJQUMzQyxPQUFPLEVBQUcsYUFBYSxDQUFDO0lBQ3hCLFFBQVEsRUFBRyxtQkFBbUIsQ0FBQztJQUUvQixLQUFLLEVBQUcsYUFBYSxDQUFDO0lBQ3RCLE1BQU0sRUFBRyxjQUFjLENBQUM7SUFDeEIsVUFBVSxFQUFHLFVBQVUsQ0FBQztJQUV4Qjs7Ozs7OztPQU9HO0lBQ0gsZ0JBQWdCLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQztJQUVwQyx1QkFBdUIsRUFBRyxnQ0FBZ0MsQ0FBQztJQUUzRCxZQUNFLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLElBQUksR0FBRSxZQUFpQixFQUN2QixxQkFBcUIsR0FBRSxPQUFPLENBQUMsMEJBQTBCLENBQU0sRUFDL0QsT0FBTyxHQUFFLE9BQU8sQ0FBQyxTQUFTLENBQU0sRUFDaEMsY0FBYyxHQUFFLDJCQUFnQyxFQWNqRDtJQUVjLEtBQUssQ0FBQyxJQUFJLEdBQUUsa0JBQXVCLEVBQUUsT0FBTyxHQUFFLE9BQU8sQ0FBQyxTQUFTLENBQU0saUJBNERuRjtJQUVLLG9CQUFvQixDQUFDLFdBQVcsRUFBRSxTQUFTLEdBQUcsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQWdCdkU7SUFFSyxrQkFBa0Isa0JBS3ZCO0lBRWMsUUFBUSxrQkFHdEI7SUFFSyxjQUFjLGtCQWlHbkI7Q0FDRiJ9

package/dest/single-node/cross-chain/cross_chain_messaging_test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross_chain_messaging_test.d.ts","sourceRoot":"","sources":["../../../src/single-node/cross-chain/cross_chain_messaging_test.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAGrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEpE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAkB,MAAM,2BAA2B,CAAC;AAC1F,OAAO,KAAK,EACV,0BAA0B,EAC1B,gCAAgC,EACjC,MAAM,2CAA2C,CAAC;AAGnD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAI9D,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAKtE,OAAO,EAAE,KAAK,YAAY,EAAsC,MAAM,yBAAyB,CAAC;AAChG,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,KAAK,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEhG,kEAAkE;AAClE,MAAM,MAAM,2BAA2B,GAAG;IACxC,sHAAsH;IACtH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,6HAA6H;IAC7H,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF;;;;;;GAMG;AACH,qBAAa,uBAAwB,SAAQ,qBAAqB;IAChE,OAAO,CAAC,kBAAkB,CAAU;IACpC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,OAAO,CAAqB;IACpC,OAAO,CAAC,qBAAqB,CAAC,CAAS;IACvC,OAAO,CAAC,iBAAiB,CAAU;IACnC,mGAAmG;IACnG,OAAO,CAAC,uBAAuB,CAAC,CAAyE;IACzG,OAAO,CAAC,QAAQ,CAAS;IACzB,SAAS,EAAG,SAAS,CAAC;IACtB,eAAe,EAAG,eAAe,CAAC;IAClC,cAAc,EAAG,cAAc,CAAC;IAEhC,MAAM,EAAG,UAAU,CAAC;IACpB,YAAY,EAAG,YAAY,CAAC;IAC5B,YAAY,EAAG,YAAY,CAAC;IAC5B,YAAY,EAAG,YAAY,CAAC;IAC5B,qBAAqB,EAAG,qBAAqB,CAAC;IAC9C,UAAU,EAAG,UAAU,CAAC;IACxB,6GAA6G;IAC7G,eAAe,EAAG,wBAAwB,CAAC;IAC3C,OAAO,EAAG,aAAa,CAAC;IACxB,QAAQ,EAAG,mBAAmB,CAAC;IAE/B,KAAK,EAAG,aAAa,CAAC;IACtB,MAAM,EAAG,cAAc,CAAC;IACxB,UAAU,EAAG,UAAU,CAAC;IAExB;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAEpC,uBAAuB,EAAG,gCAAgC,CAAC;IAE3D,YACE,QAAQ,EAAE,MAAM,EAChB,IAAI,GAAE,YAAiB,EACvB,qBAAqB,GAAE,OAAO,CAAC,0BAA0B,CAAM,EAC/D,OAAO,GAAE,OAAO,CAAC,SAAS,CAAM,EAChC,cAAc,GAAE,2BAAgC,EAcjD;IAEc,KAAK,CAAC,IAAI,GAAE,kBAAuB,EAAE,OAAO,GAAE,OAAO,CAAC,SAAS,CAAM,iBA4DnF;IAEK,oBAAoB,CAAC,WAAW,EAAE,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAgBvE;IAEK,kBAAkB,kBAKvB;IAEc,QAAQ,kBAGtB;IAEK,cAAc,kBAiGnB;CACF"}

package/dest/single-node/cross-chain/cross_chain_messaging_test.js

@@ -0,0 +1,209 @@
+import { EthAddress } from '@aztec/aztec.js/addresses';
+import { waitForProven } from '@aztec/aztec.js/contracts';
+import { createLogger } from '@aztec/aztec.js/log';
+import { EpochTestSettler } from '@aztec/aztec/testing';
+import { createExtendedL1Client } from '@aztec/ethereum/client';
+import { InboxContract, OutboxContract, RollupContract } from '@aztec/ethereum/contracts';
+import { deployL1Contract } from '@aztec/ethereum/deploy-l1-contract';
+import { pickL1ContractAddresses } from '@aztec/ethereum/l1-contract-addresses';
+import { EpochNumber } from '@aztec/foundation/branded-types';
+import { retryUntil } from '@aztec/foundation/retry';
+import { sleep } from '@aztec/foundation/sleep';
+import { TestERC20Abi, TestERC20Bytecode, TokenPortalAbi, TokenPortalBytecode } from '@aztec/l1-artifacts';
+import { TokenContract } from '@aztec/noir-contracts.js/Token';
+import { TokenBridgeContract } from '@aztec/noir-contracts.js/TokenBridge';
+import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
+import { mnemonicToAccount } from 'viem/accounts';
+import { MNEMONIC } from '../../fixtures/fixtures.js';
+import { ensureAuthRegistryPublished, setup } from '../../fixtures/setup.js';
+import { CrossChainTestHarness } from '../../shared/cross_chain_test_harness.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+/**
+ * The cross-chain-messaging 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 cross-chain opts below (optional prover node, sponsored-FPC funding, a generous
+ * prover tx-gathering window for the epoch warps) rather than the base's default node config, and owns
+ * the {@link CrossChainTestHarness} domain object plus the L1 inbox/outbox handles.
+ */ export class CrossChainMessagingTest extends SingleNodeTestContext {
+    requireEpochProven;
+    setupOptions;
+    deployL1ContractsArgs;
+    pxeOpts;
+    l1HarnessAccountIndex;
+    deployTokenBridge;
+    /** L1 token portal + ERC20 deployed before the node started (under automine) by the setup hook. */ preDeployedCrossChainL1;
+    testName;
+    aztecNode;
+    aztecNodeConfig;
+    aztecNodeAdmin;
+    wallet;
+    ownerAddress;
+    user1Address;
+    user2Address;
+    crossChainTestHarness;
+    ethAccount;
+    /** L1 client used for cross-chain L1 interactions (token portal, inbox), tied to `l1HarnessAccountIndex`. */ harnessL1Client;
+    l2Token;
+    l2Bridge;
+    inbox;
+    outbox;
+    cheatCodes;
+    /**
+   * Background loop that marks each completed epoch as proven on L1. Started in `applyBaseSetup`
+   * when the test runs without a real prover node, because the e2e fixture uses L1 interval mining
+   * and nothing marks blocks proven automatically. Without this, L1's `aztecProofSubmissionEpochs`
+   * window expires mid-test and triggers a chain prune that drops in-flight wallet txs. Tests that
+   * intentionally pause proving (e.g. inbox drift tests) can stop it via
+   * `await t.epochTestSettler?.stop()`.
+   */ epochTestSettler;
+    deployL1ContractsValues;
+    constructor(testName, opts = {}, deployL1ContractsArgs = {}, pxeOpts = {}, crossChainOpts = {}){
+        super();
+        this.testName = testName;
+        this.logger = createLogger(`e2e:e2e_cross_chain_messaging:${testName}`);
+        this.setupOptions = opts;
+        this.deployL1ContractsArgs = {
+            initialValidators: [],
+            ...deployL1ContractsArgs
+        };
+        this.pxeOpts = pxeOpts;
+        this.l1HarnessAccountIndex = crossChainOpts.l1HarnessAccountIndex;
+        this.deployTokenBridge = crossChainOpts.deployTokenBridge ?? true;
+        this.requireEpochProven = opts.startProverNode ?? false;
+    }
+    async setup(opts = {}, pxeOpts = {}) {
+        this.logger.info('Setting up cross chain messaging test');
+        // Recompute requireEpochProven from the merged options so per-call startProverNode is honored.
+        this.requireEpochProven = opts.startProverNode ?? this.setupOptions.startProverNode ?? false;
+        const context = await setup(3, {
+            ...this.setupOptions,
+            ...opts,
+            fundSponsoredFPC: true,
+            l1ContractsArgs: {
+                ...this.deployL1ContractsArgs,
+                ...opts.l1ContractsArgs
+            },
+            // `advanceToEpochProven` warps anvil's L1 clock forward by up to a full epoch in one
+            // step. The prover-node tracks L1 time via `dateProvider.setTime(...)`, so any
+            // in-flight tx-gather sees its deadline jump into the past and short-circuits. Use
+            // a generous gather window so the deadline survives the warp.
+            proverNodeConfig: {
+                ...this.setupOptions.proverNodeConfig,
+                ...opts.proverNodeConfig,
+                txGatheringTimeoutMs: opts.proverNodeConfig?.txGatheringTimeoutMs ?? 10 * 60 * 1000
+            },
+            // Deploy the cross-chain token portal + ERC20 before the node starts, while anvil is still
+            // automining, instead of paying the L1 block interval for them once the sequencer is live.
+            deployExtraL1Contracts: this.deployTokenBridge ? async ({ l1Client, logger })=>{
+                // The harness mints the underlying ERC20 from `l1HarnessAccountIndex` and `TestERC20.mint`
+                // is onlyMinter, so its owner/initial-minter must be that account even though setup's
+                // publisher client sends the deploy tx.
+                const harnessAddress = mnemonicToAccount(MNEMONIC, {
+                    addressIndex: this.l1HarnessAccountIndex ?? 0
+                }).address;
+                const { address: underlyingERC20Address } = await deployL1Contract(l1Client, TestERC20Abi, TestERC20Bytecode, [
+                    'Underlying',
+                    'UND',
+                    harnessAddress
+                ]);
+                // The TokenPortal's initialize is permissionless, so it can be deployed by the publisher.
+                const { address: tokenPortalAddress } = await deployL1Contract(l1Client, TokenPortalAbi, TokenPortalBytecode);
+                this.preDeployedCrossChainL1 = {
+                    underlyingERC20Address,
+                    tokenPortalAddress
+                };
+                logger.verbose(`Pre-deployed cross-chain L1 ERC20 ${underlyingERC20Address} and portal ${tokenPortalAddress}`);
+                return this.preDeployedCrossChainL1;
+            } : undefined
+        }, {
+            ...this.pxeOpts,
+            ...pxeOpts
+        });
+        // Reuse the base context machinery (rollup, epoch cache, chain monitor, node tracking, teardown)
+        // over the environment built above. Restore the CrossChainMessagingTest-named logger afterwards,
+        // since hydrateFromContext repoints `this.logger` at the context logger.
+        await this.hydrateFromContext(context);
+        this.logger = createLogger(`e2e:e2e_cross_chain_messaging:${this.testName}`);
+        await this.applyBaseSetup();
+    }
+    async advanceToEpochProven(l2TxReceipt) {
+        const block = await this.aztecNode.getBlock(l2TxReceipt.blockNumber);
+        const cp = await retryUntil(async ()=>(await this.aztecNode.getCheckpoints(block.checkpointNumber, 1))[0], `archiver indexes checkpoint ${block.checkpointNumber}`, 120, 0.5);
+        const epochDuration = await this.rollup.getEpochDuration();
+        const epoch = getEpochAtSlot(cp.header.slotNumber, {
+            epochDuration
+        });
+        // Warp to the next epoch.
+        await this.cheatCodes.rollup.advanceToEpoch(EpochNumber(epoch + 1));
+        // Wait for the tx to be proven.
+        await waitForProven(this.aztecNode, l2TxReceipt, {
+            provenTimeout: 300
+        });
+        // Return the epoch the tx is in.
+        return epoch;
+    }
+    async catchUpProvenChain() {
+        const bn = await this.aztecNode.getBlockNumber();
+        while(await this.aztecNode.getBlockNumber('proven') < bn){
+            await sleep(1000);
+        }
+    }
+    async teardown() {
+        await this.epochTestSettler?.stop();
+        await super.teardown();
+    }
+    async applyBaseSetup() {
+        // Set up base context fields
+        this.aztecNode = this.context.aztecNodeService;
+        this.wallet = this.context.wallet;
+        this.aztecNodeConfig = this.context.config;
+        this.cheatCodes = this.context.cheatCodes;
+        this.deployL1ContractsValues = this.context.deployL1ContractsValues;
+        this.aztecNodeAdmin = this.context.aztecNodeService;
+        if (!this.requireEpochProven) {
+            // When no real prover is running, the L1 proof window (aztecProofSubmissionEpochs) would
+            // otherwise expire mid-test and trigger a chain prune. The e2e fixture runs L1 on interval
+            // mining and nothing marks blocks proven automatically, so start an EpochTestSettler to mark
+            // each completed epoch as proven on L1.
+            this.epochTestSettler = new EpochTestSettler(this.context.ethCheatCodes, this.context.deployL1ContractsValues.l1ContractAddresses.rollupAddress, this.context.aztecNodeService.getBlockSource(), this.logger.createChild('epoch-settler'), {
+                pollingIntervalMs: 500
+            });
+            await this.epochTestSettler.start();
+        }
+        [this.ownerAddress, this.user1Address, this.user2Address] = this.context.accounts;
+        // Set up cross chain messaging
+        this.logger.info('Applying e2e_cross_chain_messaging setup');
+        await ensureAuthRegistryPublished(this.wallet, this.ownerAddress);
+        const harnessL1Client = createExtendedL1Client(this.aztecNodeConfig.l1RpcUrls, MNEMONIC, undefined, undefined, this.l1HarnessAccountIndex);
+        this.harnessL1Client = harnessL1Client;
+        this.ethAccount = EthAddress.fromString((await harnessL1Client.getAddresses())[0]);
+        // L1 contract handles every cross-chain test needs, independent of the token bridge.
+        const l1Client = createExtendedL1Client(this.aztecNodeConfig.l1RpcUrls, MNEMONIC);
+        this.l1Client = l1Client;
+        const l1Contracts = pickL1ContractAddresses(this.aztecNodeConfig);
+        this.rollup = new RollupContract(l1Client, l1Contracts.rollupAddress.toString());
+        this.inbox = new InboxContract(l1Client, l1Contracts.inboxAddress.toString());
+        this.outbox = new OutboxContract(l1Client, l1Contracts.outboxAddress.toString());
+        // Tests that only pass arbitrary L1<->L2 messages (not token bridging) never touch the L2 token,
+        // bridge, or portal. Skip the token+portal+bridge deploy (an L1 ERC20, an L1 portal, and two L2
+        // contract deploys plus their init txs) entirely for them.
+        if (!this.deployTokenBridge) {
+            this.logger.info('Skipping token bridge deploy; test only needs L1 handles and ethAccount');
+            return;
+        }
+        // The ERC20 and token portal were deployed before the node started (under automine) by the
+        // `deployExtraL1Contracts` setup hook above; the harness reuses them and only deploys the L2 token,
+        // L2 bridge, and the portal init that need the running node.
+        const { underlyingERC20Address, tokenPortalAddress: predeployedTokenPortalAddress } = this.preDeployedCrossChainL1;
+        this.logger.verbose(`Setting up cross chain harness...`);
+        this.crossChainTestHarness = await CrossChainTestHarness.new(this.aztecNode, harnessL1Client, this.wallet, this.ownerAddress, this.logger, underlyingERC20Address, predeployedTokenPortalAddress);
+        this.logger.verbose(`L2 token deployed to: ${this.crossChainTestHarness.l2Token.address}`);
+        const crossChainContext = this.crossChainTestHarness.toCrossChainContext();
+        this.l2Token = TokenContract.at(crossChainContext.l2Token, this.wallet);
+        this.l2Bridge = TokenBridgeContract.at(crossChainContext.l2Bridge, this.wallet);
+        // There is an issue with the reviver so we are getting strings sometimes. Working around it here.
+        this.ethAccount = EthAddress.fromString(crossChainContext.ethAccount.toString());
+        const tokenPortalAddress = EthAddress.fromString(crossChainContext.tokenPortal.toString());
+        this.crossChainTestHarness = new CrossChainTestHarness(this.aztecNode, this.logger, this.l2Token, this.l2Bridge, this.ethAccount, tokenPortalAddress, crossChainContext.underlying, harnessL1Client, pickL1ContractAddresses(this.aztecNodeConfig), this.wallet, this.ownerAddress);
+    }
+}

package/dest/single-node/cross-chain/message_test_helpers.d.ts

@@ -0,0 +1,38 @@
+import type { AztecAddress } from '@aztec/aztec.js/addresses';
+import type { Fr } from '@aztec/aztec.js/fields';
+import type { Logger } from '@aztec/aztec.js/log';
+import type { AztecNode } from '@aztec/aztec.js/node';
+import type { Wallet } from '@aztec/aztec.js/wallet';
+import type { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
+import { sendL1ToL2Message } from '../../fixtures/l1_to_l2_messaging.js';
+import type { CrossChainMessagingTest } from './cross_chain_messaging_test.js';
+/** Scope from which an L1→L2 message is consumed on L2. */
+export type L1ToL2MessageScope = 'private' | 'public';
+/** Dependencies the L1→L2 message helpers close over. */
+export interface L1ToL2MessageHelperDeps {
+    t: CrossChainMessagingTest;
+    aztecNode: AztecNode;
+    wallet: Wallet;
+    user1Address: AztecAddress;
+    log: Logger;
+    /** Marks the current pending tip proven on L1, subject to the caller's proving policy. */
+    markAsProven: () => Promise<void>;
+}
+/** Helpers for driving L1→L2 messages through the inbox, shared across the L1→L2 messaging suites. */
+export interface L1ToL2MessageHelpers {
+    sendMessageToL2(message: {
+        recipient: AztecAddress;
+        content: Fr;
+        secretHash: Fr;
+    }): ReturnType<typeof sendL1ToL2Message>;
+    advanceBlock(): Promise<BlockNumber>;
+    waitForMessageFetched(msgHash: Fr): Promise<CheckpointNumber>;
+    waitForMessageReady(msgHash: Fr, scope: L1ToL2MessageScope, onNotReady?: (blockNumber: BlockNumber) => Promise<void>): Promise<void>;
+}
+/**
+ * Builds the L1→L2 message helpers over a running {@link CrossChainMessagingTest}. The `markAsProven`
+ * dependency lets each suite plug in its own proving policy: suites that never pause proving pass an
+ * unconditional mark, while the inbox-drift suite gates it behind a flag it toggles mid-test.
+ */
+export declare function createL1ToL2MessageHelpers(deps: L1ToL2MessageHelperDeps): L1ToL2MessageHelpers;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVzc2FnZV90ZXN0X2hlbHBlcnMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9jcm9zcy1jaGFpbi9tZXNzYWdlX3Rlc3RfaGVscGVycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNqRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUVsRCxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN0RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNyRCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUlyRixPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUN6RSxPQUFPLEtBQUssRUFBRSx1QkFBdUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRS9FLDZEQUEyRDtBQUMzRCxNQUFNLE1BQU0sa0JBQWtCLEdBQUcsU0FBUyxHQUFHLFFBQVEsQ0FBQztBQUV0RCwyREFBeUQ7QUFDekQsTUFBTSxXQUFXLHVCQUF1QjtJQUN0QyxDQUFDLEVBQUUsdUJBQXVCLENBQUM7SUFDM0IsU0FBUyxFQUFFLFNBQVMsQ0FBQztJQUNyQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2YsWUFBWSxFQUFFLFlBQVksQ0FBQztJQUMzQixHQUFHLEVBQUUsTUFBTSxDQUFDO0lBQ1osMEZBQTBGO0lBQzFGLFlBQVksRUFBRSxNQUFNLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUNuQztBQUVELDBHQUFzRztBQUN0RyxNQUFNLFdBQVcsb0JBQW9CO0lBQ25DLGVBQWUsQ0FBQyxPQUFPLEVBQUU7UUFDdkIsU0FBUyxFQUFFLFlBQVksQ0FBQztRQUN4QixPQUFPLEVBQUUsRUFBRSxDQUFDO1FBQ1osVUFBVSxFQUFFLEVBQUUsQ0FBQztLQUNoQixHQUFHLFVBQVUsQ0FBQyxPQUFPLGlCQUFpQixDQUFDLENBQUM7SUFDekMsWUFBWSxJQUFJLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FBQztJQUNyQyxxQkFBcUIsQ0FBQyxPQUFPLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO0lBQzlELG1CQUFtQixDQUNqQixPQUFPLEVBQUUsRUFBRSxFQUNYLEtBQUssRUFBRSxrQkFBa0IsRUFDekIsVUFBVSxDQUFDLEVBQUUsQ0FBQyxXQUFXLEVBQUUsV0FBVyxLQUFLLE9BQU8sQ0FBQyxJQUFJLENBQUMsR0FDdkQsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0NBQ2xCO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQiwwQkFBMEIsQ0FBQyxJQUFJLEVBQUUsdUJBQXVCLEdBQUcsb0JBQW9CLENBNEU5RiJ9

package/dest/single-node/cross-chain/message_test_helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"message_test_helpers.d.ts","sourceRoot":"","sources":["../../../src/single-node/cross-chain/message_test_helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAIrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE/E,6DAA2D;AAC3D,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEtD,2DAAyD;AACzD,MAAM,WAAW,uBAAuB;IACtC,CAAC,EAAE,uBAAuB,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,YAAY,CAAC;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,0FAA0F;IAC1F,YAAY,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CACnC;AAED,0GAAsG;AACtG,MAAM,WAAW,oBAAoB;IACnC,eAAe,CAAC,OAAO,EAAE;QACvB,SAAS,EAAE,YAAY,CAAC;QACxB,OAAO,EAAE,EAAE,CAAC;QACZ,UAAU,EAAE,EAAE,CAAC;KAChB,GAAG,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC;IACzC,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;IACrC,qBAAqB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC9D,mBAAmB,CACjB,OAAO,EAAE,EAAE,EACX,KAAK,EAAE,kBAAkB,EACzB,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,GACvD,OAAO,CAAC,IAAI,CAAC,CAAC;CAClB;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,uBAAuB,GAAG,oBAAoB,CA4E9F"}

package/dest/single-node/cross-chain/message_test_helpers.js

@@ -0,0 +1,70 @@
+import { isL1ToL2MessageReady } from '@aztec/aztec.js/messaging';
+import { retryUntil } from '@aztec/foundation/retry';
+import { ExecutionPayload } from '@aztec/stdlib/tx';
+import { sendL1ToL2Message } from '../../fixtures/l1_to_l2_messaging.js';
+/**
+ * Builds the L1→L2 message helpers over a running {@link CrossChainMessagingTest}. The `markAsProven`
+ * dependency lets each suite plug in its own proving policy: suites that never pause proving pass an
+ * unconditional mark, while the inbox-drift suite gates it behind a flag it toggles mid-test.
+ */ export function createL1ToL2MessageHelpers(deps) {
+    const { t, aztecNode, wallet, user1Address, log, markAsProven } = deps;
+    // Sends an L1→L2 message from the harness L1 account. This suite skips the token bridge, so the
+    // message context is built from the test's L1 handles rather than a CrossChainTestHarness.
+    const sendMessageToL2 = (message)=>sendL1ToL2Message(message, {
+            l1Client: t.harnessL1Client,
+            l1ContractAddresses: t.deployL1ContractsValues.l1ContractAddresses
+        });
+    // Sends a tx to L2 to advance the block number by 1
+    const advanceBlock = async ()=>{
+        const block = await aztecNode.getBlockNumber();
+        log.warn(`Sending noop tx at block ${block}`);
+        await wallet.sendTx(ExecutionPayload.empty(), {
+            from: user1Address
+        });
+        const newBlock = await aztecNode.getBlockNumber();
+        log.warn(`Advanced to block ${newBlock}`);
+        if (newBlock === block) {
+            throw new Error(`Failed to advance block ${block}`);
+        }
+        // Keep the proof window from expiring mid-test. No-op once a drift scenario disables proving.
+        await markAsProven();
+        return newBlock;
+    };
+    // Waits until the message is fetched by the archiver of the node and returns the msg target checkpoint.
+    // Advances a block on each retry because an L1->L2 message is only indexed once further L2 blocks build.
+    const waitForMessageFetched = async (msgHash)=>{
+        log.warn(`Waiting until the message is fetched by the node`);
+        return await retryUntil(async ()=>{
+            const checkpoint = await aztecNode.getL1ToL2MessageCheckpoint(msgHash);
+            if (checkpoint !== undefined) {
+                return checkpoint;
+            }
+            await advanceBlock();
+            return undefined;
+        }, 'get msg checkpoint', 60);
+    };
+    // Waits until the message is ready to be consumed on L2 as it's been added to the world state
+    const waitForMessageReady = async (msgHash, scope, onNotReady)=>{
+        const msgCheckpoint = await waitForMessageFetched(msgHash);
+        log.warn(`Waiting until L2 reaches the first block of msg checkpoint ${msgCheckpoint} (current is ${await aztecNode.getCheckpointNumber()})`);
+        await retryUntil(async ()=>{
+            const [blockNumber, checkpointNumber] = await Promise.all([
+                aztecNode.getBlockNumber(),
+                aztecNode.getCheckpointNumber()
+            ]);
+            const witness = await aztecNode.getL1ToL2MessageMembershipWitness('latest', msgHash);
+            const isReady = await isL1ToL2MessageReady(aztecNode, msgHash);
+            log.info(`Block is ${blockNumber}, checkpoint is ${checkpointNumber}. Message checkpoint is ${msgCheckpoint}. Witness ${!!witness}. Ready ${isReady}.`);
+            if (!isReady) {
+                await (onNotReady ? onNotReady(blockNumber) : advanceBlock());
+            }
+            return isReady;
+        }, `wait for rollup to reach msg checkpoint ${msgCheckpoint}`, 240);
+    };
+    return {
+        sendMessageToL2,
+        advanceBlock,
+        waitForMessageFetched,
+        waitForMessageReady
+    };
+}

package/dest/{e2e_fees → single-node/fees}/bridging_race.notest.d.ts

@@ -1,2 +1,2 @@
 export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnJpZGdpbmdfcmFjZS5ub3Rlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lMmVfZmVlcy9icmlkZ2luZ19yYWNlLm5vdGVzdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnJpZGdpbmdfcmFjZS5ub3Rlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9mZWVzL2JyaWRnaW5nX3JhY2Uubm90ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiIifQ==

package/dest/single-node/fees/bridging_race.notest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridging_race.notest.d.ts","sourceRoot":"","sources":["../../../src/single-node/fees/bridging_race.notest.ts"],"names":[],"mappings":""}

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

@@ -7,7 +7,11 @@ import { FeesTest } from './fees_test.js';
 jest.setTimeout(300_000);
 // Regression for https://github.com/AztecProtocol/aztec-packages/issues/12366
 // Similar to e2e_fees/account_init but with no automine
-describe('e2e_fees bridging_race', ()=>{
+// Disabled (.notest.ts): this regression was covered by fixes applied at each "wait for two blocks"
+// site in the codebase; keeping the file as reference for the original race scenario. Uses FeesTest
+// with prod sequencer (ethSlot=4s, aztecSlot=8s, inboxLag default, minTxsPerBlock=0) and
+// GasBridgingTestHarness for L1↔L2 fee-juice bridging. Single account, fake in-proc prover node.
+describe('single-node/fees/bridging_race', ()=>{
     const ETHEREUM_SLOT_DURATION = 4;
     const AZTEC_SLOT_DURATION = ETHEREUM_SLOT_DURATION * 2;
     const t = new FeesTest('bridging_race', 1, {
@@ -36,6 +40,17 @@ describe('e2e_fees bridging_race', ()=>{
         });
         bobsAddress = bobsAccountManager.address;
     });
+    // Sleeps until 500ms before the current L2 slot ends, so the subsequent bridge lands right at the slot
+    // boundary (this is what reproduces the "message not in state" race the test guards against).
+    const sleepUntilNearSlotEnd = async ()=>{
+        const sleepTime = (Number(t.monitor.checkpointTimestamp) + AZTEC_SLOT_DURATION) * 1000 - Date.now() - 500;
+        logger.info(`Sleeping for ${sleepTime}ms until near end of L2 slot before sending L1 fee juice to L2 inbox`);
+        await sleep(sleepTime);
+    };
+    // Reproduces a timing race where an L1→L2 fee-juice bridge message lands just before the end of an
+    // L2 slot, causing the archiver to miss it. The fix was to wait for the archiver to see the message
+    // before waiting for the required two-block confirmation. The sleep injected into approve() simulates
+    // the near-slot-boundary timing.
     it('Alice bridges funds to Bob', async ()=>{
         // Tweak the token manager so the bridging happens immediately before the end of the current L2 slot
         // This caused the message to be "not in state" when tried to be used
@@ -43,9 +58,7 @@ describe('e2e_fees bridging_race', ()=>{
         const origApprove = l1TokenManager.approve.bind(l1TokenManager);
         l1TokenManager.approve = async (amount, address, addressName = '')=>{
             await origApprove(amount, address, addressName);
-            const sleepTime = (Number(t.chainMonitor.checkpointTimestamp) + AZTEC_SLOT_DURATION) * 1000 - Date.now() - 500;
-            logger.info(`Sleeping for ${sleepTime}ms until near end of L2 slot before sending L1 fee juice to L2 inbox`);
-            await sleep(sleepTime);
+            await sleepUntilNearSlotEnd();
         };
         // Waiting for the archiver to sync the message _before_ waiting for the mandatory 2 L2 blocks to pass fixed it
         // This was added everywhere we wait for two blocks, which is spread across three different places in the codebase