diff --git a/README.md b/README.md
index 5e27fdf..f95b008 100644
--- a/README.md
+++ b/README.md
@@ -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