# adacovex 1.23.0

Date: _2026-08-24_

Version bumped 1.22.0 -> 1.23.0.

## Changes

### C1: Dashboard search indexes all tab content and restyled as button

The header search box now indexes **full text content across every tab**
(Overview, Proof, Tests, Compliance, Dependencies, Charts) instead of only
dependency names.  Search hits show a context snippet and a tab badge, and
clicking a hit navigates to the correct tab.  The search input is wrapped in
`.search-wrap` with a magnifying-glass icon and a clear button, styled to
match the existing `.theme-toggle` button family so it no longer reads as a
bare `<input>`.

### C2: Compliance status shows target level and percentage achieved

The Compliance tab now leads with a gauge that displays the **target level**
(e.g. `Target: DAL-C`) and the **achieved percentage** (weighted average of
HLR traceability, tests passing, and SPARK level met).  The SVG arc reflects
the actual percentage, and the breakdown (`HLR 85% / Tests 100% / SPARK 100%`)
is shown below the gauge.

### C3: Overview tab visualises tests with column chart

The Overview tab now includes a **test category column chart** alongside the
existing collation cards.  Each category is a vertical bar proportional to
its test count, with the raw number displayed below the label and colour-coded
by pass/fail status.

### C4: Charts tab adds polar ring and stacked bar for dependency scopes

The Charts tab now includes two new chart cards:
- **Dependencies by Scope** -- a polar ring (conic-gradient pie with CSS
  centre hole) coloured by base/dev/transitive/vendored, with a centre badge
  showing the total dependency count.
- **Scope Breakdown** -- a stacked horizontal bar with percentage labels and
  a legend showing raw counts per scope.

Both cards include raw numbers alongside the visual so the charts never feel
made up.

### C5: Dependency tree spacing, checkbox size, and icon scale fixed

The dependency tree nodes now have `margin: 8px 0` and `padding: 10px 14px`
for comfortable reading.  The scope-filter checkboxes are larger (`18x18px`
`.box`) for better touch targets, and the inline SVG scope pictograms are
scaled down to `10x10px` so they no longer dominate the label.

### C6: Footer simplified and credits moved to dedicated tab

The footer is now a single centred line:
`Generated by adacovex - Embed: ?theme=light|dark|system - Tabs: #proof/#deps - API: /api/metrics - /api/deps`

The third-party credits table moved from the footer into the **Credits** tab,
where it has room to breathe.

### C7: Docs gaps filled for non-API workflows

User-facing docs were expanded so common tasks no longer require reading the
API reference:
- `docs/installation.md` -- quick-start section
- `docs/dashboard.md` -- per-tab walkthrough and chart legend
- `docs/sbom.md` -- when and why to generate an SBOM, how to read it
- `docs/standards.md` -- DO-178C / ISO 26262 / IEC 62304 in plain language
- `docs/vcs.md` -- when differential modes are useful and setup tips
- `docs/ci-cd.md` -- practical GitHub Actions and GitLab CI examples

### C8: Cyclomatic complexity checker ported to Ada

The `covex complexity` subcommand now runs cyclomatic-complexity analysis
directly inside the adacovex binary (previously a standalone Python script).
The checker scans `src/*.ads` and `src/*.adb`, attributes decision points to
top-level subprograms, and enforces the same gates as `tools/check-complexity.py`
(max-file-loc, max-file-pct, max-fn-complexity, max-file-complexity).  Exit
code is 1 when any gate is violated.  `make complexity-check` now invokes
`./bin/adacovex complexity`.

### C9: Dependency detection expanded for more languages

`Discover_System_Dev_Deps` now scans source files for C/C++ (.c, .h, .cpp,
.hpp, .cc, .cxx), Ruby (.rb), C# (.cs), Java (.java), Rust (.rs), Go (.go),
JavaScript/TypeScript (.js, .mjs, .cjs, .ts, .mts, .cts), SCSS/CSS (.scss,
.css), and Ada (.ads, .adb).  Package-manifest detection covers package.json,
Cargo.toml/go.mod, requirements.txt/pyproject.toml, Gemfile, pom.xml,
build.gradle, *.csproj, and lockfiles.  The `System_Tools` table grew from 37
to 60 entries (npm, cargo, rustc, go, gcc, g++, clang, javac, mvn, gradle,
ruby, dotnet, tsc, sass, scss, rustup, cargo-hack, cargo-watch, ada, alire,
etc.).

### C10: Playwright e2e dashboard layout tests

A Playwright test suite was added under `tests/e2e/` (managed with `pnpm`).
It verifies dashboard header, all seven tabs, theme switching, search box
presence, footer content, and responsive layout.  Run with `make e2e`.

## Fixes

### H1: Long lines in adacovex-renderers-html.adb (style gate)

Lines exceeding the `-gnatyM120` limit were wrapped in the dependency-filter
checkbox markup and the test pass/fail donut row, restoring the style check.

## Test Suite

900 tests passing across 14 categories.

## Proof Results

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

## Traceability

No new HLRs.  Coverage:

   - `HLR-DASH` -- C1 full-text search, C2 compliance gauge, C3 test columns,
     C4 polar ring + stacked bar, C5 spacing/checkbox/icon fixes, C6 footer +
     credits tab;
   - `HLR-DOC` -- C7 docs gap filling across installation, dashboard, SBOM,
     standards, VCS, and CI/CD guides;
   - `HLR-COMPLEXITY` -- C8 Ada-native cyclomatic complexity checker;
   - `HLR-MANIFEST` -- C9 expanded language/ecosystem detection;
   - `HLR-SERVER` -- C10 Playwright e2e layout tests.

See `docs/dashboard.md`, `docs/sbom.md`, `docs/standards.md`, `docs/vcs.md`,
`docs/ci-cd.md`, `docs/installation.md`.