Experiment: Quint de-risk spike for the Conway phase-1 UTXO slice (phase 0b) - #794

Open

scarmuega wants to merge 3 commits into

mainfrom

experiment/quint-derisk-conway-utxo

Commits on Aug 21, 2026

chore(experimental): add Quint de-risk spike for the Conway phase-1 UTXO slice

scarmuega
and
claude
committed
1c08ed5
chore(experimental): drop bare section-label comments from the Quint spec

scarmuega
and
claude
committed
7ac1a13
chore(experimental): track the spike's Cargo.lock and document --locked

scarmuega
and
claude
committed
446e8df