{
  "account_headline": [
    {
      "account": "Account A",
      "controlled_tests": {
        "sources": [
          "0007-full-proof-probes.jsonl#30",
          "0007-full-proof-probes.jsonl#60",
          "0008-run-c-coinm.jsonl#30"
        ],
        "value": "Spot: validation reached \u2713 \u00b7 USD\u24c8-M: validation reached \u2713 \u00b7 COIN-M: validation reached \u2713"
      },
      "granted_mcp_scopes": {
        "sources": [
          "0005-m0-run-b.jsonl#1"
        ],
        "technical": "mcp:account:read mcp:futures:trade mcp:spot:trade",
        "value": "Spot & Margin trading \u00b7 Futures trading"
      },
      "permission_check": {
        "sources": [
          "0005-m0-run-b.jsonl#4"
        ],
        "technical": "wallet.getApiKeyPermission",
        "value": "Spot \u2715 \u00b7 Futures \u2715"
      },
      "permission_flags": {
        "futures": false,
        "spot": false
      },
      "tested_capabilities": [
        "spot",
        "usd_m_futures",
        "coin_m_futures"
      ],
      "tool_count": 71,
      "tools": {
        "sources": [
          "0005-m0-run-b.jsonl#1",
          "0005-m0-run-b.jsonl#2",
          "0005-m0-run-b.jsonl#3"
        ],
        "value": "71 tools \u00b7 11 trading writes"
      },
      "write_count": 11
    },
    {
      "account": "Account B",
      "controlled_tests": {
        "sources": [
          "0012-codex-cli-second-account.jsonl#44",
          "0012-codex-cli-second-account.jsonl#78",
          "0012-codex-cli-second-account.jsonl#110",
          "0012-codex-cli-second-account.jsonl#140"
        ],
        "value": "Spot: validation reached \u2713 \u00b7 USD\u24c8-M: validation reached \u2713 \u00b7 COIN-M: validation reached \u2713"
      },
      "granted_mcp_scopes": {
        "sources": [
          "0012-codex-cli-second-account.jsonl#1"
        ],
        "technical": "mcp:account:read mcp:futures:trade mcp:spot:trade",
        "value": "Spot & Margin trading \u00b7 Futures trading"
      },
      "permission_check": {
        "sources": [
          "0012-codex-cli-second-account.jsonl#48"
        ],
        "technical": "wallet.getApiKeyPermission",
        "value": "Spot \u2713 \u00b7 Futures \u2713"
      },
      "permission_flags": {
        "futures": true,
        "spot": true
      },
      "tested_capabilities": [
        "spot",
        "usd_m_futures",
        "coin_m_futures"
      ],
      "tool_count": 71,
      "tools": {
        "sources": [
          "0012-codex-cli-second-account.jsonl#1",
          "0012-codex-cli-second-account.jsonl#2",
          "0012-codex-cli-second-account.jsonl#3",
          "0012-codex-cli-second-account.jsonl#8",
          "0012-codex-cli-second-account.jsonl#9",
          "0012-codex-cli-second-account.jsonl#10",
          "0012-codex-cli-second-account.jsonl#45",
          "0012-codex-cli-second-account.jsonl#46",
          "0012-codex-cli-second-account.jsonl#47",
          "0012-codex-cli-second-account.jsonl#79",
          "0012-codex-cli-second-account.jsonl#80",
          "0013-codex-cli-funded-financial-reach.jsonl#2",
          "0015-codex-cli-second-account-exit-cost-20260908.jsonl#2",
          "0015-codex-cli-second-account-exit-cost-20260908.jsonl#53"
        ],
        "value": "71 tools \u00b7 11 trading writes"
      },
      "write_count": 11
    }
  ],
  "authority": {
    "coin_m_futures": {
      "advertised_write_tools": [
        "futures_coin.cancelOrder",
        "futures_coin.changeInitialLeverage",
        "futures_coin.changeMarginType",
        "futures_coin.newOrder"
      ],
      "classification": "VERIFIED",
      "control_passed": true,
      "error_code": "-4013",
      "notes": [],
      "probe_tool": "futures_coin.newOrder",
      "scope_granted": "mcp:account:read mcp:futures:trade mcp:spot:trade",
      "state_unchanged": true
    },
    "convert": {
      "advertised_write_tools": [],
      "classification": "DENIED",
      "control_passed": null,
      "error_code": null,
      "notes": [
        "no write tool advertised under this grant"
      ],
      "probe_tool": null,
      "scope_granted": "mcp:account:read mcp:futures:trade mcp:spot:trade",
      "state_unchanged": null
    },
    "margin": {
      "advertised_write_tools": [],
      "classification": "DENIED",
      "control_passed": null,
      "error_code": null,
      "notes": [
        "no write tool advertised under this grant"
      ],
      "probe_tool": null,
      "scope_granted": "mcp:account:read mcp:futures:trade mcp:spot:trade",
      "state_unchanged": null
    },
    "spot": {
      "advertised_write_tools": [
        "spot.deleteOpenOrders",
        "spot.deleteOrder",
        "spot.newOrder"
      ],
      "classification": "VERIFIED",
      "control_passed": true,
      "error_code": "-1100",
      "notes": [],
      "probe_tool": "spot.newOrder",
      "scope_granted": "mcp:account:read mcp:futures:trade mcp:spot:trade",
      "state_unchanged": true
    },
    "transfer": {
      "advertised_write_tools": [],
      "classification": "DENIED",
      "control_passed": null,
      "error_code": null,
      "notes": [
        "no write tool advertised under this grant"
      ],
      "probe_tool": null,
      "scope_granted": "mcp:account:read mcp:futures:trade mcp:spot:trade",
      "state_unchanged": null
    },
    "usd_m_futures": {
      "advertised_write_tools": [
        "futures_usds.cancelOrder",
        "futures_usds.changeInitialLeverage",
        "futures_usds.changeMarginType",
        "futures_usds.newOrder"
      ],
      "classification": "VERIFIED",
      "control_passed": true,
      "error_code": "-4013",
      "notes": [],
      "probe_tool": "futures_usds.newOrder",
      "scope_granted": "mcp:account:read mcp:futures:trade mcp:spot:trade",
      "state_unchanged": true
    }
  },
  "boundary": "The capability checks were designed to stop before an order could execute, and account state was checked before and after each one. A separate, explicitly approved buy/sell measurement is shown separately. This page is read-only. KEYRING performs the audit. An AI model can propose bounded test inputs, but deterministic KEYRING code controls every request and final classification.",
  "contradictions": [
    {
      "evidence": [
        "0009-m0-5-permission-mutability.jsonl#1"
      ],
      "label": "OBSERVED \u00b7 operator",
      "measured": "RECONNECT_REQUIRED",
      "measured_from": "m0-5-permission-mutability",
      "question": "Can permissions be narrowed without reconnecting?",
      "source_a": "MCP documentation says to disconnect and reconnect to update",
      "source_b": "Launch material says permissions can be reviewed or changed"
    },
    {
      "evidence": [
        "0007-full-proof-probes.jsonl#30",
        "0010-client-matrix.jsonl#1",
        "0010-client-matrix.jsonl#2",
        "0012-codex-cli-second-account.jsonl#141"
      ],
      "label": "OBSERVED \u00b7 operator",
      "measured": "Direct gateway / not applicable: no confirmation (OBSERVED \u00b7 harness); Claude Code / default: no confirmation (OBSERVED \u00b7 operator); Claude Code / manual: confirmation shown (OBSERVED \u00b7 operator); Codex CLI / default: confirmation shown (OBSERVED \u00b7 operator)",
      "measured_from": "client_gate_observation",
      "question": "Is a confirmation always shown before an action?",
      "source_a": "MCP documentation describes confirmation for non-read actions",
      "source_b": "Support material describes flows designed to request confirmation"
    }
  ],
  "evidence_files": [
    "0001-m0-preflight.jsonl",
    "0002-m0-oauth-discovery.jsonl",
    "0003-m0-tools-list.jsonl",
    "0004-m0-positive-control.jsonl",
    "0005-m0-run-b.jsonl",
    "0007-full-proof-probes.jsonl",
    "0008-run-c-coinm.jsonl",
    "0009-m0-5-permission-mutability.jsonl",
    "0010-client-matrix.jsonl",
    "0011-spot-instrument-inventory.jsonl",
    "0012-codex-cli-second-account.jsonl",
    "0013-codex-cli-funded-financial-reach.jsonl",
    "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
    "0017-codex-cli-second-account-revocation-20260908.jsonl"
  ],
  "evidence_index": [
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0001-m0-preflight.jsonl",
      "kind": "M0 Preflight",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T13:29:15+00:00",
      "operation": "\u2014",
      "outcome": "preflight",
      "ref": "0001-m0-preflight.jsonl#1",
      "sequence": 1,
      "source": "local build environment",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0002-m0-oauth-discovery.jsonl",
      "kind": "Oauth Discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T18:52:37.768894+00:00",
      "operation": "protected_resource_metadata",
      "outcome": "fetched",
      "ref": "0002-m0-oauth-discovery.jsonl#1",
      "sequence": 1,
      "source": "https://agent.binance.com/.well-known/oauth-protected-resource",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0002-m0-oauth-discovery.jsonl",
      "kind": "Oauth Discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T18:52:38.018397+00:00",
      "operation": "authorization_server_metadata",
      "outcome": "fetched",
      "ref": "0002-m0-oauth-discovery.jsonl#2",
      "sequence": 2,
      "source": "https://agent.binance.com/.well-known/oauth-authorization-server",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0002-m0-oauth-discovery.jsonl",
      "kind": "Oauth Discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T18:52:38.241637+00:00",
      "operation": "protected_resource_metadata_path_suffixed",
      "outcome": "fetched",
      "ref": "0002-m0-oauth-discovery.jsonl#3",
      "sequence": 3,
      "source": "https://agent.binance.com/.well-known/oauth-protected-resource/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0003-m0-tools-list.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:13:08.553352+00:00",
      "operation": "initialize",
      "outcome": "response_captured",
      "ref": "0003-m0-tools-list.jsonl#1",
      "sequence": 1,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0003-m0-tools-list.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:13:09.001232+00:00",
      "operation": "tools/list",
      "outcome": "response_captured",
      "ref": "0003-m0-tools-list.jsonl#2",
      "sequence": 2,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0003-m0-tools-list.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:13:42.831782+00:00",
      "operation": "tools/list page 1",
      "outcome": "response_captured",
      "ref": "0003-m0-tools-list.jsonl#3",
      "sequence": 3,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0003-m0-tools-list.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:13:43.059893+00:00",
      "operation": "tools/list page 2",
      "outcome": "response_captured",
      "ref": "0003-m0-tools-list.jsonl#4",
      "sequence": 4,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0004-m0-positive-control.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:17:28.437571+00:00",
      "operation": "wallet.getApiKeyPermission",
      "outcome": "response_captured",
      "ref": "0004-m0-positive-control.jsonl#1",
      "sequence": 1,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0004-m0-positive-control.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:17:28.938620+00:00",
      "operation": "spot.getAccount",
      "outcome": "response_captured",
      "ref": "0004-m0-positive-control.jsonl#2",
      "sequence": 2,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0005-m0-run-b.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:26:51.953165+00:00",
      "operation": "initialize",
      "outcome": "response_captured",
      "ref": "0005-m0-run-b.jsonl#1",
      "sequence": 1,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0005-m0-run-b.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:26:52.389157+00:00",
      "operation": "tools/list page 1",
      "outcome": "response_captured",
      "ref": "0005-m0-run-b.jsonl#2",
      "sequence": 2,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0005-m0-run-b.jsonl",
      "kind": "Tool discovery",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:26:52.615353+00:00",
      "operation": "tools/list page 2",
      "outcome": "response_captured",
      "ref": "0005-m0-run-b.jsonl#3",
      "sequence": 3,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0005-m0-run-b.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:26:52.943235+00:00",
      "operation": "wallet.getApiKeyPermission",
      "outcome": "response_captured",
      "ref": "0005-m0-run-b.jsonl#4",
      "sequence": 4,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0005-m0-run-b.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:26:54.050929+00:00",
      "operation": "spot.getAccount",
      "outcome": "response_captured",
      "ref": "0005-m0-run-b.jsonl#5",
      "sequence": 5,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:45:57.849475+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0007-full-proof-probes.jsonl#1",
      "sequence": 1,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:07.826430+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#2",
      "sequence": 2,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:07.833184+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#3",
      "sequence": 3,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:07.840525+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#4",
      "sequence": 4,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:07.847034+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#5",
      "sequence": 5,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:07.872677+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#6",
      "sequence": 6,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:07.943954+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#7",
      "sequence": 7,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.020002+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#8",
      "sequence": 8,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.074114+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#9",
      "sequence": 9,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.121431+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#10",
      "sequence": 10,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.199786+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#11",
      "sequence": 11,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.226090+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#12",
      "sequence": 12,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.251481+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#13",
      "sequence": 13,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.272246+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#14",
      "sequence": 14,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:08.291987+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#15",
      "sequence": 15,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.370743+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#16",
      "sequence": 16,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.395085+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#17",
      "sequence": 17,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.430429+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#18",
      "sequence": 18,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.456015+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#19",
      "sequence": 19,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.488966+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#20",
      "sequence": 20,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.543002+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#21",
      "sequence": 21,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.581923+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#22",
      "sequence": 22,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.630197+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#23",
      "sequence": 23,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.669665+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#24",
      "sequence": 24,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.714061+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#25",
      "sequence": 25,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.751886+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#26",
      "sequence": 26,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.800147+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#27",
      "sequence": 27,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.848893+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#28",
      "sequence": 28,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.887038+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#29",
      "sequence": 29,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-1013",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:17.935261+00:00",
      "operation": "spot.newOrder",
      "outcome": "VERIFIED",
      "ref": "0007-full-proof-probes.jsonl#30",
      "sequence": 30,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:18.413716+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0007-full-proof-probes.jsonl#31",
      "sequence": 31,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:25.293815+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#32",
      "sequence": 32,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:25.641544+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#33",
      "sequence": 33,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:25.999322+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#34",
      "sequence": 34,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:26.333077+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#35",
      "sequence": 35,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:26.690293+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#36",
      "sequence": 36,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:27.074621+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#37",
      "sequence": 37,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:27.522065+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#38",
      "sequence": 38,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:27.915184+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#39",
      "sequence": 39,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:28.277056+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#40",
      "sequence": 40,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:28.716384+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#41",
      "sequence": 41,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:29.109592+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#42",
      "sequence": 42,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:29.479430+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#43",
      "sequence": 43,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:29.855842+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#44",
      "sequence": 44,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:30.219953+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0007-full-proof-probes.jsonl#45",
      "sequence": 45,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:37.928051+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#46",
      "sequence": 46,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:38.325946+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#47",
      "sequence": 47,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:38.810310+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#48",
      "sequence": 48,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:39.182054+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#49",
      "sequence": 49,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:39.571707+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#50",
      "sequence": 50,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:39.967618+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#51",
      "sequence": 51,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:40.341160+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#52",
      "sequence": 52,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:40.715262+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#53",
      "sequence": 53,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:41.142914+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#54",
      "sequence": 54,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:41.522226+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#55",
      "sequence": 55,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:41.901552+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#56",
      "sequence": 56,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:42.428595+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#57",
      "sequence": 57,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:42.844624+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#58",
      "sequence": 58,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:43.250589+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0007-full-proof-probes.jsonl#59",
      "sequence": 59,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0007-full-proof-probes.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:46:43.678836+00:00",
      "operation": "futures_usds.newOrder",
      "outcome": "INCONCLUSIVE",
      "ref": "0007-full-proof-probes.jsonl#60",
      "sequence": 60,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:31.039777+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0008-run-c-coinm.jsonl#1",
      "sequence": 1,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.273462+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#2",
      "sequence": 2,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.278749+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#3",
      "sequence": 3,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.283396+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#4",
      "sequence": 4,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.288197+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#5",
      "sequence": 5,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.309672+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#6",
      "sequence": 6,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.337901+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#7",
      "sequence": 7,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.358742+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#8",
      "sequence": 8,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.377082+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#9",
      "sequence": 9,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.397159+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#10",
      "sequence": 10,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.425273+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#11",
      "sequence": 11,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.445693+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#12",
      "sequence": 12,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.469554+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#13",
      "sequence": 13,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.491267+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#14",
      "sequence": 14,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:41.523714+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0008-run-c-coinm.jsonl#15",
      "sequence": 15,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.232894+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#16",
      "sequence": 16,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.256650+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#17",
      "sequence": 17,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.281067+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#18",
      "sequence": 18,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.309643+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#19",
      "sequence": 19,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.349651+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#20",
      "sequence": 20,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.401307+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#21",
      "sequence": 21,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.445969+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#22",
      "sequence": 22,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.487476+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#23",
      "sequence": 23,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.538744+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#24",
      "sequence": 24,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.575264+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#25",
      "sequence": 25,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.623683+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#26",
      "sequence": 26,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.681965+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#27",
      "sequence": 27,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.730033+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#28",
      "sequence": 28,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.769684+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0008-run-c-coinm.jsonl#29",
      "sequence": 29,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "-1111",
      "file": "0008-run-c-coinm.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T19:48:50.818128+00:00",
      "operation": "futures_coin.newOrder",
      "outcome": "INCONCLUSIVE",
      "ref": "0008-run-c-coinm.jsonl#30",
      "sequence": 30,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "\u2014",
      "capture_origin": "operator",
      "error_code": "\u2014",
      "file": "0009-m0-5-permission-mutability.jsonl",
      "kind": "User observation",
      "label": "OBSERVED \u00b7 operator",
      "occurred_at": "2026-09-06T20:11:40.064839+00:00",
      "operation": "view_permissions",
      "outcome": "RECONNECT_REQUIRED",
      "ref": "0009-m0-5-permission-mutability.jsonl#1",
      "sequence": 1,
      "source": "Binance web UI: Profile > Dashboard > Sub-account > Account Management > View permissions",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "operator",
      "error_code": "\u2014",
      "file": "0010-client-matrix.jsonl",
      "kind": "User observation",
      "label": "OBSERVED \u00b7 operator",
      "occurred_at": "2026-09-06T20:23:29.872888+00:00",
      "operation": "client_gate_observation",
      "outcome": "NO_CONFIRMATION_PROMPT",
      "ref": "0010-client-matrix.jsonl#1",
      "sequence": 1,
      "source": "Claude Code CLI v2.1.263, interactive session",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "operator",
      "error_code": "\u2014",
      "file": "0010-client-matrix.jsonl",
      "kind": "User observation",
      "label": "OBSERVED \u00b7 operator",
      "occurred_at": "2026-09-06T20:37:50.272920+00:00",
      "operation": "client_gate_observation",
      "outcome": "CONFIRMATION_PROMPT_SHOWN",
      "ref": "0010-client-matrix.jsonl#2",
      "sequence": 2,
      "source": "Claude Code CLI v2.1.263, permission mode manual",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0011-spot-instrument-inventory.jsonl",
      "kind": "Instrument Inventory",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-06T20:41:18.514767+00:00",
      "operation": "spot.exchangeInfo",
      "outcome": "inventory_derived",
      "ref": "0011-spot-instrument-inventory.jsonl#1",
      "sequence": 1,
      "source": "https://agent.binance.com/mcp/agentic",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:20.727680+00:00",
      "operation": "initialize",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#1",
      "sequence": 1,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Tool list",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:22.010094+00:00",
      "operation": "tools/list",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#2",
      "sequence": 2,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Tool list",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:22.014970+00:00",
      "operation": "tools/list",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#3",
      "sequence": 3,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Permission report",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:22.543960+00:00",
      "operation": "wallet.getApiKeyPermission",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#4",
      "sequence": 4,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Symbol Filters",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:23.194537+00:00",
      "operation": "spot.exchangeInfo",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#5",
      "sequence": 5,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Symbol Filters",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:26.563574+00:00",
      "operation": "futures_usds.exchangeInformation",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#6",
      "sequence": 6,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Symbol Filters",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:22:26.971486+00:00",
      "operation": "futures_coin.exchangeInformation",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#7",
      "sequence": 7,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:29:59.417895+00:00",
      "operation": "initialize",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#8",
      "sequence": 8,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Tool list",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:30:00.541488+00:00",
      "operation": "tools/list",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#9",
      "sequence": 9,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Tool list",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:30:00.661639+00:00",
      "operation": "tools/list",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#10",
      "sequence": 10,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Permission report",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:30:01.165029+00:00",
      "operation": "wallet.getApiKeyPermission",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#11",
      "sequence": 11,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Symbol Filters",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:30:01.836427+00:00",
      "operation": "spot.exchangeInfo",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#12",
      "sequence": 12,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Symbol Filters",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:30:05.384080+00:00",
      "operation": "futures_usds.exchangeInformation",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#13",
      "sequence": 13,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Symbol Filters",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:30:05.940826+00:00",
      "operation": "futures_coin.exchangeInformation",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#14",
      "sequence": 14,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:37.962121+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0012-codex-cli-second-account.jsonl#15",
      "sequence": 15,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:48.481152+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#16",
      "sequence": 16,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:48.703433+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#17",
      "sequence": 17,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:48.931121+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#18",
      "sequence": 18,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:49.150890+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#19",
      "sequence": 19,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:49.400332+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#20",
      "sequence": 20,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:49.725329+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#21",
      "sequence": 21,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:49.975432+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#22",
      "sequence": 22,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:50.205953+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#23",
      "sequence": 23,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:50.428938+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#24",
      "sequence": 24,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:50.659323+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#25",
      "sequence": 25,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:50.888500+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#26",
      "sequence": 26,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:51.120215+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#27",
      "sequence": 27,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:51.366099+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#28",
      "sequence": 28,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:31:51.628769+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#29",
      "sequence": 29,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:01.264142+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#30",
      "sequence": 30,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:01.494502+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#31",
      "sequence": 31,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:01.731405+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#32",
      "sequence": 32,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:01.978883+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#33",
      "sequence": 33,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:02.220984+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#34",
      "sequence": 34,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:02.479716+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#35",
      "sequence": 35,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:02.729757+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#36",
      "sequence": 36,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:03.004137+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#37",
      "sequence": 37,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:03.264877+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#38",
      "sequence": 38,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:03.492032+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#39",
      "sequence": 39,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:03.736289+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#40",
      "sequence": 40,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:03.996080+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#41",
      "sequence": 41,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:04.234576+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#42",
      "sequence": 42,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:04.476796+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#43",
      "sequence": 43,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-1100",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:32:26.584513+00:00",
      "operation": "spot.newOrder",
      "outcome": "INCONCLUSIVE",
      "ref": "0012-codex-cli-second-account.jsonl#44",
      "sequence": 44,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:42:48.175868+00:00",
      "operation": "initialize",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#45",
      "sequence": 45,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Tool list",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:42:49.451061+00:00",
      "operation": "tools/list",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#46",
      "sequence": 46,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Tool list",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:42:50.067420+00:00",
      "operation": "tools/list",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#47",
      "sequence": 47,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Permission report",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:42:51.033388+00:00",
      "operation": "wallet.getApiKeyPermission",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#48",
      "sequence": 48,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:23.810167+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0012-codex-cli-second-account.jsonl#49",
      "sequence": 49,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:35.326887+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#50",
      "sequence": 50,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:35.894192+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#51",
      "sequence": 51,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:36.479803+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#52",
      "sequence": 52,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:37.073374+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#53",
      "sequence": 53,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:37.694652+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#54",
      "sequence": 54,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:38.263362+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#55",
      "sequence": 55,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:38.854020+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#56",
      "sequence": 56,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:39.426277+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#57",
      "sequence": 57,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:40.124962+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#58",
      "sequence": 58,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:40.703161+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#59",
      "sequence": 59,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:41.254741+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#60",
      "sequence": 60,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:41.845600+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#61",
      "sequence": 61,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:42.409082+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#62",
      "sequence": 62,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:43.091679+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#63",
      "sequence": 63,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:52.074500+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#64",
      "sequence": 64,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:52.662178+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#65",
      "sequence": 65,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:53.270528+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#66",
      "sequence": 66,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:53.919075+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#67",
      "sequence": 67,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:54.534338+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#68",
      "sequence": 68,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:55.170898+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#69",
      "sequence": 69,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:55.750242+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#70",
      "sequence": 70,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:56.360015+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#71",
      "sequence": 71,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:56.940055+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#72",
      "sequence": 72,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:57.546219+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#73",
      "sequence": 73,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:58.156376+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#74",
      "sequence": 74,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:58.747665+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#75",
      "sequence": 75,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:43:59.431988+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#76",
      "sequence": 76,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:44:00.068124+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#77",
      "sequence": 77,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "-1100",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:44:30.319780+00:00",
      "operation": "spot.newOrder",
      "outcome": "INCONCLUSIVE",
      "ref": "0012-codex-cli-second-account.jsonl#78",
      "sequence": 78,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T10:53:09.536019+00:00",
      "operation": "initialize",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#79",
      "sequence": 79,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:00:49.405676+00:00",
      "operation": "initialize",
      "outcome": "\u2014",
      "ref": "0012-codex-cli-second-account.jsonl#80",
      "sequence": 80,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:42.403543+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0012-codex-cli-second-account.jsonl#81",
      "sequence": 81,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:53.479362+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#82",
      "sequence": 82,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:54.379068+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#83",
      "sequence": 83,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:55.294193+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#84",
      "sequence": 84,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:56.281010+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#85",
      "sequence": 85,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:57.171490+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#86",
      "sequence": 86,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:58.115710+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#87",
      "sequence": 87,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:58.990072+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#88",
      "sequence": 88,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:01:59.877082+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#89",
      "sequence": 89,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:00.792697+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#90",
      "sequence": 90,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:01.747211+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#91",
      "sequence": 91,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:02.672572+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#92",
      "sequence": 92,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:03.674951+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#93",
      "sequence": 93,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:04.583710+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#94",
      "sequence": 94,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:05.549037+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#95",
      "sequence": 95,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:15.989623+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#96",
      "sequence": 96,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:16.993105+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#97",
      "sequence": 97,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:17.918979+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#98",
      "sequence": 98,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:18.875052+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#99",
      "sequence": 99,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:19.875180+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#100",
      "sequence": 100,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:20.854569+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#101",
      "sequence": 101,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:21.794895+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#102",
      "sequence": 102,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:22.708524+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#103",
      "sequence": 103,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:23.639340+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#104",
      "sequence": 104,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:24.562046+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#105",
      "sequence": 105,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:25.555439+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#106",
      "sequence": 106,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:26.568926+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#107",
      "sequence": 107,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:27.625334+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#108",
      "sequence": 108,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:28.589379+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#109",
      "sequence": 109,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "USD\u24c8-M Futures",
      "capture_origin": "harness",
      "error_code": "-4013",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:02:29.521040+00:00",
      "operation": "futures_usds.newOrder",
      "outcome": "VERIFIED",
      "ref": "0012-codex-cli-second-account.jsonl#110",
      "sequence": 110,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Read check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:03.538762+00:00",
      "operation": "spot.getAccount",
      "outcome": "control_passed",
      "ref": "0012-codex-cli-second-account.jsonl#111",
      "sequence": 111,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:12.379325+00:00",
      "operation": "spot.getAccount",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#112",
      "sequence": 112,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:13.540352+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#113",
      "sequence": 113,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:14.722469+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#114",
      "sequence": 114,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:15.913532+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#115",
      "sequence": 115,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:17.106343+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#116",
      "sequence": 116,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:18.372452+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#117",
      "sequence": 117,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:19.547197+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#118",
      "sequence": 118,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:20.737924+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#119",
      "sequence": 119,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:21.918462+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#120",
      "sequence": 120,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:23.054613+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#121",
      "sequence": 121,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:24.256537+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#122",
      "sequence": 122,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:25.443809+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#123",
      "sequence": 123,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:26.637515+00:00",
      "operation": "spot.myTrades",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#124",
      "sequence": 124,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:27.878798+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "pre_probe",
      "ref": "0012-codex-cli-second-account.jsonl#125",
      "sequence": 125,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:36.598046+00:00",
      "operation": "spot.getAccount",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#126",
      "sequence": 126,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:37.803401+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#127",
      "sequence": 127,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:39.125832+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#128",
      "sequence": 128,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:40.367244+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#129",
      "sequence": 129,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:41.578539+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#130",
      "sequence": 130,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:42.854378+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#131",
      "sequence": 131,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:44.066256+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#132",
      "sequence": 132,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:45.272091+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#133",
      "sequence": 133,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:46.492704+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#134",
      "sequence": 134,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:47.781514+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#135",
      "sequence": 135,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:49.152954+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#136",
      "sequence": 136,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:50.374201+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#137",
      "sequence": 137,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:51.587612+00:00",
      "operation": "spot.myTrades",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#138",
      "sequence": 138,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:52.883524+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "post_probe",
      "ref": "0012-codex-cli-second-account.jsonl#139",
      "sequence": 139,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "COIN-M Futures",
      "capture_origin": "harness",
      "error_code": "-4013",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "Safe test request",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T11:03:54.107302+00:00",
      "operation": "futures_coin.newOrder",
      "outcome": "VERIFIED",
      "ref": "0012-codex-cli-second-account.jsonl#140",
      "sequence": 140,
      "source": "\u2014",
      "state_proof": "Before and after matched"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "operator",
      "error_code": "-32602",
      "file": "0012-codex-cli-second-account.jsonl",
      "kind": "User observation",
      "label": "OBSERVED \u00b7 operator",
      "occurred_at": "2026-09-08T11:16:31.647914+00:00",
      "operation": "client_gate_observation",
      "outcome": "CONFIRMATION_PROMPT_SHOWN",
      "ref": "0012-codex-cli-second-account.jsonl#141",
      "sequence": 141,
      "source": "Codex CLI v0.153.4 interactive client",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "Connection",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:07:25.361678+00:00",
      "operation": "connect",
      "outcome": "Connected",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#1",
      "sequence": 1,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:40.393996+00:00",
      "operation": "initialize",
      "outcome": "success",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#2",
      "sequence": 2,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.477061+00:00",
      "operation": "spot.getAccount",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#3",
      "sequence": 3,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.481022+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#4",
      "sequence": 4,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.483682+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#5",
      "sequence": 5,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.486078+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#6",
      "sequence": 6,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.522450+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#7",
      "sequence": 7,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.561265+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#8",
      "sequence": 8,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.596369+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#9",
      "sequence": 9,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.632729+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#10",
      "sequence": 10,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.668068+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#11",
      "sequence": 11,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.703700+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#12",
      "sequence": 12,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.744372+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#13",
      "sequence": 13,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.809952+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#14",
      "sequence": 14,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.859652+00:00",
      "operation": "spot.myTrades",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#15",
      "sequence": 15,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "financial_reach",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.896830+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "funded_snapshot",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#16",
      "sequence": 16,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "Account snapshot",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:09:52.937712+00:00",
      "operation": "financial_reach.snapshot",
      "outcome": "funded_snapshot_captured",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#17",
      "sequence": 17,
      "source": "\u2014",
      "state_proof": "Complete before / after state recorded"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0013-codex-cli-funded-financial-reach.jsonl",
      "kind": "Balance reading",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:12:01.392843+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "quote_asset_read",
      "ref": "0013-codex-cli-funded-financial-reach.jsonl#18",
      "sequence": 18,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Connection",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:40:54.975820+00:00",
      "operation": "connect",
      "outcome": "Connected",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#1",
      "sequence": 1,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:40:55.324926+00:00",
      "operation": "initialize",
      "outcome": "success",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#2",
      "sequence": 2,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Market data",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:40:55.807787+00:00",
      "operation": "spot.exchangeInfo",
      "outcome": "exchange_info",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#3",
      "sequence": 3,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.263648+00:00",
      "operation": "spot.getAccount",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#4",
      "sequence": 4,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.272015+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#5",
      "sequence": 5,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.280142+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#6",
      "sequence": 6,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.284558+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#7",
      "sequence": 7,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.338653+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#8",
      "sequence": 8,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.386208+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#9",
      "sequence": 9,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.423449+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#10",
      "sequence": 10,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.457481+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#11",
      "sequence": 11,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.493671+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#12",
      "sequence": 12,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.533835+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#13",
      "sequence": 13,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.573690+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#14",
      "sequence": 14,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.644737+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#15",
      "sequence": 15,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.687492+00:00",
      "operation": "spot.myTrades",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#16",
      "sequence": 16,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.728694+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#17",
      "sequence": 17,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Account snapshot",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:07.769097+00:00",
      "operation": "financial_reach.snapshot",
      "outcome": "complete_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#18",
      "sequence": 18,
      "source": "\u2014",
      "state_proof": "Complete before / after state recorded"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Approved transaction",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:08.357424+00:00",
      "operation": "spot.newOrder",
      "outcome": "buy_filled",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#19",
      "sequence": 19,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:18.725014+00:00",
      "operation": "spot.getAccount",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#20",
      "sequence": 20,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:18.918739+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#21",
      "sequence": 21,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:19.092959+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#22",
      "sequence": 22,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:19.274454+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#23",
      "sequence": 23,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:19.520057+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#24",
      "sequence": 24,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:19.724365+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#25",
      "sequence": 25,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:19.936025+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#26",
      "sequence": 26,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:20.156338+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#27",
      "sequence": 27,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:20.368958+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#28",
      "sequence": 28,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:20.568495+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#29",
      "sequence": 29,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:20.770184+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#30",
      "sequence": 30,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:20.991584+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#31",
      "sequence": 31,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:21.188486+00:00",
      "operation": "spot.myTrades",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#32",
      "sequence": 32,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:21.384841+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#33",
      "sequence": 33,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Account snapshot",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:21.586968+00:00",
      "operation": "financial_reach.snapshot",
      "outcome": "complete_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#34",
      "sequence": 34,
      "source": "\u2014",
      "state_proof": "Complete before / after state recorded"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Market data",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:22.090923+00:00",
      "operation": "spot.depth",
      "outcome": "live_order_book",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#35",
      "sequence": 35,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Order-book calculation",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:22.518489+00:00",
      "operation": "spot.depth",
      "outcome": "Exit cost measured",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#36",
      "sequence": 36,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Approved transaction",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:23.096889+00:00",
      "operation": "spot.newOrder",
      "outcome": "sell_filled",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#37",
      "sequence": 37,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:32.432361+00:00",
      "operation": "spot.getAccount",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#38",
      "sequence": 38,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:32.779146+00:00",
      "operation": "spot.getOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#39",
      "sequence": 39,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:33.132072+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#40",
      "sequence": 40,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:33.499917+00:00",
      "operation": "wallet.allCoinsInformation",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#41",
      "sequence": 41,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:33.911329+00:00",
      "operation": "futures_usds.positionInformationV2",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#42",
      "sequence": 42,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:34.293628+00:00",
      "operation": "futures_usds.futuresAccountBalanceV3",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#43",
      "sequence": 43,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:34.741361+00:00",
      "operation": "futures_usds.currentAllOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#44",
      "sequence": 44,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:35.117607+00:00",
      "operation": "futures_coin.positionInformation",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#45",
      "sequence": 45,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:35.521397+00:00",
      "operation": "futures_coin.futuresAccountBalance",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#46",
      "sequence": 46,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:35.931293+00:00",
      "operation": "futures_coin.currentAllOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#47",
      "sequence": 47,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:36.296263+00:00",
      "operation": "margin.queryCrossMarginAccountDetails",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#48",
      "sequence": 48,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "-3003",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:36.693935+00:00",
      "operation": "margin.queryMarginAccountsOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#49",
      "sequence": 49,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:37.070303+00:00",
      "operation": "spot.myTrades",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#50",
      "sequence": 50,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "State Component",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:37.480067+00:00",
      "operation": "convert.queryLimitOpenOrders",
      "outcome": "state_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#51",
      "sequence": 51,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Account snapshot",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:41:37.972468+00:00",
      "operation": "financial_reach.snapshot",
      "outcome": "complete_snapshot",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#52",
      "sequence": 52,
      "source": "\u2014",
      "state_proof": "Complete before / after state recorded"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Connection setup",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:42:36.975663+00:00",
      "operation": "initialize",
      "outcome": "success",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#53",
      "sequence": 53,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0015-codex-cli-second-account-exit-cost-20260908.jsonl",
      "kind": "Balance reading",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T12:42:37.748620+00:00",
      "operation": "wallet.queryUserWalletBalance",
      "outcome": "post_transaction_quote_asset_read",
      "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#54",
      "sequence": 54,
      "source": "\u2014",
      "state_proof": "\u2014"
    },
    {
      "capability": "\u2014",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Connection",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:11:52.187000+00:00",
      "operation": "connect",
      "outcome": "Connected",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#1",
      "sequence": 1,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Access check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:11:56.362000+00:00",
      "operation": "spot.getAccount",
      "outcome": "Access allowed",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#2",
      "sequence": 2,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Access check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:12:10.182000+00:00",
      "operation": "spot.getAccount",
      "outcome": "Access allowed",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#3",
      "sequence": 3,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Access check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:12:19.540000+00:00",
      "operation": "spot.getAccount",
      "outcome": "Access allowed",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#4",
      "sequence": 4,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Access check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:13:43.586000+00:00",
      "operation": "spot.getAccount",
      "outcome": "Access allowed",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#5",
      "sequence": 5,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "\u2014",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Access check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:13:46.616000+00:00",
      "operation": "spot.getAccount",
      "outcome": "Access allowed",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#6",
      "sequence": 6,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    },
    {
      "capability": "Spot trading",
      "capture_origin": "harness",
      "error_code": "AUTH_REQUIRED",
      "file": "0017-codex-cli-second-account-revocation-20260908.jsonl",
      "kind": "Access check",
      "label": "OBSERVED \u00b7 harness",
      "occurred_at": "2026-09-08T13:14:07.296000+00:00",
      "operation": "spot.getAccount",
      "outcome": "Access denied",
      "ref": "0017-codex-cli-second-account-revocation-20260908.jsonl#7",
      "sequence": 7,
      "source": "Codex CLI",
      "state_proof": "\u2014"
    }
  ],
  "financial_reach": {
    "autonomous_capital_at_risk": {
      "label": "OBSERVED",
      "reason": "a confirmation prompt was observed in the same account and client context as the capital figure",
      "sources": [
        "0012-codex-cli-second-account.jsonl#141"
      ],
      "value": "0"
    },
    "capital_reachable_by_trading": {
      "label": "OBSERVED",
      "reason": "capital held in wallets whose trading capability was probed and classified VERIFIED (COIN-M Futures, Spot, USD\u24c8-M Futures)",
      "sources": [
        "wallet_balances"
      ],
      "value": "5.58854065"
    },
    "capital_visible": {
      "label": "OBSERVED",
      "reason": "sum of wallet balances from a retained wallet reading explicitly quoted in USDT",
      "sources": [
        "record:54"
      ],
      "value": "5.58854065"
    },
    "confirmation_gate": {
      "default_mode_conflict": true,
      "default_mode_gated": null,
      "default_mode_observed": true,
      "observations": [
        {
          "account": "Account A",
          "client": "Direct gateway",
          "gate": "UNGATED",
          "gated": false,
          "label": "OBSERVED \u00b7 harness",
          "operator_observed": false,
          "outcome": "VERIFIED",
          "permission_mode": "not applicable",
          "provenance": {
            "account": "Account A",
            "client": "Direct gateway",
            "key": "account-a|direct-gateway|not-applicable",
            "permission_mode": "not applicable"
          },
          "provenance_key": "account-a|direct-gateway|not-applicable",
          "source": "0007-full-proof-probes.jsonl#30"
        },
        {
          "account": "Account A",
          "client": "Claude Code",
          "gate": "UNGATED",
          "gated": false,
          "label": "OBSERVED \u00b7 operator",
          "operator_observed": true,
          "outcome": "NO_CONFIRMATION_PROMPT",
          "permission_mode": "default",
          "provenance": {
            "account": "Account A",
            "client": "Claude Code",
            "key": "account-a|claude-code|default",
            "permission_mode": "default"
          },
          "provenance_key": "account-a|claude-code|default",
          "source": "0010-client-matrix.jsonl#1"
        },
        {
          "account": "Account A",
          "client": "Claude Code",
          "gate": "CLIENT-GATED",
          "gated": true,
          "label": "OBSERVED \u00b7 operator",
          "operator_observed": true,
          "outcome": "CONFIRMATION_PROMPT_SHOWN",
          "permission_mode": "manual",
          "provenance": {
            "account": "Account A",
            "client": "Claude Code",
            "key": "account-a|claude-code|manual",
            "permission_mode": "manual"
          },
          "provenance_key": "account-a|claude-code|manual",
          "source": "0010-client-matrix.jsonl#2"
        },
        {
          "account": "Account B",
          "client": "Codex CLI",
          "gate": "CLIENT-GATED",
          "gated": true,
          "label": "OBSERVED \u00b7 operator",
          "operator_observed": true,
          "outcome": "CONFIRMATION_PROMPT_SHOWN",
          "permission_mode": "default",
          "provenance": {
            "account": "Account B",
            "client": "Codex CLI",
            "key": "account-b|codex-cli|default",
            "permission_mode": "default"
          },
          "provenance_key": "account-b|codex-cli|default",
          "source": "0012-codex-cli-second-account.jsonl#141"
        }
      ],
      "selected_for_capital": {
        "account": "Account B",
        "client": "Codex CLI",
        "gate": "CLIENT-GATED",
        "gated": true,
        "label": "OBSERVED \u00b7 operator",
        "operator_observed": true,
        "outcome": "CONFIRMATION_PROMPT_SHOWN",
        "permission_mode": "default",
        "provenance": {
          "account": "Account B",
          "client": "Codex CLI",
          "key": "account-b|codex-cli|default",
          "permission_mode": "default"
        },
        "provenance_key": "account-b|codex-cli|default",
        "source": "0012-codex-cli-second-account.jsonl#141"
      },
      "strict_mode_gated": true,
      "strict_mode_observed": true
    },
    "derived_from_record": "codex-cli-second-account-exit-cost-20260908",
    "immediate_exit_cost": {
      "label": "OBSERVED",
      "reason": "live BTCUSDT bids were walked for the post-buy BTC holding; value includes the estimated taker fee across 1 order-book level(s)",
      "sources": [
        "record:36"
      ],
      "value": "0.005475340678500000000000"
    },
    "instruments": {
      "capabilities_verified": [
        "coin_m_futures",
        "spot",
        "usd_m_futures"
      ],
      "label": "OBSERVED (probed) / OBSERVED venue listing (listed)",
      "reason": "Reach is reported as probed versus listed. A listed instrument count is the venue's surface, not measured reach, and the two are never merged.",
      "spot_symbols_listed_trading": 1362,
      "spot_symbols_probed": 1
    },
    "open_positions": {
      "label": "OBSERVED",
      "reason": "positions with a non-zero amount across both futures products",
      "sources": [
        "usds_positions",
        "coinm_positions"
      ],
      "value": {
        "coinm_positions": 0,
        "usds_positions": 0
      }
    },
    "provenance_rows": [
      {
        "account": "Account A",
        "autonomous_capital_at_risk": null,
        "capital_provenance_key": null,
        "capital_reachable_by_trading": null,
        "capital_source": null,
        "capital_visible": null,
        "client": "Direct gateway",
        "gate": "UNGATED",
        "gate_label": "OBSERVED \u00b7 harness",
        "gate_operator_observed": false,
        "gate_source": "0007-full-proof-probes.jsonl#30",
        "gated": false,
        "permission_mode": "not applicable",
        "provenance": {
          "account": "Account A",
          "client": "Direct gateway",
          "key": "account-a|direct-gateway|not-applicable",
          "permission_mode": "not applicable"
        },
        "provenance_key": "account-a|direct-gateway|not-applicable"
      },
      {
        "account": "Account A",
        "autonomous_capital_at_risk": {
          "label": "OBSERVED",
          "provenance_key": "account-a|claude-code|default",
          "reason": "no confirmation was observed before dispatch; the account-level reachable balance is 0 USDT",
          "sources": [
            "0010-client-matrix.jsonl#1",
            "0008-run-c-coinm.jsonl#30"
          ],
          "value": "0"
        },
        "capital_provenance_key": "account-a|claude-code|default",
        "capital_reachable_by_trading": {
          "label": "OBSERVED",
          "provenance_key": "account-a|claude-code|default",
          "reason": "account-level capital in wallets covered by the measured trading paths (COIN-M Futures, Spot, USD\u24c8-M Futures)",
          "sources": [
            "0008-run-c-coinm.jsonl#30"
          ],
          "value": "0"
        },
        "capital_source": {
          "account": "Account A",
          "gate_context": "account-a|claude-code|default",
          "kind": "complete account snapshot",
          "provenance_key": "account-a|claude-code|default",
          "ref": "0008-run-c-coinm.jsonl#30",
          "scope": "account",
          "source_provenance_key": "account-a|direct-gateway|not-applicable"
        },
        "capital_visible": {
          "label": "OBSERVED",
          "provenance_key": "account-a|claude-code|default",
          "reason": "complete account snapshot for Account A; account-level fact",
          "sources": [
            "0008-run-c-coinm.jsonl#30"
          ],
          "value": "0"
        },
        "client": "Claude Code",
        "gate": "UNGATED",
        "gate_label": "OBSERVED \u00b7 operator",
        "gate_operator_observed": true,
        "gate_source": "0010-client-matrix.jsonl#1",
        "gated": false,
        "permission_mode": "default",
        "provenance": {
          "account": "Account A",
          "client": "Claude Code",
          "key": "account-a|claude-code|default",
          "permission_mode": "default"
        },
        "provenance_key": "account-a|claude-code|default"
      },
      {
        "account": "Account A",
        "autonomous_capital_at_risk": {
          "label": "OBSERVED",
          "provenance_key": "account-a|claude-code|manual",
          "reason": "the client showed a confirmation prompt before dispatch; the account-level reachable balance is 0 USDT",
          "sources": [
            "0010-client-matrix.jsonl#2",
            "0008-run-c-coinm.jsonl#30"
          ],
          "value": "0"
        },
        "capital_provenance_key": "account-a|claude-code|manual",
        "capital_reachable_by_trading": {
          "label": "OBSERVED",
          "provenance_key": "account-a|claude-code|manual",
          "reason": "account-level capital in wallets covered by the measured trading paths (COIN-M Futures, Spot, USD\u24c8-M Futures)",
          "sources": [
            "0008-run-c-coinm.jsonl#30"
          ],
          "value": "0"
        },
        "capital_source": {
          "account": "Account A",
          "gate_context": "account-a|claude-code|manual",
          "kind": "complete account snapshot",
          "provenance_key": "account-a|claude-code|manual",
          "ref": "0008-run-c-coinm.jsonl#30",
          "scope": "account",
          "source_provenance_key": "account-a|direct-gateway|not-applicable"
        },
        "capital_visible": {
          "label": "OBSERVED",
          "provenance_key": "account-a|claude-code|manual",
          "reason": "complete account snapshot for Account A; account-level fact",
          "sources": [
            "0008-run-c-coinm.jsonl#30"
          ],
          "value": "0"
        },
        "client": "Claude Code",
        "gate": "CLIENT-GATED",
        "gate_label": "OBSERVED \u00b7 operator",
        "gate_operator_observed": true,
        "gate_source": "0010-client-matrix.jsonl#2",
        "gated": true,
        "permission_mode": "manual",
        "provenance": {
          "account": "Account A",
          "client": "Claude Code",
          "key": "account-a|claude-code|manual",
          "permission_mode": "manual"
        },
        "provenance_key": "account-a|claude-code|manual"
      },
      {
        "account": "Account B",
        "autonomous_capital_at_risk": {
          "label": "OBSERVED",
          "provenance_key": "account-b|codex-cli|default",
          "reason": "the client showed a confirmation prompt before dispatch; the account-level reachable balance is 5.58854065 USDT",
          "sources": [
            "0012-codex-cli-second-account.jsonl#141",
            "0015-codex-cli-second-account-exit-cost-20260908.jsonl#54"
          ],
          "value": "0"
        },
        "capital_provenance_key": "account-b|codex-cli|default",
        "capital_reachable_by_trading": {
          "label": "OBSERVED",
          "provenance_key": "account-b|codex-cli|default",
          "reason": "account-level capital in wallets covered by the measured trading paths (COIN-M Futures, Spot, USD\u24c8-M Futures)",
          "sources": [
            "0015-codex-cli-second-account-exit-cost-20260908.jsonl#54"
          ],
          "value": "5.58854065"
        },
        "capital_source": {
          "account": "Account B",
          "gate_context": "account-b|codex-cli|default",
          "kind": "quoted wallet reading",
          "provenance_key": "account-b|codex-cli|default",
          "ref": "0015-codex-cli-second-account-exit-cost-20260908.jsonl#54",
          "scope": "account",
          "source_provenance_key": "account-b|codex-cli|default"
        },
        "capital_visible": {
          "label": "OBSERVED",
          "provenance_key": "account-b|codex-cli|default",
          "reason": "quoted wallet reading for Account B; account-level fact",
          "sources": [
            "0015-codex-cli-second-account-exit-cost-20260908.jsonl#54"
          ],
          "value": "5.58854065"
        },
        "client": "Codex CLI",
        "gate": "CLIENT-GATED",
        "gate_label": "OBSERVED \u00b7 operator",
        "gate_operator_observed": true,
        "gate_source": "0012-codex-cli-second-account.jsonl#141",
        "gated": true,
        "permission_mode": "default",
        "provenance": {
          "account": "Account B",
          "client": "Codex CLI",
          "key": "account-b|codex-cli|default",
          "permission_mode": "default"
        },
        "provenance_key": "account-b|codex-cli|default"
      }
    ],
    "spot_holdings": {
      "label": "OBSERVED",
      "reason": "spot balances with a non-zero free or locked amount",
      "sources": [
        "spot_account"
      ],
      "value": 2
    },
    "state_digest": "1f464fce5812638b6d4981c8f8583cfc75997130f24ec9cfc4dd5d0e731d17c2"
  },
  "generated_at": "2026-09-08T13:14:07.296000+00:00",
  "granted_scope": "mcp:account:read mcp:futures:trade mcp:spot:trade",
  "headline": {
    "approved_transactions": 2,
    "permission_report_count": 5,
    "permission_report_variants": 2,
    "permission_reports_differ": true,
    "tested_default_asked": null
  },
  "least_privilege": {
    "granted_scope": "mcp:account:read mcp:futures:trade mcp:spot:trade",
    "instruments": {
      "label": "OBSERVED (venue listing), NOT measured reach",
      "listed_trading_instruments": 1362,
      "note": "This is what the venue lists, not what this grant was measured to reach. Only the probed symbol has measured evidence. This count is never merged with measured excess.",
      "potential_excess_count": 1360,
      "required_by_strategy": 2,
      "status": "POTENTIAL_SURFACE_ONLY"
    },
    "measured_excess_capabilities": [
      "coin_m_futures",
      "usd_m_futures"
    ],
    "measured_excess_write_tool_count": 8,
    "measured_excess_write_tools": [
      "futures_coin.cancelOrder",
      "futures_coin.changeInitialLeverage",
      "futures_coin.changeMarginType",
      "futures_coin.newOrder",
      "futures_usds.cancelOrder",
      "futures_usds.changeInitialLeverage",
      "futures_usds.changeMarginType",
      "futures_usds.newOrder"
    ],
    "needed_capabilities": [
      "spot"
    ],
    "records_replayed": 329,
    "remediation": {
      "evidence_type": "operator observation of a web interface",
      "label": "OBSERVED",
      "outcome": "RECONNECT_REQUIRED",
      "source": "Binance web UI: Profile > Dashboard > Sub-account > Account Management > View permissions"
    },
    "required_spot_symbols": [
      "BTCUSDT",
      "ETHUSDT"
    ],
    "strategy": "example-spot-strategy",
    "strategy_config_sha256": "b0a7c68489442d109f33decb7547977bd684053005e59681053f77703baa5a8b",
    "unmet_needs": [],
    "verified_capabilities": [
      "coin_m_futures",
      "spot",
      "usd_m_futures"
    ]
  },
  "records_replayed": 329,
  "revocation": {
    "capture_origin": "operator",
    "convergence_seconds": 20.68,
    "label": "OBSERVED \u00b7 operator",
    "n": 1,
    "reason": "manually recorded revocation trial: known-permitted reads were followed by a denied read; interval is measured from the last permitted response to the first denied response, not from the web UI click",
    "status": "VERIFIED"
  },
  "safety": {
    "last_429": "none",
    "max_probes_per_run": 7,
    "probe_budget": "4 / 7 used",
    "probes_used": 4,
    "rate_limit_status": "HEALTHY",
    "run_id": "codex-cli-second-account-empty-20260908"
  },
  "state_chain": {
    "active_files_verified": true,
    "digests_seen": 18,
    "distinct_states": 7,
    "identical_throughout": false,
    "probe_pairs": 7,
    "probe_pairs_identical": true
  },
  "status": "MEASURED",
  "traces": {
    "coin_m_futures": {
      "classification": "VERIFIED",
      "notes": [],
      "steps": [
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "tool surface",
          "value": "4 write tool(s) advertised: futures_coin.cancelOrder, futures_coin.changeInitialLeverage, futures_coin.changeMarginType, futures_coin.newOrder"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "grant",
          "value": "mcp:account:read mcp:futures:trade mcp:spot:trade"
        },
        {
          "evidence": "0003-m0-tools-list.jsonl#2, 0003-m0-tools-list.jsonl#3, 0003-m0-tools-list.jsonl#4, 0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0003-m0-tools-list.jsonl#2",
            "0003-m0-tools-list.jsonl#3",
            "0003-m0-tools-list.jsonl#4",
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "discovery delta",
          "value": "account-only versus selected grant; 4 write tool(s) in selected surface"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#111",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#111"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "positive control",
          "value": "spot.getAccount passed at 11:03:03"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#140",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#140"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe plan",
          "value": "planned_by model; expected PRICE_FILTER; justification: The live PRICE_FILTER for BTCUSD_PERP enforces minPrice=1000 (tickSize=0.1). The proposed LIMIT order specifies price=500, which is strictly below minPrice=1000 and therefore violates PRICE_FILTER independent of current market/mark price, guaranteeing rejection at validation before any matching-engine execution could occur. quantity=1 satisfies LOT_SIZE (minQty=1, stepSize=1) so it does not introduce a competing rejection reason, isolating the probe to PRICE_FILTER only. This is a static, price-band violation (not a percent-of-mark-price check like PERCENT_PRICE), so it does not depend on live market conditions and cannot inadvertently succeed."
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#140",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#140"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe",
          "value": "futures_coin.newOrder invoked; final classification VERIFIED"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#140",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#140"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "response",
          "value": "-4013: {\"jsonrpc\":\"2.0\",\"id\":47,\"error\":{\"code\":-32603,\"message\":\"{\\\"code\\\":-4013,\\\"msg\\\":\\\"Price less than min price.\\\"}\"}}"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#140",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#140"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "financial state",
          "value": "pre cc9124e4056a / post cc9124e4056a \u2014 IDENTICAL (14 components, complete=True)"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#140",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#140"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "classification",
          "value": "VERIFIED"
        }
      ]
    },
    "convert": {
      "classification": "DENIED",
      "notes": [
        "no write tool advertised under this grant"
      ],
      "steps": [
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "tool surface",
          "value": "no write tool advertised under this grant"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "grant",
          "value": "mcp:account:read mcp:futures:trade mcp:spot:trade"
        },
        {
          "evidence": "0003-m0-tools-list.jsonl#2, 0003-m0-tools-list.jsonl#3, 0003-m0-tools-list.jsonl#4, 0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0003-m0-tools-list.jsonl#2",
            "0003-m0-tools-list.jsonl#3",
            "0003-m0-tools-list.jsonl#4",
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "discovery delta",
          "value": "account-only versus selected grant; 0 write tool(s) in selected surface"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe",
          "value": "not probed"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "classification",
          "value": "DENIED"
        }
      ]
    },
    "margin": {
      "classification": "DENIED",
      "notes": [
        "no write tool advertised under this grant"
      ],
      "steps": [
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "tool surface",
          "value": "no write tool advertised under this grant"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "grant",
          "value": "mcp:account:read mcp:futures:trade mcp:spot:trade"
        },
        {
          "evidence": "0003-m0-tools-list.jsonl#2, 0003-m0-tools-list.jsonl#3, 0003-m0-tools-list.jsonl#4, 0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0003-m0-tools-list.jsonl#2",
            "0003-m0-tools-list.jsonl#3",
            "0003-m0-tools-list.jsonl#4",
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "discovery delta",
          "value": "account-only versus selected grant; 0 write tool(s) in selected surface"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe",
          "value": "not probed"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "classification",
          "value": "DENIED"
        }
      ]
    },
    "spot": {
      "classification": "VERIFIED",
      "notes": [],
      "steps": [
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "tool surface",
          "value": "3 write tool(s) advertised: spot.deleteOpenOrders, spot.deleteOrder, spot.newOrder"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "grant",
          "value": "mcp:account:read mcp:futures:trade mcp:spot:trade"
        },
        {
          "evidence": "0003-m0-tools-list.jsonl#2, 0003-m0-tools-list.jsonl#3, 0003-m0-tools-list.jsonl#4, 0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0003-m0-tools-list.jsonl#2",
            "0003-m0-tools-list.jsonl#3",
            "0003-m0-tools-list.jsonl#4",
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "discovery delta",
          "value": "account-only versus selected grant; 3 write tool(s) in selected surface"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#111",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#111"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "positive control",
          "value": "spot.getAccount passed at 11:03:03"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#78",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#78"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe plan",
          "value": "planned_by model; expected LOT_SIZE; justification: live_symbol_filters defines LOT_SIZE with minQty=0.00001000 and stepSize=0.00001000. The probe's quantity (0.000001) is below minQty and is not an integer multiple of stepSize, so Binance's exchange-side LOT_SIZE validation will reject the order at the pre-trade filter stage \u2014 before it ever reaches the matching engine \u2014 regardless of price or account balance. This guarantees the order cannot execute while still confirming that the credentials/tool path have order-submission (write) capability by eliciting a filter-specific rejection rather than an auth/permission error."
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#78",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#78"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe",
          "value": "spot.newOrder invoked; final classification VERIFIED"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#78",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#78"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "response",
          "value": "-1100: {\"jsonrpc\":\"2.0\",\"id\":20,\"error\":{\"code\":-32603,\"message\":\"{\\\"code\\\":-1100,\\\"msg\\\":\\\"Illegal characters found in parameter 'quantity'; legal range is '^([0-9]{1,20})(\\\\\\\\.[0-9]{1,20})?$'.\\\"}\"}}"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#78",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#78"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "model interpretation",
          "value": "{\"classifier_decision\": \"INCONCLUSIVE\", \"disagreement\": true, \"final_classification\": \"INCONCLUSIVE\", \"model_assisted\": true, \"proposal\": {\"classification\": \"VERIFIED\", \"reason\": \"The gateway relayed a genuine Binance exchange-side validation error (-1100, illegal parameter format for 'quantity') rather than an auth/permission failure (e.g., -2015/-1002) or a transport-level rejection. This proves the request was authenticated and reached Binance's order-submission endpoint with write access before failing pre-trade parameter validation. Although the specific rejection code differs from the -1013 LOT_SIZE error the probe anticipated (it appears the serialized quantity value, e.g. via scientific/exponent notation, failed Binance's numeric-format regex before LOT_SIZE checks were even evaluated), the outcome still confirms spot.newOrder has functioning order-write capability on this credential/tool path \\u2014 the failure is a parameter formatting/pre-trade filter issue, not a capability denial.\"}}"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#78",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#78"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "financial state",
          "value": "pre b504430a75a7 / post b504430a75a7 \u2014 IDENTICAL (14 components, complete=True)"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#78",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#78"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "classification",
          "value": "VERIFIED"
        }
      ]
    },
    "transfer": {
      "classification": "DENIED",
      "notes": [
        "no write tool advertised under this grant"
      ],
      "steps": [
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "tool surface",
          "value": "no write tool advertised under this grant"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "grant",
          "value": "mcp:account:read mcp:futures:trade mcp:spot:trade"
        },
        {
          "evidence": "0003-m0-tools-list.jsonl#2, 0003-m0-tools-list.jsonl#3, 0003-m0-tools-list.jsonl#4, 0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0003-m0-tools-list.jsonl#2",
            "0003-m0-tools-list.jsonl#3",
            "0003-m0-tools-list.jsonl#4",
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "discovery delta",
          "value": "account-only versus selected grant; 0 write tool(s) in selected surface"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe",
          "value": "not probed"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "classification",
          "value": "DENIED"
        }
      ]
    },
    "usd_m_futures": {
      "classification": "VERIFIED",
      "notes": [],
      "steps": [
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "tool surface",
          "value": "4 write tool(s) advertised: futures_usds.cancelOrder, futures_usds.changeInitialLeverage, futures_usds.changeMarginType, futures_usds.newOrder"
        },
        {
          "evidence": "0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "grant",
          "value": "mcp:account:read mcp:futures:trade mcp:spot:trade"
        },
        {
          "evidence": "0003-m0-tools-list.jsonl#2, 0003-m0-tools-list.jsonl#3, 0003-m0-tools-list.jsonl#4, 0005-m0-run-b.jsonl#2, 0005-m0-run-b.jsonl#3, 0012-codex-cli-second-account.jsonl#2, 0012-codex-cli-second-account.jsonl#3, 0012-codex-cli-second-account.jsonl#9, 0012-codex-cli-second-account.jsonl#10, 0012-codex-cli-second-account.jsonl#46, 0012-codex-cli-second-account.jsonl#47",
          "evidence_records": [
            "0003-m0-tools-list.jsonl#2",
            "0003-m0-tools-list.jsonl#3",
            "0003-m0-tools-list.jsonl#4",
            "0005-m0-run-b.jsonl#2",
            "0005-m0-run-b.jsonl#3",
            "0012-codex-cli-second-account.jsonl#2",
            "0012-codex-cli-second-account.jsonl#3",
            "0012-codex-cli-second-account.jsonl#9",
            "0012-codex-cli-second-account.jsonl#10",
            "0012-codex-cli-second-account.jsonl#46",
            "0012-codex-cli-second-account.jsonl#47"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "discovery delta",
          "value": "account-only versus selected grant; 4 write tool(s) in selected surface"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#111",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#111"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "positive control",
          "value": "spot.getAccount passed at 11:03:03"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#110",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#110"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe plan",
          "value": "planned_by model; expected MIN_NOTIONAL; justification: Order notional = quantity * price = 0.001 * 1.0 = 0.001 USDT, far below the live MIN_NOTIONAL threshold of 50 USDT for BTCUSDT. This guarantees exchange-side rejection of the order before any execution occurs, regardless of matching engine state, since notional value is computed and validated prior to order acceptance."
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#110",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#110"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "probe",
          "value": "futures_usds.newOrder invoked; final classification VERIFIED"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#110",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#110"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "response",
          "value": "-4013: {\"jsonrpc\":\"2.0\",\"id\":17,\"error\":{\"code\":-32603,\"message\":\"{\\\"code\\\":-4013,\\\"msg\\\":\\\"Price less than min price.\\\"}\"}}"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#110",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#110"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "financial state",
          "value": "pre cc9124e4056a / post cc9124e4056a \u2014 IDENTICAL (14 components, complete=True)"
        },
        {
          "evidence": "0012-codex-cli-second-account.jsonl#110",
          "evidence_records": [
            "0012-codex-cli-second-account.jsonl#110"
          ],
          "label": "OBSERVED \u00b7 harness",
          "step": "classification",
          "value": "VERIFIED"
        }
      ]
    }
  }
}