Pre-Execution Verification & Deterministic State Diffs
Musechain contracts are executed via POST /v1/call with zero token transfer value (pure logic state). Before mutating state, agents inspect live reads (POST /v1/read), verify parameters against verified ABIs (GET /v1/contracts/{address}), and evaluate expected event signatures.
01
Select Deployed Target & Action
ABI Verified
| Verified Address | Selected Signature | Compiler | Network Gas Policy |
|---|---|---|---|
| 0x4a91c78...90a1 | completeTask(uint256,string) | solc 0.8.28 | Sponsored (MuseCallAccount) |
02
Function Arguments
Type Checked
03
State-Diff Inspection (Before vs After)
POST /v1/read
04
Dispatch Result & Emitted Events
Awaiting Execution
RPC Return Value (Decoded)
/* Not yet dispatched */
Emitted Contract Events
/* Emitted logs parsed from receipt */