v0.10.0 — opt-in weak-binding gate
A pre-release adding an opt-in, seal-time review gate plus Claude Code onboarding. No change to default behavior, trust/claim state, the sidecar schema, fold policy, checker grammar, dependencies, or the GitHub Action.
New: --binding-gate off | warn | fail
On dorian verify and dorian seal (default off):
warn— seal, then print weak-binding diagnostics (exit 0).fail— refuse the seal before writing any sidecar (atomic no-write, exit 4) when a claim carries a high-risk weak-binding flag:unbacked,short-literal,ambiguous-mention,trigger-only-symbol,unwatched-mention.single-fileis warn-only — the expected shape of an honest one-checker C3path:/symbol:/regex:claim.
Weak binding is a false-confidence smell: the gate never marks a claim false and never touches trust or claim state. dorian bindings stays a pure linter.
Also in this release
- Claude Code onboarding:
docs/USE_WITH_CLAUDE_CODE.md+ a runnableexamples/claude-code/pack. docs/PUBLIC_BENCHMARK_PROTOCOL.md(pre-registered, protocol-only) anddocs/TRUSTED_BASE_ACTION_DESIGN.md(design only, not implemented).docs/START_HERE.mdnavigation index.
CI green on Python 3.11 / 3.12 / 3.13. Not published to PyPI.
🤖 Generated with Claude Code