diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md
index 093af78..92eeb56 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-09-12, of every
+enforced by legaturi.cjs. It is the complete list, measured on 2026-09-24, 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,14 +13,16 @@ 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: **20**.
+Unresolvable distinct paths in this repository: **22**.
 
+- `aere-client2/src/Nethermind/Nethermind.Core/AereFloorLapse.cs`  cited in: aere-node/SPEC.md
 - `aerenew/publish-bundle/stage-anchor.cjs`  cited in: aere-node/anchor/README.md
 - `ARMAREA-IMPUNERII-MESAJELOR-2026-09-02.md`  cited in: aere-node/SPEC.md
 - `armeaza-impunerea-pe-flota.sh`  cited in: aere-node/SPEC.md
 - `CE-DEVINE-INVALID-LA-ANCORA-2026-08-07.md`  cited in: aere-node/SPEC.md
 - `CHANGELOG.md`  cited in: aere-node/README.md
 - `consensus-pqc/CE-DEVINE-INVALID-LA-ANCORA-2026-08-07.md`  cited in: aere-node/SPEC.md
+- `deploy/validators/aip2021-2026-09-22/dovedeste-aip2021-2800.sh`  cited in: aere-node/SPEC.md
 - `deploy/validators/d311-2026-09-02/SURSA.md`  cited in: aere-node/SPEC.md
 - `F-lib.sh`  cited in: aere-node/SPEC.md
 - `LondonFeeMarket.java`  cited in: aere-node/RUN-A-NODE.md
diff --git a/SPEC.md b/SPEC.md
index e86f2f0..dabe3c4 100644
--- a/SPEC.md
+++ b/SPEC.md
@@ -405,7 +405,7 @@ that it has nothing to report.
 (Aere repository): all nine Besu-derived validators answer `post-quantum` for head minus 16 with
 `falconSealsVerified` 10 of 10 heard and `quorum` 7; the Nethermind-derived validator answers the
 same verdict, hash and quorum for the same block; the two public readers answer `unavailable`.
-Specification and the two-client conformance record: `aips/AIP-21.md`, `aips/aip21-conformitate/`
+Specification and the two-client conformance record: `aere-research/aips/AIP-21.md`, `aips/aip21-conformitate/`
 in the Aere repository.
 
 ---
@@ -869,7 +869,7 @@ endpoints since the floor went live.
   id prevents replay). Algorithm ids: 1 = ML-DSA-44, 2 = ML-DSA-65, 3 = ML-DSA-87 (source:
   `patches/0006-aere-pq-transactions.patch`, `AerePqAlgorithm`; the exact RLP layout, the signing
   pre-image and the 14 conformance vectors are in the same patch under
-  `ethereum/core/src/test/resources/aere/pqtx/`, and in `aips/AIP-20.md` in the Aere repository).
+  `ethereum/core/src/test/resources/aere/pqtx/`, and in `aere-research/aips/AIP-20.md` in the Aere repository).
 - The activation is per node, by the system property `aere.pqtx.forkBlock` (absent means never):
   `run-node.sh` sets `-Daere.pqtx.forkBlock=19900000` for chain 2800. Below the height the type is
   refused at the transaction pool ("not enabled until H"); a build without patch 0006 does not know