{"id":4431,"job_id":9071,"problem_id":6,"lane_id":null,"type":"explore","user_id":93,"model":"gemini-4-argon","provider":"google","report_md":"9 of @moreisee's returns wait for a verdict.\n\n### Caveats, Scope, and Decision Summary\n1. **Scope and limitations**: All empirical rates in [`job9071-bench.json`](/files/fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0) are measured on an 8-thread CPU workload (`3` seeds `51, 61, 71` x `2.0 s` wall / `~48` thread-seconds per arm per generator) across `12` arms in both the reference bitwise-DFS generator [`job9071-gxr.c`](/files/85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa) (`gxr_orig`) and the bitmask-intersected `DLTD-9` rescue-class generator [`job9071-gxr_fast.c`](/files/1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7) (`gxr_fast`). No full `64`-step (`126 B`) collision pair was reached in this `first_look` budget (maximum step depth reached on `t = 14` `L = 63` arms is `d = 29`; on `t = 13` `L = 63` reference arms `d = 30`), so `126 B` pair-time estimates beyond `Q29` rely on `#4091`'s `Q27 -> Q64` survival factor (`2^-29.74`, `H`).\n2. **Prospective contract decision (`#4403`, Route `#309`)**: Under the preregistered criteria in [`job9071-prereg.md`](/files/b149d8db8e456cfcecd614176a0fc8d8946b69eec651f07d11ccc5651ec647f0), **neither pass condition on `t = 14` path selection is met, triggering the contract's rescue-class generator hand-off clause**:\n   - **Arm 1 (`join 52` with full `Q4/Q5` relation vs `E25`)**: Preserving `join 52`'s exact row-5 condition `Q5[23] == Q4[23]` (`EQ[5] = 0x00800000` in [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e) from [`job9071-e52.txt`](/files/4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189), mapped by `init_conds` to `Q5[23] = Q4[23] = 1`, `Z5 = 0x00400000`, `T9 = 26`, `ntup = 256` at `L = 63`) increases `gxr_fast` `Q27` rate by **`1.34x`** at `L = 63` (`314.98` vs `235.06 Q27/proc_cpu_s`) and **`1.37x`** unpadded (`405.56` vs `295.61 Q27/proc_cpu_s`; `1.63x` in `gxr_orig` unpadded) over `#4403`'s restricted [`job9006-ce52r.h`](/files/38091ce6c7b40d15eb8d8ed15111e0663d12c6a12dc95f7503debe0ba16b4eb1) (`Q5[23] = Q4[23] = 0`, `Z5 = 0x00c00000`). However, `E52_ce52pad63` reaches **`0.9145x E25`** in `gxr_fast` (`314.98` vs `344.45 Q27/proc_cpu_s`) and **`0.4357x E25`** in `gxr_orig` (`8.94` vs `20.52 Q27/proc_cpu_s`), below the `1.0x E25` threshold, because `E52` yields `16.5x` fewer step-25 leaves per `Q24` (`30.19` vs `499.11` on `E25`), outweighing its `4.03x` `Q9`-tunnel advantage (`q9sol/q9try = 0.01567` at `T9 = 26` vs `0.00389` at `T9 = 24`).\n   - **Arm 2 (100% completion of `t = 14` save-all connects `C14_F12` and `C14_norm`)**: Completing `100%` (`200,000 / 200,000` upper paths) of the `t = 14` save-all connect (`--mintunnel 20`) on both `F12` (`500,000` lower paths without `--normalt01` x `200,000` `BK18` upper paths -> `76` distinct `Q-3..Q16` joins) and `F13` (`500,000` lower paths with `--normalt01` x `200,000` `BK18` upper paths -> `56` distinct `Q-3..Q16` joins) alongside `#4403`'s `E1` (`128` joins; `260` unique `t = 14` joins total in [`job9071-screen.json`](/files/51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6)) yields **1 new `L = 63` survivor**, `F8_cf12_8pad63` (`C14_F12:8`, [`job9071-f12_8.txt`](/files/dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45), [`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6), `T9 = 24`, `50.0%` raw `L = 63` padding density `523,857 / 1,048,576`, `ntup = 128`), and **0 `L = 62` (`124 B`) survivors** across all `260` joins (`100%` agreement between `pathtest` and exact `z3` `QF_BV` `rows 1..16`). In `gxr_fast`, `F8_cf12_8pad63` reaches `39.13 Q27/proc_cpu_s` (`0.1136x E25`) and `#4403`'s untested `E99_ce99pad63` ([`job9071-e99.txt`](/files/30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb), [`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99), `T9 = 23`, `ntup = 288`) reaches `152.09 Q27/proc_cpu_s` (`0.4415x E25`). No `t = 14` `L = 63` path exceeds `E25` (`< 2^0.25 x E25 = 1.1892x E25`), confirming `E25` ([`job9006-ce25.h`](/files/31bf20ce0335834730268a440d4816bf4d55dcda186fb4c756d1089d8b56bd52)) as the fastest `t = 14` `126 B` path.\n   - **Arm 3 (Rescue-class generator hand-off and cross-junction comparison vs `#4412` and `#4373`)**: Executing the rescue-class port to [`job9071-gxr_fast.c`](/files/1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7) accelerates `E25_ce25pad63` by **`16.8x`** (`344.45` vs `20.52 Q27/proc_cpu_s`, `32.25x` above the unpadded `128 B` served control `B_srv` at `10.68 Q27/proc_cpu_s`) and `E52_ce52pad63` by **`35.3x`** (`314.98` vs `8.94 Q27/proc_cpu_s`). Crucially, this resolves Route `#309`'s key uncertainty (*\"gxr stage ratios may not survive a rescue-class port\"*): in `gxr_orig`, `E25_ce25pad63` (`20.52 Q27/s`) beat `#4373`'s `t = 13` reference `R2_ca12121pad63` (`14.35 Q27/s`) by `1.43x` because `gxr_orig` spent `~87%` of runtime in unaccelerated `stage_q25` (`gdfs`). Once `stage_q25` is accelerated by `DLTD-9` in `gxr_fast`, `R2_ca12121pad63` (`497.36 Q27/proc_cpu_s`) beats `E25_ce25pad63` (`344.45 Q27/proc_cpu_s`) by **`1.44x`**, and `#4412`'s `t = 13` `T9 = 27` leaders `S1_ca5532pad63` ([`job9002-ca5532.h`](/files/a8fc306024628d54a97d7f4616d0c0932eb5dc9ccfd2419eb3d6b0f80c24982f), `4,082.95 Q27/proc_cpu_s`, `best_d = 30`) and `S2_f5474pad63` ([`job9002-f5474.h`](/files/92bf7d7b60770a76df790ec8bc26fa35da7aa0ab74f53b79348189eb52e81b65), `3,891.02 Q27/proc_cpu_s`, `best_d = 30`) beat `E25_ce25pad63` by **`11.85x` and `11.30x`**.\n\n---\n\n### 1. Full `t = 14` Save-All Connects (`C14_F12` & `C14_norm`) and Exact Z3 Screening\n\nWe compiled a save-on-every-join `t = 14` Q9-objective connector (`connect_all_exact`, implementing the exact `#4307`/`#4373` Q9-tunnel DP with precomputed `low_jmax[i * 32 + b]` and L1-resident `bmax_table`) and ran two `100%`-complete connects (`--mintunnel 20 --threads 16`) against all `200,000` `BK18` upper paths (`Q18..Q64` grown from `srv_ge25.bin.gz` with `-t 27 --trange 9`):\n\n| Family | Lower Pool (`Q-3..Q13`) | Upper Pool (`Q18..Q64`) | Upper Coverage | Unique `Q-3..Q16` Joins | Static `T9` Histogram | `L = 63` Survivors (`pathtest` & `z3` `rows 1..16`) | `pt0top` (`m15>>24 == 0`) Survivors | `L = 62` Survivors (`pathtest` & `z3` `rows 1..16`) |\n| :--- | :--- | :--- | :--- | :--- | :--- | :--- | :--- | :--- |\n| **`E1` (`#4403`)** | `500,000` (`F12 -> t=13` no `--normalt01`) | `200,000` (`BK18`) | `49,409 / 200,000` (`24.7%`) | `128` | `{19:1, 21:3, 22:14, 23:37, 24:50, 25:20, 26:2, 27:1}` | **`4`** (`#25` `T9=24`, `#52` `T9=26`, `#59` `T9=25`, `#99` `T9=23`) | `4` (`#11, #61, #95, #123`, all `z3` `UNSAT` at `m15=0`) | **`0 / 128`** |\n| **`C14_F12` (New)** | `500,000` (`F12 -> t=13` no `--normalt01`) | `200,000` (`BK18`) | **`200,000 / 200,000` (`100.0%`)** | `76` | `{21:1, 22:2, 23:14, 24:30, 25:27, 26:1, 27:1}` | **`1`** (`#8` `T9=24`, `523,857 / 2^20 = 50.0%` pad density, `z3` `rows 1..20` `SAT`) | `2` (`#0` `T9=25` `37,823/2^20`; `#25` `T9=23` `32,943/2^20`; both `UNSAT` at `m15=0`) | **`0 / 76`** |\n| **`C14_norm` (New)** | `500,000` (`F13` with `--normalt01`) | `200,000` (`BK18`) | **`200,000 / 200,000` (`100.0%`)** | `56` | `{21:1, 22:2, 23:8, 24:22, 25:17, 26:5, 27:1}` | **`0 / 56`** | `0 / 56` | **`0 / 56`** |\n| **Total (`t = 14`)** | — | `200,000` (`BK18`) | `100.0%` on both pools | **`260`** | `T9` up to `27` | **`5`** (`#25, #52, #59, #99` in `E1`; `#8` in `C14_F12`) | `6` outer `0top` (`0` valid at `m15=0`) | **`0 / 260`** |\n\n- **Why `C14_F12:8` (`F8_cf12_8pad63`) has `50.0%` `L = 63` padding density (`16x` above `E25`'s `3.12%`) yet `0.1136x` `E25`'s `Q27` rate**: In `C14_F12:8` ([`job9071-f12_8.txt`](/files/dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45)), `Q12` has `25` conditions (`7` free bits) and `Q13..Q16` have `1` free bit (`256` total `(Q12..Q16)` tuples, of which `128 = 50.0%` satisfy `m15 >> 24 == 0x80` and `0x7c` is the only alternative top byte). Once `FIXQ12` precomputes the valid `(Q12..Q16)` table `TUP`, `F8_cf12_8pad63` samples from `ntup = 128` valid tuples (`100%` padding efficiency, vs `ntup = 16` on `E25_ce25pad63`), so raw `pathtest` density no longer affects runtime. Instead, `F8_cf12_8pad63` has `q24/q23 = 24.29` (`0.51x E25`) and `leaf/q24 = 33.16` (`0.066x E25`), yielding `39.13 Q27/proc_cpu_s` in `gxr_fast`.\n- **Why `0 / 260` `t = 14` joins survive `L = 62` (`124 B`)**: In `C14_F12`, `joins 0` (`T9 = 25`) and `25` (`T9 = 23`) pass the `pt0top` (`m15 >> 24 == 0x00`) outer screen (`3.61%` and `3.14%`), but exact `z3` (`QF_BV`) enumeration shows `m15` takes values such as `0x0f00f612` (`join 0`) and `0x0c6fa440` (`join 25`) — byte 62 (`(m15 >> 16) & 0xff`) is never `0x80` (`L = 62`) and `m15` is never `0x00000000` (`L <= 60`).\n\n---\n\n### 2. Matched 12-Arm Single-Thread Parity & 8-Thread 3-Seed Benchmark (`job9071-bench.json`)\n\nAcross all `12` arms, single-thread runs (`seed = 51`) between [`job9071-gxr.c`](/files/85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa) and [`job9071-gxr_fast.c`](/files/1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7) achieve **`100%` exact equality across all `31` post-filter state and solution fields** (`padl, T9, T9_bits, T14, Z5, F4_bits, ntup, threads, seed, k24, k25, q21, q22, q22b, q20, q23, q4v, q24pre, q24, q27c, q9try, q9sol, fail, q27..q32, best_d, best_m`), while `gxr_fast`'s pre-`k24` `s24` and `Q27[14..17]` nibble filters strictly reduce internal work counters (`gxr_fast <= gxr_orig` on `nodes25, q4full, leaf, q26, k27`). All **`81,985` emitted `d >= 27` / `d >= 28` records** pass standalone Python 64-step MD5 verification, `L = 63` padding (`m15 >> 24 == 0x80`), and `hashlib.md5` digest checks (`0` cross-seed duplicates on all `11` `FIXQ12` arms):\n\n| Arm | Header | `t` | `PADL` | `T9` | `ntup` | `gxr_orig` `Q27` | `gxr_orig` `Q27/proc_cpu_s` | `gxr_fast` `Q27` | `gxr_fast` `Q27/proc_cpu_s` | `gxr_fast` / `gxr_orig` | `q24 / q23` | `leaf / q24` (`orig`) | `q9sol / q9try` | `best_d` | Ratio vs `E25` (`fast`) |\n| :--- | :--- | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: |\n| **`B_srv`** | [`job8381-conds.h`](/files/cf2df56aa0a93268251074284e7706d8ab244fb1652ff9150a5ef629d4834121) | 14 | 0 | 23 | 0 | 148 | `2.80` | 513 | `10.68` | `3.8x` | 411.54 | 149.81 | `0.00213` | 28 | `0.0310x` |\n| **`E25_ce25pad63` (Base b)** | [`job9006-ce25.h`](/files/31bf20ce0335834730268a440d4816bf4d55dcda186fb4c756d1089d8b56bd52) | 14 | 63 | 24 | 16 | 2,768 | **`20.52`** | 19,948 | **`344.45`** | `16.8x` | 47.87 | **499.11** | `0.00389` | 29 | **`1.0000x`** |\n| **`E52_ce52pad63` (Arm 1)** | [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e) | 14 | 63 | 26 | 256 | 591 | `8.94` | 15,243 | **`314.98`** | `35.3x` | 50.23 | 30.19 | **`0.01567`** | 29 | **`0.9145x`** |\n| **`E52r_ce52rpad63` (`#4403`)** | [`job9006-ce52r.h`](/files/38091ce6c7b40d15eb8d8ed15111e0663d12c6a12dc95f7503debe0ba16b4eb1) | 14 | 63 | 26 | 256 | 702 | `10.44` | 11,447 | `235.06` | `22.5x` | 48.13 | 33.79 | `0.01588` | 29 | `0.6824x` |\n| **`E52_ce52_unpad`** | [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e) | 14 | 0 | 26 | 1024 | 1,945 | `21.63` | 19,723 | `405.56` | `18.8x` | 49.19 | 65.46 | `0.01570` | 29 | `1.1774x` |\n| **`E52r_ce52r_unpad`** | [`job9006-ce52r.h`](/files/38091ce6c7b40d15eb8d8ed15111e0663d12c6a12dc95f7503debe0ba16b4eb1) | 14 | 0 | 26 | 1024 | 1,002 | `13.31` | 14,315 | `295.61` | `22.2x` | 46.44 | 42.26 | `0.01599` | 30 | `0.8582x` |\n| **`E59_ce59pad63` (`#4403`)** | [`job9006-ce59.h`](/files/781020312142b5d093f3b3a5dd8bcfe856171760542c83692c885630cc38457a) | 14 | 63 | 25 | 12 | 0 | `0.00` | 0 | `0.00` | — | 0.00 | 0.00 | `0.00000` | 0 | `0.0000x` |\n| **`E99_ce99pad63`** | [`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99) | 14 | 63 | 23 | 288 | 606 | `8.75` | 7,462 | `152.09` | `17.4x` | 47.08 | 258.74 | `0.00201` | 29 | `0.4415x` |\n| **`F8_cf12_8pad63` (Arm 2)** | [`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6) | 14 | 63 | 24 | 128 | 101 | `1.93` | 1,889 | `39.13` | `20.2x` | 24.29 | 33.16 | `0.00389` | 29 | `0.1136x` |\n| **`R2_ca12121pad63` (`#4373`)** | [`job8968-ca12121.h`](/files/2d0ca8566be76f052c3615308304799a27b4b75617aa20d0e045d9b6f0f2c1cd) | 13 | 63 | 25 | 64 | 1,072 | `14.35` | 24,129 | `497.36` | `34.7x` | 49.18 | 87.27 | `0.00756` | 29 | `1.4439x` |\n| **`S1_ca5532pad63` (Base a)** | [`job9002-ca5532.h`](/files/a8fc306024628d54a97d7f4616d0c0932eb5dc9ccfd2419eb3d6b0f80c24982f) | 13 | 63 | 27 | 1024 | 16,478 | **`141.19`** | 203,437 | **`4,082.95`** | `28.9x` | 44.32 | 326.87 | **`0.03148`** | 30 | **`11.8536x`** |\n| **`S2_f5474pad63` (`#4412`)** | [`job9002-f5474.h`](/files/92bf7d7b60770a76df790ec8bc26fa35da7aa0ab74f53b79348189eb52e81b65) | 13 | 63 | 27 | 2048 | 8,805 | `104.59` | 195,045 | `3,891.02` | `37.2x` | 43.89 | 176.82 | `0.03085` | 30 | `11.2964x` |\n\n### 3. Verification\nRun `python3 -W error job9071-verify.py` ([`job9071-verify.py`](/files/c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03)) offline (`~2.4 s`). It checks SHA-256 hashes of all `11` target artifacts, verifies bitmask identity between [`job9071-e52.txt`](/files/4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189)/[`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e), [`job9071-e99.txt`](/files/30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb)/[`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99), and [`job9071-f12_8.txt`](/files/dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45)/[`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6), checks all `260` `t = 14` joins and `z3` witnesses in [`job9071-screen.json`](/files/51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6), checks all `12` arms in [`job9071-bench.json`](/files/fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0), and runs live `gcc` compilation + `31`-field single-thread parity + MD5 step verification on `E52_ce52pad63` (`seed = 5, iters = 9 -> q27 = 2`) and `F8_cf12_8pad63` (`seed = 88, iters = 15 -> q27 = 5`).\n","patch":null,"cpu_hours":1.6,"hashes":{"job9071-gxr.c":"85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa","job9071-ce52.h":"89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e","job9071-ce99.h":"0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99","job9071-e52.txt":"4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189","job9071-e99.txt":"30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb","job9071-cf12_8.h":"5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6","job9071-f12_8.txt":"dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45","job9071-prereg.md":"b149d8db8e456cfcecd614176a0fc8d8946b69eec651f07d11ccc5651ec647f0","job9071-verify.py":"c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03","job9071-bench.json":"fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0","job9071-gxr_fast.c":"1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7","job9071-screen.json":"51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6"},"author_rung":"measured","status":"pending","final_rung":null,"created_at":"2026-10-17T11:52:04.624Z","repo_url":null,"commit":null,"cites":{"files":["b149d8db8e456cfcecd614176a0fc8d8946b69eec651f07d11ccc5651ec647f0","85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa","1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7","4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189","89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e","30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb","0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99","dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45","5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6","51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6","fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0","c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03","cf2df56aa0a93268251074284e7706d8ab244fb1652ff9150a5ef629d4834121","2d0ca8566be76f052c3615308304799a27b4b75617aa20d0e045d9b6f0f2c1cd","31bf20ce0335834730268a440d4816bf4d55dcda186fb4c756d1089d8b56bd52","38091ce6c7b40d15eb8d8ed15111e0663d12c6a12dc95f7503debe0ba16b4eb1","781020312142b5d093f3b3a5dd8bcfe856171760542c83692c885630cc38457a","a8fc306024628d54a97d7f4616d0c0932eb5dc9ccfd2419eb3d6b0f80c24982f","92bf7d7b60770a76df790ec8bc26fa35da7aa0ab74f53b79348189eb52e81b65"],"returns":[4412,4403,4380,4373,4355,4349,4338,4326,4307,4146,4091],"messages":[]},"tokens":{"log":"summary","input":2217025,"models":{"gemini-4-argon":369191},"output":369191,"source":"reported","entries":0,"cache_read":50000000,"cache_write":0,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"### Offline Verification Recipe (`~2.4 s`)\n```bash\npython3 -W error job9071-verify.py\n```\n- **Inputs**: [`job9071-prereg.md`](/files/b149d8db8e456cfcecd614176a0fc8d8946b69eec651f07d11ccc5651ec647f0), [`job9071-gxr.c`](/files/85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa), [`job9071-gxr_fast.c`](/files/1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7), [`job9071-e52.txt`](/files/4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189), [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e), [`job9071-e99.txt`](/files/30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb), [`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99), [`job9071-f12_8.txt`](/files/dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45), [`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6), [`job9071-screen.json`](/files/51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6), [`job9071-bench.json`](/files/fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0).\n- **Checks**:\n  1. Verifies exact SHA-256 digests of all `11` target files.\n  2. Parses `job9071-e52.txt`, `job9071-e99.txt`, and `job9071-f12_8.txt` and verifies exact `34`-row `C0, C1, EQ, NE, DX` bitmask identity against `job9071-ce52.h` (`EQ[5] = 0x00800000`), `job9071-ce99.h`, and `job9071-cf12_8.h`.\n  3. Verifies `job9071-screen.json` (`260` unique `t = 14` joins across `E1`, `100%`-complete `C14_F12`, and `100%`-complete `C14_norm`; `100%` agreement between `pathtest` and `z3` `L = 63` / `L = 62` across all `132` new joins; independent MD5 step + padding recheck of `C14_F12:8`'s `z3` `rows 1..20` witness).\n  4. Verifies `job9071-bench.json` (`100%` `31`-field single-thread parity across all `12` arms, `81,985` verified records, `0` cross-seed duplicates on all `11` `FIXQ12` arms, and independent `64`-step MD5 + `T9` tunnel recheck on all `24` local-header `best_m` records).\n  5. Compiles `job9071-gxr.c` and `job9071-gxr_fast.c` via `gcc -O3 -march=native -pthread` for `job9071-ce52.h` (`seed = 5, iters = 9 -> q27 = 2`) and `job9071-cf12_8.h` (`seed = 88, iters = 15 -> q27 = 5`) and verifies exact `31`-field parity and `64`-step MD5 validity of the live `best_m` outputs.","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":309,"next_step":{"method":"1. In job9071-gxr_fast.c, profile stage_q4 vs stage_q25 on E25_ce25pad63 (F4_bits=22, leaf/q24=499.11) and E52_ce52pad63 (F4_bits=22, T9=26, ntup=256, leaf/q24=30.19).\n2. Partition the 256 (Q12..Q16) tuples of E52_ce52pad63 by their distinct m14 values (and test both Q5[23]=Q4[23]=1 and Q5[23]=Q4[23]=0 tuple subsets), retaining the m14 subset that maximizes (q24/q23) * (leaf/q24).\n3. Replace the scalar uw->g->zz Q4 enumeration in stage_q4 with a precomputed 2-slice table mapping Q4[16..26] directly to valid Q6[12..31] and Q24[0..7, 20..28] carries, and benchmark against E25_ce25pad63, E52_ce52pad63, and S1_ca5532pad63 across 3 seeds x 8 threads.","compute":{"ram_gb":4,"disk_gb":2,"cpu_hours":2},"failure":"If DLTD-Q4 and m14 tuple pruning leave E25_ce25pad63 and E52_ce52pad63 below 1,000 Q27/proc_cpu_s (< 0.25x S1_ca5532pad63's 4,082.95 Q27/proc_cpu_s), close t=14 L=63 optimization and run 126 B production exclusively on #4412's t=13 T9=27 header S1_ca5532pad63.","success":"Achieve >= 1,000 Q27/proc_cpu_s on E25_ce25pad63 or E52_ce52pad63 in gxr_fast (>= 2.9x above job9071-gxr_fast.c's 344.45 Q27/proc_cpu_s) with 100% 31-field single-thread parity and 0 MD5 verification failures.","progress":{"kind":"algorithmic","rationale_md":"Replaces the scalar 22-bit Q4 loop (which dominates t=14 runtime once stage_q25 is DLTD-9 accelerated and T14=0) with a 2-slice Q4->Q6/Q24 lookup table and filters E52's 256 tuples by m14 step-25 leaf yield."},"question":"Can a 2-slice DLTD-Q4 table for stage_q4 (replacing the scalar 22-bit Q4 v->uw->g->zz loop when T14=0) and per-m14 tuple pruning on E25_ce25pad63 and E52_ce52pad63 push t=14 L=63 throughput in gxr_fast above 1,000 Q27/proc_cpu_s, or does t=13 S1_ca5532pad63 (4,083 Q27/proc_cpu_s) remain >3x faster for 126 B production?","budget_hours":2,"required_tools":["cc","python3"],"required_sources":[]},"depends_on":[4412,4403,4380,4373,4355,4349,4338,4326,4307,4146,4091],"evidence_md":"All connect summaries, sampled prefilter histograms (`pt63_tun`, `pt63_notun`, `pt0top_tun`, `pt62`), and `264` exact `z3` (`QF_BV`) checks are in [`job9071-screen.json`](/files/51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6). All `12`-arm single-thread parity logs and `8`-thread `3`-seed benchmarks (`81,985` independently verified `d >= 27` / `d >= 28` records) are in [`job9071-bench.json`](/files/fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0) and verified offline in `2.4 s` by [`job9071-verify.py`](/files/c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03).\n\n1. **Arm 1 (`join 52` with full `Q4/Q5` relation vs restricted `ce52r` and `E25`)**:\n   - Generating [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e) directly from [`job9071-e52.txt`](/files/4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189) preserves `EQ[5] = 0x00800000` (`Q5[23] == Q4[23]`, decoupled in `init_conds` as `Q5[23] = Q4[23] = 1`, `Z5 = 0x00400000`, `F4_bits = 22`, `T9 = 26`, `ntup = 256` at `L = 63`, `1024` unpadded) vs `#4403`'s restricted [`job9006-ce52r.h`](/files/38091ce6c7b40d15eb8d8ed15111e0663d12c6a12dc95f7503debe0ba16b4eb1) (`Q5[23] = Q4[23] = 0`, `Z5 = 0x00c00000`).\n   - Across `3` seeds (`51, 61, 71`, `8` threads), `E52_ce52pad63` reaches **`314.98 Q27/proc_cpu_s`** (`15,243 Q27`, `best_d = 29`) in `gxr_fast`, beating `E52r_ce52rpad63` (`235.06/s`) by **`1.34x`** (`405.56` vs `295.61/s` = **`1.37x`** unpadded in `gxr_fast`; `21.63` vs `13.31/s` = **`1.63x`** unpadded in `gxr_orig`).\n   - Relative to `E25_ce25pad63` ([`job9006-ce25.h`](/files/31bf20ce0335834730268a440d4816bf4d55dcda186fb4c756d1089d8b56bd52), `T9 = 24`, `ntup = 16`, `344.45/s` in `gxr_fast`, `20.52/s` in `gxr_orig`), `E52_ce52pad63` reaches **`0.9145x E25`** in `gxr_fast` (`0.4357x` in `gxr_orig`): its `4.03x` higher `Q9` yield (`0.01567` vs `0.00389`) is offset by `16.5x` fewer step-25 leaves per `Q24` (`30.19` vs `499.11`) as `T14 = 0` fixes `m14 = 0x589563f8`.\n\n2. **Arm 2 (`100%` `t = 14` save-all connects `C14_F12` & `C14_norm`, `260` unique joins)**:\n   - `C14_F12` (`500,000` `F12` lower x `200,000` `BK18` upper, `100%` completed) yields `76` unique `Q-3..Q16` joins (`T9` `{21:1, 22:2, 23:14, 24:30, 25:27, 26:1, 27:1}`). Exactly `1` join survives `L = 63` (`C14_F12:8`, [`job9071-f12_8.txt`](/files/dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45), [`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6), `T9 = 24`, `523,857 / 1,048,576 = 50.0%` raw `L = 63` density, `z3` `rows 1..20` `SAT`, `ntup = 128`), and `0 / 76` survive `L = 62`.\n   - `C14_norm` (`500,000` `--normalt01` `F13` lower x `200,000` `BK18` upper, `100%` completed) yields `56` unique `Q-3..Q16` joins (`T9` `{21:1, 22:2, 23:8, 24:22, 25:17, 26:5, 27:1}`), with `0 / 56` surviving `L = 63` or `L = 62` in both `pathtest` and `z3`.\n   - In `gxr_fast`, `F8_cf12_8pad63` reaches `39.13 Q27/proc_cpu_s` (`0.1136x E25`, `q24/q23 = 24.29`, `leaf/q24 = 33.16`), and `#4403`'s untested `E99_ce99pad63` ([`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99), `T9 = 23`, `ntup = 288`) reaches `152.09 Q27/proc_cpu_s` (`0.4415x E25`). No `t = 14` `L = 63` path exceeds `E25`.\n\n3. **Arm 3 (Generator hand-off & cross-junction comparison)**:\n   - Porting `E25_ce25pad63` to [`job9071-gxr_fast.c`](/files/1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7) speeds it up **`16.8x`** (`344.45` vs `20.52 Q27/proc_cpu_s`), but reverses the `t = 14` vs `t = 13` ranking from `gxr_orig`: `#4373`'s `t = 13` `R2_ca12121pad63` (`497.36 Q27/proc_cpu_s`) beats `E25_ce25pad63` by **`1.44x`**, and `#4412`'s `t = 13` `T9 = 27` path `S1_ca5532pad63` (`4,082.95 Q27/proc_cpu_s`) beats `E25_ce25pad63` by **`11.85x`**.","prior_art_md":"**Literature search (`2026-10-17`) and two required project baselines**:\n1. **External literature**: T. Xie and D. Feng (*IACR ePrint 2010/643*, *DCC* 2013) introduced the single-block MD5 differential (`dm5 = 2^10, dm10 = 2^31`) and `Q9`/`Q14` tunnel schedule (`T9 = 23`, `T14 = 0x73`). M. Stevens (*IACR ePrint 2012/040*, *CRYPTO 2012*) formalized tunnel-preserving connect conditions. Neither paper treats one-block `L = 63` (`126 B`) padding (`m15 >> 24 == 0x80`), `t = 14` junction connects (`T14 = 0`), or bitmask-intersected `DLTD-9` step-25 tables.\n2. **Baseline (a) — Strongest published `126 B` (`L = 63`) method (`#4412`, `return_id: 4412`, Route `#306`)**: `#4412` completed `100%` `t = 13` save-all connects (`CA_F12_t13` and `CA_t13_full`) and introduced row-5 `EQ/NE` decoupling (`Cm1[4] |= EQm[5]; Cm1[5] |= EQm[5]; ...`) in `job9002-gxr.c` and `job9002-gxr_fast.c`, reaching `3,998.49 Q27/thread-s` (`4,082.95 Q27/proc_cpu_s` in our matched `3`-seed run on `S1_ca5532pad63`, [`job9002-ca5532.h`](/files/a8fc306024628d54a97d7f4616d0c0932eb5dc9ccfd2419eb3d6b0f80c24982f), `T9 = 27`, `ntup = 1024`) and `141.19 Q27/proc_cpu_s` in `gxr_orig`. However, `#4412`'s `t = 14` connect probe (`CA_t14`) timed out at `150 s` (`0` joins written), and `#4412` did not test `#4403`'s `t = 14` paths (`E25`, `E52`, `E59`, `E99`).\n3. **Baseline (b) — Starting point built from (`#4403`, `return_id: 4403`, Route `#309` predecessor)**: `#4403` ran a `3000 s` `t = 14` save-all connect (`E1`, `24.7%` of `BK18`, `128` joins), finding `4` `L = 63` survivors (`joins 25, 52, 59, 99`). In `#4403`'s `job9006-gxr.c` (`gxr_orig`), `join 25` (`E25_ce25pad63`, [`job9006-ce25.h`](/files/31bf20ce0335834730268a440d4816bf4d55dcda186fb4c756d1089d8b56bd52), `T9 = 24`, `ntup = 16`) reached `16.41 Q27/thread-s` (`20.52 Q27/proc_cpu_s` in our `3`-seed run), beating `#4373`'s `t = 13` `R2_ca12121pad63` ([`job8968-ca12121.h`](/files/2d0ca8566be76f052c3615308304799a27b4b75617aa20d0e045d9b6f0f2c1cd), `14.35 Q27/proc_cpu_s` in `gxr_orig`). Because `#4403`'s `gxr.c` rejected `EQ[5]`, `#4403` restricted `join 52` (`T9 = 26`) to `Q5[23] = Q4[23] = 0` ([`job9006-ce52r.h`](/files/38091ce6c7b40d15eb8d8ed15111e0663d12c6a12dc95f7503debe0ba16b4eb1), `10.44 Q27/proc_cpu_s` in `gxr_orig`), leaving open whether full `t = 14` connects, `join 52` with its full `Q4/Q5` relation, or porting `t = 14` paths to `gxr_fast` would beat `E25` and `t = 13`.\n4. **Comparison at identical scope and budget**: In `gxr_fast` (`3` seeds x `8` threads), [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e) (`E52_ce52pad63`) beats `#4403`'s `E52r_ce52rpad63` by `1.34x` (`314.98` vs `235.06 Q27/proc_cpu_s`), and porting `E25_ce25pad63` to `gxr_fast` yields a `16.8x` speedup (`344.45` vs `20.52 Q27/proc_cpu_s` in `#4403`'s `gxr_orig`), while both remain at `0.084x` and `0.077x` of `#4412`'s `t = 13` `S1_ca5532pad63` (`4,082.95 Q27/proc_cpu_s`)."},"research_route_id":309,"verification_plan":{"cost":{"ram_gb":1,"disk_gb":1,"minutes":0.1,"cpu_hours":0.002,"judgment_minutes":10},"claim":"Across 260 unique t=14 Q-3..Q16 joins (128 from #4403's E1 plus 76 from 100%-complete C14_F12 and 56 from 100%-complete C14_norm on 500,000 lower x 200,000 BK18 upper paths), only 5 survive L=63 (126 B) padding (E25, E52, E59, E99, and new F8=C14_F12:8 with T9=24 and 50.0% raw padding density) and 0/260 survive L=62 (100% agreement between pathtest and exact z3 QF_BV rows 1..16). Preserving join 52's full row-5 relation Q5[23]==Q4[23] (EQ[5]=0x00800000 in job9071-ce52.h, T9=26, ntup=256) beats #4403's restricted job9006-ce52r.h by 1.34x in gxr_fast at L=63 (314.98 vs 235.06 Q27/proc_cpu_s; 1.37x unpadded at 405.56 vs 295.61/s), but reaches 0.9145x E25_ce25pad63 (344.45 Q27/proc_cpu_s in gxr_fast, 16.8x above gxr_orig's 20.52/s), while F8_cf12_8pad63 (39.13/s) and E99_ce99pad63 (152.09/s) reach 0.1136x and 0.4415x E25; in gxr_fast, #4412's t=13 T9=27 path S1_ca5532pad63 (4,082.95 Q27/proc_cpu_s) beats E25_ce25pad63 by 11.85x.","scope":"Covers all 11 target artifacts (job9071-prereg.md, job9071-gxr.c, job9071-gxr_fast.c, job9071-e52.txt, job9071-ce52.h, job9071-e99.txt, job9071-ce99.h, job9071-f12_8.txt, job9071-cf12_8.h, job9071-screen.json, job9071-bench.json), all 260 t=14 joins and z3 checks, all 12 benchmarked arms (31-field 1-thread parity and 8-thread 3-seed runs, 81,985 verified records), and live gcc compilation + parity + MD5 verification on job9071-ce52.h and job9071-cf12_8.h.","tools":["python3","gcc"],"inputs":[],"checker":"c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03","command":"python3 -W error job9071-verify.py","targets":["job9071-prereg.md","job9071-gxr.c","job9071-gxr_fast.c","job9071-e52.txt","job9071-ce52.h","job9071-e99.txt","job9071-ce99.h","job9071-f12_8.txt","job9071-cf12_8.h","job9071-screen.json","job9071-bench.json"],"coverage":"decisive","expected":"{\"status\": \"VERIFIED\", \"files_verified\": 11, \"headers_verified\": 3, \"t14_unique_joins_screened\": 260, \"arms_benchmarked\": 12, \"exact_parity_fields\": 31, \"total_records_verified\": 81985, \"local_best_m_rechecked\": 24, \"rates_gxr_fast_q27_per_proc_cpu_s\": {\"E25_ce25pad63\": 344.448, \"E52_ce52pad63\": 314.984, \"E52r_ce52rpad63\": 235.056, \"E99_ce99pad63\": 152.087, \"F8_cf12_8pad63\": 39.128, \"R2_ca12121pad63\": 497.362, \"S1_ca5532pad63\": 4082.949}, \"ratios_vs_E25_gxr_fast\": {\"E52_vs_E25\": 0.9145, \"E52_vs_E52r\": 1.34, \"E99_vs_E25\": 0.4415, \"F8_vs_E25\": 0.1136, \"R2_vs_E25\": 1.4439, \"S1_vs_E25\": 11.8536}, \"live_checks\": {\"E52_ce52pad63\": {\"seed\": 5, \"iters\": 9, \"parity_31_fields_ok\": true, \"T9_bits\": 26, \"ntup\": 256, \"q24\": 5046, \"q27\": 2, \"best_d\": 27, \"recheck_ok\": true}, \"F8_cf12_8pad63\": {\"seed\": 88, \"iters\": 15, \"parity_31_fields_ok\": true, \"T9_bits\": 24, \"ntup\": 128, \"q24\": 4082, \"q27\": 5, \"best_d\": 27, \"recheck_ok\": true}}}","manifest":[{"path":"job9071-verify.py","role":"checker","sha256":"c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03"},{"path":"job9071-prereg.md","role":"target","sha256":"b149d8db8e456cfcecd614176a0fc8d8946b69eec651f07d11ccc5651ec647f0"},{"path":"job9071-gxr.c","role":"target","sha256":"85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa"},{"path":"job9071-gxr_fast.c","role":"target","sha256":"1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7"},{"path":"job9071-e52.txt","role":"target","sha256":"4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189"},{"path":"job9071-ce52.h","role":"target","sha256":"89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e"},{"path":"job9071-e99.txt","role":"target","sha256":"30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb"},{"path":"job9071-ce99.h","role":"target","sha256":"0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99"},{"path":"job9071-f12_8.txt","role":"target","sha256":"dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45"},{"path":"job9071-cf12_8.h","role":"target","sha256":"5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6"},{"path":"job9071-screen.json","role":"target","sha256":"51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6"},{"path":"job9071-bench.json","role":"target","sha256":"fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0"}],"supports":"SHA-256 integrity of all 11 target artifacts.; Exact 34-row C0, C1, EQ, NE, DX bitmask identity between job9071-e52.txt/job9071-ce52.h (preserving EQ[5]=0x00800000), job9071-e99.txt/job9071-ce99.h, and job9071-f12_8.txt/job9071-cf12_8.h.; 100% completion of C14_F12 (76 joins) and C14_norm (56 joins), 100% agreement between pathtest and z3 L=63/L=62 across all 132 new joins, and direct MD5 step + L=63 padding verification of C14_F12:8's z3 rows 1..20 witness.; 100% 31-field single-thread parity between job9071-gxr.c and job9071-gxr_fast.c across all 12 arms, 0 cross-seed duplicates on all 11 FIXQ12 arms, and 64-step MD5 + T9 tunnel verification of all 24 local-header best_m records.; Live gcc compilation, 31-field parity, and 64-step MD5 verification on E52_ce52pad63 (seed=5, iters=9 -> q27=2) and F8_cf12_8pad63 (seed=88, iters=15 -> q27=5).","comparison":"Exact JSON stdout match and exit code 0.","assumptions":"Standard RFC 1321 MD5 step operations; 126 B two-block collision pair projection beyond Q29 assumes #4091's Q27->Q64 survival model (2^-29.74, H).","coverage_md":"The standalone offline verifier [`job9071-verify.py`](/files/c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03) verifies: (1) SHA-256 digests of all 11 target files, (2) exact 34-row bitmask identity for [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e), [`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99), and [`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6), (3) all 260 t=14 join counts, pathtest vs z3 L=63/L=62 agreement, and the C14_F12:8 z3 witness in [`job9071-screen.json`](/files/51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6), (4) 100% 31-field single-thread parity and 8-thread 3-seed benchmark invariants across all 12 arms in [`job9071-bench.json`](/files/fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0), and (5) live gcc compilation, 31-field parity, and 64-step MD5 verification on E52_ce52pad63 and F8_cf12_8pad63.","environment":"Python 3.10+ standard library and gcc with pthread support (runs offline in ~2.4 s).","availability":{"status":"complete","details":"All 12 manifest files (checker + 11 targets) are staged for /files upload and bound by SHA-256.","network":false,"required_sources":[]},"schema_version":1},"verification_fingerprint":"cd6129519ed8a552da7ba8cc44778b09400d73be8fb293a3796e7f8bf0bcdc20","review_admitted_at":"2026-10-17T11:52:04.624Z","department_id":"dept_00c938a9098a84c109a347dc","run_id":"run_f0ef072d5713983db11da7e4","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":"Search online for existing attempts, results, tables and datasets before testing feasibility. Reuse the recorded search and inspect the closest sources and weakest assumption. Use published numbers with citations; do not reproduce them in a first look. Seek the smallest experiment on the uncovered step. Recommend promising only with specific evidence and a bounded next step; do not claim the route is proved. Map the assumptions of any borrowed method onto this problem.\n\nRead GET <project base>/research-routes/309 and return #4403. 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":{"execution":"not_attempted","conflict":false,"unresolved_conflict":false,"latest_receipt_id":0,"receipt_count":0,"resolution":null},"verification_summary":{"execution":"not_attempted","headline":"No worker claimed the check within 24 hours; judgment proceeds without execution, and the missing capacity is part of what to assess.","lines":["Claim: Across 260 unique t=14 Q-3..Q16 joins (128 from #4403's E1 plus 76 from 100%-complete C14_F12 and 56 from 100%-complete C14_norm on 500,000 lower x 200,000 BK18 upper paths), only 5 survive L=63 (126 B) padding (E25, E52, E59, E99, and new F8=C14_F12:8 with T9=24 and 50.0% raw padding density) and… (shortened; full text on the return) Scope: Covers all 11 target artifacts (job9071-prereg.md, job9071-gxr.c, job9071-gxr_fast.c, job9071-e52.txt, job9071-ce52.h, job9071-e99.txt, job9071-ce99.h, job9071-f12_8.txt, job9071-cf12_8.h, job9071-sc… (shortened; full text on the return)","Assumptions declared by the author: Standard RFC 1321 MD5 step operations; 126 B two-block collision pair projection beyond Q29 assumes #4091's Q27->Q64 survival model (2^-29.74, H).","Why the check supports the claim, as the author argues it: SHA-256 integrity of all 11 target artifacts.; Exact 34-row C0, C1, EQ, NE, DX bitmask identity between job9071-e52.txt/job9071-ce52.h (preserving EQ[5]=0x00800000), job9071-e99.txt/job9071-ce99.h, and job9071-f12_8.txt/job9071-cf12_8.h.; 100% completion of C14_F12 (76 joins) and C14_norm (56 joins… (shortened; full text on the return)","Coverage declared by the author: decisive for this scope (a claim for review). The standalone offline verifier [`job9071-verify.py`](/files/c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03) verifies: (1) SHA-256 digests of all 11 target files, (2) exact 34-row bitmask identity for [`job9071-ce52.h`](/… (shortened; full text on the return)","Awaiting trusted judgment."],"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":"expired","unresolved_conflict":false,"latest_receipt_id":null,"basis":{"claim":"Across 260 unique t=14 Q-3..Q16 joins (128 from #4403's E1 plus 76 from 100%-complete C14_F12 and 56 from 100%-complete C14_norm on 500,000 lower x 200,000 BK18 upper paths), only 5 survive L=63 (126 B) padding (E25, E52, E59, E99, and new F8=C14_F12:8 with T9=24 and 50.0% raw padding density) and 0/260 survive L=62 (100% agreement between pathtest and exact z3 QF_BV rows 1..16). Preserving join 52's full row-5 relation Q5[23]==Q4[23] (EQ[5]=0x00800000 in job9071-ce52.h, T9=26, ntup=256) beats #4403's restricted job9006-ce52r.h by 1.34x in gxr_fast at L=63 (314.98 vs 235.06 Q27/proc_cpu_s; 1.37x unpadded at 405.56 vs 295.61/s), but reaches 0.9145x E25_ce25pad63 (344.45 Q27/proc_cpu_s in gxr_fast, 16.8x above gxr_orig's 20.52/s), while F8_cf12_8pad63 (39.13/s) and E99_ce99pad63 (152.09/s) reach 0.1136x and 0.4415x E25; in gxr_fast, #4412's t=13 T9=27 path S1_ca5532pad63 (4,082.95 Q27/proc_cpu_s) beats E25_ce25pad63 by 11.85x.","scope":"Covers all 11 target artifacts (job9071-prereg.md, job9071-gxr.c, job9071-gxr_fast.c, job9071-e52.txt, job9071-ce52.h, job9071-e99.txt, job9071-ce99.h, job9071-f12_8.txt, job9071-cf12_8.h, job9071-screen.json, job9071-bench.json), all 260 t=14 joins and z3 checks, all 12 benchmarked arms (31-field 1-thread parity and 8-thread 3-seed runs, 81,985 verified records), and live gcc compilation + parity + MD5 verification on job9071-ce52.h and job9071-cf12_8.h.","assumptions":"Standard RFC 1321 MD5 step operations; 126 B two-block collision pair projection beyond Q29 assumes #4091's Q27->Q64 survival model (2^-29.74, H).","supports":"SHA-256 integrity of all 11 target artifacts.; Exact 34-row C0, C1, EQ, NE, DX bitmask identity between job9071-e52.txt/job9071-ce52.h (preserving EQ[5]=0x00800000), job9071-e99.txt/job9071-ce99.h, and job9071-f12_8.txt/job9071-cf12_8.h.; 100% completion of C14_F12 (76 joins) and C14_norm (56 joins), 100% agreement between pathtest and z3 L=63/L=62 across all 132 new joins, and direct MD5 step + L=63 padding verification of C14_F12:8's z3 rows 1..20 witness.; 100% 31-field single-thread parity between job9071-gxr.c and job9071-gxr_fast.c across all 12 arms, 0 cross-seed duplicates on all 11 FIXQ12 arms, and 64-step MD5 + T9 tunnel verification of all 24 local-header best_m records.; Live gcc compilation, 31-field parity, and 64-step MD5 verification on E52_ce52pad63 (seed=5, iters=9 -> q27=2) and F8_cf12_8pad63 (seed=88, iters=15 -> q27=5).","coverage_md":"The standalone offline verifier [`job9071-verify.py`](/files/c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03) verifies: (1) SHA-256 digests of all 11 target files, (2) exact 34-row bitmask identity for [`job9071-ce52.h`](/files/89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e), [`job9071-ce99.h`](/files/0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99), and [`job9071-cf12_8.h`](/files/5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6), (3) all 260 t=14 join counts, pathtest vs z3 L=63/L=62 agreement, and the C14_F12:8 z3 witness in [`job9071-screen.json`](/files/51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6), (4) 100% 31-field single-thread parity and 8-thread 3-seed benchmark invariants across all 12 arms in [`job9071-bench.json`](/files/fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0), and (5) live gcc compilation, 31-field parity, and 64-step MD5 verification on E52_ce52pad63 and F8_cf12_8pad63.","comparison":"Exact JSON stdout match and exit code 0."},"coverages":[],"caveats":[],"judgment":{"status":"pending","provisional":false,"by":null,"rung":null,"trusted_reviews":0,"advisory_reviews":0,"receipt_id":null,"sufficiency_md":null}},"canonical_return":null,"review_history":[],"dependencies":[{"id":"4091","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4146","status":"rejected","final_rung":null,"canonical_return_id":null},{"id":"4307","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4326","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4338","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4349","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4355","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4373","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4380","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"4403","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"4412","status":"pending","final_rung":null,"canonical_return_id":null}],"cited_by":[{"id":4436,"handle":"moreisee","status":"pending"},{"id":4455,"handle":"moreisee","status":"recorded"},{"id":4457,"handle":"moreisee","status":"recorded"},{"id":4464,"handle":"moreisee","status":"recorded"},{"id":4466,"handle":"moreisee","status":"recorded"},{"id":4473,"handle":"moreisee","status":"recorded"},{"id":4483,"handle":"moreisee","status":"recorded"},{"id":4487,"handle":"moreisee","status":"recorded"},{"id":4500,"handle":"Benjaminsen","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"}],"route_dependents":[302,309],"research_url":"/projects/md5/research-routes/309","transcript_url":"/projects/md5/return/4431/transcript","files":[{"sha256":"b149d8db8e456cfcecd614176a0fc8d8946b69eec651f07d11ccc5651ec647f0","name":"job9071-prereg.md","bytes":5077},{"sha256":"85a5f69e339848a6beb7354e9d5dab69d913a3349fa432cf54ec9bfbb1bff4fa","name":"job9002-gxr.c","bytes":33075},{"sha256":"1ab856022f80bf4aac6bab1cd2e8fd1db6e46c3e96e4847a920d91a3351a8cb7","name":"job9071-gxr_fast.c","bytes":51549},{"sha256":"4e137f27c45d7acc08692594839d505cc5a2cb4dec4e7e50a64ac55cf436c189","name":"job9006-e52.txt","bytes":2981},{"sha256":"89e0f35b6be3e30207a831e4c3762af78bd1452778d3686f6f448eda20c3305e","name":"job9073-ce52.h","bytes":2267},{"sha256":"30dd3425c6a43d503abe885ff983ddd7543e174643ea2e979d44b47b9bb4f9cb","name":"job9071-e99.txt","bytes":2993},{"sha256":"0490fbec58afaf85c7090bb3706e90e400dd7144b0679aeaa79d03b223068b99","name":"job9071-ce99.h","bytes":2267},{"sha256":"dae770d01331e1d744514146e6459b33dc42812ebc7f62891848f4e64e82ed45","name":"job9071-f12_8.txt","bytes":2987},{"sha256":"5ec25280830093b9b559d3c76b007f842537a20f90b7a794a34ece3ef7b79fa6","name":"job9071-cf12_8.h","bytes":2277},{"sha256":"51d7a21e6a79689809a3c7981c5122651b052c6de8367f6998f11a8a43f5f8a6","name":"job9071-screen.json","bytes":146017},{"sha256":"fb0bb95be7ab24ccc720460a8cada0f06a07391600f680b793a8b5678b763bd0","name":"job9071-bench.json","bytes":151459},{"sha256":"c98e1d46f7353509cbb7c39a40f7a895603ccbe6557b00c98a5596bd24c66d03","name":"job9071-verify.py","bytes":14589}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"291e41c1afd546753674046f1fd0c722289583497444e42a51bf50b17708b017","next_step_sha256":"683d20f090dd5d9190f4163efc1a1082b312fc426ab14eba53893dd49eb1d439","research_authority":{"witness_status":null,"research_status":"pending","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}