{ "schema": "agent-rerun-receipt.v1", "record": { "id": "20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97", "taskId": "retry-after-v1", "taskTitle": "Strict HTTP Retry-After parser (synthetic test input)", "agent": "aider", "requestedModel": "local/lmstudio/verdict/verdict-4-35b-toolterse-v5-mlx", "resolvedModel": "local/lmstudio/verdict/verdict-4-35b-toolterse-v5-mlx", "wallSeconds": 7.141, "inputTokens": 886, "outputTokens": 438, "totalTokens": 1324, "costUsd": 0.0, "energyWh": 0.257444, "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": "20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97.json", "archived": true }, "sourceRecord": { "id": "20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97", "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/verdict/verdict-4-35b-toolterse-v5-mlx", "resolvedModel": "local/lmstudio/verdict/verdict-4-35b-toolterse-v5-mlx", "status": "FAIL", "wallSeconds": 7.141, "inputTokens": 886, "outputTokens": 438, "totalTokens": 1324, "costUsd": 0.0, "energyWh": 0.257444, "assertionsPassed": 18, "assertionsTotal": 20, "observedCodePass": false, "exitCode": 0, "evidencePaths": [ "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97" ], "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": 1792154087.9309828 }, "mutableRuntimeFiles": [ "budget_ledger.json", "87bae08bd1b74513ac600246fe6b906b.http.json", "87bae08bd1b74513ac600246fe6b906b.timing.json", "87bae08bd1b74513ac600246fe6b906b.request.json", "87bae08bd1b74513ac600246fe6b906b.response.txt" ], "terminalBudgetSnapshot": "budget_ledger_at_terminal.json", "terminalTransportSnapshot": "terminal_evidence/", "rawStatus": "FAIL", "metadataTransportDiagnosticCount": 0, "diagnosticOnly": false, "tokenSource": "provider", "accountingComplete": true, "identityVerified": true, "providerCallCount": 1, "partialInputTokens": 886, "partialOutputTokens": 438, "partialTotalTokens": 1324, "partialEstimatedCostUsd": null, "reportedAdditiveReasoningTokens": null, "reportedReasoningTokens": null, "allCallsReportReasoning": false, "tokensPerSecond": 185.408, "knownTokensIncludingAdditiveReasoning": 1324, "knownTokensIncludingAdditiveReasoningPerSecond": 185.408, "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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97.json", "publicEvidenceSha256": "6e5ec4d06e0bfa43d85832382d2994073715ff36396cedb18ffece8d8f8af7b0" }, "sourceFile": "artifacts/agent_comparison_completion_repair_20261016/matrix/reviewed-summary.json", "sourceFileSha256": "cfdb4bb21c1038588f0951f2cbe4774e077c01691d7e0e53434881d3b9a16419", "files": [ { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/87bae08bd1b74513ac600246fe6b906b.http.json", "sha256": "7b7d2ba7da38df349730b844f5a7ee404601546b1255c0860ee52f313dde4f73", "bytes": 138 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/87bae08bd1b74513ac600246fe6b906b.request.json", "sha256": "2ab89245d69baff4221784fb88669f41a3f03cb50e1534e7c90088add2a3d96c", "bytes": 4527 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/87bae08bd1b74513ac600246fe6b906b.response.txt", "sha256": "b515054dc5c0b03b931023d62015cfb4f82c25d7629868b5d45647237ee196d4", "bytes": 104790 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/87bae08bd1b74513ac600246fe6b906b.timing.json", "sha256": "7d76ba395421b251f2dea572f56e2ccb36350223d6fa61d9b3a8515882591e97", "bytes": 306 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/budget_ledger.json", "sha256": "bc15f099459ce82e6c3907a74f79040e425eb0cd4135a17908ae7149730fd2c2", "bytes": 116 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/budget_ledger_at_terminal.json", "sha256": "bc15f099459ce82e6c3907a74f79040e425eb0cd4135a17908ae7149730fd2c2", "bytes": 116 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/freeze.json", "sha256": "ac015974e30ca43de1b09d6d209f84a43db238b0b3982e090999be2cad7566b8", "bytes": 314, "content": "{\n \"task_sha256\": \"6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe\",\n \"oracle_sha256\": \"3675736119622cac168d711045426c6678bd08212b9bedf1aab71126a7ef1a76\",\n \"starter_sha256\": \"595a2a41e7bfd09ad28045cb3be95f0126d702eb25e6f53c723c0b77c46b44e2\",\n \"frozen_before_execution_at\": 1792154087.9309828\n}", "contentRedacted": false, "publishedContentSha256": "ac015974e30ca43de1b09d6d209f84a43db238b0b3982e090999be2cad7566b8" }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/health_after.json", "sha256": "65e57e541f3b539f287e0d81c5767f29fae27b8b32596104a53fb18e0e5ce1e9", "bytes": 1327 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/health_before.json", "sha256": "16d250d0d7ca577392568ab9d14a2c24c307331a592c9f5a52c13bc592d9df05", "bytes": 1326 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/invocation.json", "sha256": "ab3f8f96d0ba49775c32cf50b8a31d2dfdd74e06f8421b468b136794c381092f", "bytes": 2179 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/launch.json", "sha256": "feeec23462e91822d66c4f8ed261a18af54fcdeec7111659da246f8af5ab6402", "bytes": 201 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/model_preflight.json", "sha256": "434eadae2115b9fcf652ac2c7d107d810ee095abe7bdb2f875291d2896bb30e9", "bytes": 3586 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/oracle.stderr.txt", "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "bytes": 0, "content": "", "contentRedacted": false, "publishedContentSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/post-terminal-settlement.json", "sha256": "714dd84999150c30f32671e88c6344e857a1a032b033f450c1e2a41296a83fb9", "bytes": 381 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/result.json", "sha256": "3fc94e0e8997e31652837af23d0d280e2d1fcfddba7a9b4a4f5a626eb86fc20c", "bytes": 5386 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/sandbox.sb", "sha256": "44dab3c0ef7a0c27ae4c7849e0982651ead0aa32aab4e177539ea4e21c2f7a1a", "bytes": 6261 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/sandbox_preflight.json", "sha256": "8415d156075475eba2b82a04636f833e85484020de5e6424f6140cd0ac61390f", "bytes": 93 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/source_snapshot/scripts/benchmarks/agent_comparison_completion_repair_20261016.py", "sha256": "827566af5635ef64554ef1201e9464a9544502d05813b0492020c77eb9ce07fa", "bytes": 13274 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/source_snapshot/scripts/benchmarks/agent_comparison_rerun_20261016.py", "sha256": "c625b691551051e1f0a3d8dea1fbb3ea6db797578005f86122099572c7acb0b0", "bytes": 38332 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/source_snapshot/tools/verdict-code/VERSION", "sha256": "98ddd8c64dd951f851d65ceaa4a8939727b829f146950a55439b56bd45e16208", "bytes": 8 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/source_snapshot/tools/verdict-code/verdict_code/agent.py", "sha256": "4879267470fdbcfd44c8d837d5b27d5298d434ea9c2cadf497b4b6073457d91c", "bytes": 760119 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/source_snapshot/tools/verdict-code/verdict_code/main.py", "sha256": "af0a9ac892f38ce9c9fb422bf91facced4e72835ae63e0522b8cf75b1d1605ab", "bytes": 625279 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/source_snapshot/tools/verdict-code/verdict_code/tools/__init__.py", "sha256": "609350f15bbdec4099405afe9ddddddf7b2caa7d2d03cc53e0276d6ab8d3bd57", "bytes": 269877 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/stderr.txt", "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "bytes": 0 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/stdout.txt", "sha256": "ab60e68ee52edbb279debddd92ed391d1499aed4a81e1cc2f95b1f59ce504717", "bytes": 1862 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/terminal_evidence/87bae08bd1b74513ac600246fe6b906b.http.json", "sha256": "7b7d2ba7da38df349730b844f5a7ee404601546b1255c0860ee52f313dde4f73", "bytes": 138 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/terminal_evidence/87bae08bd1b74513ac600246fe6b906b.request.json", "sha256": "2ab89245d69baff4221784fb88669f41a3f03cb50e1534e7c90088add2a3d96c", "bytes": 4527 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/terminal_evidence/87bae08bd1b74513ac600246fe6b906b.response.txt", "sha256": "b515054dc5c0b03b931023d62015cfb4f82c25d7629868b5d45647237ee196d4", "bytes": 104790 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/terminal_evidence/87bae08bd1b74513ac600246fe6b906b.timing.json", "sha256": "7d76ba395421b251f2dea572f56e2ccb36350223d6fa61d9b3a8515882591e97", "bytes": 306 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/terminal_evidence/budget_ledger.json", "sha256": "bc15f099459ce82e6c3907a74f79040e425eb0cd4135a17908ae7149730fd2c2", "bytes": 116 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/workspace/aider_model_metadata.json", "sha256": "dc8e516259b5d0d8ce8e70522e8c7da794cc9c7dd9cb7ca55e8f945cc2984fa4", "bytes": 217 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/workspace/aider_settings.yml", "sha256": "89be47640c5cdac8652f33289cb386dc8cfa289c98c480465c3311297b85ea8b", "bytes": 213 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/workspace/chat_history.md", "sha256": "76020964fdf9516762aedb8d27c60107b4fb54eced199d163f99ecd2d762260f", "bytes": 4067 }, { "path": "artifacts/agent_comparison_completion_repair_20261016/matrix/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/workspace/solution.py", "sha256": "6bc67430fedf7b5e073d9ae29c817f13f01b5d9245d40e9e618c7a29a2633352", "bytes": 1496, "content": "from datetime import datetime, timezone, timedelta\nimport math\n\n\ndef retry_after(value, now):\n \"\"\"Parse an HTTP Retry-After header according to the task contract.\"\"\"\n if not isinstance(value, str):\n return None\n\n value = value.strip()\n if not value:\n return None\n\n # Try parsing as an integer (seconds)\n if all(c.isdigit() for c in value):\n return int(value)\n\n # Try parsing as an HTTP-date (RFC 1123/850)\n # Format: \"Wed, 21 Oct 2015 07:28:00 GMT\"\n # Weekday must be valid and match the date.\n\n parts = value.split(\", \", 1)\n if len(parts) != 2:\n return None\n\n weekday_str, rest = parts\n\n # Validate and parse the date/time part\n try:\n dt_str, tz_str = rest.rsplit(\" \", 1)\n except ValueError:\n return None\n\n if tz_str != \"GMT\":\n return None\n\n # Parse the date/time string: \"21 Oct 2015 07:28:00\"\n try:\n dt = datetime.strptime(dt_str, \"%d %b %Y %H:%M:%S\")\n except ValueError:\n return None\n\n # Make the datetime UTC-aware (GMT)\n dt = dt.replace(tzinfo=timezone.utc)\n\n # Validate the weekday string matches the actual day of the week\n expected_weekday = dt.strftime(\"%a\") # e.g., \"Wed\"\n if weekday_str != expected_weekday:\n return None\n\n # Calculate seconds until the date, rounded up to nearest integer\n delta = dt - now\n total_seconds = delta.total_seconds()\n\n # Return max(0, ceil(total_seconds))\n return max(0, math.ceil(total_seconds))\n", "contentRedacted": false, "publishedContentSha256": "6bc67430fedf7b5e073d9ae29c817f13f01b5d9245d40e9e618c7a29a2633352" } ], "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": "20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97", "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": 1792154087.9309828 }, "candidateCode": "from datetime import datetime, timezone, timedelta\nimport math\n\n\ndef retry_after(value, now):\n \"\"\"Parse an HTTP Retry-After header according to the task contract.\"\"\"\n if not isinstance(value, str):\n return None\n\n value = value.strip()\n if not value:\n return None\n\n # Try parsing as an integer (seconds)\n if all(c.isdigit() for c in value):\n return int(value)\n\n # Try parsing as an HTTP-date (RFC 1123/850)\n # Format: \"Wed, 21 Oct 2015 07:28:00 GMT\"\n # Weekday must be valid and match the date.\n\n parts = value.split(\", \", 1)\n if len(parts) != 2:\n return None\n\n weekday_str, rest = parts\n\n # Validate and parse the date/time part\n try:\n dt_str, tz_str = rest.rsplit(\" \", 1)\n except ValueError:\n return None\n\n if tz_str != \"GMT\":\n return None\n\n # Parse the date/time string: \"21 Oct 2015 07:28:00\"\n try:\n dt = datetime.strptime(dt_str, \"%d %b %Y %H:%M:%S\")\n except ValueError:\n return None\n\n # Make the datetime UTC-aware (GMT)\n dt = dt.replace(tzinfo=timezone.utc)\n\n # Validate the weekday string matches the actual day of the week\n expected_weekday = dt.strftime(\"%a\") # e.g., \"Wed\"\n if weekday_str != expected_weekday:\n return None\n\n # Calculate seconds until the date, rounded up to nearest integer\n delta = dt - now\n total_seconds = delta.total_seconds()\n\n # Return max(0, ceil(total_seconds))\n return max(0, math.ceil(total_seconds))\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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97/87bae08bd1b74513ac600246fe6b906b.request.json", "requestSha256": "2ab89245d69baff4221784fb88669f41a3f03cb50e1534e7c90088add2a3d96c", "responseSha256": "b515054dc5c0b03b931023d62015cfb4f82c25d7629868b5d45647237ee196d4", "httpStatus": 200, "requestedModel": "local/lmstudio/verdict/verdict-4-35b-toolterse-v5-mlx", "resolvedModel": "local/lmstudio/verdict/verdict-4-35b-toolterse-v5-mlx", "backendModel": "verdict-4-35b-toolterse-v5-mlx", "resolutionSource": "transport_cache_exact", "generationControls": { "max_tokens": 8192, "temperature": 0.0, "reasoning_choice": { "mode": "default" }, "auto_failover": false, "stream": true }, "inputTokens": 886, "outputTokens": 438, "totalTokens": 1324, "costUsd": 0.0, "energyWh": 0.257444, "finishReasons": [ "stop" ], "additiveReasoningTokens": null, "nestedReasoningTokens": null } ], "gatewayBefore": { "status": "healthy", "service": "local_gateway", "mode": "full", "port": 6120, "timestamp": "2026-10-16T12:34:47.969374+00:00", "uptime_seconds": 97.28041005134583, "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:34:55.281328+00:00", "uptime_seconds": 104.59235787391663, "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/20261016T123447Z_aider_local_lmstudio_verdict_verdict-4-35b-toolterse-v5-mlx_248d97", "rawResultSha256": "3fc94e0e8997e31652837af23d0d280e2d1fcfddba7a9b4a4f5a626eb86fc20c", "rawEvidenceHashes": { "health_before.json": "16d250d0d7ca577392568ab9d14a2c24c307331a592c9f5a52c13bc592d9df05", "stdout.txt": "ab60e68ee52edbb279debddd92ed391d1499aed4a81e1cc2f95b1f59ce504717", "policy.json": "79464c36a3d2f7094195db502cd93bdd8f67ba27004c9c9e234b314828ed23d2", "health_after.json": "65e57e541f3b539f287e0d81c5767f29fae27b8b32596104a53fb18e0e5ce1e9", "model_preflight.json": "434eadae2115b9fcf652ac2c7d107d810ee095abe7bdb2f875291d2896bb30e9", "sandbox_preflight.json": "8415d156075475eba2b82a04636f833e85484020de5e6424f6140cd0ac61390f", "budget_ledger_at_terminal.json": "bc15f099459ce82e6c3907a74f79040e425eb0cd4135a17908ae7149730fd2c2", "prompt.txt": "6c229fd3a8dda211432b4ff70838fa0cb73b325bc778da52ab0cdd280619a5fe", "oracle.stdout.txt": "3e7b0982f217a41f229865a072cdee2a778735cbabe56238a3f0d4e91cab0746", "sandbox.sb": "44dab3c0ef7a0c27ae4c7849e0982651ead0aa32aab4e177539ea4e21c2f7a1a", "stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "launch.json": "feeec23462e91822d66c4f8ed261a18af54fcdeec7111659da246f8af5ab6402", "invocation.json": "ab3f8f96d0ba49775c32cf50b8a31d2dfdd74e06f8421b468b136794c381092f", "oracle.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "freeze.json": "ac015974e30ca43de1b09d6d209f84a43db238b0b3982e090999be2cad7566b8", "product_source.json": "b6b95b45eebefbd7db18563205601d0d4961facd45218316ceb3b1dec895cbb0", "post-terminal-settlement.json": "714dd84999150c30f32671e88c6344e857a1a032b033f450c1e2a41296a83fb9", "workspace/aider_model_metadata.json": "dc8e516259b5d0d8ce8e70522e8c7da794cc9c7dd9cb7ca55e8f945cc2984fa4", "workspace/solution.py": "6bc67430fedf7b5e073d9ae29c817f13f01b5d9245d40e9e618c7a29a2633352", "workspace/chat_history.md": "76020964fdf9516762aedb8d27c60107b4fb54eced199d163f99ecd2d762260f", "workspace/aider_settings.yml": "89be47640c5cdac8652f33289cb386dc8cfa289c98c480465c3311297b85ea8b", "terminal_evidence/87bae08bd1b74513ac600246fe6b906b.http.json": "7b7d2ba7da38df349730b844f5a7ee404601546b1255c0860ee52f313dde4f73", "terminal_evidence/87bae08bd1b74513ac600246fe6b906b.timing.json": "7d76ba395421b251f2dea572f56e2ccb36350223d6fa61d9b3a8515882591e97", "terminal_evidence/budget_ledger.json": "bc15f099459ce82e6c3907a74f79040e425eb0cd4135a17908ae7149730fd2c2", "terminal_evidence/87bae08bd1b74513ac600246fe6b906b.request.json": "2ab89245d69baff4221784fb88669f41a3f03cb50e1534e7c90088add2a3d96c", "terminal_evidence/87bae08bd1b74513ac600246fe6b906b.response.txt": "b515054dc5c0b03b931023d62015cfb4f82c25d7629868b5d45647237ee196d4", "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 } } }