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

Citations ledger refreshed: every unresolvable cited path declared, stale entries pruned (generated by legaturi-repara)

Browse Source
This commit is contained in:
Aere Network 2026-08-28 00:46:10 +03:00
parent 53f1b81117
commit dfa2eeb5df
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
AERE-FAULT-INJECTION-HARNESS.md
View File

@ -12,8 +12,8 @@ post-quantum consensus. That flip stays founder-gated and audit-gated.
## Part 1: `AereRecoveryRegistry.sol` (REAL, BUILT + TESTED)
- Contract: `aerenew/contracts/contracts/AereRecoveryRegistry.sol` (solc 0.8.23, repo style).
- Test: `aerenew/contracts/test/AereRecoveryRegistry.test.js`.
- Contract: `aere-contracts/contracts/AereRecoveryRegistry.sol` (solc 0.8.23, repo style).
- Test: `aere-contracts/test/AereRecoveryRegistry.test.js`.
Records recovery events (validator-set drop below quorum -> halt -> subsequent resume), each
authenticated by a Falcon-512 signature verified on-chain by the LIVE precompile 0x0AE1.
@ -113,8 +113,8 @@ decision; the suite does not pull the trigger.
independence, until third-party watchtowers run.
## Files
- aerenew/contracts/contracts/AereRecoveryRegistry.sol
- aerenew/contracts/test/AereRecoveryRegistry.test.js
- aere-contracts/contracts/AereRecoveryRegistry.sol
- aere-contracts/test/AereRecoveryRegistry.test.js
- aerenew/chaos/matrix.json
- aerenew/chaos/run-chaos-matrix.sh
- aerenew/chaos/lib/partition.sh

6
CITATIONS-UNRESOLVED.md
View File

@ -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-11, of every
enforced by legaturi.cjs. It is the complete list, measured on 2026-08-27, 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: **259**.
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
@ -135,6 +135,7 @@ Unresolvable distinct paths in this repository: **259**.
- `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
@ -189,6 +190,7 @@ Unresolvable distinct paths in this repository: **259**.
- `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