diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md
index 9b47ed5..5935ff0 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-27, of every
+enforced by legaturi.cjs. It is the complete list, measured on 2026-09-02, 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,8 +13,9 @@ 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: **105**.
+Unresolvable distinct paths in this repository: **108**.
 
+- `addresses.ts`  cited in: aere-research/research/specs/spec-account-abstraction.md, aere-research/research/specs/spec-antimev-mempool.md, aere-research/research/specs/spec-eip2935-lookback.md, aere-research/research/specs/spec-full-evm-validity.md, aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md, aere-research/results/PROVEN-RESULTS-2026-07-11.md
 - `aerenew/contracts/deployments/falcon-512-verifier.json`  cited in: aere-research/research/pqc-onchain-verification.md
 - `aerenew/contracts/deployments/pqc-account.json`  cited in: aere-research/research/pqc-onchain-verification.md
 - `aerenew/docs/drafts/PQC-FORK-PAPER-DRAFT.md`  cited in: aere-research/research/aip-draft-pqc-precompiles.md
@@ -89,6 +90,7 @@ Unresolvable distinct paths in this repository: **105**.
 - `p3_ground_truth.json`  cited in: aere-research/pq-stark/spec-poseidon2-constants.md
 - `p3_matrices.json`  cited in: aere-research/pq-stark/spec-poseidon2-constants.md
 - `parallel_commit.patch`  cited in: aere-research/research/specs/spec-parallel-execution.md
+- `pqc-account.json`  cited in: aere-research/research/pqc-onchain-verification.md
 - `pqc-verifier.json`  cited in: aere-research/research/pqc-onchain-verification.md
 - `prompt.json`  cited in: aere-research/research/aip-draft-pqc-precompiles.md, aere-research/research/pqc-onchain-verification.md
 - `proof-aggregator-scale.json`  cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md
@@ -104,6 +106,7 @@ Unresolvable distinct paths in this repository: **105**.
 - `rollup-sequencer/src/blockstm/BlockSTMExecutor.ts`  cited in: aere-research/research/specs/spec-parallel-execution.md
 - `rollup-sequencer/src/blockstm/example.ts`  cited in: aere-research/research/specs/spec-parallel-execution.md
 - `run-kats.sh`  cited in: aere-research/PQC-FORK-README.md
+- `sdk-js/src/addresses.ts`  cited in: aere-research/aips/AIP-1.md, aere-research/aips/AIP-2.md, aere-research/aips/AIP-4.md, aere-research/aips/AIP-5.md, aere-research/aips/AIP-6.md, aere-research/aips/AIP-7.md, aere-research/aips/README.md, aere-research/aips/aip-template.md, aere-research/research/specs/spec-account-abstraction.md, aere-research/research/specs/spec-antimev-mempool.md, aere-research/research/specs/spec-eip2935-lookback.md, aere-research/research/specs/spec-full-evm-validity.md, aere-research/research/specs/spec-identity-compliance.md, aere-research/research/specs/spec-parallel-execution.md, aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md, aere-research/results/PROVEN-RESULTS-2026-07-11.md
 - `setup-fork.sh`  cited in: aere-research/PQC-FORK-README.md
 - `shutter-mempool-v2.json`  cited in: aere-research/research/specs/spec-antimev-mempool.md
 - `shutter-mempool-v3.json`  cited in: aere-research/research/specs/spec-antimev-mempool.md