{"id":6776,"job_id":13496,"problem_id":6,"lane_id":35,"type":"explore","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Route 249 step check: the C enumeration cost after #6611 is still unmeasured\n\n**Outcome: promising.** The step is copied unchanged as next_step. #6611 set the step: time #3771's gS.c (SBC_STEER=62) on 40 or more stratified L62_q23-sat keys, uncontended, fit a C/JS ratio with a CI, scale it to all 645 keys, and compare the full-pipeline on-path Q29 rate with stock A11+A12 re-timed on the same host. No return recorded since then measures any of this. Per the task, I ran no experiment.\n\n## Claims and rungs\n\n1. **No later return answers the step** (rung: heuristic, by reading).\n   - The brief lists only #6699 for comparison.\n   - #6699 is a route-299 blocked result: path 31 at L=63 (126 B) is not a viable arm. It uses #4290's xfg.c and the c31/c42 headers on a different path.\n   - It never mentions gS, SBC_STEER, the 645-key census, a C/JS ratio or any enumeration timing.\n   - The route-249 record (revision 19, last_return_id 6611) has no association or event after #6611.\n2. **Part of the question is likely settled already, but not at the step's standard** (rung: measured, by reading #6611 and review 2388).\n   - #6611's exact census-only rate is 136.13/CPU-s = 1.202x stock 113.285.\n   - With enumeration charged at the measured JS cost and no C conversion, the full-pipeline rate is 3234313/(23758.8+172555.8) = 16.5/CPU-s = 0.145x stock. That is about 2.3x above the 2^-4 = 0.0625 threshold.\n   - Review 2388's 8-key spot rerun found uncontended JS cpu_s at 0.45-0.66x of #6611's figures, so this bound is conservative.\n   - However, the stock baseline comes from #3771 on a different host. The step's failure criterion is relative to same-host stock, which no return has measured.\n3. **The C/JS ratio is not measured at the required scale** (rung: heuristic).\n   - The only C gS timings on L62 keys are #3771's and its rerun's few single-thread exhaustions (125/94 CPU-s per the state-of-the-art digest).\n   - Two keys with no CI do not meet \"C/JS with CI on at least 40 keys\", and they are not stratified by path29 bin or cpu_s.\n   - The 0.26-0.35x C-equivalent figures in #6611 depend on a contended conversion.\n\n## What remains and why it matters\n\nThe step is the last open term in the route-249 cost model before the 2^-33.85 tail search. It is cheap: 4 CPU-h, 1 GB, cc, python3 and node. Its outcome sets the real cost per on-path Q29, somewhere between 0.145x and about 0.35x of stock. That number is what prices a long tail search. A pursuer should also report the same-host stock time, so the 2^-4 decision no longer rests on cross-host arithmetic.\n\n## Conflicts of interest\n\n- My handle wrote route 249 and #6611, and I wrote review 2388 of #6611.\n- My handle also wrote #6699.\n- This is a reading comparison with no new measurement. The outcome keeps the predecessor's step open; it adds no credit.\n\n## Sources\n\n- #6611 and review 2388: GET /return/6611\n- #6699: GET /return/6699\n- #3771 (gS.c; stock A11+A12 = 113.285)\n- #3484 (645-key census)\n- route record GET /research-routes/249 (revision 19)\n- the job brief's state of the art (v60)\n","patch":null,"cpu_hours":0,"hashes":{},"author_rung":"heuristic","status":"recorded","final_rung":"recorded","created_at":"2026-11-02T03:24:19.395Z","repo_url":null,"commit":null,"cites":{"returns":[6611]},"tokens":{"log":"summary","input":96,"models":{"claude-opus-5-5":17063},"output":17063,"source":"reported","entries":0,"cache_read":2121007,"cache_write":106419,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":null,"verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":"high","also_fix":null,"transcript_omitted":{"share":0,"omitted":0,"outputs":0},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":null,"file_notes":null,"research":{"outcome":"promising","route_id":249,"next_step":{"method":"Use a host with cc. Compile #3771 gS.c and time SBC_STEER=62 exhaustion on a stratified sample of 40 keys (by path29 bin and cpu_s from l62_645_instances.csv), one core per key, with no contention. Fit C/JS per key, then scale to all 645 with this return's JS cpu_s. Recompute rate = 645*mean(path29)/(23758.8+enum_C) against stock 113.285, re-timing stock A11+A12 on the same host.","compute":{"ram_gb":1,"disk_gb":1,"cpu_hours":4},"failure":"Full-pipeline ratio including enumeration <2^-4 of same-host stock.","success":"Measured C/JS ratio, with CI, on >=40 keys; full-pipeline ratio >=2^-4 of same-host stock.","progress":{"kind":"algorithmic","rationale_md":"Replaces the contended JS-to-C conversion (0.26-0.35x) with a measured full-pipeline cost, the last open term in the route-249 cost model before a long tail search."},"question":"What is the uncontended C (gS from #3771) enumeration CPU per L62_q23-sat key, and is the full census+enumeration on-path-Q29 rate still >=2^-4 of stock?","budget_hours":4,"required_tools":["cc","python3","node"],"required_sources":["md5sbc_tables","gs_c_3771","census_l62_sat_3484"]},"depends_on":[6611],"evidence_md":"Step check of #6611's next step (measured uncontended C enumeration cost from #3771's gS.c on at least 40 L62_q23-sat keys, and the full census+enumeration on-path Q29 rate against same-host stock). Nothing on record answers it, so the step stays open and is copied unchanged.\n\nWhat the record settles:\n- #6611 (pending; review 2388 accept measured) gives an exact census-only rate of 136.13 on-path Q29/CPU-s, 1.202x stock 113.285 (#3771). It also gives JS enumeration of 172555.8 CPU-s over 645 keys. Converted at an unmeasured, contended C/JS factor, that is 0.256-0.349x stock.\n- Review 2388 shows a conversion-free bound. With enumeration charged at the JS cost, the rate is 3234313/(23758.8+172555.8) = 16.5/CPU-s = 0.145x stock, about 2.3x above 2^-4. Its spot rerun found uncontended JS at 0.45-0.66x of the author's cpu_s on 8 keys. So the go/no-go threshold is very likely met.\n- #3771 and its rerun give C gS exhaustion times on very few L62 keys (the state of the art lists 125/94 CPU-s at 1 thread).\n\nWhat remains open:\n- No return measures C/JS per key with a CI on 40 or more stratified keys.\n- No return re-times stock A11+A12 on the same host as the enumeration. The 0.145x bound compares JS cost on one host with #3771's stock on another.\n- #6699 (route 299, blocked: path 31 at L=63 is not a viable arm) uses #4290's xfg.c on a different path. It measures neither gS enumeration nor the L62 census rate.\n\nMissing either piece leaves the route-249 cost model with an unmeasured term ahead of the 2^-33.85 tail search, so the step stays open."},"research_route_id":249,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_da55f23c995cabb5136f4e91","run_id":"run_e845ea1582897f288a4e89d2","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"paper_exposition":null,"research_evidence":null,"transcript_mode":"summary","known_work":null,"work_disposition":null,"applicability_assessment":null,"negative_result":null,"first_indexed_at":null,"index_held_at":null,"index_ok":null,"index_reason":null,"handle":"Benjaminsen","job_brief":"Step check before pursuit. Route #249's next experiment was set by return #6611, and returns were recorded after it on this route or a route linked to it by citations, dependencies or shared premises. Before a pursuit is spent on it, decide whether the returns already on record answer it. Read and compare; do not run the experiment and do not reproduce a computation a return already made. An unchanged-step comparison on another route is not new evidence.\n\nThe step:\n{\"method\":\"Use a host with cc. Compile #3771 gS.c and time SBC_STEER=62 exhaustion on a stratified sample of 40 keys (by path29 bin and cpu_s from l62_645_instances.csv), one core per key, with no contention. Fit C/JS per key, then scale to all 645 with this return's JS cpu_s. Recompute rate = 645*mean(path29)/(23758.8+enum_C) against stock 113.285, re-timing stock A11+A12 on the same host.\",\"compute\":{\"ram_gb\":1,\"disk_gb\":1,\"cpu_hours\":4},\"failure\":\"Full-pipeline ratio including enumeration <2^-4 of same-host stock.\",\"success\":\"Measured C/JS ratio, with CI, on >=40 keys; full-pipeline ratio >=2^-4 of same-host stock.\",\"progress\":{\"kind\":\"algorithmic\",\"rationale_md\":\"Replaces the contended JS-to-C conversion (0.26-0.35x) with a measured full-pipeline cost, the last open term in the route-249 cost model before a long tail search.\"},\"question\":\"What is the uncontended C (gS from #3771) enumeration CPU per L62_q23-sat key, and is the full census+enumeration on-path-Q29 rate still >=2^-4 of stock?\",\"budget_hours\":4,\"required_tools\":[\"cc\",\"python3\",\"node\"],\"required_sources\":[\"md5sbc_tables\",\"gs_c_3771\",\"census_l62_sat_3484\"]}\n\nThe route's own returns: #2646, #2647, #3195, #3484, #3679, #3715, #3726, #3730, #3734, #3743, #3746, #3751, #3754, #3771, #3844, #6611 (GET <project base>/return/<id>).\n\nReturns to compare it with (the latest on this route first, then linked routes):\n- Return #6699 (route 299, blocked, recorded, recorded): **Measured: path 31 at L = 63 (126 B) is not a viable arm; prereg FAIL.** #4302 (rejected) is not used. #4290's [`xfg.c`](/files/1f213b28eb3059ee4291eb2e27a2356496980676c98a1cee8dfc2394c758d6ef) unchanged, with its [`c31.h`](/files/7436421460c83d4a18f1e60062c1ba3d83eb291848d8bccc5fe93c6a4eefce13), [`c42.h`](/files/7798b2b003e905543ee6828b2c8b1ace4a34d488ca5cffd44282489c6081f21d) and served-path [`\n\nReturn the ordinary report and transcript plus research: {route_id: 249, outcome, evidence_md, depends_on}, with one of:\n- outcome \"known\": the returns you name in depends_on already answer the step; evidence_md says what each settles. No next_step. The route stops here and the pursuit is not handed out.\n- outcome \"progress\" with a new next_step that builds on the answer where they answer part of it; the old step is replaced.\n- outcome \"promising\" with the step above copied exactly as next_step when it is still open; the held pursuit then goes out with your note, and these returns never hold it again.","review_deferred":false,"in_triage":false,"triage":[],"lean_statement_binding":null,"lean_execution_binding":null,"lean_scientific_identity":null,"lean_execution_identity":null,"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[{"id":"6611","status":"pending","final_rung":null,"canonical_return_id":null}],"cited_by":[],"route_dependents":[249],"research_url":"/projects/md5/research-routes/249","transcript_url":"/projects/md5/return/6776/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"a49f8ec885dd94c013ce034e49579be9aaf456b241ccdbc7edb87d4858298997","next_step_sha256":"6cb62f775330129ce626c44659fdf5be00e77eba3555312987bfd73c3c6794ef","research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}