aere-docs/CITATIONS-UNRESOLVED.md

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-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, the claim is traceable but not independently verifiable by you, and it should be read as our assertion. Nothing was deleted to produce this list: every path below is still cited in the text exactly as our authors wrote it.

Paths that DO resolve are written relative to a side-by-side checkout of the Aere repositories, so they begin with a repository name, for example aere-contracts/contracts/pqc/AereCryptoRegistry.sol.

Unresolvable distinct paths in this repository: 261.

• 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
• AERE-COVERAGE-README.md cited in: aere-docs/REPRODUCE.md
• aere-coverage-summary.json cited in: aere-docs/REPRODUCE.md
• AERE-ERC8004-X402-CONFORMANCE-RESULT-2026-07-20.md cited in: aere-docs/AERE-ERC8004-X402-CONFORMANCE.md
• aere-genesis-current.json cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md
• aere-genesis-fusaka.json cited in: aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
• aere-genesis-pectra.json cited in: aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
• AERE-VSM-ATTESTED-RETRIEVAL.md cited in: aere-docs/AERE-VSM.md
• aerenew/.github/workflows/reproducible-besu-build.yml cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/aips/AIP-N.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
• aerenew/aips/CONTRIBUTING.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
• aerenew/audit-package-pq-consensus/REPRODUCE.md cited in: aere-docs/AERE-BENCHMARK-REPORT.md
• aerenew/basefee-floor-dryrun/basefee-floor.diff cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md
• aerenew/build-tracker/control.json cited in: aere-docs/AERE-QUANTUM-MIGRATION.md, aere-docs/AERE-QUANTUM-SAFE-NETWORKING.md
• 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
• aerenew/contracts/hardhat.config.js cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/contracts/hardhat.config.prague.js cited in: aere-docs/AERE-ENTROPY-BEACON-FIX.md
• aerenew/contracts/reports/sharded-test-run/results.json cited in: aere-docs/REPRODUCE.md
• aerenew/contracts/scripts/test-mldsa-local.js cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• aerenew/contracts/test/account-retirement.test.js cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
• aerenew/contracts/test/AereComputeMarketV3.liveness.test.js cited in: aere-docs/AERE-COMPUTE-MARKET-V3-SUMMARY.md, aere-docs/AERE-COMPUTE-MARKET-V3.md
• aerenew/contracts/test/erc8004-x402-conformance.live.test.js cited in: aere-docs/AERE-ERC8004-X402-CONFORMANCE.md
• aerenew/cross-client-determinism/LIVE-BESU-VS-NETHERMIND-2026-07-19.md cited in: aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
• aerenew/docs/AERE-AIP-PROCESS-AND-INDEX.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-ARCHITECTURE-MAP.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-BENCHMARK-REPORT.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-BUILD-LOOP-SUMMARY-2026-07-19.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-COMPUTE-MARKET-V3.md cited in: aere-docs/AERE-COMPUTE-MARKET-V3-SUMMARY.md
• aerenew/docs/AERE-CROSS-CLIENT-DETERMINISM.md cited in: aere-docs/AERE-SHADOW-PRODUCER.md
• aerenew/docs/AERE-EIP-COMPATIBILITY-MATRIX.md cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md, aere-docs/AERE-QUANTUM-MIGRATION.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-ENGINEERING-SECURITY-SPEC.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md, aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md, aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-ERC7683-DESTINATION.md cited in: aere-docs/AERE-ERC7683-DESTINATION-SUMMARY.md
• aerenew/docs/AERE-ERC8004-X402-CONFORMANCE.md cited in: aere-docs/AERE-ERC8004-SUMMARY.md
• aerenew/docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md cited in: aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md
• aerenew/docs/AERE-POST-QUANTUM-GOVERNANCE.md cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
• aerenew/docs/AERE-PQ-AGGREGATE.md cited in: aere-docs/AERE-PQ-AGGREGATE-SUMMARY.md
• aerenew/docs/AERE-PQ-FINALITY-CERTIFICATE.md cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE-SUMMARY.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
• aerenew/docs/AERE-PQ-SCREEN.md cited in: aere-docs/AERE-PQ-SCREEN-SUMMARY.md
• aerenew/docs/AERE-PROTOCOL-SPECIFICATION.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-QA-CONSOLIDATION-REPORT.md cited in: aere-docs/AERE-BUILD-LOOP-SUMMARY-2026-07-19.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-QUANTUM-MIGRATION.md cited in: aere-docs/AERE-QUANTUM-MIGRATION-SUMMARY.md
• aerenew/docs/AERE-QUANTUM-SAFE-NETWORKING.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-SECURITY-FIXES.md cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
• aerenew/docs/AERE-SECURITY-REVIEW-NEW-CONTRACTS.md cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-SECURITY-FIXES.md
• aerenew/docs/AERE-SHADOW-PRODUCER.md cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
• aerenew/docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC-SUMMARY.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC-SUMMARY.md
• aerenew/docs/AERE-STARK-VERIFIER-PORT-SPEC.md cited in: aere-docs/AERE-STARK-BABYBEAR-FIELD-SUMMARY.md, aere-docs/AERE-STARK-CORE-ADVANCE-SUMMARY.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md, aere-docs/AERE-STARK-POSEIDON2-CONSTANTS-CONFIRMED.md, aere-docs/AERE-STARK-POSEIDON2-SUMMARY.md
• aerenew/docs/AERE-VSM.md cited in: aere-docs/AERE-VSM-SUMMARY.md
• aerenew/docs/AERE-WHITEPAPER-AIP-LINKAGE.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
• aerenew/docs/AERE-XMSS-AGGREGATION-CIRCUIT.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
• aerenew/docs/aerecore/AERECORE_PLAN.md cited in: aere-docs/REPRODUCE.md
• aerenew/docs/AUDIT-FINDING-THRESHOLD-DUPLICATE-KEYS-2026-07-15.md cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
• aerenew/docs/BASEFEE-FLOOR-FORK-RUNBOOK-2026-07-17.md cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md
• aerenew/docs/DECENTRALIZATION-2ND-CLIENT-RUNBOOK.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/docs/GOVERNANCE.md cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
• aerenew/docs/NETHERMIND-2ND-CLIENT-LIVE-2026-07-17.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/PQ-STARK-VERIFIER-PRECOMPILE-2026-07-18.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• aerenew/docs/RPC2-NODE-2026-07-17.md cited in: aere-docs/AERE-QUANTUM-SAFE-NETWORKING.md
• aerenew/docs/THRESHOLD-PQC-2026-07-12.md cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
• aerenew/docs/TRANZITIA-QBFT-SETTLED-2026-07-20.md cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md
• aerenew/dryrun-results/dryrun/phase_postfork_kat.sh cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• aerenew/eips/eip-draft-pqc-account-authorization.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
• aerenew/eips/eip-draft-pqc-signature-precompiles.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
• aerenew/eips/eip-draft-shake256-precompile.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
• aerenew/eips/README.md cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
• aerenew/formal-contracts/specs/AereSink.symbolic.t.sol cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md
• aerenew/formal-tla/MCliveness.cfg cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/formal-tla/MCliveness.tla cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/formal-tla/MCsafety.cfg cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/formal-tla/MCsafety.tla cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/formal-tla/MCsafety7.cfg cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/formal-tla/QBFT.tla cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/formal-tla/README.md cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
• aerenew/genesis.json cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
• aerenew/GITHUB_DEPLOYMENT_CHECKLIST.md cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/nethermind-pqc/proofs/mixed-client/proposer/01-onchain-alternation-hashmatch.txt cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/nethermind-pqc/QBFT-FOLLOWER-2026-07-12.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/nethermind-pqc/QBFT-GENESIS-SYNC-FIX-2026-07-13.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/nethermind-pqc/QBFT-PRODUCER-2ND-CLIENT-2026-07-13.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/nethermind-pqc/QBFT-VALIDATION-2026-07-12.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/nethermind-pqc/REAL-NETHERMIND-PQC-2026-07-12.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/nethermind-pqc/test/AerePqc.Tests/qbft-vectors.json cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• aerenew/node/REPRODUCIBLE.md cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/parallel/combined-fork-binary/BUILD_INFO.txt cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/parallel/combined-fork-binary/logs/nist_kat_bc183.txt cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• aerenew/parallel/combined-fork-binary/scripts/check5_precompiles.py cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• aerenew/parallel/combined-fork-binary/scripts/run_kat.sh cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• aerenew/parallel/combined-fork-binary/VALIDATION_REPORT.md cited in: aere-docs/AERE-SHADOW-PRODUCER.md
• aerenew/pqc-fork/build-dist.sh cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/pqc-fork/probe-precompile-liveness.js cited in: aere-docs/AERE-BENCHMARK-REPORT.md
• aerenew/pqc-fork/README.md cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• aerenew/pqc-fork/run-kats.sh cited in: aere-docs/AERE-BENCHMARK-REPORT.md
• aerenew/pqc-fork/setup-fork.sh cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• aerenew/REPRODUCE.md cited in: aere-docs/AERE-BUILD-LOOP-SUMMARY-2026-07-19.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.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/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
• aerenew/shadow-producer/shadow-producer.mjs cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
• aerenew/tools/create-aere-pqc/README.md cited in: aere-docs/REPRODUCE.md
• AereVSMAttestor.sol cited in: aere-docs/AERE-VSM.md
• air.rs cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• artifacts/besu-image-digest.json cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• AUDIT-REPORT-2026-07-14.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• batch-prover-recovered/bin/aere-prover/Cargo.toml cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• besu-image-digest.json cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• blockstm-adapter.mjs cited in: aere-docs/AERE-SHADOW-PRODUCER.md
• bootnodes.txt cited in: aere-docs/VERIFY-POLICY.md
• chips/alu_base.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• chips/alu_ext.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• chips/prefix_sum_checks.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• chips/public_values.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• chips/select.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• combined-fork-binary/BUILD_INFO.txt cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• config/config.toml cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• config/genesis.json cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• contracts/contracts/interop/AereZkQbftLightClient.sol cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
• contracts/contracts/modular/AerePQAggregateModule.sol cited in: aere-docs/AERE-PQ-AGGREGATE.md
• contracts/contracts/mpc/AerePQAggregateVerifier.sol cited in: aere-docs/AERE-PQ-AGGREGATE.md, aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
• contracts/contracts/pqc/AerePQCKeyRegistry.sol cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
• contracts/contracts/pqc/AerePQCTxAccount.sol cited in: aere-docs/AIP-PQ-TX-2026-07-18.md
• contracts/contracts/pqc/AereXmssVerifier.sol cited in: aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
• contracts/contracts/pqfinality/AereFinalityCertificateVerifier.sol cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
• contracts/contracts/pqfinality/AerePQAttestationKeyRegistry.sol cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
• contracts/contracts/validators/AereValidatorManifest.sol cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
• contracts/contracts/zkverify/AerePQStarkVerifier.sol cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• contracts/test/AerePQAggregate.test.js cited in: aere-docs/AERE-PQ-AGGREGATE.md
• contracts/test/AerePQCTxAccount.test.js cited in: aere-docs/AIP-PQ-TX-2026-07-18.md
• contracts/test/AerePQFinalityCertificate.test.js cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
• contracts/test/fixtures/xmss-sha2_10_256-kat.json cited in: aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
• contracts/test/xmssVerifier.test.js cited in: aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
• crates/hypercube/src/verifier/hashable_key.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• crates/hypercube/src/verifier/shard.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• crates/primitives/src/lib.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• crates/prover/src/recursion.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• crates/recursion/executor/src/public_values.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• DECENTRALIZATION-2ND-CLIENT-RUNBOOK.md cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• deployments/compute-market-e2e.json cited in: aere-docs/AERE-COMPUTE-MARKET-V3.md
• docs/AERE-EIP-COMPATIBILITY-MATRIX.md cited in: aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md, aere-docs/AERE-ENTROPY-BEACON-FIX.md
• docs/AERE-PQ-AGGREGATE.md cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
• docs/AERE-PQ-FINALITY-CERTIFICATE.md cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
• docs/AERE-SECURITY-REVIEW-NEW-CONTRACTS.md cited in: aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md
• docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• docs/AERE-STARK-VERIFIER-PORT-SPEC.md cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• docs/PQ-STARK-VERIFIER-PRECOMPILE-2026-07-18.md cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• domain.rs cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• duplex_challenger.rs cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• ethers.js cited in: aere-docs/AERE-QUANTUM-SAFE-NETWORKING.md
• falcon1024.txt cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• falcon512.txt cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• FAULT-TOLERANCE-CHARACTERIZATION-2026-07-14.md cited in: aere-docs/AERE-ENGINEERING-SECURITY-SPEC.md
• folder.rs cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• foundry.toml cited in: aere-docs/REPRODUCE.md
• FRONTIER-PROGRAM-2026-07-12.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• genesis-subsecond.json cited in: aere-docs/AERE-BENCHMARK-REPORT.md
• GITHUB_DEPLOYMENT_CHECKLIST.md cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• GOVERNANCE.md cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
• grinding_challenger.rs cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• harness/DummyERC20A.sol cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md
• hypercube-verifier/crates/stark/folder.rs cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• interfaces/draft-IERC7579.sol cited in: aere-docs/AERE-PQ-AGGREGATE.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
• 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
• merge-shards.js cited in: aere-docs/REPRODUCE.md
• mldsa44.txt cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• mmcs.rs cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.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
• 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
• pqc-fork/pq-stark/babybear_field_reference.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/challenger_ground_truth.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/challenger_reference.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/export-inner-stark-vector.md cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/fri_ground_truth.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/fri_query_index_reference.mjs cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/fri_query_index_reference.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/fri_verify_reference.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/FriQueryIndexSelfTest.java cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/mmcs_babybear_reference.py cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/poseidon2_babybear_reference.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/README.md cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/spec-fri-babybear.md cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/spec-mmcs-babybear.md cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/spec-poseidon2-constants.md cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/test_air_quotient.py cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md
• pqc-fork/pq-stark/test_babybear_field.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/test_challenger.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/test_fri_query_index.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/test_fri_verify.py cited in: aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md
• pqc-fork/pq-stark/test_mmcs_babybear.py cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/pq-stark/test_poseidon2_babybear.py cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/precompiles/Sp1StarkVerifierPrecompiledContract.java cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-air-quotient.json cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-babybear-field.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-challenger.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-fri-query-index.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-fri-verify.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-mmcs-babybear.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc-fork/results/kat-results-poseidon2-babybear.json cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• pqc/AereAccountRetirement.sol cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
• precompile cited in: aere-docs/REPRODUCE.md
• Probe.java cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• proofs/mixed-client/follower-sync/REGRESSION-n4.txt cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• proofs/qbft-producer-besu-import-proof-2026-07-13.txt cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• proofs/qbft-producer-manifest-2026-07-13.json cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
• reproducible-besu-build.yml cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• REPRODUCIBLE.md cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• rollup-evm-validity/guest/Cargo.toml cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• rollup-evm-validity/host/Cargo.lock cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• rollup-evm-validity/host/Cargo.toml cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
• run_kat.sh cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
• 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
• tests/fib_air.rs cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• tests/mul_air.rs cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• unmeasurable.txt cited in: aere-docs/REPRODUCE.md
• VALIDITY-ROLLUP-SEQUENCER-PLAN.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• verifier.rs cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
• verify-besu-image.sh cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
• WHITEPAPER-V2.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• wp2-sections/02-architecture.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• wp2-sections/04-zk.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• ZK-ANCHOR-FIXES-2026-07-17.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
• ZK-PQ-FINALITY-2026-07-18.md cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md