diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md index a1b46dd..7765357 100644 --- a/CITATIONS-UNRESOLVED.md +++ b/CITATIONS-UNRESOLVED.md @@ -1,7 +1,7 @@ # 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-08-27, of every +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, @@ -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: **257**. +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 @@ -203,6 +203,7 @@ Unresolvable distinct paths in this repository: **257**. - `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 @@ -251,13 +252,16 @@ Unresolvable distinct paths in this repository: **257**. - `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