You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
AI-Native Contracts, Persistent Data & Multi-Backend ABI: Static and runtime (declare (eliscript ...)) verification, 7 persistent collections integrated with Emacs seq.el/map.el, cl-defstruct-persistent with JSON Schema roundtrip, 50,000-depth stack-safe recur, defmodule lexical privacy, structured concurrency (with-async-scope, async-channel, engine-bind/engine-revoke!), and :numeric-f64 / :memory-u32 WebAssembly & ARM64 Native execution.
Full Unit & Differential Oracle Verification: 270 ERT tests, 24 targeted 0.1.0 Bun suites, and a 52-program native Emacs vs. JavaScript Differential Oracle.