From 9056e51679018ee93426c73cb2de06eee793dae4 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Mon, 19 Oct 2026 15:14:01 +0300 Subject: [PATCH] Correct the source mapping for 0xCAB1DBA5 in the SpokePool invariant test: the live bytecode was compiled from the 2026-06-08 revision of bridge/AereSpokePool.sol, not from the current file --- test/spokepool-intents-invariant-property.test.js | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/test/spokepool-intents-invariant-property.test.js b/test/spokepool-intents-invariant-property.test.js index 5f6058e..338d1bb 100644 --- a/test/spokepool-intents-invariant-property.test.js +++ b/test/spokepool-intents-invariant-property.test.js @@ -2,9 +2,12 @@ // SEEDED RANDOMIZED PROPERTY / STATEFUL-INVARIANT fuzzing for the LIVE // AereSpokePool + ERC-7683 cross-chain intent stack. // -// Source under test (matched to the live addresses in sdk-js/src/addresses.ts): -// contracts/bridge/AereSpokePool.sol -> 0xCAB1DBA5f6F06198000C20a974d675f1B3181AbD +// Source under test: the CURRENT revisions of these files, named after the live addresses in sdk-js/src/addresses.ts: +// contracts/bridge/AereSpokePool.sol, a later revision of the code at 0xCAB1DBA5f6F06198000C20a974d675f1B3181AbD // contracts/bridge/AereERC7683.sol -> 0x67Fb9830e3a2BC06cEb641cfF3beD87b273ccb29 +// Corrected 2026-10-19: this header used to say the first file IS the code at 0xCAB1DBA5. The metadata hash in that +// address's bytecode names its sources, and they are the 2026-06-08 revision of AereSpokePool.sol and AereMessenger.sol, +// not the files in this tree. The invariants below are exercised on the current revision. // Messaging layer: the REAL contracts/bridge/AereMessenger.sol (Hyperlane-style // ECDSA-multisig). We drive settlement end-to-end through it with a real // validator signature -- NO messenger mock -- so any finding cannot be blamed