{"ok":true,"site":{"host":"state-trace.vercel.app","url":"https://state-trace.vercel.app/","type":"live","desc":"StateTrace reveals every human and WebMCP agent update, separates pending from committed state, and restores forms from automatic checkpoints.","tools":[{"name":"get_transaction_state","kind":"answer","impl":"imperative","description":"Read the current committed order revision, optimistic differences, locks, pending effects, failed effects, and verification summary shared with the user.","title":"Get transaction state","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{"includeRecentEvents":{"type":"boolean","description":"Include up to ten recent trace events in the result."}},"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"list_transaction_events","kind":"answer","impl":"imperative","description":"Inspect a bounded ordered section of the visible StateTrace event history when diagnosing a pending, failed, superseded, or committed transaction.","title":"List transaction events","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{"afterSequence":{"type":"integer","minimum":0,"description":"Return events after this sequence number."},"limit":{"type":"integer","minimum":1,"maximum":25,"description":"Maximum number of ordered events to return."},"transactionId":{"type":"string","description":"Return events for one transaction identifier."},"status":{"type":"string","enum":["created","optimistic","pending","committed","failed","superseded","cancelled"],"description":"Return events whose transaction currently has this status."}},"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"verify_transaction_state","kind":"answer","impl":"imperative","description":"Run deterministic StateTrace invariants and optional exact postconditions after an order workflow without changing application state.","title":"Verify transaction state","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{"expectedRevision":{"type":"integer","minimum":1,"description":"Committed revision expected after the workflow."},"expectedFields":{"type":"object","properties":{"customerEmail":{"type":"string"},"shippingAddress":{"type":"string"},"shippingMethod":{"type":"string","enum":["standard","express","pickup"]},"couponCode":{"type":"string"},"paymentName":{"type":"string"},"internalNote":{"type":"string"}},"additionalProperties":false,"description":"Optional committed field values to verify."},"transactionId":{"type":"string","description":"Optional transaction whose final status should be verified."},"expectedTransactionStatus":{"type":"string","enum":["committed","failed","superseded","cancelled","pending"],"description":"Expected status for transactionId."}},"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"stage_order_change","kind":"transact","impl":"imperative","description":"Stage one validated optimistic change to an observable checkout field at an observed revision and show it in the human-visible activity trace.","title":"Stage order change","annotations":{"readOnlyHint":false,"untrustedContentHint":false},"inputSchema":{"type":"object","properties":{"field":{"type":"string","enum":["customerEmail","shippingAddress","shippingMethod","couponCode","paymentName","internalNote"],"description":"One supported checkout field to change."},"value":{"type":"string","description":"New field value. Shipping method accepts standard, express, or pickup; coupon code may be empty."},"expectedRevision":{"type":"integer","minimum":1,"description":"Committed revision observed before staging this write."},"idempotencyKey":{"type":"string","description":"Unique key that prevents this logical write from committing twice."},"reason":{"type":"string","description":"Concise explanation shown in the human-visible trace."}},"required":["field","value","expectedRevision","idempotencyKey","reason"],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"retry_failed_transaction","kind":"act","impl":"imperative","description":"Retry one failed or superseded StateTrace transaction at the current observed revision while preserving newer human edits and field locks.","title":"Retry failed transaction","annotations":{"readOnlyHint":false,"untrustedContentHint":false},"inputSchema":{"type":"object","properties":{"transactionId":{"type":"string","description":"Failed or superseded transaction to retry."},"expectedRevision":{"type":"integer","minimum":1,"description":"Current committed revision observed before retrying."},"idempotencyKey":{"type":"string","description":"New unique idempotency key for this retry attempt."}},"required":["transactionId","expectedRevision","idempotencyKey"],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"save_regression_fixture","kind":"act","impl":"imperative","description":"Save the current visible trace as a local deterministic regression fixture after diagnosing or recovering a transaction failure.","title":"Save regression fixture","annotations":{"readOnlyHint":false,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{"name":{"type":"string","description":"Short fixture name."},"description":{"type":"string","description":"What failed and what the regression should preserve."},"expectedOutcome":{"type":"string","enum":["recovered","conflict_detected","write_failed"],"description":"Expected high-level result when the trace is replayed."}},"required":["name","description","expectedOutcome"],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"}],"category":"Developer Tools","favicon":"/favicons/state-trace.vercel.app.svg","apiSurface":"spec","toolCount":6}}