Unspaghettit

v0.4.0 Feature

This release adds 3 notable features for engineering teams evaluating rollout.

Published 1mo Developer Productivity

✓ No known CVEs patched

✓ No known CVEs patched in this version

Summary

AI summary

Verified coverage and bounded model checking added to prove code matches the spec.

Full changelog

The verification release. Unspaghettit moves from describing behavior to proving it.

Verified coverage - prove the code matches the spec, and gate on it (unspa coverage ingest, unspa check --min-verified).
Bounded model checking + liveness/reachability goals - prove "good is reachable", not just "bad never happens".
Project-level (cross-feature) invariants and cross-feature event coherence.
Spec→code drift (get_drift) and a headless unspa check gate + unspa ci scaffold.
Dashboard Verify view with navigable counterexample traces; reachability-goals editor.
Global search across the whole model (⌘K / Ctrl+K).

Wider MCP-tool test coverage and an ESLint + Prettier lint gate in CI/prepublish.

Full notes: see CHANGELOG.md.

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

Track Unspaghettit

Get notified when new releases ship.

About Unspaghettit