Your Tuesday with veric on

mockThis is a UI mock of veric's planned IDE experience. The verifier substrate is real (ag-tower); LSP integration ships in Q3 2026. The refactor-suggestion agent illustrated here uses one pattern (CTE-split for union-arm partitioning); current engine produces suggestions for ~3 pattern families, full coverage targets Q4 2026. Abstract-domain switching is illustrative; the engine currently runs interval + a tag-domain in production. Octagon and predicate domains target Q4 2026; polyhedral and separation-logic Q1 2027.Multi-agent orchestration is illustrative. Production veric ships a single agent loop today. The pattern gallery shows 8 patterns with hand-authored fixtures; the engine currently generates patterns 1–3 (CTE-split, extract-invariant, predicate-discovery) end-to-end on dbt and SQL targets. Patterns 4–8 target Q1 2027.