From 1d3fc3e54e1b387f70b2277306b7ce4eaccc5805 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Wed, 2 Sep 2026 21:39:30 +0300 Subject: [PATCH] Citations: the unresolved-citation disclosure regenerated (2026-09-02) --- CITATIONS-UNRESOLVED.md | 12 ++++++++++-- SPEC.md | 2 +- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md index 41efb92..55a20af 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,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 `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 - `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 +- `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 - `MainnetProtocolSpecs.java` cited in: aere-node/RUN-A-NODE.md - `patches/0001..0005` cited in: aere-node/SPEC.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 - `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 diff --git a/SPEC.md b/SPEC.md index 57f4e6f..7516f3a 100644 --- a/SPEC.md +++ b/SPEC.md @@ -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 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 -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 (Falcon + SLH-DSA) certificate is implemented and tested but no hybrid keys exist on 2800. None of