Claim Fidelity v0.2.0 — protocol mechanics demonstration

Adds a fully inspectable, explicitly non-empirical verifier-optimization protocol unit: separated auditor-visible artifact and hidden adjudication witnesses; generated Lean type checks binding JSON labels to named witnesses; a configured typed structural linter with a declared vacuity blind spot; schema-valid exhaustive certificates; exact prefix-mean selection contrasts; and a selection-blind, citation-bounded auditor interface. The full nine-check gate passes locally, from a clean clone, and in hosted CI. This release does not report a model-behavior pilot, prevalence estimate, auditor result, or cross-domain transfer.

Claim Fidelity v0.1.0

First public research artifact release.\n\n- 32-file Lean 4 library with 99 unique theorem declarations\n- runnable claim-gap demonstration: machine-valid does not imply claim-licensed\n- compiler-record schemas, positive cases, and refusal fixtures\n- cross-platform 8-check verification gate\n- clean GitHub-hosted compiled-environment verification\n\nStart with the 60-second demo in examples/CLAIM_GAP_DEMO.md.