Sowiedu/Edict

v1.9.0 Breaking

This release includes 1 breaking change for platform teams planning a safe upgrade.

Published 2mo AI Agents & Assistants

View tool

✓ No known CVEs patched

Read the diff → Tool health → What is this tool? →

✓ No known CVEs patched in this version

Topics

ai ai-agents compiler effect-system formal-verification json-ast

+9 more

llm mcp model-context-protocol programming-language type-system typescript wasm webassembly z3

Summary

AI summary

ApprovalGate.description renamed to .reason.

Full changelog

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)

Breaking Changes

ApprovalGate.description field renamed to .reason

View diff on GitHub

Weekly OSS security release digest.

The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.

No spam, unsubscribe anytime.

Share this release

Share on X Share on Bluesky

Track Sowiedu/Edict

Get notified when new releases ship.

About Sowiedu/Edict

Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

All releases →