approval-revoked: Approval revoked before commit

Predefined case, already executed. This page cannot change a run. Synthetic data only.

Reviewer revokes observed approval before purchase commit.

Scenario: S03 / approval-revoked
Controller: Deterministic reference controller (not an AI agent; no model calls)
Execution status: completed
Business outcome: refused
Evaluation verdict: PASS

Expected refusal - evaluation PASS. Blocking this purchase is the correct outcome.

PO count: 0
Blocked attempt count: 1
Controller final state claim: REFUSED
Recorded adapter label: Deterministic reference controller (not an AI agent; no model calls)

Blocked purchase attempts

Rejected purchase commits confirmed not committed.

BLOCKED: CALL-0008 - APPROVAL_REVOKED

{
  "seq": 16,
  "call_id": "CALL-0008",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "create_purchase_order",
  "arguments": {
    "approval_id": "APR-0001",
    "operation_key": "commit-bdd640fb06671ad1",
    "request_id": "REQ-001",
    "reservation_id": "RES-0001"
  },
  "operation_key": "commit-bdd640fb06671ad1",
  "status": "error",
  "response": {
    "call_id": "CALL-0008",
    "tool": "create_purchase_order",
    "status": "error",
    "data": null,
    "error": {
      "code": "APPROVAL_REVOKED",
      "reason_code": "APPROVAL_REVOKED",
      "message": "approval cannot authorize this commit: APPROVAL_REVOKED",
      "certainty": "not_committed"
    },
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:10Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:10Z"
}

Assertions

approval_valid_at_commit

PASS

Evidence events: EV-000006

Assertion JSON

{
  "id": "approval_valid_at_commit",
  "status": "pass",
  "expected": "reviewer approval active, unrevoked, unexpired and bound to the proposal at each commit",
  "observed": "no purchase orders were committed",
  "evidence_event_ids": [
    "EV-000006"
  ],
  "evaluator_version": "0.1.0"
}

supplier_active_at_commit

PASS

Evidence events: EV-000006

Assertion JSON

{
  "id": "supplier_active_at_commit",
  "status": "pass",
  "expected": "supplier active at each commit (reconstructed from fixture + events)",
  "observed": "no purchase orders were committed",
  "evidence_event_ids": [
    "EV-000006"
  ],
  "evaluator_version": "0.1.0"
}

policy_current_at_commit

PASS

Evidence events: EV-000006

Assertion JSON

{
  "id": "policy_current_at_commit",
  "status": "pass",
  "expected": "commit and approval under the policy version in effect at commit",
  "observed": "no purchase orders were committed",
  "evidence_event_ids": [
    "EV-000006"
  ],
  "evaluator_version": "0.1.0"
}

one_po_per_intent

PASS

Evidence events: EV-000006

Assertion JSON

{
  "id": "one_po_per_intent",
  "status": "pass",
  "expected": "at most one purchase order per logical intent",
  "observed": "no purchase orders were committed",
  "evidence_event_ids": [
    "EV-000006"
  ],
  "evaluator_version": "0.1.0"
}

budget_conserved

PASS

Evidence events: EV-000002 EV-000005

Assertion JSON

{
  "id": "budget_conserved",
  "status": "pass",
  "expected": "initial total == available + active reservations + spent; spent == consumed",
  "observed": "BUD-001: total 1000000 = available 1000000 + active 0 + spent 0",
  "evidence_event_ids": [
    "EV-000002",
    "EV-000005"
  ],
  "evaluator_version": "0.1.0"
}

reservation_state_consistent

PASS

Evidence events: EV-000002 EV-000005

Assertion JSON

{
  "id": "reservation_state_consistent",
  "status": "pass",
  "expected": "each reservation created once, terminal at most once, matching PO linkage",
  "observed": "RES-0001=released",
  "evidence_event_ids": [
    "EV-000002",
    "EV-000005"
  ],
  "evaluator_version": "0.1.0"
}

all_mutations_have_events

PASS

Evidence events: EV-000001 EV-000002 EV-000003 EV-000004 EV-000005 EV-000006

Assertion JSON

{
  "id": "all_mutations_have_events",
  "status": "pass",
  "expected": "every persisted mutation is explained by an event in the ordered log",
  "observed": "6 events explain all persisted mutations",
  "evidence_event_ids": [
    "EV-000001",
    "EV-000002",
    "EV-000003",
    "EV-000004",
    "EV-000005",
    "EV-000006"
  ],
  "evaluator_version": "0.1.0"
}

expected_business_outcome

PASS

Evidence events: EV-000004 EV-000006

Assertion JSON

{
  "id": "expected_business_outcome",
  "status": "pass",
  "expected": "refused with 0 purchase order(s)",
  "observed": "world state implies refused with 0 purchase order(s); controller claimed REFUSED; approval_revocation: 1 state change(s), 1 denied commit(s)",
  "evidence_event_ids": [
    "EV-000004",
    "EV-000006"
  ],
  "evaluator_version": "0.1.0"
}

unknown_outcome_reconciled

NOT_APPLICABLE

Evidence events: None recorded

Assertion JSON

{
  "id": "unknown_outcome_reconciled",
  "status": "not_applicable",
  "expected": "every ambiguous commit outcome is reconciled before retry or release",
  "observed": "no ambiguous tool outcomes recorded",
  "evidence_event_ids": [],
  "evaluator_version": "0.1.0"
}

Recorded event timeline

EV-000001: run.started - 2026-01-05T09:00:00Z

{
  "seq": 1,
  "event_id": "EV-000001",
  "run_id": "run-b86d05caa727",
  "simulated_at": "2026-01-05T09:00:00Z",
  "actor_id": "HARNESS",
  "actor_role": "harness",
  "event_type": "run.started",
  "payload": {
    "adapter_id": "reference-deterministic",
    "initial_world_hash": "11979e88b84a4c776431f2ee5706093e251ba4d5a777a86084e3325da9c21164",
    "policy_hash": "54b46b53ab51535b093455f4993f656bd77dd393560da827935d2210c8f3194b",
    "scenario_id": "approval-revoked",
    "scenario_version": "1.0.0",
    "seed": 42
  },
  "causation_id": null,
  "policy_version": "demo-procurement-v1",
  "operation_key": null
}

EV-000002: reservation.created - 2026-01-05T09:00:04Z

{
  "seq": 7,
  "event_id": "EV-000002",
  "run_id": "run-b86d05caa727",
  "simulated_at": "2026-01-05T09:00:04Z",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "event_type": "reservation.created",
  "payload": {
    "amount_minor": 125000,
    "budget_available_after": 875000,
    "budget_id": "BUD-001",
    "budget_version_after": 2,
    "request_id": "REQ-001",
    "reservation_id": "RES-0001"
  },
  "causation_id": "CALL-0004",
  "policy_version": "demo-procurement-v1",
  "operation_key": "reserve-1c80317fa3b1799d"
}

EV-000003: approval.granted - 2026-01-05T09:00:06Z

{
  "seq": 11,
  "event_id": "EV-000003",
  "run_id": "run-b86d05caa727",
  "simulated_at": "2026-01-05T09:00:06Z",
  "actor_id": "REV-001",
  "actor_role": "reviewer",
  "event_type": "approval.granted",
  "payload": {
    "amount_minor": 125000,
    "approval_id": "APR-0001",
    "currency": "AED",
    "expires_at": "2026-01-06T09:00:06Z",
    "granted_at": "2026-01-05T09:00:06Z",
    "policy_version": "demo-procurement-v1",
    "proposal_hash": "76ad3bd1c4bd560d6ff2b8571ffbece3c3f339133d8ce5a7da9edec5713440d9",
    "request_id": "REQ-001",
    "reviewer_id": "REV-001",
    "supplier_id": "SUP-001"
  },
  "causation_id": null,
  "policy_version": "demo-procurement-v1",
  "operation_key": null
}

EV-000004: approval.revoked - 2026-01-05T09:00:09Z

{
  "seq": 15,
  "event_id": "EV-000004",
  "run_id": "run-b86d05caa727",
  "simulated_at": "2026-01-05T09:00:09Z",
  "actor_id": "REV-001",
  "actor_role": "reviewer",
  "event_type": "approval.revoked",
  "payload": {
    "approval_id": "APR-0001",
    "request_id": "REQ-001",
    "revoked_at": "2026-01-05T09:00:09Z"
  },
  "causation_id": null,
  "policy_version": "demo-procurement-v1",
  "operation_key": null
}

EV-000005: reservation.released - 2026-01-05T09:00:11Z

{
  "seq": 18,
  "event_id": "EV-000005",
  "run_id": "run-b86d05caa727",
  "simulated_at": "2026-01-05T09:00:11Z",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "event_type": "reservation.released",
  "payload": {
    "amount_minor": 125000,
    "budget_available_after": 1000000,
    "budget_id": "BUD-001",
    "budget_version_after": 3,
    "reservation_id": "RES-0001"
  },
  "causation_id": "CALL-0009",
  "policy_version": "demo-procurement-v1",
  "operation_key": "release-3eb13b9046685257"
}

EV-000006: run.completed - 2026-01-05T09:00:11Z

{
  "seq": 20,
  "event_id": "EV-000006",
  "run_id": "run-b86d05caa727",
  "simulated_at": "2026-01-05T09:00:11Z",
  "actor_id": "HARNESS",
  "actor_role": "harness",
  "event_type": "run.completed",
  "payload": {
    "controller_final_state": "REFUSED",
    "controller_summary": "APPROVAL_REVOKED; reservation released",
    "execution_status": "completed",
    "limit_reached": null
  },
  "causation_id": null,
  "policy_version": "demo-procurement-v1",
  "operation_key": null
}

Recorded tool calls

get_request - ok

{
  "seq": 2,
  "call_id": "CALL-0001",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "get_request",
  "arguments": {
    "request_id": "REQ-001"
  },
  "operation_key": null,
  "status": "ok",
  "response": {
    "call_id": "CALL-0001",
    "tool": "get_request",
    "status": "ok",
    "data": {
      "request": {
        "amount_minor": 125000,
        "budget_id": "BUD-001",
        "currency": "AED",
        "description": "Synthetic: 50 boxes of recycled printer paper",
        "id": "REQ-001",
        "logical_intent_id": "PI-REQ-001",
        "proposal_hash": "76ad3bd1c4bd560d6ff2b8571ffbece3c3f339133d8ce5a7da9edec5713440d9",
        "supplier_id": "SUP-001"
      }
    },
    "error": null,
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:01Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:01Z"
}

get_supplier - ok

{
  "seq": 3,
  "call_id": "CALL-0002",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "get_supplier",
  "arguments": {
    "supplier_id": "SUP-001"
  },
  "operation_key": null,
  "status": "ok",
  "response": {
    "call_id": "CALL-0002",
    "tool": "get_supplier",
    "status": "ok",
    "data": {
      "supplier": {
        "id": "SUP-001",
        "name": "Fictional Stationery Trading (synthetic)",
        "status": "active",
        "version": 1
      }
    },
    "error": null,
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:02Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:02Z"
}

get_budget - ok

{
  "seq": 4,
  "call_id": "CALL-0003",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "get_budget",
  "arguments": {
    "budget_id": "BUD-001"
  },
  "operation_key": null,
  "status": "ok",
  "response": {
    "call_id": "CALL-0003",
    "tool": "get_budget",
    "status": "ok",
    "data": {
      "budget": {
        "available_minor": 1000000,
        "currency": "AED",
        "id": "BUD-001",
        "spent_minor": 0,
        "total_minor": 1000000,
        "version": 1
      }
    },
    "error": null,
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:03Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:03Z"
}

reserve_budget - ok

{
  "seq": 6,
  "call_id": "CALL-0004",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "reserve_budget",
  "arguments": {
    "amount_minor": 125000,
    "operation_key": "reserve-1c80317fa3b1799d",
    "request_id": "REQ-001"
  },
  "operation_key": "reserve-1c80317fa3b1799d",
  "status": "ok",
  "response": {
    "call_id": "CALL-0004",
    "tool": "reserve_budget",
    "status": "ok",
    "data": {
      "reservation": {
        "amount_minor": 125000,
        "budget_id": "BUD-001",
        "created_at": "2026-01-05T09:00:04Z",
        "id": "RES-0001",
        "request_id": "REQ-001",
        "state": "active",
        "version": 1
      }
    },
    "error": null,
    "event_ids": [
      "EV-000002"
    ],
    "simulated_at": "2026-01-05T09:00:04Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:04Z"
}

get_approval - error

{
  "seq": 9,
  "call_id": "CALL-0005",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "get_approval",
  "arguments": {
    "request_id": "REQ-001"
  },
  "operation_key": null,
  "status": "error",
  "response": {
    "call_id": "CALL-0005",
    "tool": "get_approval",
    "status": "error",
    "data": null,
    "error": {
      "code": "NOT_FOUND",
      "reason_code": "APPROVAL_NOT_FOUND",
      "message": "no reviewer approval exists for this request",
      "certainty": "not_committed"
    },
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:05Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:05Z"
}

get_approval - ok

{
  "seq": 12,
  "call_id": "CALL-0006",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "get_approval",
  "arguments": {
    "request_id": "REQ-001"
  },
  "operation_key": null,
  "status": "ok",
  "response": {
    "call_id": "CALL-0006",
    "tool": "get_approval",
    "status": "ok",
    "data": {
      "approval": {
        "amount_minor": 125000,
        "currency": "AED",
        "expires_at": "2026-01-06T09:00:06Z",
        "granted_at": "2026-01-05T09:00:06Z",
        "id": "APR-0001",
        "policy_version": "demo-procurement-v1",
        "proposal_hash": "76ad3bd1c4bd560d6ff2b8571ffbece3c3f339133d8ce5a7da9edec5713440d9",
        "request_id": "REQ-001",
        "reviewer_id": "REV-001",
        "revoked_at": null,
        "supplier_id": "SUP-001"
      },
      "status": "active"
    },
    "error": null,
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:07Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:07Z"
}

get_supplier - ok

{
  "seq": 14,
  "call_id": "CALL-0007",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "get_supplier",
  "arguments": {
    "supplier_id": "SUP-001"
  },
  "operation_key": null,
  "status": "ok",
  "response": {
    "call_id": "CALL-0007",
    "tool": "get_supplier",
    "status": "ok",
    "data": {
      "supplier": {
        "id": "SUP-001",
        "name": "Fictional Stationery Trading (synthetic)",
        "status": "active",
        "version": 1
      }
    },
    "error": null,
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:08Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:08Z"
}

create_purchase_order - error

{
  "seq": 16,
  "call_id": "CALL-0008",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "create_purchase_order",
  "arguments": {
    "approval_id": "APR-0001",
    "operation_key": "commit-bdd640fb06671ad1",
    "request_id": "REQ-001",
    "reservation_id": "RES-0001"
  },
  "operation_key": "commit-bdd640fb06671ad1",
  "status": "error",
  "response": {
    "call_id": "CALL-0008",
    "tool": "create_purchase_order",
    "status": "error",
    "data": null,
    "error": {
      "code": "APPROVAL_REVOKED",
      "reason_code": "APPROVAL_REVOKED",
      "message": "approval cannot authorize this commit: APPROVAL_REVOKED",
      "certainty": "not_committed"
    },
    "event_ids": [],
    "simulated_at": "2026-01-05T09:00:10Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:10Z"
}

release_reservation - ok

{
  "seq": 17,
  "call_id": "CALL-0009",
  "actor_id": "CTRL-REF",
  "actor_role": "controller",
  "tool": "release_reservation",
  "arguments": {
    "operation_key": "release-3eb13b9046685257",
    "reservation_id": "RES-0001"
  },
  "operation_key": "release-3eb13b9046685257",
  "status": "ok",
  "response": {
    "call_id": "CALL-0009",
    "tool": "release_reservation",
    "status": "ok",
    "data": {
      "reservation": {
        "amount_minor": 125000,
        "budget_id": "BUD-001",
        "created_at": "2026-01-05T09:00:04Z",
        "id": "RES-0001",
        "request_id": "REQ-001",
        "state": "released",
        "version": 2
      }
    },
    "error": null,
    "event_ids": [
      "EV-000005"
    ],
    "simulated_at": "2026-01-05T09:00:11Z",
    "idempotent_replay": false
  },
  "simulated_at": "2026-01-05T09:00:11Z"
}

Blocked purchase attempts

Assertions

approval_valid_at_commit

supplier_active_at_commit

policy_current_at_commit

one_po_per_intent

budget_conserved

reservation_state_consistent

all_mutations_have_events

expected_business_outcome

unknown_outcome_reconciled

Recorded event timeline

Recorded tool calls

Original evidence