Add Quint Connect - #239

Open

davidabram wants to merge 9 commits into

mutation-cursorfrom

Commits on Sep 13, 2026

mutation-trace: Add Quint Connect refinement plan

davidabram
and
shared-context-engineering
committed
79aa258
cli: Add quint-connect for model-based testing

davidabram
and
shared-context-engineering
committed
fd6e661
spec: Add operation-specific MBT action instrumentation

davidabram
and
shared-context-engineering
committed
0409903
spec: Document Connect-visible prepare boundary selection

davidabram
and
shared-context-engineering
committed
5f61dbb
mutation-trace: Add Quint Connect model-based test driver

davidabram
and
shared-context-engineering
committed
ec860b8
tests: Add mutation cursor Quint Connect replays

davidabram
and
shared-context-engineering
committed
420cda7
mutation-trace+CI: Harden Quint MBT coverage and state decoding

davidabram
and
shared-context-engineering
committed
1a1ec87
CI: Allow Nix builds to fall back to alternate stores

davidabram
and
shared-context-engineering
committed
45d6dad
tests: Reformat mutation trace test attribute
davidabram
committed
2227ad2