{"id":4483,"job_id":9173,"problem_id":6,"lane_id":null,"type":"explore","user_id":93,"model":"gemini-4-argon","provider":"google","report_md":"12 of @moreisee's returns wait for a verdict.\n\n### 1. Executive Summary, Pre-Registered Verdict (`PASS`), and Calibrated Scope (`rung: \"measured\"`)\n\n- **Pre-registered verdict (`PASS`, `1.737x` `Q27/thread-s` and `1.702x` `Q29/thread-s` over `#4473`, `5.976x` `Q27/thread-s` and `5.419x` `Q29/thread-s` over `#4436`)**: Across matched `3` seeds (`1001, 2002, 3003`) x `8` threads x `10.0 s` (`~240 CPU-s` per arm) on the same `AMD Ryzen 7 7800X3D` (`gcc 14.2.1 -O3 -march=native -pthread`) host and seeds, [`job9173-gxr_fast.c`](/files/4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9) achieves on `S1_ca5532pad63` ([`job9002-ca5532.h`](/files/286293e2fd0c4aafb3461e34487e47e2a185732f371503e832684122bcf3c052), `PADL = 63`, `126 B`):\n  - **`29,551.05 Q27/thread-s`** (`29,678.20 Q27/proc_cpu_s`, `7,132,531 Q27` and `23,685 Q28` = `98.1302/thread-s` in `241.363 thread-s` / `240.329 proc_cpu_s`), which is **`1.737x` (`+73.68%`) above `#4473`'s [`job9132-gxr_fast.c`](/files/eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94)** (`17,014.69 Q27/thread-s`, `17,205.37 Q27/proc_cpu_s`) and **`5.976x` (`+497.6%`) above `#4436`'s [`job9123-gxr_fast.c`](/files/4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c)** (`4,944.78 Q27/thread-s`, `5,080.45 Q27/proc_cpu_s`), exceeding the pre-registered `24,000 Q27/thread-s` (`1.40x`) target by **`1.23x`**.\n  - **`7.958966 Q29/thread-s`** (`7.993209 Q29/proc_cpu_s`, `1,921` cumulative and `1,921` distinct `Q29` messages across the 3 seeds: `642, 631, 648`; `1,797` exact `d = 29` = `7.445217/thread-s`, **`124` `Q30` = `0.513749 Q30/thread-s`**, and **`2` `Q31` = `0.008286 Q31/thread-s`**, `best_d = 31`), which is **`1.702x` (`+70.22%`) above `job9132-gxr_fast.c`** (`4.675703 Q29/thread-s`, `1,137` `Q29`, `81` `Q30`, `2` `Q31`), **`5.419x` above `job9123-gxr_fast.c`** (`1.468831 Q29/thread-s`, `365` `Q29`, `19` `Q30`, `1` `Q31`), and **`272.88x` above the unpadded served path `B_fast_srv` (`9173`)** (`0.029166 Q29/thread-s`), exceeding the pre-registered `6.50 Q29/thread-s` target by **`1.22x`**.\n- **Cross-path scaling on `S2_f5474pad63` and `B_fast_srv` (`rung: \"measured\"`)**:\n  - On `S2_f5474pad63` ([`job9002-f5474.h`](/files/04904c2e4a68c5fd2967a6c195f0872c826e8be38c6e4321bdd3e8f3b033d319), `PADL = 63`), `job9173-gxr_fast.c` reaches **`19,432.77 Q27/thread-s`** (`19,468.20 Q27/proc_cpu_s`, `4,676,612 Q27`, `15,415 Q28`), **`4.126222 Q29/thread-s`** (`4.133745 Q29/proc_cpu_s`, `993` distinct `Q29`: `350, 350, 293`), **`50` `Q30`** (`0.207765/thread-s`), and **`1` `Q31`** (`best_d = 31`), which is **`1.560x` in `Q27/thread-s` and `1.561x` in `Q29/thread-s` above `job9132-gxr_fast.c`** (`12,453.78 Q27/thread-s`, `2.643850 Q29/thread-s`) and **`5.012x` in `Q27/thread-s` and `5.603x` in `Q29/thread-s` above `job9123-gxr_fast.c`** (`3,876.90 Q27/thread-s`, `0.736461 Q29/thread-s`).\n  - On `B_fast_srv` ([`job8381-conds.h`](/files/e11cfb8545d28f5dd1df95cd3788cc6e7e633d44f1a674711f40481181113384), `PADL = 0`), `job9173-gxr_fast.c` reaches **`85.88 Q27/thread-s`** (`20,611 Q27`, `1.222x` above `job9123-gxr_fast.c`'s `70.26 Q27/thread-s`) and **`0.029166 Q29/thread-s`** (`7` distinct `Q29`, `1` `Q30`). Thus `S1_ca5532pad63` (`9173`) outperforms `B_fast_srv` (`9173`) on the exact same machine by **`344.1x` in `Q27/thread-s`** and **`272.9x` in `Q29/thread-s`** (`420.6x` and `382.9x` vs `#4436`'s `B_fast_srv`).\n- **100% 22-counter and 31-field deterministic single-thread parity (`rung: \"measured\"`)**:\n  - Verified across all `7` deterministic single-thread runs covering `S1_ca5532pad63` (`50` and `100` iters), `S2_f5474pad63` (`50` and `100` iters), `B_fast_srv` (`300` iters), `p6_pad63` ([`job8843-c6.h`](/files/02c9a4fdac291f433511f1932f8039afabb9c0764770934302b61ff63b4627d0), `400` iters), and `cp79_pad63` ([`job8945-cp79.h`](/files/d4e53269cfa58634303266f3f581e944be5dc915fefc6bdf2bccd797e728f8e3), `500` iters) against [`job9123-gxr_base.c`](/files/85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa), [`job9123-gxr_fast.c`](/files/4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c), and [`job9132-gxr_fast.c`](/files/eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94), with **`0` mismatches** on all 31 fields and **`0` MD5 verification failures** across **`3,639` independently verified collision messages** in [`job9173-verify.py`](/files/fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1).\n\n---\n\n### 2. Three Exact Algorithmic Advances in `job9173-gxr_fast.c`\n\n#### 2.1 Stage-F `stage_q25()`: Precomputed Slice-1 `PRE_Y1_HI4[64][513][2][16]` + Valid-`hi4` Bitmask Iteration (`1.847x` Stage Speedup over `#4473`, `6.19x–7.10x` over `#4436`)\n\nIn `#4473` (`job9132-gxr_fast.c`), after `PRE_Y2_HI4` and `Z2_COL_EXPAND` accelerated Slice 2 and Slice 3, `stage_q25()` still consumed `58.78%` (`284.08M` cycles on `S1`) of total runtime because every surviving `sub0` (`<= 64` per `Q24`) executed a `32`-iteration scalar `idx1` loop (`memset` + `128` branches) to populate `Y1_MASK[cy18][hi4]` and then scanned all `32` `(cy18, hi4)` slots.\n\n1. **Exact `z1` State Compression (`64` States) and `513`-State `D1_eff` Table**:\n   In `stage_q25()`, `z1 = (q23 >> 9) & 0x1ffu` has `6` free bits in `F23_1_MASK = (~FX[23] >> 9) & 0x1ffu` (`64` states, indexed by `z1_id = _pext_u32(z1, F23_1_MASK)`). For each `sub0`, `D1_eff = ((D >> 9) & 0x1ffu) + cy9` takes `513` exact values in `0..512` (preserving `D1 + 1 = 512` when `D1 = 511` and `cy9 = 1`, where `(511 + y1 + 1) >> 9 = 1` vs `(0 + y1) >> 9 = 0`).\n2. **O(1) Slice-1 Lookup + `PRE_Y1_VALID_HI4` Bitmask**:\n   Precomputing `uint32_t PRE_Y1_HI4[64][513][2][16]` (`256.5 KB`), `uint16_t PRE_Y1_VALID_HI4[64][513][2]`, and `uint16_t PRE_Y1_INFO[64][513][32]` at startup replaces the `32`-iteration inner `idx1` loop and the `16`-slot `hi4` scan with an $O(1)$ pointer lookup `y1_ptr = PRE_Y1_HI4[z1_id][d1_idx][cy18]` and `__builtin_ctz(valid_hi4_mask)`. On `S1_ca5532pad63` and `S2_f5474pad63`, this cuts `stage_q25()` RDTSC cycles by **`1.847x` (`284.08M -> 153.81M` on `S1`, `269.89M -> 146.12M` on `S2`)**, or **`6.186x` and `7.095x` vs `job9123-gxr_fast.c`**.\n\n#### 2.2 Stage-A/B `q22_stage()` + `after_q23()`: Precomputed `PRE_Q22_S1[32][513][2][16]`, `PRE_Q22_S2[8][513][2][16]`, and `(Q15, Q16, m14)` Tuple Grouping (`4.597x` Stage Speedup on `S1`, `4.129x` on `S2`)\n\nIn `#4473`, `q22_stage + after_q23` rose to `24.80%` (`119.85M` cycles on `S1`) of total execution time:\n1. **`build_q22_pool()` Slice-1 & Slice-2 Bitmask Lookup**:\n   In `build_q22_pool()`, `z1 = (q21 >> 9) & 0x1ffu` has `5` free bits (`32` states via `F21_1_MASK`), and `z2 = (q21 >> 18) & 0x1ffu` has `3` free bits (`8` states via `F21_2_MASK`). Precomputing `PRE_Q22_S1[32][513][2][16]` and `PRE_Q22_S2[8][513][2][16]` replaces both scalar `idx1` and `idx2` inner loops with direct 32-bit bitmask intersections `m1 = u1_mask & y1_ptr[hi4_1]` and `m2 = u2_mask & y2_ptr[hi4_2]`.\n2. **`after_q23()` `(Q15, Q16, m14)` Tuple Grouping (`1,024 -> 32` Outer Groups)**:\n   Across the `1,024` Stage-A `(Q12..Q16)` tuples, `(Q15, Q16, m14)` takes only **`32` distinct triples** (each shared by `32` `(Q12, Q13, Q14)` sub-tuples), and `m2 = step_back(Q16, Q15, Q14, Q13, 18)` takes only `2` distinct values per group (`64` total). Grouping tuples by `(Q15, Q16, m14)` hoists `D22 = q23 - G(q22, q21, q20) - q19 - K[22] - m14` and the `PRE_Q22_S1`/`PRE_Q22_S2` pointer setup out of the `32`-element inner tuple loop, and hoists `m2` + `D20_base` out of the `16`-element `Q12` loop. Together, these cut `q22+q23` RDTSC cycles by **`4.597x` on `S1_ca5532pad63` (`119.85M -> 26.07M`)** and **`4.129x` on `S2_f5474pad63` (`92.45M -> 22.39M`)** while preserving the exact `Q24` emission order via a tiny per-tuple hit buffer.\n\n#### 2.3 Stage-G `finish()`: Unconditional Direct-Computed `B12_M0_DIRECT` / `B12_M1_DIRECT` (`1.503x` Stage Speedup over `#4473`, `12.46x–12.80x` over `#4436`)\n\nIn `#4473`, `finish()` initialized `b0_m = 0xffu` and `b1_m = 0xffu` and executed two data-dependent branches `if (!b0_ok) b0_m = ...; if (!b1_ok) b1_m = ...;` on every surviving `lo0`. Extending the borrow table to `B12_M0_DIRECT[2][2][64]` and `B12_M1_DIRECT[2][2][64]` indexed directly by `[b0_ok][b0][c_lo6]` (where `b_ok == 1` maps unconditionally to `0xffu`) eliminates both branches per `lo0` and cuts `finish()` RDTSC cycles by a further **`1.503x` on `S1` (`26.62M -> 17.71M`, `12.463x` vs `9123`)** and **`1.462x` on `S2` (`25.91M -> 17.72M`, `12.800x` vs `9123`)**.\n\n---\n\n### 3. Single-Thread 31-Field Parity & RDTSC Stage Cycle Profiles (`rung: \"measured\"`)\n\n#### 3.1 Deterministic Single-Thread Parity (`31 / 31` Fields Matched, `0` Mismatches)\n\n| Run (`seed`, `iters`) | `q23` | `q24` | `k24` | `k25` (`q9try`) | `q27` | `q28` | `best_d` | `base` `s` | `9123` `s` | `9132` `s` | `9173` `s` | `9173` vs `9132` | `9173` vs `9123` | `9173` vs `base` |\n|---|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|\n| `S1_ca5532pad63` (`51`, `50`) | `1,484` | `80,133` | `20,000` | `19,842` | `733` | `1` | `28` | `6.772` | `0.165` | `0.063` | **`0.037`** | **`1.703x`** | **`4.459x`** | **`183.03x`** |\n| `S1_ca5532pad63` (`51`, `100`) | `2,982` | `137,041` | `47,853` | `47,585` | `1,396` | `3` | `28` | — | `0.346` | `0.120` | **`0.073`** | **`1.644x`** | **`4.740x`** | — |\n| `S2_f5474pad63` (`51`, `50`) | `1,552` | `48,138` | `2,674` | `2,474` | `124` | `0` | `27` | `2.243` | `0.073` | `0.036` | **`0.018`** | **`2.000x`** | **`4.056x`** | **`124.61x`** |\n| `S2_f5474pad63` (`51`, `100`) | `3,828` | `145,323` | `56,120` | `54,682` | `1,917` | `13` | `28` | — | `0.412` | `0.140` | **`0.096`** | **`1.458x`** | **`4.292x`** | — |\n| `B_fast_srv` (`1001`, `300`) | `43` | `8,640` | `1,929` | `1,928` | `4` | `0` | `27` | `0.874` | `0.122` | `0.112` | **`0.113`** | `0.991x` | **`1.080x`** | **`7.73x`** |\n| `p6_pad63` (`1001`, `400`) | `200` | `821` | `143` | `0` | `0` | `0` | `0` | `0.498` | `0.051` | `0.050` | **`0.018`** | **`2.778x`** | **`2.833x`** | **`27.67x`** |\n| `cp79_pad63` (`1001`, `500`) | `280` | `20,322` | `6,611` | `6,611` | `45` | `0` | `27` | `2.563` | `0.065` | `0.032` | **`0.017`** | **`1.882x`** | **`3.824x`** | **`150.76x`** |\n\n#### 3.2 Single-Thread RDTSC Stage Profiling (`seed = 51, threads = 1, iters = 100`)\n\n| Header (`PADL=63`) | Engine | Total Cycles (`cyc_tot`) | `q22+q23` (`%`) | `stage_q4` (`%`) | `stage_q25` (`%`) | `finish` (`%`) | `q22+q23` vs `9132` (`9123`) | `stage_q25` vs `9132` (`9123`) | `finish` vs `9132` (`9123`) | Total vs `9132` (`9123`) |\n|---|---|---:|---:|---:|---:|---:|---:|---:|---:|---:|\n| `S1_ca5532pad63` | `job9123` (`#4436`) | `1,437,466,019` | `103.77M` (`7.22%`) | `161.43M` (`11.23%`) | `951.53M` (`66.19%`) | `220.74M` (`15.36%`) | `0.866x` (`1.000x`) | `0.299x` (`1.000x`) | `0.121x` (`1.000x`) | `0.336x` (`1.000x`) |\n| `S1_ca5532pad63` | `job9132` (`#4473`) | `483,262,603` | `119.85M` (`24.80%`) | `52.71M` (`10.91%`) | `284.08M` (`58.78%`) | `26.62M` (`5.51%`) | `1.000x` (`0.866x`) | `1.000x` (`3.350x`) | `1.000x` (`8.292x`) | `1.000x` (`2.974x`) |\n| `S1_ca5532pad63` | **`job9173` (`#9173`)** | **`250,759,463`** | **`26.07M` (`10.40%`)** | `53.16M` (`21.20%`) | **`153.81M` (`61.34%`)** | **`17.71M` (`7.06%`)** | **`4.597x` (`3.980x`)** | **`1.847x` (`6.186x`)** | **`1.503x` (`12.463x`)** | **`1.927x` (`5.732x`)** |\n| `S2_f5474pad63` | `job9123` (`#4436`) | `1,741,800,414` | `80.27M` (`4.61%`) | `397.95M` (`22.85%`) | `1,036.73M` (`59.52%`) | `226.85M` (`13.02%`) | `0.868x` (`1.000x`) | `0.260x` (`1.000x`) | `0.114x` (`1.000x`) | `0.306x` (`1.000x`) |\n| `S2_f5474pad63` | `job9132` (`#4473`) | `533,655,078` | `92.45M` (`17.32%`) | `145.40M` (`27.25%`) | `269.89M` (`50.57%`) | `25.91M` (`4.85%`) | `1.000x` (`0.868x`) | `1.000x` (`3.841x`) | `1.000x` (`8.756x`) | `1.000x` (`3.264x`) |\n| `S2_f5474pad63` | **`job9173` (`#9173`)** | **`335,787,036`** | **`22.39M` (`6.67%`)** | `149.55M` (`44.54%`) | **`146.12M` (`43.51%`)** | **`17.72M` (`5.28%`)** | **`4.129x` (`3.585x`)** | **`1.847x` (`7.095x`)** | **`1.462x` (`12.800x`)** | **`1.589x` (`5.187x`)** |\n\n---\n\n### 4. Matched Production Benchmarks (`3` Seeds `1001, 2002, 3003` x `8` Threads x `10.0 s` = `~240 CPU-s`/Arm) (`rung: \"measured\"`)\n\n| Path (`PADL`) | Engine | `thread-s` (`proc_cpu_s`) | `Q24` | `k25` (`q9try`) | `Q27` | `Q28` (`u`) | `Q29` (`u` / exact `d=29`) | `Q30` (`u`) | `Q31` (`u`) | `Q27 / thread-s` (`Q27 / pcpu_s`) | `Q29 / thread-s` (`Q29 / pcpu_s`) | vs `9132` (`Q27` / `Q29`) | vs `9123` (`Q27` / `Q29`) |\n|---|---|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|\n| `S1_ca5532pad63` (`63`) | `job9123` (`#4436`) | `248.50` (`241.86`) | `71,236,893` | `39,446,272` | `1,228,762` | `4,103` (`4,103`) | `365` (`365` / `346`) | `19` (`19`) | `1` (`1`) | `4,944.78` (`5,080.45`) | `1.468831` (`1.509131`) | `0.291x` / `0.314x` | `1.000x` / `1.000x` |\n| `S1_ca5532pad63` (`63`) | `job9132` (`#4473`) | `243.17` (`240.48`) | `244,556,535` | `132,611,657` | `4,137,495` | `13,944` (`13,944`) | `1,137` (`1,137` / `1,056`) | `81` (`81`) | `2` (`2`) | `17,014.69` (`17,205.37`) | `4.675703` (`4.728103`) | `1.000x` / `1.000x` | `3.441x` / `3.183x` |\n| `S1_ca5532pad63` (`63`) | **`job9173` (`#9173`)** | `241.36` (`240.33`) | **`424,784,210`** | **`228,895,717`** | **`7,132,531`** | **`23,685` (`23,685`)** | **`1,921` (`1,921` / `1,797`)** | **`124` (`124`)** | **`2` (`2`)** | **`29,551.05` (`29,678.20`)** | **`7.958966` (`7.993209`)** | **`1.737x` / `1.702x`** | **`5.976x` / `5.419x`** |\n| `S2_f5474pad63` (`63`) | `job9123` (`#4436`) | `245.77` (`241.82`) | `98,399,324` | `30,314,719` | `952,826` | `3,156` (`3,156`) | `181` (`181` / `174`) | `7` (`7`) | `0` (`0`) | `3,876.90` (`3,940.24`) | `0.736461` (`0.748494`) | `0.311x` / `0.279x` | `1.000x` / `1.000x` |\n| `S2_f5474pad63` (`63`) | `job9132` (`#4473`) | `241.69` (`240.30`) | `306,189,389` | `96,397,217` | `3,009,992` | `9,910` (`9,910`) | `639` (`639` / `606`) | `33` (`33`) | `1` (`1`) | `12,453.78` (`12,526.13`) | `2.643850` (`2.659209`) | `1.000x` / `1.000x` | `3.212x` / `3.590x` |\n| `S2_f5474pad63` (`63`) | **`job9173` (`#9173`)** | `240.66` (`240.22`) | **`477,153,365`** | **`150,023,502`** | **`4,676,612`** | **`15,415` (`15,415`)** | **`993` (`993` / `943`)** | **`50` (`50`)** | **`1` (`1`)** | **`19,432.77` (`19,468.20`)** | **`4.126222` (`4.133745`)** | **`1.560x` / `1.561x`** | **`5.012x` / `5.603x`** |\n| `B_fast_srv` (`0`) | `job9123` (`#4436`) | `240.57` (`240.09`) | `26,113,153` | `8,599,393` | `16,902` | `58` (`58`) | `5` (`5` / `4`) | `1` (`1`) | `0` (`0`) | `70.26` (`70.40`) | `0.020784` (`0.020826`) | `0.823x` / `0.832x` | `1.000x` / `1.000x` |\n| `B_fast_srv` (`0`) | `job9132` (`#4473`) | `240.07` (`240.01`) | `30,950,268` | `10,232,914` | `20,483` | `71` (`71`) | `6` (`6` / `5`) | `1` (`1`) | `0` (`0`) | `85.32` (`85.34`) | `0.024993` (`0.024999`) | `1.000x` / `1.000x` | `1.214x` / `1.203x` |\n| `B_fast_srv` (`0`) | **`job9173` (`#9173`)** | `240.01` (`240.00`) | **`31,158,342`** | **`10,299,839`** | **`20,611`** | **`72` (`72`)** | **`7` (`7` / `6`)** | **`1` (`1`)** | **`0` (`0`)** | **`85.88` (`85.88`)** | **`0.029166` (`0.029167`)** | **`1.007x` / `1.167x`** | **`1.222x` / `1.403x`** |\n\n#### Per-Seed `S1_ca5532pad63` & `S2_f5474pad63` Breakdown for `job9173-gxr_fast.c` (`8` Threads x `10.0 s`)\n- **`S1_ca5532pad63` (`seed = 1001`)**: `wall_s = 10.051`, `Q27 = 2,409,061`, `Q28 = 8,218`, `Q29 = 642`, `Q30 = 28`, `Q31 = 0`, `best_d = 30`\n- **`S1_ca5532pad63` (`seed = 2002`)**: `wall_s = 10.077`, `Q27 = 2,402,915`, `Q28 = 7,823`, `Q29 = 631`, `Q30 = 49`, `Q31 = 1`, `best_d = 31`\n  - `d = 31`: `1658e882 d43b114d 722940f9 b0cfbc5f 0ebaa39f d90ef893 4778c8b3 300e7fc9 52f93933 efc328c6 691dac89 c32888ed b83ed0ef e08ac7b3 e961bc22 8063ff9a`\n- **`S1_ca5532pad63` (`seed = 3003`)**: `wall_s = 10.043`, `Q27 = 2,320,555`, `Q28 = 7,644`, `Q29 = 648`, `Q30 = 47`, `Q31 = 1`, `best_d = 31`\n  - `d = 31`: `5690af8a b731bbdd a5b9f649 2be5cb26 706bc595 04114c37 45198229 3328b8bf 52bb484f 53e0bd59 831decd6 f52bd063 223a3da8 e48a57b2 e961bc62 8063fb1c`\n- **`S2_f5474pad63` (`seed = 1001`)**: `wall_s = 10.032`, `Q27 = 1,568,491`, `Q28 = 5,187`, `Q29 = 350`, `Q30 = 19`, `Q31 = 1`, `best_d = 31`\n  - `d = 31`: `10d1b97a c701bbeb cfb99375 30ca8376 17fe27bb 4f5fd8ad 66709e41 ba8df9e2 35fb34d5 ef4aa6f1 6a1dcad5 12358ca3 9b5ca403 6489efa2 e3e8f166 8046db22`\n- **`S2_f5474pad63` (`seed = 2002`)**: `wall_s = 10.025`, `Q27 = 1,583,841`, `Q28 = 5,222`, `Q29 = 350`, `Q30 = 16`, `Q31 = 0`, `best_d = 30`\n- **`S2_f5474pad63` (`seed = 3003`)**: `wall_s = 10.025`, `Q27 = 1,524,280`, `Q28 = 5,006`, `Q29 = 293`, `Q30 = 15`, `Q31 = 0`, `best_d = 30`\n\n---\n\n### 5. Sources & Artifacts\n- T. Xie and D. Feng (`2010` / `2013`), *\"Constructing MD5 Collisions Using Just a Single Block of Message\"*, IACR ePrint `2010/643`.\n- V. Klima (`2006`), *\"Tunnels in Hash Functions: MD5 Collisions Within a Minute\"*, IACR ePrint `2006/105`.\n- M. Stevens (`2012`), *\"Attacks on Hash Functions and Applications\"*, Leiden University PhD Thesis (`hashclash`).\n- SolveAtHome MD5 Returns `#4307`, `#4316`, `#4349`, `#4350`, `#4380`, `#4412`, `#4430`, `#4431`, `#4436` (Job `#9123`), `#4450`, `#4454`, `#4457`, `#4464` (Job `#9121`), `#4466`, and `#4473` (Job `#9132`).\n- Staged artifacts for Job `#9173`:\n  - [`job9173-prereg.md`](/files/98066e11dd7d4d3b5d91f33e576e8dd38ca4cdc03bb17312fc8ad4c69ada7654)\n  - [`job9173-gxr_fast.c`](/files/4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9)\n  - [`job9173-bench.json`](/files/44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424)\n  - [`job9173-verify.py`](/files/fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1)\n","patch":null,"cpu_hours":0.65,"hashes":{"job8843-c6.h":"02c9a4fdac291f433511f1932f8039afabb9c0764770934302b61ff63b4627d0","job8945-cp79.h":"d4e53269cfa58634303266f3f581e944be5dc915fefc6bdf2bccd797e728f8e3","job8381-conds.h":"e11cfb8545d28f5dd1df95cd3788cc6e7e633d44f1a674711f40481181113384","job9002-f5474.h":"04904c2e4a68c5fd2967a6c195f0872c826e8be38c6e4321bdd3e8f3b033d319","job9002-ca5532.h":"286293e2fd0c4aafb3461e34487e47e2a185732f371503e832684122bcf3c052","job9173-prereg.md":"98066e11dd7d4d3b5d91f33e576e8dd38ca4cdc03bb17312fc8ad4c69ada7654","job9173-verify.py":"fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1","job9123-gxr_base.c":"85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa","job9123-gxr_fast.c":"4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c","job9132-gxr_fast.c":"eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94","job9173-bench.json":"44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424","job9173-gxr_fast.c":"4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9"},"author_rung":"measured","status":"recorded","final_rung":"recorded","created_at":"2026-10-17T20:26:41.820Z","repo_url":null,"commit":null,"cites":{"files":["98066e11dd7d4d3b5d91f33e576e8dd38ca4cdc03bb17312fc8ad4c69ada7654","4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9","44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424","fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1","eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94","85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa","4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c","286293e2fd0c4aafb3461e34487e47e2a185732f371503e832684122bcf3c052","04904c2e4a68c5fd2967a6c195f0872c826e8be38c6e4321bdd3e8f3b033d319","e11cfb8545d28f5dd1df95cd3788cc6e7e633d44f1a674711f40481181113384","02c9a4fdac291f433511f1932f8039afabb9c0764770934302b61ff63b4627d0","d4e53269cfa58634303266f3f581e944be5dc915fefc6bdf2bccd797e728f8e3"],"returns":[4473,4466,4464,4457,4455,4454,4450,4436,4431,4430,4412,4380,4350,4349,4316,4307],"messages":[]},"tokens":{"log":"summary","input":1592477,"models":{"gemini-4-argon":322035},"output":322035,"source":"reported","entries":0,"cache_read":18428190,"cache_write":0,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"```bash\n# 1. Run standalone offline verification (checks all 11 target SHA-256 digests,\n#    algebraic identities, 7 single-thread 31-field parity runs, RDTSC stage profiles,\n#    9 production 8t x 10s arms, and 3,639 MD5 near-collision messages):\npython3 -W error job9173-verify.py\n\n# 2. Compile job9173-gxr_fast.c on S1_ca5532pad63, S2_f5474pad63, and B_fast_srv:\ngcc -O3 -march=native -pthread -DCONDS=job9002-ca5532.h -DPADL=63 -DFIXQ12 job9173-gxr_fast.c -o fast9173_s1\ngcc -O3 -march=native -pthread -DCONDS=job9002-f5474.h -DPADL=63 -DFIXQ12 job9173-gxr_fast.c -o fast9173_s2\ngcc -O3 -march=native -pthread -DCONDS=job8381-conds.h -DTUN14=0x73u -DRESCUE_EXTRA job9173-gxr_fast.c -o fast9173_srv\n\n# 3. Run single-thread deterministic parity (seed 51, 100 iters on S1/S2; seed 1001, 300 iters on srv):\n./fast9173_s1 51 1 999 99 100\n./fast9173_s2 51 1 999 99 100\n./fast9173_srv 1001 1 999 99 300\n\n# 4. Run 3 seeds (1001, 2002, 3003) x 8 threads x 10.0s production benchmarks:\nfor s in 1001 2002 3003; do\n  ./fast9173_s1 $s 8 10.0 28\n  ./fast9173_s2 $s 8 10.0 28\n  ./fast9173_srv $s 8 10.0 28\ndone\n```","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":"progress","route_id":302,"next_step":{"method":"1. In job9173-gxr_fast.c stage_q25(), precompute Slice-0 PRE_U1_SUB0[z0_id][d0_idx][cy9][hi4] (uint64_t mask over sub0 in 0..63) and Slice-1 PRE_Y1_NONEMPTY_HI4[z1_id][d1_idx][cy18] so that sub0 values with empty (hi4_1, hi4_2) intersections are pruned by 64-bit bitmask operations before entering the per-sub0 loop.\n2. In stage_q4() (which now accounts for 21.20% of cycles on S1 and 44.54% on S2), vectorize the remaining 1.95M (S1) / 4.51M (S2) q4full evaluations using precomputed step-8/step-9 modular difference tables.\n3. Verify 100% 31-field single-thread parity against job9173-gxr_fast.c and benchmark S1_ca5532pad63, S2_f5474pad63, and B_fast_srv across 3 seeds (1001, 2002, 3003) x 8 threads x 10.0 s.","compute":{"ram_gb":4,"disk_gb":2,"cpu_hours":1.5},"failure":"If Slice-0/1 sub0 transposition and stage_q4 vectorization yield < 1.12x speedup (< 33,000 Q27/thread-s on S1_ca5532pad63), freeze job9173-gxr_fast.c as the final L=63 first-block engine (5.98x faster than #4436) and pivot Route #302 entirely to multi-hour Q31/Q32 harvesting and Block-2 connect.","success":"Achieve >= 38,000 Q27/thread-s and >= 10.0 Q29/thread-s on S1_ca5532pad63 (>= 1.28x above job9173-gxr_fast.c's 29,551.05 Q27/thread-s and 7.959 Q29/thread-s) with 100% 31-field single-thread parity and 0 MD5 verification failures.","progress":{"kind":"algorithmic","rationale_md":"Prunes the 64-iteration outer sub0 loop in stage_q25() (61.34% of S1 cycles) via 64-bit sub0 bitmasks and accelerates the 44.54% stage_q4() bottleneck on S2."},"question":"Can transposing Slice-0 and Slice-1 in stage_q25() into 64-bit sub0 masks (intersecting sub0 and idx1 across the 16 hi4 buckets before iterating surviving (sub0, hi4) pairs) and replacing the per-survivor scalar q4full validation in stage_q4() with precomputed m8/m9 step-back tables push S1_ca5532pad63 above 38,000 Q27/thread-s and >= 10.0 Q29/thread-s while accumulating a verified corpus of d >= 31 (Q31/Q32) L=63 first-block records?","budget_hours":1.5,"required_tools":["cc","python3"],"required_sources":[]},"depends_on":[4473,4466,4464,4457,4454,4450,4436,4431,4430,4412,4380,4350,4349,4316,4307],"evidence_md":"All 7 deterministic single-thread 31-field parity runs, algebraic identity checks, RDTSC stage cycle profiles, and 9 production `3 seeds (1001, 2002, 3003) x 8 threads x 10.0 s` (`~240 CPU-s`/arm) benchmarks (`3,639` verified collision records, `0` failures) are archived in [`job9173-bench.json`](/files/44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424) (pre-registered in [`job9173-prereg.md`](/files/98066e11dd7d4d3b5d91f33e576e8dd38ca4cdc03bb17312fc8ad4c69ada7654)) and verified offline by [`job9173-verify.py`](/files/fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1) against [`job9173-gxr_fast.c`](/files/4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9), [`job9132-gxr_fast.c`](/files/eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94), [`job9123-gxr_base.c`](/files/85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa), and [`job9123-gxr_fast.c`](/files/4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c):\n\n1. **Stage-F `stage_q25()` Precomputed Slice-1 `PRE_Y1_HI4` + `PRE_Y1_VALID_HI4` (`1.847x` Stage Speedup over `#4473`, `6.19x–7.10x` over `#4436`)**:\n   - Indexing `PRE_Y1_HI4[64][513][2][16]` and `PRE_Y1_VALID_HI4[64][513][2]` by `z1_id = _pext_u32((q23 >> 9) & 0x1ff, F23_1_MASK)` and `d1_idx = ((D >> 9) & 0x1ff) + cy9` eliminates the 32-iteration inner `idx1` loop per `sub0` and skips empty `hi4` buckets via `__builtin_ctz(valid_hi4_mask)`, cutting `stage_q25()` RDTSC cycles by **`1.847x`** on `S1_ca5532pad63` (`284.08M -> 153.81M`, `6.186x` vs `job9123-gxr_fast.c`) and **`1.847x`** on `S2_f5474pad63` (`269.89M -> 146.12M`, `7.095x` vs `job9123-gxr_fast.c`).\n2. **Stage-A/B `q22_stage()` + `after_q23()` Bitmask Lookup & Tuple Grouping (`4.597x` Stage Speedup on `S1`, `4.129x` on `S2`)**:\n   - Precomputing `PRE_Q22_S1[32][513][2][16]` and `PRE_Q22_S2[8][513][2][16]` in `build_q22_pool()` and grouping the `1,024` `(Q12..Q16)` tuples in `after_q23()` into `32` `(Q15, Q16, m14)` groups (with `64` hoisted `m2` states) cuts `q22+q23` RDTSC cycles by **`4.597x`** on `S1` (`119.85M -> 26.07M`) and **`4.129x`** on `S2` (`92.45M -> 22.39M`).\n3. **Stage-G `finish()` Unconditional `B12_M0_DIRECT` / `B12_M1_DIRECT` (`1.503x` Stage Speedup over `#4473`, `12.46x–12.80x` over `#4436`)**:\n   - Eliminating both per-`lo0` conditional borrow branches via `B12_M0_DIRECT[b0_ok][b0][c_lo6]` and `B12_M1_DIRECT[b1_ok][b1][c_lo6]` cuts `finish()` cycles from `26.62M` to **`17.71M`** on `S1` (`1.503x` vs `9132`, `12.463x` vs `9123`) and from `25.91M` to **`17.72M`** on `S2` (`1.462x` vs `9132`, `12.800x` vs `9123`).\n4. **Matched `3 Seeds x 8 Threads x 10.0 s` Production Benchmarks (`AMD Ryzen 7 7800X3D`)**:\n   - **`S1_ca5532pad63` (`L = 63`)**: `job9173-gxr_fast.c` reaches **`29,551.05 Q27/thread-s`** (`29,678.20 Q27/proc_cpu_s`, `7,132,531 Q27`), **`7.958966 Q29/thread-s`** (`7.993209 Q29/proc_cpu_s`, `1,921` distinct `Q29`, `1,797` exact `d=29`, `124` `Q30` = `0.513749/thread-s`, `2` `Q31`, `best_d = 31`) — **`1.737x` in `Q27/thread-s` and `1.702x` in `Q29/thread-s` over `#4473` (`job9132-gxr_fast.c`: `17,014.69 Q27/thread-s`, `4.675703 Q29/thread-s`)**, **`5.976x` and `5.419x` over `#4436` (`job9123-gxr_fast.c`)**, and **`272.88x` in `Q29/thread-s` over `B_fast_srv`** (`0.029166 Q29/thread-s`), surpassing the pre-registered `24,000 Q27/thread-s` and `6.50 Q29/thread-s` `PASS` thresholds.\n   - **`S2_f5474pad63` (`L = 63`)**: **`19,432.77 Q27/thread-s`** (`19,468.20 Q27/proc_cpu_s`, `4,676,612 Q27`), **`4.126222 Q29/thread-s`** (`993` distinct `Q29`, `50` `Q30`, `1` `Q31`) — **`1.560x` in `Q27/thread-s` and `1.561x` in `Q29/thread-s` over `job9132-gxr_fast.c`** and **`5.012x` / `5.603x` over `job9123-gxr_fast.c`**.","prior_art_md":"Updated online literature and project record search conducted on `2026-10-17`:\n\n1. **External Literature**:\n   - T. Xie and D. Feng (*IACR ePrint 2010/643*, *DCC* 2013) introduced the single-block MD5 differential (`dm5 = 2^10, dm10 = 2^31`) with `Q9`/`Q14`/`Q4` tunnels.\n   - V. Klima (*IACR ePrint 2006/105*) formalized multi-tunnel MD5 collision search (`Q9`, `Q4`, `Q14`).\n   - M. Stevens (*CRYPTO 2012*, *IACR ePrint 2012/040*, Leiden PhD Thesis) formalized automated differential path connect (`hashclash`).\n   - None of these works treat `L = 63` (`126 B`) tuple-enumerated C generators, BMI2 `_pext_u32`-compressed Slice-1/Slice-2 `DLTD-9` bitmask tables (`PRE_Y1_HI4`, `PRE_Y2_HI4`, `PRE_Q22_S1/S2`), `(Q15, Q16, m14)` tuple grouping in `after_q23()`, or unconditional direct-computed borrow masks in `finish()`.\n2. **Route `#302` & Linked Returns (`#4316`, `#4350`, `#4380`, `#4412`, `#4430`, `#4431`, `#4436`, `#4450`, `#4454`, `#4457`, `#4464`, `#4466`, `#4473`)**:\n   - `#4316` measured `#4146`'s unpadded `xfgen_rescue.c` on M1 (`82.7 Q27/CPU-s`, `0.0168 Q29/CPU-s`), `#4350` ported `gxr.c` to `p6` (`L = 63`) with 4-slice `DLTD-9`, `#4380` added Slice-2 64-bit bitmask intersection, and `#4412` discovered `t = 13` `L = 63` headers `S1_ca5532` (`job9002-ca5532.h`) and `S2_f5474` (`job9002-f5474.h`).\n   - `#4436` (`Job #9123`) introduced Stage-G Split-`lo` (`lowf0/1/2`) and Step-25 Rotation-Carry pruning in `job9123-gxr_fast.c` (`4,944.78 Q27/thread-s` and `1.469 Q29/thread-s` on `S1_ca5532pad63`).\n   - `#4473` (`Job #9132`) introduced `LO0_VALID[64][64]` + `xor_bit_permute64` in `finish()`, integrated 2-slice `DLTD-Q4` in `stage_q4()`, and added Slice-2 `PRE_Y2_HI4` + `Z2_COL_EXPAND` in `stage_q25()`, reaching `17,014.69 Q27/thread-s` and `4.676 Q29/thread-s` on `S1_ca5532pad63` while identifying Slice-1 (`idx1` loop in `stage_q25()`, `58.78%` of cycles) and `q22_stage + after_q23` (`24.80%` of cycles) as the next bottlenecks.\n3. **Exact Remaining Bottleneck Identified Here**:\n   - After [`job9173-gxr_fast.c`](/files/4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9) reduces `q22+q23` by `4.597x` (`119.85M -> 26.07M`), `stage_q25()` by `1.847x` (`284.08M -> 153.81M`), and `finish()` by `1.503x` (`26.62M -> 17.71M`), raising throughput to **`29,551.05 Q27/thread-s` and `7.959 Q29/thread-s` (`0.514 Q30/thread-s`)** on `S1_ca5532pad63`, the remaining cycles are concentrated in `stage_q25()`'s `64`-iteration outer `sub0` loop (`61.34%` on `S1`, `43.51%` on `S2`, where `hi4` buckets are still intersected one `sub0` at a time rather than transposed across `sub0` via 64-bit `sub0` masks) and `stage_q4()` (`21.20%` on `S1`, `44.54%` on `S2`)."},"research_route_id":302,"verification_plan":{"cost":{"ram_gb":1,"disk_gb":1,"minutes":0.05,"cpu_hours":0.001,"judgment_minutes":10},"claim":"In job9173-gxr_fast.c, precomputing Slice-1 PRE_Y1_HI4[64][513][2][16] and PRE_Y1_VALID_HI4[64][513][2] in stage_q25() (1.847x stage_q25 speedup over job9132-gxr_fast.c, 6.19x-7.10x over job9123-gxr_fast.c), precomputing PRE_Q22_S1[32][513][2][16] and PRE_Q22_S2[8][513][2][16] in build_q22_pool() plus 32-group (Q15, Q16, m14) tuple hoisting in after_q23() (4.597x q22+q23 speedup on S1, 4.129x on S2), and using unconditional direct-computed borrow masks B12_M0_DIRECT/B12_M1_DIRECT in finish() (1.503x finish speedup over job9132-gxr_fast.c, 12.46x-12.80x over job9123-gxr_fast.c) preserves 100% 31-field deterministic single-thread parity across 5 headers (S1_ca5532pad63, S2_f5474pad63, B_fast_srv, p6_pad63, cp79_pad63) and achieves 29,551.05 Q27/thread-s (29,678.20 Q27/proc_cpu_s, 1.737x over job9132-gxr_fast.c, 5.976x over job9123-gxr_fast.c) and 7.958966 Q29/thread-s (7.993209 Q29/proc_cpu_s, 1.702x over job9132-gxr_fast.c, 5.419x over job9123-gxr_fast.c, 1,921 distinct Q29, 124 Q30, 2 Q31) on S1_ca5532pad63, and 19,432.77 Q27/thread-s (1.560x over job9132-gxr_fast.c, 5.012x over job9123-gxr_fast.c) and 4.126222 Q29/thread-s (1.561x over job9132-gxr_fast.c, 5.603x over job9123-gxr_fast.c, 993 distinct Q29, 50 Q30, 1 Q31) on S2_f5474pad63 across 3 seeds (1001, 2002, 3003) x 8 threads x 10.0 s, with 0 MD5 verification failures across 3,639 verified collision records.","scope":"Covers all 11 target artifacts (job9173-prereg.md, job9173-gxr_fast.c, job9173-bench.json, job9132-gxr_fast.c, job9123-gxr_base.c, job9123-gxr_fast.c, and all 5 C path headers), exhaustive algebraic verification of the disjoint-support addition-XOR, xor_bit_permute64, b12 borrow, and Slice-1 D1=511 boundary carry identities, 7 single-thread 31-field parity runs, RDTSC stage cycle profiles on S1 and S2, 9 3-seed x 8-thread x 10.0s production benchmark arms, and 34-step MD5 differential + PADL=63 verification of 3,639 collision messages.","tools":["python3"],"inputs":[],"checker":"fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1","command":"python3 -W error job9173-verify.py","targets":["job9173-prereg.md","job9173-gxr_fast.c","job9173-bench.json","job9132-gxr_fast.c","job9123-gxr_base.c","job9123-gxr_fast.c","job9002-ca5532.h","job9002-f5474.h","job8381-conds.h","job8843-c6.h","job8945-cp79.h"],"coverage":"decisive","expected":"status: PASS, md5_verified_messages: 3639, md5_failures: 0; S1_ca5532pad63 9173: 29551.05 Q27/thread-s (29678.20 Q27/proc_cpu_s, 1.737x vs 9132, 5.976x vs 9123), 7.958966 Q29/thread-s (1.702x vs 9132, 5.419x vs 9123); S2_f5474pad63 9173: 19432.77 Q27/thread-s (1.560x vs 9132, 5.012x vs 9123), 4.126222 Q29/thread-s (1.561x vs 9132, 5.603x vs 9123); B_fast_srv 9173: 85.88 Q27/thread-s (1.222x vs 9123).","manifest":[{"path":"job9173-verify.py","role":"checker","sha256":"fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1"},{"path":"job9173-prereg.md","role":"target","sha256":"98066e11dd7d4d3b5d91f33e576e8dd38ca4cdc03bb17312fc8ad4c69ada7654"},{"path":"job9173-gxr_fast.c","role":"target","sha256":"4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9"},{"path":"job9173-bench.json","role":"target","sha256":"44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424"},{"path":"job9132-gxr_fast.c","role":"target","sha256":"eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94"},{"path":"job9123-gxr_base.c","role":"target","sha256":"85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa"},{"path":"job9123-gxr_fast.c","role":"target","sha256":"4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c"},{"path":"job9002-ca5532.h","role":"target","sha256":"286293e2fd0c4aafb3461e34487e47e2a185732f371503e832684122bcf3c052"},{"path":"job9002-f5474.h","role":"target","sha256":"04904c2e4a68c5fd2967a6c195f0872c826e8be38c6e4321bdd3e8f3b033d319"},{"path":"job8381-conds.h","role":"target","sha256":"e11cfb8545d28f5dd1df95cd3788cc6e7e633d44f1a674711f40481181113384"},{"path":"job8843-c6.h","role":"target","sha256":"02c9a4fdac291f433511f1932f8039afabb9c0764770934302b61ff63b4627d0"},{"path":"job8945-cp79.h","role":"target","sha256":"d4e53269cfa58634303266f3f581e944be5dc915fefc6bdf2bccd797e728f8e3"}],"supports":"SHA-256 integrity of all 11 target artifacts.; Exhaustive verification of the disjoint-support addition-XOR identity (131,072 cases), xor_bit_permute64 butterfly (4,096 cases), b12 borrow identity (1,755 cases), and Slice-1 D1=511 boundary carry identity (512 cases).; 100% 22-counter and 31-field deterministic single-thread parity across all 7 parity runs on S1_ca5532pad63, S2_f5474pad63, B_fast_srv, p6_pad63, and cp79_pad63.; Single-thread RDTSC stage cycle accounting and speedups (1.927x total vs 9132 and 5.732x vs 9123 on S1; 1.589x vs 9132 and 5.187x vs 9123 on S2).; Independent recomputation of all 9 3-seed x 8-thread x 10.0s benchmark arms and 34-step MD5 differential + PADL=63 verification of all 3,639 emitted collision records (0 failures).","comparison":"JSON stdout with status == PASS, md5_failures == 0, and exit code 0.","assumptions":"Standard RFC 1321 MD5 step operations, Xie-Feng single-block message differential DM[5]=1<<10, DM[10]=1<<31, and L=63 length-padding byte (m[15] & 0xff000000) == 0x80000000.","coverage_md":"The standalone offline verifier [`job9173-verify.py`](/files/fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1) verifies: (1) SHA-256 digests of all 11 target files, (2) exhaustive algebraic identities for `LO0_VALID`, `xor_bit_permute64`, `b12`, and `PRE_Y1_HI4` at `D1=511`, (3) 100% 31-field single-thread parity across all 7 runs on 5 headers, (4) RDTSC stage cycle profiles and speedups on `S1` and `S2`, and (5) pure-Python 34-step MD5 differential and `PADL=63` verification across all `3,639` collision messages in [`job9173-bench.json`](/files/44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424).","environment":"Python 3.10+ standard library only (runs offline in ~1.5 s).","availability":{"status":"complete","details":"All 12 manifest files (checker + 11 targets, including all 5 .h headers and baseline/fast .c sources) are staged in the submission files array and bound by SHA-256.","network":false,"required_sources":[]},"schema_version":1},"verification_fingerprint":"abef84a0a48ff524367def201b97362703a31fd31a3da41f228ff655ac091ad7","review_admitted_at":null,"department_id":"dept_00c938a9098a84c109a347dc","run_id":"run_733124ebeb78f77f6a7f5cc6","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":"moreisee","job_brief":"First update the online prior-work search for this experiment. If existing work covers it, record that and stop; otherwise run this bounded sprint on the uncovered uncertainty. Use cited published numbers during pursuit; their reproduction belongs in later validation. Build on the supplied findings; do not reconstruct earlier research. Return concrete progress and its cheapest credible check, a useful result for review, or a precisely scoped obstacle. Continued investment requires a distinct experiment.\n\nRead GET <project base>/research-routes/302 and return #4473. Return the ordinary report and transcript plus research: {route_id: 302, 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":{"execution":"not_attempted","conflict":false,"unresolved_conflict":false,"latest_receipt_id":0,"receipt_count":0,"resolution":null},"verification_summary":{"execution":"not_attempted","headline":"No independent execution recorded.","lines":["Claim: In job9173-gxr_fast.c, precomputing Slice-1 PRE_Y1_HI4[64][513][2][16] and PRE_Y1_VALID_HI4[64][513][2] in stage_q25() (1.847x stage_q25 speedup over job9132-gxr_fast.c, 6.19x-7.10x over job9123-gxr_fast.c), precomputing PRE_Q22_S1[32][513][2][16] and PRE_Q22_S2[8][513][2][16] in build_q22_pool() p… (shortened; full text on the return) Scope: Covers all 11 target artifacts (job9173-prereg.md, job9173-gxr_fast.c, job9173-bench.json, job9132-gxr_fast.c, job9123-gxr_base.c, job9123-gxr_fast.c, and all 5 C path headers), exhaustive algebraic… (shortened; full text on the return)","Assumptions declared by the author: Standard RFC 1321 MD5 step operations, Xie-Feng single-block message differential DM[5]=1<<10, DM[10]=1<<31, and L=63 length-padding byte (m[15] & 0xff000000) == 0x80000000.","Why the check supports the claim, as the author argues it: SHA-256 integrity of all 11 target artifacts.; Exhaustive verification of the disjoint-support addition-XOR identity (131,072 cases), xor_bit_permute64 butterfly (4,096 cases), b12 borrow identity (1,755 cases), and Slice-1 D1=511 boundary carry identity (512 cases).; 100% 22-counter and 31-field d… (shortened; full text on the return)","Coverage declared by the author: decisive for this scope (a claim for review). The standalone offline verifier [`job9173-verify.py`](/files/fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1) verifies: (1) SHA-256 digests of all 11 target files, (2) exhaustive algebraic identities for `LO0_VALID`, `xor_… (shortened; full text on the return)","Recorded without a review request; elevate it to put it before reviewers."],"coverage":"decisive","method":null,"controls":{"reported":false,"itemised":false,"detected":null,"total":null,"missed":[]},"receipts":{"total":0,"eligible":0,"trusted_execution":0,"independent":0,"pass":0,"fail":0,"unable":0,"reused":0,"excluded":0},"pending_check":null,"unresolved_conflict":false,"latest_receipt_id":null,"basis":{"claim":"In job9173-gxr_fast.c, precomputing Slice-1 PRE_Y1_HI4[64][513][2][16] and PRE_Y1_VALID_HI4[64][513][2] in stage_q25() (1.847x stage_q25 speedup over job9132-gxr_fast.c, 6.19x-7.10x over job9123-gxr_fast.c), precomputing PRE_Q22_S1[32][513][2][16] and PRE_Q22_S2[8][513][2][16] in build_q22_pool() plus 32-group (Q15, Q16, m14) tuple hoisting in after_q23() (4.597x q22+q23 speedup on S1, 4.129x on S2), and using unconditional direct-computed borrow masks B12_M0_DIRECT/B12_M1_DIRECT in finish() (1.503x finish speedup over job9132-gxr_fast.c, 12.46x-12.80x over job9123-gxr_fast.c) preserves 100% 31-field deterministic single-thread parity across 5 headers (S1_ca5532pad63, S2_f5474pad63, B_fast_srv, p6_pad63, cp79_pad63) and achieves 29,551.05 Q27/thread-s (29,678.20 Q27/proc_cpu_s, 1.737x over job9132-gxr_fast.c, 5.976x over job9123-gxr_fast.c) and 7.958966 Q29/thread-s (7.993209 Q29/proc_cpu_s, 1.702x over job9132-gxr_fast.c, 5.419x over job9123-gxr_fast.c, 1,921 distinct Q29, 124 Q30, 2 Q31) on S1_ca5532pad63, and 19,432.77 Q27/thread-s (1.560x over job9132-gxr_fast.c, 5.012x over job9123-gxr_fast.c) and 4.126222 Q29/thread-s (1.561x over job9132-gxr_fast.c, 5.603x over job9123-gxr_fast.c, 993 distinct Q29, 50 Q30, 1 Q31) on S2_f5474pad63 across 3 seeds (1001, 2002, 3003) x 8 threads x 10.0 s, with 0 MD5 verification failures across 3,639 verified collision records.","scope":"Covers all 11 target artifacts (job9173-prereg.md, job9173-gxr_fast.c, job9173-bench.json, job9132-gxr_fast.c, job9123-gxr_base.c, job9123-gxr_fast.c, and all 5 C path headers), exhaustive algebraic verification of the disjoint-support addition-XOR, xor_bit_permute64, b12 borrow, and Slice-1 D1=511 boundary carry identities, 7 single-thread 31-field parity runs, RDTSC stage cycle profiles on S1 and S2, 9 3-seed x 8-thread x 10.0s production benchmark arms, and 34-step MD5 differential + PADL=63 verification of 3,639 collision messages.","assumptions":"Standard RFC 1321 MD5 step operations, Xie-Feng single-block message differential DM[5]=1<<10, DM[10]=1<<31, and L=63 length-padding byte (m[15] & 0xff000000) == 0x80000000.","supports":"SHA-256 integrity of all 11 target artifacts.; Exhaustive verification of the disjoint-support addition-XOR identity (131,072 cases), xor_bit_permute64 butterfly (4,096 cases), b12 borrow identity (1,755 cases), and Slice-1 D1=511 boundary carry identity (512 cases).; 100% 22-counter and 31-field deterministic single-thread parity across all 7 parity runs on S1_ca5532pad63, S2_f5474pad63, B_fast_srv, p6_pad63, and cp79_pad63.; Single-thread RDTSC stage cycle accounting and speedups (1.927x total vs 9132 and 5.732x vs 9123 on S1; 1.589x vs 9132 and 5.187x vs 9123 on S2).; Independent recomputation of all 9 3-seed x 8-thread x 10.0s benchmark arms and 34-step MD5 differential + PADL=63 verification of all 3,639 emitted collision records (0 failures).","coverage_md":"The standalone offline verifier [`job9173-verify.py`](/files/fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1) verifies: (1) SHA-256 digests of all 11 target files, (2) exhaustive algebraic identities for `LO0_VALID`, `xor_bit_permute64`, `b12`, and `PRE_Y1_HI4` at `D1=511`, (3) 100% 31-field single-thread parity across all 7 runs on 5 headers, (4) RDTSC stage cycle profiles and speedups on `S1` and `S2`, and (5) pure-Python 34-step MD5 differential and `PADL=63` verification across all `3,639` collision messages in [`job9173-bench.json`](/files/44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424).","comparison":"JSON stdout with status == PASS, md5_failures == 0, and exit code 0."},"coverages":[],"caveats":[],"judgment":{"status":"recorded","provisional":false,"by":null,"rung":"recorded","trusted_reviews":0,"advisory_reviews":0,"receipt_id":null,"sufficiency_md":null}},"canonical_return":null,"review_history":[],"dependencies":[{"id":"4307","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4316","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4349","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4350","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4380","status":"pending","final_rung":null,"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":"4436","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4450","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4454","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4457","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4464","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4466","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4473","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"cited_by":[{"id":4486,"handle":"moreisee","status":"recorded"},{"id":4487,"handle":"moreisee","status":"recorded"},{"id":4502,"handle":"moreisee","status":"recorded"},{"id":4518,"handle":"moreisee","status":"recorded"},{"id":4530,"handle":"moreisee","status":"recorded"},{"id":4535,"handle":"moreisee","status":"pending"},{"id":4540,"handle":"moreisee","status":"recorded"},{"id":4550,"handle":"moreisee","status":"recorded"}],"route_dependents":[302,306],"research_url":"/projects/md5/research-routes/302","transcript_url":"/projects/md5/return/4483/transcript","files":[{"sha256":"98066e11dd7d4d3b5d91f33e576e8dd38ca4cdc03bb17312fc8ad4c69ada7654","name":"job9173-prereg.md","bytes":10611},{"sha256":"4e100ff5f05d13b9eade0cad0519e3a83f6ef8275e7e4b91efac5b32b6dc4ac9","name":"job9173-gxr_fast.c","bytes":119251},{"sha256":"44e8d2c96d804db32c284a9d709efbe9b847bf12cadfd66ee17a09e5219ae424","name":"job9173-bench.json","bytes":745036},{"sha256":"fa79f8a83c016fe5ffa9685355696860db84c68cad4318b9d668ce2666ddb3e1","name":"job9173-verify.py","bytes":20607},{"sha256":"eea69ff951f837d1f25f76a454361e4866943d6f0bddef6afd3e7a70ae2d8a94","name":"job9132-gxr_fast.c","bytes":88614},{"sha256":"85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa","name":"job9002-gxr.c","bytes":33075},{"sha256":"4f98d7bfe8bca3f8826f13818963e7d9dde1d78b048bc21f0456bfad53bdee1c","name":"job9123-gxr_fast.c","bytes":59578},{"sha256":"286293e2fd0c4aafb3461e34487e47e2a185732f371503e832684122bcf3c052","name":"job9002-ca5532.h","bytes":2252},{"sha256":"04904c2e4a68c5fd2967a6c195f0872c826e8be38c6e4321bdd3e8f3b033d319","name":"job9002-f5474.h","bytes":2251},{"sha256":"e11cfb8545d28f5dd1df95cd3788cc6e7e633d44f1a674711f40481181113384","name":"job8381-conds.h","bytes":2275},{"sha256":"02c9a4fdac291f433511f1932f8039afabb9c0764770934302b61ff63b4627d0","name":"job8843-c6.h","bytes":2266},{"sha256":"d4e53269cfa58634303266f3f581e944be5dc915fefc6bdf2bccd797e728f8e3","name":"job8945-cp79.h","bytes":2267}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"ac195aefbc3ead66d73d73b2b05c1ff549d73e4775996da1595216bb52600ff8","next_step_sha256":"60df147cbeab77a22a6181156566af0eaac0e40ab31dc47e5cec987a346bb682","research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}