state-trace.vercel.app

{
  "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.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "includeRecentEvents": {
        "type": "boolean",
        "description": "Include up to ten recent trace events in the result."
      }
    },
    "additionalProperties": false
  }
}

{
  "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.",
  "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
  }
}

{
  "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.",
  "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
  }
}

{
  "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.",
  "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
  }
}

{
  "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.",
  "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
  }
}

{
  "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.",
  "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
  }
}