v1.9.0

1.9.0 (2026-03-11)

Features

• add approval gates — compile-time approval propagation (#70) (c578d34)
• add confidence-typed values (#69) (6821218)
• add edict_explain MCP tool (#7) (0f38862)
• add edict_generate_tests MCP tool (test-contract bridge, #73) (a7c57bd)
• agent contribution infrastructure — structured issue metadata, CI feedback, auto-labeling (#47) (107a414)
• blame: add blame tracking / error attribution (#63) (eb1cad1)
• execution replay — deterministic snapshot (#65) (48d3189)
• first-class tool call type — ToolDef, tool_call expression, compile-time validation (c11d7da)
• host function provenance annotation (#115) (1117f2c)
• implement capability tokens (issue #59) (5bb6e01)
• incremental checking — only re-verify changed definitions (#8) (c160774)
• intent declarations — structured 'what, not how' metadata (#62) (bef6ef5)
• lint: auto-decomposition suggestions with reach-pointer segmentation (#67) (e55789c)
• multi-module compilation and linking (#30) (163aed6)
• provenance / data lineage tracking (#60) (6e37c3c)
• semantic assertions — pre-built Z3 postcondition catalog (issue #66) (f8988df)
• versioned schema migration — auto-migrate ASTs from older schema versions (#64) (90b70f4)
• WASM interop v2 — shared memory for String/Array returns (#114) (9110667)
• WASM module interop — import external WASM functions (#38) (42a731f)

Bug Fixes

• rename ApprovalGate.description to .reason + update examples/README (0ab5231)