{
  "schema": "sots-abi-static-capture/1",
  "session": "run-16f8e9b6376b278c4870be09",
  "actor": "research-abi-analyst",
  "role": "analyst",
  "model": "openai/gpt-5.6-sol",
  "timestamp": "2026-09-10T04:25:48.076637+00:00",
  "scope": "Fresh read-only correction capture required by d-b51f3f76803e852ed250846a; no game execution or live allocator claim.",
  "source_binding": {
    "engine": {
      "path": "/tmp/opencode/sots-final-research-engine",
      "commit": "7741d42fc5e4e761e6449bdaf0e4a61d00036a23",
      "sha256": "ccd8e02083e8d2e2b3e97976ace2273c8f924dfc02a39e919004eaf3544c50fd"
    },
    "re": {
      "path": "/tmp/opencode/sots-final-research-re",
      "commit": "3bfde5a70d874a723e797a695bbd847fd82c0aa7",
      "sha256": "6696fd5201e144843617cbf6d78b41b5287ad5dcc9fa1e8aaa861d52b64e72e8"
    }
  },
  "input": {
    "path": "dumps/sots.exe",
    "bytes": 7898624,
    "sha256": "970b7de729956a53094c7eb98aba4270aee98e2fed5daf0d39e290013c90c841"
  },
  "tool": {
    "path": "/usr/bin/objdump",
    "bytes": 373888,
    "sha256": "1eaaef2e7f57c4c7f69115c495e2466f5a8c8e5f3bc42221d092382f30f9d4cd",
    "version": "GNU objdump (GNU Binutils for Ubuntu) 2.38"
  },
  "windows": [
    {
      "name": "turn-get-create",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00885380",
        "--stop-address=0x0088544a",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "start": "0x00885380",
      "stop": "0x0088544a",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/turn-get-create.stdout.txt",
        "bytes": 3974,
        "sha256": "f6e72ba9b08fdf48d70f39379b2fb30a5adbe796072485f70c5795c10ab45ca3"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/turn-get-create.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "turn-append",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00884cb0",
        "--stop-address=0x00884d8f",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "start": "0x00884cb0",
      "stop": "0x00884d8f",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/turn-append.stdout.txt",
        "bytes": 4179,
        "sha256": "57d6655feed0fc137bb2b7eee4bfcb09536b5a715603c917ee142770f1d52a15"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/turn-append.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a20",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "start": "0x00779850",
      "stop": "0x00779a20",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/nested-copy.stdout.txt",
        "bytes": 8469,
        "sha256": "e3988aa615066dce65ec16de0d61051ffc5deafe8c8eef4aeb0bbfbe931204a1"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/nested-copy.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-dtor",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00629580",
        "--stop-address=0x006295ca",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "start": "0x00629580",
      "stop": "0x006295ca",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/nested-dtor.stdout.txt",
        "bytes": 1727,
        "sha256": "3c38887e60d009ab904772b13be93ac1eedd9bee85024e37110160a625db3a83"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-16f8e9b6376b278c4870be09/nested-dtor.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    }
  ]
}