README: cite the migrator contract and the benchmark report by their published side-by-side paths so both resolve for a reader

This commit is contained in:
Liviu 2026-08-28 00:51:30 +03:00
parent 581920970c
commit 16fd087586

View File

@ -194,7 +194,7 @@ sequence is plain factory + ERC-20 + native transactions the holder signs.
What is NOT deployed:
- `AereAccountMigrator` (the atomic `migrate` / `migrateToPqcAccount` conduit)
is repo source (`contracts/pqc/AereAccountMigrator.sol`) in the audit-gated
is repo source (`aere-contracts/contracts/pqc/AereAccountMigrator.sol`) in the audit-gated
`notDeployedHeld.externalAuditGated_fundFlow` set. It has NO mainnet address.
The `migrator` path therefore refuses to build unless you pass an explicit
`--migrator` address, and it prints a `[VERIFY]` warning telling you to confirm
@ -208,7 +208,7 @@ Foundation/deployer key, never by this toolkit.
## 3. The cost simulator: `aere-pqc readiness` and `simulate.js`
Two views on cost, both over the MEASURED PQC verify gas from
`aerenew/docs/AERE-BENCHMARK-REPORT.md`:
`aere-docs/AERE-BENCHMARK-REPORT.md`:
- `aere-pqc readiness <address> --rpc <url>` is the per-account report: it scans
the account, enumerates its movable assets read-only, and prints the one-time