Required cancellation conditions are satisfied

Business outcomeVerified

Expected

Order canceled, payment refunded, shipment stopped

Actual

Order canceled · $78.00 refunded · shipment canceled

Approved cancellation is fully executed · business records read Oct 30, 2026, 14:38 UTCDue Oct 30, 2026, 14:40 UTC (business clock)

Evidence limits: This verdict uses the retained business records. It does not establish how the agent executed the request.

ExpectedCaptured contract v1 · due 2 min after resolution

Original agent message

The agent wrote, Oct 30, 2026, 14:38 UTC

Your order ord_mvv2nft95pilj92e has been cancelled and refunded in full. Any pending shipment has been stopped.

Predicate results · 3 satisfied, 0 violated, 0 unknown, 0 not applicable

Satisfied checks · 3

The order named in the ticket is canceledOrder status: canceled · must equal canceled

Succeeded refunds equal the original chargeSucceeded refunds on the named payment: $78.00 · must equal $78.00 (payment amount)

Any pending shipment for the order is canceledShipment status: canceled · must equal canceled

When a support agent approves an order cancellation and resolves the ticket, the corresponding order must be canceled, the correct payment refunded, and any pending fulfillment canceled within two minutes.

ObservedSystems of record, read-only · retrieved Oct 30, 2026, 14:38 UTC

Tickettkt_mvv2nfui5s1rvec8

Status: Resolved
Agent approved: yes
Resolved at: Oct 30, 2026, 14:38 UTC
Order quoted: ord_mvv2nft95pilj92e
Source: Support

Orderord_mvv2nft95pilj92e

Status: Canceled
Updated: Oct 30, 2026, 14:38 UTC
Total: $78.00
Source: Orders

Payment and refundsch_mvv2nfth5qzb10sy

Payment: $78.00 Refunded
Refunds: Succeededre_mvv2nfxn5te2tait$78.00
Refunded: $78.00 of $78.00
Source: Payments

Shipmentshp_mvv2nfu35r36yxjd

Status: Canceled
Dispatch: Oct 30, 2026, 17:08 UTC
Updated: Oct 30, 2026, 14:38 UTC
Source: Fulfillment

Workflow and authorization

Immutable record

Workflow: Approved cancellation is fully executed
Contract version used: v1approved Oct 30, 2026, 14:32 UTCOpen current configuration
Source of intent: Customer request in helpdesk ticket tkt_mvv2nfui5s1rvec8 (cancellation)
Authorization: Agent approved the request · required by the captured contract trigger
Trigger: A cancellation ticket becomes resolved after agent approval
Obligation: 3 applicable conditions must hold within 2 min of resolution; due Oct 30, 2026, 14:40 UTC
Instance created by: connector event · ticket.resolved via webhook (processed)
Checks run: 1

Correlated identifiers

Only explicit references are used

Ticket: tkt_mvv2nfui5s1rvec8
Order quoted in the ticket: ord_mvv2nft95pilj92e
Order resolved: ord_mvv2nft95pilj92e · Orders
Payment: ch_mvv2nfth5qzb10sy · Payments
Refunds on that payment: re_mvv2nfxn5te2tait
Shipment: shp_mvv2nfu35r36yxjd · Fulfillment
Customer: cus_mvv2nfsv5oywbew2
Other orders, same customer: none
Correlation rule: The order comes only from the ticket's order reference. When it is missing or unknown the verdict is indeterminate, never a guess by email or recency.

Missing or ambiguous evidence

0

Nothing was missing: every identifier resolved and every applicable condition could be read from Orders, Stripe, Fulfillment.

Stored for this verdict: the business snapshot, predicate results and captured contract v1. No application logs, traces, runtime metrics or agent execution history were read or kept.

Contract as evaluated v13 conditions · deadline 2 min

This is the version the verdict was computed under. Editing the contract creates a new version and does not change this record.

{
  "trigger": {
    "object": "ticket",
    "categories": [
      "cancellation"
    ],
    "status": "resolved",
    "requiresAgentApproval": true
  },
  "identifiers": {
    "order": {
      "source": "ticket.orderRef",
      "required": true
    }
  },
  "conditions": [
    {
      "path": "order.status",
      "op": "eq",
      "value": "canceled",
      "id": "order_canceled",
      "description": "The order named in the ticket is canceled",
      "applicableWhen": []
    },
    {
      "path": "refunds.succeededMinor",
      "op": "eq",
      "ref": "charge.amountMinor",
      "id": "payment_refunded",
      "description": "Succeeded refunds equal the original charge",
      "applicableWhen": [
        {
          "path": "charge.exists",
          "op": "eq",
          "value": true
        }
      ]
    },
    {
      "path": "shipment.status",
      "op": "eq",
      "value": "canceled",
      "id": "fulfillment_canceled",
      "description": "Any pending shipment for the order is canceled",
      "applicableWhen": [
        {
          "path": "shipment.exists",
          "op": "eq",
          "value": true
        },
        {
          "path": "shipment.status",
          "op": "neq",
          "value": "delivered"
        }
      ]
    }
  ],
  "deadlineSeconds": 120,
  "instance": {
    "eventTypes": [
      "ticket.resolved"
    ],
    "initialRetrySeconds": 30,
    "maxRetrySeconds": 600,
    "maxAgeSeconds": 86400
  }
}

Timeline

UTC · clock domain labelled on every event

Ticket createdbusiness / scenarioDemo time · Oct 30, 14:38 UTC
Ticket resolvedbusiness / scenarioDemo time · Oct 30, 14:38 UTCthe clock for the deadline starts here
Event received (webhook)wall-clock ingestionOct 30, 2026, 14:32 UTC · 2 h agoticket.resolved · evt_mvv2ng115u8d7rre
Event processedwall-clock ingestionOct 30, 2026, 14:32 UTC · 2 h agoprocessed
Instance createdwall-clock ingestionOct 30, 2026, 14:32 UTC · 2 h agoby connector event
Records retrievedbusiness / scenarioDemo time · Oct 30, 14:38 UTCSnapshot labelled by the source/simulation clock, not wall-clock ingestion
Evaluatedbusiness / scenarioDemo time · Oct 30, 14:38 UTCcheck 1 of this instance
Deadlinebusiness / scenarioDemo time · Oct 30, 14:40 UTC2 min after resolution
Final verdict reachedwall-clock ingestionOct 30, 2026, 14:32 UTC · 2 h ago

Record identifiers and retention

Execution out_mvv2ng4c5wgyjahs · ticket tkt_mvv2nfui5s1rvec8 · 1 recorded checks.

Stored for this verdict: the business snapshot, predicate results and captured contract v1.

Simulated time · 6 min ahead

Business records and deadlines use scenario time. Ingestion, reviews, and investigation execution use wall time. Timeline events label their clock; both are shown in UTC. Demos advance business time instead of waiting.