Alchemy PR: Prove/Explore check domain invariants with Z3 across 13,310 command sequences
samgoodwin89 · x · 2026-11-12
Draft PR #3260 in alchemy-run/alchemy adds invariant checking for Alchemy Domain: Prove verifies an aggregate's invariants across every state and command, while Explore runs every short sequence of commands through the model's APIs, following policies, sagas and schedules. Both read the source and let the Z3 SMT solver pick values — the Bank example explores 13,310 sequences / 15,014 states and surfaces a concrete breaking command combo without hand-written test values.
Related event: Alchemy experiments with Z3 to verify domain invariants(2 posts)→
More from coding & agent
- Meta open-sources Astryx, the design system behind 13,000+ internal apps — victor_explore · 2026-11-12
- 8 Parallel Agents Code an 83-Second Anime Short in Under 3 Hours — FinanceYF5 · 2026-11-12
- Fable 5.5 codes an 83-second animated short in under 3 hours, zero video models — FinanceYF5 · 2026-11-12
- Running bots as an expert team, author pivots to a scored "Checked Loop" workflow — JoeJustice · 2026-11-12
- Dev makes an AI agent CEO of a puzzle game company, shipping a new game daily — RichardsonDx · 2026-11-12
- Why AI agents forget: a primer on the memory layer missing from agent architecture — sharpeye_wnl · 2026-11-12