# Citations in this repository that you cannot open

This file is generated by the publication stager of this repository (scripts/legaturi-declaratie.cjs in the Aere working
tree) and enforced by legaturi.cjs. It is the complete list, measured on 2026-10-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, or names a file the reader creates
while using the tool, 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**.

- `attestation.json`  cited in: aere-proof-of-software/tools/proof-of-software/README.md
- `config.json`  cited in: aere-proof-of-software/tools/proof-of-software/README.md
- `gradle/verification-metadata.xml`  cited in: aere-proof-of-software/tools/proof-of-software/README.md