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

Citations: the unresolved-citation disclosure regenerated (2026-09-02)

Browse Source
This commit is contained in:
Aere Network 2026-09-02 21:39:30 +03:00
parent 2bb2c134f0
commit 1d3fc3e54e
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
CITATIONS-UNRESOLVED.md
View File

@ -1,7 +1,7 @@
# Citations in this repository that you cannot open # Citations in this repository that you cannot open
This file is generated by the legaturi-repara.cjs script in the Aere working tree and 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. 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, A citation is a promise that a claim is checkable. Where the target is not published,
@ -13,15 +13,23 @@ 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 repositories, so they begin with a repository name, for example
`aere-contracts/contracts/pqc/AereCryptoRegistry.sol`. `aere-contracts/contracts/pqc/AereCryptoRegistry.sol`.
Unresolvable distinct paths in this repository: **10**. Unresolvable distinct paths in this repository: **18**.
- `aere-client2/src/Nethermind/Nethermind.Core/AereFloorLapse.cs` cited in: aere-node/SPEC.md
- `ARMAREA-IMPUNERII-MESAJELOR-2026-09-02.md` cited in: aere-node/SPEC.md
- `armeaza-impunerea-pe-flota.sh` cited in: aere-node/SPEC.md
- `CE-DEVINE-INVALID-LA-ANCORA-2026-08-07.md` cited in: aere-node/SPEC.md - `CE-DEVINE-INVALID-LA-ANCORA-2026-08-07.md` cited in: aere-node/SPEC.md
- `CHANGELOG.md` cited in: aere-node/README.md - `CHANGELOG.md` cited in: aere-node/README.md
- `consensus-pqc/CE-DEVINE-INVALID-LA-ANCORA-2026-08-07.md` cited in: aere-node/SPEC.md - `consensus-pqc/CE-DEVINE-INVALID-LA-ANCORA-2026-08-07.md` cited in: aere-node/SPEC.md
- `deploy/validators/d311-2026-09-02/SURSA.md` cited in: aere-node/SPEC.md
- `F-lib.sh` cited in: aere-node/SPEC.md
- `LondonFeeMarket.java` cited in: aere-node/RUN-A-NODE.md - `LondonFeeMarket.java` cited in: aere-node/RUN-A-NODE.md
- `MainnetProtocolSpecs.java` cited in: aere-node/RUN-A-NODE.md - `MainnetProtocolSpecs.java` cited in: aere-node/RUN-A-NODE.md
- `patches/0001..0005` cited in: aere-node/SPEC.md - `patches/0001..0005` cited in: aere-node/SPEC.md
- `platform/build.gradle` cited in: aere-node/anchor/README.md - `platform/build.gradle` cited in: aere-node/anchor/README.md
- `scripts/poarta-secrete.cjs` cited in: aere-node/vectors/SURSE.md
- `static-nodes.json` cited in: aere-node/README.md - `static-nodes.json` cited in: aere-node/README.md
- `strategie/VERIFICARE-FORMALA-2026-08-24.md` cited in: aere-node/SPEC.md - `strategie/VERIFICARE-FORMALA-2026-08-24.md` cited in: aere-node/SPEC.md
- `testnet-public/CITESTE-MA.md` cited in: aere-node/SPEC.md
- `testnet-public/D-311-DOVADA-2026-09-02.md` cited in: aere-node/SPEC.md
- `VERIFICARE-FORMALA-2026-08-24.md` cited in: aere-node/SPEC.md - `VERIFICARE-FORMALA-2026-08-24.md` cited in: aere-node/SPEC.md

2
SPEC.md
View File

@ -350,7 +350,7 @@ cannot reach "prepared"). Rehearsed end to end on the seven-node kit (F95: the f
one restart, a coordinated postponement, each height crossed, a muted node, a sub-quorum stop and one restart, a coordinated postponement, each height crossed, a muted node, a sub-quorum stop and
its healing) and, since 2026-09-02, WITH the anchor armed as on 2800 (source: its healing) and, since 2026-09-02, WITH the anchor armed as on 2800 (source:
`consensus-pqc/fullpq-activare-2026-08-28/`, `F-lib.sh`, `dovezi/`). The machine-checked model of `consensus-pqc/fullpq-activare-2026-08-28/`, `F-lib.sh`, `dovezi/`). The machine-checked model of
these rules is `formal-consensus/pq_message_enforcement_smt.py` (section 7). these rules is `aere-research/formal-consensus/pq_message_enforcement_smt.py` (section 7).
**What this section does not claim.** Node-to-node authentication (RLPx) is ECDSA. The hybrid **What this section does not claim.** Node-to-node authentication (RLPx) is ECDSA. The hybrid
(Falcon + SLH-DSA) certificate is implemented and tested but no hybrid keys exist on 2800. None of (Falcon + SLH-DSA) certificate is implemented and tested but no hybrid keys exist on 2800. None of