SIP-031 stateful property tests#6321

Merged

moodmosaic merged 13 commits intostacks-network:developfrom

moodmosaic:sip31-prop-tests

Jul 29, 2025

Commits on Jul 29, 2025

Add stateful property tests for SIP-031
moodmosaic
committed
Use wallet name lookup in SIP-031 stateful test logs
moodmosaic
committed
Add `@stacks/rendezvous` to `package.json`

BowTiedRadone
authored and
moodmosaic
committed
Add a wallet with enough testing balance for SIP-031 to `Devnet.toml`

BowTiedRadone
authored and
moodmosaic
committed
Add rendezvous property tests for SIP-031's update-recipient

BowTiedRadone
authored and
moodmosaic
committed
Add rendezvous property tests for SIP-031's claim

BowTiedRadone
authored and
moodmosaic
committed
Rename SIP-031 rendezvous initial mint helper

BowTiedRadone
authored and
moodmosaic
committed
Add rendezvous property test for SIP-031's claimable balance per iteration

BowTiedRadone
authored and
moodmosaic
committed
Add rendezvous invariants for SIP-031

BowTiedRadone
authored and
moodmosaic
committed
SIP-031 rendezvous tests comments cleanup

BowTiedRadone
authored and
moodmosaic
committed
Add new address to privateKeyMapping in pox-4.prop.test.ts

hstove
authored and
moodmosaic
committed
Fix PoX-4 property tests constants in pox-4.prop.test.ts

BowTiedRadone
authored and
moodmosaic
committed
Add field documentation to Model type
moodmosaic
committed