{
  "schema": "sots-abi-static-capture/2",
  "session": "run-35e59053176da458d8b46fea",
  "actor": "research-abi-analyst",
  "role": "analyst",
  "model": "openai/gpt-5.6-sol",
  "timestamp": "2026-09-10T13:20:55.693635+00:00",
  "decisions": [
    "d-e9d6d48cd77538556d1a1c1f",
    "d-6e30d172051af0385f5979eb"
  ],
  "scope": "Static instruction/byte capture and immutable input identity; no game/runtime execution.",
  "source_before": {
    "argv": [
      "/usr/bin/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": "e5cf1c44761bebcada1aacb53f30722bdaf4784f21a9ec1023a1851c142c124f"
      }
    }
  },
  "source_after": {
    "argv": [
      "/usr/bin/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": "e5cf1c44761bebcada1aacb53f30722bdaf4784f21a9ec1023a1851c142c124f"
      }
    }
  },
  "files": {
    "binary": {
      "path": "/home/alex/sots-re/dumps/sots.exe",
      "resolved_path": "/home/alex/sots-re/dumps/sots.exe",
      "bytes": 7898624,
      "sha256": "970b7de729956a53094c7eb98aba4270aee98e2fed5daf0d39e290013c90c841"
    },
    "objdump": {
      "path": "/usr/bin/objdump",
      "resolved_path": "/usr/bin/x86_64-linux-gnu-objdump",
      "bytes": 373888,
      "sha256": "1eaaef2e7f57c4c7f69115c495e2466f5a8c8e5f3bc42221d092382f30f9d4cd"
    },
    "python": {
      "path": "/usr/bin/python3",
      "resolved_path": "/usr/bin/python3.10",
      "bytes": 5941864,
      "sha256": "a2f33a6e006989270f4340528eb61f8f97366e00a5d1b602ac8672ea44fc56ae"
    },
    "save": {
      "path": "/home/alex/sots-re/verify/results/saves/turn3-state.sav",
      "resolved_path": "/home/alex/sots-re/verify/results/saves/turn3-state.sav",
      "bytes": 67219,
      "sha256": "978041acd168b56ed8eb3f5e42e78d5e70eae6e6517d75e659a5eb7ca3d60921"
    },
    "campaign": {
      "path": "/home/alex/sots-re/tools/campaign.py",
      "resolved_path": "/home/alex/sots-re/tools/campaign.py",
      "bytes": 35131,
      "sha256": "a9fafe320bf2b59200c2572bc43dff8823827b9d7b78dc7b959e4b6b983f2123"
    },
    "save_reader": {
      "path": "/home/alex/sots-re/verify/save-reader/save_reader.py",
      "resolved_path": "/home/alex/sots-re/verify/save-reader/save_reader.py",
      "bytes": 74367,
      "sha256": "2dcac286b5382b67fe8f2dbce58c80950dd430b726ed0e98f3bcea155df0df35"
    },
    "state_checksum": {
      "path": "/home/alex/sots-re/verify/state-checksum/state_checksum.py",
      "resolved_path": "/home/alex/sots-re/verify/state-checksum/state_checksum.py",
      "bytes": 57792,
      "sha256": "ed80458e84d92040aa3872464d8df315e935f379ca0da5a2df81c3049826e5b8"
    }
  },
  "image_base": "0x00400000",
  "commands": [
    {
      "name": "observed-ctor",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x008562a0",
        "--stop-address=0x00856310",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 2225,
        "sha256": "e200e8f271005787df1ec1d259f7cc644a0060c300731b19ec033fe3f2e3616d"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 43
    },
    {
      "name": "observed-append",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x007b7320",
        "--stop-address=0x007b73a2",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 2853,
        "sha256": "99858bf590aeed92ed7b5d39b4cb84c29dd3ce72b73b8b7d30830cc9f258f334"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 57
    },
    {
      "name": "observed-copy",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0079a150",
        "--stop-address=0x0079a1dc",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 2772,
        "sha256": "48cfde0b73307ca4b10b68d6a0d5444671a51744c9445d7c4431bb4955c4c14d"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 52
    },
    {
      "name": "observed-growth",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x007b34e0",
        "--stop-address=0x007b35f2",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 5244,
        "sha256": "7fb72600e542553bbd197838a3cb0f0b6166925356b6c05a170d1eb66b65b30f"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 101
    },
    {
      "name": "observed-alloc",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0057e590",
        "--stop-address=0x0057e5e7",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 1555,
        "sha256": "27a38437141ec8f1d1975f75a7cd5b84718b20d179e7cbd3b3666453ac33c6c0"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 30
    },
    {
      "name": "player-ctor",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0084ee30",
        "--stop-address=0x0084eef4",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 3382,
        "sha256": "04a44e75771e8f3a3711bfca4a88c8fa73f1d600d264d4b5f6d4bbf3aee49490"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 62
    },
    {
      "name": "player-append",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0086c580",
        "--stop-address=0x0086c631",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 3422,
        "sha256": "b212a85480fc9bcb1b3046ebe5faab9efa45af6fb7595e4ce002ddcdb2529791"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 66
    },
    {
      "name": "player-growth",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00869500",
        "--stop-address=0x00869620",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 5928,
        "sha256": "8e78b3dd17e52d947f78c93867c0977eddd16ce176b10291ba3afd8c3567428f"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 121
    },
    {
      "name": "player-copy",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x007693f0",
        "--stop-address=0x007694c3",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 4132,
        "sha256": "956786989ef2866c27ee92b8c687fbc13c000a9494830b476e451a5d4e819570"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 76
    },
    {
      "name": "player-dtor",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0061ae90",
        "--stop-address=0x0061aefc",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 2004,
        "sha256": "a54b81f12580162518f780250d7dfda03b8d2e464c4ace77997208047ba11243"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 36
    },
    {
      "name": "string-assign",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x004249a0",
        "--stop-address=0x00424add",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 6102,
        "sha256": "2e7a53241db15a13b74b49c2d09cb70704d5daffae1ff023364aeb64afd47815"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 117
    },
    {
      "name": "import-thunks",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00924faa",
        "--stop-address=0x00924fbc",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 304,
        "sha256": "ad439944e6487e4131ac43f4ce75e61c5a362848b39ca99ca027fcee3f6162d0"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 4
    },
    {
      "name": "turn-get-create",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00885380",
        "--stop-address=0x0088544e",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 4134,
        "sha256": "9cb7d2ccfcc645b3b642e520ba51c85330c57d6d4395ed3fbd4a4a1950436e80"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 81
    },
    {
      "name": "turn-append",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00884cb0",
        "--stop-address=0x00884d93",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 4309,
        "sha256": "957339f40b2af8947cb883cc1d3a9d1e151bf7663305415065472ef9171dc33d"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 82
    },
    {
      "name": "turn-growth",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x008841a0",
        "--stop-address=0x00884300",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 6804,
        "sha256": "9b7674abc156a82c2db00f95dd6719bfb718644536a1228baadad284b3ed8461"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 136
    },
    {
      "name": "nested-copy-authority",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779930",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 4465,
        "sha256": "973c87ccab76a8454a4e43c83b59cdeace1e4f8c124c5aa9630cb956e3156bb8"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 88
    },
    {
      "name": "nested-dtor",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00629580",
        "--stop-address=0x006295ce",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 1887,
        "sha256": "0aba6fc800760e3a113c07238cfb6e721623eb0bb8a933a990d3e2e82823d00f"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 37
    },
    {
      "name": "turn-virtual-dtor",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0062e120",
        "--stop-address=0x0062e170",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 1429,
        "sha256": "319e74267a88f166e05306be5cb2a2d7ffdca3e75169f7e7e6e8d379f153220c"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 27
    },
    {
      "name": "dedup",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00825d40",
        "--stop-address=0x00825e67",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 6153,
        "sha256": "cb10ca40246bc57fd5431ab099008727fe5be90c22bd7f57fad1cb30301f002c"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 121
    },
    {
      "name": "string-not-equal",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x0046f8c0",
        "--stop-address=0x0046f8f0",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 1352,
        "sha256": "7d1efe697a4f1d0549dd25f15758e601ef94583389aecf4a59f99cf3d825bf69"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 27
    },
    {
      "name": "prune",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00879eb0",
        "--stop-address=0x00879fc0",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 6620,
        "sha256": "8536d2a47f14f5b6e0f1796de33189471687a0a0d0c2414e98e1623cb8226d99"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 134
    },
    {
      "name": "nested-copy-stop-9913",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779913",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 3815,
        "sha256": "715d47e9675909adf6c2c42acae622b3c43dc9ce45dc678ffe623466e44ae219"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 73
    },
    {
      "name": "nested-copy-stop-9915",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779915",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 3819,
        "sha256": "d545b88701652f65511047c65917b308b6982c23c52d6fa14ae91174feedcc31"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 73
    },
    {
      "name": "nested-copy-stop-a20",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a20",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 8469,
        "sha256": "e3988aa615066dce65ec16de0d61051ffc5deafe8c8eef4aeb0bbfbe931204a1"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 169
    },
    {
      "name": "nested-copy-stop-a21",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a21",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 8471,
        "sha256": "b6d58767d00328c37139f439db480c9bb5ce6767dabf212f9e750a31fea0d3d7"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 169
    },
    {
      "name": "nested-copy-stop-a23",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a23",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 8518,
        "sha256": "e8cc66eb74730fcf7853d66df8caa620ddb3fc8c75335f0573ac490037a7a88e"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 170
    },
    {
      "name": "nested-copy-stop-a28",
      "argv": [
        "/usr/bin/objdump",
        "-D",
        "-Mintel",
        "--start-address=0x00779850",
        "--stop-address=0x00779a28",
        "/home/alex/sots-re/dumps/sots.exe"
      ],
      "returncode": 0,
      "stdout": {
        "bytes": 8566,
        "sha256": "7b02af65ab916de02fc44b2004f8acedc127bf686874bd0c75d4a277c40d9560"
      },
      "stderr": {
        "bytes": 0,
        "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
      },
      "instruction_rows": 171
    }
  ],
  "direct_pe": {
    "ret4": {
      "va": "0x00779912",
      "bytes": "c20400",
      "section": ".text",
      "file_offset": 3640594
    },
    "a20-family": {
      "va": "0x00779a1f",
      "bytes": "74108bcfe8286affff",
      "section": ".text",
      "file_offset": 3640863
    },
    "observed-stride": {
      "va": "0x007b7333",
      "bytes": "3bc777412bf8b8e9",
      "section": ".text",
      "file_offset": 3893043
    },
    "player-stride": {
      "va": "0x0086c593",
      "bytes": "57a1788baf0033c5",
      "section": ".text",
      "file_offset": 4635027
    },
    "turn-stride": {
      "va": "0x00884cc3",
      "bytes": "57a1788baf0033c5",
      "section": ".text",
      "file_offset": 4735171
    },
    "constructor-defaults": {
      "va": "0x00af0dc8",
      "bytes": "ffff7f7fffff7f7fffff7f7f",
      "section": ".data",
      "file_offset": 7271880
    }
  },
  "checks": [
    {
      "name": "all_commands_zero",
      "status": "pass"
    },
    {
      "name": "all_stdout_nonempty",
      "status": "pass"
    },
    {
      "name": "all_stderr_empty",
      "status": "pass"
    },
    {
      "name": "source_stable",
      "status": "pass"
    },
    {
      "name": "9913_is_truncated_prefix",
      "status": "fail"
    },
    {
      "name": "9915_terminal_ret4",
      "status": "pass"
    },
    {
      "name": "authority_contains_ret4",
      "status": "pass"
    },
    {
      "name": "a20_is_truncated_prefix",
      "status": "fail"
    },
    {
      "name": "a21_adds_complete_je",
      "status": "pass"
    },
    {
      "name": "a23_adds_complete_mov",
      "status": "pass"
    },
    {
      "name": "a28_adds_complete_call",
      "status": "pass"
    },
    {
      "name": "direct_ret4",
      "status": "pass"
    },
    {
      "name": "direct_a20_family",
      "status": "pass"
    },
    {
      "name": "direct_defaults",
      "status": "pass"
    }
  ],
  "failed": [
    "9913_is_truncated_prefix",
    "a20_is_truncated_prefix"
  ],
  "static_branch_exposure": [
    "existing-match/miss",
    "spare/full capacity",
    "empty/nonempty nested copy",
    "null/nonnull destruction",
    "short/long string",
    "normal/unwind",
    "bad/aligned boundaries"
  ],
  "runtime_unexercised": [
    "all listed static branches",
    "allocator safety",
    "event construction and IDs",
    "PostEvent caller defaults/write order",
    "exception throw",
    "RNG state/draws"
  ],
  "original_helpers": [
    "0x00924fb6 allocation thunk",
    "0x00924faa deallocation thunk",
    "0x0046f8c0 original string comparison when called"
  ]
}