Testing Reference

Deterministic test matrix for Rivellum dapps.

Test Layers

Layer	Target	Tooling
Contract static checks	syntax + safety	`mistc check`, `mistc lint`
Contract execution tests	business invariants	`mistc test`
Replay determinism	forensic reproducibility	`mistc replay`, replay inputs
API integration	submit/read correctness	curl + SDK integration tests
Indexer convergence	idempotent state rebuild	events/query + checkpoint replay

Contract CI Block

mistc check contracts/*.mist
mistc lint contracts/*.mist
mistc test contracts/*.mist

Replay Regression Block

mistc receipt RECEIPT_ID --rpc https://rpc.rivellum.network
mistc replay RECEIPT_ID --rpc https://rpc.rivellum.network
curl https://rpc.rivellum.network/v1/mist/replay_inputs/RECEIPT_ID

API Integration Block

curl -X POST https://rpc.rivellum.network/v1/submit \
  -H "Content-Type: application/json" \
  -d @intent.json

curl https://rpc.rivellum.network/v1/balance/0xADDRESS
curl "https://rpc.rivellum.network/v1/events/query?limit=100"

Determinism Assertions

same replay input => same terminal status
event reducer replay => same materialized state
fee envelope stable for fixed call shape
receipt and pvi always retrievable for sampled calls

Failure Taxonomy Assertions

Class	Assertion
admission reject	reason code emitted
contract reject	receipt status + reason emitted
policy reject	deterministic policy code emitted
infra failure	retry/recover path verified

Release Gate

all contract checks pass
replay regression set passes
API integration suite passes
indexer checkpoint restore passes
rollback rehearsal performed

Related References

/docs/dev/debugging-replay
/docs/dev/production-operations
/docs/ops/disaster-recovery