chore(release): 0.8.1

[eaitbrahim]

What & why

Version bump across all six distributions. Patch release: exactly one change since v0.8.0 — #330, the window-scoped gap-proven display. keel fetch was computing proven = row.gaps - unexplained from two counts over different windows (coverage's window-bounded read vs. the whole-series unexplained count), printing impossible negative suffixes like "158 internal gaps (-2 proven absent at venue)" for real series, and masking that those gaps were largely unproven. The fix makes both counts read the identical slice; --fail-on-gaps keeps its whole-series scope deliberately (the --repair-gaps remediation reads unbounded too).

Tests-first evidence

tests/test_packaging.py and tests/test_python_floor.py pin the invariants this bump touches; after the bump and uv lock: 2862 passed, 1 skipped; ruff clean; mypy clean.

Gates

• uv run ruff check keel tests packages — All checks passed!
• uv run mypy — Success: no issues found in 237 source files
• uv run pytest -q — 2862 passed, 1 skipped

Scope check

• Version numbers and uv.lock only; no code, rails, rules, or classifications touched.