adacovex 0.1.0

Date: 2026-07-26

Version bumped 0.0.0 -> 0.1.0.

Changes

C1: Source scanner

Walks .ads files and extracts subprogram declarations, docstring tags (@param, @return, @field, @formal), and HLR tags.

C2: GNATprove parser

Reads gnatprove.out summary tables per check category.

C3: Test-result parser

Reads AUnit Markdown test results and raw stdout.

C4: DO-178C parser

Reads HLR.md and LLR.md requirements documents.

C5: DAL compliance assessment

Evaluates HLR trace, orphan tags, test status, and minimum SPARK proof level.

C6: ANSI terminal renderer

Color-coded terminal report.

C7: SVG badge renderer

SPARK level, test status, and DO-178C status badges.

C8: Markdown report renderer

VERIFICATION.md + TRACE.md reports.

C9: HTML dashboard with JSON API

Web dashboard with embedded CSS and a JSON API endpoint.

C10: HTTP/1.1 server

Built on GNAT.Sockets.

C11: CLI argument parser

Supports --key=value and --key value forms.

C12: Self-compliance documentation

HLR.md, LLR.md, and TRACE.md documenting the project itself.

C13: Zero-dependency design

Only the GNAT runtime required, with compile-time bounded storage and no heap allocation.

C14: Makefile targets

build / alr build, prove / alr gnatprove, fmt (gnatpp), lint, api-docs (gnatdoc), a git-log based changelog, and run-self / run-self-serve / run-self-badges.

Test Suite

No native test suite at this release; the zero-dependency test framework (src/tests/) shipped with 1.0.0 (152 tests across 7 categories).

Proof Results

No proof campaign was recorded for this release; the first recorded SPARK metrics are in 1.0.0 (Platinum, 28/28 VCs proved, AoRTE-free).

Traceability

Introduced docs/HLR.md, docs/LLR.md, and docs/TRACE.md self-compliance documentation. Tags tracked at this release (from docs/HLR.md): HLR-SCAN, HLR-PROOF, HLR-TEST, HLR-COMPLIANCE, HLR-RENDER-ANSI, HLR-RENDER-SVG, HLR-RENDER-MD, HLR-RENDER-HTML, HLR-SERVER, HLR-CLI, HLR-METRICS, HLR-ARCH.