aere-network/aere-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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
Some checks failed
contracts-ci / Install (lockfile) → compile → full test suite (push) Has been cancelled
Details
contracts-ci / Ethereum interop (EIP-2537 BLS, prague hardfork) (push) Has been cancelled
Details
contracts-ci / PQC known-answer tests (NIST vectors) (push) Has been cancelled
Details
contracts-ci / Coverage (scoped, with artifacts) (push) Has been cancelled
Details

Browse Source
This commit is contained in:
Aere Network 2026-10-19 15:14:01 +03:00
parent d3a427abaa
commit 9056e51679
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/spokepool-intents-invariant-property.test.js
View File

@ -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