{
  "version": "portfolio-v2-1",
  "source_sha256": "22ad24e47c0cb3ad115cf1705a5c55b4cdab80b24d40e5dece66706a943b51a6",
  "validation_sha256": "62316817749ce19ac5a1e7814001fc281e5ab91fef218ac1a8d60f148ac2d14a",
  "historical_code_changes": [
    "agent.py"
  ],
  "model_order": [
    "gpt-6.1-sol",
    "opencode-go-responses/muse-spark-1.3-contributor"
  ],
  "approach_order": [
    "full-decompilation",
    "static-summary",
    "agent"
  ],
  "cases": [
    {
      "challenge": "arithmetic",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5822b425807cb90d3ee012190504a89dacc064625350bf1da184470f017f4230",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 109.53099999998813,
      "total_tokens": 145964,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "bit_masks",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "9268a7d4c396d84d497b5d43c07df479344063f0318721f2f22da71eef26649e",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 98.25,
      "total_tokens": 146151,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "byte_shift",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "c59801677a92b075936a372818ebae49dde03e40824542f23e3626bf9710ae00",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 98.51500000001397,
      "total_tokens": 143569,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "call_chain",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "69fda17e3ef2e41b01994ad223f6b17e6d591951d2eec97465696822e4768a0c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 106.40599999998813,
      "total_tokens": 145739,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 92,
      "interactive_calls": 0
    },
    {
      "challenge": "character_conditions",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "0c5b89005bd7a26299d50ce3c02b8b76af2c60ff6ebfb86672f07bc1f4953e34",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 99.18799999999464,
      "total_tokens": 143222,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "checksums",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5145ce0578bfd05288263346f07bd373b4a341788f209763f35ed5f4e148d7cb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 116.32800000000861,
      "total_tokens": 144891,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "decoy_paths",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "418e30a873a419f2676210be4499483f403a604ff059043671d21cded1a2c56b",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 96.96799999999348,
      "total_tokens": 144899,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "global_data",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "810b6dfad4166035e7560c5d97ff88289f0d3d39bcfb501c41fec56219e02337",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 96.73399999999674,
      "total_tokens": 143655,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "hello",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "3a0e528d00bdafa3223c9ba2dae42a50f9b2a335ae631fe6dce8ab027011276d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 106.73400000002584,
      "total_tokens": 141321,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 88,
      "interactive_calls": 0
    },
    {
      "challenge": "hex_decode",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "a06cd9d30d89ebd7b9ec75e5e6bc6455cab547d32d1d356114be610c15bfac27",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 101.93700000000536,
      "total_tokens": 146735,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "linear_number",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "c9d49d4a89b6933680e3c8dda3f6d7f748792a6b5c5818f47941537a08cbf02d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 119.79699999999139,
      "total_tokens": 146279,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "modular_number",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "aee7f6c6ac2b47f93a2eabe013c0e7c9b402a1c78dc77ac814fdc34156e6ad99",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 101.875,
      "total_tokens": 146328,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "multifunction",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "2b9668bdea08349603fb40dd8380ebd2c24bf717d56b63871ebad09ef1a180eb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 102.23399999999674,
      "total_tokens": 145580,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 92,
      "interactive_calls": 0
    },
    {
      "challenge": "password",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5323c7de395d7b2a79cd329db0d9d1ea2eaa7e87e3e6ee7f4667547b113d18bc",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 91.60899999999674,
      "total_tokens": 143075,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 90,
      "interactive_calls": 0
    },
    {
      "challenge": "permutation",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "6d2bc89236d857e53f254021d05abc90509bc8806e30dd2fb8fde5ad0873797a",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 110.96900000001187,
      "total_tokens": 143925,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "reverse_text",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "b3ca0a5f5698f777179eedb9778e6c52ed6cd8948d2b8ad6ee8074c12b5a3a36",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 97.07800000000861,
      "total_tokens": 144430,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 90,
      "interactive_calls": 0
    },
    {
      "challenge": "segments",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "ec06239006e71928d5470e94357b8c14e10c2ebc4c5730995eaf99ef8b9dd739",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 117.68799999999464,
      "total_tokens": 145194,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "staged_validation",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "606fb5b1eb5aabbf09638f2e986a3bc9ff64301627734cadddb95afff2984b42",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 98.67199999999139,
      "total_tokens": 145761,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 92,
      "interactive_calls": 0
    },
    {
      "challenge": "switch_branches",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "48247cef2cf9ef7c1cdff8b7dcab6e1a6bc6c1e6b73ac103f6806b6de4136402",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 94.76500000001397,
      "total_tokens": 143070,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "xor",
      "approach": "full-decompilation",
      "model": "gpt-6.1-sol",
      "binary_sha256": "4ead56857af1493e06d252a487285c1d2fd90d0e4e90d7920e88e6836a9af47c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 109.54699999999139,
      "total_tokens": 143736,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "arithmetic",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5822b425807cb90d3ee012190504a89dacc064625350bf1da184470f017f4230",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 121.76600000000326,
      "total_tokens": 100241,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "bit_masks",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "9268a7d4c396d84d497b5d43c07df479344063f0318721f2f22da71eef26649e",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 122.98399999999674,
      "total_tokens": 100895,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "byte_shift",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "c59801677a92b075936a372818ebae49dde03e40824542f23e3626bf9710ae00",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 126.39100000000326,
      "total_tokens": 98623,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "call_chain",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "69fda17e3ef2e41b01994ad223f6b17e6d591951d2eec97465696822e4768a0c",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 139.6720000000205,
      "total_tokens": 100052,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "character_conditions",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "0c5b89005bd7a26299d50ce3c02b8b76af2c60ff6ebfb86672f07bc1f4953e34",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 122.45300000000861,
      "total_tokens": 98099,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "checksums",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5145ce0578bfd05288263346f07bd373b4a341788f209763f35ed5f4e148d7cb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 145.56299999999464,
      "total_tokens": 99949,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "decoy_paths",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "418e30a873a419f2676210be4499483f403a604ff059043671d21cded1a2c56b",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 131.84299999999348,
      "total_tokens": 99733,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "global_data",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "810b6dfad4166035e7560c5d97ff88289f0d3d39bcfb501c41fec56219e02337",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 127.67199999999139,
      "total_tokens": 98769,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "hello",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "3a0e528d00bdafa3223c9ba2dae42a50f9b2a335ae631fe6dce8ab027011276d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 131.125,
      "total_tokens": 95702,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 8,
      "interactive_calls": 0
    },
    {
      "challenge": "hex_decode",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "a06cd9d30d89ebd7b9ec75e5e6bc6455cab547d32d1d356114be610c15bfac27",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 124.96799999999348,
      "total_tokens": 101285,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "linear_number",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "c9d49d4a89b6933680e3c8dda3f6d7f748792a6b5c5818f47941537a08cbf02d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 129.34399999998277,
      "total_tokens": 100803,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "modular_number",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "aee7f6c6ac2b47f93a2eabe013c0e7c9b402a1c78dc77ac814fdc34156e6ad99",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 123.64100000000326,
      "total_tokens": 100966,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "multifunction",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "2b9668bdea08349603fb40dd8380ebd2c24bf717d56b63871ebad09ef1a180eb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 122.45299999997951,
      "total_tokens": 99966,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "password",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5323c7de395d7b2a79cd329db0d9d1ea2eaa7e87e3e6ee7f4667547b113d18bc",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 116.61000000001513,
      "total_tokens": 97989,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "permutation",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "6d2bc89236d857e53f254021d05abc90509bc8806e30dd2fb8fde5ad0873797a",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 144.73399999999674,
      "total_tokens": 99435,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "reverse_text",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "b3ca0a5f5698f777179eedb9778e6c52ed6cd8948d2b8ad6ee8074c12b5a3a36",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 125.29699999999139,
      "total_tokens": 99253,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "segments",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "ec06239006e71928d5470e94357b8c14e10c2ebc4c5730995eaf99ef8b9dd739",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 137.65600000001723,
      "total_tokens": 100368,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "staged_validation",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "606fb5b1eb5aabbf09638f2e986a3bc9ff64301627734cadddb95afff2984b42",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 129.86000000001513,
      "total_tokens": 100487,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "switch_branches",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "48247cef2cf9ef7c1cdff8b7dcab6e1a6bc6c1e6b73ac103f6806b6de4136402",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 134.60900000002584,
      "total_tokens": 98721,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "xor",
      "approach": "static-summary",
      "model": "gpt-6.1-sol",
      "binary_sha256": "4ead56857af1493e06d252a487285c1d2fd90d0e4e90d7920e88e6836a9af47c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 120.35899999999674,
      "total_tokens": 98532,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 2,
      "corrections": 1,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "arithmetic",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5822b425807cb90d3ee012190504a89dacc064625350bf1da184470f017f4230",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 74.60900000000038,
      "total_tokens": 85610,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "bit_masks",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "9268a7d4c396d84d497b5d43c07df479344063f0318721f2f22da71eef26649e",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 99.82800000000134,
      "total_tokens": 113584,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 7
    },
    {
      "challenge": "byte_shift",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "c59801677a92b075936a372818ebae49dde03e40824542f23e3626bf9710ae00",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 66.95299999999952,
      "total_tokens": 83084,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "call_chain",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "69fda17e3ef2e41b01994ad223f6b17e6d591951d2eec97465696822e4768a0c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 141.375,
      "total_tokens": 175292,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 12,
      "corrections": 0,
      "decompilations": 5,
      "interactive_calls": 11
    },
    {
      "challenge": "character_conditions",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "0c5b89005bd7a26299d50ce3c02b8b76af2c60ff6ebfb86672f07bc1f4953e34",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 71.07799999999952,
      "total_tokens": 83369,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "checksums",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5145ce0578bfd05288263346f07bd373b4a341788f209763f35ed5f4e148d7cb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 81.18800000000192,
      "total_tokens": 83847,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "decoy_paths",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "418e30a873a419f2676210be4499483f403a604ff059043671d21cded1a2c56b",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 70.09300000000076,
      "total_tokens": 82559,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "global_data",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "810b6dfad4166035e7560c5d97ff88289f0d3d39bcfb501c41fec56219e02337",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 82.54700000000594,
      "total_tokens": 83258,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "hello",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "3a0e528d00bdafa3223c9ba2dae42a50f9b2a335ae631fe6dce8ab027011276d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 51.82800000000134,
      "total_tokens": 68088,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 5,
      "corrections": 0,
      "decompilations": 1,
      "interactive_calls": 4
    },
    {
      "challenge": "hex_decode",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "a06cd9d30d89ebd7b9ec75e5e6bc6455cab547d32d1d356114be610c15bfac27",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 129.5460000000021,
      "total_tokens": 115205,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 7
    },
    {
      "challenge": "linear_number",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "c9d49d4a89b6933680e3c8dda3f6d7f748792a6b5c5818f47941537a08cbf02d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 100.98400000000402,
      "total_tokens": 113366,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 7
    },
    {
      "challenge": "modular_number",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "aee7f6c6ac2b47f93a2eabe013c0e7c9b402a1c78dc77ac814fdc34156e6ad99",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 113.38999999999942,
      "total_tokens": 113622,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 7
    },
    {
      "challenge": "multifunction",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "2b9668bdea08349603fb40dd8380ebd2c24bf717d56b63871ebad09ef1a180eb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 108.10899999999856,
      "total_tokens": 128163,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 9,
      "corrections": 0,
      "decompilations": 4,
      "interactive_calls": 8
    },
    {
      "challenge": "password",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "5323c7de395d7b2a79cd329db0d9d1ea2eaa7e87e3e6ee7f4667547b113d18bc",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 64.63999999999942,
      "total_tokens": 81422,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "permutation",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "6d2bc89236d857e53f254021d05abc90509bc8806e30dd2fb8fde5ad0873797a",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 122.85900000000402,
      "total_tokens": 114322,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 7
    },
    {
      "challenge": "reverse_text",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "b3ca0a5f5698f777179eedb9778e6c52ed6cd8948d2b8ad6ee8074c12b5a3a36",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 72.3119999999999,
      "total_tokens": 83468,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "segments",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "ec06239006e71928d5470e94357b8c14e10c2ebc4c5730995eaf99ef8b9dd739",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 112.125,
      "total_tokens": 129420,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 9,
      "corrections": 0,
      "decompilations": 4,
      "interactive_calls": 8
    },
    {
      "challenge": "staged_validation",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "606fb5b1eb5aabbf09638f2e986a3bc9ff64301627734cadddb95afff2984b42",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 142.67200000000594,
      "total_tokens": 144759,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 10,
      "corrections": 0,
      "decompilations": 5,
      "interactive_calls": 9
    },
    {
      "challenge": "switch_branches",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "48247cef2cf9ef7c1cdff8b7dcab6e1a6bc6c1e6b73ac103f6806b6de4136402",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 74.70300000000134,
      "total_tokens": 83374,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "xor",
      "approach": "agent",
      "model": "gpt-6.1-sol",
      "binary_sha256": "4ead56857af1493e06d252a487285c1d2fd90d0e4e90d7920e88e6836a9af47c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 67.01599999999962,
      "total_tokens": 83378,
      "token_source": "codex_events",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 6,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 5
    },
    {
      "challenge": "arithmetic",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5822b425807cb90d3ee012190504a89dacc064625350bf1da184470f017f4230",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 52.562999999994645,
      "total_tokens": 80159,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "bit_masks",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "9268a7d4c396d84d497b5d43c07df479344063f0318721f2f22da71eef26649e",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 44.844000000011874,
      "total_tokens": 80949,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "byte_shift",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "c59801677a92b075936a372818ebae49dde03e40824542f23e3626bf9710ae00",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 34.89000000001397,
      "total_tokens": 78548,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "call_chain",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "69fda17e3ef2e41b01994ad223f6b17e6d591951d2eec97465696822e4768a0c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 44.610000000015134,
      "total_tokens": 79961,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 92,
      "interactive_calls": 0
    },
    {
      "challenge": "character_conditions",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "0c5b89005bd7a26299d50ce3c02b8b76af2c60ff6ebfb86672f07bc1f4953e34",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 82.07800000000861,
      "total_tokens": 80079,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "checksums",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5145ce0578bfd05288263346f07bd373b4a341788f209763f35ed5f4e148d7cb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 47.32799999997951,
      "total_tokens": 79877,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "decoy_paths",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "418e30a873a419f2676210be4499483f403a604ff059043671d21cded1a2c56b",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 49.75,
      "total_tokens": 80104,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "global_data",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "810b6dfad4166035e7560c5d97ff88289f0d3d39bcfb501c41fec56219e02337",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 43.15600000001723,
      "total_tokens": 79072,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "hello",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "3a0e528d00bdafa3223c9ba2dae42a50f9b2a335ae631fe6dce8ab027011276d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 32.90700000000652,
      "total_tokens": 76490,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 88,
      "interactive_calls": 0
    },
    {
      "challenge": "hex_decode",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "a06cd9d30d89ebd7b9ec75e5e6bc6455cab547d32d1d356114be610c15bfac27",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 37.59299999999348,
      "total_tokens": 80254,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "linear_number",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "c9d49d4a89b6933680e3c8dda3f6d7f748792a6b5c5818f47941537a08cbf02d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 31.405999999988126,
      "total_tokens": 79243,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "modular_number",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "aee7f6c6ac2b47f93a2eabe013c0e7c9b402a1c78dc77ac814fdc34156e6ad99",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 38.21899999998277,
      "total_tokens": 80024,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "multifunction",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "2b9668bdea08349603fb40dd8380ebd2c24bf717d56b63871ebad09ef1a180eb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 37.01600000000326,
      "total_tokens": 79601,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 92,
      "interactive_calls": 0
    },
    {
      "challenge": "password",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5323c7de395d7b2a79cd329db0d9d1ea2eaa7e87e3e6ee7f4667547b113d18bc",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 36.125,
      "total_tokens": 78201,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 90,
      "interactive_calls": 0
    },
    {
      "challenge": "permutation",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "6d2bc89236d857e53f254021d05abc90509bc8806e30dd2fb8fde5ad0873797a",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 59.328000000008615,
      "total_tokens": 79973,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "reverse_text",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "b3ca0a5f5698f777179eedb9778e6c52ed6cd8948d2b8ad6ee8074c12b5a3a36",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 50.10999999998603,
      "total_tokens": 79544,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 90,
      "interactive_calls": 0
    },
    {
      "challenge": "segments",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "ec06239006e71928d5470e94357b8c14e10c2ebc4c5730995eaf99ef8b9dd739",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 48.655999999988126,
      "total_tokens": 79798,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 91,
      "interactive_calls": 0
    },
    {
      "challenge": "staged_validation",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "606fb5b1eb5aabbf09638f2e986a3bc9ff64301627734cadddb95afff2984b42",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 89.45300000000861,
      "total_tokens": 84016,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 92,
      "interactive_calls": 0
    },
    {
      "challenge": "switch_branches",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "48247cef2cf9ef7c1cdff8b7dcab6e1a6bc6c1e6b73ac103f6806b6de4136402",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 65.625,
      "total_tokens": 80381,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "xor",
      "approach": "full-decompilation",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "4ead56857af1493e06d252a487285c1d2fd90d0e4e90d7920e88e6836a9af47c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 53.421999999991385,
      "total_tokens": 79535,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 89,
      "interactive_calls": 0
    },
    {
      "challenge": "arithmetic",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5822b425807cb90d3ee012190504a89dacc064625350bf1da184470f017f4230",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 26.453000000008615,
      "total_tokens": 57179,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "bit_masks",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "9268a7d4c396d84d497b5d43c07df479344063f0318721f2f22da71eef26649e",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 52.296999999991385,
      "total_tokens": 57522,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "byte_shift",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "c59801677a92b075936a372818ebae49dde03e40824542f23e3626bf9710ae00",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 68.70300000000861,
      "total_tokens": 58571,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "call_chain",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "69fda17e3ef2e41b01994ad223f6b17e6d591951d2eec97465696822e4768a0c",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 43.296000000002095,
      "total_tokens": 57282,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "character_conditions",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "0c5b89005bd7a26299d50ce3c02b8b76af2c60ff6ebfb86672f07bc1f4953e34",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 53.578999999997905,
      "total_tokens": 56890,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "checksums",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5145ce0578bfd05288263346f07bd373b4a341788f209763f35ed5f4e148d7cb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 47.780999999988126,
      "total_tokens": 57819,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "decoy_paths",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "418e30a873a419f2676210be4499483f403a604ff059043671d21cded1a2c56b",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 55.812000000005355,
      "total_tokens": 57476,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "global_data",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "810b6dfad4166035e7560c5d97ff88289f0d3d39bcfb501c41fec56219e02337",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 34.01600000000326,
      "total_tokens": 56240,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "hello",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "3a0e528d00bdafa3223c9ba2dae42a50f9b2a335ae631fe6dce8ab027011276d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 25.312999999994645,
      "total_tokens": 55321,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 8,
      "interactive_calls": 0
    },
    {
      "challenge": "hex_decode",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "a06cd9d30d89ebd7b9ec75e5e6bc6455cab547d32d1d356114be610c15bfac27",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 28.828999999997905,
      "total_tokens": 57156,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "linear_number",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "c9d49d4a89b6933680e3c8dda3f6d7f748792a6b5c5818f47941537a08cbf02d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 45.514999999984866,
      "total_tokens": 57129,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "modular_number",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "aee7f6c6ac2b47f93a2eabe013c0e7c9b402a1c78dc77ac814fdc34156e6ad99",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 48.765999999974156,
      "total_tokens": 58560,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "multifunction",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "2b9668bdea08349603fb40dd8380ebd2c24bf717d56b63871ebad09ef1a180eb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 113.64100000000326,
      "total_tokens": null,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "partial",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "password",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5323c7de395d7b2a79cd329db0d9d1ea2eaa7e87e3e6ee7f4667547b113d18bc",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 33.64100000000326,
      "total_tokens": 57050,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "permutation",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "6d2bc89236d857e53f254021d05abc90509bc8806e30dd2fb8fde5ad0873797a",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 47.78100000001723,
      "total_tokens": 57438,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "reverse_text",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "b3ca0a5f5698f777179eedb9778e6c52ed6cd8948d2b8ad6ee8074c12b5a3a36",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 46.65700000000652,
      "total_tokens": 57123,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "segments",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "ec06239006e71928d5470e94357b8c14e10c2ebc4c5730995eaf99ef8b9dd739",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 61.64100000000326,
      "total_tokens": 58339,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "staged_validation",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "606fb5b1eb5aabbf09638f2e986a3bc9ff64301627734cadddb95afff2984b42",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 75.60899999999674,
      "total_tokens": 60732,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "switch_branches",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "48247cef2cf9ef7c1cdff8b7dcab6e1a6bc6c1e6b73ac103f6806b6de4136402",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 39.421999999991385,
      "total_tokens": 56921,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "xor",
      "approach": "static-summary",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "4ead56857af1493e06d252a487285c1d2fd90d0e4e90d7920e88e6836a9af47c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 32.5,
      "total_tokens": 57124,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 1,
      "corrections": 0,
      "decompilations": 10,
      "interactive_calls": 0
    },
    {
      "challenge": "arithmetic",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5822b425807cb90d3ee012190504a89dacc064625350bf1da184470f017f4230",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 109.95399999999972,
      "total_tokens": 333369,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 7
    },
    {
      "challenge": "bit_masks",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "9268a7d4c396d84d497b5d43c07df479344063f0318721f2f22da71eef26649e",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 177.39099999999598,
      "total_tokens": 504597,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 11,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 10
    },
    {
      "challenge": "byte_shift",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "c59801677a92b075936a372818ebae49dde03e40824542f23e3626bf9710ae00",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 100.5630000000001,
      "total_tokens": 367453,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 7
    },
    {
      "challenge": "call_chain",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "69fda17e3ef2e41b01994ad223f6b17e6d591951d2eec97465696822e4768a0c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 174.81300000000192,
      "total_tokens": 520273,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 13,
      "corrections": 0,
      "decompilations": 5,
      "interactive_calls": 12
    },
    {
      "challenge": "character_conditions",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "0c5b89005bd7a26299d50ce3c02b8b76af2c60ff6ebfb86672f07bc1f4953e34",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 81.38999999999942,
      "total_tokens": 252140,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 7,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 6
    },
    {
      "challenge": "checksums",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5145ce0578bfd05288263346f07bd373b4a341788f209763f35ed5f4e148d7cb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 90.2190000000046,
      "total_tokens": 329958,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 7
    },
    {
      "challenge": "decoy_paths",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "418e30a873a419f2676210be4499483f403a604ff059043671d21cded1a2c56b",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 135.03199999999924,
      "total_tokens": 445388,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 10,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 9
    },
    {
      "challenge": "global_data",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "810b6dfad4166035e7560c5d97ff88289f0d3d39bcfb501c41fec56219e02337",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 100.51599999999598,
      "total_tokens": 348473,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 9,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 8
    },
    {
      "challenge": "hello",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "3a0e528d00bdafa3223c9ba2dae42a50f9b2a335ae631fe6dce8ab027011276d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 97.11000000000058,
      "total_tokens": 267063,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 7,
      "corrections": 0,
      "decompilations": 1,
      "interactive_calls": 6
    },
    {
      "challenge": "hex_decode",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "a06cd9d30d89ebd7b9ec75e5e6bc6455cab547d32d1d356114be610c15bfac27",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 124.53099999999904,
      "total_tokens": 433583,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 10,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 9
    },
    {
      "challenge": "linear_number",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "c9d49d4a89b6933680e3c8dda3f6d7f748792a6b5c5818f47941537a08cbf02d",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 128.04699999999866,
      "total_tokens": 468052,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 10,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 9
    },
    {
      "challenge": "modular_number",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "aee7f6c6ac2b47f93a2eabe013c0e7c9b402a1c78dc77ac814fdc34156e6ad99",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 121.11000000000058,
      "total_tokens": 376798,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 10,
      "corrections": 0,
      "decompilations": 3,
      "interactive_calls": 9
    },
    {
      "challenge": "multifunction",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "2b9668bdea08349603fb40dd8380ebd2c24bf717d56b63871ebad09ef1a180eb",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 185.9380000000001,
      "total_tokens": 532667,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 13,
      "corrections": 0,
      "decompilations": 4,
      "interactive_calls": 12
    },
    {
      "challenge": "password",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "5323c7de395d7b2a79cd329db0d9d1ea2eaa7e87e3e6ee7f4667547b113d18bc",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 121.8119999999999,
      "total_tokens": 384086,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 9,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 8
    },
    {
      "challenge": "permutation",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "6d2bc89236d857e53f254021d05abc90509bc8806e30dd2fb8fde5ad0873797a",
      "conclusion_valid": true,
      "answer_resolved": false,
      "runtime_seconds": 352.54699999999866,
      "total_tokens": 1263985,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 22,
      "corrections": 0,
      "decompilations": 8,
      "interactive_calls": 21
    },
    {
      "challenge": "reverse_text",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "b3ca0a5f5698f777179eedb9778e6c52ed6cd8948d2b8ad6ee8074c12b5a3a36",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 125.98499999999876,
      "total_tokens": 393547,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 7
    },
    {
      "challenge": "segments",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "ec06239006e71928d5470e94357b8c14e10c2ebc4c5730995eaf99ef8b9dd739",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 147.71899999999914,
      "total_tokens": 372940,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 10,
      "corrections": 0,
      "decompilations": 4,
      "interactive_calls": 9
    },
    {
      "challenge": "staged_validation",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "606fb5b1eb5aabbf09638f2e986a3bc9ff64301627734cadddb95afff2984b42",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 152.11000000000058,
      "total_tokens": 527007,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 11,
      "corrections": 0,
      "decompilations": 5,
      "interactive_calls": 10
    },
    {
      "challenge": "switch_branches",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "48247cef2cf9ef7c1cdff8b7dcab6e1a6bc6c1e6b73ac103f6806b6de4136402",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 101.09399999999732,
      "total_tokens": 337074,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 8,
      "corrections": 0,
      "decompilations": 2,
      "interactive_calls": 7
    },
    {
      "challenge": "xor",
      "approach": "agent",
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "binary_sha256": "4ead56857af1493e06d252a487285c1d2fd90d0e4e90d7920e88e6836a9af47c",
      "conclusion_valid": true,
      "answer_resolved": true,
      "runtime_seconds": 113.79700000000048,
      "total_tokens": 326009,
      "token_source": "router_provider_ledger",
      "token_quality": "reported",
      "token_coverage": "complete",
      "model_turns": 9,
      "corrections": 1,
      "decompilations": 2,
      "interactive_calls": 7
    }
  ],
  "groups": [
    {
      "model": "gpt-6.1-sol",
      "approach": "full-decompilation",
      "cases": 20,
      "resolved": 19,
      "valid_conclusions": 20,
      "token_intersection": 20,
      "tokens_sum": 2893524,
      "token_source": "codex_events",
      "seconds_median": 101.90600000000268,
      "seconds_min": 91.60899999999674,
      "seconds_max": 119.79699999999139
    },
    {
      "model": "gpt-6.1-sol",
      "approach": "static-summary",
      "cases": 20,
      "resolved": 18,
      "valid_conclusions": 20,
      "token_intersection": 20,
      "tokens_sum": 1989868,
      "token_source": "codex_events",
      "seconds_median": 127.03149999999732,
      "seconds_min": 116.61000000001513,
      "seconds_max": 145.56299999999464
    },
    {
      "model": "gpt-6.1-sol",
      "approach": "agent",
      "cases": 20,
      "resolved": 19,
      "valid_conclusions": 20,
      "token_intersection": 20,
      "tokens_sum": 2049190,
      "token_source": "codex_events",
      "seconds_median": 81.86750000000393,
      "seconds_min": 51.82800000000134,
      "seconds_max": 142.67200000000594
    },
    {
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "approach": "full-decompilation",
      "cases": 20,
      "resolved": 19,
      "valid_conclusions": 20,
      "token_intersection": 19,
      "tokens_sum": 1516208,
      "token_source": "router_provider_ledger",
      "seconds_median": 46.08599999999569,
      "seconds_min": 31.405999999988126,
      "seconds_max": 89.45300000000861
    },
    {
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "approach": "static-summary",
      "cases": 20,
      "resolved": 18,
      "valid_conclusions": 20,
      "token_intersection": 19,
      "tokens_sum": 1091872,
      "token_source": "router_provider_ledger",
      "seconds_median": 47.21899999999732,
      "seconds_min": 25.312999999994645,
      "seconds_max": 113.64100000000326
    },
    {
      "model": "opencode-go-responses/muse-spark-1.3-contributor",
      "approach": "agent",
      "cases": 20,
      "resolved": 19,
      "valid_conclusions": 20,
      "token_intersection": 19,
      "tokens_sum": 8251795,
      "token_source": "router_provider_ledger",
      "seconds_median": 123.17149999999947,
      "seconds_min": 81.38999999999942,
      "seconds_max": 352.54699999999866
    }
  ],
  "evidence_example": {
    "claim": "Exact accepted password: banana42; strcmp must return zero.",
    "address": "140001490",
    "evidence_id": "E003",
    "excerpt": "iVar1 = strcmp(param_1,\"banana42\");\r\n  return iVar1 == 0;"
  },
  "cost": null
}