Debugging And Replay Reference

Deterministic debugging surface for Mist and intent execution.

Canonical Debug Artifacts

Artifact	Retrieval	Use
Receipt	`GET /v1/mist/receipts/:id`	execution outcome + fee
PVI graph	`GET /v1/mist/pvi/:id`	value-flow and invariant path
Replay input	`GET /v1/mist/replay_inputs/:id`	deterministic re-execution payload
Event stream	`GET /v1/events/query`, `/events/stream`	temporal context

Fast Triage Flow

# 1) receipt
mistc receipt RECEIPT_ID --rpc https://rpc.rivellum.network

# 2) replay input
curl https://rpc.rivellum.network/v1/mist/replay_inputs/RECEIPT_ID

# 3) deterministic replay
mistc replay RECEIPT_ID --rpc https://rpc.rivellum.network

Error Buckets

Bucket	Typical Signal	Primary Action
Admission rejection	submit returns reason code	validate nonce/fee/policy envelope
Contract rejection	receipt status reject + reason	inspect args + guard conditions
Invariant violation	PVI/UVL failure marker	inspect value edges and conservation paths
Data race expectation mismatch	deterministic mismatch absent	fix app/indexer assumptions, not chain state

Event-Correlated Debug

curl "https://rpc.rivellum.network/v1/events/query?from_batch=1200&to_batch=1220&limit=500"

Use event window around failing receipt batch height to correlate:

causative calls
preceding state mutations
competing intents

Replay Discipline

Always replay with same receipt ID and chain context.
Never mutate replay input payloads for root-cause claims.
Persist receipt+pvi+replay_input triad in incident records.
Diff only contract source and call arguments between failing/passing receipts.

Operator Script Snippets

# fetch receipt list
curl https://rpc.rivellum.network/v1/mist/receipts

# fetch one receipt json
curl https://rpc.rivellum.network/v1/mist/receipts/RECEIPT_ID > receipt.json

# fetch pvi
curl https://rpc.rivellum.network/v1/mist/pvi/RECEIPT_ID > pvi.json

Related References

/docs/dev/contract-lifecycle
/docs/dev/mist-toolchain
/docs/dev/testing-playbook