# 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-24, 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: **135**. - `83-binar-nod-f2.sh` cited in: aere-research/aips/AIP-21.md - `89-finalitate-usa-client2.sh` cited in: aere-research/aips/AIP-21.md - `aerenew/basefee-floor-dryrun/basefee-floor.diff` cited in: aere-research/aips/AIP-10.md, aere-research/aips/AIP-17.md - `aerenew/consensus-pqc/besu-consensus-pqc-fork-activation.patch` cited in: aere-research/aips/AIP-15.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/AERE-EIP-COMPATIBILITY-MATRIX.md` cited in: aere-research/aips/AIP-18.md - `aerenew/docs/AERE-PROTOCOL-SPECIFICATION.md` cited in: aere-research/aips/AIP-17.md, aere-research/aips/AIP-18.md - `aerenew/docs/AIP-PQ-TX-2026-07-18.md` cited in: aere-research/aips/AIP-19.md - `aerenew/docs/BASEFEE-FLOOR-FORK-RUNBOOK-2026-07-17.md` cited in: aere-research/aips/AIP-17.md - `aerenew/docs/drafts/PQC-FORK-PAPER-DRAFT.md` cited in: aere-research/research/aip-draft-pqc-precompiles.md - `aerenew/docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md` cited in: aere-research/aips/AIP-16.md - `aerenew/docs/PQ-STARK-VERIFIER-PRECOMPILE-2026-07-18.md` cited in: aere-research/aips/AIP-16.md - `aerenew/docs/TRANZITIA-QBFT-SETTLED-2026-07-20.md` cited in: aere-research/aips/AIP-3.md - `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/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/CONTRIBUTING.md, aere-research/aips/README.md - `aip21-aplica.py` cited in: aere-research/aips/AIP-21.md - `aip21-conformitate/DOVEDESTE.sh` cited in: aere-research/aips/README.md - `aips/aip20-conformitate/DOVEDESTE.sh` cited in: aere-research/aips/AIP-20.md - `aips/aip20-conformitate/TESTNET-28001-2026-09-17.md` cited in: aere-research/aips/AIP-20.md - `aips/aip21-conformitate/DOVEDESTE.sh` cited in: aere-research/aips/AIP-21.md - `aips/aip21-conformitate/runda1-bloc-2285333-nethermind.json` cited in: aere-research/aips/AIP-21.md - `aips/aip21-conformitate/TESTNET-28001-2026-09-18.md` cited in: aere-research/aips/AIP-21.md - `air.rs` cited in: aere-research/pq-stark/README.md - `APLICA-AIP20.sh` cited in: aere-research/aips/AIP-20.md - `audit-package-pq-consensus/evidence/EVIDENCE-INDEX.md` cited in: aere-research/aips/AIP-22.md - `batch-prover-recovered/bin/aere-prover/Cargo.toml` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `besu-pqc-precompiles-mlkem-hashtopoint.patch` cited in: aere-research/PQC-FORK-README.md - `bootnodes.txt` cited in: aere-research/VERIFY-POLICY.md - `build-dist.sh` cited in: aere-research/PQC-FORK-README.md - `CLAUDE.md` cited in: aere-research/execution-kernel/MACHINE-INTERFACE-CONTRACT.md - `compression.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `config.rs` cited in: aere-research/pq-stark/spec-fri-babybear.md - `consensus-pqc/aip22-treapta0/REZULTATE.md` cited in: aere-research/aips/AIP-22.md - `consensus-pqc/ancora-v2/README.md` cited in: aere-research/aips/AIP-22.md - `consensus-pqc/COSTUL-DISCULUI-HIBRID-2026-09-04.md` cited in: aere-research/aips/AIP-22.md - `contracts/contracts/AereIdentity.sol` cited in: aere-research/research/specs/spec-identity-compliance.md - `contracts/contracts/anchor/AereHistoryStateRootAnchor.sol` cited in: aere-research/research/specs/spec-eip2935-lookback.md - `contracts/contracts/parallel/AereBlockSTMRegistry.sol` cited in: aere-research/research/specs/spec-parallel-execution.md - `contracts/contracts/parallel/AereEVMValidity.sol` cited in: aere-research/research/specs/spec-full-evm-validity.md - `contracts/contracts/parallel/AereRollupValidity.sol` cited in: aere-research/research/specs/spec-full-evm-validity.md, aere-research/research/specs/spec-parallel-execution.md - `contracts/contracts/raas/AereRaaSFactory.sol` cited in: aere-research/parallel-executor/README.md - `contracts/contracts/zkverify/AereProofAggregator.sol` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md - `contracts/deploy/deploy-saere-sink-stack.js` cited in: aere-research/aips/AIP-5.md - `contracts/deployments/block-stm-registry.json` cited in: aere-research/research/specs/spec-parallel-execution.md - `contracts/deployments/evm-validity-proof.json` cited in: aere-research/research/specs/spec-full-evm-validity.md - `contracts/deployments/evm-validity.json` cited in: aere-research/research/specs/spec-full-evm-validity.md - `contracts/deployments/halo2-cubic.json` cited in: aere-research/research/specs/spec-zk-stack.md - `contracts/deployments/kzg-verifier.json` cited in: aere-research/research/specs/spec-zk-stack.md - `contracts/deployments/proof-aggregator-scale.json` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md - `contracts/deployments/proof-aggregator.json` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md - `contracts/deployments/risc0-verifier-fix.json` cited in: aere-research/research/specs/spec-zk-stack.md - `contracts/deployments/shutter-mempool-v3.json` cited in: aere-research/research/specs/spec-antimev-mempool.md - `contracts/deployments/state-root-anchor.json` cited in: aere-research/research/specs/spec-eip2935-lookback.md - `contracts/deployments/zkml-mnist-verifier.json` cited in: aere-research/research/specs/spec-zk-stack.md - `contracts/deployments/zkverify-stack.json` cited in: aere-research/research/specs/spec-zk-stack.md - `contracts/test/block-stm-registry.test.js` cited in: aere-research/research/specs/spec-parallel-execution.md - `crypto/merklesignature/committablePublicKeys.go` cited in: aere-research/research/pqc-onchain-verification.md - `data/transactions/logic/langspec_v12.json` cited in: aere-research/research/pqc-onchain-verification.md - `dense-batch-2026-07-11/NOTE.md` cited in: aere-research/research/specs/spec-full-evm-validity.md - `deploy/client2/nginx-client2-rpc.conf` cited in: aere-research/aips/AIP-21.md - `deploy/validators/aip2021-2026-09-22/dovedeste-aip2021-2800.sh` cited in: aere-research/aips/AIP-21.md - `deployments/falcon-1024-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `deployments/falcon-512-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `deployments/mldsa-44-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `deployments/sphincs-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `deployments/xmss-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `domain.rs` cited in: aere-research/pq-stark/README.md - `DOVEDESTE.sh` cited in: aere-research/aips/AIP-21.md - `duplex_challenger.rs` cited in: aere-research/pq-stark/README.md - `expectedResults.json` cited in: aere-research/research/aip-draft-pqc-precompiles.md, aere-research/research/pqc-onchain-verification.md - `falcon-1024-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `falconbench-bouncycastle.txt` cited in: aere-research/aips/AIP-22.md - `finalitate-proxy.mjs` cited in: aere-research/aips/AIP-21.md - `folder.rs` cited in: aere-research/pq-stark/README.md - `grinding_challenger.rs` cited in: aere-research/pq-stark/README.md - `KNOWN-ISSUES.md` cited in: aere-research/VERIFY-POLICY.md - `langspec_v11.json` cited in: aere-research/research/pqc-onchain-verification.md - `merkle_tree.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `mldsa-44-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `mmcs_ground_truth.json` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `mmcs.rs` cited in: aere-research/pq-stark/README.md, aere-research/pq-stark/spec-mmcs-babybear.md - `nethermind-pqc/nethermind-intree/patches/aip20-tranzactii-pq.sh` cited in: aere-research/aips/AIP-20.md - `Nethermind.AerePqc/Consensus/Finality/AerePqFinality.cs` cited in: aere-research/aips/AIP-21.md - `NOTE.md` cited in: aere-research/results/PROVEN-RESULTS-2026-07-11.md - `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 - `patches/AereAip21PqFinalityProofTests.cs` cited in: aere-research/aips/AIP-21.md - `patches/AereRpcModule.cs` cited in: aere-research/aips/AIP-21.md - `patches/aip21-finalitate-nm.py` cited in: aere-research/aips/AIP-21.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 - `proof-aggregator.json` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md - `proof.rs` cited in: aere-research/pq-stark/spec-fri-babybear.md - `prover.rs` cited in: aere-research/pq-stark/spec-fri-babybear.md - `QUORUM-DESIGN.md` cited in: aere-research/results/PROVEN-RESULTS-2026-07-11.md - `record-aggregation-scale.js` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md - `recursive-aggregation-scale/agg-program/src/main.rs` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md - `rollup-evm-validity/host/Cargo.toml` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `rollup-evm-validity/NOTE.md` cited in: aere-research/research/specs/spec-full-evm-validity.md, aere-research/results/PROVEN-RESULTS-2026-07-11.md - `rollup-evm-validity/rsp-patches/io.rs` cited in: aere-research/research/specs/spec-full-evm-validity.md - `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 - `scripts/deschise/pragul-ancorei-e-cvorumul-setului.sh` cited in: aere-research/aips/AIP-22.md - `SealSchemeBench.java` cited in: aere-research/aips/AIP-22.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 - `sphincs-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `sponge.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `src/main.rs` cited in: aere-research/research/specs/spec-parallel-execution.md - `src/mmcs.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `strategie/agregare-pq/CIFRE-MASURATE.md` cited in: aere-research/aips/AIP-22.md - `strategie/agregare-pq/DOVADA-FRI-MASURATA-2026-08-24.md` cited in: aere-research/aips/AIP-22.md - `STUDIU-2026-08-24.md` cited in: aere-research/aips/AIP-22.md - `test/vectors.c` cited in: aere-research/research/pqc-onchain-verification.md - `testnet-public/84-comuta-toate-f2.sh` cited in: aere-research/aips/AIP-21.md - `testnet-public/88-aip21-nm-binar-nou.sh` cited in: aere-research/aips/AIP-21.md - `tests/fib_air.rs` cited in: aere-research/pq-stark/README.md - `tests/mul_air.rs` cited in: aere-research/pq-stark/README.md - `TLC-RUN-REPORT.md` cited in: aere-research/formal-consensus/RULEAZA-TOT.md - `tools/pqtx/pqtx.mjs` cited in: aere-research/aips/AIP-20.md - `ULTIMA.txt` cited in: aere-research/aips/AIP-20.md, aere-research/aips/AIP-21.md - `VALIDITY-ROLLUP-SEQUENCER-PLAN.md` cited in: aere-research/results/PROVEN-RESULTS-2026-07-11.md - `vectors/sp1_shrink_valid_01.bin` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `verifier.rs` cited in: aere-research/pq-stark/README.md, aere-research/pq-stark/spec-fri-babybear.md - `xmss-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `zk-circuits/recursive-aggregation/over18-program/src/main.rs` cited in: aere-research/research/specs/spec-identity-compliance.md