chore(release): cut v0.8.0

[v0ropaev]

What

Release cut for v0.8.0: CHANGELOG [Unreleased] → [0.8.0] - 2026-07-09 (+ compare links), pyproject/uv.lock 0.7.0 → 0.8.0, README status headline and DESIGN banner → v0.8.

Release contents (since v0.7.0)

• Events v2 — call-form registrations (feat(extract): extract call-form event.listen registrations (events v2) #33): module-level event.listen(Target, "event", fn) extracted as family sqlalchemy_listen, cross-module handler attach, new registration_site grounding role, three-file provenance gate case; events extractor v1→2
• Dogfooding quality fixes, verified live (fix(semantic): repo prompt, Laplace confidence, mine claim text #34): whole-repo overview now a true bird's-eye synthesis (own system prompt + per-span cap + larger completion budget, prompt_version=2); Laplace add-one confidence (< 1.0 by construction) with required llm_describe/llm_mine v1→2 bumps; kb mine claim texts are factual sentences; dynamic kb.__version__

Checks

Local: ruff clean, mypy --strict clean, pytest -q → 116 passed, 1 skipped (fifteen HARD gates), uv lock --check clean.

After merge: annotated tag v0.8.0 → GHCR publish → anonymous pull verify (incl. kb.__version__ == 0.8.0 inside the image) → GitHub Release.