adacovex API Reference¶
How to read this reference¶
This reference documents the Ada packages that implement adacovex.
It is generated from the source docstrings by make doc.
End users need the CLI reference, the dashboard guide, and the standards pages. The CLI reference describes every flag. The standards guide explains the compliance levels.
Contributors use this reference together with the contributing guide and the architecture notes. The docstring spec defines the annotation format.
Maintainers read the proof ledger for the verified-VC history and the changelogs for the release history.
Technical terms follow the controlled dictionary in STE100 Technical Names. All documentation, including these pages, uses British English and ASD-STE100 Simplified Technical English. A word not in the dictionary means the sentence is not yet STE100-clean.