From 3ae88212d79eae7de4608323705971c63a32cf08 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Wed, 2 Sep 2026 21:51:46 +0300 Subject: [PATCH] Citations: family-wide resolution (published repositories on the forge) and the disclosure regenerated --- AERE-MIGRATION-TOOLKIT.md | 2 +- AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md | 2 +- AERE-POST-QUANTUM-GOVERNANCE.md | 4 ++-- CITATIONS-UNRESOLVED.md | 9 +-------- REPRODUCE.md | 2 +- 5 files changed, 6 insertions(+), 13 deletions(-) diff --git a/AERE-MIGRATION-TOOLKIT.md b/AERE-MIGRATION-TOOLKIT.md index d236114..3149ea2 100644 --- a/AERE-MIGRATION-TOOLKIT.md +++ b/AERE-MIGRATION-TOOLKIT.md @@ -20,7 +20,7 @@ tool. Three parts plus a self-test and a README. GREEN (PQC-capable). Runnable: `node scan.js
--rpc `, plus offline `--bytecode 0x..` and `--fixture ` paths. -2. Migration SDK, `lib/migrate.js` + `plan.js`. CREATE2 address derivation +2. Migration SDK, `pqc-migration-toolkit/lib/migrate.js` + `plan.js`. CREATE2 address derivation mirroring `AerePQCAccountFactory.predictAddress`, calldata builders for `createAccount` (PQC account) and `registerIdentity` (hybrid ECDSA+Falcon), and a step-by-step migration plan over Aere's existing live primitives diff --git a/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md b/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md index f9f55e0..7138e3c 100644 --- a/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md +++ b/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md @@ -60,7 +60,7 @@ the founder's decision, and where noted also requires an external audit and a zk ## 1. Live addresses these contracts wire to -All values below are LIVE on mainnet 2800 and were read from `aerenew/sdk-js/src/addresses.ts` and +All values below are LIVE on mainnet 2800 and were read from `sdk-js/src/addresses.ts` and `aerenew/docs/AERE-EIP-COMPATIBILITY-MATRIX.md`. Pass these EXACT values as constructor arguments where a contract needs them. diff --git a/AERE-POST-QUANTUM-GOVERNANCE.md b/AERE-POST-QUANTUM-GOVERNANCE.md index 0ad22b2..d68f635 100644 --- a/AERE-POST-QUANTUM-GOVERNANCE.md +++ b/AERE-POST-QUANTUM-GOVERNANCE.md @@ -33,7 +33,7 @@ The result is a governance layer whose authentication strength matches the rest ## 2. The existing primitives -Every building block this design needs is already deployed on chain 2800. This section is the inventory. Addresses are cited from the canonical registry (`aerenew/sdk-js/src/addresses.ts`) and the governance and threshold docs (`aerenew/docs/GOVERNANCE.md`, `aerenew/docs/THRESHOLD-PQC-2026-07-12.md`, `aerenew/docs/AUDIT-FINDING-THRESHOLD-DUPLICATE-KEYS-2026-07-15.md`). +Every building block this design needs is already deployed on chain 2800. This section is the inventory. Addresses are cited from the canonical registry (`sdk-js/src/addresses.ts`) and the governance and threshold docs (`aerenew/docs/GOVERNANCE.md`, `aerenew/docs/THRESHOLD-PQC-2026-07-12.md`, `aerenew/docs/AUDIT-FINDING-THRESHOLD-DUPLICATE-KEYS-2026-07-15.md`). ### 2.1 The Governor and Timelock (INERT) @@ -218,4 +218,4 @@ The one-sentence statement of scope: this specifies how governance authenticates | `AerePQCAttestation` | `0x465d9E3b476BF98Aa1393079e240Db5D2a9bEA6A` | Reference pattern: on-chain precompile-verified, domain-separated, replay-protected. | | `AereGovernorV2Timelock` guardian (design) | to be an `AereThresholdAccount` | Minted by the fixed factory V2 once founder-gated redeploy occurs. | -Source files: `aere-contracts/contracts/mpc/AereThresholdAccount.sol`, `aere-contracts/contracts/mpc/AerePQCThreshold.sol`, `aerenew/docs/GOVERNANCE.md`, `aerenew/docs/AERE-ENGINEERING-SECURITY-SPEC.md`, `aerenew/docs/AUDIT-FINDING-THRESHOLD-DUPLICATE-KEYS-2026-07-15.md`, `aerenew/sdk-js/src/addresses.ts`. +Source files: `aere-contracts/contracts/mpc/AereThresholdAccount.sol`, `aere-contracts/contracts/mpc/AerePQCThreshold.sol`, `aerenew/docs/GOVERNANCE.md`, `aerenew/docs/AERE-ENGINEERING-SECURITY-SPEC.md`, `aerenew/docs/AUDIT-FINDING-THRESHOLD-DUPLICATE-KEYS-2026-07-15.md`, `sdk-js/src/addresses.ts`. diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md index 7765357..d8d50fa 100644 --- a/CITATIONS-UNRESOLVED.md +++ b/CITATIONS-UNRESOLVED.md @@ -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: **261**. +Unresolvable distinct paths in this repository: **254**. - `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 @@ -121,8 +121,6 @@ Unresolvable distinct paths in this repository: **261**. - `aerenew/research-stage/formal-consensus/REPRODUCE.md` cited in: aere-docs/AERE-BENCHMARK-REPORT.md - `aerenew/scripts/deschise/flaguri-verify.cjs` cited in: aere-docs/VERIFY-POLICY.md - `aerenew/scripts/verify-besu-image.sh` cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md -- `aerenew/sdk-js/README.md` cited in: aere-docs/REPRODUCE.md -- `aerenew/sdk-js/src/addresses.ts` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md - `aerenew/shadow-producer/blockstm-adapter.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md - `aerenew/shadow-producer/package.json` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md - `aerenew/shadow-producer/README.md` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md @@ -193,7 +191,6 @@ Unresolvable distinct paths in this repository: **261**. - `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 - `lib/partition.sh` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md - `LondonFeeMarket.java` cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md - `matrix.json` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md @@ -203,7 +200,6 @@ Unresolvable distinct paths in this repository: **261**. - `NETHERMIND-2ND-CLIENT-LIVE-2026-07-17.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md - `nist_kat_bc183.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md - `node_modules/hardhat/internal/hardhat-network/provider/provider.js` cited in: aere-docs/REPRODUCE.md -- `plan.js` cited in: aere-docs/AERE-MIGRATION-TOOLKIT.md - `PQ-CONSENSUS-LIVE-READINESS-2026-07-18.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md - `pqc-fork/pq-stark/air_quotient_ground_truth.json` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md - `pqc-fork/pq-stark/air_quotient_reference.py` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md @@ -252,16 +248,13 @@ Unresolvable distinct paths in this repository: **261**. - `run-chaos-matrix.sh` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md - `run-kats.sh` cited in: aere-docs/REPRODUCE.md - `runner.mjs` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md -- `scan.js` cited in: aere-docs/AERE-MIGRATION-TOOLKIT.md - `scripts/coverage/list-test-cases.js` cited in: aere-docs/REPRODUCE.md - `scripts/coverage/tree-fingerprint.js` cited in: aere-docs/REPRODUCE.md - `scripts/run-tests-sharded.js` cited in: aere-docs/REPRODUCE.md -- `sdk-js/src/addresses.ts` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md, aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md, aere-docs/AIP-PQ-TX-2026-07-18.md - `SECURITY-POSTURE-VERIFICATION-2026-07-15.md` cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md - `shadow-producer.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md - `shake256.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md - `shards/shard-NNN.partial-istanbul.json` cited in: aere-docs/REPRODUCE.md -- `simulate.js` cited in: aere-docs/AERE-MIGRATION-TOOLKIT.md - `slhdsa128s.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md - `test/AereComputeMarketV3.liveness.test.js` cited in: aere-docs/AERE-COMPUTE-MARKET-V3.md - `test/formal/ForgePropertyFuzz.t.sol` cited in: aere-docs/REPRODUCE.md diff --git a/REPRODUCE.md b/REPRODUCE.md index 7dad6b3..45cc1ea 100644 --- a/REPRODUCE.md +++ b/REPRODUCE.md @@ -73,7 +73,7 @@ resolve. This is a real over-promise and we name it rather than paper over it. Confirmed references in the current tree: -- `aerenew/sdk-js/README.md` links to `https://git.aere.network/aere-network/sdk-js`, +- `sdk-js/README.md` links to `https://git.aere.network/aere-network/sdk-js`, `.../aere-network/aerenew`, and `.../aere-network/blocky-chain-forge`. - `aerenew/tools/create-aere-pqc/README.md` links to `.../aere-network/sdk-js`. - `aerenew/docs/aerecore/AERECORE_PLAN.md` links to `.../aere-network/aerecore`.