v0.8.0 — lossless context rollover

Lossless context rollover

Every agent harness handles a full context window the same way: a model summarizes the transcript, the rest is dropped, and the docs warn that repeated compactions degrade accuracy. Reverify's loop can avoid that loss, because it already knows which part of the transcript is state — what the tools verified, observed, proved, and refuted. v0.8.0 writes exactly that to disk as it happens.

• Durable per-binary ledger (.reverify/ledger/<sha256>.json, REVERIFY_LEDGER_DIR): grounded results only, plus refutations as known false. Checkpointed after every round; content-keyed; atomic writes; corrupt files quarantined; unverified claim notes never stored.
• Resume anywhere: reverify reconstruct picks up from the ledger; a fresh context sees ESTABLISHED and KNOWN FALSE, so it neither re-derives facts nor re-proposes the same wrong prior. A claim already in the ledger scores zero (known).
• Bounded in context, unbounded on disk: --max-facts with proof-grade facts pinned; --prompt-budget trims the shown fact sheet deterministically (kernel32.dll: 43k chars fit a 20k budget). Scoring uses the full sheet.
• MCP: re_verify_claim records automatically; new re_ledger tool restores state after the host's /clear or compaction; server instructions; reverify://ledger/<sha> resources; protocol fixes (notifications, ping, real version).
• Claude Code hook: reverify ledger --hook prints a SessionStart (compact|clear|resume) hook that injects one index line per binary — the hand-off costs a few dozen tokens; facts are pulled on demand.
• 20 new tests, 196 total.

pip install -U reverify