adacovex 1.26.0¶

Date: 2026-08-24

Version bumped 1.25.0 -> 1.26.0.

Changes¶

C1: perf-bench target wired to Makefile¶

tools/perf-bench.py is now exposed as make perf-bench, providing a dedicated perf/strace profiling target alongside the existing bench hyperfine target.

C2: SPARK_Mode Off restricted to documented exceptions¶

Verified that SPARK_Mode (Off) and SPARK_Mode => Off appear only in the three documented exception packages: adacovex-complexity (non-formal Ada.Containers), adacovex-types (Subprogram_Vectors container), and adacovex-cpus.Get_Temp_Directory (Ada.Environment_Variables).

C3: Dedicated credits file¶

Added docs/CREDITS.md as the dedicated acknowledgements file. It lists adacovex credits and points to docs/THIRD_PARTY_NOTICES.md for full third-party license details.

C4: Requirements table¶

Added docs/requirements.md with a table that categorises dependencies as Core, Development, or Good to have. Alire-managed dependencies are listed under their Alire crate names.

C5: Docs rewritten in ASD-STE100¶

User documentation now follows ASD-STE100 Simplified Technical English rules: short sentences, active voice, one instruction per sentence, consistent terminology, and no AI-slop hedging. See https://github.com/AminBlg/SimpleEnglish for the skill reference.

C6: SimpleEnglish skill reference in AGENTS.md¶

AGENTS.md now references the AminBlg/SimpleEnglish skill for technical writing guidance.

C7: British English in inline source comments¶

British English now also covers inline (non-docstring) source comments across the Ada sources. This completes the spelling pass: docstrings were already converted, and the remaining American spellings (analyse, colour, normalise, synthesise, licence, honour, centre, and friends) were updated to match the AGENTS.md technical-writing convention.

C8: Hardened ASCII and link checks; skills directory excluded¶

The ascii-check makefile target was rewritten to be less brittle: it now runs a single recursive grep with explicit include and exclude patterns instead of a nested find loop over extensions, and it no longer relies on tab escapes inside bracket expressions. The vendored skills/ directory is excluded from the ASCII check (its skill files legitimately carry non-ASCII punctuation such as em-dashes). The link checker now also skips skills/, so vendored third-party content is never gated by our repo checks.

Fixes¶

None.

Test Suite¶

968 tests passing across 14 categories.

Proof Results¶

Platinum, 722/722 VCs proved under gnatprove 16.1.0. 0 unproved, 0 justified.

Traceability¶

No new HLRs. Coverage:

HLR-ARCH – C1 perf-bench Makefile target, C2 SPARK_Mode Off audit, C3 credits file, C4 requirements table, C5/C6 ASD-STE100 docs and SimpleEnglish skill reference, C7 British English in inline source comments, C8 hardened ASCII/link checks with skills directory exclusion.

See docs/cli-reference.md, docs/ci-cd.md, docs/architecture.md.