diff --git a/AERE-CROSS-CLIENT-DETERMINISM.md b/AERE-CROSS-CLIENT-DETERMINISM.md index 804e95c..70a9f79 100644 --- a/AERE-CROSS-CLIENT-DETERMINISM.md +++ b/AERE-CROSS-CLIENT-DETERMINISM.md @@ -201,7 +201,7 @@ transactions and malformed inputs closes that gap. ACVP negative test groups (ML-DSA-sigVer-FIPS204 tg8: 15 records, 3 pass / 12 fail; SLH-DSA-sigVer-FIPS205 tg31: 14 records, 2 pass / 12 fail) and the SHAKE256 output-length domain including the over-cap truncation edge. These are the "trap for a second client" - cases and they are pinned as vectors (`aerenew/conformance/README.md`). + cases and they are pinned as vectors (`aere-quantum/conformance/README.md`). - **Block-level and transaction-level adversarial corpus: [MEASURE], to build.** A dedicated corpus of adversarial or edge-case transactions (deep call stacks, storage-collision @@ -232,7 +232,7 @@ against the Besu fork's output for the same input. - `aerenew/conformance/`: the executable conformance suite has since grown to 83 precompile vectors (Falcon-512 x12, Falcon-1024 x12, ML-DSA-44 x22, SLH-DSA-SHA2-128s x21, SHAKE256 x16), 112 vectors total including QBFT, EIP-2935, and extraData. Last live run: 112/112 - passed against the chain-2800 Besu reference (`aerenew/conformance/README.md`). Note the + passed against the chain-2800 Besu reference (`aere-quantum/conformance/README.md`). Note the distinction: the 27/27 figure is the set re-run byte-for-byte inside the actual Nethermind process; the 112/112 figure is the full suite confirmed against the live Besu reference by `runner.mjs`. @@ -445,7 +445,7 @@ boundary indicates a wrong precompile gate; stop and fix.] not the public `rpc.aere.network`. The public RPC is behind a proxy that overwrites `baseFeePerGas` with a constant 1 Gwei for display; that shimmed value does not reproduce the real block hash for blocks whose true base fee differs. A client reading directly from a Besu -node gets the true consensus value and needs no override (`aerenew/conformance/README.md`, +node gets the true consensus value and needs no override (`aere-quantum/conformance/README.md`, baseFee shim caveat). ### 5.5 Production interop and tamper control (3.1, 3.2) diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md index 73d879d..cd10ce5 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: **254**. +Unresolvable distinct paths in this repository: **251**. - `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 @@ -32,7 +32,6 @@ Unresolvable distinct paths in this repository: **254**. - `aerenew/chaos/WATCHTOWER-DESIGN.md` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md - `aerenew/conformance/conformance-vectors.json` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md - `aerenew/conformance/lib.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md -- `aerenew/conformance/README.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md - `aerenew/contracts/contracts/pqc/AereAccountRetirement.sol` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md - `aerenew/contracts/deployments/wave-a-identity-compliance-2026-07-19.json` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md - `aerenew/contracts/foundry.toml` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md @@ -249,8 +248,6 @@ Unresolvable distinct paths in this repository: **254**. - `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/README.md` 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-NEW-CONTRACTS-DEPLOY-RUNBOOK.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