@aztec/end-to-end 0.0.1-commit.b6e433891 → 0.0.1-commit.b8a057fa

package/README.md

@@ -1,26 +1,229 @@
-# End to End
+# End-to-end tests
 
-This package includes end-to-end tests that cover Aztec's main milestones.
-These can be run locally either by starting anvil on a different terminal.
+This package holds Aztec's end-to-end (e2e) tests: full-stack scenarios that spin up an Aztec node (or
+several), a PXE, and an L1 (anvil) and exercise the system the way a real deployment would. It is the
+integration layer above the per-package unit tests.
 
-```
-anvil -p 8545 --host 0.0.0.0 --chain-id 31337
-```
+> **Two audiences.** The top of this document is a quick orientation for humans. The
+> [Reference for agents](#reference-for-agents) section at the bottom is the detailed, exhaustive
+> version — read that when you are placing, moving, or wiring up a test.
 
-and then running
+## Quick start
 
-```
-yarn test
+Run a single test (spawns its own in-process anvil):
+
+```bash
+yarn test:e2e src/automine/token/access_control.parallel.test.ts
+yarn test:e2e src/single-node/block-building/block_building.test.ts -t 'rejects double spend'
 ```
 
-Or by running
+Turn up logging with `LOG_LEVEL` (`verbose` is the useful default; `debug:sequencer,archiver` scopes it):
 
+```bash
+LOG_LEVEL=verbose yarn test:e2e src/single-node/proving/empty_blocks.test.ts
 ```
-yarn test:integration
+
+Compose-based tests (those under `src/composed/`) need a running local network — see
+[Compose / HA / web3signer tests](#compose--ha--web3signer-tests).
+
+## Test categories
+
+Tests are grouped by **node topology** — the shape of the network a test needs. The top-level folder is
+the category; the second level names the behavior under test. Each category owns a base class that builds
+its environment, so a test file only describes the scenario, not the wiring.
+
+| Category | Topology | A test belongs here when… | README |
+|---|---|---|---|
+| [`automine/`](src/automine/README.md) | One node, deterministic `AutomineSequencer` — one block per tx, no committee/prover/validator. Fast. | it exercises contract or protocol behavior that doesn't depend on real block-building or consensus (transfers, nested calls, note discovery, tx semantics). | yes |
+| [`single-node/`](src/single-node/README.md) | One node, production sequencer (interval block production), optional prover. | it asserts on sequencer, proving, partial-proof, L1-reorg, recovery, fee, or cross-chain behavior on a single sequencer. | yes |
+| [`multi-node/`](src/multi-node/README.md) | N validators on an in-memory mock-gossip bus. | it needs a committee: consensus, attestations, slashing, governance, or multi-validator block production. | yes |
+| `p2p/` | Real libp2p transport between nodes. | the networking transport itself is under test (gossip, rediscovery, req/resp). | — |
+| [`infra/`](src/infra/README.md) | Targets a deployed/external network (local anvil or a public testnet). | its concern is deployment or network targeting, not a specific protocol behavior. | yes |
+
+A handful of tests live **outside** this package, next to the code they test — see
+[Tests that live elsewhere](#tests-that-live-elsewhere). Other non-category test groups (`composed/`,
+`guides/`, `bench/`) are described in the reference section.
+
+## Where does my test go?
+
+1. **Does it need real networking transport?** → `p2p/`.
+2. **Does it need a validator committee (consensus/slashing/governance)?** → `multi-node/`.
+3. **Does it assert on the production sequencer, proving, reorgs, fees, or cross-chain flows?** →
+   `single-node/`.
+4. **Is it pure contract/protocol behavior that's happy with one-block-per-tx?** → `automine/` (the
+   default home for most contract tests).
+5. **Is it really a unit/integration test of one package with no Aztec node?** → it probably belongs in
+   that package, not here (see [Tests that live elsewhere](#tests-that-live-elsewhere)).
+
+When in doubt, prefer `automine/` for contract behavior and `single-node/` for anything that watches the
+chain advance.
+
+---
+
+## Reference for agents
+
+This section is the detailed contract for adding, moving, and wiring tests. It assumes you've read the
+overview above.
+
+### Category base classes
+
+Each category centralizes its environment in a base class. The hierarchy:
+
+- `single-node/single_node_test_context.ts` → **`SingleNodeTestContext`**. Owns the environment
+  (in-process anvil + L1 deploy), node spawning (`createNonValidatorNode`, `createProverNode`), the
+  `ChainMonitor`, and the epoch/checkpoint/proof-window/reorg waiters.
+- `multi-node/multi_node_test_context.ts` → **`MultiNodeTestContext extends SingleNodeTestContext`**.
+  Adds the N-validator topology over a mock-gossip bus, inheriting the base environment and waiters.
+- `automine/automine_test_context.ts` → **`AutomineTestContext`**. A sibling of `SingleNodeTestContext`
+  (both wrap `fixtures/setup.ts:setup()`), but fixes the automine topology and makes `AUTOMINE_E2E_OPTS`
+  the default. Exposes `markProvenAndWarp`, `registerContract`, `applyManualParentChild`.
+- `p2p/p2p_network.ts` → **`P2PNetworkTest`**. Real libp2p; node creation goes through
+  `setup_p2p_test.ts`.
+- `infra/` has no shared base — its tests target a network selected by `L1_CHAIN_ID` (local anvil in CI,
+  a public testnet with credentials).
+
+All of the above ultimately wrap `fixtures/setup.ts:setup(numberOfAccounts, opts)`, the single entry point
+that deploys L1 contracts, starts the node(s), and provisions a PXE and accounts.
+
+### Setup factories
+
+Categories expose thin factories over their base's static `setup`, named by what the test wants, so a test
+calls the factory instead of spreading option presets:
+
+- `single-node/setup.ts`: `setupWithProver` (fake in-process prover — the single-node default) and
+  `setupBlockProducer` (no prover; raises `aztecProofSubmissionEpochs` to `1024` so unproven blocks
+  aren't pruned, and points the PXE at `syncChainTip: 'proposed'`).
+- `automine` tests call `AutomineTestContext.setup({ numberOfAccounts })` directly.
+
+### The harness pattern (domain setup on top of a category)
+
+A test suite with bespoke domain setup does **not** fork `setup()`. It subclasses the category base and
+overrides a `protected hydrateFromContext(context)` split out of `setup`, so it reuses the base's
+rollup/epoch-cache/chain-monitor/waiter/teardown machinery while adding its own domain state. Examples:
+
+- `single-node/prover/` → `FullProverTest` (real Barretenberg env) extends `SingleNodeTestContext`.
+- `single-node/fees/` → `FeesTest`; `single-node/cross-chain/` → `CrossChainMessagingTest`.
+- `automine/token/` → `TokenContractTest` and `BlacklistTokenContractTest` extend `AutomineTestContext`
+  and run their `TokenSimulator`/snapshot setup after `super.setup()`.
+
+When two suites share behavior: if their public APIs are nearly identical, use inheritance; if behavior
+overlaps but APIs differ, compose. Don't duplicate a category's environment wiring.
+
+### The `.parallel` suffix
+
+CI splits each `it` in a `.parallel.test.ts` file into its own docker job, running it in isolation via
+`jest --testNamePattern` (the names come from `extract_test_names` in `bootstrap.sh`, which matches
+`it`/`test` at **any** nesting depth, not just top level). When an `it` runs alone its enclosing
+`beforeAll`/`beforeEach` hooks still run, but sibling `it`s do not. Rules:
+
+- The `.parallel` suffix is for files whose `it`s are **independent**: every `it` must pass when run
+  entirely on its own. That holds only when all shared state is built in `beforeAll`/`beforeEach` and no
+  `it` reads or asserts on state produced by a sibling `it`.
+- A file with sequential or stateful `it`s (progressive mutation across `it`s, a describe-scope variable
+  assigned in one `it` and read in another, a note/token created in an earlier `it` and used later) stays
+  a plain `.test.ts` **even if it has many top-level `it`s** — it runs as one ordered job. Adding
+  `.parallel` to such a file breaks CI, because each `it` then runs without its predecessors.
+- A file with a single top-level `it` is a plain `.test.ts`.
+- `it`/`test` names in a `.parallel` file must avoid regex/shell-special characters —
+  `"` `(` `)` `[` `]` `{` `}` `$` `\` and backtick. The split passes each name to
+  `run_test.sh ... "<name>"` as a shell-quoted `--testNamePattern` regex: an embedded `"` closes the
+  quote early and hard-fails the job, while regex metacharacters (`(` `)` `[` `]` `+` `*` `?` `|` `{` `}`)
+  silently match zero tests so the shard runs nothing and passes green — a coverage gap that hides the
+  test. Plain `.test.ts` files run as one job and are unaffected, so any name is fine there.
+  (`.` `!` `#` `-` `:` `,` are safe in `.parallel` names.)
+- Each file has exactly one top-level `describe`, named to match its path
+  (e.g. `describe('automine/token/transfer', …)`).
+
+### CI test discovery — `bootstrap.sh`
+
+`end-to-end/bootstrap.sh` enumerates tests in two arrays, and a test must appear in the relevant one or it
+**won't run in CI**:
+
+- `test_cmds` (~line 37) — the standard run.
+- `compat_test_cmds` (~line 290) — the forward/legacy-compat run (a subset).
+
+Each leaf folder needs its own single-level glob line (e.g. `src/automine/token/*.test.ts`) in each array;
+globs are not recursive, so every sub-folder is listed explicitly. Folders that organize by behavior get
+one line per leaf. Bespoke handling to be aware of:
+
+- **`avm_simulator`** (`automine/simulation/avm_simulator.test.ts`) has a dedicated line in `test_cmds`
+  that sets `DUMP_AVM_INPUTS_TO_DIR` (feeds the downstream `avm_check_circuit` job) and is therefore
+  excluded from the generic `simulation/` glob there (`!(avm_simulator)`). In `compat_test_cmds` it runs
+  as a regular test (no dump line), so it is **not** excluded there.
+- **`kernelless_simulation`** is excluded from `compat_test_cmds` only.
+
+After editing the arrays, confirm every `*.test.ts` resolves through exactly one line (no duplicate, no
+omission). Per-test bash `TIMEOUT` overrides live in the `case` block in `test_cmds` and must stay in sync
+with the test's `jest.setTimeout`.
+
+### Flaky tests — `.test_patterns.yml`
+
+Flaky/owner entries live in `.test_patterns.yml` at the **git root** (not in this package), keyed on the
+test path. A bare entry flags the test as flaky whenever it fails; add `error_regex` to flag only on a
+matching message; `skip: true` disables it. Blanket regex entries (e.g. `src/automine/.*\.test\.ts`) are
+depth-agnostic and survive folder renames; path-specific entries must be updated when a file moves.
+
+### Compose / HA / web3signer tests
+
+`src/composed/` tests run against a **running local network** rather than an in-process stack, via
+`scripts/run_test.sh` in different modes:
+
+- `src/composed/*.test.ts` → `compose` mode (e.g. `e2e_persistence`, `uniswap_trade_on_l1_from_l2`,
+  `e2e_cheat_codes` — the compose variant, distinct from the relocated unit-style one).
+- `src/composed/web3signer/*.test.ts` → `web3signer` mode (remote-signer scenarios).
+- `src/composed/ha/*.test.ts` → `ha` mode (high-availability multi-process scenarios).
+- `src/guides/*.test.ts` → tutorial/guide flows; `src/bench/` → benchmarks (see `bench_cmds`).
+
+Run one compose test locally with `yarn test:compose <name>` (anvil + the test runner are spawned for
+you), or `docker-compose up` for separate containers.
+
+### Tests that live elsewhere
+
+Tests with **no Aztec node** that exercise one package belong in that package, not here:
+
+- L1 cheat-code behavior (`EthCheatCodes`/`RollupCheatCodes` against raw anvil) → `@aztec/ethereum`
+  (`ethereum/src/test/eth_cheat_codes.test.ts`).
+- The `SequencerPublisher` integration test (anvil + L1 deploy, no node) → `@aztec/sequencer-client`
+  (`sequencer-client/src/publisher/`).
+
+These run in their own package's test lane (both packages already run anvil-backed integration tests).
+
+### Support directories (not test categories)
+
+- `fixtures/` — the shared `setup()`, option presets (`fixtures.ts`), `CrossChainTestHarness`,
+  `l1_to_l2_messaging`, and common utils.
+- `shared/` — shared test bodies and `timing_env.mjs`, a **custom jest `testEnvironment`** referenced from
+  this package's `package.json`. `yarn prepare` / the package-json check will try to revert it to the
+  default — don't let it.
+- `simulators/` — in-TS reference models (`TokenSimulator`, `LendingSimulator`) used to assert contract
+  behavior.
+- `test-wallet/`, `bench/`, `spartan/`, `quality_of_service/`, `forward-compatibility/` — helpers,
+  benchmarks, and network/ops tests outside the topology categories.
+
+### Running tests against legacy contract artifacts
+
+To verify that contracts deployed from a previous release still work against the current stack, set
+`CONTRACT_ARTIFACTS_VERSION` to a published version of `@aztec/noir-contracts.js` /
+`@aztec/noir-test-contracts.js`:
+
+```bash
+CONTRACT_ARTIFACTS_VERSION=4.1.3 yarn test:e2e src/automine/token/access_control.parallel.test.ts
 ```
 
-which will spawn the two processes.
+Only the JSON artifact files (`.../artifacts/*.json`) are redirected. The TypeScript wrapper classes
+(e.g. `TokenContract`) continue to load from the current workspace and use the current `@aztec/aztec.js` —
+so this exercises whether a deployed contract's ABI / bytecode / notes still work through the *new* client,
+not whether the legacy wrapper code still imports cleanly.
 
-You can also run this by `docker-compose up` which will spawn 2 different containers for Anvil and the test runner.
+The first run downloads the pinned packages into `.legacy-contracts/<version>/node_modules/` (cached across
+runs). A startup banner and a per-redirect line are printed to stderr so you can confirm the legacy
+artifacts were actually loaded:
+
+```
+[legacy-contracts][jest] CONTRACT_ARTIFACTS_VERSION=4.1.3
+[legacy-contracts][jest] redirecting @aztec/noir-contracts.js/artifacts/*.json -> .legacy-contracts/4.1.3/...
+[legacy-contracts][jest] redirected token_contract-Token.json -> /abs/.../.legacy-contracts/4.1.3/.../token_contract-Token.json
+```
 
-You can run a single test by running `yarn test:compose <test_name>`.
+When `CONTRACT_ARTIFACTS_VERSION` is unset the test run is byte-identical to the default behaviour. The
+cache is populated automatically on first use.

package/dest/automine/automine_test_context.d.ts

@@ -0,0 +1,85 @@
+import type { ContractArtifact } from '@aztec/aztec.js/abi';
+import type { AztecAddress } from '@aztec/aztec.js/addresses';
+import { type ContractBase } from '@aztec/aztec.js/contracts';
+import { Fr } from '@aztec/aztec.js/fields';
+import type { PublicKeys } from '@aztec/aztec.js/keys';
+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 { CheatCodes } from '@aztec/aztec/testing';
+import { ChildContract } from '@aztec/noir-test-contracts.js/Child';
+import { ParentContract } from '@aztec/noir-test-contracts.js/Parent';
+import type { StatefulTestContract } from '@aztec/noir-test-contracts.js/StatefulTest';
+import type { PXEConfig } from '@aztec/pxe/config';
+import type { SequencerClient } from '@aztec/sequencer-client';
+import type { AztecNodeAdmin, AztecNodeDebug } from '@aztec/stdlib/interfaces/client';
+import { type EndToEndContext, type SetupOptions } from '../fixtures/setup.js';
+import type { TestWallet } from '../test-wallet/test_wallet.js';
+export type AutomineTestOpts = Partial<SetupOptions> & {
+    /** Number of accounts to create and deploy during setup. */
+    numberOfAccounts?: number;
+    /** Options forwarded to PXE creation. */
+    pxeOpts?: Partial<PXEConfig>;
+};
+/**
+ * Base class for the automine-sequencer test topology: a single in-process node running the
+ * deterministic {@link AUTOMINE_E2E_OPTS} preset (one block per submitted tx, synchronous L1 publish,
+ * no committee, no prover, no validator client). Owns the environment (in-proc anvil in automine mode
+ * plus the L1 deploy) and exposes the handles every automine test uses (`wallet`, `aztecNode`,
+ * `cheatCodes`, `sequencer`, `accounts`, `logger`).
+ *
+ * The sibling of {@link SingleNodeTestContext}: both wrap the same underlying `fixtures/setup.ts:setup()`
+ * but fix opposite sequencer topologies. Making {@link AUTOMINE_E2E_OPTS} the base default removes the
+ * per-test-file spread every automine test would otherwise repeat.
+ *
+ * Domain harnesses (the token simulators) compose on top by extending this base and overriding
+ * {@link setup} to run their domain steps after `super.setup()`.
+ */
+export declare class AutomineTestContext {
+    context: EndToEndContext;
+    logger: Logger;
+    wallet: TestWallet;
+    aztecNode: AztecNode & AztecNodeDebug;
+    aztecNodeAdmin: AztecNodeAdmin;
+    cheatCodes: CheatCodes;
+    sequencer: SequencerClient;
+    accounts: AztecAddress[];
+    defaultAccountAddress: AztecAddress;
+    parentContract: ParentContract;
+    childContract: ChildContract;
+    static setup<T extends AutomineTestContext>(this: new () => T, opts?: AutomineTestOpts): Promise<T>;
+    setup(opts?: AutomineTestOpts): Promise<void>;
+    /**
+     * Populates the context-derived handles from an already-built {@link EndToEndContext}. Split out of
+     * {@link setup} so domain harnesses that build the environment with their own bespoke `setup(...)`
+     * opts can still reuse the shared handle wiring.
+     */
+    protected hydrateFromContext(context: EndToEndContext): Promise<void>;
+    teardown(): Promise<void>;
+    /**
+     * Marks the current pending checkpoints as proven, then warps the L2 clock forward by `seconds`.
+     *
+     * Under {@link AUTOMINE_E2E_OPTS} a long warp crosses many epochs with no proofs being submitted, so
+     * without a prior `markAsProven()` the rollup contract's pruning window resets the chain tip to genesis
+     * and the warp's own empty-checkpoint propose fails with `Rollup__InvalidArchive`. Marking proven before
+     * warping keeps the pending chain alive. Composes the existing `cheatCodes.rollup.markAsProven` and
+     * `warpL2TimeAtLeastBy` with that required ordering.
+     */
+    markProvenAndWarp(seconds: number | bigint): Promise<void>;
+    /** Computes and registers a contract instance in the wallet without deploying it on-chain. */
+    registerContract<T extends ContractBase>(wallet: Wallet, contractArtifact: ContractArtifactClass<T>, opts?: {
+        salt?: Fr;
+        publicKeys?: PublicKeys;
+        initArgs?: any[];
+        constructorName?: string;
+        deployer?: AztecAddress;
+    }): Promise<T>;
+    /** Deploys a Parent and a Child contract from the default account for the nested-call tests. */
+    applyManualParentChild(): Promise<void>;
+}
+export type StatefulContractCtorArgs = Parameters<StatefulTestContract['methods']['constructor']>;
+export type ContractArtifactClass<T extends ContractBase> = {
+    at(address: AztecAddress, wallet: Wallet): T;
+    artifact: ContractArtifact;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXV0b21pbmVfdGVzdF9jb250ZXh0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXV0b21pbmUvYXV0b21pbmVfdGVzdF9jb250ZXh0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDNUQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDOUQsT0FBTyxFQUFFLEtBQUssWUFBWSxFQUE4QyxNQUFNLDJCQUEyQixDQUFDO0FBQzFHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUM1QyxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN2RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN0RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNyRCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN2RCxPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDcEUsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBQ3RFLE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNENBQTRDLENBQUM7QUFDdkYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDbkQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDL0QsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLGNBQWMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBR3RGLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBRSxLQUFLLFlBQVksRUFBbUIsTUFBTSxzQkFBc0IsQ0FBQztBQUNoRyxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUVoRSxNQUFNLE1BQU0sZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLFlBQVksQ0FBQyxHQUFHO0lBQ3JELDREQUE0RDtJQUM1RCxnQkFBZ0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUMxQix5Q0FBeUM7SUFDekMsT0FBTyxDQUFDLEVBQUUsT0FBTyxDQUFDLFNBQVMsQ0FBQyxDQUFDO0NBQzlCLENBQUM7QUFFRjs7Ozs7Ozs7Ozs7OztHQWFHO0FBQ0gscUJBQWEsbUJBQW1CO0lBQ3ZCLE9BQU8sRUFBRyxlQUFlLENBQUM7SUFDMUIsTUFBTSxFQUFHLE1BQU0sQ0FBQztJQUNoQixNQUFNLEVBQUcsVUFBVSxDQUFDO0lBQ3BCLFNBQVMsRUFBRyxTQUFTLEdBQUcsY0FBYyxDQUFDO0lBQ3ZDLGNBQWMsRUFBRyxjQUFjLENBQUM7SUFDaEMsVUFBVSxFQUFHLFVBQVUsQ0FBQztJQUN4QixTQUFTLEVBQUcsZUFBZSxDQUFDO0lBQzVCLFFBQVEsRUFBRyxZQUFZLEVBQUUsQ0FBQztJQUMxQixxQkFBcUIsRUFBRyxZQUFZLENBQUM7SUFFckMsY0FBYyxFQUFHLGNBQWMsQ0FBQztJQUNoQyxhQUFhLEVBQUcsYUFBYSxDQUFDO0lBRXJDLE9BQW9CLEtBQUssQ0FBQyxDQUFDLFNBQVMsbUJBQW1CLEVBQUUsSUFBSSxFQUFFLFVBQVUsQ0FBQyxFQUFFLElBQUksR0FBRSxnQkFBcUIsR0FBRyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBSW5IO0lBRVksS0FBSyxDQUFDLElBQUksR0FBRSxnQkFBcUIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBWTdEO0lBRUQ7Ozs7T0FJRztJQUNILFNBQVMsQ0FBQyxrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsZUFBZSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FXcEU7SUFFWSxRQUFRLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUVyQztJQUVEOzs7Ozs7OztPQVFHO0lBQ1UsaUJBQWlCLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUd0RTtJQUVELDhGQUE4RjtJQUNqRixnQkFBZ0IsQ0FBQyxDQUFDLFNBQVMsWUFBWSxFQUNsRCxNQUFNLEVBQUUsTUFBTSxFQUNkLGdCQUFnQixFQUFFLHFCQUFxQixDQUFDLENBQUMsQ0FBQyxFQUMxQyxJQUFJLEdBQUU7UUFDSixJQUFJLENBQUMsRUFBRSxFQUFFLENBQUM7UUFDVixVQUFVLENBQUMsRUFBRSxVQUFVLENBQUM7UUFDeEIsUUFBUSxDQUFDLEVBQUUsR0FBRyxFQUFFLENBQUM7UUFDakIsZUFBZSxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ3pCLFFBQVEsQ0FBQyxFQUFFLFlBQVksQ0FBQztLQUNwQixHQUNMLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FXWjtJQUVELGdHQUFnRztJQUNuRixzQkFBc0IsSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBUW5EO0NBQ0Y7QUFFRCxNQUFNLE1BQU0sd0JBQXdCLEdBQUcsVUFBVSxDQUFDLG9CQUFvQixDQUFDLFNBQVMsQ0FBQyxDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUM7QUFFbEcsTUFBTSxNQUFNLHFCQUFxQixDQUFDLENBQUMsU0FBUyxZQUFZLElBQUk7SUFDMUQsRUFBRSxDQUFDLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxDQUFDLENBQUM7SUFDN0MsUUFBUSxFQUFFLGdCQUFnQixDQUFDO0NBQzVCLENBQUMifQ==

package/dest/automine/automine_test_context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"automine_test_context.d.ts","sourceRoot":"","sources":["../../src/automine/automine_test_context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,YAAY,EAA8C,MAAM,2BAA2B,CAAC;AAC1G,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAGtF,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,YAAY,EAAmB,MAAM,sBAAsB,CAAC;AAChG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG;IACrD,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,yCAAyC;IACzC,OAAO,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,qBAAa,mBAAmB;IACvB,OAAO,EAAG,eAAe,CAAC;IAC1B,MAAM,EAAG,MAAM,CAAC;IAChB,MAAM,EAAG,UAAU,CAAC;IACpB,SAAS,EAAG,SAAS,GAAG,cAAc,CAAC;IACvC,cAAc,EAAG,cAAc,CAAC;IAChC,UAAU,EAAG,UAAU,CAAC;IACxB,SAAS,EAAG,eAAe,CAAC;IAC5B,QAAQ,EAAG,YAAY,EAAE,CAAC;IAC1B,qBAAqB,EAAG,YAAY,CAAC;IAErC,cAAc,EAAG,cAAc,CAAC;IAChC,aAAa,EAAG,aAAa,CAAC;IAErC,OAAoB,KAAK,CAAC,CAAC,SAAS,mBAAmB,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,GAAE,gBAAqB,GAAG,OAAO,CAAC,CAAC,CAAC,CAInH;IAEY,KAAK,CAAC,IAAI,GAAE,gBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,CAY7D;IAED;;;;OAIG;IACH,SAAS,CAAC,kBAAkB,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAWpE;IAEY,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAErC;IAED;;;;;;;;OAQG;IACU,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGtE;IAED,8FAA8F;IACjF,gBAAgB,CAAC,CAAC,SAAS,YAAY,EAClD,MAAM,EAAE,MAAM,EACd,gBAAgB,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAC1C,IAAI,GAAE;QACJ,IAAI,CAAC,EAAE,EAAE,CAAC;QACV,UAAU,CAAC,EAAE,UAAU,CAAC;QACxB,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;QACjB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,EAAE,YAAY,CAAC;KACpB,GACL,OAAO,CAAC,CAAC,CAAC,CAWZ;IAED,gGAAgG;IACnF,sBAAsB,IAAI,OAAO,CAAC,IAAI,CAAC,CAQnD;CACF;AAED,MAAM,MAAM,wBAAwB,GAAG,UAAU,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAElG,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,YAAY,IAAI;IAC1D,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC;IAC7C,QAAQ,EAAE,gBAAgB,CAAC;CAC5B,CAAC"}

package/dest/automine/automine_test_context.js

@@ -0,0 +1,98 @@
+import { getContractInstanceFromInstantiationParams } from '@aztec/aztec.js/contracts';
+import { Fr } from '@aztec/aztec.js/fields';
+import { ChildContract } from '@aztec/noir-test-contracts.js/Child';
+import { ParentContract } from '@aztec/noir-test-contracts.js/Parent';
+import { AUTOMINE_E2E_OPTS } from '../fixtures/fixtures.js';
+import { setup, teardown } from '../fixtures/setup.js';
+/**
+ * Base class for the automine-sequencer test topology: a single in-process node running the
+ * deterministic {@link AUTOMINE_E2E_OPTS} preset (one block per submitted tx, synchronous L1 publish,
+ * no committee, no prover, no validator client). Owns the environment (in-proc anvil in automine mode
+ * plus the L1 deploy) and exposes the handles every automine test uses (`wallet`, `aztecNode`,
+ * `cheatCodes`, `sequencer`, `accounts`, `logger`).
+ *
+ * The sibling of {@link SingleNodeTestContext}: both wrap the same underlying `fixtures/setup.ts:setup()`
+ * but fix opposite sequencer topologies. Making {@link AUTOMINE_E2E_OPTS} the base default removes the
+ * per-test-file spread every automine test would otherwise repeat.
+ *
+ * Domain harnesses (the token simulators) compose on top by extending this base and overriding
+ * {@link setup} to run their domain steps after `super.setup()`.
+ */ export class AutomineTestContext {
+    context;
+    logger;
+    wallet;
+    aztecNode;
+    aztecNodeAdmin;
+    cheatCodes;
+    sequencer;
+    accounts;
+    defaultAccountAddress;
+    parentContract;
+    childContract;
+    static async setup(opts = {}) {
+        const test = new this();
+        await test.setup(opts);
+        return test;
+    }
+    async setup(opts = {}) {
+        const { numberOfAccounts = 1, pxeOpts, ...setupOpts } = opts;
+        const context = await setup(numberOfAccounts, {
+            ...AUTOMINE_E2E_OPTS,
+            fundSponsoredFPC: true,
+            ...setupOpts
+        }, pxeOpts);
+        await this.hydrateFromContext(context);
+    }
+    /**
+   * Populates the context-derived handles from an already-built {@link EndToEndContext}. Split out of
+   * {@link setup} so domain harnesses that build the environment with their own bespoke `setup(...)`
+   * opts can still reuse the shared handle wiring.
+   */ hydrateFromContext(context) {
+        this.context = context;
+        this.logger = context.logger;
+        this.wallet = context.wallet;
+        this.aztecNode = context.aztecNodeService;
+        this.aztecNodeAdmin = context.aztecNodeService;
+        this.cheatCodes = context.cheatCodes;
+        this.sequencer = context.sequencer;
+        this.accounts = context.accounts;
+        this.defaultAccountAddress = context.accounts[0];
+        return Promise.resolve();
+    }
+    async teardown() {
+        await teardown(this.context);
+    }
+    /**
+   * Marks the current pending checkpoints as proven, then warps the L2 clock forward by `seconds`.
+   *
+   * Under {@link AUTOMINE_E2E_OPTS} a long warp crosses many epochs with no proofs being submitted, so
+   * without a prior `markAsProven()` the rollup contract's pruning window resets the chain tip to genesis
+   * and the warp's own empty-checkpoint propose fails with `Rollup__InvalidArchive`. Marking proven before
+   * warping keeps the pending chain alive. Composes the existing `cheatCodes.rollup.markAsProven` and
+   * `warpL2TimeAtLeastBy` with that required ordering.
+   */ async markProvenAndWarp(seconds) {
+        await this.cheatCodes.rollup.markAsProven();
+        await this.cheatCodes.warpL2TimeAtLeastBy(this.aztecNode, seconds);
+    }
+    /** Computes and registers a contract instance in the wallet without deploying it on-chain. */ async registerContract(wallet, contractArtifact, opts = {}) {
+        const { salt, publicKeys, initArgs, constructorName, deployer } = opts;
+        const instance = await getContractInstanceFromInstantiationParams(contractArtifact.artifact, {
+            constructorArgs: initArgs ?? [],
+            constructorArtifact: constructorName,
+            salt: salt ?? Fr.random(),
+            publicKeys,
+            deployer
+        });
+        await wallet.registerContract(instance, contractArtifact.artifact);
+        return contractArtifact.at(instance.address, wallet);
+    }
+    /** Deploys a Parent and a Child contract from the default account for the nested-call tests. */ async applyManualParentChild() {
+        this.logger.info('Deploying parent and child contracts');
+        ({ contract: this.parentContract } = await ParentContract.deploy(this.wallet).send({
+            from: this.defaultAccountAddress
+        }));
+        ({ contract: this.childContract } = await ChildContract.deploy(this.wallet).send({
+            from: this.defaultAccountAddress
+        }));
+    }
+}

package/dest/automine/contracts/fixtures/storage_proof_fetcher.d.ts

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

package/dest/automine/contracts/fixtures/storage_proof_fetcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage_proof_fetcher.d.ts","sourceRoot":"","sources":["../../../../src/automine/contracts/fixtures/storage_proof_fetcher.ts"],"names":[],"mappings":""}

package/dest/{e2e_storage_proof → automine/contracts}/fixtures/storage_proof_fixture.d.ts

@@ -15,4 +15,4 @@ export type StorageProofArgs = {
 export declare function loadStorageProofArgs(): StorageProofArgs;
 /** Builds all the capsules the StorageProofTest contract expects during private execution. */
 export declare function buildStorageProofCapsules(contractAddress: AztecAddress): Promise<Capsule[]>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmFnZV9wcm9vZl9maXh0dXJlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvZTJlX3N0b3JhZ2VfcHJvb2YvZml4dHVyZXMvc3RvcmFnZV9wcm9vZl9maXh0dXJlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRzlELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUMzRCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUF3RjNDLGdGQUFnRjtBQUNoRixNQUFNLE1BQU0sZ0JBQWdCLEdBQUc7SUFDN0IsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUN2QixPQUFPLEVBQUUsTUFBTSxFQUFFLENBQUM7SUFDbEIsWUFBWSxFQUFFO1FBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxDQUFDO1FBQUMsWUFBWSxFQUFFLE1BQU0sQ0FBQTtLQUFFLENBQUM7SUFDeEQsSUFBSSxFQUFFLE1BQU0sRUFBRSxDQUFDO0NBQ2hCLENBQUM7QUFFRiwrRUFBK0U7QUFDL0Usd0JBQWdCLG9CQUFvQixJQUFJLGdCQUFnQixDQWF2RDtBQUVELDhGQUE4RjtBQUM5Rix3QkFBc0IseUJBQXlCLENBQUMsZUFBZSxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsT0FBTyxFQUFFLENBQUMsQ0F1RGpHIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmFnZV9wcm9vZl9maXh0dXJlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvYXV0b21pbmUvY29udHJhY3RzL2ZpeHR1cmVzL3N0b3JhZ2VfcHJvb2ZfZml4dHVyZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUc5RCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBd0YzQyxnRkFBZ0Y7QUFDaEYsTUFBTSxNQUFNLGdCQUFnQixHQUFHO0lBQzdCLFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDdkIsT0FBTyxFQUFFLE1BQU0sRUFBRSxDQUFDO0lBQ2xCLFlBQVksRUFBRTtRQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsQ0FBQztRQUFDLFlBQVksRUFBRSxNQUFNLENBQUE7S0FBRSxDQUFDO0lBQ3hELElBQUksRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUNoQixDQUFDO0FBRUYsK0VBQStFO0FBQy9FLHdCQUFnQixvQkFBb0IsSUFBSSxnQkFBZ0IsQ0FhdkQ7QUFFRCw4RkFBOEY7QUFDOUYsd0JBQXNCLHlCQUF5QixDQUFDLGVBQWUsRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBdURqRyJ9

package/dest/automine/contracts/fixtures/storage_proof_fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage_proof_fixture.d.ts","sourceRoot":"","sources":["../../../../src/automine/contracts/fixtures/storage_proof_fixture.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAG9D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAwF3C,gFAAgF;AAChF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,UAAU,EAAE,UAAU,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB,CAAC;AAEF,+EAA+E;AAC/E,wBAAgB,oBAAoB,IAAI,gBAAgB,CAavD;AAED,8FAA8F;AAC9F,wBAAsB,yBAAyB,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAuDjG"}

package/dest/automine/delivery/onchain_delivery_harness.d.ts

@@ -0,0 +1,17 @@
+import type { AztecAddress } from '@aztec/aztec.js/addresses';
+import type { PXECreationOptions } from '@aztec/pxe/server';
+import { TestWallet } from '../../test-wallet/test_wallet.js';
+export type SenderHook = NonNullable<NonNullable<PXECreationOptions['hooks']>['resolveTaggingSecretStrategy']>;
+export type Mode = 'constrained' | 'unconstrained';
+export type DeliveryMode = Mode | {
+    events: Mode;
+    notes: Mode;
+};
+export declare function buildMessageDeliveryTest(opts: {
+    strategy: string;
+    mode: DeliveryMode;
+    senderHook: SenderHook;
+    recipientRegistration?: (recipient: TestWallet, recipientAddress: AztecAddress, sender: AztecAddress) => Promise<void>;
+    additionalTests?: () => void;
+}): void;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib25jaGFpbl9kZWxpdmVyeV9oYXJuZXNzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYXV0b21pbmUvZGVsaXZlcnkvb25jaGFpbl9kZWxpdmVyeV9oYXJuZXNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBSTlELE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFPNUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBSTlELE1BQU0sTUFBTSxVQUFVLEdBQUcsV0FBVyxDQUFDLFdBQVcsQ0FBQyxrQkFBa0IsQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLDhCQUE4QixDQUFDLENBQUMsQ0FBQztBQUUvRyxNQUFNLE1BQU0sSUFBSSxHQUFHLGFBQWEsR0FBRyxlQUFlLENBQUM7QUFJbkQsTUFBTSxNQUFNLFlBQVksR0FBRyxJQUFJLEdBQUc7SUFBRSxNQUFNLEVBQUUsSUFBSSxDQUFDO0lBQUMsS0FBSyxFQUFFLElBQUksQ0FBQTtDQUFFLENBQUM7QUFZaEUsd0JBQWdCLHdCQUF3QixDQUFDLElBQUksRUFBRTtJQUc3QyxRQUFRLEVBQUUsTUFBTSxDQUFDO0lBQ2pCLElBQUksRUFBRSxZQUFZLENBQUM7SUFFbkIsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUV2QixxQkFBcUIsQ0FBQyxFQUFFLENBQ3RCLFNBQVMsRUFBRSxVQUFVLEVBQ3JCLGdCQUFnQixFQUFFLFlBQVksRUFDOUIsTUFBTSxFQUFFLFlBQVksS0FDakIsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBSW5CLGVBQWUsQ0FBQyxFQUFFLE1BQU0sSUFBSSxDQUFDO0NBQzlCLFFBMkhBIn0=

package/dest/automine/delivery/onchain_delivery_harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"onchain_delivery_harness.d.ts","sourceRoot":"","sources":["../../../src/automine/delivery/onchain_delivery_harness.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAI9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAO5D,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAI9D,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC;AAE/G,MAAM,MAAM,IAAI,GAAG,aAAa,GAAG,eAAe,CAAC;AAInD,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAYhE,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAG7C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,YAAY,CAAC;IAEnB,UAAU,EAAE,UAAU,CAAC;IAEvB,qBAAqB,CAAC,EAAE,CACtB,SAAS,EAAE,UAAU,EACrB,gBAAgB,EAAE,YAAY,EAC9B,MAAM,EAAE,YAAY,KACjB,OAAO,CAAC,IAAI,CAAC,CAAC;IAInB,eAAe,CAAC,EAAE,MAAM,IAAI,CAAC;CAC9B,QA2HA"}

package/dest/automine/delivery/onchain_delivery_harness.js

@@ -0,0 +1,123 @@
+import { generateSchnorrAccounts } from '@aztec/accounts/testing';
+import { NO_FROM } from '@aztec/aztec.js/account';
+import { BlockNumber } from '@aztec/foundation/branded-types';
+import { OnchainDeliveryTestContract } from '@aztec/noir-test-contracts.js/OnchainDeliveryTest';
+import { jest } from '@jest/globals';
+import { AUTOMINE_E2E_OPTS } from '../../fixtures/fixtures.js';
+import { ensureHandshakeRegistryPublished, setup, setupPXEAndGetWallet } from '../../fixtures/setup.js';
+const formatMode = (mode)=>typeof mode === 'string' ? mode : `${mode.events}->${mode.notes}`;
+// Onchain private delivery has two orthogonal axes: the delivery MODE (constrained = nullifier-chained sequence;
+// unconstrained = no nullifier, windowed scan) and the tagging-secret SOURCE, which the wallet's
+// `resolveTaggingSecretStrategy` hook selects. This harness exercises (strategy, mode) cells end to end across two
+// PXEs that share only a node: the sender PXE sends, the recipient PXE discovers purely from onchain logs plus the
+// HandshakeRegistry.
+//
+// Cross-PXE is the meaningful setup: the recipient PXE holds no sender state, so a cell only "discovers" a message if
+// the source truly reached it.
+export function buildMessageDeliveryTest(opts) {
+    const { strategy, mode, senderHook, recipientRegistration, additionalTests } = opts;
+    const description = `${strategy} x ${formatMode(mode)}`;
+    describe(description, ()=>{
+        jest.setTimeout(300_000);
+        const eventValues = [
+            10n,
+            20n,
+            30n
+        ];
+        const noteValues = [
+            40n,
+            50n,
+            60n
+        ];
+        let aztecNode;
+        let walletSender;
+        let walletRecipient;
+        let sender;
+        let recipient;
+        let contractSender;
+        let teardownSender;
+        let teardownRecipient;
+        // Discovery results captured in beforeAll, so the assertions in the actual tests below stay pure.
+        // A failure during delivery fails beforeAll loudly instead of being swallowed as an expected red.
+        let discoveredEvents;
+        let readNotes;
+        const { events: eventMode, notes: noteMode } = typeof mode === 'string' ? {
+            events: mode,
+            notes: mode
+        } : mode;
+        const sendEvent = (value)=>eventMode === 'constrained' ? contractSender.methods.emit_event(recipient, value) : contractSender.methods.emit_event_unconstrained(recipient, value);
+        const sendNote = (value)=>noteMode === 'constrained' ? contractSender.methods.emit_note(recipient, value) : contractSender.methods.emit_note_unconstrained(recipient, value);
+        beforeAll(async ()=>{
+            // The sender PXE holds the sender and carries this cell's tagging-secret-strategy hook. The recipient is funded
+            // at genesis here but created and deployed on the isolated recipient PXE below, so it carries no sender state
+            // from other cells.
+            let additionallyFundedAccounts;
+            ({ aztecNode, additionallyFundedAccounts, wallet: walletSender, accounts: [sender], teardown: teardownSender } = await setup(1, {
+                ...AUTOMINE_E2E_OPTS,
+                additionallyFundedAccounts: await generateSchnorrAccounts(1, 'schnorr'),
+                pxeCreationOptions: {
+                    hooks: {
+                        resolveTaggingSecretStrategy: senderHook
+                    }
+                }
+            }));
+            ({ wallet: walletRecipient, teardown: teardownRecipient } = await setupPXEAndGetWallet(aztecNode, aztecNode, {}, undefined, 'pxe-recipient'));
+            const recipientAccount = await walletRecipient.createSchnorrAccount(additionallyFundedAccounts[0].secret, additionallyFundedAccounts[0].salt, additionallyFundedAccounts[0].signingKey);
+            await (await recipientAccount.getDeployMethod()).send({
+                from: NO_FROM
+            });
+            recipient = recipientAccount.address;
+            await ensureHandshakeRegistryPublished(walletSender, sender);
+            const { contract: deployed, instance } = await OnchainDeliveryTestContract.deploy(walletSender).send({
+                from: sender
+            });
+            contractSender = deployed;
+            await ensureHandshakeRegistryPublished(walletRecipient, recipient);
+            await walletRecipient.registerContract(instance, OnchainDeliveryTestContract.artifact);
+            await recipientRegistration?.(walletRecipient, recipient, sender);
+            // Constrained sends to one pair are strictly ordered, so deliver one tx at a time. The first send bootstraps the
+            // handshake (when the source is a handshake); the rest reuse it.
+            const blockNumbers = [];
+            for (const value of eventValues){
+                const { receipt } = await sendEvent(value).send({
+                    from: sender
+                });
+                blockNumbers.push(receipt.blockNumber);
+            }
+            for (const value of noteValues){
+                await sendNote(value).send({
+                    from: sender
+                });
+            }
+            await walletRecipient.sync();
+            const events = await walletRecipient.getPrivateEvents(OnchainDeliveryTestContract.events.DeliveryEvent, {
+                contractAddress: contractSender.address,
+                fromBlock: BlockNumber(Math.min(...blockNumbers)),
+                toBlock: BlockNumber(Math.max(...blockNumbers) + 1),
+                scopes: [
+                    recipient
+                ]
+            });
+            discoveredEvents = events.map((e)=>e.event.value);
+            const contractRecipient = OnchainDeliveryTestContract.at(contractSender.address, walletRecipient);
+            const { result } = await contractRecipient.methods.get_note_values(recipient).simulate({
+                from: recipient
+            });
+            readNotes = result.storage.slice(0, Number(result.len));
+        });
+        afterAll(async ()=>{
+            await teardownRecipient();
+            await teardownSender();
+        });
+        it('the recipient PXE discovers the events delivered by the sender PXE', ()=>{
+            expect(discoveredEvents.length).toBe(eventValues.length);
+            for (const value of eventValues){
+                expect(discoveredEvents).toContainEqual(value);
+            }
+        });
+        it('the recipient PXE reads back the notes delivered by the sender PXE', ()=>{
+            expect(readNotes).toEqual(noteValues);
+        });
+        additionalTests?.();
+    });
+}