From 59e3ef1eeab7a4951c1bf4df4d025c632a07a9a3 Mon Sep 17 00:00:00 2001 From: Liviu Date: Sat, 12 Sep 2026 09:51:43 +0300 Subject: [PATCH] Citations: the unresolved-citation disclosure regenerated against the full published family (nine repositories, not four) --- CITATIONS-UNRESOLVED.md | 21 +++++++++++++++------ 1 file changed, 15 insertions(+), 6 deletions(-) diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md index 19bf1a3..636667d 100644 --- a/CITATIONS-UNRESOLVED.md +++ b/CITATIONS-UNRESOLVED.md @@ -1,11 +1,20 @@ # Citations in this repository that you cannot open -Same rule as the other Aere repositories: a citation is a promise that a claim is -checkable, and where the target is not published the claim is traceable but **not -independently verifiable by you**. Nothing was deleted to produce this list. +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-12, 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: **3**. -- `aerenew/scripts/deschise/flaguri-verify.cjs` cited in: pqc-migration-toolkit/VERIFY-POLICY.md — the gate that enforces the [VERIFY] rule lives in the internal working tree, not this public repo; its behaviour is described where it is cited. -- `KNOWN-ISSUES.md` cited in: pqc-migration-toolkit/VERIFY-POLICY.md — an internal working-tree file, not published. -- `bootnodes.txt` cited in: pqc-migration-toolkit/VERIFY-POLICY.md — bootnode enodes are published in the aere-node repository's RUN-A-NODE.md, not here. +- `aerenew/scripts/deschise/flaguri-verify.cjs` cited in: pqc-migration-toolkit/VERIFY-POLICY.md +- `bootnodes.txt` cited in: pqc-migration-toolkit/VERIFY-POLICY.md +- `KNOWN-ISSUES.md` cited in: pqc-migration-toolkit/VERIFY-POLICY.md