Add Quint tooling, modeling skills, and mutation cursor spec - #233

Merged

davidabram merged 16 commits into

mainfrom

Aug 26, 2026

Commits on Aug 24, 2026

language: Add Quint tooling, modeling skills, and mutation cursor spec
davidabram
and
shared-context-engineering
committed
9654056
spec: Model external taint and abandoned scope recovery
davidabram
and
shared-context-engineering
committed
a4627e4
spec: Add conservative rebaseline protocol tracking
davidabram
and
shared-context-engineering
committed
da3aacb

Commits on Aug 25, 2026

spec: Record abandon checkpoints and enforce rebaseline invariants
davidabram
and
shared-context-engineering
committed
e6bd47f
ci: verify Quint specs when changed
davidabram
committed
4ecb45f
language: Update Quint language server dependencies for tar 7
davidabram
and
shared-context-engineering
committed
334d274
CI+language: Split Quint safety verification into parallel invariant gates
davidabram
and
shared-context-engineering
committed
fc3befb
language: Pin adm-zip override to fix Quint language server DoS advisory
davidabram
and
shared-context-engineering
committed
10eb94b
CI: Add a result gate for Quint checks
davidabram
and
shared-context-engineering
committed
6fca731
language: Preserve durable state across external taint
davidabram
and
shared-context-engineering
committed
d2a2658
spec: Remove actor-based scope rollover
davidabram
and
shared-context-engineering
committed
71d2fcc
language: Implement durable recovery checkpoints for tainted worktrees
davidabram
and
shared-context-engineering
committed
b0dd785
spec: Strengthen mutation checkpoint evidence
davidabram
and
shared-context-engineering
committed
e73d0a9
spec: Refine mutation evidence invariants
davidabram
and
shared-context-engineering
committed
1985fb7
CI+spec: Add bounded Quint verification actions
davidabram
and
shared-context-engineering
committed
136f6e9

Commits on Aug 26, 2026

CI: Separate deep Quint verification from required checks
davidabram
and
shared-context-engineering
committed
7fd9331