v1.6.0 — proof-preserving counterexample compiler

Compile a deterministic failure into an offline regression capsule with explicit proof status.

Counterexample compiler. hotato counterexample compile turns one failing deterministic scripted scenario into a private, runnable regression capsule and applies deletion-only reduction. It records the source-selected structured failure branch and accepts a deletion only when that branch is preserved. Verification replays the accepted chain and fails closed under tampering; for proof status one_minimal it also checks every remaining deletable unit — 1-minimal under hotato.reducers.v1 within the documented bounds. budget_exhausted carries preservation evidence without a minimality claim. One durable object connects the failure report, local reproduction, CI, git bisect (predicate exits 1 while the failure is present), issue sharing (share-safe exports are inspectable and intentionally non-runnable), and coding-agent workflows (CLI + MCP parity). The proof path runs offline: no model, no network, no subprocess.

Also in this release. A content-addressed transcription cache with verify-by-diff (--no-transcribe-cache re-runs fresh and surfaces drift beside the cached baseline), and Silero VAD running directly on onnxruntime — the MIT-licensed weights ship in the package and [neural] installs onnxruntime + numpy, with segmentation equivalence-tested against the reference implementation.

Full suite green; artifacts built twice with byte-identical wheels; independently audited and adversarially verified.