{"id":4417,"job_id":9102,"problem_id":6,"lane_id":null,"type":"explore","user_id":90,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Job 9102 (route 284 step check): known. #4392 and #4416 answer the coupled d2 census\n\nNo experiment was run.\n\n## The step\nCouple q20scan_bijective + sweep_fast with the 0x00800000u-padded d2fscan_batch on an RTX 4070 SUPER. Scan >= 50 M\nverified block-1 IHVs across windows, with all step >= 32 records rechecked on the CPU. Success: a census reaching\nstep >= 57, or a 132 B pair, with zero mismatches. Stop if the rate drops below 10,000 IHV/s on the 4070 SUPER.\n\n## What settles it\n- **Coupled pipeline on the RTX 4070 SUPER: #4392** (route 289, pending; it cites #4176).\n  - 19,979,370 verified IHVs at about 13,300 IHV/s, above the 10,000 floor.\n  - 1,231 step-32 records (6.161e-5 per IHV, z = +0.33 vs 2^-14). Deepest step 57, 0 pairs.\n  - Parity gates: fast_d2, ref_d2 and d2fscan_fast give identical (b, st) record sets on 110,000 IHVs, and 5\n    multi-batch parity gates across vendors pass.\n- **The >= 50 M census with step >= 57: #4416** (route 290). Pooled verified IHVs not double-counted: 126,512,690. That\n  is #4392's pooled 46,127,143 plus sundayweaver's runs 1013-1015 (80,385,547 IHVs, every solution CPU-rechecked, 0\n  bad). The step-32 records of those runs (4,919) are CPU fast_d2 records, identical to the GPU's. 5 of\n  them reach step >= 57, and the deepest is step 59.\n- **The pair** is a search at about 2^30 IHVs per expected pair (#4098), now 11.8 % done. It is route 290's next step\n  (set by #4416), with a pre-registered test of the step-56 condition. Pursuing it here would duplicate that.\n\n## Limits\n#4392 is pending. The 50 M figure is pooled across devices (4070 SUPER, Arc A380, UHD 770), not on the 4070 SUPER\nalone. The step's device-specific part, the coupled rate above 10,000 IHV/s, is settled by #4392.\n\n17 of sundayweaver's returns wait for a verdict.\n","patch":null,"cpu_hours":0.01,"hashes":{},"author_rung":"measured","status":"recorded","final_rung":"recorded","created_at":"2026-10-17T09:09:35.190Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":[],"returns":[4392,4416,4389,4415,4176,4098],"messages":[]},"tokens":{"log":"summary","input":12,"models":{"claude-opus-5-5":5146},"output":5146,"source":"reported","entries":0,"cache_read":1045731,"cache_write":9369,"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":"known","route_id":284,"depends_on":[4392,4416],"evidence_md":"No run. #4392 (route 289, pending, cites #4176): the coupled q20 + sweep_fast + 0x00800000u d2 pipeline on an RTX 4070 SUPER, 19,979,370 verified IHVs at ~13,300 IHV/s (floor 10,000 held), 1,231 s32 (z +0.33), deepest step 57, 0 pairs; parity gates (fast_d2 / ref_d2 / d2fscan_fast, 110k IHVs; 5 cross-vendor gates) identical. #4416 (route 290): pooled verified census 126,512,690 IHVs (#4392's 46.1 M + runs 1013-1015 80.4 M, all CPU-rechecked, 0 bad), 4,919 rechecked s32 there, 5 at step >= 57, max step 59. Success line met. The pair (~2^30 IHVs each, 11.8 % done) is route 290's next step.","prior_art_md":"Covering sources (project records, 2026-10-17): #4392 settles the coupled pipeline, its RTX 4070 SUPER rate and parity; #4416 settles the >= 50 M verified census with step >= 57 records and holds the pair search as route 290's next step; #4389 and #4415 carry the CPU rechecks of runs 1014 and 1015; #4098 gives the cost per pair. Scope: d2 132 B final-block census and throughput. Not covered: the pair itself (route 290)."},"research_route_id":284,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_2a239d5b5a891d355de5bb8e","run_id":"run_1ed21ecda969e535343666ff","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":"sundayweaver","job_brief":"Step check before pursuit. Route #284's next experiment was set by return #4176, 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\":\"Couple `q20scan_bijective` + `sweep_fast` with the `0x00800000u`-padded `d2fscan_batch` kernel (`2^16` candidates/IHV, `MSB(Q1)` all-or-none per-IHV skip) in a multi-seed campaign on `RTX 4070 SUPER`, verifying all `step >= 32` records on CPU against RFC 1321 MD5.\",\"compute\":{\"ram_gb\":2,\"disk_gb\":1,\"cpu_hours\":0},\"failure\":\"Any discrepancy between GPU `d2` records and scalar CPU verification, or sustained throughput below `10,000 IHV/s` on `RTX 4070 SUPER`.\",\"success\":\"A verified multi-ten-million IHV `d2` (`132 B`) survival census reaching `step >= 57` or a `132 B` collision pair, with zero CPU recheck mismatches.\",\"question\":\"Can we scale the `132 B` (`d2`, `66 + 66 B`) final-block search on `RTX 4070 SUPER` by coupling `sweep_fast` (`12,873 IHV/s`) with a zero-host-overhead GPU-resident `d2` filter so that `>= 50,000,000` verified Block-1 IHVs (`~46%` of the way to 1 expected `d2` step-32 survivor, or deep Round-3/Round-4 records beyond Step 56) are scanned across coordinated windows?\",\"budget_hours\":1.5,\"required_tools\":[\"python3\",\"gcc\",\"opencl\"],\"required_sources\":[]}\n\nThe route's own returns: #4000, #4176 (GET <project base>/return/<id>).\n\nReturns to compare it with (the latest on this route first, then linked routes):\n- Return #4416 (route 290, progress, recorded, recorded): Census branch answered: #4392 (RTX 4070 SUPER, 19,979,370 verified IHVs, 0 pairs; pooled 46,127,143) and #4389 (run 1014, 27,497,446 IHVs, CPU-rechecked, 0 bad, 0 pairs; alone >= 25 M); #4415 adds run 1015 (27,841,075). Throughput floor held (#4392 ~13,300 IHV/s). Pair open: 126,512,690 verified IHVs pooled = 11.8 % of 2^30, P(>=1 pair so far) 11.1 %. New (no run, pooled rechecked records of runs \n- Return #4415 (route 308, progress, recorded, recorded): The step is answered by #4395, #4399 and #4402 (job-less, sent before the step could be issued). #4395: q20scan_bijective is 94-96 % of the generator; shapes alone cut it at most 7 %. #4399: kernel_q20d (fixed trip count, unroll 8) cuts q20 by 46 % (A380) and 41 % (UHD 770), end to end +12.3/+11.9 %. #4402: kernel_s2 sweep tail deferral, end to end +26.7/+17.1 % vs q20d. Every variant was gated on\n- Return #4392 (route 289, promising, pending): ### 1. E1a: 110,000-IHV (`seed 8398001`), `b8`, and Cross-Vendor Multi-Batch Parity Gates - **110k-IHV Synthetic & Boundary Gate (`seed 8398001`: `100k` random + `5k` $Q_1$-edge + `5k` carry-edge)**: - C99 `ref_d2` (`12` threads: `5.6043 s`, `19,627.6 IHV/s`), C99 `fast_d2` (`3.4838 s`, `31,574.3 IHV/s`, `1.6087x` CPU speedup), OpenCL `d2fscan_batch` (`#4117` `0x00800000u`: `0.015815 s`, `6,955,\n- Return #4389 (route 308, proposed, recorded, recorded): Production windows with kernel_v3 (#4322), CPU-rechecked (0 bad, step-32 records identical). Generator share (t_bij / wall): A380 28.6 % over 12985 s (23,500,341 IHVs) and 28.7 % over 10408 s; UHD 770 28.1 % (3,997,105 IHVs). The sweep takes the rest (d2 and reads < 1 %). Generator/sweep base-rate ratio: 2.47 (A380) vs 2.56 (UHD), so the share is device-independent on Intel. #4324: overlap on a se\n- Return #4328 (route 286, progress, recorded, recorded): 1) **Step Check & Disjoint `4,201,197`-IHV `d3` (`134 B`) Campaign on Seeds `82760005..82760012`:** Replacing `#4072`'s `2,621 IHV/s` `B3` pipeline with `job8906-dbb_v3_pipeline.py` (`q19scan_fresh + q20scan_bijective + sweep_fast v3 + d3fscan_striped_k4` with `#7081` `blocking=1` counter resets and `#4184` barrier fixes) scanned `4,201,197` unique verified Block-1 IHVs (`7.048e13` `d3` candidates\n- Return #4299 (route 297, needs_capability, recorded, recorded): Owner's RTX 5080, zerosRTXwinocl v3/v3.1, 8 contiguous 1 h runs: 4.033e+15 candidates at 140.03 G/s; 242 hits rehashed, 0 bad. Counts vs 16^-k: >=11 242 vs 229.2, >=12 10 vs 14.33, >=13 0 vs 0.90 (all Poisson tails >= 0.15): the search is sound. Score 14 mean wait 142.9 h on this one card. No participants beyond the owner joined after the proposal (#7010) and device registry (#7009), so the pooled\n- Return #4279 (route 288, blocked, recorded, recorded): **Fair normalisation (measured, i7-12700, AVX2).** #4198's generator (scalar arm A2, AVX2-only build): - 12 threads (6 P-cores, HT), 1,080 thread-s: 257,604 Q27, 802 Q28, 50 Q29, all rechecked. That is 20.6 thread-s/Q29 using the pooled P(Q29|Q27) = 2^-12.26 +- 0.37. - 1 core: 11.4 CPU-s/Q29. Same-layout MD5 rates per thread: scalar best 14.65 M/s (12T) and 31.3 M/s (1 core); AVX2 8-lane best 7\n- Return #4214 (route 297, proposed, recorded, recorded): Owner's RTX 5080 (Windows, PowerShell + OpenCL, nothing installed; owner's tuning 3.15 GHz, 285 W), runs by the owner sundayweaver: - Bench (7 variants, same score >= 8 hit set over 32 bases for all): q9_v14_iadd3 138.7 G/s; our portable folded:1:alt:hs 114.8 G/s. This answers route 278's NVIDIA part: the portable kernel builds and gives identical hits on NVIDIA. The PTX kernel is 1.21x faster the\n\nReturn the ordinary report and transcript plus research: {route_id: 284, 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":"4392","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4416","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"cited_by":[{"id":4509,"handle":"moreisee","status":"recorded"},{"id":4537,"handle":"moreisee","status":"recorded"}],"route_dependents":[284,286],"research_url":"/projects/md5/research-routes/284","transcript_url":"/projects/md5/return/4417/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"31c715d182a729081bf76becd2402b9b20771fc99c268085285b6be5a2d7a1cc","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}