v0.3.0

v0.3.0 — literal_match, scope-refresh, export-contract

New obligation kind literal_match (anti-approximation-drift shortcut over
grep -F). New prove scope-refresh line + remaining_open JSON field.
New export-contract subcommand emitting a subagent-ready delegation
briefing for Claude Code Task/Agent prompts. SKILL.md shortened to 121
lines and rewritten as BEFORE/MUST imperatives per context-engineering
research. All non-breaking — existing CLI, JSON envelope, ledger format,
hook mode, and exit codes unchanged.

v0.2.0

fix: close 5 critical issues from triple-reviewer audit (v0.2.0)

Three independent reviewers (Claude Opus, Codex GPT-5.4, GPT-5.4 Pro)
audited ritalin and converged on 5 priority fixes:

1. Workspace hash: use git ls-files (respects .gitignore), anchor to
   project root not cwd. Fixes prove-from-subdir / gate-from-root
   hash mismatch and build-artifact invalidation.

2. --cmd bypass: proof_hash now hashes the actually executed command,
   not the stored obligation proof. Override evidence records but
   won't discharge the original obligation.

3. --force clears: init --force and seed --force now delete old
   obligations.jsonl and evidence.jsonl, preventing duplicate IDs
   and stale state.

4. Marker restore: adding a critical obligation after gate passed
   now recreates .task-incomplete, making the contract re-enforceable.

5. Advisory warnings: gate now collects undischarged advisory
   obligations and emits WARN output instead of silently skipping.

6 new integration tests covering all fixes. 79 tests total, all pass.

v0.1.1

v0.1.1 — rustls fix for cross-compile

v0.1.0

v0.1.0 — initial release