{
  "measurement_scope": "Actual public SDK and Codex0.163 app-server with real GDB/BFD. Local deterministic SSE fixture and observed-ID checkpoint; no AI inference, model usage/quality/acceptance or billing claim. Whole compact JSON serialization tokens are proxies and include all schemas/replays/compaction. Incomplete default baseline is excluded from completed-workflow gains. Fresh processes have unflushed OS caches; warm SDK cases repeat the selected disassembly in the same server. Native target never executed.",
  "tokenizer": {
    "package": "0.12.0",
    "encoding": "cl100k_base"
  },
  "runtime_pins": {
    "baseline": {
      "source_base": "c2858d2aa0916f0dd2d073d848b8c2195d9bf6b3",
      "patch_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "archive_sha256": "7f844f4eb5684e6db42d08b01303bf7c7a5232ba98787da97549a2689210a568"
    },
    "candidate": {
      "source_base": "c2858d2aa0916f0dd2d073d848b8c2195d9bf6b3",
      "patch_sha256": "d172193be7b6cc1e8cc98e085d56e33658f4ddf92f892e33262ac16b7114c873",
      "archive_sha256": "c391fb272173364917d421458d99a77a26e6c7ee27641c8e95a4a66123be5d68"
    }
  },
  "native": {
    "gdb": {
      "selected_path": "/usr/bin/gdb",
      "resolved_path": "/usr/bin/gdb",
      "bytes": 10395104,
      "sha256": "762f9d48202dd341e170d8302543f35622417b4e39bfce9a270d06943702e754",
      "version": "GNU gdb (Debian 13.1-3) 13.1"
    },
    "objdump": {
      "selected_path": "/usr/bin/objdump",
      "resolved_path": "/usr/bin/x86_64-linux-gnu-objdump",
      "bytes": 371264,
      "sha256": "19717049e8ecd98cfbb17fd9eb25e9fd896ecec2fc4af6b931f3dd0bc4e903de",
      "version": "GNU objdump (GNU Binutils for Debian) 2.40"
    },
    "target": {
      "selected_path": "/usr/bin/bash",
      "resolved_path": "/usr/bin/bash",
      "bytes": 1265648,
      "sha256": "55b89ab22bee4792a210f493a53fb066accd5d30b69837c28d98be5ff863efcf"
    },
    "cutter": {
      "REA_CUTTER_BRIDGE_DIR_configured": false,
      "host_default_bridge_directory": "/home/yann/.cache/rea/cutter-bridge",
      "host_default_exists": false,
      "scope": "No configured selector and default directory absent; undisclosed installations or sessions remain unverified."
    },
    "adb": {
      "REA_ADB_PATH_configured": false,
      "default_public_tool_outcome": "capability_unavailable: selected adb not found"
    }
  },
  "wire": [
    {
      "case": "final-wire-baseline-default",
      "task_completed": false,
      "mode": "complete",
      "budget": "client default",
      "requests": 9,
      "compactions": 0,
      "whole_json_tokens_proxy": 584416,
      "request_details": [
        {
          "index": 1,
          "kind": "normal",
          "whole_json_tokens_proxy": 61472,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 2,
          "kind": "normal",
          "whole_json_tokens_proxy": 61607,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 3,
          "kind": "normal",
          "whole_json_tokens_proxy": 62054,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 4,
          "kind": "normal",
          "whole_json_tokens_proxy": 62561,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 5,
          "kind": "normal",
          "whole_json_tokens_proxy": 63156,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 6,
          "kind": "normal",
          "whole_json_tokens_proxy": 63735,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 7,
          "kind": "normal",
          "whole_json_tokens_proxy": 69795,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 8,
          "kind": "normal",
          "whole_json_tokens_proxy": 69932,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 9,
          "kind": "normal",
          "whole_json_tokens_proxy": 70104,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        }
      ],
      "wall_seconds": 8.548,
      "cpu_seconds": 7.752407,
      "family_peak_mib": 795.40625,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-wire-baseline-large",
      "task_completed": true,
      "mode": "complete",
      "budget": 350000,
      "requests": 10,
      "compactions": 1,
      "whole_json_tokens_proxy": 1269405,
      "request_details": [
        {
          "index": 1,
          "kind": "normal",
          "whole_json_tokens_proxy": 61488,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 2,
          "kind": "normal",
          "whole_json_tokens_proxy": 61627,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 3,
          "kind": "normal",
          "whole_json_tokens_proxy": 62082,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 4,
          "kind": "normal",
          "whole_json_tokens_proxy": 62592,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 5,
          "kind": "normal",
          "whole_json_tokens_proxy": 63186,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 6,
          "kind": "normal",
          "whole_json_tokens_proxy": 63769,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 7,
          "kind": "compaction",
          "whole_json_tokens_proxy": 708561,
          "rea_namespace_tokens_proxy": 0,
          "rea_function_count": 0
        },
        {
          "index": 8,
          "kind": "normal",
          "whole_json_tokens_proxy": 61882,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 9,
          "kind": "normal",
          "whole_json_tokens_proxy": 62023,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 10,
          "kind": "normal",
          "whole_json_tokens_proxy": 62195,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        }
      ],
      "wall_seconds": 9.551,
      "cpu_seconds": 8.831977,
      "family_peak_mib": 805.2265625,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-wire-baseline-small",
      "task_completed": true,
      "mode": "complete",
      "budget": 30000,
      "requests": 9,
      "compactions": 0,
      "whole_json_tokens_proxy": 605133,
      "request_details": [
        {
          "index": 1,
          "kind": "normal",
          "whole_json_tokens_proxy": 61486,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 2,
          "kind": "normal",
          "whole_json_tokens_proxy": 61627,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 3,
          "kind": "normal",
          "whole_json_tokens_proxy": 62075,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 4,
          "kind": "normal",
          "whole_json_tokens_proxy": 62582,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 5,
          "kind": "normal",
          "whole_json_tokens_proxy": 63189,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 6,
          "kind": "normal",
          "whole_json_tokens_proxy": 63773,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 7,
          "kind": "normal",
          "whole_json_tokens_proxy": 76647,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 8,
          "kind": "normal",
          "whole_json_tokens_proxy": 76790,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        },
        {
          "index": 9,
          "kind": "normal",
          "whole_json_tokens_proxy": 76964,
          "rea_namespace_tokens_proxy": 52281,
          "rea_function_count": 210
        }
      ],
      "wall_seconds": 7.906,
      "cpu_seconds": 7.195052,
      "family_peak_mib": 788.88671875,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-wire-candidate-default",
      "task_completed": true,
      "mode": "summary",
      "budget": "client default",
      "requests": 9,
      "compactions": 0,
      "whole_json_tokens_proxy": 580243,
      "request_details": [
        {
          "index": 1,
          "kind": "normal",
          "whole_json_tokens_proxy": 61693,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 2,
          "kind": "normal",
          "whole_json_tokens_proxy": 61834,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 3,
          "kind": "normal",
          "whole_json_tokens_proxy": 62293,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 4,
          "kind": "normal",
          "whole_json_tokens_proxy": 62807,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 5,
          "kind": "normal",
          "whole_json_tokens_proxy": 63409,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 6,
          "kind": "normal",
          "whole_json_tokens_proxy": 64001,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 7,
          "kind": "normal",
          "whole_json_tokens_proxy": 67918,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 8,
          "kind": "normal",
          "whole_json_tokens_proxy": 68057,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 9,
          "kind": "normal",
          "whole_json_tokens_proxy": 68231,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        }
      ],
      "wall_seconds": 7.989,
      "cpu_seconds": 7.265101,
      "family_peak_mib": 781.34375,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-wire-candidate-large",
      "task_completed": true,
      "mode": "summary",
      "budget": 350000,
      "requests": 9,
      "compactions": 0,
      "whole_json_tokens_proxy": 1091290,
      "request_details": [
        {
          "index": 1,
          "kind": "normal",
          "whole_json_tokens_proxy": 61716,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 2,
          "kind": "normal",
          "whole_json_tokens_proxy": 61854,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 3,
          "kind": "normal",
          "whole_json_tokens_proxy": 62305,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 4,
          "kind": "normal",
          "whole_json_tokens_proxy": 62811,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 5,
          "kind": "normal",
          "whole_json_tokens_proxy": 63411,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 6,
          "kind": "normal",
          "whole_json_tokens_proxy": 63992,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 7,
          "kind": "normal",
          "whole_json_tokens_proxy": 238252,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 8,
          "kind": "normal",
          "whole_json_tokens_proxy": 238389,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 9,
          "kind": "normal",
          "whole_json_tokens_proxy": 238560,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        }
      ],
      "wall_seconds": 9.127,
      "cpu_seconds": 8.370296,
      "family_peak_mib": 770.76171875,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-wire-candidate-small",
      "task_completed": true,
      "mode": "summary",
      "budget": 30000,
      "requests": 9,
      "compactions": 0,
      "whole_json_tokens_proxy": 580070,
      "request_details": [
        {
          "index": 1,
          "kind": "normal",
          "whole_json_tokens_proxy": 61700,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 2,
          "kind": "normal",
          "whole_json_tokens_proxy": 61837,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 3,
          "kind": "normal",
          "whole_json_tokens_proxy": 62289,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 4,
          "kind": "normal",
          "whole_json_tokens_proxy": 62797,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 5,
          "kind": "normal",
          "whole_json_tokens_proxy": 63395,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 6,
          "kind": "normal",
          "whole_json_tokens_proxy": 63968,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 7,
          "kind": "normal",
          "whole_json_tokens_proxy": 67876,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 8,
          "kind": "normal",
          "whole_json_tokens_proxy": 68017,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        },
        {
          "index": 9,
          "kind": "normal",
          "whole_json_tokens_proxy": 68191,
          "rea_namespace_tokens_proxy": 52500,
          "rea_function_count": 210
        }
      ],
      "wall_seconds": 8.618,
      "cpu_seconds": 7.831511,
      "family_peak_mib": 785.86328125,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    }
  ],
  "sdk": [
    {
      "case": "final-sdk-baseline-gdb-large",
      "provider": "gdb",
      "symbol": "execute_command_internal",
      "detail": "complete",
      "warm": false,
      "tool_calls": 8,
      "exported_bundle_bytes": 1310073,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "ae48c61a-c147-49fe-ae56-6497631474e3",
            "command": "disassemble /r execute_command_internal"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1156.7173110000003,
          "reply_bytes": 2763983,
          "is_error": false
        }
      ],
      "wall_seconds": 6.965,
      "cpu_seconds": 6.729326,
      "family_peak_mib": 595.0234375,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-baseline-gdb-small",
      "provider": "gdb",
      "symbol": "execute_command",
      "detail": "complete",
      "warm": false,
      "tool_calls": 8,
      "exported_bundle_bytes": 31020,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "b25a7498-5ccf-4aa2-bae9-7517ad8ae39a",
            "command": "disassemble /r execute_command"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 11.674629000000095,
          "reply_bytes": 54123,
          "is_error": false
        }
      ],
      "wall_seconds": 6.631,
      "cpu_seconds": 6.101502,
      "family_peak_mib": 536.32421875,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-baseline-gdb-warm",
      "provider": "gdb",
      "symbol": "execute_command_internal",
      "detail": "complete",
      "warm": true,
      "tool_calls": 9,
      "exported_bundle_bytes": 2614510,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "e853876c-e2b1-4bea-a0c6-e4703df0b02f",
            "command": "disassemble /r execute_command_internal"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1084.606151,
          "reply_bytes": 2763983,
          "is_error": false
        },
        {
          "name": "gdb_console",
          "input": {
            "session_id": "e853876c-e2b1-4bea-a0c6-e4703df0b02f",
            "command": "disassemble /r execute_command_internal"
          },
          "phase": "disassembly:repeat",
          "elapsed_ms": 1100.088831,
          "reply_bytes": 2763983,
          "is_error": false
        }
      ],
      "wall_seconds": 7.831,
      "cpu_seconds": 7.613457,
      "family_peak_mib": 585.32421875,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-baseline-objdump-large",
      "provider": "objdump",
      "symbol": "execute_command_internal",
      "detail": "complete",
      "warm": false,
      "tool_calls": 3,
      "exported_bundle_bytes": 474288,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command_internal"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1191.5375009999998,
          "reply_bytes": 964889,
          "is_error": false
        }
      ],
      "wall_seconds": 7.737,
      "cpu_seconds": 7.334486,
      "family_peak_mib": 537.0078125,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-baseline-objdump-small",
      "provider": "objdump",
      "symbol": "execute_command",
      "detail": "complete",
      "warm": false,
      "tool_calls": 3,
      "exported_bundle_bytes": 13136,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1232.2390910000004,
          "reply_bytes": 22467,
          "is_error": false
        }
      ],
      "wall_seconds": 7.599,
      "cpu_seconds": 7.110224,
      "family_peak_mib": 527.7890625,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-baseline-objdump-warm",
      "provider": "objdump",
      "symbol": "execute_command_internal",
      "detail": "complete",
      "warm": true,
      "tool_calls": 4,
      "exported_bundle_bytes": 474288,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command_internal"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1329.52002,
          "reply_bytes": 964889,
          "is_error": false
        },
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command_internal"
          },
          "phase": "disassembly:repeat",
          "elapsed_ms": 1069.72696,
          "reply_bytes": 964889,
          "is_error": false
        }
      ],
      "wall_seconds": 8.549,
      "cpu_seconds": 7.819274,
      "family_peak_mib": 549.41796875,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-gdb-default",
      "provider": "gdb",
      "symbol": "execute_command",
      "detail": "complete",
      "warm": false,
      "tool_calls": 8,
      "exported_bundle_bytes": 31020,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "bd108943-b8a0-4d17-aaf2-12703cf3245d",
            "command": "disassemble /r execute_command"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 7.148729999999887,
          "reply_bytes": 54123,
          "is_error": false
        }
      ],
      "wall_seconds": 5.376,
      "cpu_seconds": 5.139502,
      "family_peak_mib": 532.73828125,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-gdb-large",
      "provider": "gdb",
      "symbol": "execute_command_internal",
      "detail": "summary",
      "warm": false,
      "tool_calls": 8,
      "exported_bundle_bytes": 1640022,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "ced14819-b4e5-4001-940d-74aeb3ffee76",
            "command": "disassemble /r execute_command_internal",
            "detail": "summary"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 924.0110299999997,
          "reply_bytes": 700453,
          "is_error": false
        }
      ],
      "wall_seconds": 6.66,
      "cpu_seconds": 6.451299,
      "family_peak_mib": 545.83203125,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-gdb-small",
      "provider": "gdb",
      "symbol": "execute_command",
      "detail": "summary",
      "warm": false,
      "tool_calls": 8,
      "exported_bundle_bytes": 39541,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "20d27f39-3d3a-4338-97bd-c3593d1a14fa",
            "command": "disassemble /r execute_command",
            "detail": "summary"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 14.95060999999987,
          "reply_bytes": 18009,
          "is_error": false
        }
      ],
      "wall_seconds": 5.447,
      "cpu_seconds": 5.23989,
      "family_peak_mib": 535.83984375,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-gdb-warm",
      "provider": "gdb",
      "symbol": "execute_command_internal",
      "detail": "summary",
      "warm": true,
      "tool_calls": 9,
      "exported_bundle_bytes": 3274329,
      "disassembly_calls": [
        {
          "name": "gdb_console",
          "input": {
            "session_id": "1fdd278f-ee18-4fa4-bb8f-c1cd94f15177",
            "command": "disassemble /r execute_command_internal",
            "detail": "summary"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1014.8414000000002,
          "reply_bytes": 700453,
          "is_error": false
        },
        {
          "name": "gdb_console",
          "input": {
            "session_id": "1fdd278f-ee18-4fa4-bb8f-c1cd94f15177",
            "command": "disassemble /r execute_command_internal",
            "detail": "summary"
          },
          "phase": "disassembly:repeat",
          "elapsed_ms": 1015.94805,
          "reply_bytes": 700453,
          "is_error": false
        }
      ],
      "wall_seconds": 7.412,
      "cpu_seconds": 7.161854,
      "family_peak_mib": 534.37890625,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-objdump-default",
      "provider": "objdump",
      "symbol": "execute_command",
      "detail": "complete",
      "warm": false,
      "tool_calls": 3,
      "exported_bundle_bytes": 13136,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 872.0469199999998,
          "reply_bytes": 22467,
          "is_error": false
        }
      ],
      "wall_seconds": 6.674,
      "cpu_seconds": 6.296232,
      "family_peak_mib": 529.1640625,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-objdump-large",
      "provider": "objdump",
      "symbol": "execute_command_internal",
      "detail": "summary",
      "warm": false,
      "tool_calls": 3,
      "exported_bundle_bytes": 712656,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command_internal",
            "detail": "summary"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1196.0160100000003,
          "reply_bytes": 487219,
          "is_error": false
        }
      ],
      "wall_seconds": 7.499,
      "cpu_seconds": 6.935195,
      "family_peak_mib": 536.60546875,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-objdump-small",
      "provider": "objdump",
      "symbol": "execute_command",
      "detail": "summary",
      "warm": false,
      "tool_calls": 3,
      "exported_bundle_bytes": 20919,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command",
            "detail": "summary"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1023.8277900000003,
          "reply_bytes": 15990,
          "is_error": false
        }
      ],
      "wall_seconds": 7.699,
      "cpu_seconds": 7.263709,
      "family_peak_mib": 532.5,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    },
    {
      "case": "final-sdk-candidate-objdump-warm",
      "provider": "objdump",
      "symbol": "execute_command_internal",
      "detail": "summary",
      "warm": true,
      "tool_calls": 4,
      "exported_bundle_bytes": 712656,
      "disassembly_calls": [
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command_internal",
            "detail": "summary"
          },
          "phase": "disassembly:fresh",
          "elapsed_ms": 1342.6134499999998,
          "reply_bytes": 487219,
          "is_error": false
        },
        {
          "name": "inspect_with_objdump",
          "input": {
            "path": "/usr/bin/bash",
            "operation": "disassemble",
            "symbol": "execute_command_internal",
            "detail": "summary"
          },
          "phase": "disassembly:repeat",
          "elapsed_ms": 939.490941,
          "reply_bytes": 487219,
          "is_error": false
        }
      ],
      "wall_seconds": 8.496,
      "cpu_seconds": 7.858788,
      "family_peak_mib": 550.5625,
      "payload_cleanup_verified": true,
      "final_whole_scope_counters_verified": false
    }
  ],
  "oracle": {
    "path": "/usr/bin/bash",
    "artifact_sha256": "55b89ab22bee4792a210f493a53fb066accd5d30b69837c28d98be5ff863efcf",
    "artifact_bytes": 1265648,
    "elf_class": 64,
    "byte_order": "little",
    "elf_machine": 62,
    "symbols": [
      {
        "symbol_table_section": 6,
        "symbol_ordinal": 544,
        "name": "execute_command_internal",
        "address": 294400,
        "bytes": 15428,
        "file_offset": 294400,
        "first_16_bytes_hex": "415741564155415455534881ecc80000"
      },
      {
        "symbol_table_section": 6,
        "symbol_ordinal": 578,
        "name": "execute_command",
        "address": 309840,
        "bytes": 239,
        "file_offset": 309840,
        "first_16_bytes_hex": "41544c8d25289a0a00554889fdbf1000"
      }
    ],
    "scope": "Independent ELF64 little-endian dynamic symbol/section mapping; no target execution or REA parser."
  },
  "byte_verification": {
    "status": "passed",
    "scope": "Each native byte-bearing line matches contiguous independent ELF file ranges; objdump line counts include byte continuations.",
    "records": [
      {
        "case": "final-sdk-baseline-gdb-large",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_ec972c91ca8ad1688b91dd1cb5022ad57f39bc683e17d469e909e1d2453ec047"
      },
      {
        "case": "final-sdk-baseline-gdb-small",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_b5a0e1ec8bf0e69ae489820cb92da38b7120075582d68c2a8bef65e3f66ec136"
      },
      {
        "case": "final-sdk-baseline-gdb-warm",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_4587fc260fca9c062361e1334eb55f31cab1878c41dfe34461d1a5bda55c485a"
      },
      {
        "case": "final-sdk-baseline-gdb-warm",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_f204aa41ddb44fdf677c9acc47d93592567fd6ba155d06b4eee81089af25b37e"
      },
      {
        "case": "final-sdk-baseline-objdump-large",
        "mode": "objdump",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3447,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_60eb1e87e0a2cdb1506bdc38f2a81feeb50ea9cd9b3b366c76496299ac67f27d"
      },
      {
        "case": "final-sdk-baseline-objdump-small",
        "mode": "objdump",
        "symbol": "execute_command",
        "byte_bearing_lines": 67,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_7283f73d06bfc092e61fe8f7f7cd22caee6a4eb3d0e245974e02bbd2f695edab"
      },
      {
        "case": "final-sdk-baseline-objdump-warm",
        "mode": "objdump",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3447,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_60eb1e87e0a2cdb1506bdc38f2a81feeb50ea9cd9b3b366c76496299ac67f27d"
      },
      {
        "case": "final-sdk-candidate-gdb-default",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_6a1fa914f561364502501dcaf6e965cd7369d1fa6c33af266f4ea6263c7a1f45"
      },
      {
        "case": "final-sdk-candidate-gdb-large",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_65bbf6278cca8c78fefa4845d35181f5662efc3bd255464447cba6281eb8564d"
      },
      {
        "case": "final-sdk-candidate-gdb-small",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_e20167b50a8d1a1fc856162790804103999e2c70887e488539ea48f2a4d6eb15"
      },
      {
        "case": "final-sdk-candidate-gdb-warm",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_7f190259b6190b59bab8a99391fd80853b5bb3345bc3a38abc1c63a195a4aa6e"
      },
      {
        "case": "final-sdk-candidate-gdb-warm",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_b23289fde8468f005c0172e479ff7ff6aa1121338b6a771aec8184c5c82e7aee"
      },
      {
        "case": "final-sdk-candidate-objdump-default",
        "mode": "objdump",
        "symbol": "execute_command",
        "byte_bearing_lines": 67,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_7283f73d06bfc092e61fe8f7f7cd22caee6a4eb3d0e245974e02bbd2f695edab"
      },
      {
        "case": "final-sdk-candidate-objdump-large",
        "mode": "objdump",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3447,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_60eb1e87e0a2cdb1506bdc38f2a81feeb50ea9cd9b3b366c76496299ac67f27d"
      },
      {
        "case": "final-sdk-candidate-objdump-small",
        "mode": "objdump",
        "symbol": "execute_command",
        "byte_bearing_lines": 67,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_7283f73d06bfc092e61fe8f7f7cd22caee6a4eb3d0e245974e02bbd2f695edab"
      },
      {
        "case": "final-sdk-candidate-objdump-warm",
        "mode": "objdump",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3447,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_60eb1e87e0a2cdb1506bdc38f2a81feeb50ea9cd9b3b366c76496299ac67f27d"
      },
      {
        "case": "final-wire-baseline-default",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_3b74f7b1cee2871850020bce2d87b87573bd6c84df1ad963f6cb597cb77f7cf3"
      },
      {
        "case": "final-wire-baseline-large",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_5a7b679d00d23d273edc47821f456042b00bc3a3676709f89a5566b624a31343"
      },
      {
        "case": "final-wire-baseline-small",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_67f1cf02a74ec018f00d43995e614f17ba6d41ed6b4cb004e55d85b9d75d91d3"
      },
      {
        "case": "final-wire-candidate-default",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_acc5e55ed735ad5373bc3c84192e0086f9aeb20e0a8a325aa0bb2143f3fc591f"
      },
      {
        "case": "final-wire-candidate-large",
        "mode": "gdb",
        "symbol": "execute_command_internal",
        "byte_bearing_lines": 3365,
        "bytes": 15428,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_349a7579b41a7ec0c01c8e62adb8130ede0b5817117bcffa153b334c315b670b"
      },
      {
        "case": "final-wire-candidate-small",
        "mode": "gdb",
        "symbol": "execute_command",
        "byte_bearing_lines": 66,
        "bytes": 239,
        "exact_file_bytes": true,
        "parent_evidence_id": "ev_9d4e66b8a2fe99f6fe83291cc8653b9dd57dcb8811494aedfaf7b653daf5b291"
      }
    ]
  },
  "cli": {
    "status": "passed",
    "records": [
      {
        "case": "symbol-baseline",
        "exit_code": 0,
        "stdout_bytes": 10871
      },
      {
        "case": "symbol-candidate-default",
        "exit_code": 0,
        "stdout_bytes": 10871
      },
      {
        "case": "symbol-summary",
        "exit_code": 0,
        "stdout_bytes": 7825
      },
      {
        "case": "symbol-no-overwrite",
        "exit_code": 1,
        "stdout_bytes": 11268
      },
      {
        "case": "architectures-baseline",
        "exit_code": 0,
        "stdout_bytes": 5827
      },
      {
        "case": "architectures-candidate-default",
        "exit_code": 0,
        "stdout_bytes": 5827
      },
      {
        "case": "architectures-summary",
        "exit_code": 0,
        "stdout_bytes": 4914
      },
      {
        "case": "architectures-no-overwrite",
        "exit_code": 1,
        "stdout_bytes": 6231
      },
      {
        "case": "missing-destination",
        "exit_code": 1,
        "stdout_bytes": 670
      },
      {
        "case": "gdb-summary",
        "exit_code": 0,
        "stdout_bytes": 2527
      }
    ],
    "scope": "Actual CLI/GDB/BFD; target not executed; subjectless GDB and architectures preserved; default exact Evidence identical; bundles nonoverwriting."
  },
  "validation": {
    "focused_tests": {
      "files": 12,
      "tests": 320,
      "status": "passed"
    },
    "check_fast": "passed on fourth invocation; earlier host-memory stops and fixture type failure are not passes",
    "resource_notes": "No experiment exceeded resource bounds or reported OOM. Final whole-scope counters are unknown when the cgroup disappeared. Initial fixture assertion failures and host-memory check stops were preserved."
  },
  "driver_sha256": {
    "command-observation-wire.py": "6d7794df8d9ee9b4dc897363cb2b4ebe2c4f705f7ebba6db40a24aabace4844b",
    "command-observation-oracle.py": "ebded792de2af81eb52dac0aae92717e9e281962afcb051c7f59d20e972e23a3",
    "command-observation-costs.py": "d52e265d29880e18cd7d03a208a2000e359997a2d0717c1eb0e498af0ebd6231",
    "command-observation-queries.mjs": "0a7a68a747f5a23d7e819aeca4204f0a04bd5bfbd2e0d508bb45dfee0b6ce3ab",
    "command-observation-verify.py": "7b983a228477ccffa61293531afc99176d69b506961cff5ee18a660d1e9e733c"
  },
  "review_followup": {
    "parent_commit": "b361d5de54a7a2f618a80af5846fad55f8f3f7d8",
    "production_source_changes": false,
    "changes": [
      "Shared acceptance oracle rejects incomplete summary delivery under every budget; only complete/default-budget baseline may remain incomplete.",
      "Removed unused --export option; native export remains mandatory in the eight-call question.",
      "Nine CLI regressions use registered argument/option codecs and real file publication with controlled captures; no real-provider claim from these tests."
    ],
    "checks": {
      "python_acceptance_regressions": 3,
      "cli_tests_passed": 16,
      "new_cli_regressions": 9,
      "focused_cli_typecheck": "passed with unchanged strict compiler settings and transitive source dependencies",
      "standard_static_tasks": "lint:built, format:check, knip, metadata:check, jscpd, scan:todos all passed"
    },
    "wire_revalidation": [
      {
        "case": "review-wire-baseline-verified",
        "status": "expected-incomplete-task",
        "task_completed": false,
        "tool_calls": 8,
        "requests": 9,
        "payload_cleanup_verified": true
      },
      {
        "case": "review-wire-summary-final",
        "status": "passed",
        "task_completed": true,
        "tool_calls": 8,
        "requests": 9,
        "payload_cleanup_verified": true
      },
      {
        "case": "review-wire-large-final",
        "status": "passed",
        "task_completed": true,
        "tool_calls": 8,
        "requests": 9,
        "payload_cleanup_verified": true
      }
    ],
    "updated_driver_sha256": {
      "command-observation-wire.py": "1124a3eda1779a78e37cac6b004f3593fadea62d310f6801bdf71062413549d6",
      "command_observation_delivery.py": "5c42fc767b859f9f7ba71bac6b83ea05db1bb9639ac438ce2741a1e01d55a260",
      "test_command_observation_delivery.py": "71d835a58aa7541d54a01326ca9001df0d63959e79f813cd0debfdc0d7837343"
    },
    "measurement_limits": "Original timing/token cohorts and their source/runtime pins are unchanged. Review revalidation is correctness evidence, not a replacement paired timing cohort."
  }
}
