aere-network/aere-docs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Aere Network 2026-09-02 21:51:46 +03:00
parent 20c40301a7
commit 3ae88212d7
5 changed files with 6 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
AERE-MIGRATION-TOOLKIT.md
View File

@ -20,7 +20,7 @@ tool. Three parts plus a self-test and a README.
GREEN (PQC-capable). Runnable: `node scan.js <address> --rpc <url>`, plus GREEN (PQC-capable). Runnable: `node scan.js <address> --rpc <url>`, plus
offline `--bytecode 0x..` and `--fixture <name>` paths. offline `--bytecode 0x..` and `--fixture <name>` 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 mirroring `AerePQCAccountFactory.predictAddress`, calldata builders for
`createAccount` (PQC account) and `registerIdentity` (hybrid ECDSA+Falcon), `createAccount` (PQC account) and `registerIdentity` (hybrid ECDSA+Falcon),
and a step-by-step migration plan over Aere's existing live primitives and a step-by-step migration plan over Aere's existing live primitives

2
AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
View File

@ -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 ## 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 `aerenew/docs/AERE-EIP-COMPATIBILITY-MATRIX.md`. Pass these EXACT values as constructor arguments where a
contract needs them. contract needs them.

4
AERE-POST-QUANTUM-GOVERNANCE.md
View File

@ -33,7 +33,7 @@ The result is a governance layer whose authentication strength matches the rest
## 2. The existing primitives ## 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) ### 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. | | `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. | | `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`.

9
CITATIONS-UNRESOLVED.md
View File

@ -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 repositories, so they begin with a repository name, for example
`aere-contracts/contracts/pqc/AereCryptoRegistry.sol`. `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 - `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 - `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/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/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/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/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/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 - `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 - `KNOWN-ISSUES.md` cited in: aere-docs/VERIFY-POLICY.md
- `LAST-SHARD-ONLY-NOT-THE-COVERAGE-NUMBER.json` cited in: aere-docs/REPRODUCE.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/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 - `lib/partition.sh` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
- `LondonFeeMarket.java` cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md - `LondonFeeMarket.java` cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md
- `matrix.json` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.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 - `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 - `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 - `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 - `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_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 - `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-chaos-matrix.sh` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
- `run-kats.sh` cited in: aere-docs/REPRODUCE.md - `run-kats.sh` cited in: aere-docs/REPRODUCE.md
- `runner.mjs` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.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/list-test-cases.js` cited in: aere-docs/REPRODUCE.md
- `scripts/coverage/tree-fingerprint.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 - `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 - `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 - `shadow-producer.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md
- `shake256.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md - `shake256.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
- `shards/shard-NNN.partial-istanbul.json` cited in: aere-docs/REPRODUCE.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 - `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/AereComputeMarketV3.liveness.test.js` cited in: aere-docs/AERE-COMPUTE-MARKET-V3.md
- `test/formal/ForgePropertyFuzz.t.sol` cited in: aere-docs/REPRODUCE.md - `test/formal/ForgePropertyFuzz.t.sol` cited in: aere-docs/REPRODUCE.md

2
REPRODUCE.md
View File

@ -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: 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`. `.../aere-network/aerenew`, and `.../aere-network/blocky-chain-forge`.
- `aerenew/tools/create-aere-pqc/README.md` links to `.../aere-network/sdk-js`. - `aerenew/tools/create-aere-pqc/README.md` links to `.../aere-network/sdk-js`.
- `aerenew/docs/aerecore/AERECORE_PLAN.md` links to `.../aere-network/aerecore`. - `aerenew/docs/aerecore/AERECORE_PLAN.md` links to `.../aere-network/aerecore`.