diff --git a/AERE-FAULT-INJECTION-HARNESS.md b/AERE-FAULT-INJECTION-HARNESS.md
index 8887387..c51c3c9 100644
--- a/AERE-FAULT-INJECTION-HARNESS.md
+++ b/AERE-FAULT-INJECTION-HARNESS.md
@@ -12,8 +12,8 @@ post-quantum consensus. That flip stays founder-gated and audit-gated.
 
 ## Part 1: `AereRecoveryRegistry.sol` (REAL, BUILT + TESTED)
 
-- Contract: `aerenew/contracts/contracts/AereRecoveryRegistry.sol` (solc 0.8.23, repo style).
-- Test: `aerenew/contracts/test/AereRecoveryRegistry.test.js`.
+- Contract: `aere-contracts/contracts/AereRecoveryRegistry.sol` (solc 0.8.23, repo style).
+- Test: `aere-contracts/test/AereRecoveryRegistry.test.js`.
 
 Records recovery events (validator-set drop below quorum -> halt -> subsequent resume), each
 authenticated by a Falcon-512 signature verified on-chain by the LIVE precompile 0x0AE1.
@@ -113,8 +113,8 @@ decision; the suite does not pull the trigger.
   independence, until third-party watchtowers run.
 
 ## Files
-- aerenew/contracts/contracts/AereRecoveryRegistry.sol
-- aerenew/contracts/test/AereRecoveryRegistry.test.js
+- aere-contracts/contracts/AereRecoveryRegistry.sol
+- aere-contracts/test/AereRecoveryRegistry.test.js
 - aerenew/chaos/matrix.json
 - aerenew/chaos/run-chaos-matrix.sh
 - aerenew/chaos/lib/partition.sh
diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md
index eeeb437..2bce4ee 100644
--- a/CITATIONS-UNRESOLVED.md
+++ b/CITATIONS-UNRESOLVED.md
@@ -1,7 +1,7 @@
 # Citations in this repository that you cannot open
 
 This file is generated by the legaturi-repara.cjs script in the Aere working tree and
-enforced by legaturi.cjs. It is the complete list, measured on 2026-08-11, of every
+enforced by legaturi.cjs. It is the complete list, measured on 2026-08-27, of every
 path cited in this repository that does not resolve to a published file.
 
 A citation is a promise that a claim is checkable. Where the target is not published,
@@ -13,7 +13,7 @@ Paths that DO resolve are written relative to a side-by-side checkout of the Aer
 repositories, so they begin with a repository name, for example
 `aere-contracts/contracts/pqc/AereCryptoRegistry.sol`.
 
-Unresolvable distinct paths in this repository: **259**.
+Unresolvable distinct paths in this repository: **261**.
 
 - `06-mev-interop.md`  cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
 - `07-compliance.md`  cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
@@ -135,6 +135,7 @@ Unresolvable distinct paths in this repository: **259**.
 - `batch-prover-recovered/bin/aere-prover/Cargo.toml`  cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
 - `besu-image-digest.json`  cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
 - `blockstm-adapter.mjs`  cited in: aere-docs/AERE-SHADOW-PRODUCER.md
+- `bootnodes.txt`  cited in: aere-docs/VERIFY-POLICY.md
 - `chips/alu_base.rs`  cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
 - `chips/alu_ext.rs`  cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
 - `chips/prefix_sum_checks.rs`  cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
@@ -189,6 +190,7 @@ Unresolvable distinct paths in this repository: **259**.
 - `harness/DummyERC20A.sol`  cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md
 - `hypercube-verifier/crates/stark/folder.rs`  cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
 - `interfaces/draft-IERC7579.sol`  cited in: aere-docs/AERE-PQ-AGGREGATE.md
+- `KNOWN-ISSUES.md`  cited in: aere-docs/VERIFY-POLICY.md
 - `LAST-SHARD-ONLY-NOT-THE-COVERAGE-NUMBER.json`  cited in: aere-docs/REPRODUCE.md
 - `lib/attest-recovery.js`  cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
 - `lib/migrate.js`  cited in: aere-docs/AERE-MIGRATION-TOOLKIT.md