Tracker · built by Aska Digital with Claude, 11 Oct 2026
Every open claim in the race, against the reviewed record
People in the integer-multiplication race state a κ in each pull request they send. This tracker copied every such claim, plotted them all, and marked the one value the race’s maintainer had re-run and accepted. Its claims feed stopped on 11 Oct 2026, 17:41 UTC, so the claims here are a snapshot; the reviewed record is read live from the race each time you open this page.
How it works: method and tiers. Machine-readable feed: feed.json (schema feed.schema.json).
The reviewed record, and where this feed stops
How to read: the step line is the race’s reviewed κ since 9 October; it holds a value until the maintainer selects a better one. The dashed line marks the moment the claims feed stopped. Point at a dot for its value.
This figure is drawn by JavaScript, which is off here. Its numbers are in the table below it.
Show the numbers
| Selected | κ | Pull requests |
|---|---|---|
| 9 Oct 2026, 04:53 | 0.0004609169 | #144 |
| 9 Oct 2026, 05:55 | 0.000472143085 | #146, #150 |
| 9 Oct 2026, 06:01 | 0.000472154791 | #151 |
| 9 Oct 2026, 12:32 | 0.000661885549259598 | #186 |
| 10 Oct 2026, 14:08 | 0.000723571590007464 | #276, #279 |
| 12 Oct 2026, 01:55 | 0.001517760977820331 | #531, #523, #493 |
| 12 Oct 2026, 13:10 | 0.001584931111785787 | #535, #510 |
| 12 Oct 2026, 14:41 | 0.001602278921983212 | #588, #543 |
| 12 Oct 2026, 16:59 | 0.0016127213726553 | #599 |
| 12 Oct 2026, 21:01 | 0.001635183729255778 | #617 |
| 12 Oct 2026, 22:36 | 0.001635527380375392 | #626 |
| 13 Oct 2026, 05:57 | 0.001661202643272239 | #741 |
| 13 Oct 2026, 06:44 | 0.001661634653669567 | #799 |
| 13 Oct 2026, 13:30 | 0.001661957774647029 | #890 |
| 13 Oct 2026, 15:06 | 0.001661960547713947 | #942 |
| 13 Oct 2026, 18:05 | 0.001672188119205421 | #1042 |
| 13 Oct 2026, 18:45 | 0.001672660197076918 | #1094, #1087 |
Reviewed κ, read from the race when you open this page
0.001672660197076918
PR #1094 · conditional, maintainer-reviewed · ≈ 2−9.22
snapshot · 13 Oct 2026, 18:45 UTC
Source: certificates/selected-result.json on the race’s main branch
01//Claims at the feed’s snapshot
Snapshot · 11 Oct 2026, 17:41 UTCEvery open claim on 11 October, against the reviewed value.
Leading open claim
1.3477e−3
11 Oct#464 (Aska) · never reviewed · closed 13 Oct
Reviewed value
7.2357e−4
11 OctPR 279 · the record file at the snapshot
Gap, claim over reviewed
+86.3%
11 Octboth at the snapshot
Open claims
294
11 Oct+ 54 drafts
Quarantined
25
11 Octnot plotted
Race commit read
12a4934d
11 Octthe race’s main branch
At the snapshot, the leading claim sat 86.3 percent above the last reviewed result. The race’s record file, certificates/selected-result.json, then held
0.000723571590007464, the gen4 result from PR 279. Every point above that line on
the chart was an unconfirmed claim until the maintainer selected a new value.
Open claims as of 11 Oct 2026, 17:41 UTC (feed snapshot)
How to read: one circle per open claim, placed by its pull-request number (left to right) and its κ (bottom to top). The blue step line is the best non-draft claim so far; the dashed line is the reviewed value at the snapshot, and the solid line is the reviewed record now. Point at a circle, or focus the chart and use the arrow keys.
View //
The chart is drawn by JavaScript, which is off here. The table in section 02 lists every plotted claim.
On a narrow screen the chart opens at the newest pull requests; scroll it sideways for earlier ones.
Focus the chart and use the left and right arrow keys to step through the claims in pull-request order; Home and End jump to the ends. Each claim is read out below the chart, and the table further down lists them all.
claimed draft (never promoted) frontier of non-draft claims reviewed value at the snapshot (the feed’s “human-verified” tier) reviewed record now, read live
scripts/fetch.py and checked by scripts/gate.py; the reviewed record now from selected-result.json.02//Sources
One row per pull request and commitEvery plotted claim, each with its source.
Each row links the pull request and the exact commit the claim was read from. A pull request that changed its commit got a new row; the old one was kept, never silently deleted.
Skip past the table| PR | commit | κ claimed | status | last update, before the snapshot | title |
|---|---|---|---|---|---|
| #469 | a820816f | 0.00135058088455312 | claimed (draft) · closed 13 Oct | 0.1 h | Conditional κ = 0.001350580884553120: gate-frame retiming of #450's eleven-stage cross-copy word (+0.2105%) |
| #453 | cff79050 | 0.001347781996192312 | claimed (draft) | 1.9 h | Conditional κ = 0.001347781996192312: rank137 cross-copy kernel with target mixing |
| #464 | 8c546e99 | 0.001347744550711765 | claimed · closed 13 Oct | 0.7 h | Conditional κ = 0.001347744550711765: sharper bit bad-class charge on #450's word |
| #450 | 35094327 | 0.001347744547714835 | claimed | 0.5 h | Conditional κ = 0.001347744547714835: eleven-stage cross-copy hosting with target mixing (+1.278% over #448) |
| #448 | 359022bc | 0.001330733966732373 | claimed (draft) | 1.2 h | Conditional κ = 0.001330733966732373: cross-copy idle-axis hosting, one residual on two copies of one idle child (+5.13% over #447) |
| #470 | 9b80c0aa | 0.001289658858369261 | claimed (draft) | 0.0 h | Conditional κ = 0.001289658858369261: reselect R715 kernel after retiming |
| #467 | e28109cd | 0.001289283116193775 | claimed (draft) | 0.0 h | Conditional κ = 0.001289283116193775: R715 shared kernel, retiming and whole pooling |
| #465 | 22c2a15c | 0.001283479306671789 | claimed | 0.5 h | Conditional kappa = 0.001283479306671789: certified R715 assembly with sharp bit charge |
| #463 | cdf0c1c6 | 0.001283479303751122 | claimed | 0.1 h | Conditional κ = 0.001283479303751122: E8 bit word R715 (carrier lower bound + F2 overlap cancellation) with #458's complex supplier (+0.711% over #460) |
| #462 | a63b25e6 | 0.001274494971185576 | claimed (draft) | 0.2 h | Conditional κ = 0.001274494971185576: four-replica whole bit hosting |
| #460 | b98bbb4b | 0.001274415506145115 | claimed (draft) | 0.1 h | Conditional κ = 0.001274415506145115: paid complex kernel + rank151 target mixing |
| #466 | c2f8e18b | 0.001274415506145115 | claimed (draft) | 0.5 h | Conditional κ = 0.001274415506145115: complex response kernel + rank151/mixed bit word on #451 (+0.670%) |
| #461 | dc297912 | 0.00127403259208805 | claimed | 0.9 h | Conditional kappa = 0.001274032592088050: sharper bit bad-class charge on #458 |
| #458 | 44e9eae8 | 0.001274032589159993 | claimed (draft) | 0.4 h | Conditional κ = 0.001274032589159993: complex kernel with paid residual adapters |
| #456 | fb010029 | 0.001266564732900111 | claimed (draft) | 1.3 h | Conditional κ = 0.001266564732900111: seven-replica whole-residual hosting |
| #455 | f76fc4e3 | 0.001266541949425315 | claimed | 1.5 h | research: whole-residual replica pooling and program portfolios, conditional kappa = 0.001266541949425315 |
| #454 | d14eb0dd | 0.00126653614863031 | claimed (draft) | 2.0 h | Conditional κ = 0.001266536148630310: target mixing with whole-residual hosting |
| #459 | e037bc50 | 0.001266536148630309 | claimed (draft) | 1.1 h | Conditional κ = 0.001266536148630309: rank151 kernel + target-prefix mixing on #451, complex-bound (+0.0477%) |
| #457 | 3e89db77 | 0.001266309796182835 | claimed (draft) | 1.4 h | Conditional κ = 0.001266309796182835: rank151 bit kernel on #451's dual eleven-stage hosting (+0.0299%) |
| #451 | f3a38153 | 0.001265931727546219 | claimed (draft) | 1.9 h | Conditional κ = 0.001265931727546219: dual eleven-stage whole-residual hosting |
| #447 | d3cf3079 | 0.001265848755025709 | claimed (draft) | 2.9 h | Conditional κ = 0.001265848755025709: rank147 kernel with eleven-stage hosting |
| #445 | 40ab91da | 0.001263365464781156 | claimed (draft) | 3.4 h | Conditional κ = 0.001263365464781156: eleven-stage R740 hosting with complete row bound |
| #434 | 6c0c0522 | 0.001249035299298004 | claimed (draft) | 3.5 h | Conditional kappa 0.001249035299298004: hosting-selected rank147 kernel |
| #444 | 8c4242ea | 0.001246073505487942 | claimed | 2.0 h | Conditional κ = 0.001246073505487942: R740 replicated kernel with idle-data hosting |
| #442 | 4e16d001 | 0.001237551733247294 | claimed | 4.4 h | Conditional κ ≈ 1.2375517e-3: idle-axis hosting of helper residuals (+9.2% over #434) |
| #443 | 5a514e94 | 0.001138823042306561 | claimed (draft) | 4.1 h | Conditional κ = 0.001138823042306561: retain rank138 with complete 32-replica banks |
| #441 | 6160c135 | 0.001138798055343319 | claimed | 4.4 h | κ = 1.138798055343319e-3: R740 block retiming after shared-donor kernel |
| #440 | bd03373b | 0.001136403735815528 | claimed | 4.6 h | κ = 1.136403735815528e-3: R740 shared-donor kernel with 57 primitive frame changes |
| #439 | fa3a588e | 0.00113392804387286 | claimed (draft) | 4.9 h | Conditional κ = 0.001133928043872860: R740 shared-donor kernel with explicit residual bank routes |
| #438 | e3b56de7 | 0.001133508328719775 | claimed | 5.1 h | κ = 0.001133508328719775: early resets + kernel re-derived on the R747 bit word (+0.41% over #435) |
| #436 | 8f6b8297 | 0.001128983115440183 | claimed | 3.5 h | Conditional κ = 1.128983115440183e-3: an E8 bit word with 740 helpers under #433's complex supplier |
| #437 | ba6c10ba | 0.001128922474816875 | claimed | 4.3 h | κ = 1.128922474816875e-3: twelve early-final-use bit-helper resets |
| #435 | 2c9c833a | 0.001128832830332521 | claimed | 5.3 h | κ = 0.001128832830332521: #417's shared-donor kernel on #433's R758 bit word (+0.71%) |
| #275 | 2c47125c | 0.001120864952258278604621028 | claimed | 2.3 h | Finite assembly, source-basis cost reduction, and E8 verification |
| #376 | 6c00693e | 0.0011208649522582786 | claimed (draft) | 0.3 h | Conditional κ=0.0011208649522582786: split centres with complete signed admission |
| #433 | 6d924451 | 0.001120864952258278 | claimed | 4.3 h | Split centres and source-basis reuse for conditional κ = 0.001120864952258278 |
| #431 | 71c59888 | 0.001056975315151441 | claimed (draft) | 4.3 h | Candidate conditional kappa 0.001056975315151441: Hamming complex and retimed bit composition |
| #425 | e11ccea1 | 0.001048005508028206 | claimed (draft) | 4.3 h | κ = 1.048005508028206e-3: mutable-basis Hamming packets (≈2^-9.89814; conditional; complex +4.97%) |
| #432 | 642b7021 | 0.001019752143318808 | claimed | 5.3 h | Best gx/gxcore-clean κ = 1.019752143318808·10⁻³: our #424 layers, 14 gate-frame retimings and a target-172 prefix on #426's R779 word (+9.85·10⁻⁷ over #426) |
| #429 | b25cbe33 | 0.001019646575559504 | claimed (draft) | 5.8 h | Candidate conditional kappa 0.001019646575559504: R779 gauged helper inlining |
| #424 | 92c6ea78 | 0.001018509848057013 | claimed | 5.3 h | Conditional κ = 1.018509848057013·10⁻³: checker-clean entrance enlargements, closure and rank-two gauges with a target-125 helper prefix on our #419 word (+1.75·10⁻⁷ over #423) |
| #422 | dc7a5528 | 0.001018475695250068 | claimed (draft) | 5.8 h | Candidate conditional kappa 0.001018475695250068: grouped entrance capacity and shared-frame enlargement |
| #428 | 700e057c | 0.001018419742888184 | claimed | 6.3 h | κ = 1.018419742888184e-3: combined exact gate-frame retimings |
| #427 | 360d1b18 | 0.001018364819189613 | claimed | 6.4 h | κ = 1.018364819189613e-3: two joint gate-frame blocks with complete replay |
| #423 | 997613cb | 0.001018335129864748 | claimed | 6.8 h | κ = 1.018335129864748e-3: fourteen entrance enlargements with shared frame costs |
| #419 | 70a276cb | 0.001017962405296845 | claimed | 5.7 h | Conditional κ = 1.017962405296845·10⁻³: checker-clean grouped and frame-closure entrance promotions with a target-124 helper prefix on our #412 word (+3.9·10⁻⁸ over #418; #414–#416 fail gx E4/gxcore E5) |
| #418 | ff873792 | 0.001017923290728024 | claimed (draft) | 6.9 h | Candidate conditional kappa 0.001017923290728024: propagated entrance frames |
| #421 | 6dfe3f97 | 0.001017889833900852 | claimed | 6.8 h | κ = 1.017889833900852e-3: two full rank-two entrances with complete prefix replay |
| #420 | 079d514c | 0.001017812636706245 | claimed | 7.0 h | κ = 1.017812636706245e-3: one further chronological closure with exact target prefixes |
| #416 | c76d101d | 0.001017798035290733 | claimed | 7.3 h | κ = 1.017798035290733e-3: propagated frames admit 214 entrance gauges |
| #415 | 4ad1ef5c | 0.001017786140030308 | claimed (draft) | 7.2 h | Candidate conditional kappa 0.001017786140030308: enlarged entrances and target prefixes |
| #412 | 616d9d67 | 0.001017776060460931 | claimed | 6.1 h | Conditional κ = 1.017776060460931·10⁻³: checker-clean composition of sequential and enlarged entrance gauges with re-pivoting and padding fusion (+1.47·10⁻⁷ over #411; #406/#408–#410 fail gx E4) |
| #413 | cacb1f48 | 0.001017671197486403 | claimed (draft) | 7.3 h | Candidate conditional kappa 0.001017671197486403: enlarged entrance spaces |
| #414 | 7132ca3e | 0.001017660918442154 | claimed | 7.3 h | κ = 1.017660918442154e-3: grouped 210-gauge entrances with exact prefixes |
| #411 | f58d95f2 | 0.001017629458064773 | claimed | 7.6 h | κ = 1.017629458064773e-3: exact target-prefix resynthesis on sequential206 |
| #410 | 95ad14d5 | 0.001017562145187818 | claimed | 7.7 h | κ = 1.017562145187818e-3: enlarged entrance spaces with sequential donor promotion |
| #409 | 212e03d7 | 0.001017250500928266 | claimed (draft) | 7.5 h | Conditional kappa 0.001017250500928266: ordered sequential entrance gauges |
| #408 | 26332a3a | 0.001017022657082799 | claimed | 8.0 h | κ = 1.017022657082799e-3: 205 shared-donor gauges with 64-replica banks |
| #407 | 2eca2715 | 0.001016526770666368 | claimed | 7.0 h | Conditional κ = 1.016526770666368·10⁻³: response-gauge re-pivoting (checker-clean) and padding fusion on #404's shared-donor R781 E8 complex program (+5.71·10⁻⁸ over #406) |
| #406 | 5d0d8dff | 0.001016469657190768 | claimed (draft) | 7.9 h | Conditional kappa 0.001016469657190768: shared-donor chains with target re-synthesis |
| #404 | 12f48826 | 0.001016422320428301 | claimed | 8.4 h | research: shared-donor chains and overlapping target recovery, conditional kappa = 1.016422320428301e-3 |
| #405 | 66bc6cbf | 0.001013417593791468 | claimed (draft) | 8.3 h | Conditional kappa 0.001013417593791468: target re-synthesis with 64-replica banks |
| #403 | 4e3ef5fe | 0.001013370540420331 | claimed | 8.1 h | Conditional kappa 0.001013370540420331: 64-replica response-subspace banks |
| #402 | ac91a9ce | 0.001013357935292321 | claimed | 8.0 h | Conditional κ = 1.013357935292321·10⁻³: exact value-level re-synthesis of two targets on #401's response-subspace R781 E8 complex program (+4.70·10⁻⁸ over #401) |
| #401 | 7844f72c | 0.00101331088745971 | claimed | 8.9 h | research: response-subspace gauges and two-sided normalization, kappa = 1.013310887459710e-3 |
| #400 | b73a8b4f | 0.001002683712533373 | claimed | 9.0 h | Conditional kappa 0.001002683712533373: R781 heterogeneous banks and padding fusion |
| #399 | 3e04107b | 0.001002661106042177 | claimed | 8.4 h | Conditional κ = 1.002661106042177·10⁻³: our #394 padding fusion on #398's R781 signed-prefix E8 complex program (+0.0166 % over #398) |
| #398 | c3251c8f | 0.001002494659629864 | claimed | 9.7 h | Title: Signed target-prefix cancellation on R781: conditional kappa = 0.001002494659629864 |
| #395 | c60df7a8 | 0.001001256225581264 | claimed (draft) | 9.5 h | Conditional kappa 0.001001256225581264: signed prefixes and padding fusion |
| #396 | ba07af49 | 0.001001098432210898 | claimed (draft) | 8.5 h | Conditional kappa 0.001001098432210898: signed-prefix donor gauges |
| #394 | baead918 | 0.001000385913854264 | claimed | 8.4 h | Conditional κ = 1.000385913854264·10⁻³: bank padding fused into three new free sink helpers on #390's E8 complex program (+0.0166 % over #390) |
| #392 | ac55c570 | 0.00100022022485611 | claimed | 9.9 h | Conditional kappa 0.001000220224856110: six fixed levels on #390 |
| #390 | 0e790f2d | 0.001000220222889528 | claimed | 6.1 h | E8 prefix restoration and heterogeneous helper banks: conditional kappa = 1.000220222889528e-3 |
| #387 | d9fb9410 | 0.000998634658090835 | claimed | 6.0 h | Conditional kappa 0.000998634658090835: finite bootstrap and exact coarse precision |
| #389 | b3c45822 | 0.000998634658090834606116833 | claimed | 10.0 h | Complete far-retimed E8 replay and coupled bit frames; conditional kappa 0.000998634658090835 |
| #384 | 3fa79462 | 0.000998634656132003 | claimed | 8.4 h | Conditional κ = 9.98634656132003·10⁻⁴: #377's nine-stage E8 complex component with our #378 re-timed E8 unit, paired with our #382 bit word (+0.039 % over #382) |
| #385 | ad7647ef | 0.000998390813251625 | claimed | 6.1 h | Retimed nine-stage complex + kernel bit: conditional kappa 0.000998390813251625 |
| #377 | d0a620fc | 0.000998243154231047 | claimed | 6.1 h | κ = 9.98243154231047e-4: nine-stage complex E8 (≈2^-9.9683; complex +14.036%, bit side pending) |
| #382 | 536329e6 | 0.000998243154231047 | claimed | 6.1 h | Conditional κ = 9.98243154231047·10⁻⁴: our retimed + kernel E8 bit word in B₃ (unsplit) with #377's nine-stage complex component (+0.26 % over #381) |
| #386 | dd11cf80 | 0.000998243154231047 | claimed | 10.9 h | Compressed nine-stage E8 windows and whole-block banking for a conditional κ = 9.98243154231047e-4 > 2^-10 bound |
| #383 | 26b86003 | 0.000996761861969671 | claimed | 10.9 h | Nine-stage low-read E8 composition: conditional kappa 0.000996761861969671 |
| #381 | 00765b29 | 0.000995656966441037 | claimed | 11.4 h | κ = 9.95656966441037e-4: #370's E8 bit word in the nine-stage bridged word with #377's nine-stage complex E8 (above 2^-10; +2.94 % over #380) |
| #388 | 783e019d | 0.000993946061393808 | claimed | 10.9 h | κ = 9.93946061393808e-4: exact seven-nine B-order composition |
| #391 | efd5bb11 | 0.000993946061393808 | claimed | 10.5 h | κ = 9.93946061393808e-4: clean-checkout replay successor for frozen #388 |
| #380 | 6e95ce5f | 0.000967261003170394 | claimed | 6.1 h | Conditional κ = 9.67261003170394e-4: seven-stage E8 bit with nine-stage complex (+1.32149% over #378) |
| #378 | 54a1eb4e | 0.00095464544449649 | claimed | 8.4 h | Conditional κ = 9.5464544449649·10⁻⁴: Sussman's E8 complex unit re-timed by far piece relocation, in #375's unsplit B₃ (+0.042 % over #375) |
| #374 | 43160865 | 0.000954395132518163 | claimed | 6.1 h | Conditional κ = 9.54395132518163e-4: coupled complex retiming after #375 (+0.01588%) |
| #375 | 79874623 | 0.00095424356568133 | claimed | 12.0 h | κ = 9.5424356568133e-4: seven-stage E8 suppliers with the complex idle climbs at halving degree two (+2.40 % over #373) |
| #373 | 3ff87b5d | 0.00093191395651209 | claimed | 12.2 h | κ = 9.3191395651209e-4: #370's E8 bit word and Sussman's E8 complex unit in the seven-stage bridged word (+6.45 % over #370) |
| #379 | e01bcc51 | 0.00090456959714325 | claimed | 6.1 h | E8 low-read bit with seven-stage complex supplier |
| #370 | b7fe9cdf | 0.000875481145306751 | claimed | 12.6 h | κ = 8.75481145306751e-4: first E8 bit word (complex-bound; +9.29% over #352) |
| #262 | dd3bec29 | 0.000833954588938818 | claimed | 38.9 h | Conditional κ = 8.339545889388e-4 on #233's row: the bit word's own retained ledger banked a second time (B1 open, not a witness) |
| #369 | a8d05f09 | 0.000804946219504150552 | claimed (draft) | 12.0 h | Conditional κ = 8.049462195041506e-4: two kernels and 15 extra retimings after #366 |
| #366 | d3d84202 | 0.000804939789231485 | claimed | 12.8 h | Conditional κ = 8.04939789231485e-4: 123 coupled frame changes after #364 (+0.00751%) |
| #364 | f8c6a47a | 0.000804879370798932 | claimed | 13.9 h | κ = 8.04879370798932e-4: #362 with κ-exact min-cost carrier matching in the base producer (+3.0e-8) |
| #361 | d7b59136 | 0.000804849251275843 | claimed | 8.4 h | Conditional κ = 8.04849251275843·10⁻⁴: post-Design-T kernel, retiming and reorders on #357's reordered base word with all 471 twins (+0.0679 % over #359) |
| #362 | f46ddb51 | 0.000804849251275843 | claimed | 13.9 h | κ = 8.04849251275843e-4: #359's post-Design-T kernel/retime/reorders on our reordered-design base (+0.068%) |
| #359 | e428efc9 | 0.000804303459176812 | claimed | 8.4 h | Conditional κ = 8.04303459176812·10⁻⁴: kernel, retiming and reorders re-derived on #354's Design T word (+0.0776 % over #358) |
| #358 | e76d7a94 | 0.00080367971186626189473809 | claimed | 15.4 h | κ = 8.0367971186626189473809e-4: reordered stages with 471 twins and signed18 |
| #357 | 0866809c | 0.000803654539036015 | claimed (draft) | 15.6 h | κ = 8.03654539036015e-4: #354's staged Design T + twins on a reordered-design p10b base word (+0.064%) |
| #360 | edef1a7d | 0.00080351298055091 | claimed | 15.2 h | Conditional κ = 8.03512980550910e-4: paid-aware integer donor-basis exchange on #354 (+0.0468%) |
| #356 | c3d16f42 | 0.000803161884970454053300282 | claimed | 15.7 h | κ = 8.03161884970454053300282e-4: staged signed twins with complete native admission |
| #354 | 2e3f3cf3 | 0.00080313716516349 | claimed | 8.4 h | Conditional κ = 8.03137165163490·10⁻⁴: w3 Design T + twins on #329's transcript-staged p10b word with Sussman's E8 complex unit (+0.256 % over #352) |
| #355 | e59117a8 | 0.000801967436473393 | claimed | 15.8 h | Conditional κ = 8.01967436473393e-4: exact integer-lifted shared donors with E8 (+0.1103% over #352) |
| #353 | 3901d29f | 0.000801598358635541 | claimed (draft) | 16.2 h | κ = 8.01598358635541e-4: #352 with Design T + twins on a reordered-design p10b base word (+0.064%) |
| #352 | 04b4c3c4 | 0.000801083628465007 | claimed | 6.0 h | κ = 8.01083628465007e-4: #346's w3 bit word with Sussman's Lean-checked E8 unit as the complex supplier (+0.96 % over #350) |
| #350 | a1793b04 | 0.000793469326753735 | claimed | 16.8 h | κ = 7.93469326753735e-4: #348 with a frame-retimed complex program (+7.65e-8) |
| #351 | c0f9f480 | 0.000793392809671713586967588 | claimed | 17.0 h | κ = 7.93392809671713586967588e-4: complete native admission for #346/#348 |
| #348 | 2b8b3d87 | 0.000793392809291691 | claimed | 8.4 h | Conditional κ = 7.93392809291691·10⁻⁴: #346's w3 bit word with a per-point p = 10 complex supplier (+0.1025 % over #346) |
| #346 | 11b4de5f | 0.000792580093369946 | claimed | 17.9 h | κ = 7.92580093369946e-4: w3 cube layer on #325's p10b word with a stronger p = 10 complex supplier |
| #347 | db6a9a00 | 0.000778097715735654505738899 | claimed | 17.9 h | κ = 7.78097715735654505738899e-4: coherent component frame retimings |
| #345 | 9e15e4d5 | 0.00077809154371141892133459 | claimed | 18.0 h | κ = 7.7809154371141892133459e-4: transfer compatible PR340 frame components |
| #344 | da0c805e | 0.000777947425336102317479703 | claimed | 18.2 h | κ = 7.77947425336102317479703e-4: restore ten terminal caches in original registers |
| #343 | 1d9c3b64 | 0.000777751087387777005145646 | claimed | 18.3 h | κ = 7.77751087387777005145646e-4: refreshed sixteen-sink carriers |
| #342 | 69cdb327 | 0.000777733996775530073717409 | claimed | 18.5 h | κ = 7.77733996775530073717409e-4: selected carriers preserve sixteen sinks |
| #341 | 6ee2d78d | 0.000777709755852032951391533 | claimed | 18.6 h | κ = 7.77709755852032951391533e-4: selected carrier switches preserve fifteen sinks |
| #339 | 56964cfb | 0.000777699286748588506644032 | claimed | 19.0 h | κ = 7.77699286748588506644032e-4: combine sink-preserving orientations and carrier switches |
| #338 | 0faf57c8 | 0.000777667758368047375562422 | claimed | 19.0 h | κ = 7.77667758368047375562422e-4: three source orientations preserve fifteen sinks |
| #340 | 05a4ee7f | 0.000777661809286514 | claimed (draft) | 18.6 h | Conditional κ ≈ 7.7766181e-4: exact-objective free-form final retiming (490 gates, φ −85.9) replacing #337's 52-gate descent on the same word |
| #337 | bc97a6e8 | 0.000777646134698096194171091 | claimed | 19.4 h | κ = 7.77646134698096194171091e-4: source orientations preserving fifteen sinks |
| #336 | f566fe33 | 0.0007776299656948249002253 | claimed | 19.4 h | κ = 7.776299656948249002253e-4: exact-subspace grouping and sixteen carrier switches |
| #335 | fa693bff | 0.000777607473791708458474546 | claimed | 20.1 h | κ = 7.77607473791708458474546e-4: refreshed donors and 54 final retimings |
| #334 | 367f55f2 | 0.000777596191161693861459874 | claimed | 20.4 h | κ = 7.77596191161693861459874e-4: all-rank donor flow and 52 final retimings |
| #332 | f9136e76 | 0.000777268259042371640048112 | claimed | 21.4 h | κ = 7.77268259042371640048112e-4: oriented p10b source and 42 constructed-frame retimings |
| #333 | f04a1127 | 0.000777268259042371640048112 | claimed | 20.6 h | Repair gzip portability for frozen #332; conditional κ unchanged |
| #331 | c0fa7e1b | 0.000776523967665819025774905 | claimed | 21.7 h | κ = 7.76523967665819025774905e-4: nested donor entrances on the p10b word |
| #330 | 6d1faafc | 0.00077652200910342944936985 | claimed | 22.0 h | κ = 7.7652200910342944936985e-4: cross-entrance retiming and operational PR327 supplier |
| #329 | 60ca7b5e | 0.000776518649004426 | claimed | 8.4 h | Conditional κ = 7.76518649004426·10⁻⁴: the full transcript stage stack on #325's p10b word, priced against #327's p = 10 complex supplier (+0.888% over #325) |
| #328 | 34af22b4 | 0.000772285110892838493685197 | claimed | 22.5 h | κ = 7.72285110892838493685197e-4: source-bound p10b stages and retimed complex supplier |
| #325 | 0eca9340 | 0.000769684039383334 | claimed | 20.1 h | Conditional κ = 7.696840393833340e-4: a stronger p = 10 bit word — re-annealed pair module, p = 10 local design, balanced cube orientation, tiered reuse matching (+0.71% over #315's word) |
| #323 | e51f5ffe | 0.000769557449978832 | claimed | 23.5 h | κ = 7.69557449978832e-4: three rank-two kernels after frozen PR322 |
| #324 | 6bc86cb3 | 0.000769557449978832 | claimed | 23.4 h | Fix CI dependency path for frozen PR323; construction unchanged |
| #322 | 8ce22e5e | 0.000769556690340075 | claimed | 23.6 h | κ = 7.69556690340075e-4: four frame retimings after PR320 restoration |
| #320 | e912cbdd | 0.000769553898621543 | claimed | 8.4 h | Conditional κ = 7.69553898621543·10⁻⁴: the full transcript stage stack on #315's p = 10 word, with a shared-donor closure kernel (+0.697% over #315) |
| #321 | c7624770 | 0.000769209697879598867900724 | claimed | 23.6 h | Conditional kappa 7.692096978795988679e-4: five new p10 response kernels and source-bound finite assembly |
| #319 | 14af8e5c | 0.000768257328708259 | claimed | 25.0 h | κ = 7.68257328708259e-4: shared-donor kernels after frozen PR317 |
| #317 | 0a0b61a7 | 0.00076817007781759 | claimed | 25.2 h | κ = 7.6817007781759e-4: composed p10 stages with full source-bound admission |
| #316 | 9e7200bc | 0.000765146115390441 | claimed | 24.9 h | Conditional κ = 7.65146115390441e-4: 480-gate concave-descent retiming on #315's p = 10 word (+0.120% over #315) |
| #315 | 64bccfb6 | 0.000764230861320245 | claimed | 20.1 h | Conditional κ = 7.64230861320245e-4: the paired-cube bit word at cube size p = 10 (h = 20, m = 100), with a new centre-sharing complex supplier (+1.21% over #314) |
| #314 | 3984049a | 0.000755120411314104 | claimed | 24.9 h | Conditional κ = 7.55120411314104e-4: 438 early restorations after #312's kernel/target/plateau/reorder stages on the w3 word (+0.0756% over #312) |
| #312 | 32808606 | 0.000754549816771013 | claimed | 8.4 h | Conditional κ = 7.54549816771013·10⁻⁴: kernel, target-prefix, plateau and reorder stages on #310's w3 word, priced against #304's complex supplier (+0.138% over #311) |
| #313 | 9646345a | 0.000754077687633330234295251 | claimed | 24.9 h | Conditional κ = 7.54077687633330e-4: 438 early restorations (endpoint-aware banks) after the squares on #310's w3 word (+0.0755% over #311) |
| #311 | 298f9baf | 0.000753508664880762517753401 | claimed | 24.9 h | Conditional κ = 7.53508664880762e-4: 209 exact F₂ target-prefix squares on #310's w3 word (+0.082% over #310) |
| #310 | 484b85f1 | 0.000752893499605334868002344 | claimed | 27.5 h | Conditional κ = 0.000752893499605334868002344: source-bound w3 word and complete finite admission (+0.1855% over #309) |
| #309 | aeb4808a | 0.000751499335697559705920828 | claimed | 23.7 h | Conditional κ = 7.51499335697560e-4: local dirty-response transport, commuting schedules and37 additional gauges on weighted gen5b |
| #308 | 02d769b6 | 0.000751472114011902 | claimed | 28.1 h | Conditional κ = 7.51472114011902e-4: #307's fresh selections on the weighted gen5b word with #306's reorder stages |
| #306 | 03143719 | 0.000751458925311258 | claimed | 28.3 h | Conditional κ = 7.51458925311258·10⁻⁴: addition reordering on #305's weighted gen5b composition (+0.0424% over #305) |
| #307 | b4f85afd | 0.000751154847341386 | claimed | 28.4 h | Conditional κ = 7.51154847341386e-4: 1,738 kernel entries, 90-gate second descent, restorations and sinks re-derived fresh on #275's weighted gen5b word |
| #305 | a17c4290 | 0.000751140529238897 | claimed | 29.4 h | κ = 7.51140529238897e-4: restart-packed kernels on weighted gen5b matching |
| #299 | 11b69525 | 0.000750237961741364 | claimed | 29.4 h | Conditional κ = 7.50237961741364·10⁻⁴: kernels, early restorations, terminal sinks, a post-sink retiming and addition reordering on the gen5b word (+0.473% over #296) |
| #303 | 363134af | 0.000749982571369270160072237 | claimed | 28.8 h | Conditional κ = 7.49982571369270e-4: fixed-prime eight-level transfer on #300's gen5b-full package (+4.1e-12) |
| #300 | 56eb6412 | 0.000749982567267028 | claimed | 28.8 h | Conditional κ = 7.49982567267028e-4: 1,734 kernel entries (restart-packed), second descent, 440 restorations and 8 sinks on #296's gen5b word |
| #302 | 9bb199de | 0.000749940157923873 | claimed (draft) | 21.6 h | Verify shared-donor kernel improvements on pinned weighted and reordered words |
| #301 | ebd6a08e | 0.000749906929903449 | claimed (draft) | 30.4 h | Verify a 12-helper co-retiming improvement on pinned PR #299 |
| #296 | b15a33ce | 0.000746709720962478 | claimed | 31.6 h | Conditional κ = 7.46709720962478·10⁻⁴: gen5b — exactly optimal local design and a debt-10 all-but-one module on #285's word, #287's stages re-derived, #233's complex supplier (+0.348% over #287) |
| #295 | a41781bb | 0.000745513573133379 | claimed | 31.7 h | Conditional κ = 7.45513573133379·10⁻⁴: early restorations and terminal sinks on the gen5 kernel word, with #233's complex word as supplier (+0.107% over #290) |
| #297 | 2006a8f9 | 0.000745287034630032 | claimed | 24.9 h | Conditional κ = 7.45287034630032e-4: PR280's early restoration of 440 cleanup helpers on the gen5 word, after #291's stages |
| #293 | e65a690f | 0.000744728654228590183370616 | claimed | 32.1 h | Fixed-prime eight-level gen5 descent: conditional κ = 744728654228590183370616/10^27 |
| #291 | 5c296797 | 0.000744728650221677 | claimed | 28.8 h | Conditional κ = 7.44728650221677e-4: second concave-descent retiming (89 gates, constructed frames) after #290's kernel entries on the gen5 word |
| #292 | 0687febc | 0.000744719882668682 | claimed | 32.3 h | Conditional κ = 0.000744719882668682: 65 compatible retimings on PR290 kernels |
| #298 | 7e7a6d79 | 0.000744714499649771 | claimed | 30.7 h | Conditional κ = 7.44714499649771e-4: eight completed bootstrap levels on #290 |
| #290 | 739c3bb0 | 0.000744714499357628 | claimed | 32.9 h | Conditional κ = 7.44714499357628·10⁻⁴: 450 collective response-kernel entries on #285's gen5 word, after #287's descent and target squares (+0.080% over #287) |
| #287 | 9f85de89 | 0.000744136146100942 | claimed | 32.7 h | Conditional κ = 7.44136146100942e-4: two concave-descent retimings (904 + 111 gates) and 220 target-prefix squares on #285's gen5 five-stage banks |
| #289 | 04e14102 | 0.000744127392470948 | claimed | 32.9 h | Extreme-meet frame retiming (87 gates) on target-compressed gen5 word: kappa = 7.44127392470948e-4 |
| #285 | b40c1a3d | 0.000742785663120535 | claimed | 20.1 h | Conditional κ = 7.42785663120535e-4: gen5 — compile-cost-annealed pair and all-but-one modules on #276's gen4 bit word, five-stage completed banks |
| #286 | 13a523a2 | 0.000726319877913759 | claimed | 34.1 h | Extreme-frame retiming on #284's gen4 word: conditional κ = 7.26319877913759e-4 (+0.0039% over #284; below #285) |
| #284 | 2c991a3a | 0.000726291692225845 | claimed | 34.8 h | Conditional κ = 7.26291692225845·10⁻⁴: 91 collective response-kernel families on helpers untouched by #283, at its own cut (+0.0248% over #283) |
| #283 | 19d148bd | 0.000726111344123732762670617 | claimed | 28.2 h | Conditional κ = 7.26111344123732762670617e-4: gen4 response kernels and endpoint-aware composition of #279/#280 |
| #281 | 7542b215 | 0.000725113717934416 | claimed | 36.0 h | Conditional κ = 7.25113717934416e-4: target-prefix compression (280 groups) composed with #280's gen4 retiming, early restorations and dirty entrances |
| #282 | 841a99b8 | 0.000724733001963261 | claimed | 34.5 h | Conditional κ = 7.24733001963261·10⁻⁴: 695 collective response-kernel entries (per-entry cuts, entrances of any dimension) on #276's gen4 word, composed with #279's descent retiming (+0.258% over #276) |
| #280 | f063aab8 | 0.000724189082265949363570532 | claimed | 36.7 h | Conditional κ = 0.000724189082265949: gen4 retiming, 440 early restorations and 60 dirty entrances |
| #279 | 913ccc48 | 0.000724098741932703 | claimed | 36.3 h | Conditional κ = 7.24098741932703e-4: 880-gate concave-descent retiming and 220 target-prefix squares on #276's gen4 five-stage banks |
| #372 | e2fae6a9 | 0.000723571593879006127174 | claimed | 12.4 h | Refine reviewed gen4 envelopes: conditional kappa = 0.000723571593879006127174 |
| #266 | 8cff8943 | 0.000714026746429965 | claimed | 37.0 h | Conditional κ = 7.14026746429965·10⁻⁴ on #249's word: 890 kernel families, #263/#270 retimings, #273's target-prefix squares and 126 cleanup sandwiches (#271), composed (+0.42% over #259; above #271/#275) |
| #271 | ebc1defe | 0.00071366215638961 | claimed | 37.5 h | Cancel cleanup sandwiches of 99 helpers on #272: conditional κ = 7.1366215638961e-4 |
| #272 | 65768f62 | 0.000712074434532274423885827 | claimed | 36.2 h | Frame-filtered collective kernels + target-prefix sharing: kappa = 0.000712074434532274423885827 |
| #273 | 45f13d05 | 0.000711948953756315 | claimed | 37.7 h | Conditional κ = 7.11948953756315e-4: target-prefix compression (209 square groups) composed with the multi-cut kernel condensation |
| #270 | 9b48fd73 | 0.000711457853376510082124745 | claimed | 38.3 h | Conditional κ = 0.000711457853376510: 887 entrances and connected-block retiming |
| #269 | d4ca9aac | 0.000711426001276118 | claimed | 37.8 h | Conditional κ = 7.11426001276118e-4: 365 net-positive supplementary equal-response pivot families on #259's multi-cut condensation |
| #268 | dbb653bb | 0.000711191385398487 | claimed | 38.7 h | κ = 7.11191385398487e-4: compose kernel entrances with 217 target-prefix groups |
| #267 | 4f849bd0 | 0.000711074913688782665281379 | claimed | 38.7 h | Chronological donor sharing: 545 entrances, kappa = 0.000711074913688782665281379 |
| #277 | c2f07d31 | 0.0007110455476244 | claimed | 37.3 h | Verified construction checkpoint: conditional κ = 7.110455476244e-4 |
| #278 | 8ddcabe8 | 0.0007110455476244 | claimed | 37.0 h | [Info Docs] Architecture Reference and Workflow Diagrams for PR #277 |
| #265 | fc00fcf0 | 0.000711032242134072 | claimed | 38.9 h | Conditional κ = 7.11032242134072e-4: fixed prime, eight finite levels and η = 10⁻²⁴ on #263's descent-retimed multicut word |
| #263 | 87129308 | 0.000711032238200698 | claimed | 39.1 h | Conditional κ = 7.11032238200698e-4: concave-descent frame retiming of 25 gates on #259's multi-cut condensation |
| #261 | d2c63486 | 0.000711029389987426878345881 | claimed (draft) | 38.8 h | Fixed-prime refinement of PR259 (kappa = 0.000711029389987426878345881) |
| #259 | a53ec0ca | 0.000711029386054035 | claimed | 38.2 h | Multi-cut kernel condensation: 518 entrances, kappa = 7.11029386054035e-4 |
| #258 | cf82ca09 | 0.00071046804825911 | claimed | 39.4 h | Compose 25 exact frame retimings with PR254 (conditional κ = 7.1046804825911e-4) |
| #255 | 3ba1c146 | 0.000710465204542247142217 | claimed | 40.1 h | Conditional κ = 7.10465204542247e-4: fixed prime, seven finite levels and η = 10⁻²⁴ on #254 |
| #254 | 9ce32efb | 0.00071046520063283 | claimed | 40.5 h | Response-kernel entrance gauges: 132 helper-pair rewrites, κ = 7.1046520063283e-4 |
| #260 | 87aa555a | 0.000710436534421701 | claimed (draft) | 39.5 h | Draft: Conditional κ = 7.10436534421701e-4: concave-descent frame retiming of 25 gates on #251's source527 banks |
| #251 | 2b030c06 | 0.000710433687047883 | claimed | 41.2 h | κ = 7.10433687047883e-4: expand transported entrances with shared frame intersections |
| #252 | 45121f75 | 0.000710392190350878237015 | claimed | 40.1 h | Conditional κ = 7.10392190350878e-4: fixed prime, seven finite levels and η = 10⁻²⁴ on #249's source527 banks |
| #249 | 96495746 | 0.000710392186446856 | claimed | 41.6 h | κ = 7.10392186446856e-4: transport dirty compensations to 21 entrance frames |
| #248 | e56591cb | 0.000710346593569665610798 | claimed | 41.6 h | Conditional κ = 7.10346593569666e-4: fixed prime, seven finite levels and η = 10⁻²⁴ on #244's retimed source527 banks |
| #244 | a568d94f | 0.000710346589668175 | claimed | 42.0 h | κ = 7.10346589668175e-4: retime source-pair additions to their delivery frames |
| #210 | b0c058ba | 0.000710069340338651 | claimed | 42.4 h | κ = 7.10069340338651e-4: five-stage banks and F₂ movement fusion |
| #242 | ef47efc3 | 0.000710046193592262 | claimed | 42.2 h | Independent native source527 audits and four finite leaf levels: conditional kappa = 7.10046193592262e-4 |
| #243 | ab482ea4 | 0.000709424410568125629699 | claimed | 42.1 h | Conditional κ = 7.09424410568126e-4: fixed prime, seven finite levels and η = 10⁻²⁴ on #240's five-stage banks |
| #240 | 1068237f | 0.000709424406659975 | claimed | 42.7 h | Conditional κ = 7.09424406659975e-4: five-stage completed banks with #210’s 493-source helper |
| #235 | 63e3e9e2 | 0.000708582414684555347682 | claimed | 42.9 h | Conditional κ = 7.08582414684555347682e-4: fixed prime and finite leaves on PR237 banks |
| #237 | a8b0ce21 | 0.000708582410781108 | claimed | 43.3 h | Conditional κ = 7.08582410781108e-4: completed width-120 entrance banks on #234's five-stage bit supplier |
| #234 | af3fe331 | 0.000703701743496697 | claimed | 43.4 h | Conditional κ ≈ 7.037017435 × 10⁻⁴ > 2⁻¹¹: five-stage bit and complex suppliers |
| #227 | 418bd6a8 | 0.0006947753951612 | claimed | 45.1 h | κ = 6.947753951612e-4: independent native replay of coordinated source-gauge construction |
| #245 | e347f31c | 0.000693078488574615 | claimed | 41.8 h | Compose PR223 with cascade frames and 67 compatible butterflies |
| #223 | 8786fec0 | 0.00069214460425006 | claimed | 45.0 h | Conditional κ = 6.92144604250060e-4: served diagonal operations on PR200's bit word (+1.09% over #217) |
| #217 | b739fc22 | 0.000684696826673891 | claimed | 46.9 h | Conditional κ = 6.84696826673891e-4: paid XOR butterflies with cascade-optimized frames |
| #216 | 34abdc58 | 0.0006838643131376 | claimed | 47.2 h | Conditional kappa 6.838643131376e-4: composed cascade frames, global cuts and four finite bootstraps |
| #211 | c63e50a5 | 0.000683847872495777 | claimed (draft) | 48.4 h | Conditional kappa 6.838479e-4: cascade-optimized frames on PR200's banked bit word |
| #207 | cd148250 | 0.0006831904550365 | claimed | 49.7 h | Conditional kappa 6.831904550365e-4: coordinated frame optimization and completed entrance banks |
| #205 | 95c58706 | 0.000683061299399923 | claimed | 44.7 h | Pack PR200 diagonal bit residuals into completed banks (conditional κ = 0.000683061299399923) |
| #202 | 8d8d67bc | 0.0006768823 | claimed | 51.0 h | Compose the v4 source-assisted complex word with the PR200 bit supplier: conditional κ = 6.768823e-4 |
| #197 | 8c5e1cf0 | 0.000676080316519385 | claimed | 48.1 h | Pack #187's bit residuals: conditional κ = 0.000676080316519385 |
| #199 | 5c1fb834 | 0.0006678525 | claimed | 41.3 h | Bit leaf bootstrap: queue standing + the deferred #200 composition at conditional κ = 6.773148e-4 |
| #194 | a8c87783 | 0.0006674324 | claimed | 53.0 h | Source-assisted v4 complex word with PR189's bit supplier: conditional κ = 6.674324e-4 |
| #196 | 5b09c35e | 0.000665046903615388 | claimed | 51.4 h | Face-diagonal local circuits on both suppliers of PR168 v4 (κ = 6.65046903615388e-4) |
| #200 | a1175449 | 0.000665046903615388 | claimed | 46.4 h | A stronger bit supplier: fixed-coordinate and face-diagonal bit local circuit on PR168 v4 (effective bit saving 6.7734e-4) |
| #193 | 187e1010 | 0.0006647872 | claimed | 46.4 h | Pair donors to avoid parity erasure on the source-assisted v4 word: conditional κ = 6.647872e-4 |
| #228 | ffa872f4 | 0.000662832575455842015647 | claimed | 45.1 h | Refine PR195 frame witness to κ = 0.000662832575455842015647 |
| #195 | d3e6b83a | 0.000662651985348746 | claimed | 52.7 h | Further coordinated frame cuts on #186: conditional κ = 6.62651985348746e-4 |
| #191 | 15fa62d5 | 0.0006626307 | claimed | 53.4 h | Source-assisted complex word on PR168 v4 modules: conditional κ = 6.626307e-4 |
| #264 | a6407634 | 0.000662502871668435 | claimed | 39.0 h | Global majorant frame contractions: conditional κ = 0.000662502871668435 |
| #180 | 33f3f1e3 | 0.000661885549259599216694 | claimed (draft) | 52.6 h | Independently audit PR #186 and refine its conditional exponent |
| #186 | 56b3da6a | 0.000661885549259598 | claimed | 0.1 h | Shared-edge supplier, coordinated frames and entrance banks: conditional kappa = 6.61885549259598e-4 |
| #187 | 201737a1 | 0.000661755179959122 | claimed | 53.4 h | Globally replayed source-assisted bit word: conditional kappa = 0.000661755179959122 |
| #189 | 0a409117 | 0.000661755179959122 | claimed | 53.4 h | Shared-edge complex and face-diagonal bit local circuits on PR168 v4 (κ = 6.61755179959122e-4) |
| #185 | 561d6ecb | 0.000660627334074291 | claimed | 53.8 h | Finite leaf bootstrap above PR182: conditional kappa = 0.000660627334074291 |
| #182 | af90b947 | 0.000660216552061722 | claimed | 54.0 h | Shared-edge local circuit, refined bit frames and bit terminal sinks on PR168 v4 (κ = 6.60216552061722e-4) |
| #181 | 7fb21948 | 0.000659180578557293 | claimed | 54.3 h | Shared-edge local circuit on PR168 v4 paired cubes (κ = 6.59180578557293e-4) |
| #179 | 15e21dca | 0.000655920176686219 | claimed | 54.7 h | Refine paired-cube frames on PR168 v4 with retained terminal sinks (κ = 6.55920176686219e-4) |
| #178 | 0bffdfa5 | 0.00065591780345 | claimed | 53.3 h | Refine PR168 operation frames: conditional κ = 0.00065591780345 |
| #168 | 4a3c769e | 0.0006558894 | claimed | 55.5 h | Annealed modules, terminal sinks and physical bit words on paired cubes: conditional κ = 6.558894e-4 |
| #188 | c6eea3e8 | 0.000616027622 | claimed | 52.1 h | Executed terminal accumulation and bit reuse: conditional κ = 6.16027622e-4 |
| #173 | 55d19073 | 0.00061297 | claimed | 56.4 h | Mixed-gap bit all-but-one module on #168: conditional κ = 6.129700e-4 |
| #171 | 89d0c75f | 0.000611068410271618 | claimed | 56.6 h | Causal bit-frame refinement of #169: conditional kappa = 6.11068410271618e-4 |
| #169 | 4895ba11 | 0.0006105562 | claimed | 57.1 h | Bit operation-frame descent on #168's bit word: conditional κ = 6.105562e-4 |
| #170 | 29892e2f | 0.000596818007 | claimed (draft) | 56.9 h | Paired bit-output fusion and verified lifetime reuse: conditional κ = 5.96818007e-4 |
| #165 | 7518fed2 | 0.000594272360424954 | claimed | 57.3 h | Certify extended paired cubes and bit frames (κ=5.94272360424954e-4) |
| #164 | 4391a60b | 0.000594035602295411 | claimed | 57.6 h | Connected bit-frame descents on #163: conditional κ = 5.94035602295411e-4 |
| #163 | e1813796 | 0.000593970203079492 | claimed | 57.6 h | Fused paired cubes and paid balanced transfer: conditional κ = 5.93970203079492e-4 |
| #162 | 279b2ff6 | 0.0005901881 | claimed | 52.0 h | Extended carrier matching on #161's complex word: conditional κ = 5.901881e-4 |
| #160 | da338531 | 0.0005616446 | claimed | 27.7 h | Searched pair module in the paired-cube bit word at p = 11: conditional κ = 5.616446e-4 |
| #158 | 6e086603 | 0.0005557315 | claimed | 58.6 h | Re-instantiated atom exponent at the toll edge on the searched pair module: conditional κ = 5.557315e-4 |
| #153 | 4ead11e6 | 0.0005108294 | claimed | 59.3 h | Re-instantiated phase-stop on the p = 11 paired cubes: conditional κ = 5.108294e-4 |
| #177 | 855a1c94 | 0.000461144586716 | claimed (draft) | 43.6 h | Refine reviewed paired-cube stopping parameters to conditional κ = 0.000461144586716 |
| #148 | 975c3cf5 | 0.0004611281 | claimed (draft) | 60.6 h | Raise conditional kappa to 4.611281e-4 with tightened adapter toll |
| #146 | 70355a31 | 0.000461028508707 | claimed | 60.7 h | Use exact telescoping min-cut bit subset on paired-cube shared cores for kappa = 4.61028508707e-4 (4.61239827139e-4 at atom=1/2000) |
| #236 | f825b6fd | 0.0004609169 | claimed | 43.1 h | [Lean] Verification of paired-cube finite identities and arithmetic — κ = 0.0004609169 |
| #143 | 803b28a5 | 0.000424830828577 | claimed | 58.9 h | Late compensation and joint frame refinement: conditional κ = 4.24830828577e-4 |
| #142 | 2fc6cf54 | 0.000420151003347 | claimed | 61.4 h | Restricted h22 padded triple covers: conditional κ = 4.20151003347e-4 |
| #138 | c5a48c3e | 0.000413596646966 | claimed | 60.6 h | Tightened slack constants on paid padded triple covers: conditional κ = 4.13596659368e-4 |
| #137 | c205b7d9 | 0.000413596233702 | claimed | 61.9 h | Padded triple covers with sequential dirty reuse: conditional κ = 4.13596233702e-4 |
| #135 | 2bb675bb | 0.000362108222954 | claimed (draft) | 62.4 h | Paired physical scratch reuse: candidate conditional κ = 3.62108222954e-4 (+4.02% vs #134) |
| #145 | ce7a86f6 | 0.000337546392004 | claimed | 60.8 h | Optimize physical local reuse under three-stage cover for kappa = 3.37546392004e-4 |
| #131 | 3acf2f94 | 0.000332205398986 | claimed | 62.8 h | Physical frames and scratch reuse on Cayley covers: conditional κ = 3.32205398986e-4 |
| #129 | 59fade1f | 0.000129186205798 | claimed | 62.8 h | Shared bit cores and gauged scratch reuse: conditional κ = 1.29186205798e-4 |
| #114 | 77227550 | 0.000123988197806 | claimed | 63.6 h | Shared completed cores and physical frames: conditional κ = 1.23988197806e-4 |
| #128 | 530588a0 | 0.00012310001053253 | claimed | 64.1 h | Completed-core sharing: conditional kappa > 2^-13 |
| #141 | 3ddc4dcf | 0.000112802185097556 | claimed | 61.9 h | Shrunk-frame birth and terminal composition: conditional kappa = 1.12802185097556e-4 |
| #127 | ca872548 | 0.00011239534209971 | claimed (draft) | 64.1 h | Birth-read reuse on shrunk saturated frames: conditional κ = 1.1239534209971e-4 |
| #133 | 2c97e8ab | 0.000111513943837 | claimed | 62.8 h | Optimize cyclic-deferred frames and phase-aware role compilation (kappa = 1.11513943837e-4) |
| #126 | 31ceb5ea | 0.000111192082577 | claimed (draft) | 63.7 h | Physical operation frames with deferred readouts: conditional κ = 1.11192082577e-4 |
| #125 | dda535bd | 0.000110591581647 | claimed | 64.2 h | Shrunk lifted frames with saturated deferral: conditional κ = 1.10591581647e-4 |
| #124 | 3657b5d6 | 0.00011038332094346 | claimed | 63.6 h | Birth-read slot recycling: conditional kappa 1.1038332094346e-4 |
| #122 | b1a6f24e | 0.00010941620808215 | claimed | 64.5 h | Terminal accumulator elimination with exact majorization audit |
| #123 | 4634e111 | 0.000109285663466 | claimed | 54.5 h | Seeded saturated-frame tie order: conditional κ = 1.09285663466e-4 |
| #118 | 51fd1bbf | 0.000108542805968 | claimed | 54.5 h | Deferred readouts on PR117’s complex producer: conditional κ = 1.085428e-4 |
| #117 | cbb05ce5 | 0.0001044939 | claimed | 65.0 h | Deferred bit word and a 28,705-role complex producer under stopped-product accounting: conditional κ = 1.044939e-4 |
| #116 | 295a48a3 | 0.000098699350338 | claimed | 54.5 h | Cube recurrence with balanced deferred frames: conditional κ = 9.8699350338e-5 |
| #113 | 502761e7 | 0.0000939074 | claimed | 64.3 h | Deferred readouts on the cyclic-strip complex network: conditional κ = 9.39074e-5 |
| #110 | 09775e9f | 0.0000858478 | claimed | 65.6 h | Deferred readouts on both stopped networks: conditional κ = 8.58478e-5 |
| #111 | 5b3add94 | 0.00008578151200855 | claimed | 64.9 h | Cyclic interval strips on both axes: conditional κ = 8.578151200855e-5 |
| #121 | 446dd07d | 0.00008032517 | claimed | 64.6 h | Add staggered dual-paired rational-center and bit producers (κ = 8.032517e-5 complex-only / 8.800233e-5 joint) |
| #109 | 45389b38 | 0.000079961717358 | claimed | 65.0 h | Weighted dual-suffix carriers: conditional κ = 7.9961717358e-5 |
| #108 | 4974895d | 0.00007988289348441 | claimed | 65.0 h | Dual-suffix pair stars in the rational-center producer: conditional κ = 7.988289348441e-5 |
| #74 | ecb79f2c | 0.00007808981744031 | claimed (draft) | 64.7 h | Stopped pair-star trees: conditional κ = 7.808981744031e-5 |
| #107 | eb231b7b | 0.00007798412662809 | claimed | 65.4 h | Reversed rational-center orders: conditional κ = 7.798412662809e-5 |
| #103 | 75ab1f70 | 0.00006398282083297 | claimed | 65.4 h | Saturated readouts with complete signed/balanced integration: conditional κ = 6.398282083297e-5 |
| #99 | 0622dcce | 0.000063982820832686571 | claimed (draft) | 66.7 h | Nondegenerate readout saturation: conditional κ = 6.3978725e-5 |
| #100 | 22dc19dd | 0.000063978919675787 | claimed | 65.5 h | Balanced transfer of deferred signed networks: conditional κ = 6.3978919675787e-5 |
| #102 | 3fc54eba | 0.000063974824 | claimed | 66.7 h | Sharpen the deferred signed bit moment: conditional kappa 6.3974824e-5 |
| #97 | e15350b6 | 0.000063965813 | claimed | 66.7 h | Deferred endpoints and signed phase correction for a conditional 63965813/10^12 > 2^-14 bound |
| #106 | 34c06639 | 0.000052805219274162 | claimed | 66.3 h | Contiguous-pair coordinate pricing and two-round circuit exchange: conditional κ = 5.2805219274162e-5 |
| #98 | 6862c47f | 0.000052791461623702 | claimed | 65.1 h | Final-coordinate carrier pricing: conditional κ = 5.2791461623702e-5 |
| #95 | 641aae7b | 0.00005279109590448 | claimed | 66.4 h | Coordinate descent beyond PR94: conditional κ = 5.279109590448e-5 |
| #94 | 0c440e40 | 0.000052790937858556 | claimed | 67.7 h | Adjacent coordinate refinement beyond PR93: conditional κ = 5.2790937858556e-5 |
| #93 | f5f5ebdf | 0.000052790906739644 | claimed | 66.6 h | Coordinate refinement of aligned composition: conditional κ = 5.2790906739644e-5 |
| #91 | 8d1a0838 | 0.000052789616935221 | claimed | 67.2 h | Aligned frame composition: κ=5.2789616935221e-5 with Lean arithmetic certificate |
| #88 | d5a5b936 | 0.000052514124198891 | claimed | 67.7 h | Certify ordered-frame composition at κ = 5.2514124198891e-5 |
| #89 | 6e3d667e | 0.000052445080818074 | claimed | 67.3 h | Congruent splits with geometric prices and null-circuit clearing: conditional κ = 5.2445080818074e-5 |
| #87 | 466fc99e | 0.000052431959054651 | claimed | 68.3 h | Congruent balanced multi-splits and indexed two-cycles: conditional κ = 5.2431959054651e-5 |
| #86 | f0fe4453 | 0.000052275423755251 | claimed | 67.7 h | Coordinate-aware indexed compilation: conditional κ = 5.2275423755251e-5 |
| #85 | dd7690a5 | 0.000052272192668365 | claimed | 68.1 h | Coordinate refinement of indexed two-cycles: conditional κ = 5.2272192668365e-5 |
| #84 | 424ef446 | 0.0000522712890914 | claimed | 68.3 h | Indexed carry two-cycles and coordinate flags: conditional κ = 5.22712890914e-5 |
| #92 | 2b4dca84 | 0.000052111890493145 | claimed | 41.3 h | Scheduled region orders on balanced frames: conditional κ = 5.2111890493145e-5 |
| #77 | 17c979eb | 0.000052062354654791 | claimed | 67.2 h | Coarse-threshold and coordinate refinement: conditional κ = 5.2062354654791e-5 |
| #82 | 67b446cc | 0.00005203279888519 | claimed | 68.7 h | Envelope ordering on balanced frames with geometric pricing: conditional κ = 5.203279888519e-5 |
| #81 | acae4964 | 0.000051915547765237 | claimed | 69.4 h | Balanced-column carry exchanges: conditional κ = 5.1915547765237e-5 |
| #80 | 4fb50b65 | 0.000051778825456819 | claimed | 68.8 h | Combined envelope/balanced axes and geometric flags: conditional κ = 5.1778825456819e-5 |
| #79 | 79dd6e13 | 0.000051745625472866 | claimed | 69.1 h | Balanced coarse split frames: conditional κ = 5.1745625472866e-5 |
| #76 | 2333abce | 0.000051738676045141 | claimed (draft) | 69.8 h | Envelope-ordered carry exchanges: conditional κ = 5.1738676045141e-5 |
| #78 | 7c379313 | 0.000051428783626028 | claimed | 68.8 h | Geometric coordinate flags: conditional κ = 5.1428783626028e-5 |
| #75 | da9b6cbe | 0.0000514154245470094 | claimed | 70.1 h | Zero-circuit live clearing: conditional kappa = 5.14154245470094e-5 above #71 |
| #71 | f59cb9f5 | 0.000051414646104039 | claimed | 69.7 h | Anchored split frames with profile-cost live reclamation: κ = 5.1414646104039e-5 |
| #69 | 6817afef | 0.00005136837484 | claimed (draft) | 65.4 h | Balanced coarse sums: conditional κ = 5.136837484e-5 |
| #70 | 11a4e317 | 0.0000510403292611078 | claimed | 70.6 h | Profile-aware frame compilation: conditional kappa = 5.10403292611078e-5 above frozen #62 |
| #68 | b1b2af34 | 0.00005103512721785 | claimed | 70.3 h | Cost-aware live controls: conditional κ = 5.103512721785e-5 |
| #67 | 46991a21 | 0.000051033760584215 | claimed | 70.1 h | Cost-aware retired-slot selection: conditional κ = 5.1033760584215e-5 |
| #65 | b0cea06d | 0.000051028985071975 | claimed | 70.5 h | Reordered rank-pair regions: conditional κ = 5.1028985071975e-5 |
| #63 | 5e42f913 | 0.00005102757 | claimed | 70.2 h | Rank-first pair assembly: conditional κ = 5.102757e-5 |
| #66 | 701b1246 | 0.0000483109396 | claimed | 69.8 h | Split-pair dual-suffix frames: conditional κ = 4.83109396e-5 |
| #154 | f571bcbd | 0.00004764513337 | claimed | 58.1 h | Faster verification: concurrent checks, make verify-parallel, faster paired-cube frames, no joint-dual re-pins |
| #318 | a45747d2 | 0.00004764513337 | claimed | 25.0 h | Re-pin the root Makefile/README in research/joint-dual/SOURCE.json (fixes the failing 'Verify research artifacts' job on main and all PRs) |
| #226 | 1e9d959f | 0.00004131076535 | claimed | 45.6 h | Bipartite carrier compression: -377,890 wires, kappa = 826215307/20000000000000 (~4.1310765e-5) |
| #47 | 117caf16 | 0.00004105106623 | claimed | 74.6 h | Hill-climbed producers for a conditional κ = 4.105106623e-5 bound |
| #44 | 1a21794e | 0.00004100629254 | claimed | 75.1 h | Weighted carrier matching: conditional κ = 4.100629254e-5 > 2^-15 |
| #42 | a92fc98c | 0.00004099494519 | claimed | 75.6 h | RaD producers with fixed reversed geometry: conditional κ = 4.099494519e-5 > 2^-15 |
| #41 | 03bde70c | 0.00004034168124 | claimed | 75.9 h | Alternating pair-block networks for conditional κ = 4.034168124 × 10⁻⁵ > 2⁻¹⁵ |
| #40 | e3bf3ab0 | 0.00003918734894 | claimed | 76.1 h | Both fixed bases and copied reversed corners: conditional κ = 3.918734894e-5 > 2^-15 |
| #38 | 605323ba | 0.00003886224 | claimed | 76.7 h | Copied centers with fixed local bases for conditional κ = 3.886224e-5 |
| #35 | 9c345a2a | 0.000016631776 | claimed | 77.1 h | Fixed local bases in two stages for conditional κ = 1.6631776e-5 |
| #34 | 7fecbe36 | 0.00001639226629 | claimed | 77.5 h | Reversed two-stage basis and balanced assembly for conditional κ = 1.639226629e-5 |
| #33 | a499a345 | 0.00001638103206 | claimed | 77.9 h | Compose smaller two-stage dimensions and data blocks for conditional κ = 1.638103206e-5 |
| #31 | 122e6453 | 0.000015878574 | claimed | 78.1 h | Exact data-corner certificates for conditional κ = 1.5878574e-5 > 2^-16 |
| #29 | 9d963275 | 0.000015536 | claimed | 78.3 h | Two-stage controlled corners for a conditional 15536/10^9 > 2^-16 bound |
| #28 | bb1143d0 | 0.000012260937 | claimed | 78.4 h | Rectangular geometry for conditional κ = 1.2260937e-5 > 2^-17 |
| #27 | c297233e | 0.0000119720853 | claimed | 77.9 h | Compose endpoint bit and semantic bulk interfaces for conditional κ = 1.19720853e-5 |
| #25 | 003f366c | 0.000011447067 | claimed | 78.7 h | Expose an A5 block for conditional κ = 1.1447067e-5 > 2^-17 |
| #23 | 661ebabc | 0.00001099 | claimed | 79.0 h | Semantic precision and bulk resampling for a conditional 1099/10^8 > 2^-17 bound |
| #22 | c2f03ed4 | 0.0000057114918 | claimed | 77.9 h | Refine translated parameters to conditional κ = 5.7114918e-6 |
| #21 | 5ba6cf0b | 0.000005499 | claimed | 79.3 h | Translated partial-swap frames for a conditional 5499/10^9 > 2^-18 bound |
| #19 | 817aeb7b | 0.000002093495 | claimed | 79.1 h | Partial-swap ternary geometry for conditional κ = 2.093495e-6 > 2^-19 |
| #17 | c915b411 | 0.000001248342 | claimed | 79.6 h | Compose nested geometry and smaller h30 producer for conditional κ = 1.248342e-6 > 2^-20 |
| #20 | 4f8d6c82 | 0.0000011668950558467842 | claimed (draft) | 78.7 h | Source-framed h53 conditional witness above 2^-20: attributed research record |
| #15 | a17cab39 | 0.000001076678 | claimed | 80.2 h | Smaller h30 producer and full complex batching for conditional κ > 2^-20 |
| #16 | a80f5e67 | 0.0000009799 | claimed | 80.1 h | Nested controlled bases for a conditional 9799/10^10 > 2^-20 bound |
| #14 | 1fa5b9a9 | 0.00000090799 | claimed | 80.4 h | Combine source frames and data corners for conditional kappa = 9.0799e-7 |
| #13 | 3ef246fa | 0.0000007699 | claimed | 80.7 h | Auxiliary source frames for a conditional kappa = 7699/10^10 > 2^-21 bound |
| #12 | 35d31e30 | 0.00000012649 | claimed | 80.9 h | Use dimension-30 geometry for conditional kappa = 1.2649e-7 |
| #9 | cfd6a2ba | 0.0000000038 | claimed | 81.3 h | Refine PR #7 ternary star templates for conditional kappa = 3.8e-9 |
| #7 | 6725c6a1 | 0.00000000373 | claimed | 83.5 h | Ternary five-subset networks for a conditional 373/10^11 > 2^-28 bound |
| #6 | 5015011b | 0.000000001624 | claimed | 84.3 h | Aligned bit circuit with cheaper centers for a conditional 1624/10^12 bound |
| #5 | d3d370c3 | 0.000000001479 | claimed | 85.5 h | Faster Gaussian resampling for a conditional 1479/10^12 > 2^-30 bound |
| #4 | 8c225e61 | 0.000000000591 | claimed | 85.9 h | Combine PR #3 shared exclusions with retained totals and stage sharing |
| #3 | dfe5b818 | 0.00000000059 | claimed | 87.2 h | Compress the complex network for a conditional 59/10^11 > 2^-31 bound |
| #8 | 4920e448 | 0.00000000059 | claimed | 65.0 h | Review conditional geometric complex-network candidate with kappa = 5.9e-10 |
| #2 | 8bb07d55 | 0.000000000000000001843143693225357537812669761478900909423828125 | claimed | 73.4 h | Preserve aligned pairing and its conditional 17*2^-63 witness |
| #1 | bfb168a5 | 0.0000000000000000017523184 | claimed (draft) | 92.7 h | Refine paired parameters and derive the fixed-exponent supremum |