This release adds 5 notable features for engineering teams evaluating rollout.
Published 2mo
AI Agents & Assistants
✓ No known CVEs patched
✓ 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
Affected surfaces
crypto_tls
Summary
AI summaryAdded crypto, date/time, Int64, regex, HTTP client, and IO builtins.
Full changelog
1.5.0 (2026-03-06)
Features
- add crypto hashing builtins — sha256, md5, hmac (#25) (ebaa61b)
- add date/time builtins (now, formatDate, parseDate, diffMs) (d7ee5c9)
- add Int64 type support (WASM i64 / JS BigInt) (2e5e757)
- add regex builtins (regexTest, regexMatch, regexReplace) (5db4c68)
- compact AST format — 25-60% token reduction for agents (6a78a97), closes #11
- document AST patch protocol as JSON Schema + fix all TSC errors (a079d41), closes #13
- implement array_find and array_sort HOF builtins (d951cef)
- implement HTTP client builtins (httpGet, httpPost, httpPut, httpDelete) (4e99383), closes #20
- implement IO builtins — readFile, writeFile, env, args, exit (#19) (7796bc1)
- implement JSON and Random builtins (#21, #23) (3033483)
- implement Result runtime support (0b6aaa2)
- lambda parameter type inference from call-site context (#29) (e8e61d8)
- let binding type inference — backfill inferred types onto AST (3ab738e)
- make FunctionDef.returnType optional with inference from body (#29) (084db6c)
Bug Fixes
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
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.
Related context
Beta — feedback welcome: [email protected]