{
  "model": "gpt-5.6-sol",
  "reasoning_effort": "high",
  "primary_finished": 18,
  "additional_baseline_finished": 6,
  "groups": [
    {
      "variant": "omvll_flatten",
      "track": "S_static",
      "planned_n": 3,
      "eligible_n": 3,
      "excluded_n": 0,
      "verified": 2,
      "outcomes": {
        "VERIFIED_RECOVERY": 2,
        "PARTIAL_RECOVERY": 1
      },
      "median_verified_submission_seconds": 222.98214997899777
    },
    {
      "variant": "omvll_flatten",
      "track": "D_dynamic",
      "planned_n": 3,
      "eligible_n": 3,
      "excluded_n": 0,
      "verified": 3,
      "outcomes": {
        "VERIFIED_RECOVERY": 3
      },
      "median_verified_submission_seconds": 230.73721604098682
    },
    {
      "variant": "v3_hardened",
      "track": "S_static",
      "planned_n": 3,
      "eligible_n": 3,
      "excluded_n": 0,
      "verified": 1,
      "outcomes": {
        "PARTIAL_RECOVERY": 2,
        "VERIFIED_RECOVERY": 1
      },
      "median_verified_submission_seconds": 323.83445191700594
    },
    {
      "variant": "v3_hardened",
      "track": "D_dynamic",
      "planned_n": 3,
      "eligible_n": 3,
      "excluded_n": 0,
      "verified": 2,
      "outcomes": {
        "VERIFIED_RECOVERY": 2,
        "PARTIAL_RECOVERY": 1
      },
      "median_verified_submission_seconds": 386.2313198750053
    },
    {
      "variant": "v4_hardened",
      "track": "S_static",
      "planned_n": 3,
      "eligible_n": 2,
      "excluded_n": 1,
      "verified": 2,
      "outcomes": {
        "CONTAMINATED": 1,
        "VERIFIED_RECOVERY": 2
      },
      "median_verified_submission_seconds": 524.3212143755081
    },
    {
      "variant": "v4_hardened",
      "track": "D_dynamic",
      "planned_n": 3,
      "eligible_n": 3,
      "excluded_n": 0,
      "verified": 2,
      "outcomes": {
        "VERIFIED_RECOVERY": 2,
        "WRONG_CONFIDENT": 1
      },
      "median_verified_submission_seconds": 485.4241305619944
    }
  ],
  "trials": [
    {
      "trial_id": "f9d0696a64d0db5c",
      "instance": 0,
      "variant": "v4_hardened",
      "track": "D_dynamic",
      "target_sha256": "c72000beaca0a5abea08cb8d52aa6d4fcd5f6fd2cbbc873961159ff7ff022f51",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 550.4473012909875,
      "tool_calls": 58,
      "usage": {
        "input_tokens": 5281944,
        "cached_input_tokens": 5118976,
        "cache_write_input_tokens": 0,
        "output_tokens": 27410,
        "reasoning_output_tokens": 11877
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2784,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.246
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 58,
        "mcp_calls": 58,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Dynamic target emulation and observation-probe patching allowed. Then VM dispatcher/frame scratch values traced on owned image; independently derived scalar C submitted. No ELF/native instruction image embedded; no target loading or emulator in C. Final source matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "execution"
          },
          {
            "call": 20,
            "kind": "execution"
          },
          {
            "call": 27,
            "kind": "execution"
          },
          {
            "call": 28,
            "kind": "execution"
          },
          {
            "call": 30,
            "kind": "execution"
          },
          {
            "call": 31,
            "kind": "execution"
          },
          {
            "call": 32,
            "kind": "execution"
          },
          {
            "call": 33,
            "kind": "execution"
          },
          {
            "call": 34,
            "kind": "execution"
          },
          {
            "call": 36,
            "kind": "execution"
          },
          {
            "call": 37,
            "kind": "execution"
          },
          {
            "call": 38,
            "kind": "execution"
          },
          {
            "call": 39,
            "kind": "execution"
          },
          {
            "call": 40,
            "kind": "execution"
          },
          {
            "call": 42,
            "kind": "execution"
          },
          {
            "call": 43,
            "kind": "execution"
          },
          {
            "call": 44,
            "kind": "execution"
          },
          {
            "call": 45,
            "kind": "execution"
          },
          {
            "call": 47,
            "kind": "execution"
          },
          {
            "call": 48,
            "kind": "execution"
          },
          {
            "call": 50,
            "kind": "execution"
          },
          {
            "call": 51,
            "kind": "execution"
          },
          {
            "call": 53,
            "kind": "execution"
          },
          {
            "call": 54,
            "kind": "execution"
          },
          {
            "call": 57,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 545.6526088329847,
      "submission_versions": 1
    },
    {
      "trial_id": "304ab4cf3d74fa28",
      "instance": 2,
      "variant": "v3_hardened",
      "track": "S_static",
      "target_sha256": "96fdc3fc0ad907d430779f0f7b1e6a221389fd2a060aa4891366358485aee9d7",
      "outcome": "PARTIAL_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 428.0288688330038,
      "tool_calls": 49,
      "usage": {
        "input_tokens": 2858924,
        "cached_input_tokens": 2770176,
        "cache_write_input_tokens": 0,
        "output_tokens": 19413,
        "reasoning_output_tokens": 13534
      },
      "judge": {
        "correct": 6411,
        "tested": 8592,
        "total": 8592,
        "outcome": "PARTIAL_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 3866,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2545,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.271
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 49,
        "mcp_calls": 49,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Only byte parsing/disassembly and manually derived scalar helper/hash calculations; no original instruction execution or emulator. Final source is standalone scalar C, matching last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 17,
            "kind": "execution"
          },
          {
            "call": 21,
            "kind": "execution"
          },
          {
            "call": 22,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit",
          "analyze"
        ]
      },
      "first_verified_submission_seconds": null,
      "submission_versions": 1
    },
    {
      "trial_id": "6e0c5f05a70c2acc",
      "instance": 1,
      "variant": "omvll_flatten",
      "track": "S_static",
      "target_sha256": "2fc27c4a237892fe9b99183b58ce1786f957d3ca04b2e9612c44c1e41e6a56e0",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 191.4850478330045,
      "tool_calls": 21,
      "usage": {
        "input_tokens": 515571,
        "cached_input_tokens": 479872,
        "cache_write_input_tokens": 0,
        "output_tokens": 9388,
        "reasoning_output_tokens": 6265
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.253
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 21,
        "mcp_calls": 21,
        "native_calls": [],
        "violations": [],
        "notes": [
          "ctypes loads generic libcapstone for static disassembly only; no target CDLL load or execution. subprocess objdump attempt is static tooling and denied by worker process policy.",
          "Two submissions; final source is standalone scalar C and matches last submit exactly. No original image or target loader embedded."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 13,
            "kind": "execution"
          },
          {
            "call": 16,
            "kind": "execution"
          },
          {
            "call": 17,
            "kind": "execution"
          },
          {
            "call": 18,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "files",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "submit",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 171.1964402080048,
      "submission_versions": 2
    },
    {
      "trial_id": "2ebd3b621012fad6",
      "instance": 0,
      "variant": "omvll_flatten",
      "track": "S_static",
      "target_sha256": "8fe0f0f14bd4c9a65ad23fdd40bce174cc69be90be89bd72b0738cdecd5b1268",
      "outcome": "PARTIAL_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 221.3639417500235,
      "tool_calls": 20,
      "usage": {
        "input_tokens": 418199,
        "cached_input_tokens": 381440,
        "cache_write_input_tokens": 0,
        "output_tokens": 11954,
        "reasoning_output_tokens": 8574
      },
      "judge": {
        "correct": 984,
        "tested": 8592,
        "total": 8592,
        "outcome": "PARTIAL_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 0,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 984,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.266
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 20,
        "mcp_calls": 20,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Capstone ctypes is static disassembly. Hash inversion and state XOR arithmetic are derived calculations, not target execution. Final source is standalone scalar C, matching last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 13,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "submit",
          "python"
        ]
      },
      "first_verified_submission_seconds": null,
      "submission_versions": 1
    },
    {
      "trial_id": "1214ed16b131f49a",
      "instance": 1,
      "variant": "v3_hardened",
      "track": "D_dynamic",
      "target_sha256": "4020bbfaebb6565dd912cc96307fdde42e90ee1d18ac5af5918c3e31fec4b792",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 472.54869641701225,
      "tool_calls": 50,
      "usage": {
        "input_tokens": 3965034,
        "cached_input_tokens": 3840000,
        "cache_write_input_tokens": 0,
        "output_tokens": 26115,
        "reasoning_output_tokens": 13709
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.247
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 50,
        "mcp_calls": 50,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Generic disassembly and owned target instruction emulation/trace only. Final portable scalar C has no target delegation or instruction image and matches final submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 9,
            "kind": "execution"
          },
          {
            "call": 10,
            "kind": "execution"
          },
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 13,
            "kind": "execution"
          },
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 15,
            "kind": "execution"
          },
          {
            "call": 28,
            "kind": "execution"
          },
          {
            "call": 30,
            "kind": "execution"
          },
          {
            "call": 31,
            "kind": "execution"
          },
          {
            "call": 32,
            "kind": "execution"
          },
          {
            "call": 33,
            "kind": "execution"
          },
          {
            "call": 34,
            "kind": "execution"
          },
          {
            "call": 35,
            "kind": "execution"
          },
          {
            "call": 36,
            "kind": "execution"
          },
          {
            "call": 37,
            "kind": "execution"
          },
          {
            "call": 38,
            "kind": "execution"
          },
          {
            "call": 39,
            "kind": "execution"
          },
          {
            "call": 40,
            "kind": "execution"
          },
          {
            "call": 43,
            "kind": "execution"
          },
          {
            "call": 45,
            "kind": "execution"
          },
          {
            "call": 49,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "files",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 467.3339795409993,
      "submission_versions": 1
    },
    {
      "trial_id": "6639306491ba950a",
      "instance": 2,
      "variant": "omvll_flatten",
      "track": "S_static",
      "target_sha256": "64e946674ae71eca0f84e14f40eaf45d0153d915dcd4707d5740012698abc63b",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 314.7175142499909,
      "tool_calls": 38,
      "usage": {
        "input_tokens": 1035558,
        "cached_input_tokens": 999168,
        "cache_write_input_tokens": 0,
        "output_tokens": 15939,
        "reasoning_output_tokens": 11529
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2895,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.259
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 38,
        "mcp_calls": 38,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Manual ISA field decoding and derived integer identity/division/state arithmetic only; no target instructions executed. Final independent scalar C matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 16,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit",
          "python",
          "python",
          "python"
        ]
      },
      "first_verified_submission_seconds": 274.76785974999075,
      "submission_versions": 1
    },
    {
      "trial_id": "6081534c9c8d4cdc",
      "instance": 0,
      "variant": "v3_hardened",
      "track": "D_dynamic",
      "target_sha256": "c2eb65d7668fb69e3cdaae6a7806df9ad8c1c60f822a43f0f2f970f15df1d243",
      "outcome": "PARTIAL_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 262.9042992909963,
      "tool_calls": 30,
      "usage": {
        "input_tokens": 1070428,
        "cached_input_tokens": 982144,
        "cache_write_input_tokens": 0,
        "output_tokens": 12397,
        "reasoning_output_tokens": 5798
      },
      "judge": {
        "correct": 5808,
        "tested": 8592,
        "total": 8592,
        "outcome": "PARTIAL_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 0,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.267
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 30,
        "mcp_calls": 30,
        "native_calls": [],
        "violations": [],
        "notes": [
          "All target emulation/probes occur on owned image in dynamic track. Final C has only scalar error partition, no original image, loader or emulator; matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 17,
            "kind": "execution"
          },
          {
            "call": 20,
            "kind": "execution"
          },
          {
            "call": 23,
            "kind": "execution"
          },
          {
            "call": 24,
            "kind": "execution"
          },
          {
            "call": 25,
            "kind": "execution"
          },
          {
            "call": 26,
            "kind": "execution"
          },
          {
            "call": 27,
            "kind": "execution"
          },
          {
            "call": 28,
            "kind": "execution"
          },
          {
            "call": 29,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "submit",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": null,
      "submission_versions": 2
    },
    {
      "trial_id": "6fcc093dc556c8f3",
      "instance": 0,
      "variant": "omvll_flatten",
      "track": "D_dynamic",
      "target_sha256": "8fe0f0f14bd4c9a65ad23fdd40bce174cc69be90be89bd72b0738cdecd5b1268",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 257.5851908749901,
      "tool_calls": 30,
      "usage": {
        "input_tokens": 832040,
        "cached_input_tokens": 781568,
        "cache_write_input_tokens": 0,
        "output_tokens": 13641,
        "reasoning_output_tokens": 5332
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2784,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.266
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 30,
        "mcp_calls": 30,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Owned binary disassembly/emulation and derived arithmetic validation only. Final independent scalar C matches last submit; no target delegation/image."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 13,
            "kind": "execution"
          },
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 15,
            "kind": "execution"
          },
          {
            "call": 16,
            "kind": "execution"
          },
          {
            "call": 16,
            "kind": "vm_eval"
          },
          {
            "call": 17,
            "kind": "execution"
          },
          {
            "call": 17,
            "kind": "vm_eval"
          },
          {
            "call": 18,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "execution"
          },
          {
            "call": 20,
            "kind": "execution"
          },
          {
            "call": 21,
            "kind": "execution"
          },
          {
            "call": 24,
            "kind": "execution"
          },
          {
            "call": 25,
            "kind": "execution"
          },
          {
            "call": 28,
            "kind": "execution"
          },
          {
            "call": 29,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 254.14573720801855,
      "submission_versions": 1
    },
    {
      "trial_id": "00ca25fa5a59b59f",
      "instance": 0,
      "variant": "v3_hardened",
      "track": "S_static",
      "target_sha256": "c2eb65d7668fb69e3cdaae6a7806df9ad8c1c60f822a43f0f2f970f15df1d243",
      "outcome": "PARTIAL_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 236.17077162500937,
      "tool_calls": 25,
      "usage": {
        "input_tokens": 765973,
        "cached_input_tokens": 720768,
        "cache_write_input_tokens": 0,
        "output_tokens": 13706,
        "reasoning_output_tokens": 9601
      },
      "judge": {
        "correct": 5808,
        "tested": 8592,
        "total": 8592,
        "outcome": "PARTIAL_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 0,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.259
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 25,
        "mcp_calls": 25,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Capstone ctypes static disassembly plus derived integer arithmetic only, no target instructions or VM execution. Final scalar C independent and matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 15,
            "kind": "execution"
          },
          {
            "call": 24,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": null,
      "submission_versions": 1
    },
    {
      "trial_id": "dffa45c5660aa227",
      "instance": 0,
      "variant": "v4_hardened",
      "track": "S_static",
      "target_sha256": "c72000beaca0a5abea08cb8d52aa6d4fcd5f6fd2cbbc873961159ff7ff022f51",
      "outcome": "CONTAMINATED",
      "eligible": false,
      "elapsed_seconds": 496.7499370419828,
      "tool_calls": 48,
      "usage": {
        "input_tokens": 2513332,
        "cached_input_tokens": 2401792,
        "cache_write_input_tokens": 0,
        "output_tokens": 32172,
        "reasoning_output_tokens": 17901
      },
      "judge": {
        "correct": 6057,
        "tested": 8592,
        "total": 8592,
        "outcome": "PARTIAL_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 249,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.248
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "FAIL",
        "total_tool_calls": 48,
        "mcp_calls": 48,
        "native_calls": [],
        "violations": [
          "Static track executes recovered target VM bytecode using a concrete PC/register interpreter from call39 onward."
        ],
        "notes": [
          "Calls39/40/41/45/46 load decrypted target bytecode R and execute it for concrete inputs, including branches and return. This is target VM emulation, not static decryption or a scalar derived formula. No host/source/oracle exposure observed.",
          "Final submitted scalar C is independent and matches last submit; track remains invalid because investigation ran the recovered VM.",
          "Calls39/40/41/45/46 load decrypted target bytecode R and execute it for concrete inputs, including branches and return. This is target VM emulation, not static decryption or a scalar derived formula. No host/source/oracle exposure observed.",
          "Final submitted scalar C is independent and matches last submit; track remains invalid because investigation ran the recovered VM."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 14,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": null,
      "submission_versions": 1
    },
    {
      "trial_id": "20a77cacf48a0bd8",
      "instance": 2,
      "variant": "v4_hardened",
      "track": "D_dynamic",
      "target_sha256": "b8cfda56992b96039801177a7ab8fa5c1ca0487931cbb0950a469838a605781f",
      "outcome": "WRONG_CONFIDENT",
      "eligible": true,
      "elapsed_seconds": 330.17099312497885,
      "tool_calls": 25,
      "usage": {
        "input_tokens": 669419,
        "cached_input_tokens": 624768,
        "cache_write_input_tokens": 0,
        "output_tokens": 12330,
        "reasoning_output_tokens": 4135
      },
      "judge": {
        "correct": 5697,
        "tested": 8592,
        "total": 8592,
        "outcome": "PARTIAL_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 0,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.26
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 25,
        "mcp_calls": 25,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Owned target probing/emulation only; final independent scalar error partition, no loader or copied target image, matches final submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 9,
            "kind": "execution"
          },
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 13,
            "kind": "execution"
          },
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 15,
            "kind": "execution"
          },
          {
            "call": 18,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "execution"
          },
          {
            "call": 20,
            "kind": "execution"
          },
          {
            "call": 21,
            "kind": "execution"
          },
          {
            "call": 22,
            "kind": "execution"
          },
          {
            "call": 23,
            "kind": "execution"
          },
          {
            "call": 24,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": null,
      "submission_versions": 1
    },
    {
      "trial_id": "8674d65e676be161",
      "instance": 1,
      "variant": "v4_hardened",
      "track": "D_dynamic",
      "target_sha256": "bbbf5a91598728147700dd8e5da32824eb5b2649964afce2a86cb5bd4f4e4e18",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 443.203093041986,
      "tool_calls": 40,
      "usage": {
        "input_tokens": 2712135,
        "cached_input_tokens": 2569472,
        "cache_write_input_tokens": 0,
        "output_tokens": 25227,
        "reasoning_output_tokens": 9884
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.253
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 40,
        "mcp_calls": 40,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Owned target emulation and VM runtime/frame operand tracing only. Final independently derived scalar C with no target loader/image/emulator, matches final submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 9,
            "kind": "execution"
          },
          {
            "call": 10,
            "kind": "execution"
          },
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "execution"
          },
          {
            "call": 20,
            "kind": "execution"
          },
          {
            "call": 21,
            "kind": "execution"
          },
          {
            "call": 22,
            "kind": "execution"
          },
          {
            "call": 23,
            "kind": "execution"
          },
          {
            "call": 25,
            "kind": "execution"
          },
          {
            "call": 26,
            "kind": "execution"
          },
          {
            "call": 28,
            "kind": "execution"
          },
          {
            "call": 29,
            "kind": "execution"
          },
          {
            "call": 30,
            "kind": "execution"
          },
          {
            "call": 31,
            "kind": "execution"
          },
          {
            "call": 32,
            "kind": "execution"
          },
          {
            "call": 34,
            "kind": "execution"
          },
          {
            "call": 35,
            "kind": "execution"
          },
          {
            "call": 36,
            "kind": "execution"
          },
          {
            "call": 37,
            "kind": "execution"
          },
          {
            "call": 38,
            "kind": "execution"
          },
          {
            "call": 40,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit",
          "python"
        ]
      },
      "first_verified_submission_seconds": 425.1956522910041,
      "submission_versions": 1
    },
    {
      "trial_id": "24d47de3be51d1d2",
      "instance": 1,
      "variant": "v3_hardened",
      "track": "S_static",
      "target_sha256": "4020bbfaebb6565dd912cc96307fdde42e90ee1d18ac5af5918c3e31fec4b792",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 350.7920062080084,
      "tool_calls": 44,
      "usage": {
        "input_tokens": 2310049,
        "cached_input_tokens": 2211456,
        "cache_write_input_tokens": 0,
        "output_tokens": 15492,
        "reasoning_output_tokens": 10156
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.269
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 44,
        "mcp_calls": 44,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Manually decoded native control flow and derived isolated helper arithmetic, selector maps and hash formulas only; no concrete instruction/bytecode interpreter or target execution. Independent scalar final C matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "analyze",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "submit",
          "analyze",
          "analyze"
        ]
      },
      "first_verified_submission_seconds": 323.83445191700594,
      "submission_versions": 1
    },
    {
      "trial_id": "ef9f8042222f544f",
      "instance": 2,
      "variant": "omvll_flatten",
      "track": "D_dynamic",
      "target_sha256": "64e946674ae71eca0f84e14f40eaf45d0153d915dcd4707d5740012698abc63b",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 175.1055062499945,
      "tool_calls": 19,
      "usage": {
        "input_tokens": 386673,
        "cached_input_tokens": 350208,
        "cache_write_input_tokens": 0,
        "output_tokens": 8388,
        "reasoning_output_tokens": 3985
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2895,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.247
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 19,
        "mcp_calls": 19,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Only fixed-target static inspection, generic Capstone, owned Unicorn target probes and derived formulas. Final independent scalar C matches last submit, with no delegation/image."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 12,
            "kind": "execution"
          },
          {
            "call": 13,
            "kind": "execution"
          },
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 15,
            "kind": "execution"
          },
          {
            "call": 16,
            "kind": "execution"
          },
          {
            "call": 16,
            "kind": "vm_eval"
          },
          {
            "call": 17,
            "kind": "execution"
          },
          {
            "call": 18,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 172.1151572910021,
      "submission_versions": 1
    },
    {
      "trial_id": "595383454349b321",
      "instance": 1,
      "variant": "v4_hardened",
      "track": "S_static",
      "target_sha256": "bbbf5a91598728147700dd8e5da32824eb5b2649964afce2a86cb5bd4f4e4e18",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 678.8936557919951,
      "tool_calls": 57,
      "usage": {
        "input_tokens": 4413848,
        "cached_input_tokens": 4268544,
        "cache_write_input_tokens": 0,
        "output_tokens": 50224,
        "reasoning_output_tokens": 19916
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 1.033
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 57,
        "mcp_calls": 57,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Statically lifts A64 into new 10-byte custom IR, compresses IR and includes only necessary 3312-byte VM rodata. No original ELF/.text/opcode image or external native-emulator delegation in portable C. New IR record encoding validated (18610 bytes, opIDs0..42); rodata matches intended target slice. Per predeclared recovered-IR allowance, eligible independent functional clone, not proof of simplified business understanding.",
          "No target, decoded-VM or generated-IR execution during S investigation observed: source generation, static pointer propagation and byte compression/decompression only. Final source matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 11,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "files",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "files",
          "python",
          "files",
          "python",
          "python",
          "files",
          "submit",
          "python",
          "python",
          "python",
          "python",
          "files",
          "submit",
          "python",
          "python",
          "python",
          "python"
        ]
      },
      "first_verified_submission_seconds": 610.11527054201,
      "submission_versions": 2
    },
    {
      "trial_id": "3816aaa9f3efd017",
      "instance": 2,
      "variant": "v3_hardened",
      "track": "D_dynamic",
      "target_sha256": "96fdc3fc0ad907d430779f0f7b1e6a221389fd2a060aa4891366358485aee9d7",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 308.6944447910064,
      "tool_calls": 36,
      "usage": {
        "input_tokens": 1865927,
        "cached_input_tokens": 1783168,
        "cache_write_input_tokens": 0,
        "output_tokens": 15919,
        "reasoning_output_tokens": 8350
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2895,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.263
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 36,
        "mcp_calls": 36,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Generic Capstone headers/library within allowlisted toolchain, own target Unicorn probes and derived hash math only. Final pure scalar C matches last submit; no image/loader/delegation."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 10,
            "kind": "execution"
          },
          {
            "call": 11,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "vm_eval"
          },
          {
            "call": 21,
            "kind": "execution"
          },
          {
            "call": 22,
            "kind": "execution"
          },
          {
            "call": 23,
            "kind": "execution"
          },
          {
            "call": 24,
            "kind": "execution"
          },
          {
            "call": 28,
            "kind": "execution"
          },
          {
            "call": 29,
            "kind": "execution"
          },
          {
            "call": 32,
            "kind": "execution"
          },
          {
            "call": 35,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 305.1286602090113,
      "submission_versions": 1
    },
    {
      "trial_id": "7b3ae0977d2e18a3",
      "instance": 1,
      "variant": "omvll_flatten",
      "track": "D_dynamic",
      "target_sha256": "2fc27c4a237892fe9b99183b58ce1786f957d3ca04b2e9612c44c1e41e6a56e0",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 234.5409592500073,
      "tool_calls": 25,
      "usage": {
        "input_tokens": 554427,
        "cached_input_tokens": 520576,
        "cache_write_input_tokens": 0,
        "output_tokens": 13508,
        "reasoning_output_tokens": 5860
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.254
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 25,
        "mcp_calls": 25,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Only owned target emulation/static parsing and derived scalar differential checks. Final independent scalar C matches last submit; one incomplete script has no executed effect."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 14,
            "kind": "execution"
          },
          {
            "call": 15,
            "kind": "execution"
          },
          {
            "call": 16,
            "kind": "execution"
          },
          {
            "call": 17,
            "kind": "execution"
          },
          {
            "call": 18,
            "kind": "execution"
          },
          {
            "call": 19,
            "kind": "execution"
          },
          {
            "call": 20,
            "kind": "execution"
          },
          {
            "call": 21,
            "kind": "execution"
          },
          {
            "call": 23,
            "kind": "execution"
          },
          {
            "call": 24,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 230.73721604098682,
      "submission_versions": 1
    },
    {
      "trial_id": "4460daf851bb5d05",
      "instance": 2,
      "variant": "v4_hardened",
      "track": "S_static",
      "target_sha256": "b8cfda56992b96039801177a7ab8fa5c1ca0487931cbb0950a469838a605781f",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 487.197847250005,
      "tool_calls": 33,
      "usage": {
        "input_tokens": 2201094,
        "cached_input_tokens": 2083968,
        "cache_write_input_tokens": 0,
        "output_tokens": 33467,
        "reasoning_output_tokens": 19513
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2895,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.267
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 33,
        "mcp_calls": 33,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Only static byte/ISA decoding, CFG/handler traversal and bytecode record decryption/table emission during investigation. No concrete target/VM/IR input execution observed.",
          "Final 9520-byte standalone C interpreter over 92 recovered virtual-code records is eligible under predeclared IR/bytecode lifting rule; no original ELF/.text/native opcode image, loader or native emulator delegation. Functional cloning rather than simplified business formula; matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 11,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "python",
          "analyze",
          "analyze",
          "analyze",
          "python",
          "analyze",
          "python",
          "files",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 438.5271582090063,
      "submission_versions": 1
    }
  ],
  "baseline_trials": [
    {
      "trial_id": "34ec6d3176cc4c07",
      "instance": 0,
      "variant": "baseline",
      "track": "S_static",
      "target_sha256": "f264e0826d80e7768c89a321335bb1a40bc2d3759753c9cbb1732c69a10a7049",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 44.98233829200035,
      "tool_calls": 4,
      "usage": {
        "input_tokens": 52999,
        "cached_input_tokens": 40320,
        "cache_write_input_tokens": 0,
        "output_tokens": 1725,
        "reasoning_output_tokens": 1003
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2784,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.246
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 4,
        "mcp_calls": 4,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Fixed-target inspection/decompilation and independent scalar C only; matches last submit. No host/source/oracle/other trial access or target image/delegation in submission."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 36.10995279200142,
      "submission_versions": 1
    },
    {
      "trial_id": "70c9b9dc98775ec2",
      "instance": 0,
      "variant": "baseline",
      "track": "D_dynamic",
      "target_sha256": "f264e0826d80e7768c89a321335bb1a40bc2d3759753c9cbb1732c69a10a7049",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 67.24974116700469,
      "tool_calls": 8,
      "usage": {
        "input_tokens": 120732,
        "cached_input_tokens": 108160,
        "cache_write_input_tokens": 0,
        "output_tokens": 3218,
        "reasoning_output_tokens": 920
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2784,
            "tested": 2784,
            "total": 2784
          },
          "invalid_input": {
            "correct": 5808,
            "tested": 5808,
            "total": 5808
          }
        },
        "memory_exceeded": false,
        "seconds": 0.249
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 8,
        "mcp_calls": 8,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Only own target Unicorn emulation against derived formulas in dynamic track; no external accesses. Final independent scalar C matches last submit."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [
          {
            "call": 6,
            "kind": "execution"
          },
          {
            "call": 7,
            "kind": "execution"
          }
        ],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "files",
          "python",
          "python",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 60.37392183300108,
      "submission_versions": 1
    },
    {
      "trial_id": "68d02c81a7d65983",
      "instance": 1,
      "variant": "baseline",
      "track": "S_static",
      "target_sha256": "bdbc4f65291adcff9025862b6101b40df990cee7a9a02b832244ed5aeb642948",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 36.081048458989244,
      "tool_calls": 4,
      "usage": {
        "input_tokens": 52860,
        "cached_input_tokens": 35968,
        "cache_write_input_tokens": 0,
        "output_tokens": 1484,
        "reasoning_output_tokens": 797
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.259
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 4,
        "mcp_calls": 4,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Fixed-target inspection/decompilation and independent scalar C only; matches last submit. No host/source/oracle/other trial access or target image/delegation in submission."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 30.133502917014994,
      "submission_versions": 1
    },
    {
      "trial_id": "7f93b9f3cfc2fe82",
      "instance": 1,
      "variant": "baseline",
      "track": "D_dynamic",
      "target_sha256": "bdbc4f65291adcff9025862b6101b40df990cee7a9a02b832244ed5aeb642948",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 53.59830199999851,
      "tool_calls": 4,
      "usage": {
        "input_tokens": 53122,
        "cached_input_tokens": 41728,
        "cache_write_input_tokens": 0,
        "output_tokens": 2004,
        "reasoning_output_tokens": 1303
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "valid_business": {
            "correct": 2848,
            "tested": 2848,
            "total": 2848
          },
          "invalid_input": {
            "correct": 5744,
            "tested": 5744,
            "total": 5744
          }
        },
        "memory_exceeded": false,
        "seconds": 0.248
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 4,
        "mcp_calls": 4,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Fixed-target inspection/decompilation and independent scalar C only; matches last submit. No host/source/oracle/other trial access or target image/delegation in submission."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 42.831644749996485,
      "submission_versions": 1
    },
    {
      "trial_id": "d2da649c50a202ba",
      "instance": 2,
      "variant": "baseline",
      "track": "S_static",
      "target_sha256": "69368757bdb35670f10e008008f62f6a483e4eccfd0fb6e43fea802b88822846",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 39.76116570801241,
      "tool_calls": 5,
      "usage": {
        "input_tokens": 72543,
        "cached_input_tokens": 59008,
        "cache_write_input_tokens": 0,
        "output_tokens": 2051,
        "reasoning_output_tokens": 1296
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2895,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.239
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "PASS",
        "total_tool_calls": 5,
        "mcp_calls": 5,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Fixed-target inspection/decompilation and independent scalar C only; matches last submit. No host/source/oracle/other trial access or target image/delegation in submission."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "analyze",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 33.78648887501913,
      "submission_versions": 1
    },
    {
      "trial_id": "68c7c2d520d448e8",
      "instance": 2,
      "variant": "baseline",
      "track": "D_dynamic",
      "target_sha256": "69368757bdb35670f10e008008f62f6a483e4eccfd0fb6e43fea802b88822846",
      "outcome": "VERIFIED_RECOVERY",
      "eligible": true,
      "elapsed_seconds": 30.114392749994295,
      "tool_calls": 4,
      "usage": {
        "input_tokens": 52777,
        "cached_input_tokens": 41472,
        "cache_write_input_tokens": 0,
        "output_tokens": 1470,
        "reasoning_output_tokens": 892
      },
      "judge": {
        "correct": 8592,
        "tested": 8592,
        "total": 8592,
        "outcome": "VERIFIED_RECOVERY",
        "independence_audit": "REQUIRED: numeric recovery must be audited for embedded target/delegation before final credit",
        "memory_limit": "process-group RSS 2048MiB watchdog every200ms",
        "strata": {
          "invalid_input": {
            "correct": 5697,
            "tested": 5697,
            "total": 5697
          },
          "valid_business": {
            "correct": 2895,
            "tested": 2895,
            "total": 2895
          }
        },
        "memory_exceeded": false,
        "seconds": 0.268
      },
      "audit": {
        "independence": "PASS",
        "static_policy": "NOT_APPLICABLE",
        "total_tool_calls": 4,
        "mcp_calls": 4,
        "native_calls": [],
        "violations": [],
        "notes": [
          "Fixed-target inspection/decompilation and independent scalar C only; matches last submit. No host/source/oracle/other trial access or target image/delegation in submission."
        ],
        "state": "FINISHED",
        "flags_for_manual_review": [],
        "last_submit_matches_private_file": true,
        "request_names": [
          "analyze",
          "analyze",
          "analyze",
          "submit"
        ]
      },
      "first_verified_submission_seconds": 25.879499500006204,
      "submission_versions": 1
    }
  ],
  "cost": "Actual per-trial billed USD unavailable under subscription authentication",
  "limit": "One scalar function family; three secret instances; same fixed tool subset; ARM64 emulation, no device evidence",
  "classification_note": "WRONG_CONFIDENT is posthoc visible-claim annotation, not a change to hidden correctness; static target VM execution excluded, low-level independent C/IR lifting allowed"
}
