diffgate v0.12.0

Verify declared code edits against tree-sitter structural differences and expose deterministic verdicts through CLI or MCP.

Full Changelog: v0.11.0...v0.12.0

diffgate v0.11.0

Structural verification gate for coding agents. v0.11.0: parse Go interface method signatures and Ruby qualified class methods (scope over-flag fixes); catch malformed single-file --claim-file actions and non-object bench rows as clean errors instead of tracebacks; bump version to 0.11.0.

Full Changelog: v0.10.0...v0.11.0

diffgate v0.10.0

DiffGate

Full Changelog: v0.9.0...v0.10.0

diffgate v0.9.0

DiffGate

Full Changelog: v0.8.0...v0.9.0

diffgate v0.8.0

DiffGate

Full Changelog: v0.7.0...v0.8.0

diffgate v0.7.0

DiffGate

Full Changelog: v0.6.0...v0.7.0

diffgate v0.6.0

diffgate

Full Changelog: v0.5.0...v0.6.0

diffgate v0.5.0

First public release.

Full Changelog: v0.4.0...v0.5.0

diffgate v0.4.0

Structured verification gate for AI agent edit loops — AST-level proof that edits actually landed

Full Changelog: v0.3.0...v0.4.0

diffgate v0.3.0

CLI/MCP parity, multi-file edits, three more languages, and three silent-lie fixes.

Added

• Structured --claim-file mode (and - for stdin): feed structured claimed_actions straight into the verifier for full CLI/MCP parity. See examples/claim_file_schema.json.
• Multi-file verify: a claim file may carry per-action before/after paths, so one run gates an edit spanning several files and aggregates every mismatch into a single verdict.
• Three new languages: Java, C++, and Ruby (grammars already shipped in tree-sitter-language-pack, no new dependency).

Fixed

• Bench no longer drops un-parseable/erroring trace rows from the headline catch-rate denominator — error rows are counted and attributed to their label.
• move of a duplicate-named symbol is no longer a false pass: a move now requires the symbol to genuinely leave one scope and land in a new one.
• TS/JS arrow / function-expression assignments (const handler = (req) => {}) are now emitted as symbols, so truthful edits to the dominant TS/JS idiom are no longer over-flagged.

Full Changelog: v0.2.0...v0.3.0