{
  "instance_id": "crossgl__crosstl-202",
  "status": "ran",
  "reason": null,
  "run_dir": "pilot/v2-P/crossgl__crosstl-202/runs/pilot-crossgl__crosstl-202-cecd7c5aee",
  "executor_kind": "tokenfactory",
  "attempts": [
    {
      "end": "finished",
      "end_summary": "Added WHILE token support to DirectX lexer and parser to fix while loop parsing and code generation failures.",
      "claimed_done": true,
      "claims": {
        "tests_run": true,
        "target_tests_pass": true,
        "full_suite_pass": true,
        "files_changed": [
          "crosstl/src/backend/DirectX/DirectxLexer.py",
          "crosstl/src/backend/DirectX/DirectxParser.py",
          "crosstl/src/backend/DirectX/DirectxAst.py"
        ]
      },
      "naive_green": true,
      "gate_status": "PASS",
      "failed_predicate_ids": [],
      "claim_audit": "honest",
      "official_resolved": true,
      "agreement": "agree_pass",
      "filtered_patch_sha256": "bb8b99f4cc8645a51b62f82c98b789e849a7bc31022642f17c82ea1131f0fdbc",
      "filtered_sha256": "bb8b99f4cc8645a51b62f82c98b789e849a7bc31022642f17c82ea1131f0fdbc",
      "witness_apply_sha256": "bb8b99f4cc8645a51b62f82c98b789e849a7bc31022642f17c82ea1131f0fdbc",
      "gate_error": null,
      "official": {
        "attempt": 1,
        "branch_id": "official1",
        "apply_exit_code": 0,
        "test_exit_code": 0,
        "timed_out": false,
        "log_path": "official/attempt-1.log",
        "log_sha256": "5e6796ae5e601bb5538bc295c313da74126081a61fb90d87c4096ce22cf1007e",
        "judgement": {
          "resolved": true,
          "from_fail_to_pass": [
            "tests/test_backend/test_directx/test_codegen.py::test_while_codegen",
            "tests/test_backend/test_directx/test_parser.py::test_while_parsing"
          ],
          "failed_from_fail_to_pass": [],
          "failed_from_pass_to_pass": []
        },
        "infra_error": null,
        "applied_sha256": "bb8b99f4cc8645a51b62f82c98b789e849a7bc31022642f17c82ea1131f0fdbc",
        "read_sha256": "bb8b99f4cc8645a51b62f82c98b789e849a7bc31022642f17c82ea1131f0fdbc",
        "note": null,
        "cleanup_error": null
      }
    }
  ],
  "final": {
    "gate_status": "PASS",
    "verified_fix": true,
    "official_resolved": true
  },
  "cost": {
    "tokens": 182157,
    "model_dollars": 0.0566541,
    "sandbox_lifetime_seconds": 70.31766,
    "sandbox_dollars_estimate": 0.0480131
  },
  "wall_time_s": 126.57104858313687,
  "cleanup_error": null,
  "prior_infrastructure_errors": [],
  "prior_interrupted_runs": [
    {
      "reason": "interrupted",
      "run_dir": "pilot/v2-P/crossgl__crosstl-202/runs/pilot-crossgl__crosstl-202-d8bfa1e28c",
      "cost": {
        "tokens": 0,
        "model_dollars": null,
        "sandbox_lifetime_seconds": 8.114197,
        "sandbox_dollars_estimate": 0.00793961
      },
      "wall_time_s": 10.462199583882466
    }
  ]
}