Citations: family-wide resolution (published repositories on the forge) and the disclosure regenerated

CITATIONS-UNRESOLVED.md

@@ -13,9 +13,8 @@ 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: **108**.
+Unresolvable distinct paths in this repository: **104**.
 
-- `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
@@ -23,7 +22,6 @@ Unresolvable distinct paths in this repository: **108**.
 - `aerenew/formal-tla/QBFT.tla`  cited in: aere-research/formal-consensus/RULEAZA-TOT.md
 - `aerenew/formal-tla/QBFTPartition.tla`  cited in: aere-research/formal-consensus/RULEAZA-TOT.md
 - `aerenew/scripts/deschise/flaguri-verify.cjs`  cited in: aere-research/VERIFY-POLICY.md
-- `aerenew/sdk-js/src/addresses.ts`  cited in: aere-research/research/pqc-onchain-verification.md, aere-research/research/specs/spec-account-abstraction.md, aere-research/research/specs/spec-antimev-mempool.md, aere-research/research/specs/spec-flywheel-economics.md
 - `aerenew/strategie/EXECUTION-KERNEL-2026-08-15.md`  cited in: aere-research/execution-kernel/MACHINE-INTERFACE-CONTRACT.md
 - `AIP-N.md`  cited in: aere-research/aips/AIP-1.md, aere-research/aips/README.md
 - `air.rs`  cited in: aere-research/pq-stark/README.md
@@ -90,7 +88,6 @@ Unresolvable distinct paths in this repository: **108**.
 - `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
@@ -106,7 +103,6 @@ Unresolvable distinct paths in this repository: **108**.
 - `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

research/pqc-onchain-verification.md

@@ -29,7 +29,7 @@ Every verifier discussed here is deployed with no owner, no admin, and no upgrad
 
 ## 3. The schemes AERE verifies on-chain
 
-The deployed suite spans both families that NIST is standardizing for signatures: stateless and stateful hash-based schemes, and structured-lattice schemes. The table below lists each verifier with its live address on chain 2800, the parameter set, and the artifact sizes that drive its gas cost. All addresses are copied verbatim from the canonical SDK registry (`aerenew/sdk-js/src/addresses.ts`).
+The deployed suite spans both families that NIST is standardizing for signatures: stateless and stateful hash-based schemes, and structured-lattice schemes. The table below lists each verifier with its live address on chain 2800, the parameter set, and the artifact sizes that drive its gas cost. All addresses are copied verbatim from the canonical SDK registry (`sdk-js/src/addresses.ts`).
 
 | Scheme | Contract | Address (chain 2800) | Family | Key params | Sizes |
 | --- | --- | --- | --- | --- | --- |
@@ -171,7 +171,7 @@ With those caveats stated, the narrowest defensible comparative statement is thi
 
 ## Appendix A: Live address registry (chain 2800)
 
-All addresses copied verbatim from `aerenew/sdk-js/src/addresses.ts`.
+All addresses copied verbatim from `sdk-js/src/addresses.ts`.
 
 - AerePQCVerifier (WOTS+): `0x1cE2949e8cE3f1A77b178aF767a4455c08ec6F82`
 - AereLatticeVerifier (n=64 demo core): `0x60c06E6A3CC201B46A16650be096C6E45424dfD9`

research/specs/spec-account-abstraction.md

@@ -3,7 +3,7 @@
 **Chain:** AERE Network, chain ID 2800 (`0xAF0`)
 **Consensus:** Hyperledger Besu QBFT, 0.5-second target blocks, sub-second finality, seven validators
 **EVM ruleset:** Pectra (Prague/Cancun) plus Fusaka (Osaka), functional parity with Ethereum mainnet
-**Source of truth for addresses:** `aerenew/sdk-js/src/addresses.ts`
+**Source of truth for addresses:** `sdk-js/src/addresses.ts`
 **Contract source:** `aerenew/contracts/contracts/`
 
 This document specifies the wallet and onboarding layer of AERE: passkey smart accounts, the ERC-4337 EntryPoint, the four gasless paymasters, EIP-7702 EOA delegation, the ERC-7579 modular account line, ERC-6551 token-bound accounts, and the post-quantum smart account. It states plainly what is live on mainnet 2800 today, what is source-complete but not yet deployed, which live contracts are deprecated and what replaced them, and where the current design has seams. Honesty about the seams is deliberate: this is an engineering reference, not marketing copy.

research/specs/spec-antimev-mempool.md

@@ -300,7 +300,7 @@ Stating these plainly is deliberate. For a chain with thin usage and a small val
 
 ## 10. Address and artifact appendix (verbatim)
 
-CANONICAL, from `aerenew/sdk-js/src/addresses.ts`:
+CANONICAL, from `sdk-js/src/addresses.ts`:
 
 | Contract | Address |
 |---|---|

research/specs/spec-flywheel-economics.md

@@ -1,7 +1,7 @@
 # AERE Token-Economic Mechanisms: Burn, Sink Flywheel, and Staking
 
 Subsystem specification. AERE Network mainnet, Chain ID 2800 (Hyperledger Besu QBFT; measured mean block interval 0.5175 s over the 2,000 blocks to head 11,810,041 on 2026-08-01; seven validators, f=2, commit quorum 5 of 7, one operator).
-Source of truth for addresses: `aerenew/sdk-js/src/addresses.ts`. Source of truth for logic: `aerenew/contracts/contracts/`.
+Source of truth for addresses: `sdk-js/src/addresses.ts`. Source of truth for logic: `aerenew/contracts/contracts/`.
 Solidity 0.8.23, OpenZeppelin 4.9.6.
 
 ## Scope and honesty preface