v0.12.0

What's Changed

New Features

• feat(lang): closure family, EXISTS, and a per-keyword cost model in SPEC by @m62624 in #49

Refactoring

• refactor: split lib.rs into focused modules by @m62624 in #51

Documentation

• docs: add AGENTS.md contracts for compiler, solver, and MCP by @m62624 in #52

Maintenance

• chore: stop tracking proptest regression-seed files by @m62624 in #53

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

---

elenchus-cli 0.12.0

Install elenchus-cli 0.12.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.12.0/elenchus-cli-installer.sh | sh

Install prebuilt binaries via powershell script

powershell -ExecutionPolicy Bypass -c "irm https://github.com/m62624/elenchus/releases/download/v0.12.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.12.0

File	Platform	Checksum
elenchus-cli-aarch64-apple-darwin.tar.xz	Apple Silicon macOS	checksum
elenchus-cli-x86_64-apple-darwin.tar.xz	Intel macOS	checksum
elenchus-cli-aarch64-pc-windows-msvc.zip	ARM64 Windows	checksum
elenchus-cli-aarch64-pc-windows-msvc.msi	ARM64 Windows	checksum
elenchus-cli-x86_64-pc-windows-msvc.zip	x64 Windows	checksum
elenchus-cli-x86_64-pc-windows-msvc.msi	x64 Windows	checksum
elenchus-cli-aarch64-unknown-linux-gnu.tar.xz	ARM64 Linux	checksum
elenchus-cli-x86_64-unknown-linux-gnu.tar.xz	x64 Linux	checksum

elenchus-mcp 0.12.0

Install elenchus-mcp 0.12.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.12.0/elenchus-mcp-installer.sh | sh

Install prebuilt binaries via powershell script

powershell -ExecutionPolicy Bypass -c "irm https://github.com/m62624/elenchus/releases/download/v0.12.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.12.0

File	Platform	Checksum
elenchus-mcp-aarch64-apple-darwin.tar.xz	Apple Silicon macOS	checksum
elenchus-mcp-x86_64-apple-darwin.tar.xz	Intel macOS	checksum
elenchus-mcp-aarch64-pc-windows-msvc.zip	ARM64 Windows	checksum
elenchus-mcp-aarch64-pc-windows-msvc.msi	ARM64 Windows	checksum
elenchus-mcp-x86_64-pc-windows-msvc.zip	x64 Windows	checksum
elenchus-mcp-x86_64-pc-windows-msvc.msi	x64 Windows	checksum
elenchus-mcp-aarch64-unknown-linux-gnu.tar.xz	ARM64 Linux	checksum
elenchus-mcp-x86_64-unknown-linux-gnu.tar.xz	x64 Linux	checksum