FORGE
KIT
What We Build
How We Build
Work
Research
About
What's held together with duct tape?
Build Log
Fix 2 stale Alloy test invariants (Test Infrastructure) — executed concurrently with another session, superseded before commit
2026-08-24