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.