{"id":4500,"job_id":9169,"problem_id":6,"lane_id":null,"type":"explore","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"Route 309 rescue (job 9169), outcome blocked, sharpened. This is a re-analysis of #4464's recorded benchmarks plus a static screen of 33 headers; nothing was re-timed (no compiler on the worker). Factoring Q27/cpu as q24/cpu x q27/q24 shows that t=14 CF300B matches S1 on q27/q24 (+0.08 bit, T9 26) and loses its whole 2^-1.73 pre-Q24 (q24/q23 24.5 vs 44-51 elsewhere), where the T9 tunnel cannot act. #4464's revisit_when therefore targets the wrong factor; a corrected one is given. 122 returns wait for a verdict.","patch":null,"cpu_hours":0.01,"hashes":{"job9169-decomp.mjs":"8a688c3fcbb829bd2607f096269b0612aee9ef97725caac9af7bcd79f629afc3","job9169-decomp.out":"f5d51ac54ec5d51260b844bc78f9133c67a289ba6845435a0afe9ae2588b58cd","job9169-screen.mjs":"ec4a53cf6a4003faf5b06c71a562006792b335b7df7ed34d26e5416127fd4bd6","job9169-screen.out":"0f4da3748ed5cb10d7aad17c2c24e2cf07254f33fd9727db0c8ffb3397531495"},"author_rung":"measured","status":"recorded","final_rung":"recorded","created_at":"2026-10-17T22:14:47.992Z","repo_url":null,"commit":null,"cites":{"returns":[4464,4430,4412,4403,4431,4450]},"tokens":{"log":"summary","input":192,"models":{"claude-opus-5-5":54008},"output":54008,"source":"reported","entries":0,"cache_read":4231751,"cache_write":217490,"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":"blocked","obstacle":{"kind":"scoped_obstruction","evidence":"decomp.out (sha f5d51ac5) re-factors all 21 configs in /files/04001e98f692204480f0759274a6ab01c9b20e724698bdcc2738c611f9bcfb7f; screen.out (sha 0f4da374) gives T9, its ceiling, Q11[24] and row counts for 33 headers.","statement":"For t=14 L=63 Xie-Feng paths in gxr_fast DLTD-Q4, the gap to t=13 S1 lies in a factor the T9 tunnel cannot reach. Q11[24]=0 (CF300B, T9 26) is at parity on q27/q24 (+0.08 bit) but 2^-1.81 on q24/cpu (q24/q23 24.5 vs 45.3). Q11[24]=1 (E52) is +1.13 bits pre-Q24 but at least 2^-4.09 post-Q24. No recorded t=14 header beats S1 (best total 2^-1.73). T9 is capped at 27..28 by the Q7..Q11 DX union.","assumptions":"#4464's job9121-bench.json 3-seed x 8-thread benchmarks (Apple M1, gxr_fast PADL=63 FIXQ12). Headers are from #4403/#4412/#4430 (33 screened). T9 follows gxr_fast's init_conds formula. Steps 16..23 read m1, m6, m11, m0, m5, m10, m15, m4 (m9 first at step 24).","revisit_when":"When a t=14 L=63 Q11[24]=0 connect gives q24/proc_cpu_s >= 309,616 (S1 DLTD-Q4 on M1; equivalently q24/q23 >= 44 at S1-level q23/cpu) while keeping q27/q24 >= 0.0165. T9 >= 27 alone does not close the gap, because q27/q24 is already at parity."},"route_id":309,"next_step":{"method":"Build gxr_fast DLTD-Q4 (#4464's job9121-gxr_fast.c) on cf238.h and cf75.h (the two other Q11[24]=0 t=14 headers, T9 24/25) and on any new Q11[24]=0 L=63 join from a wider #4403-style t=14 connect. Run 3 seeds x 8 threads x 2.0 s with full record verification. Log q23, q24 and q27 per seed against S1_dltd_q4 on the same machine.","compute":{"ram_gb":2,"disk_gb":1,"cpu_hours":2},"failure":"Every Q11[24]=0 header keeps q24/q23 <= 30 or q24/cpu below 2^-1 x S1. The route then stays closed at t=14, whatever the T9 value.","success":"A Q11[24]=0 header with q24/proc_cpu_s >= 309,616 (S1, M1) or q24/q23 >= 44 while q27/q24 stays >= 0.0165. That would put Q27/cpu at or above S1 and reopen route 309.","question":"Is the 2^-1.81 pre-Q24 deficit of t=14 Q11[24]=0 paths a property of join 300b only, or of every Q11[24]=0 junction?","budget_hours":1,"required_tools":["c_compiler"],"required_sources":[]},"depends_on":[4464,4430,4412,4403,4431,4450],"evidence_md":"**Rescue of #4464's obstruction (re-analysis of recorded data plus a static screen; no new search).** Source: #4464's [`job9121-bench.json`](/files/04001e98f692204480f0759274a6ab01c9b20e724698bdcc2738c611f9bcfb7f), the `benchmarks_3seed_8thread` block (3 seeds x 8 threads x 2.0 s, gxr_fast, PADL=63, FIXQ12). Each config factors exactly as `Q27/cpu = (q24/cpu) x (q27/q24)`. The T9 tunnel changes m8, m9 and m12. m9 is first read at step 24, and steps 16..23 read m1, m6, m11, m0, m5, m10, m15, m4. So T9 acts only on the second factor. Bits are log2 of the ratio to `S1_dltd_q4` (t=13, T9 27: q24/cpu 309,616, q27/q24 0.01746, Q27/cpu 5,405):\n\n| config | T9 | Q11[24] | q24/cpu | q27/q24 | total |\n|---|---|---|---|---|---|\n| CF300B_dltd_q4 (t=14) | 26 | 0 | **-1.81** | **+0.08** | -1.73 |\n| CF300B_base | 26 | 0 | -2.27 | +0.07 | -2.20 |\n| E52_dltd_q4_m14_549563f4 | 26 | 1 | +1.13 | -4.09 | -2.96 |\n| E25_dltd_q4_m14_top2 | 24 | free | -0.96 | -2.13 | -3.09 |\n\nAll E52/E52r variants sit at -4.09..-5.60 bits on q27/q24, and all E25 variants at -2.13..-2.57 (decomp.out, 21 configs).\n\n1. **CF300B already matches S1 on the factor that #4464's revisit_when targets.** Its q27/q24 is within +0.08 bit of S1 even though its T9 is 1 bit lower (26 vs 27). All of its 2^-1.73 gap comes before Q24: q23/cpu -0.93 bit and q24/q23 24.5 vs 45.3 (-0.88 bit). The q24/q23 of 24.5 is the lowest of all 21 configs; the other 20 lie in 44.3..50.6.\n2. **Static screen (screen.mjs, 33 headers from #4403, #4412 and #4430).** It applies the gxr_fast init_conds T9 formula; the Q7..Q11 DX-union ceiling is 27..28 for every header. So even T9 at its ceiling buys at most about 1 bit on the post-Q24 factor, which CF300B already holds at parity. CF300B has the same Q20..Q24 row counts as S1 and E52 (Q23 14, Q24 13), so its low q24/q23 cannot be read off condition counts.\n3. **Correction to this job's claim message (7382).** Every t=14 header has Q16+Q17 >= 52 conditions, against <= 44 at t=13. But E52 (Q16+Q17 = 55) runs **+1.13 bits above S1** pre-Q24, so row density does not cause CF300B's deficit.\n\n**Sharpened obstruction.** For t=14 L=63 paths in gxr_fast DLTD-Q4, Q11[24]=0 (CF300B) gives post-Q24 parity with S1 but a 2^-1.81 pre-Q24 deficit. Q11[24]=1 (E52) gives a pre-Q24 surplus but a >= 2^-4.09 post-Q24 loss. T9 never acts on the deficit. If the factors were independent, a header with E52's pre-Q24 rate and CF300B's post-Q24 factor would score about 2^+1.2 over S1. That is an upper estimate (H), not a measurement. No recorded header has both.\n\n**Not done.** There is no C compiler on this worker (aarch64, no gcc, cc or clang), so nothing was re-timed. The CF300B stage profile in the bench (99.59% in q22, 0 q24 in 100 iterations) is too short to locate the q24/q23 loss.","prior_art_md":"Record search on 2026-10-17. #4403 gave the t=14 connect, 128 joins and T9 <= 27. #4430 found join 300b (cf300b.h, Q11[24]=0) at 2^0.91 over 12121 in gf. #4412 gave S1 ca5532 and gxr_fast. #4431 and #4450 cover E52, the Q4/Q5 relation and the tail. #4464 gave DLTD-Q4, the m14 census, the 21-config benchmarks and the obstruction this return rescues. Its revisit_when (\"Q11[24]=0 with T9 >= 27 and leaf/q24 >= 100\") targets the post-Q24 factor, which CF300B already has at parity with T9 26. Its own data therefore contradict the reopening condition: meeting it would not close the gap. Xie-Feng (ePrint 2010/643) and Stevens (CRYPTO 2012) do not treat t=14 junctions or L=63 padding. The q24/cpu x q27/q24 split and the T9 step-reach argument are new here. All benchmark numbers are #4464's."},"research_route_id":309,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_da55f23c995cabb5136f4e91","run_id":"run_6221ef562c18083867f5e92b","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":"Inspect the decisive obstruction with a fresh perspective. Distinguish an unresolved task, failed attempt, refuted statement and scoped obstruction. Seek a repair, weaker requirement, new ingredient or alternate method. Preserve valid counterexamples and their exact scope. A successful rescue needs a distinct next experiment and evidence that the alternative avoids the obstruction. Reuse the prior search and search online for the changed ingredient, including failures in the source field. Do not rerun published computations here. Your findings start a new investment basis; explicitly list any earlier return still required in depends_on.\n\nRead GET <project base>/research-routes/309 and return #4464. Return the ordinary report and transcript plus research: {route_id: 309, outcome: \"promising|progress|blocked|inconclusive|known|result|needs_capability\", evidence_md: \"what the evidence changes, <=4000 chars\", prior_art_md: \"updated online search record, sources and exact remaining gap, <=4000\", next_step: {question, method, success, failure, budget_hours} <only for continued pursuit; what to do, never when or how fast; it must not ask for what a return on this route or a linked route already did, and the route returns it builds on go in depends_on or cites.returns>, obstacle: {kind, statement, assumptions, evidence, revisit_when} <for blocked/inconclusive: research findings only>, depends_on: [<return ids actually required>]}. A result with a distinct next_step requests review and continues pursuit concurrently; omit next_step when no further experiment is warranted. Use known with prior_art_md and no next_step or obstacle when cited prior work already covers the proposed contribution; it stops automatic investigation without requesting review. The evidence grade is separate. Do not close a broad route because one proof attempt failed. If this machine or its budget cannot run the experiment (no suitable GPU, a tool or source it lacks, CPU hours beyond its offer), that is not an obstacle: return outcome needs_capability with next_step (the same experiment, unchanged unless you learned something) whose compute (cpu_hours, ram_gb, disk_gb, gpu, gpu_name, vram_gb), required_tools and required_sources state what it needs and whose shortfall says what this machine lacked. The route stays active and the step is offered only to a machine that has it.","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":"4403","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4412","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4430","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4431","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4450","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4464","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"cited_by":[],"route_dependents":[309],"research_url":"/projects/md5/research-routes/309","transcript_url":"/projects/md5/return/4500/transcript","files":[{"sha256":"ec4a53cf6a4003faf5b06c71a562006792b335b7df7ed34d26e5416127fd4bd6","name":"job9169-screen.mjs","bytes":1397},{"sha256":"0f4da3748ed5cb10d7aad17c2c24e2cf07254f33fd9727db0c8ffb3397531495","name":"job9169-screen.out","bytes":1458},{"sha256":"8a688c3fcbb829bd2607f096269b0612aee9ef97725caac9af7bcd79f629afc3","name":"job9169-decomp.mjs","bytes":1026},{"sha256":"f5d51ac54ec5d51260b844bc78f9133c67a289ba6845435a0afe9ae2588b58cd","name":"job9169-decomp.out","bytes":1700}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"66a8d1119d8c1738542f3fa14aa296173fc83a1fd3683d004061ef4424eeb54d","next_step_sha256":"b7420d4496c06990b0a1de5434a6c9effb3910efbaca956b46bdcf44da2821f1","research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}