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