{
  "schema": "agent-rerun-receipt.v1",
  "record": {
    "id": "20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d",
    "taskId": "retry-after-v1",
    "taskTitle": "Strict HTTP Retry-After parser (synthetic test input)",
    "agent": "aider",
    "requestedModel": "local/lmstudio/qwen/qwen3-coder-30b",
    "resolvedModel": "local/lmstudio/qwen/qwen3-coder-30b",
    "wallSeconds": 8.596,
    "inputTokens": 847,
    "outputTokens": 574,
    "totalTokens": 1421,
    "costUsd": 0.0,
    "energyWh": 0.276306,
    "assertionsPassed": 18,
    "assertionsTotal": 20,
    "observedNativeModel": null,
    "modelIdentityStatus": null,
    "modelIdentityEvidence": null,
    "providerResponseModel": null,
    "reasoningEffort": "default",
    "family": "matched-harness",
    "status": "FAIL",
    "tier": "local/LAN",
    "diagnosticOnly": false,
    "comparisonEligible": true,
    "cohort": "historical-model",
    "resultNote": null,
    "limitations": [
      "Exploratory n=1 synthetic task; not a general coding-agent ranking.",
      "Exploratory arm E; JSON/DuckDB/Neon canonical admission NOT_VERIFIED."
    ],
    "evidenceFile": "20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d.json",
    "archived": true
  },
  "sourceRecord": {
    "id": "20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d",
    "originalCampaign": "agent_comparison_20261015",
    "rerun": true,
    "correctionOf": null,
    "cohort": "original-model",
    "family": "same-model-harness-rerun",
    "taskId": "retry-after-v1",
    "taskTitle": "Strict HTTP Retry-After parser (synthetic test input)",
    "agent": "aider",
    "requestedModel": "local/lmstudio/qwen/qwen3-coder-30b",
    "resolvedModel": "local/lmstudio/qwen/qwen3-coder-30b",
    "status": "FAIL",
    "wallSeconds": 8.596,
    "inputTokens": 847,
    "outputTokens": 574,
    "totalTokens": 1421,
    "costUsd": 0.0,
    "energyWh": 0.276306,
    "assertionsPassed": 18,
    "assertionsTotal": 20,
    "observedCodePass": false,
    "exitCode": 0,
    "evidencePaths": [
      "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d"
    ],
    "arm": "E",
    "admission": "NOT_VERIFIED",
    "limitations": [
      "Exploratory n=1 synthetic task; not a general coding-agent ranking.",
      "Exploratory arm E; JSON/DuckDB/Neon canonical admission NOT_VERIFIED."
    ],
    "freeze": {
      "task_sha256": "6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe",
      "oracle_sha256": "3675736119622cac168d711045426c6678bd08212b9bedf1aab71126a7ef1a76",
      "starter_sha256": "595a2a41e7bfd09ad28045cb3be95f0126d702eb25e6f53c723c0b77c46b44e2",
      "frozen_before_execution_at": 1792154096.054862
    },
    "mutableRuntimeFiles": [
      "budget_ledger.json",
      "8308c0542940428dbac2184330e930c1.timing.json",
      "8308c0542940428dbac2184330e930c1.http.json",
      "8308c0542940428dbac2184330e930c1.response.txt",
      "8308c0542940428dbac2184330e930c1.request.json"
    ],
    "terminalBudgetSnapshot": "budget_ledger_at_terminal.json",
    "terminalTransportSnapshot": "terminal_evidence/",
    "rawStatus": "FAIL",
    "metadataTransportDiagnosticCount": 0,
    "diagnosticOnly": false,
    "tokenSource": "provider",
    "accountingComplete": true,
    "identityVerified": true,
    "providerCallCount": 1,
    "partialInputTokens": 847,
    "partialOutputTokens": 574,
    "partialTotalTokens": 1421,
    "partialEstimatedCostUsd": null,
    "reportedAdditiveReasoningTokens": null,
    "reportedReasoningTokens": null,
    "allCallsReportReasoning": false,
    "tokensPerSecond": 165.309,
    "knownTokensIncludingAdditiveReasoning": 1421,
    "knownTokensIncludingAdditiveReasoningPerSecond": 165.309,
    "generationCensored": false,
    "budgetControls": {
      "schema": "agent_comparison_rerun_policy.v1",
      "temperature": 0.0,
      "timeout_seconds": 240,
      "per_request_output_tokens": 8192,
      "proxy_shared_max_input_tokens": 160000,
      "proxy_shared_max_output_tokens": 32000,
      "proxy_reservation": "entire request UTF8 bytes +32/message+128; providerusage settled after eachcall; failclosed ifmissing",
      "maximum_input_tokens": 160000,
      "total_token_budget": 400000,
      "max_turns": 24,
      "proxy_read_timeout_seconds": 270,
      "verdict_stream_idle_timeout_seconds": 240,
      "aider_request_timeout_seconds": 240,
      "reasoning": {
        "mode": "default"
      },
      "models": "exact pins, no failover",
      "task_file": "solution.py",
      "hidden_oracle_fed_to_agent": false,
      "producer_location": "outside candidate workspace; candidate read denied",
      "aider_context": "live exact catalog context metadata; history ceiling=min(inputbudget,context/2)",
      "appendix_model_changed": false
    },
    "reasoningEffort": "default",
    "sharedProxyCapsEnforced": true,
    "actualBelowCommonCaps": true,
    "timeoutSeconds": 240,
    "terminalError": null,
    "terminalCompleted": true,
    "agentFailureReason": null,
    "sameGatewayInstance": true,
    "comparisonEligible": true,
    "publicEvidencePath": "artifacts/agent_comparison_completion_repair_20261016/matrix/public_evidence/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d.json",
    "publicEvidenceSha256": "5c57bdce6949966133871be7bcc4757b5b8a9755cdbb6f80fa8afef83aaa7a9d"
  },
  "sourceFile": "artifacts/agent_comparison_completion_repair_20261016/matrix/reviewed-summary.json",
  "sourceFileSha256": "cfdb4bb21c1038588f0951f2cbe4774e077c01691d7e0e53434881d3b9a16419",
  "files": [
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/8308c0542940428dbac2184330e930c1.http.json",
      "sha256": "7b7d2ba7da38df349730b844f5a7ee404601546b1255c0860ee52f313dde4f73",
      "bytes": 138
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/8308c0542940428dbac2184330e930c1.request.json",
      "sha256": "e172a464f58fd6d5c627c26ee857e66411ec09e59e1c5f81424b4a81053e58e4",
      "bytes": 4509
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/8308c0542940428dbac2184330e930c1.response.txt",
      "sha256": "a34c424ede83f2adaeeb0fefcfe1038ef68a6e6796c57279ad35e02a6cc2b695",
      "bytes": 126771
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/8308c0542940428dbac2184330e930c1.timing.json",
      "sha256": "d69bed5dc9b343937ee541a3bd588173a5d06bf0cdabcdd3a4c1f7f405a6be30",
      "bytes": 307
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/budget_ledger.json",
      "sha256": "cf17081b1c385761509152ed1d34c07d0e913ea972d242ed9dbe2cc549643c7b",
      "bytes": 116
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/budget_ledger_at_terminal.json",
      "sha256": "cf17081b1c385761509152ed1d34c07d0e913ea972d242ed9dbe2cc549643c7b",
      "bytes": 116
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/freeze.json",
      "sha256": "9d1f745f9a90b8eae1ce13a5ac92aecd2fb6f6f8abe83d38bac2a0d95d0687ae",
      "bytes": 313,
      "content": "{\n  \"task_sha256\": \"6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe\",\n  \"oracle_sha256\": \"3675736119622cac168d711045426c6678bd08212b9bedf1aab71126a7ef1a76\",\n  \"starter_sha256\": \"595a2a41e7bfd09ad28045cb3be95f0126d702eb25e6f53c723c0b77c46b44e2\",\n  \"frozen_before_execution_at\": 1792154096.054862\n}",
      "contentRedacted": false,
      "publishedContentSha256": "9d1f745f9a90b8eae1ce13a5ac92aecd2fb6f6f8abe83d38bac2a0d95d0687ae"
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/health_after.json",
      "sha256": "69d59d7955d9c42d803f9291c516f17fe14be08732d3745ce9efabb6fa56ac59",
      "bytes": 1327
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/health_before.json",
      "sha256": "cb04d1511f920ef2d144860c5c74c30f8bad9567bd94744abddc9cf00d8785a4",
      "bytes": 1327
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/invocation.json",
      "sha256": "758d587fcc7b7d8378f7dd0efd835dd9409086aad64199edb32ef6ca7b4a5be0",
      "bytes": 2070
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/launch.json",
      "sha256": "e63b774b42df5e65ce1b6558e8892d2b2ed4a25cb037d0acc7781a5471297d76",
      "bytes": 183
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/model_preflight.json",
      "sha256": "73602083f356ce0a2401fd79d915f3f2ec0711a1901252066fc7bdd52e977376",
      "bytes": 2996
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/oracle.stderr.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "content": "",
      "contentRedacted": false,
      "publishedContentSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/oracle.stdout.txt",
      "sha256": "3e7b0982f217a41f229865a072cdee2a778735cbabe56238a3f0d4e91cab0746",
      "bytes": 1580,
      "content": "{\"passed\": 18, \"total\": 20, \"cases\": [{\"input\": \"0\", \"expected\": 0, \"actual\": 0, \"pass\": true}, {\"input\": \" 120\\t\", \"expected\": 120, \"actual\": 120, \"pass\": true}, {\"input\": \"0007\", \"expected\": 7, \"actual\": 7, \"pass\": true}, {\"input\": \"-1\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"+1\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"1.5\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"\\uff11\\uff12\", \"expected\": null, \"actual\": 12, \"pass\": false}, {\"input\": \"\\u0661\\u0662\", \"expected\": null, \"actual\": 12, \"pass\": false}, {\"input\": \"\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": null, \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": 4, \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"Wed, 21 Oct 2015 07:28:00 GMT\", \"expected\": 1, \"actual\": 1, \"pass\": true}, {\"input\": \"Wed, 21 Oct 2015 07:28:01 GMT\", \"expected\": 2, \"actual\": 2, \"pass\": true}, {\"input\": \"Wed, 21 Oct 2015 07:27:00 GMT\", \"expected\": 0, \"actual\": 0, \"pass\": true}, {\"input\": \"Tue, 21 Oct 2015 07:28:00 GMT\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"Wed, 21 Oct 2015 07:28:00 UTC\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"wed, 21 Oct 2015 07:28:00 GMT\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"Wed, 31 Feb 2015 07:28:00 GMT\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"Wed, 21 Oct 2015 07:28:00 GMT trailing\", \"expected\": null, \"actual\": null, \"pass\": true}, {\"input\": \"Wed, 21 Oct 2015 07:28:00 +0000\", \"expected\": null, \"actual\": null, \"pass\": true}]}\n",
      "contentRedacted": false,
      "publishedContentSha256": "3e7b0982f217a41f229865a072cdee2a778735cbabe56238a3f0d4e91cab0746"
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/policy.json",
      "sha256": "79464c36a3d2f7094195db502cd93bdd8f67ba27004c9c9e234b314828ed23d2",
      "bytes": 923,
      "content": "{\n  \"schema\": \"agent_comparison_rerun_policy.v1\",\n  \"temperature\": 0.0,\n  \"timeout_seconds\": 240,\n  \"per_request_output_tokens\": 8192,\n  \"proxy_shared_max_input_tokens\": 160000,\n  \"proxy_shared_max_output_tokens\": 32000,\n  \"proxy_reservation\": \"entire request UTF8 bytes +32/message+128; providerusage settled after eachcall; failclosed ifmissing\",\n  \"maximum_input_tokens\": 160000,\n  \"total_token_budget\": 400000,\n  \"max_turns\": 24,\n  \"proxy_read_timeout_seconds\": 270,\n  \"verdict_stream_idle_timeout_seconds\": 240,\n  \"aider_request_timeout_seconds\": 240,\n  \"reasoning\": {\n    \"mode\": \"default\"\n  },\n  \"models\": \"exact pins, no failover\",\n  \"task_file\": \"solution.py\",\n  \"hidden_oracle_fed_to_agent\": false,\n  \"producer_location\": \"outside candidate workspace; candidate read denied\",\n  \"aider_context\": \"live exact catalog context metadata; history ceiling=min(inputbudget,context/2)\",\n  \"appendix_model_changed\": false\n}",
      "contentRedacted": false,
      "publishedContentSha256": "79464c36a3d2f7094195db502cd93bdd8f67ba27004c9c9e234b314828ed23d2"
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/post-terminal-settlement.json",
      "sha256": "8bd73a1eb959296af3cf271bee5bb73ddba6d581a567423215bb5193011e4587",
      "bytes": 381
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/product_source.json",
      "sha256": "b6b95b45eebefbd7db18563205601d0d4961facd45218316ceb3b1dec895cbb0",
      "bytes": 846,
      "content": "{\n  \"head\": \"409511b4c7a8ff3f29dff3ac2f029f5f1a469d41\",\n  \"files\": {\n    \"scripts/benchmarks/agent_comparison_rerun_20261016.py\": \"c625b691551051e1f0a3d8dea1fbb3ea6db797578005f86122099572c7acb0b0\",\n    \"tools/verdict-code/verdict_code/agent.py\": \"4879267470fdbcfd44c8d837d5b27d5298d434ea9c2cadf497b4b6073457d91c\",\n    \"tools/verdict-code/verdict_code/tools/__init__.py\": \"609350f15bbdec4099405afe9ddddddf7b2caa7d2d03cc53e0276d6ab8d3bd57\",\n    \"tools/verdict-code/verdict_code/main.py\": \"af0a9ac892f38ce9c9fb422bf91facced4e72835ae63e0522b8cf75b1d1605ab\",\n    \"tools/verdict-code/VERSION\": \"98ddd8c64dd951f851d65ceaa4a8939727b829f146950a55439b56bd45e16208\",\n    \"scripts/benchmarks/agent_comparison_completion_repair_20261016.py\": \"827566af5635ef64554ef1201e9464a9544502d05813b0492020c77eb9ce07fa\"\n  },\n  \"retainedSourceBytes\": \"source_snapshot/\"\n}",
      "contentRedacted": false,
      "publishedContentSha256": "b6b95b45eebefbd7db18563205601d0d4961facd45218316ceb3b1dec895cbb0"
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/prompt.txt",
      "sha256": "6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe",
      "bytes": 837,
      "content": "Synthetic benchmark task: Retry-After parsing. Implement `retry_after(value, now)` in solution.py using only Python standard library. now is an aware UTC datetime. Return a nonnegative integer number of seconds or None for invalid input. Strings containing only ASCII decimal digits after surrounding whitespace return that integer. Otherwise accept an RFC HTTP-date of form `Wed, 21 Oct 2015 07:28:00 GMT`, case sensitive, validated weekday must agree with date. For a valid HTTP date return max(0, ceil((date-now).total_seconds())). Reject non-string inputs, signs, fractions, non-ASCII digits, extra text, and non-GMT timezone names. Do not change any other source file. Hidden tests are unavailable. Write the implementation to disk and finish. Do not install dependencies, access network, use other models, or edit unrelated paths.\n",
      "contentRedacted": false,
      "publishedContentSha256": "6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe"
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/result.json",
      "sha256": "23ca985f66547fa3918a11d2fdbac3c3755433180c0f9f2bcb6ea590601042be",
      "bytes": 5331
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/sandbox.sb",
      "sha256": "5bdc6f994cb26f446d9584c06bf4d481a2a07afdf76ddce12bcb5076ce324c81",
      "bytes": 5919
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/sandbox_preflight.json",
      "sha256": "8415d156075475eba2b82a04636f833e85484020de5e6424f6140cd0ac61390f",
      "bytes": 93
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/source_snapshot/scripts/benchmarks/agent_comparison_completion_repair_20261016.py",
      "sha256": "827566af5635ef64554ef1201e9464a9544502d05813b0492020c77eb9ce07fa",
      "bytes": 13274
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/source_snapshot/scripts/benchmarks/agent_comparison_rerun_20261016.py",
      "sha256": "c625b691551051e1f0a3d8dea1fbb3ea6db797578005f86122099572c7acb0b0",
      "bytes": 38332
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/source_snapshot/tools/verdict-code/VERSION",
      "sha256": "98ddd8c64dd951f851d65ceaa4a8939727b829f146950a55439b56bd45e16208",
      "bytes": 8
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/source_snapshot/tools/verdict-code/verdict_code/agent.py",
      "sha256": "4879267470fdbcfd44c8d837d5b27d5298d434ea9c2cadf497b4b6073457d91c",
      "bytes": 760119
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/source_snapshot/tools/verdict-code/verdict_code/main.py",
      "sha256": "af0a9ac892f38ce9c9fb422bf91facced4e72835ae63e0522b8cf75b1d1605ab",
      "bytes": 625279
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/source_snapshot/tools/verdict-code/verdict_code/tools/__init__.py",
      "sha256": "609350f15bbdec4099405afe9ddddddf7b2caa7d2d03cc53e0276d6ab8d3bd57",
      "bytes": 269877
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/stderr.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/stdout.txt",
      "sha256": "caedef97b0338e81d633459d4692b2c8935145dc0b4a03ff6e2ddb2fbabcce96",
      "bytes": 2792
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/terminal_evidence/8308c0542940428dbac2184330e930c1.http.json",
      "sha256": "7b7d2ba7da38df349730b844f5a7ee404601546b1255c0860ee52f313dde4f73",
      "bytes": 138
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/terminal_evidence/8308c0542940428dbac2184330e930c1.request.json",
      "sha256": "e172a464f58fd6d5c627c26ee857e66411ec09e59e1c5f81424b4a81053e58e4",
      "bytes": 4509
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/terminal_evidence/8308c0542940428dbac2184330e930c1.response.txt",
      "sha256": "a34c424ede83f2adaeeb0fefcfe1038ef68a6e6796c57279ad35e02a6cc2b695",
      "bytes": 126771
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/terminal_evidence/8308c0542940428dbac2184330e930c1.timing.json",
      "sha256": "d69bed5dc9b343937ee541a3bd588173a5d06bf0cdabcdd3a4c1f7f405a6be30",
      "bytes": 307
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/terminal_evidence/budget_ledger.json",
      "sha256": "cf17081b1c385761509152ed1d34c07d0e913ea972d242ed9dbe2cc549643c7b",
      "bytes": 116
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/workspace/aider_model_metadata.json",
      "sha256": "2108c3ffa45d16116e12f31a0be9f06a91440df5b9de9f898dae1b7ee1d3abab",
      "bytes": 199
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/workspace/aider_settings.yml",
      "sha256": "c979507c328f9affda8a5cc19363ddde4668b3465a3ca7304d0f540791d8361f",
      "bytes": 195
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/workspace/chat_history.md",
      "sha256": "436c84ab50c758bf5019dc17f7c1fb2e3cddf1906f386740be72b1ec8abc2895",
      "bytes": 4925
    },
    {
      "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/workspace/solution.py",
      "sha256": "36329a4d3b1e022e08dad1c6687e109b84078441babea5d643cacbbd5369bea3",
      "bytes": 2357,
      "content": "def retry_after(value, now):\n    \"\"\"Parse an HTTP Retry-After header according to the task contract.\"\"\"\n    import re\n    from datetime import datetime, timezone\n    \n    # Handle string input\n    if isinstance(value, str):\n        # Trim whitespace\n        value = value.strip()\n        \n        # Check if it's all digits\n        if re.match(r'^\\d+$', value):\n            return int(value)\n        \n        # Check if it's an RFC HTTP-date\n        # Format: \"Wed, 21 Oct 2015 07:28:00 GMT\"\n        date_pattern = r'^([A-Za-z]{3}), (\\d{2}) ([A-Za-z]{3}) (\\d{4}) (\\d{2}):(\\d{2}):(\\d{2}) GMT$'\n        match = re.match(date_pattern, value)\n        \n        if not match:\n            return None\n            \n        # Extract components\n        weekday, day, month, year, hour, minute, second = match.groups()\n        \n        # Validate weekday (must match the date)\n        # Create a datetime object to check the weekday\n        try:\n            # Map month abbreviations to numbers\n            months = {\n                'Jan': 1, 'Feb': 2, 'Mar': 3, 'Apr': 4,\n                'May': 5, 'Jun': 6, 'Jul': 7, 'Aug': 8,\n                'Sep': 9, 'Oct': 10, 'Nov': 11, 'Dec': 12\n            }\n            \n            if month not in months:\n                return None\n                \n            # Create datetime object (assumes UTC)\n            target_date = datetime(\n                year=int(year),\n                month=months[month],\n                day=int(day),\n                hour=int(hour),\n                minute=int(minute),\n                second=int(second),\n                tzinfo=timezone.utc\n            )\n            \n            # Check if the weekday matches (0=Monday, 6=Sunday)\n            weekdays = ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun']\n            expected_weekday = weekdays[target_date.weekday()]\n            \n            # Validate that the weekday matches (case sensitive)\n            if weekday != expected_weekday:\n                return None\n                \n            # Calculate difference in seconds\n            diff = (target_date - now).total_seconds()\n            \n            # Return max(0, ceil(diff))\n            import math\n            return max(0, math.ceil(diff))\n            \n        except (ValueError, IndexError):\n            return None\n    \n    # Handle non-string inputs\n    return None\n",
      "contentRedacted": false,
      "publishedContentSha256": "36329a4d3b1e022e08dad1c6687e109b84078441babea5d643cacbbd5369bea3"
    }
  ],
  "disclosure": "Synthetic inputs and observed execution. Original-byte hashes retained; selected source and oracle outputs reproduced. Private provider transcripts remain local.",
  "reviewedEvidence": {
    "provenance": "Synthetic test input; actual installed CLI execution; reviewed public-safe evidence fixture.",
    "runId": "20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d",
    "task": "Synthetic benchmark task: Retry-After parsing. Implement `retry_after(value, now)` in solution.py using only Python standard library. now is an aware UTC datetime. Return a nonnegative integer number of seconds or None for invalid input. Strings containing only ASCII decimal digits after surrounding whitespace return that integer. Otherwise accept an RFC HTTP-date of form `Wed, 21 Oct 2015 07:28:00 GMT`, case sensitive, validated weekday must agree with date. For a valid HTTP date return max(0, ceil((date-now).total_seconds())). Reject non-string inputs, signs, fractions, non-ASCII digits, extra text, and non-GMT timezone names. Do not change any other source file. Hidden tests are unavailable. Write the implementation to disk and finish. Do not install dependencies, access network, use other models, or edit unrelated paths.\n",
    "freeze": {
      "task_sha256": "6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe",
      "oracle_sha256": "3675736119622cac168d711045426c6678bd08212b9bedf1aab71126a7ef1a76",
      "starter_sha256": "595a2a41e7bfd09ad28045cb3be95f0126d702eb25e6f53c723c0b77c46b44e2",
      "frozen_before_execution_at": 1792154096.054862
    },
    "candidateCode": "def retry_after(value, now):\n    \"\"\"Parse an HTTP Retry-After header according to the task contract.\"\"\"\n    import re\n    from datetime import datetime, timezone\n    \n    # Handle string input\n    if isinstance(value, str):\n        # Trim whitespace\n        value = value.strip()\n        \n        # Check if it's all digits\n        if re.match(r'^\\d+$', value):\n            return int(value)\n        \n        # Check if it's an RFC HTTP-date\n        # Format: \"Wed, 21 Oct 2015 07:28:00 GMT\"\n        date_pattern = r'^([A-Za-z]{3}), (\\d{2}) ([A-Za-z]{3}) (\\d{4}) (\\d{2}):(\\d{2}):(\\d{2}) GMT$'\n        match = re.match(date_pattern, value)\n        \n        if not match:\n            return None\n            \n        # Extract components\n        weekday, day, month, year, hour, minute, second = match.groups()\n        \n        # Validate weekday (must match the date)\n        # Create a datetime object to check the weekday\n        try:\n            # Map month abbreviations to numbers\n            months = {\n                'Jan': 1, 'Feb': 2, 'Mar': 3, 'Apr': 4,\n                'May': 5, 'Jun': 6, 'Jul': 7, 'Aug': 8,\n                'Sep': 9, 'Oct': 10, 'Nov': 11, 'Dec': 12\n            }\n            \n            if month not in months:\n                return None\n                \n            # Create datetime object (assumes UTC)\n            target_date = datetime(\n                year=int(year),\n                month=months[month],\n                day=int(day),\n                hour=int(hour),\n                minute=int(minute),\n                second=int(second),\n                tzinfo=timezone.utc\n            )\n            \n            # Check if the weekday matches (0=Monday, 6=Sunday)\n            weekdays = ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun']\n            expected_weekday = weekdays[target_date.weekday()]\n            \n            # Validate that the weekday matches (case sensitive)\n            if weekday != expected_weekday:\n                return None\n                \n            # Calculate difference in seconds\n            diff = (target_date - now).total_seconds()\n            \n            # Return max(0, ceil(diff))\n            import math\n            return max(0, math.ceil(diff))\n            \n        except (ValueError, IndexError):\n            return None\n    \n    # Handle non-string inputs\n    return None\n",
    "oracle": {
      "passed": 18,
      "total": 20,
      "cases": [
        {
          "input": "0",
          "expected": 0,
          "actual": 0,
          "pass": true
        },
        {
          "input": " 120\t",
          "expected": 120,
          "actual": 120,
          "pass": true
        },
        {
          "input": "0007",
          "expected": 7,
          "actual": 7,
          "pass": true
        },
        {
          "input": "-1",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "+1",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "1.5",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "１２",
          "expected": null,
          "actual": 12,
          "pass": false
        },
        {
          "input": "١٢",
          "expected": null,
          "actual": 12,
          "pass": false
        },
        {
          "input": "",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": null,
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": 4,
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "Wed, 21 Oct 2015 07:28:00 GMT",
          "expected": 1,
          "actual": 1,
          "pass": true
        },
        {
          "input": "Wed, 21 Oct 2015 07:28:01 GMT",
          "expected": 2,
          "actual": 2,
          "pass": true
        },
        {
          "input": "Wed, 21 Oct 2015 07:27:00 GMT",
          "expected": 0,
          "actual": 0,
          "pass": true
        },
        {
          "input": "Tue, 21 Oct 2015 07:28:00 GMT",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "Wed, 21 Oct 2015 07:28:00 UTC",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "wed, 21 Oct 2015 07:28:00 GMT",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "Wed, 31 Feb 2015 07:28:00 GMT",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "Wed, 21 Oct 2015 07:28:00 GMT trailing",
          "expected": null,
          "actual": null,
          "pass": true
        },
        {
          "input": "Wed, 21 Oct 2015 07:28:00 +0000",
          "expected": null,
          "actual": null,
          "pass": true
        }
      ]
    },
    "providerCalls": [
      {
        "requestEvidence": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d/8308c0542940428dbac2184330e930c1.request.json",
        "requestSha256": "e172a464f58fd6d5c627c26ee857e66411ec09e59e1c5f81424b4a81053e58e4",
        "responseSha256": "a34c424ede83f2adaeeb0fefcfe1038ef68a6e6796c57279ad35e02a6cc2b695",
        "httpStatus": 200,
        "requestedModel": "local/lmstudio/qwen/qwen3-coder-30b",
        "resolvedModel": "local/lmstudio/qwen/qwen3-coder-30b",
        "backendModel": "qwen/qwen3-coder-30b",
        "resolutionSource": "transport_cache_exact",
        "generationControls": {
          "max_tokens": 8192,
          "temperature": 0.0,
          "reasoning_choice": {
            "mode": "default"
          },
          "auto_failover": false,
          "stream": true
        },
        "inputTokens": 847,
        "outputTokens": 574,
        "totalTokens": 1421,
        "costUsd": 0.0,
        "energyWh": 0.276306,
        "finishReasons": [
          "stop"
        ],
        "additiveReasoningTokens": null,
        "nestedReasoningTokens": null
      }
    ],
    "gatewayBefore": {
      "status": "healthy",
      "service": "local_gateway",
      "mode": "full",
      "port": 6120,
      "timestamp": "2026-10-16T12:34:56.083725+00:00",
      "uptime_seconds": 105.39475607872009,
      "server_start_time": 1792153990.688971,
      "git_sha": "a5d8f6a1c4fc2bd9144502167f3eaa8461dcfc25",
      "build_time": "2026-10-16T08:32:43-04:00",
      "version": "a5d8f6a1c4fc2bd9144502167f3eaa8461dcfc25",
      "interop_min": 1,
      "interop_max": 1,
      "dependencies": {
        "event_stream": "http://localhost:6102"
      },
      "lightrag": {
        "enabled": true,
        "status": "online",
        "files_indexed": 8020,
        "url": "http://127.0.0.1:6150"
      },
      "cloud_relay": {
        "connected": true,
        "authenticated": true
      },
      "context_status": {
        "summary": "ok",
        "target_context": 65536,
        "providers": [
          {
            "provider": "ollama",
            "status": "ok",
            "actual_context": 131072,
            "target_context": 65536,
            "model": "deepseek-r1:7b"
          },
          {
            "provider": "lmstudio",
            "status": "ok",
            "actual_context": 262144,
            "target_context": 65536,
            "model": "verdict-4-35b-toolterse-v5-mlx"
          },
          {
            "provider": "llamacpp",
            "status": "context_unknown",
            "actual_context": null,
            "target_context": 65536,
            "model": null
          }
        ]
      }
    },
    "gatewayAfter": {
      "status": "healthy",
      "service": "local_gateway",
      "mode": "full",
      "port": 6120,
      "timestamp": "2026-10-16T12:35:05.211125+00:00",
      "uptime_seconds": 114.52215814590454,
      "server_start_time": 1792153990.688971,
      "git_sha": "a5d8f6a1c4fc2bd9144502167f3eaa8461dcfc25",
      "build_time": "2026-10-16T08:32:43-04:00",
      "version": "a5d8f6a1c4fc2bd9144502167f3eaa8461dcfc25",
      "interop_min": 1,
      "interop_max": 1,
      "dependencies": {
        "event_stream": "http://localhost:6102"
      },
      "lightrag": {
        "enabled": true,
        "status": "online",
        "files_indexed": 8020,
        "url": "http://127.0.0.1:6150"
      },
      "cloud_relay": {
        "connected": true,
        "authenticated": true
      },
      "context_status": {
        "summary": "ok",
        "target_context": 65536,
        "providers": [
          {
            "provider": "ollama",
            "status": "ok",
            "actual_context": 131072,
            "target_context": 65536,
            "model": "deepseek-r1:7b"
          },
          {
            "provider": "lmstudio",
            "status": "ok",
            "actual_context": 262144,
            "target_context": 65536,
            "model": "verdict-4-35b-toolterse-v5-mlx"
          },
          {
            "provider": "llamacpp",
            "status": "context_unknown",
            "actual_context": null,
            "target_context": 65536,
            "model": null
          }
        ]
      }
    },
    "rawArtifacts": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123456Z_aider_local_lmstudio_qwen_qwen3-coder-30b_95980d",
    "rawResultSha256": "23ca985f66547fa3918a11d2fdbac3c3755433180c0f9f2bcb6ea590601042be",
    "rawEvidenceHashes": {
      "health_before.json": "cb04d1511f920ef2d144860c5c74c30f8bad9567bd94744abddc9cf00d8785a4",
      "stdout.txt": "caedef97b0338e81d633459d4692b2c8935145dc0b4a03ff6e2ddb2fbabcce96",
      "policy.json": "79464c36a3d2f7094195db502cd93bdd8f67ba27004c9c9e234b314828ed23d2",
      "health_after.json": "69d59d7955d9c42d803f9291c516f17fe14be08732d3745ce9efabb6fa56ac59",
      "model_preflight.json": "73602083f356ce0a2401fd79d915f3f2ec0711a1901252066fc7bdd52e977376",
      "sandbox_preflight.json": "8415d156075475eba2b82a04636f833e85484020de5e6424f6140cd0ac61390f",
      "budget_ledger_at_terminal.json": "cf17081b1c385761509152ed1d34c07d0e913ea972d242ed9dbe2cc549643c7b",
      "prompt.txt": "6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe",
      "oracle.stdout.txt": "3e7b0982f217a41f229865a072cdee2a778735cbabe56238a3f0d4e91cab0746",
      "sandbox.sb": "5bdc6f994cb26f446d9584c06bf4d481a2a07afdf76ddce12bcb5076ce324c81",
      "stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "launch.json": "e63b774b42df5e65ce1b6558e8892d2b2ed4a25cb037d0acc7781a5471297d76",
      "invocation.json": "758d587fcc7b7d8378f7dd0efd835dd9409086aad64199edb32ef6ca7b4a5be0",
      "oracle.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "freeze.json": "9d1f745f9a90b8eae1ce13a5ac92aecd2fb6f6f8abe83d38bac2a0d95d0687ae",
      "product_source.json": "b6b95b45eebefbd7db18563205601d0d4961facd45218316ceb3b1dec895cbb0",
      "post-terminal-settlement.json": "8bd73a1eb959296af3cf271bee5bb73ddba6d581a567423215bb5193011e4587",
      "workspace/aider_model_metadata.json": "2108c3ffa45d16116e12f31a0be9f06a91440df5b9de9f898dae1b7ee1d3abab",
      "workspace/solution.py": "36329a4d3b1e022e08dad1c6687e109b84078441babea5d643cacbbd5369bea3",
      "workspace/chat_history.md": "436c84ab50c758bf5019dc17f7c1fb2e3cddf1906f386740be72b1ec8abc2895",
      "workspace/aider_settings.yml": "c979507c328f9affda8a5cc19363ddde4668b3465a3ca7304d0f540791d8361f",
      "terminal_evidence/8308c0542940428dbac2184330e930c1.timing.json": "d69bed5dc9b343937ee541a3bd588173a5d06bf0cdabcdd3a4c1f7f405a6be30",
      "terminal_evidence/budget_ledger.json": "cf17081b1c385761509152ed1d34c07d0e913ea972d242ed9dbe2cc549643c7b",
      "terminal_evidence/8308c0542940428dbac2184330e930c1.http.json": "7b7d2ba7da38df349730b844f5a7ee404601546b1255c0860ee52f313dde4f73",
      "terminal_evidence/8308c0542940428dbac2184330e930c1.response.txt": "a34c424ede83f2adaeeb0fefcfe1038ef68a6e6796c57279ad35e02a6cc2b695",
      "terminal_evidence/8308c0542940428dbac2184330e930c1.request.json": "e172a464f58fd6d5c627c26ee857e66411ec09e59e1c5f81424b4a81053e58e4",
      "source_snapshot/tools/verdict-code/VERSION": "98ddd8c64dd951f851d65ceaa4a8939727b829f146950a55439b56bd45e16208",
      "source_snapshot/tools/verdict-code/verdict_code/agent.py": "4879267470fdbcfd44c8d837d5b27d5298d434ea9c2cadf497b4b6073457d91c",
      "source_snapshot/tools/verdict-code/verdict_code/main.py": "af0a9ac892f38ce9c9fb422bf91facced4e72835ae63e0522b8cf75b1d1605ab",
      "source_snapshot/tools/verdict-code/verdict_code/tools/__init__.py": "609350f15bbdec4099405afe9ddddddf7b2caa7d2d03cc53e0276d6ab8d3bd57",
      "source_snapshot/scripts/benchmarks/agent_comparison_rerun_20261016.py": "c625b691551051e1f0a3d8dea1fbb3ea6db797578005f86122099572c7acb0b0",
      "source_snapshot/scripts/benchmarks/agent_comparison_completion_repair_20261016.py": "827566af5635ef64554ef1201e9464a9544502d05813b0492020c77eb9ce07fa"
    },
    "productSource": {
      "head": "409511b4c7a8ff3f29dff3ac2f029f5f1a469d41",
      "files": {
        "scripts/benchmarks/agent_comparison_rerun_20261016.py": "c625b691551051e1f0a3d8dea1fbb3ea6db797578005f86122099572c7acb0b0",
        "tools/verdict-code/verdict_code/agent.py": "4879267470fdbcfd44c8d837d5b27d5298d434ea9c2cadf497b4b6073457d91c",
        "tools/verdict-code/verdict_code/tools/__init__.py": "609350f15bbdec4099405afe9ddddddf7b2caa7d2d03cc53e0276d6ab8d3bd57",
        "tools/verdict-code/verdict_code/main.py": "af0a9ac892f38ce9c9fb422bf91facced4e72835ae63e0522b8cf75b1d1605ab",
        "tools/verdict-code/VERSION": "98ddd8c64dd951f851d65ceaa4a8939727b829f146950a55439b56bd45e16208",
        "scripts/benchmarks/agent_comparison_completion_repair_20261016.py": "827566af5635ef64554ef1201e9464a9544502d05813b0492020c77eb9ce07fa"
      },
      "retainedSourceBytes": "source_snapshot/"
    },
    "protocol": {
      "schema": "agent_comparison_rerun_policy.v1",
      "temperature": 0.0,
      "timeout_seconds": 240,
      "per_request_output_tokens": 8192,
      "proxy_shared_max_input_tokens": 160000,
      "proxy_shared_max_output_tokens": 32000,
      "proxy_reservation": "entire request UTF8 bytes +32/message+128; providerusage settled after eachcall; failclosed ifmissing",
      "maximum_input_tokens": 160000,
      "total_token_budget": 400000,
      "max_turns": 24,
      "proxy_read_timeout_seconds": 270,
      "verdict_stream_idle_timeout_seconds": 240,
      "aider_request_timeout_seconds": 240,
      "reasoning": {
        "mode": "default"
      },
      "models": "exact pins, no failover",
      "task_file": "solution.py",
      "hidden_oracle_fed_to_agent": false,
      "producer_location": "outside candidate workspace; candidate read denied",
      "aider_context": "live exact catalog context metadata; history ceiling=min(inputbudget,context/2)",
      "appendix_model_changed": false
    }
  }
}
