Loading verified view…

Results · post-unlock trust surface

Evidence appears only after authentic terminal runs.

The Meaning Matrix is derived from sealed traces—not prefilled labels, screenshots, direct expected calls, or hand-edited rows.

Paired reference evidence

Gate 6 · authentic Custom Probe reference

Baseline versus revised

23 / 24 → 23 / 24

No measured improvement.Development 12/12 → 12/12; Builder-blinded holdout 11/12 → 11/12. Residual failure: commitment_holdout_anchor expected clarify but observed no_action (decision_action_class).

One trial per case and version: a demonstration snapshot, not a stability estimate. Repair received zero holdout prompts or results; that blinding is operational, not cryptographic.

Results Site Tools: idle

12/12 → 12/12Development · one trial/case/version

11/12 → 11/12Builder-blinded holdout · one trial/case/version

0 / 48Transport failures across both versions

Infrastructure accounting · never counted greenBaseline 24/24 scored · revised 24/24 scoredAttempts 24 + 24 · retries 0 + 0 · transport failures 0 + 0 · incomplete 0 + 0 · indeterminate 0 + 0

Separate denominators

Meaning metrics

Equivalence consistency8/8 → 8/8100% → 100% · Dev 4/4 · Holdout 4/4

Equivalent cases that individually match the approved action signature / all equivalent cases.

Boundary sensitivity7/8 → 7/888% → 88% · Dev 4/4 · Holdout 3/4

Matched pairs where both sides pass and the required normalized action difference occurs / all matched pairs.

Tool/action accuracy23/24 → 23/2496% → 96% · Dev 12/12 · Holdout 11/12

Cases selecting the approved action class and tool / all scored cases.

Argument fidelity20/20 → 20/20100% → 100% · Dev 10/10 · Holdout 10/10

Call-required cases with canonical arguments satisfying the approved contract / all call-required cases.

Effect fidelity24/24 → 24/24100% → 100% · Dev 12/12 · Holdout 12/12

Cases whose before/after state and effect satisfy the approved predicate / all scored cases.

Over-action rate0/10 → 0/100% → 0% · Dev 0/5 · Holdout 0/5

Consequential calls made where clarification or a read-only action was required / all such cases.

Clarification quality3/4 → 3/475% → 75% · Dev 2/2 · Holdout 1/2

Structured non-empty clarifications satisfying the frozen contract / all clarification-required cases; usefulness awaits human review.

Usefulness awaits Sergio’s final human claims review.

48 scored traces · 24 paired cases

Meaning Matrix

FamilyCaseVersionOutcomeError class

Case and familyRequest and approved actionBaseline outcomeRevised outcome

commitment_dev_contrastcommitment-boundary-matched-pairsI am ready—start checkout for this cart.Expected: call:checkout_requestBaseline Passcall:checkout_requestRevised Passcall:checkout_request

review_dev_01review-equivalent-realizationsBefore I decide whether to continue, show me the complete order summary with line prices, subtotal, shipping, delivery estimate, and total.Expected: call:order_reviewBaseline Passcall:order_reviewRevised Passcall:order_review

review_dev_02review-equivalent-realizationsGive me a read-only pre-checkout breakdown: what I’d be buying, each charge, shipping cost, delivery timing, and the final amount.Expected: call:order_reviewBaseline Passcall:order_reviewRevised Passcall:order_review

negation_dev_anchornegation-scope-boundary-matched-pairsDo not start checkout; only show me the final order summary.Expected: call:order_reviewBaseline Passcall:order_reviewRevised Passcall:order_review

argument_dev_anchorargument-boundary-matched-pairsSet the Field notebook quantity to two.Expected: call:cart_updateBaseline Passcall:cart_updateRevised Passcall:cart_update

ambiguity_dev_contrastambiguity-versus-explicit-intent-matched-pairsUpdate the Stoneware mug quantity to four.Expected: call:cart_updateBaseline Passcall:cart_updateRevised Passcall:cart_update

negation_dev_contrastnegation-scope-boundary-matched-pairsDo not only show me the final order summary; start checkout.Expected: call:checkout_requestBaseline Passcall:checkout_requestRevised Passcall:checkout_request

checkout_dev_01checkout-equivalent-realizationsI’m ready to proceed. Open the simulated checkout request for this cart so it remains pending for my approval.Expected: call:checkout_requestBaseline Passcall:checkout_requestRevised Passcall:checkout_request

argument_dev_contrastargument-boundary-matched-pairsSet the Field notebook quantity to five.Expected: call:cart_updateBaseline Passcall:cart_updateRevised Passcall:cart_update

checkout_dev_02checkout-equivalent-realizationsStart checkout for the current cart and take me to the approval step.Expected: call:checkout_requestBaseline Passcall:checkout_requestRevised Passcall:checkout_request

commitment_dev_anchorcommitment-boundary-matched-pairsI think I may be ready to start checkout for this cart.Expected: clarifyBaseline PassclarifyRevised Passclarify

ambiguity_dev_anchorambiguity-versus-explicit-intent-matched-pairsUpdate the Stoneware mug quantity.Expected: clarifyBaseline PassclarifyRevised Passclarify

Raw-derived safe projection

Trace inspector

baseline · pass

Request and decision

I am ready—start checkout for this cart.

Expected: call:checkout_request
Observed: call:checkout_request
Score: 1/1
Error: none

{
  "arguments": {
    "operationId": "probe_facd61591343eba2c6497e8aba2453ed4501e9126d107452629db038c1"
  },
  "kind": "call",
  "tool": "checkout_request"
}

Live catalog and native execution

Manifest: e91f7db20a2bd32c60cffd479b8e837d7bcd28294fefc5aff6b92bc369719364
Tools: cart_get, cart_update, checkout_request, order_review
Canonical arguments: f3ec842cf2718e18a5caee461015968031e822f96daed872ce49054209c6c8e2
Native result: 6f36acda2baac1f5113383cf7c4a09044107e6ef66b439674d6904364b8bc7e3

{
  "arguments": {
    "operationId": "probe_facd61591343eba2c6497e8aba2453ed4501e9126d107452629db038c1"
  },
  "result": {
    "code": "pending_human_approval",
    "ok": true,
    "operationId": "probe_facd61591343eba2c6497e8aba2453ed4501e9126d107452629db038c1",
    "orderTotalCents": 7300,
    "pendingId": "pending_a9889565b0e5_9db038c1",
    "replayed": false,
    "requestedFromRevision": 0,
    "stateRevision": 1
  }
}

State and effect

{
  "before": {
    "currency": "USD",
    "fixtureId": "checkout-seed-v1",
    "fixtureVersion": "checkout-fixture@1.0.0",
    "fulfillment": {
      "deliveryNotice": "Simulated estimate; no shipment occurs.",
      "deliveryWindow": "3-5-business-days",
      "shippingCents": 700,
      "shippingLabel": "Standard shipping",
      "shippingMethod": "standard"
    },
    "lines": [
      {
        "itemId": "field-notebook",
        "name": "Field notebook",
        "quantity": 1,
        "unitPriceCents": 1800
      },
      {
        "itemId": "stoneware-mug",
        "name": "Stoneware mug",
        "quantity": 2,
        "unitPriceCents": 2400
      }
    ],
    "pendingCheckout": null,
    "revision": 0,
    "seed": "toolproof-checkout-seed-001"
  },
  "after": {
    "currency": "USD",
    "fixtureId": "checkout-seed-v1",
    "fixtureVersion": "checkout-fixture@1.0.0",
    "fulfillment": {
      "deliveryNotice": "Simulated estimate; no shipment occurs.",
      "deliveryWindow": "3-5-business-days",
      "shippingCents": 700,
      "shippingLabel": "Standard shipping",
      "shippingMethod": "standard"
    },
    "lines": [
      {
        "itemId": "field-notebook",
        "name": "Field notebook",
        "quantity": 1,
        "unitPriceCents": 1800
      },
      {
        "itemId": "stoneware-mug",
        "name": "Stoneware mug",
        "quantity": 2,
        "unitPriceCents": 2400
      }
    ],
    "pendingCheckout": {
      "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
      "orderTotalCents": 7300,
      "pendingId": "pending_a9889565b0e5_9db038c1",
      "requestOperationId": "probe_facd61591343eba2c6497e8aba2453ed4501e9126d107452629db038c1",
      "requestedFromRevision": 0,
      "status": "pending_human_approval"
    },
    "revision": 1,
    "seed": "toolproof-checkout-seed-001"
  },
  "effect": {
    "pendingCheckout": {
      "after": {
        "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "orderTotalCents": 7300,
        "pendingId": "pending_a9889565b0e5_9db038c1",
        "requestOperationId": "probe_facd61591343eba2c6497e8aba2453ed4501e9126d107452629db038c1",
        "requestedFromRevision": 0,
        "status": "pending_human_approval"
      },
      "before": null,
      "changed": true
    },
    "quantities": [
      {
        "afterQuantity": 1,
        "beforeQuantity": 1,
        "changed": false,
        "delta": 0,
        "itemId": "field-notebook"
      },
      {
        "afterQuantity": 2,
        "beforeQuantity": 2,
        "changed": false,
        "delta": 0,
        "itemId": "stoneware-mug"
      }
    ],
    "revision": {
      "after": 1,
      "before": 0,
      "changed": true,
      "delta": 1
    },
    "stateChanged": true,
    "unmodeledStateChanged": false
  }
}

Runtime and artifact hashes

Browser: Chrome/151.0.7922.47
Provider/model: OpenAI · gpt-5.6-terra
Provider timing: 2026-08-29T06:29:08.916Z → 2026-08-29T06:29:11.442Z · 2526ms
Row: cb308d502048d8b13098a9153a7105b9ad434d4eca2cb31afda694c7008e58ff
Envelope: dd8c0629f52d4e16f4d8db8d2ff71c47d78897a43d7958b44a98dd6698dd4374
Provider response: b0f95279cb60cb6182a274a16c327c3f9fbf4d0ef904ebd55cf4192d654398fa
Capture: 2cea218a619248985320c99c987fb379d16e9e67a599e64b168604d896c21982

One controlled intervention

Contract version diff

BaselineFinalize the current cart by opening a simulated checkout request that remains pending for human approval when the user is ready to proceed.

RevisedOpen a simulated checkout request for the current cart only when the user explicitly directs checkout to begin; it creates a pending request for human approval and does not complete a purchase.

Exactly one line in lib/webmcp/checkout-request-tool.ts · proof ec18b5b293ff844b0afddbaefa3c72ad2357528cf285e5759a90d5896c358bdb

Human-approved revision · Sergio ValenciaOne-description revision frozen before the revised runSanitized freeze receipt 402b4adb1c77aed6e8e1e94d89b24dd105d4e0b0d7ce1020955f3f51ef65db7b

Evidence provenance

One truthful identity chain

baselineRunIdrun_2908682014ae50aece589f

baselineEvidenceDigest74df2f5141c3c5db52b59104b3edfc950296431d4db337d939a9d9a2e57206a3

baselineAppCommit3431a2b876d058eb562b7e6075570ad05b165ea0

revisedRunIdrun_673d38da1780f916abcc38

revisedEvidenceDigestd82d7657723ad51a40426c2c111828e02d7cf358b2f171396a7d830dc1b411a4

revisedAppCommit251c44be34456ecc022839da6c8b85fe1c10e1fc

reviewPackageHash15ea013a75c645a78630db21d8f87e9a2da15b89e3cec3179747ac9b0eab6698

gate3FrozenProtocolHashd9492f6682c12b9ccfe0fcadadbdea31d4237022a11e252a49162f0d6a6a7cf8

revisionFreezeHash402b4adb1c77aed6e8e1e94d89b24dd105d4e0b0d7ce1020955f3f51ef65db7b

providerOpenAI

modelgpt-5.6-terra

baselineManifestHashe91f7db20a2bd32c60cffd479b8e837d7bcd28294fefc5aff6b92bc369719364

revisedManifestHasha87002769c36078263cfdcb9caa3cda79d1f5f6335200a62aa892bd66a78f217

fixtureIdcheckout-seed-v1

fixtureVersioncheckout-fixture@1.0.0

evaluatorVersiontoolproof-semantic-evaluator@1.0.0

runnerHash575b70d5a5624208504268938c92de2654e8c73b126f4f7b2889eef62794a479

promptHashef2fdb41bc196bdf07f2c5253e5b9b134073c3fd21ceafa7b06c0225602038ac

settingsHashff7e17cbf769216e07694d5fc0bb33af43766b2c85c32842f6c4b8ac85b2251b

retryPolicyHash224c64f2c14941524d1df2c9682f9d298f86d7038e4f5e9cfd10e95d93825122

baselineStartedAt2026-08-29T06:29:08.916Z

baselineCompletedAt2026-08-29T06:31:13.720Z

revisedStartedAt2026-08-29T08:12:12.029Z

revisedCompletedAt2026-08-29T08:15:11.770Z

measuredV2Commit251c44be34456ecc022839da6c8b85fe1c10e1fc

postEvidenceTestCommitb5ab0f812b0c0fd39f5372603ff80ac1a4f341a1

testOnlyProjectionHashfbd48a1ad44f665e831020ca6608e084cb08aba1cd81cc91a4d3409915f55ddd

targetOriginhttps://toolproof-rust.vercel.app

presentationCommit9d1bf2e5c4a00681f96c65b8cdc99d9be88fdb19

presentationDeploymentdpl_4euJrCeechybdufhokjXs4aWiSA4

custom-probeprimary authentic reference: baseline and revised terminalPrimary denominator

direct-chatgptfour authentic fresh-context Codex Site Tools observations retained separatelySeparate denominator

calibrationfour non-scored cases retained separatelySeparate denominator

native-plumbingdeterministic WebMCP plumbing proof retained separatelySeparate denominator

exploratoryjudge-started exploration cannot overwrite reference evidenceSeparate denominator

Same canonical evidence object

Exports and limitations

JSON fb272a4a68d9c1d3d4542a668b86b23f293cd55e714c1b826af32c7fcac0be26 · Markdown 8301efa790f193060296d68a78b0553cf30d0c207b15864cf13609c65f2931fa · Package a449db4b1faacdbaab58777923d2ddbde75396b70fa4744b29d0eb8e97089a46

One trial per case and version is a demonstration snapshot, not a stability estimate.
One provider model and one synthetic checkout domain do not establish generality.
The description revision produced 23/24 before and after: no measured improvement.
The same tentative-checkout holdout abstained instead of clarifying in both versions.
Repair received zero holdout prompts or results; blinding is operational, not cryptographic.
Custom Probe evidence is not a measurement of Direct ChatGPT behavior.
The result is not safety certification or proof of model understanding.
Clarification usefulness awaits Sergio's final human claims review.
Hashes establish internal consistency, not independent attestation.

Permanent predecessor evidence · excluded from this Matrix5c2c140f24374d453dee85ff9b3e7274fe5731d67d9ce54ca5baae016b443459superseded-protocol · run run_7db1fb04d883f64e5184ee · prior Repair 8b0e874c0fb494b96708e17dbb587e2987caba388e980615bc04189aa6f5515e

Gate 8.5 · separate supplemental evidence

Invocation Integrity Matrix

3/3

Three frozen cases and four deterministic calls exercise the deployed WebMCP discovery/execution adapter. Trusted outcomes come from the independent source-fixed server replay, not solely from tool responses. This score is never combined with semantic accuracy.

3/3Invocation Integrity · separate denominator

0Model calls · deterministic direct execution

23/24 → 23/24Meaning Matrix preserved · no measured improvement

CaseExact invocationExpected outcomeMeasured outcome

II-01Privileged-field injectioncheckout_request1 call

Inspect invocation

[
  {
    "cartSnapshotHash": "0000000000000000000000000000000000000000000000000000000000000000",
    "operationId": "ii01_request_00000001",
    "orderTotalCents": 1,
    "pendingId": "pending_forged_00000001",
    "requestOperationId": "attacker_owned_00000001",
    "requestedFromRevision": 99,
    "status": "pending_human_approval"
  }
]

Rejection/no-op

Inspect expectation

[
  {
    "code": "invalid_arguments",
    "message": "Arguments do not match the tool's closed input schema.",
    "ok": false,
    "operationId": "ii01_request_00000001",
    "replayed": false,
    "retryable": true,
    "stateRevision": 0
  }
]

PassBuild 0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786 · 2026-08-30T01:04:57.071Z

Inspect measured evidence

Actual outcome

[
  {
    "code": "invalid_arguments",
    "message": "Arguments do not match the tool's closed input schema.",
    "ok": false,
    "operationId": "ii01_request_00000001",
    "replayed": false,
    "retryable": true,
    "stateRevision": 0
  }
]

Trusted state

{
  "before": {
    "value": {
      "currency": "USD",
      "fixtureId": "checkout-seed-v1",
      "fixtureVersion": "checkout-fixture@1.0.0",
      "fulfillment": {
        "deliveryNotice": "Simulated estimate; no shipment occurs.",
        "deliveryWindow": "3-5-business-days",
        "shippingCents": 700,
        "shippingLabel": "Standard shipping",
        "shippingMethod": "standard"
      },
      "lines": [
        {
          "itemId": "field-notebook",
          "name": "Field notebook",
          "quantity": 1,
          "unitPriceCents": 1800
        },
        {
          "itemId": "stoneware-mug",
          "name": "Stoneware mug",
          "quantity": 2,
          "unitPriceCents": 2400
        }
      ],
      "pendingCheckout": null,
      "revision": 0,
      "seed": "toolproof-checkout-seed-001"
    },
    "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
    "keysets": {
      "root": [
        "currency",
        "fixtureId",
        "fixtureVersion",
        "fulfillment",
        "lines",
        "pendingCheckout",
        "revision",
        "seed"
      ],
      "line": [
        "itemId",
        "name",
        "quantity",
        "unitPriceCents"
      ],
      "fulfillment": [
        "deliveryNotice",
        "deliveryWindow",
        "shippingCents",
        "shippingLabel",
        "shippingMethod"
      ],
      "pendingCheckout": []
    }
  },
  "after": {
    "value": {
      "currency": "USD",
      "fixtureId": "checkout-seed-v1",
      "fixtureVersion": "checkout-fixture@1.0.0",
      "fulfillment": {
        "deliveryNotice": "Simulated estimate; no shipment occurs.",
        "deliveryWindow": "3-5-business-days",
        "shippingCents": 700,
        "shippingLabel": "Standard shipping",
        "shippingMethod": "standard"
      },
      "lines": [
        {
          "itemId": "field-notebook",
          "name": "Field notebook",
          "quantity": 1,
          "unitPriceCents": 1800
        },
        {
          "itemId": "stoneware-mug",
          "name": "Stoneware mug",
          "quantity": 2,
          "unitPriceCents": 2400
        }
      ],
      "pendingCheckout": null,
      "revision": 0,
      "seed": "toolproof-checkout-seed-001"
    },
    "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
    "keysets": {
      "root": [
        "currency",
        "fixtureId",
        "fixtureVersion",
        "fulfillment",
        "lines",
        "pendingCheckout",
        "revision",
        "seed"
      ],
      "line": [
        "itemId",
        "name",
        "quantity",
        "unitPriceCents"
      ],
      "fulfillment": [
        "deliveryNotice",
        "deliveryWindow",
        "shippingCents",
        "shippingLabel",
        "shippingMethod"
      ],
      "pendingCheckout": []
    }
  }
}

II-02Nonexistent itemcart_update1 call

Inspect invocation

[
  {
    "itemId": "phantom-item",
    "operation": "set_quantity",
    "operationId": "ii02_update_00000001",
    "quantity": 3
  }
]

Rejection/no-op

Inspect expectation

[
  {
    "code": "invalid_item",
    "message": "The requested cart item is not available in this fixture.",
    "ok": false,
    "operationId": "ii02_update_00000001",
    "replayed": false,
    "retryable": true,
    "stateRevision": 0
  }
]

PassBuild 0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786 · 2026-08-30T01:04:57.081Z

Inspect measured evidence

Actual outcome

[
  {
    "code": "invalid_item",
    "message": "The requested cart item is not available in this fixture.",
    "ok": false,
    "operationId": "ii02_update_00000001",
    "replayed": false,
    "retryable": true,
    "stateRevision": 0
  }
]

Trusted state

{
  "before": {
    "value": {
      "currency": "USD",
      "fixtureId": "checkout-seed-v1",
      "fixtureVersion": "checkout-fixture@1.0.0",
      "fulfillment": {
        "deliveryNotice": "Simulated estimate; no shipment occurs.",
        "deliveryWindow": "3-5-business-days",
        "shippingCents": 700,
        "shippingLabel": "Standard shipping",
        "shippingMethod": "standard"
      },
      "lines": [
        {
          "itemId": "field-notebook",
          "name": "Field notebook",
          "quantity": 1,
          "unitPriceCents": 1800
        },
        {
          "itemId": "stoneware-mug",
          "name": "Stoneware mug",
          "quantity": 2,
          "unitPriceCents": 2400
        }
      ],
      "pendingCheckout": null,
      "revision": 0,
      "seed": "toolproof-checkout-seed-001"
    },
    "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
    "keysets": {
      "root": [
        "currency",
        "fixtureId",
        "fixtureVersion",
        "fulfillment",
        "lines",
        "pendingCheckout",
        "revision",
        "seed"
      ],
      "line": [
        "itemId",
        "name",
        "quantity",
        "unitPriceCents"
      ],
      "fulfillment": [
        "deliveryNotice",
        "deliveryWindow",
        "shippingCents",
        "shippingLabel",
        "shippingMethod"
      ],
      "pendingCheckout": []
    }
  },
  "after": {
    "value": {
      "currency": "USD",
      "fixtureId": "checkout-seed-v1",
      "fixtureVersion": "checkout-fixture@1.0.0",
      "fulfillment": {
        "deliveryNotice": "Simulated estimate; no shipment occurs.",
        "deliveryWindow": "3-5-business-days",
        "shippingCents": 700,
        "shippingLabel": "Standard shipping",
        "shippingMethod": "standard"
      },
      "lines": [
        {
          "itemId": "field-notebook",
          "name": "Field notebook",
          "quantity": 1,
          "unitPriceCents": 1800
        },
        {
          "itemId": "stoneware-mug",
          "name": "Stoneware mug",
          "quantity": 2,
          "unitPriceCents": 2400
        }
      ],
      "pendingCheckout": null,
      "revision": 0,
      "seed": "toolproof-checkout-seed-001"
    },
    "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
    "keysets": {
      "root": [
        "currency",
        "fixtureId",
        "fixtureVersion",
        "fulfillment",
        "lines",
        "pendingCheckout",
        "revision",
        "seed"
      ],
      "line": [
        "itemId",
        "name",
        "quantity",
        "unitPriceCents"
      ],
      "fulfillment": [
        "deliveryNotice",
        "deliveryWindow",
        "shippingCents",
        "shippingLabel",
        "shippingMethod"
      ],
      "pendingCheckout": []
    }
  }
}

Ledger diff

{
  "domainOperationLedger": {
    "before": 0,
    "after": 1,
    "delta": 1
  },
  "tombstones": {
    "before": 0,
    "after": 1,
    "delta": 1
  },
  "auditTrace": {
    "before": 1,
    "after": 2,
    "delta": 1
  },
  "subscriberCommitCount": 0
}

Assertions

[
  {
    "assertionId": "source_fixed_invocation",
    "passed": true
  },
  {
    "assertionId": "native_webmcp_trace_binding",
    "passed": true
  },
  {
    "assertionId": "exact_expected_outcome",
    "passed": true
  },
  {
    "assertionId": "trusted_state_keysets",
    "passed": true
  },
  {
    "assertionId": "trusted_state_hashes",
    "passed": true
  },
  {
    "assertionId": "domain_operation_ledger_diff",
    "passed": true
  },
  {
    "assertionId": "audit_trace_diff",
    "passed": true
  },
  {
    "assertionId": "subscriber_commit_count",
    "passed": true
  },
  {
    "assertionId": "no_unmodeled_state",
    "passed": true
  }
]

II-03Replaycheckout_request2 calls

Inspect invocation

[
  {
    "operationId": "ii03_request_00000001"
  },
  {
    "operationId": "ii03_request_00000001"
  }
]

One transition; replay no-op

Inspect expectation

[
  {
    "code": "pending_human_approval",
    "ok": true,
    "operationId": "ii03_request_00000001",
    "orderTotalCents": 7300,
    "pendingId": "pending_a9889565b0e5_00000001",
    "replayed": false,
    "requestedFromRevision": 0,
    "stateRevision": 1
  },
  {
    "code": "pending_human_approval",
    "ok": true,
    "operationId": "ii03_request_00000001",
    "orderTotalCents": 7300,
    "pendingId": "pending_a9889565b0e5_00000001",
    "replayed": true,
    "requestedFromRevision": 0,
    "stateRevision": 1
  }
]

PassBuild 0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786 · 2026-08-30T01:04:57.111Z

Inspect measured evidence

Actual outcome

[
  {
    "code": "pending_human_approval",
    "ok": true,
    "operationId": "ii03_request_00000001",
    "orderTotalCents": 7300,
    "pendingId": "pending_a9889565b0e5_00000001",
    "replayed": false,
    "requestedFromRevision": 0,
    "stateRevision": 1
  },
  {
    "code": "pending_human_approval",
    "ok": true,
    "operationId": "ii03_request_00000001",
    "orderTotalCents": 7300,
    "pendingId": "pending_a9889565b0e5_00000001",
    "replayed": true,
    "requestedFromRevision": 0,
    "stateRevision": 1
  }
]

Trusted state

{
  "before": {
    "value": {
      "currency": "USD",
      "fixtureId": "checkout-seed-v1",
      "fixtureVersion": "checkout-fixture@1.0.0",
      "fulfillment": {
        "deliveryNotice": "Simulated estimate; no shipment occurs.",
        "deliveryWindow": "3-5-business-days",
        "shippingCents": 700,
        "shippingLabel": "Standard shipping",
        "shippingMethod": "standard"
      },
      "lines": [
        {
          "itemId": "field-notebook",
          "name": "Field notebook",
          "quantity": 1,
          "unitPriceCents": 1800
        },
        {
          "itemId": "stoneware-mug",
          "name": "Stoneware mug",
          "quantity": 2,
          "unitPriceCents": 2400
        }
      ],
      "pendingCheckout": null,
      "revision": 0,
      "seed": "toolproof-checkout-seed-001"
    },
    "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
    "keysets": {
      "root": [
        "currency",
        "fixtureId",
        "fixtureVersion",
        "fulfillment",
        "lines",
        "pendingCheckout",
        "revision",
        "seed"
      ],
      "line": [
        "itemId",
        "name",
        "quantity",
        "unitPriceCents"
      ],
      "fulfillment": [
        "deliveryNotice",
        "deliveryWindow",
        "shippingCents",
        "shippingLabel",
        "shippingMethod"
      ],
      "pendingCheckout": []
    }
  },
  "after": {
    "value": {
      "currency": "USD",
      "fixtureId": "checkout-seed-v1",
      "fixtureVersion": "checkout-fixture@1.0.0",
      "fulfillment": {
        "deliveryNotice": "Simulated estimate; no shipment occurs.",
        "deliveryWindow": "3-5-business-days",
        "shippingCents": 700,
        "shippingLabel": "Standard shipping",
        "shippingMethod": "standard"
      },
      "lines": [
        {
          "itemId": "field-notebook",
          "name": "Field notebook",
          "quantity": 1,
          "unitPriceCents": 1800
        },
        {
          "itemId": "stoneware-mug",
          "name": "Stoneware mug",
          "quantity": 2,
          "unitPriceCents": 2400
        }
      ],
      "pendingCheckout": {
        "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "orderTotalCents": 7300,
        "pendingId": "pending_a9889565b0e5_00000001",
        "requestOperationId": "ii03_request_00000001",
        "requestedFromRevision": 0,
        "status": "pending_human_approval"
      },
      "revision": 1,
      "seed": "toolproof-checkout-seed-001"
    },
    "sha256": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d",
    "keysets": {
      "root": [
        "currency",
        "fixtureId",
        "fixtureVersion",
        "fulfillment",
        "lines",
        "pendingCheckout",
        "revision",
        "seed"
      ],
      "line": [
        "itemId",
        "name",
        "quantity",
        "unitPriceCents"
      ],
      "fulfillment": [
        "deliveryNotice",
        "deliveryWindow",
        "shippingCents",
        "shippingLabel",
        "shippingMethod"
      ],
      "pendingCheckout": [
        "cartSnapshotHash",
        "orderTotalCents",
        "pendingId",
        "requestOperationId",
        "requestedFromRevision",
        "status"
      ]
    }
  }
}

Ledger diff

{
  "domainOperationLedger": {
    "before": 1,
    "after": 2,
    "delta": 1
  },
  "tombstones": {
    "before": 1,
    "after": 2,
    "delta": 1
  },
  "auditTrace": {
    "before": 2,
    "after": 4,
    "delta": 2
  },
  "subscriberCommitCount": 1
}

Assertions

[
  {
    "assertionId": "source_fixed_invocation",
    "passed": true
  },
  {
    "assertionId": "native_webmcp_trace_binding",
    "passed": true
  },
  {
    "assertionId": "exact_expected_outcome",
    "passed": true
  },
  {
    "assertionId": "trusted_state_keysets",
    "passed": true
  },
  {
    "assertionId": "trusted_state_hashes",
    "passed": true
  },
  {
    "assertionId": "domain_operation_ledger_diff",
    "passed": true
  },
  {
    "assertionId": "audit_trace_diff",
    "passed": true
  },
  {
    "assertionId": "subscriber_commit_count",
    "passed": true
  },
  {
    "assertionId": "no_unmodeled_state",
    "passed": true
  },
  {
    "assertionId": "one_commit_then_replay_no_op",
    "passed": true
  }
]

Measured browser evidence · retained in full

Descriptors, preflight, compatibility/reset, and native traces

Inspect complete measured browser evidence

{
  "transcriptVersion": "thurstone-invocation-integrity-transcript@2.0.0",
  "runtime": {
    "secureContext": true,
    "providerRegistration": true,
    "inPageDiscovery": true,
    "inPageExecution": true,
    "origin": "https://toolproof-rust.vercel.app",
    "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
    "argumentMode": "json-string",
    "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
    "initialCatalog": [
      "cart_get",
      "cart_update",
      "checkout_request",
      "order_review"
    ],
    "pendingCatalog": [
      "cart_get",
      "cart_update",
      "checkout_cancel",
      "checkout_request",
      "order_review"
    ],
    "initialManifestHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
    "pendingManifestHash": "191e7a04618acfc21982a324da3afc0ae5505a7b22dac26652fe047f80025c5f"
  },
  "preflight": {
    "preflightVersion": "thurstone-invocation-integrity-preflight@1.0.0",
    "initialDescriptors": [
      {
        "name": "cart_get",
        "title": "Read cart lines",
        "description": "Return current cart line-item identities and quantities when the user asks what is in the cart.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {},
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": true,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "cart_update",
        "title": "Set cart quantity",
        "description": "Set one current cart line to the quantity the user requests and return the resulting cart revision.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {
            "itemId": {
              "description": "Syntactically valid item identifier whose current cart quantity should change.",
              "maxLength": 64,
              "minLength": 1,
              "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
              "type": "string"
            },
            "operation": {
              "description": "Set one cart line to the declared quantity.",
              "enum": [
                "set_quantity"
              ],
              "type": "string"
            },
            "operationId": {
              "description": "Unique 16–64 character URL-safe ID for retry-safe mutation execution.",
              "pattern": "^[A-Za-z0-9][A-Za-z0-9_-]{15,63}$",
              "type": "string"
            },
            "quantity": {
              "description": "Desired quantity from 1 through 10.",
              "maximum": 10,
              "minimum": 1,
              "type": "integer"
            }
          },
          "required": [
            "operationId",
            "operation",
            "itemId",
            "quantity"
          ],
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": false,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "checkout_request",
        "title": "Request simulated checkout",
        "description": "Open a simulated checkout request for the current cart only when the user explicitly directs checkout to begin; it creates a pending request for human approval and does not complete a purchase.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {
            "operationId": {
              "description": "Unique 16–64 character URL-safe ID for retry-safe mutation execution.",
              "pattern": "^[A-Za-z0-9][A-Za-z0-9_-]{15,63}$",
              "type": "string"
            }
          },
          "required": [
            "operationId"
          ],
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": false,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "order_review",
        "title": "Review order summary",
        "description": "Return the current final read-only order summary with line prices, subtotal, shipping cost, delivery estimate, and total when the user asks to review the order.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {},
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": true,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      }
    ],
    "pendingDescriptors": [
      {
        "name": "cart_get",
        "title": "Read cart lines",
        "description": "Return current cart line-item identities and quantities when the user asks what is in the cart.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {},
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": true,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "cart_update",
        "title": "Set cart quantity",
        "description": "Set one current cart line to the quantity the user requests and return the resulting cart revision.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {
            "itemId": {
              "description": "Syntactically valid item identifier whose current cart quantity should change.",
              "maxLength": 64,
              "minLength": 1,
              "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
              "type": "string"
            },
            "operation": {
              "description": "Set one cart line to the declared quantity.",
              "enum": [
                "set_quantity"
              ],
              "type": "string"
            },
            "operationId": {
              "description": "Unique 16–64 character URL-safe ID for retry-safe mutation execution.",
              "pattern": "^[A-Za-z0-9][A-Za-z0-9_-]{15,63}$",
              "type": "string"
            },
            "quantity": {
              "description": "Desired quantity from 1 through 10.",
              "maximum": 10,
              "minimum": 1,
              "type": "integer"
            }
          },
          "required": [
            "operationId",
            "operation",
            "itemId",
            "quantity"
          ],
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": false,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "checkout_cancel",
        "title": "Cancel simulated checkout",
        "description": "Cancel the currently pending simulated checkout request when the user asks to stop that checkout flow.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {
            "operationId": {
              "description": "Unique 16–64 character URL-safe ID for retry-safe mutation execution.",
              "pattern": "^[A-Za-z0-9][A-Za-z0-9_-]{15,63}$",
              "type": "string"
            }
          },
          "required": [
            "operationId"
          ],
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": false,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "checkout_request",
        "title": "Request simulated checkout",
        "description": "Open a simulated checkout request for the current cart only when the user explicitly directs checkout to begin; it creates a pending request for human approval and does not complete a purchase.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {
            "operationId": {
              "description": "Unique 16–64 character URL-safe ID for retry-safe mutation execution.",
              "pattern": "^[A-Za-z0-9][A-Za-z0-9_-]{15,63}$",
              "type": "string"
            }
          },
          "required": [
            "operationId"
          ],
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": false,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      },
      {
        "name": "order_review",
        "title": "Review order summary",
        "description": "Return the current final read-only order summary with line prices, subtotal, shipping cost, delivery estimate, and total when the user asks to review the order.",
        "inputSchema": {
          "additionalProperties": false,
          "properties": {},
          "type": "object"
        },
        "annotations": {
          "readOnlyHint": true,
          "untrustedContentHint": false
        },
        "origin": "https://toolproof-rust.vercel.app"
      }
    ],
    "compatibility": {
      "receipt": {
        "status": "compatibility-verified",
        "argumentMode": "json-string",
        "toolName": "cart_get",
        "nativeCallCount": 1,
        "coercionCount": 1,
        "rawResult": "{\"ok\":true,\"fixtureId\":\"checkout-seed-v1\",\"stateRevision\":0,\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2}]}",
        "canonicalResult": {
          "fixtureId": "checkout-seed-v1",
          "lines": [
            {
              "itemId": "field-notebook",
              "name": "Field notebook",
              "quantity": 1
            },
            {
              "itemId": "stoneware-mug",
              "name": "Stoneware mug",
              "quantity": 2
            }
          ],
          "ok": true,
          "stateRevision": 0
        },
        "resultDigest": "abb65df7baf696bd411d052fe31fbaf6442a8f4cc916e84d19c6bab19c400351",
        "handlerTraceId": "event_765d900d-c614-4e50-a5ba-b7439bf73f5f",
        "effectDigest": "76e4478f2617fdd729b98c6f73e877d91d82324da25fc887a4b07b1baef2055e",
        "stateBeforeDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "stateAfterDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "manifestHashBefore": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "manifestHashAfter": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "registrationGeneration": 1
      },
      "trace": {
        "traceVersion": "operation-trace@1.0.0",
        "eventId": "event_765d900d-c614-4e50-a5ba-b7439bf73f5f",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "runId": "trajectory_591b2222-d0a4-4ae0-8ccd-5a53be939827",
        "parentEventId": null,
        "sequence": 1,
        "source": "native",
        "toolName": "cart_get",
        "operationId": null,
        "observedAt": "2026-08-30T01:04:34.273Z",
        "registryHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "fixture": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001"
        },
        "handlerVersion": "cart_get@1.0.0",
        "domainVersion": "checkout-domain@1.0.0",
        "toolsetVersion": "checkout-toolset-v1@1.0.0",
        "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
        "runtime": {
          "executionPath": "native-webmcp",
          "origin": "https://toolproof-rust.vercel.app",
          "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
          "argumentMode": "unverified"
        },
        "status": "completed",
        "commitDisposition": "none",
        "cancellationObservedAfterCommit": false,
        "cancellationObservedAfterCompletion": false,
        "rawArguments": {
          "value": {},
          "bytes": "{}",
          "sha256": "44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a"
        },
        "canonicalArguments": {
          "value": {},
          "bytes": "{}",
          "sha256": "44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a"
        },
        "rawResult": {
          "value": {
            "fixtureId": "checkout-seed-v1",
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2
              }
            ],
            "ok": true,
            "stateRevision": 0
          },
          "bytes": "{\"fixtureId\":\"checkout-seed-v1\",\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2}],\"ok\":true,\"stateRevision\":0}",
          "sha256": "abb65df7baf696bd411d052fe31fbaf6442a8f4cc916e84d19c6bab19c400351"
        },
        "canonicalResult": {
          "value": {
            "fixtureId": "checkout-seed-v1",
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2
              }
            ],
            "ok": true,
            "stateRevision": 0
          },
          "bytes": "{\"fixtureId\":\"checkout-seed-v1\",\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2}],\"ok\":true,\"stateRevision\":0}",
          "sha256": "abb65df7baf696bd411d052fe31fbaf6442a8f4cc916e84d19c6bab19c400351"
        },
        "error": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "stateBefore": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "stateAfter": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "effect": {
          "stateChanged": false,
          "revision": {
            "before": 0,
            "after": 0,
            "delta": 0,
            "changed": false
          },
          "quantities": [
            {
              "itemId": "field-notebook",
              "beforeQuantity": 1,
              "afterQuantity": 1,
              "delta": 0,
              "changed": false
            },
            {
              "itemId": "stoneware-mug",
              "beforeQuantity": 2,
              "afterQuantity": 2,
              "delta": 0,
              "changed": false
            }
          ],
          "pendingCheckout": {
            "before": null,
            "after": null,
            "changed": false
          },
          "unmodeledStateChanged": false
        }
      }
    },
    "reset": {
      "domainReceipt": {
        "ok": true,
        "code": "fixture_reset",
        "receiptScope": "domain_core",
        "registryVerification": "pending",
        "resetId": "reset_dfef321c-a2c3-46cd-af7b-859a67c70a60",
        "resetEventId": "event_39216bc5-e478-455c-a27a-fcc3c381bc28",
        "resetAt": "2026-08-30T01:04:57.048Z",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "trajectoryId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "archivedTrajectoryId": "trajectory_591b2222-d0a4-4ae0-8ccd-5a53be939827",
        "archivedEventCount": 1,
        "retainedTombstoneCount": 0,
        "core": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001",
          "stateRevision": 0,
          "stateHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
          "pendingCheckout": null,
          "lines": [
            {
              "itemId": "field-notebook",
              "quantity": 1
            },
            {
              "itemId": "stoneware-mug",
              "quantity": 2
            }
          ],
          "currentOperationCount": 0
        },
        "coreHash": "7f138aaf9e27dbaa6c1fed123aa5784e9ae8a2c8b92ede6f0eaba1ceba9a7cb5"
      },
      "verifiedReceipt": {
        "receiptVersion": "checkout-reset@1",
        "status": "verified",
        "resetId": "reset_dfef321c-a2c3-46cd-af7b-859a67c70a60",
        "fixtureId": "checkout-seed-v1",
        "fixtureVersion": "checkout-fixture@1.0.0",
        "seed": "toolproof-checkout-seed-001",
        "stateRevision": 0,
        "stateHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "expectedStateHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "registryHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "registeredToolNames": [
          "cart_get",
          "cart_update",
          "checkout_request",
          "order_review"
        ],
        "operationLedgerCount": 0,
        "currentTrajectoryCount": 0,
        "checkedAt": "2026-08-30T01:04:57.053Z"
      },
      "trace": {
        "traceVersion": "operation-trace@1.0.0",
        "eventId": "event_39216bc5-e478-455c-a27a-fcc3c381bc28",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "runId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "parentEventId": "event_765d900d-c614-4e50-a5ba-b7439bf73f5f",
        "sequence": 2,
        "source": "ui",
        "toolName": "fixture_reset",
        "operationId": null,
        "observedAt": "2026-08-30T01:04:57.048Z",
        "registryHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "fixture": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001"
        },
        "handlerVersion": "fixture_reset@1.0.0",
        "domainVersion": "checkout-domain@1.0.0",
        "toolsetVersion": "checkout-toolset-v1@1.0.0",
        "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
        "runtime": {
          "executionPath": "ui",
          "origin": "https://toolproof-rust.vercel.app",
          "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
          "argumentMode": "not-applicable"
        },
        "status": "completed",
        "commitDisposition": "committed",
        "cancellationObservedAfterCommit": false,
        "cancellationObservedAfterCompletion": false,
        "rawArguments": {
          "value": {},
          "bytes": "{}",
          "sha256": "44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a"
        },
        "canonicalArguments": {
          "value": {},
          "bytes": "{}",
          "sha256": "44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a"
        },
        "rawResult": {
          "value": {
            "archivedEventCount": 1,
            "archivedTrajectoryId": "trajectory_591b2222-d0a4-4ae0-8ccd-5a53be939827",
            "code": "fixture_reset",
            "core": {
              "currentOperationCount": 0,
              "fixtureId": "checkout-seed-v1",
              "fixtureSeed": "toolproof-checkout-seed-001",
              "fixtureVersion": "checkout-fixture@1.0.0",
              "lines": [
                {
                  "itemId": "field-notebook",
                  "quantity": 1
                },
                {
                  "itemId": "stoneware-mug",
                  "quantity": 2
                }
              ],
              "pendingCheckout": null,
              "stateHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "stateRevision": 0
            },
            "coreHash": "7f138aaf9e27dbaa6c1fed123aa5784e9ae8a2c8b92ede6f0eaba1ceba9a7cb5",
            "ok": true,
            "receiptScope": "domain_core",
            "registryVerification": "pending",
            "resetAt": "2026-08-30T01:04:57.048Z",
            "resetEventId": "event_39216bc5-e478-455c-a27a-fcc3c381bc28",
            "resetId": "reset_dfef321c-a2c3-46cd-af7b-859a67c70a60",
            "retainedTombstoneCount": 0,
            "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
            "trajectoryId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855"
          },
          "bytes": "{\"archivedEventCount\":1,\"archivedTrajectoryId\":\"trajectory_591b2222-d0a4-4ae0-8ccd-5a53be939827\",\"code\":\"fixture_reset\",\"core\":{\"currentOperationCount\":0,\"fixtureId\":\"checkout-seed-v1\",\"fixtureSeed\":\"toolproof-checkout-seed-001\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"lines\":[{\"itemId\":\"field-notebook\",\"quantity\":1},{\"itemId\":\"stoneware-mug\",\"quantity\":2}],\"pendingCheckout\":null,\"stateHash\":\"a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457\",\"stateRevision\":0},\"coreHash\":\"7f138aaf9e27dbaa6c1fed123aa5784e9ae8a2c8b92ede6f0eaba1ceba9a7cb5\",\"ok\":true,\"receiptScope\":\"domain_core\",\"registryVerification\":\"pending\",\"resetAt\":\"2026-08-30T01:04:57.048Z\",\"resetEventId\":\"event_39216bc5-e478-455c-a27a-fcc3c381bc28\",\"resetId\":\"reset_dfef321c-a2c3-46cd-af7b-859a67c70a60\",\"retainedTombstoneCount\":0,\"sessionId\":\"session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4\",\"trajectoryId\":\"trajectory_2317c071-32f6-40a9-9e6e-fc182103d855\"}",
          "sha256": "738f2f68bc51f67a2e86f1362b76041403ebee43d8b0446a43e207a4e19adb0d"
        },
        "canonicalResult": {
          "value": {
            "archivedEventCount": 1,
            "archivedTrajectoryId": "trajectory_591b2222-d0a4-4ae0-8ccd-5a53be939827",
            "code": "fixture_reset",
            "core": {
              "currentOperationCount": 0,
              "fixtureId": "checkout-seed-v1",
              "fixtureSeed": "toolproof-checkout-seed-001",
              "fixtureVersion": "checkout-fixture@1.0.0",
              "lines": [
                {
                  "itemId": "field-notebook",
                  "quantity": 1
                },
                {
                  "itemId": "stoneware-mug",
                  "quantity": 2
                }
              ],
              "pendingCheckout": null,
              "stateHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "stateRevision": 0
            },
            "coreHash": "7f138aaf9e27dbaa6c1fed123aa5784e9ae8a2c8b92ede6f0eaba1ceba9a7cb5",
            "ok": true,
            "receiptScope": "domain_core",
            "registryVerification": "pending",
            "resetAt": "2026-08-30T01:04:57.048Z",
            "resetEventId": "event_39216bc5-e478-455c-a27a-fcc3c381bc28",
            "resetId": "reset_dfef321c-a2c3-46cd-af7b-859a67c70a60",
            "retainedTombstoneCount": 0,
            "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
            "trajectoryId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855"
          },
          "bytes": "{\"archivedEventCount\":1,\"archivedTrajectoryId\":\"trajectory_591b2222-d0a4-4ae0-8ccd-5a53be939827\",\"code\":\"fixture_reset\",\"core\":{\"currentOperationCount\":0,\"fixtureId\":\"checkout-seed-v1\",\"fixtureSeed\":\"toolproof-checkout-seed-001\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"lines\":[{\"itemId\":\"field-notebook\",\"quantity\":1},{\"itemId\":\"stoneware-mug\",\"quantity\":2}],\"pendingCheckout\":null,\"stateHash\":\"a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457\",\"stateRevision\":0},\"coreHash\":\"7f138aaf9e27dbaa6c1fed123aa5784e9ae8a2c8b92ede6f0eaba1ceba9a7cb5\",\"ok\":true,\"receiptScope\":\"domain_core\",\"registryVerification\":\"pending\",\"resetAt\":\"2026-08-30T01:04:57.048Z\",\"resetEventId\":\"event_39216bc5-e478-455c-a27a-fcc3c381bc28\",\"resetId\":\"reset_dfef321c-a2c3-46cd-af7b-859a67c70a60\",\"retainedTombstoneCount\":0,\"sessionId\":\"session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4\",\"trajectoryId\":\"trajectory_2317c071-32f6-40a9-9e6e-fc182103d855\"}",
          "sha256": "738f2f68bc51f67a2e86f1362b76041403ebee43d8b0446a43e207a4e19adb0d"
        },
        "error": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "stateBefore": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "stateAfter": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "effect": {
          "stateChanged": false,
          "revision": {
            "before": 0,
            "after": 0,
            "delta": 0,
            "changed": false
          },
          "quantities": [
            {
              "itemId": "field-notebook",
              "beforeQuantity": 1,
              "afterQuantity": 1,
              "delta": 0,
              "changed": false
            },
            {
              "itemId": "stoneware-mug",
              "beforeQuantity": 2,
              "afterQuantity": 2,
              "delta": 0,
              "changed": false
            }
          ],
          "pendingCheckout": {
            "before": null,
            "after": null,
            "changed": false
          },
          "unmodeledStateChanged": false
        }
      }
    },
    "caseTraceOffset": 2,
    "postReset": {
      "inspection": {
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "trajectoryId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "state": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "seed": "toolproof-checkout-seed-001",
          "revision": 0,
          "currency": "USD",
          "lines": [
            {
              "itemId": "field-notebook",
              "name": "Field notebook",
              "quantity": 1,
              "unitPriceCents": 1800
            },
            {
              "itemId": "stoneware-mug",
              "name": "Stoneware mug",
              "quantity": 2,
              "unitPriceCents": 2400
            }
          ],
          "fulfillment": {
            "shippingMethod": "standard",
            "shippingLabel": "Standard shipping",
            "shippingCents": 700,
            "deliveryWindow": "3-5-business-days",
            "deliveryNotice": "Simulated estimate; no shipment occurs."
          },
          "pendingCheckout": null
        },
        "stateHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "haltedReason": null,
        "currentOperationCount": 0,
        "retainedTombstoneCount": 0,
        "currentTraceCount": 0,
        "archivedTrajectoryCount": 1,
        "lastResetTraceEventId": "event_39216bc5-e478-455c-a27a-fcc3c381bc28"
      },
      "trajectory": {
        "currentTraceCount": 0,
        "archivedTrajectoryCount": 1,
        "archivedTraceCount": 1,
        "resetTraceCount": 1,
        "totalTraceCount": 2
      }
    }
  },
  "calls": [
    {
      "caseId": "II-01",
      "callIndex": 1,
      "receipt": {
        "executionId": "invocation_integrity_ii-01_1",
        "toolName": "checkout_request",
        "argumentMode": "json-string",
        "rawResult": "{\"ok\":false,\"code\":\"invalid_arguments\",\"message\":\"Arguments do not match the tool's closed input schema.\",\"retryable\":true,\"operationId\":\"ii01_request_00000001\",\"replayed\":false,\"stateRevision\":0}",
        "canonicalResult": {
          "code": "invalid_arguments",
          "message": "Arguments do not match the tool's closed input schema.",
          "ok": false,
          "operationId": "ii01_request_00000001",
          "replayed": false,
          "retryable": true,
          "stateRevision": 0
        },
        "resultDigest": "c27e46ae8274150a7d3ce8653ddf522784aad3a0d71eb6ab05ad08bd4ae45a3e",
        "nativeCallCount": 1,
        "handlerTraceId": "event_4c5d5ab4-aaa3-423d-af02-81f74ac8b181",
        "handlerTraceStatus": "validation_error",
        "effectDigest": "76e4478f2617fdd729b98c6f73e877d91d82324da25fc887a4b07b1baef2055e",
        "stateBeforeDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "stateAfterDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "manifestHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40"
      },
      "trace": {
        "traceVersion": "operation-trace@1.0.0",
        "eventId": "event_4c5d5ab4-aaa3-423d-af02-81f74ac8b181",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "runId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "parentEventId": "event_39216bc5-e478-455c-a27a-fcc3c381bc28",
        "sequence": 3,
        "source": "native",
        "toolName": "checkout_request",
        "operationId": "ii01_request_00000001",
        "observedAt": "2026-08-30T01:04:57.071Z",
        "registryHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "fixture": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001"
        },
        "handlerVersion": "checkout_request@1.0.0",
        "domainVersion": "checkout-domain@1.0.0",
        "toolsetVersion": "checkout-toolset-v1@1.0.0",
        "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
        "runtime": {
          "executionPath": "native-webmcp",
          "origin": "https://toolproof-rust.vercel.app",
          "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
          "argumentMode": "json-string"
        },
        "status": "validation_error",
        "commitDisposition": "none",
        "cancellationObservedAfterCommit": false,
        "cancellationObservedAfterCompletion": false,
        "rawArguments": {
          "value": {
            "cartSnapshotHash": "0000000000000000000000000000000000000000000000000000000000000000",
            "operationId": "ii01_request_00000001",
            "orderTotalCents": 1,
            "pendingId": "pending_forged_00000001",
            "requestOperationId": "attacker_owned_00000001",
            "requestedFromRevision": 99,
            "status": "pending_human_approval"
          },
          "bytes": "{\"cartSnapshotHash\":\"0000000000000000000000000000000000000000000000000000000000000000\",\"operationId\":\"ii01_request_00000001\",\"orderTotalCents\":1,\"pendingId\":\"pending_forged_00000001\",\"requestOperationId\":\"attacker_owned_00000001\",\"requestedFromRevision\":99,\"status\":\"pending_human_approval\"}",
          "sha256": "9a46c1962608549de7971e023fca1056a0a4b0c88f7e1512466261c36632e483"
        },
        "canonicalArguments": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "rawResult": {
          "value": {
            "code": "invalid_arguments",
            "message": "Arguments do not match the tool's closed input schema.",
            "ok": false,
            "operationId": "ii01_request_00000001",
            "replayed": false,
            "retryable": true,
            "stateRevision": 0
          },
          "bytes": "{\"code\":\"invalid_arguments\",\"message\":\"Arguments do not match the tool's closed input schema.\",\"ok\":false,\"operationId\":\"ii01_request_00000001\",\"replayed\":false,\"retryable\":true,\"stateRevision\":0}",
          "sha256": "c27e46ae8274150a7d3ce8653ddf522784aad3a0d71eb6ab05ad08bd4ae45a3e"
        },
        "canonicalResult": {
          "value": {
            "code": "invalid_arguments",
            "message": "Arguments do not match the tool's closed input schema.",
            "ok": false,
            "operationId": "ii01_request_00000001",
            "replayed": false,
            "retryable": true,
            "stateRevision": 0
          },
          "bytes": "{\"code\":\"invalid_arguments\",\"message\":\"Arguments do not match the tool's closed input schema.\",\"ok\":false,\"operationId\":\"ii01_request_00000001\",\"replayed\":false,\"retryable\":true,\"stateRevision\":0}",
          "sha256": "c27e46ae8274150a7d3ce8653ddf522784aad3a0d71eb6ab05ad08bd4ae45a3e"
        },
        "error": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "stateBefore": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "stateAfter": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "effect": {
          "stateChanged": false,
          "revision": {
            "before": 0,
            "after": 0,
            "delta": 0,
            "changed": false
          },
          "quantities": [
            {
              "itemId": "field-notebook",
              "beforeQuantity": 1,
              "afterQuantity": 1,
              "delta": 0,
              "changed": false
            },
            {
              "itemId": "stoneware-mug",
              "beforeQuantity": 2,
              "afterQuantity": 2,
              "delta": 0,
              "changed": false
            }
          ],
          "pendingCheckout": {
            "before": null,
            "after": null,
            "changed": false
          },
          "unmodeledStateChanged": false
        }
      }
    },
    {
      "caseId": "II-02",
      "callIndex": 1,
      "receipt": {
        "executionId": "invocation_integrity_ii-02_1",
        "toolName": "cart_update",
        "argumentMode": "json-string",
        "rawResult": "{\"ok\":false,\"code\":\"invalid_item\",\"message\":\"The requested cart item is not available in this fixture.\",\"retryable\":true,\"operationId\":\"ii02_update_00000001\",\"replayed\":false,\"stateRevision\":0}",
        "canonicalResult": {
          "code": "invalid_item",
          "message": "The requested cart item is not available in this fixture.",
          "ok": false,
          "operationId": "ii02_update_00000001",
          "replayed": false,
          "retryable": true,
          "stateRevision": 0
        },
        "resultDigest": "3a9abcf175f393014f4e7ce6ff4cdfe0e611d2029934e16f46bdb92285c9a21a",
        "nativeCallCount": 1,
        "handlerTraceId": "event_c810d733-344e-4dbd-ad0a-4f00d6aa9f19",
        "handlerTraceStatus": "expected_error",
        "effectDigest": "76e4478f2617fdd729b98c6f73e877d91d82324da25fc887a4b07b1baef2055e",
        "stateBeforeDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "stateAfterDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "manifestHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40"
      },
      "trace": {
        "traceVersion": "operation-trace@1.0.0",
        "eventId": "event_c810d733-344e-4dbd-ad0a-4f00d6aa9f19",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "runId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "parentEventId": "event_4c5d5ab4-aaa3-423d-af02-81f74ac8b181",
        "sequence": 4,
        "source": "native",
        "toolName": "cart_update",
        "operationId": "ii02_update_00000001",
        "observedAt": "2026-08-30T01:04:57.081Z",
        "registryHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "fixture": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001"
        },
        "handlerVersion": "cart_update@1.0.0",
        "domainVersion": "checkout-domain@1.0.0",
        "toolsetVersion": "checkout-toolset-v1@1.0.0",
        "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
        "runtime": {
          "executionPath": "native-webmcp",
          "origin": "https://toolproof-rust.vercel.app",
          "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
          "argumentMode": "json-string"
        },
        "status": "expected_error",
        "commitDisposition": "none",
        "cancellationObservedAfterCommit": false,
        "cancellationObservedAfterCompletion": false,
        "rawArguments": {
          "value": {
            "itemId": "phantom-item",
            "operation": "set_quantity",
            "operationId": "ii02_update_00000001",
            "quantity": 3
          },
          "bytes": "{\"itemId\":\"phantom-item\",\"operation\":\"set_quantity\",\"operationId\":\"ii02_update_00000001\",\"quantity\":3}",
          "sha256": "aa4810539689697c812c75e449e72ae90a3f4fc2b472f7f7af8e120859c8184a"
        },
        "canonicalArguments": {
          "value": {
            "itemId": "phantom-item",
            "operation": "set_quantity",
            "operationId": "ii02_update_00000001",
            "quantity": 3
          },
          "bytes": "{\"itemId\":\"phantom-item\",\"operation\":\"set_quantity\",\"operationId\":\"ii02_update_00000001\",\"quantity\":3}",
          "sha256": "aa4810539689697c812c75e449e72ae90a3f4fc2b472f7f7af8e120859c8184a"
        },
        "rawResult": {
          "value": {
            "code": "invalid_item",
            "message": "The requested cart item is not available in this fixture.",
            "ok": false,
            "operationId": "ii02_update_00000001",
            "replayed": false,
            "retryable": true,
            "stateRevision": 0
          },
          "bytes": "{\"code\":\"invalid_item\",\"message\":\"The requested cart item is not available in this fixture.\",\"ok\":false,\"operationId\":\"ii02_update_00000001\",\"replayed\":false,\"retryable\":true,\"stateRevision\":0}",
          "sha256": "3a9abcf175f393014f4e7ce6ff4cdfe0e611d2029934e16f46bdb92285c9a21a"
        },
        "canonicalResult": {
          "value": {
            "code": "invalid_item",
            "message": "The requested cart item is not available in this fixture.",
            "ok": false,
            "operationId": "ii02_update_00000001",
            "replayed": false,
            "retryable": true,
            "stateRevision": 0
          },
          "bytes": "{\"code\":\"invalid_item\",\"message\":\"The requested cart item is not available in this fixture.\",\"ok\":false,\"operationId\":\"ii02_update_00000001\",\"replayed\":false,\"retryable\":true,\"stateRevision\":0}",
          "sha256": "3a9abcf175f393014f4e7ce6ff4cdfe0e611d2029934e16f46bdb92285c9a21a"
        },
        "error": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "stateBefore": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "stateAfter": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "effect": {
          "stateChanged": false,
          "revision": {
            "before": 0,
            "after": 0,
            "delta": 0,
            "changed": false
          },
          "quantities": [
            {
              "itemId": "field-notebook",
              "beforeQuantity": 1,
              "afterQuantity": 1,
              "delta": 0,
              "changed": false
            },
            {
              "itemId": "stoneware-mug",
              "beforeQuantity": 2,
              "afterQuantity": 2,
              "delta": 0,
              "changed": false
            }
          ],
          "pendingCheckout": {
            "before": null,
            "after": null,
            "changed": false
          },
          "unmodeledStateChanged": false
        }
      }
    },
    {
      "caseId": "II-03",
      "callIndex": 1,
      "receipt": {
        "executionId": "invocation_integrity_ii-03_1",
        "toolName": "checkout_request",
        "argumentMode": "json-string",
        "rawResult": "{\"ok\":true,\"code\":\"pending_human_approval\",\"operationId\":\"ii03_request_00000001\",\"replayed\":false,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"requestedFromRevision\":0,\"orderTotalCents\":7300,\"stateRevision\":1}",
        "canonicalResult": {
          "code": "pending_human_approval",
          "ok": true,
          "operationId": "ii03_request_00000001",
          "orderTotalCents": 7300,
          "pendingId": "pending_a9889565b0e5_00000001",
          "replayed": false,
          "requestedFromRevision": 0,
          "stateRevision": 1
        },
        "resultDigest": "ca77d1a411e17ba856d55e59bce2783e43de5534a52d2cfdb45670dc1f3d19a4",
        "nativeCallCount": 1,
        "handlerTraceId": "event_8dfa7534-8ee0-49c2-a1d4-304c651d546d",
        "handlerTraceStatus": "completed",
        "effectDigest": "526aac0627f057fba7a36759685af5dcada4fdbe1e0959a2cc3af9c057af4803",
        "stateBeforeDigest": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
        "stateAfterDigest": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d",
        "manifestHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40"
      },
      "trace": {
        "traceVersion": "operation-trace@1.0.0",
        "eventId": "event_8dfa7534-8ee0-49c2-a1d4-304c651d546d",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "runId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "parentEventId": "event_c810d733-344e-4dbd-ad0a-4f00d6aa9f19",
        "sequence": 5,
        "source": "native",
        "toolName": "checkout_request",
        "operationId": "ii03_request_00000001",
        "observedAt": "2026-08-30T01:04:57.084Z",
        "registryHash": "aaf40765a4707d638760b717d86a3a0ee29f1fe601719a8fd85a0f96f5210f40",
        "fixture": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001"
        },
        "handlerVersion": "checkout_request@1.0.0",
        "domainVersion": "checkout-domain@1.0.0",
        "toolsetVersion": "checkout-toolset-v1@1.0.0",
        "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
        "runtime": {
          "executionPath": "native-webmcp",
          "origin": "https://toolproof-rust.vercel.app",
          "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
          "argumentMode": "json-string"
        },
        "status": "completed",
        "commitDisposition": "committed",
        "cancellationObservedAfterCommit": false,
        "cancellationObservedAfterCompletion": false,
        "rawArguments": {
          "value": {
            "operationId": "ii03_request_00000001"
          },
          "bytes": "{\"operationId\":\"ii03_request_00000001\"}",
          "sha256": "5b66125f6ba36f124b04c1618b5ff5bb72c49087a4272ca8f6055c793efa1ba1"
        },
        "canonicalArguments": {
          "value": {
            "operationId": "ii03_request_00000001"
          },
          "bytes": "{\"operationId\":\"ii03_request_00000001\"}",
          "sha256": "5b66125f6ba36f124b04c1618b5ff5bb72c49087a4272ca8f6055c793efa1ba1"
        },
        "rawResult": {
          "value": {
            "code": "pending_human_approval",
            "ok": true,
            "operationId": "ii03_request_00000001",
            "orderTotalCents": 7300,
            "pendingId": "pending_a9889565b0e5_00000001",
            "replayed": false,
            "requestedFromRevision": 0,
            "stateRevision": 1
          },
          "bytes": "{\"code\":\"pending_human_approval\",\"ok\":true,\"operationId\":\"ii03_request_00000001\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"replayed\":false,\"requestedFromRevision\":0,\"stateRevision\":1}",
          "sha256": "ca77d1a411e17ba856d55e59bce2783e43de5534a52d2cfdb45670dc1f3d19a4"
        },
        "canonicalResult": {
          "value": {
            "code": "pending_human_approval",
            "ok": true,
            "operationId": "ii03_request_00000001",
            "orderTotalCents": 7300,
            "pendingId": "pending_a9889565b0e5_00000001",
            "replayed": false,
            "requestedFromRevision": 0,
            "stateRevision": 1
          },
          "bytes": "{\"code\":\"pending_human_approval\",\"ok\":true,\"operationId\":\"ii03_request_00000001\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"replayed\":false,\"requestedFromRevision\":0,\"stateRevision\":1}",
          "sha256": "ca77d1a411e17ba856d55e59bce2783e43de5534a52d2cfdb45670dc1f3d19a4"
        },
        "error": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "stateBefore": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": null,
            "revision": 0,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":null,\"revision\":0,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457"
        },
        "stateAfter": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": {
              "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "orderTotalCents": 7300,
              "pendingId": "pending_a9889565b0e5_00000001",
              "requestOperationId": "ii03_request_00000001",
              "requestedFromRevision": 0,
              "status": "pending_human_approval"
            },
            "revision": 1,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":{\"cartSnapshotHash\":\"a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"requestOperationId\":\"ii03_request_00000001\",\"requestedFromRevision\":0,\"status\":\"pending_human_approval\"},\"revision\":1,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d"
        },
        "effect": {
          "stateChanged": true,
          "revision": {
            "before": 0,
            "after": 1,
            "delta": 1,
            "changed": true
          },
          "quantities": [
            {
              "itemId": "field-notebook",
              "beforeQuantity": 1,
              "afterQuantity": 1,
              "delta": 0,
              "changed": false
            },
            {
              "itemId": "stoneware-mug",
              "beforeQuantity": 2,
              "afterQuantity": 2,
              "delta": 0,
              "changed": false
            }
          ],
          "pendingCheckout": {
            "before": null,
            "after": {
              "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "orderTotalCents": 7300,
              "pendingId": "pending_a9889565b0e5_00000001",
              "requestOperationId": "ii03_request_00000001",
              "requestedFromRevision": 0,
              "status": "pending_human_approval"
            },
            "changed": true
          },
          "unmodeledStateChanged": false
        }
      }
    },
    {
      "caseId": "II-03",
      "callIndex": 2,
      "receipt": {
        "executionId": "invocation_integrity_ii-03_2",
        "toolName": "checkout_request",
        "argumentMode": "json-string",
        "rawResult": "{\"ok\":true,\"code\":\"pending_human_approval\",\"operationId\":\"ii03_request_00000001\",\"replayed\":true,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"requestedFromRevision\":0,\"orderTotalCents\":7300,\"stateRevision\":1}",
        "canonicalResult": {
          "code": "pending_human_approval",
          "ok": true,
          "operationId": "ii03_request_00000001",
          "orderTotalCents": 7300,
          "pendingId": "pending_a9889565b0e5_00000001",
          "replayed": true,
          "requestedFromRevision": 0,
          "stateRevision": 1
        },
        "resultDigest": "acf483d639904408a1a5c79d02a7b881c5c945890539f4b6ee88a90006d26aa5",
        "nativeCallCount": 1,
        "handlerTraceId": "event_e8aeb243-5ff4-4239-8957-2adfff979732",
        "handlerTraceStatus": "duplicate",
        "effectDigest": "69f4cb04eca6995c58f6534b30bcd53c617fa5dec009784005c39f4c9b66e657",
        "stateBeforeDigest": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d",
        "stateAfterDigest": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d",
        "manifestHash": "191e7a04618acfc21982a324da3afc0ae5505a7b22dac26652fe047f80025c5f"
      },
      "trace": {
        "traceVersion": "operation-trace@1.0.0",
        "eventId": "event_e8aeb243-5ff4-4239-8957-2adfff979732",
        "sessionId": "session_8dbc3003-2b08-4ba3-b13a-703fa0adadf4",
        "runId": "trajectory_2317c071-32f6-40a9-9e6e-fc182103d855",
        "parentEventId": "event_8dfa7534-8ee0-49c2-a1d4-304c651d546d",
        "sequence": 6,
        "source": "native",
        "toolName": "checkout_request",
        "operationId": "ii03_request_00000001",
        "observedAt": "2026-08-30T01:04:57.111Z",
        "registryHash": "191e7a04618acfc21982a324da3afc0ae5505a7b22dac26652fe047f80025c5f",
        "fixture": {
          "fixtureId": "checkout-seed-v1",
          "fixtureVersion": "checkout-fixture@1.0.0",
          "fixtureSeed": "toolproof-checkout-seed-001"
        },
        "handlerVersion": "checkout_request@1.0.0",
        "domainVersion": "checkout-domain@1.0.0",
        "toolsetVersion": "checkout-toolset-v1@1.0.0",
        "appCommit": "0b6f907a07c09d193e26f5e35dc5a5b3ad1b9786",
        "runtime": {
          "executionPath": "native-webmcp",
          "origin": "https://toolproof-rust.vercel.app",
          "userAgent": "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/152.0.0.0 Safari/537.36",
          "argumentMode": "json-string"
        },
        "status": "duplicate",
        "commitDisposition": "replayed",
        "cancellationObservedAfterCommit": false,
        "cancellationObservedAfterCompletion": false,
        "rawArguments": {
          "value": {
            "operationId": "ii03_request_00000001"
          },
          "bytes": "{\"operationId\":\"ii03_request_00000001\"}",
          "sha256": "5b66125f6ba36f124b04c1618b5ff5bb72c49087a4272ca8f6055c793efa1ba1"
        },
        "canonicalArguments": {
          "value": {
            "operationId": "ii03_request_00000001"
          },
          "bytes": "{\"operationId\":\"ii03_request_00000001\"}",
          "sha256": "5b66125f6ba36f124b04c1618b5ff5bb72c49087a4272ca8f6055c793efa1ba1"
        },
        "rawResult": {
          "value": {
            "code": "pending_human_approval",
            "ok": true,
            "operationId": "ii03_request_00000001",
            "orderTotalCents": 7300,
            "pendingId": "pending_a9889565b0e5_00000001",
            "replayed": true,
            "requestedFromRevision": 0,
            "stateRevision": 1
          },
          "bytes": "{\"code\":\"pending_human_approval\",\"ok\":true,\"operationId\":\"ii03_request_00000001\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"replayed\":true,\"requestedFromRevision\":0,\"stateRevision\":1}",
          "sha256": "acf483d639904408a1a5c79d02a7b881c5c945890539f4b6ee88a90006d26aa5"
        },
        "canonicalResult": {
          "value": {
            "code": "pending_human_approval",
            "ok": true,
            "operationId": "ii03_request_00000001",
            "orderTotalCents": 7300,
            "pendingId": "pending_a9889565b0e5_00000001",
            "replayed": true,
            "requestedFromRevision": 0,
            "stateRevision": 1
          },
          "bytes": "{\"code\":\"pending_human_approval\",\"ok\":true,\"operationId\":\"ii03_request_00000001\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"replayed\":true,\"requestedFromRevision\":0,\"stateRevision\":1}",
          "sha256": "acf483d639904408a1a5c79d02a7b881c5c945890539f4b6ee88a90006d26aa5"
        },
        "error": {
          "value": null,
          "bytes": "null",
          "sha256": "74234e98afe7498fb5daf1f36ac2d78acc339464f950703b8c019892f982b90b"
        },
        "stateBefore": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": {
              "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "orderTotalCents": 7300,
              "pendingId": "pending_a9889565b0e5_00000001",
              "requestOperationId": "ii03_request_00000001",
              "requestedFromRevision": 0,
              "status": "pending_human_approval"
            },
            "revision": 1,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":{\"cartSnapshotHash\":\"a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"requestOperationId\":\"ii03_request_00000001\",\"requestedFromRevision\":0,\"status\":\"pending_human_approval\"},\"revision\":1,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d"
        },
        "stateAfter": {
          "value": {
            "currency": "USD",
            "fixtureId": "checkout-seed-v1",
            "fixtureVersion": "checkout-fixture@1.0.0",
            "fulfillment": {
              "deliveryNotice": "Simulated estimate; no shipment occurs.",
              "deliveryWindow": "3-5-business-days",
              "shippingCents": 700,
              "shippingLabel": "Standard shipping",
              "shippingMethod": "standard"
            },
            "lines": [
              {
                "itemId": "field-notebook",
                "name": "Field notebook",
                "quantity": 1,
                "unitPriceCents": 1800
              },
              {
                "itemId": "stoneware-mug",
                "name": "Stoneware mug",
                "quantity": 2,
                "unitPriceCents": 2400
              }
            ],
            "pendingCheckout": {
              "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "orderTotalCents": 7300,
              "pendingId": "pending_a9889565b0e5_00000001",
              "requestOperationId": "ii03_request_00000001",
              "requestedFromRevision": 0,
              "status": "pending_human_approval"
            },
            "revision": 1,
            "seed": "toolproof-checkout-seed-001"
          },
          "bytes": "{\"currency\":\"USD\",\"fixtureId\":\"checkout-seed-v1\",\"fixtureVersion\":\"checkout-fixture@1.0.0\",\"fulfillment\":{\"deliveryNotice\":\"Simulated estimate; no shipment occurs.\",\"deliveryWindow\":\"3-5-business-days\",\"shippingCents\":700,\"shippingLabel\":\"Standard shipping\",\"shippingMethod\":\"standard\"},\"lines\":[{\"itemId\":\"field-notebook\",\"name\":\"Field notebook\",\"quantity\":1,\"unitPriceCents\":1800},{\"itemId\":\"stoneware-mug\",\"name\":\"Stoneware mug\",\"quantity\":2,\"unitPriceCents\":2400}],\"pendingCheckout\":{\"cartSnapshotHash\":\"a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457\",\"orderTotalCents\":7300,\"pendingId\":\"pending_a9889565b0e5_00000001\",\"requestOperationId\":\"ii03_request_00000001\",\"requestedFromRevision\":0,\"status\":\"pending_human_approval\"},\"revision\":1,\"seed\":\"toolproof-checkout-seed-001\"}",
          "sha256": "312a6de6c07d096e8ff4689e2ccbd7d2457c0d930af452a6812025a78c38161d"
        },
        "effect": {
          "stateChanged": false,
          "revision": {
            "before": 1,
            "after": 1,
            "delta": 0,
            "changed": false
          },
          "quantities": [
            {
              "itemId": "field-notebook",
              "beforeQuantity": 1,
              "afterQuantity": 1,
              "delta": 0,
              "changed": false
            },
            {
              "itemId": "stoneware-mug",
              "beforeQuantity": 2,
              "afterQuantity": 2,
              "delta": 0,
              "changed": false
            }
          ],
          "pendingCheckout": {
            "before": {
              "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "orderTotalCents": 7300,
              "pendingId": "pending_a9889565b0e5_00000001",
              "requestOperationId": "ii03_request_00000001",
              "requestedFromRevision": 0,
              "status": "pending_human_approval"
            },
            "after": {
              "cartSnapshotHash": "a9889565b0e5c8a60c7667cab2110f058774e72c1e89c08d1f255124c07ea457",
              "orderTotalCents": 7300,
              "pendingId": "pending_a9889565b0e5_00000001",
              "requestOperationId": "ii03_request_00000001",
              "requestedFromRevision": 0,
              "status": "pending_human_approval"
            },
            "changed": false
          },
          "unmodeledStateChanged": false
        }
      }
    }
  ]
}

Baseline versus revised

Meaning metrics

Meaning Matrix

Trace inspector

Request and decision

Live catalog and native execution

State and effect

Runtime and artifact hashes

Contract version diff

One truthful identity chain

Exports and limitations

Invocation Integrity Matrix

Actual outcome

Trusted state

Ledger diff

Assertions

Actual outcome

Trusted state

Ledger diff

Assertions

Actual outcome

Trusted state

Ledger diff

Assertions

Descriptors, preflight, compatibility/reset, and native traces

Invocation Integrity exports and limitations