{
  "schema": "sots-abi-static-capture/1",
  "session": "run-9daf5c3b75547271d5c3b4ed",
  "actor": "research-abi-analyst",
  "role": "analyst",
  "model": "openai/gpt-5.6-sol",
  "timestamp": "2026-09-10T04:59:38.840348+00:00",
  "decisions": [
    "d-fd5aff1eaf78a8c15d96723c",
    "d-0bb927e63b915c87a58d4257"
  ],
  "scope": "Fresh read-only static capture; no game, allocator, constructor, destructor, exception, or RNG execution.",
  "negative_preflight": [
    {
      "name": "reject-missing-session",
      "status": "pass",
      "rejection": "missing session"
    },
    {
      "name": "reject-stale-session",
      "status": "pass",
      "rejection": "stale or unexpected session"
    },
    {
      "name": "reject-stale-output",
      "status": "pass",
      "rejection": "output location is not bound to session"
    },
    {
      "name": "reject-reused-output",
      "status": "pass",
      "rejection": "output location was already used"
    }
  ],
  "source_before": {
    "argv": [
      "python3",
      "/home/alex/sots-re/tools/campaign.py",
      "--state-root",
      "/home/alex/sots-re",
      "source-binding",
      "research-completion-abi",
      "--engine-worktree",
      "/tmp/opencode/sots-final-research-engine",
      "--re-worktree",
      "/tmp/opencode/sots-final-research-re"
    ],
    "value": {
      "engine": {
        "commit": "7741d42fc5e4e761e6449bdaf0e4a61d00036a23",
        "path": "/tmp/opencode/sots-final-research-engine",
        "sha256": "ccd8e02083e8d2e2b3e97976ace2273c8f924dfc02a39e919004eaf3544c50fd"
      },
      "re": {
        "commit": "3bfde5a70d874a723e797a695bbd847fd82c0aa7",
        "path": "/tmp/opencode/sots-final-research-re",
        "sha256": "6696fd5201e144843617cbf6d78b41b5287ad5dcc9fa1e8aaa861d52b64e72e8"
      }
    }
  },
  "source_after": {
    "argv": [
      "python3",
      "/home/alex/sots-re/tools/campaign.py",
      "--state-root",
      "/home/alex/sots-re",
      "source-binding",
      "research-completion-abi",
      "--engine-worktree",
      "/tmp/opencode/sots-final-research-engine",
      "--re-worktree",
      "/tmp/opencode/sots-final-research-re"
    ],
    "value": {
      "engine": {
        "commit": "7741d42fc5e4e761e6449bdaf0e4a61d00036a23",
        "path": "/tmp/opencode/sots-final-research-engine",
        "sha256": "ccd8e02083e8d2e2b3e97976ace2273c8f924dfc02a39e919004eaf3544c50fd"
      },
      "re": {
        "commit": "3bfde5a70d874a723e797a695bbd847fd82c0aa7",
        "path": "/tmp/opencode/sots-final-research-re",
        "sha256": "6696fd5201e144843617cbf6d78b41b5287ad5dcc9fa1e8aaa861d52b64e72e8"
      }
    }
  },
  "input": {
    "path": "/home/alex/sots-re/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"
  },
  "commands": [
    {
      "name": "turn-get-create-exact",
      "classification": "complete-control",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00885380",
        "--stop-address=0x0088544a",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-get-create-exact.stdout.txt",
        "bytes": 3974,
        "sha256": "f6e72ba9b08fdf48d70f39379b2fb30a5adbe796072485f70c5795c10ab45ca3"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-get-create-exact.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "turn-get-create-wide",
      "classification": "boundary-audit",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00885380",
        "--stop-address=0x0088544e",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-get-create-wide.stdout.txt",
        "bytes": 4134,
        "sha256": "9cb7d2ccfcc645b3b642e520ba51c85330c57d6d4395ed3fbd4a4a1950436e80"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-get-create-wide.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "turn-append-exact",
      "classification": "complete-control",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00884cb0",
        "--stop-address=0x00884d8f",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-append-exact.stdout.txt",
        "bytes": 4179,
        "sha256": "57d6655feed0fc137bb2b7eee4bfcb09536b5a715603c917ee142770f1d52a15"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-append-exact.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "turn-append-wide",
      "classification": "boundary-audit",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00884cb0",
        "--stop-address=0x00884d93",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-append-wide.stdout.txt",
        "bytes": 4309,
        "sha256": "957339f40b2af8947cb883cc1d3a9d1e151bf7663305415065472ef9171dc33d"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/turn-append-wide.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-dtor-exact",
      "classification": "complete-control",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00629580",
        "--stop-address=0x006295ca",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-dtor-exact.stdout.txt",
        "bytes": 1727,
        "sha256": "3c38887e60d009ab904772b13be93ac1eedd9bee85024e37110160a625db3a83"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-dtor-exact.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-dtor-wide",
      "classification": "boundary-audit",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00629580",
        "--stop-address=0x006295ce",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-dtor-wide.stdout.txt",
        "bytes": 1887,
        "sha256": "0aba6fc800760e3a113c07238cfb6e721623eb0bb8a933a990d3e2e82823d00f"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-dtor-wide.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy-authority",
      "classification": "bounded-authority",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779930",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-authority.stdout.txt",
        "bytes": 4465,
        "sha256": "973c87ccab76a8454a4e43c83b59cdeace1e4f8c124c5aa9630cb956e3156bb8"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-authority.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy-stop-a20",
      "classification": "expected-truncated-negative",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a20",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a20.stdout.txt",
        "bytes": 8469,
        "sha256": "e3988aa615066dce65ec16de0d61051ffc5deafe8c8eef4aeb0bbfbe931204a1"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a20.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy-stop-a21",
      "classification": "predicted-complete-je",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a21",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a21.stdout.txt",
        "bytes": 8471,
        "sha256": "b6d58767d00328c37139f439db480c9bb5ce6767dabf212f9e750a31fea0d3d7"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a21.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy-stop-a23",
      "classification": "predicted-complete-mov",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a23",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a23.stdout.txt",
        "bytes": 8518,
        "sha256": "e8cc66eb74730fcf7853d66df8caa620ddb3fc8c75335f0573ac490037a7a88e"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a23.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy-stop-a28",
      "classification": "complete-call-boundary-control",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a28",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a28.stdout.txt",
        "bytes": 8566,
        "sha256": "7b02af65ab916de02fc44b2004f8acedc127bf686874bd0c75d4a277c40d9560"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-stop-a28.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    },
    {
      "name": "nested-copy-boundary-bytes",
      "classification": "raw-byte-boundary-control",
      "argv": [
        "/usr/bin/objdump",
        "-s",
        "-j",
        ".text",
        "--start-address=0x00779a1f",
        "--stop-address=0x00779a28",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "cwd": "/home/alex/sots-re",
      "returncode": 0,
      "stdout": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-boundary-bytes.stdout.txt",
        "bytes": 151,
        "sha256": "b2d9b57274be71fcdd853f04758bc65d701e7b4cc169d0d5ede24c8788ef82d5"
      },
      "stderr": {
        "path": "verify/results/research-completion-abi/run-9daf5c3b75547271d5c3b4ed/nested-copy-boundary-bytes.stderr.txt",
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      }
    }
  ],
  "checks": [
    {
      "name": "explicit-session",
      "status": "pass"
    },
    {
      "name": "session-output-match",
      "status": "pass"
    },
    {
      "name": "negative-preflight-all-rejected",
      "status": "pass"
    },
    {
      "name": "binary-hash",
      "status": "pass"
    },
    {
      "name": "tool-hash",
      "status": "pass"
    },
    {
      "name": "source-stable",
      "status": "pass"
    },
    {
      "name": "all-return-zero",
      "status": "pass"
    },
    {
      "name": "all-stdout-nonempty",
      "status": "pass"
    },
    {
      "name": "all-stderr-empty",
      "status": "pass"
    }
  ],
  "failed": []
}