Ostrý přechod r=4 → r=8: Při r=4 je výstup doslova konstanta (SAC=0, ANF stupeň=0, Walsh=1.000) — nonce (W3, vstupuje při kroku t=3) se do probovaných bitů ještě vůbec nepropsal. Od r=8 už jsou všechny tři metriky nerozeznatelné od náhodné kontroly. To NENÍ slabina SHA-256 — je to rychlost, jakou se dosáhne plné difuze.

SAC/Walsh závěr, přesná formulace: „V testovaném 16bit nonce prostoru a probovaných bitech nebyla od r=8 nalezena SAC/Walsh-detekovatelná struktura nad náhodnou kontrolou." Neznamená to, že žádná struktura jiného typu (nelineární, vícebitová, diferenciální) neexistuje — jen že tahle konkrétní metoda nic nenašla.

E_k zatím N/A: Primární endpoint (model vs. náhoda na nových jobech) se ještě neměřil. M0 testoval jen matematiku, ne AI model.

Další krok — M0.5 (navrženo): Přesné checkpointy r=4,5,6,7,8 najdou bod zlomu na kolo přesně. 8+8 jobů (discovery + confirmation), ≥32 bitů, s 95% cluster CI. Zatím neschváleno, EC2 neběží.

Cíl: zjistit levným testem (4 joby × 65 536 nonce, 8 probovaných výstupních bitů), jestli má smysl utratit ~$0.22 za plný M0 běh (16 jobů × 256 bitů). Kritéria GO/NO-GO zamčena předem ve verdict.rs, před spuštěním EC2 (c7g.medium, us-east-1, instance i-040e7791f3356e9d0, auto-terminace do 3 h).

Metodika: pro každý checkpoint r porovnáváme SHA-256 proti (A) náhodným booleovským funkcím stejné velikosti a (B) permutovaným výstupům SHA-256 — ne proti nule. Metriky: SAC (lavinový efekt), Walsh spektrum, ANF stupeň, influence matrix, distribuce leading zeros.

Výsledek: NO-GO. Všechna 4 zamčená kritéria selhala s velkou rezervou (SAC poměr 1.0003 vs. práh 1.05; Walsh poměr 1.24 vs. práh 2.0; 0 ze 4 jobů se signálem vs. práh 2). Plný M0 (~$0.22) se podle protokolu nespustil — smoke test za <$0.01 dal odpověď dřív, než bylo potřeba utratit víc.

Výsledky prošly křížovou kontrolou u druhého AI modelu (GPT). Nálezy a opravy:

Bug ve verdict.rs: kritérium „SAC ≈ 128 @ r=48" porovnávalo naměřenou hodnotu proti konstantě 128, převzaté z konfigurace plného běhu (probe_bits=256 → ideál 128). Smoke ale běží s probe_bits=8 → správný ideál je 4. Diagnostikováno jako chyba jen ve verdiktu/prahu (ne ve výpočtu) — potvrzeno průchodem celého verdict.rs a main.rs: žádná jiná podmínka konstantu 128 nepoužívá. Raw data se přepočítávat nemusela.

Statistická rezerva místo intuice: poměr 1.0003 byl zprvu popsán jako „šum" bez čísel. Doplněno: cluster bootstrap 95% CI = [0.9999; 1.0008] (obsahuje 1.0), párový permutační test p=0.19 (n=4 joby → min. možné p=0.0625, test je s tímto počtem jobů poddimenzovaný). Závěr přeformulován: prakticky a ekonomicky bezvýznamné (~167× pod požadovaným prahem) nezávisle na statistické (ne)významnosti.

Citace Gohr, CRYPTO 2019: ověřeno přímo na eprint.iacr.org/2019/037. Gohr řešil diferenciální rozlišovač (pozná pár šifrovaných textů vzniklý ze zvolené diference od náhodného páru), ne přímé řazení nonce. Platný precedens pro „neuronka najde strukturu, kterou statistika nevidí" — ne přímý důkaz, že náš nonce-ranking přístup musí fungovat.

E_k byl ve skutečnosti E_1 s únikem oracle: „skóre" v M0 bylo přímo skutečným výstupním bitem (ne predikcí modelu) — pro vyvážený bit to mechanicky dá enrichment 2.0 pro cokoli (SHA-256, náhodu, permutaci stejně). V primárním reportu teď E_k @ r=64 = N/A, ne pozitivní/negativní výsledek. Nalezeno v main.rs i doslova: kód počítal leading_zeros() jednoho bitu (hodnota 0/1), ne skutečných leading zeros celého digestu — koncept Y_k (LZ≥k) se v enrichmentu vůbec nepoužíval, přestože v kódu existuje (lz_dist.csv ho počítá správně, jen není propojený).

Přesnější nález než původní „77.5× signál" při r=4: ANF algebraický stupeň při r=4 vyšel přesně 0 — napříč všemi joby a bity. Stupeň 0 = probovaný bit je v tomto bodě KONSTANTNÍ funkcí nonce (nonce, vstupující při kroku t=3, se do něj ještě vůbec nepropsal). Walsh poměr 77.5× při r=4 je matematický důsledek testování konstanty, ne kryptografická slabina. Od r=8 SAC, Walsh i ANF nezávisle souhlasí: nerozeznatelné od náhody.

Návrh dalšího kroku (M0.5, zatím neschváleno): přesné checkpointy r=4,5,6,7,8, aby se přechod z „konstanta" na „náhodné" zmapoval na kolo přesně. Discovery (8 jobů) + confirmation (8 nových jobů), ≥32 bitů, 95% cluster CI. Odhad: <3 min běhu, <$0.02. EC2 zatím neběží, čeká na souhlas.

Kritická chyba odhalena a opravena PŘED spuštěním: původní návrh Experimentu B (diferenciální distinguisher) počítal s plným součinem 4 joby × 65 536 párů × 8 kol × 16 delta = přes 33,5 milionu párů. Materializace jako float32 vstup (D1||D2) by potřebovala ~69 GB RAM — nešlo by to spustit na c7g.medium (2 GB). Chybu odhalila druhá nezávislá oponentura, ne interní kontrola.

Oprava: (1) cache digest[job][r][nonce] počítaná jednou, páry pak jen indexováním; (2) data pro model se generují po dávkách, nikdy vcelku; (3) 8 discovery jobů místo 4 (u 4 jobů závisí výběr delta na jediném validačním jobu); (4) rozdělení na tři fáze — B0 (levný logistický screening všech 16 delta na r=5,6,7,8, bez MLP), B1 (malý MLP jen pro ≤2 nejlepší kandidáty na kolo, D1⊕D2 jako předregistrovaný primární vstup), B2 (jednorázové potvrzení na nových jobech po zamčení všeho).

Odhad běhu B0 teď benchmarkovaný, ne odhadovaný: lokální test logistické regrese na reálném rozměru dat (16 384×512) = ~1.1 s/kombinace × 512 kombinací ≈ 10 min, ne "sekundy", jak jsem původně napsal. Cena přesto zůstává pod $0.02.

Klasifikace nálezů zavedena: LAB_REDUCED_HIT (běžný výstup lab experimentů, nikdy neznačit jako bitcoin) / FULL_SHA256D_TARGET_HIT (hit proti plnému síťovému targetu — u tohoto rozsahu projektu prakticky nedosažitelné, ale protokol existuje) / VALID_NETWORK_BLOCK (potvrzeno Bitcoin Core, teprve pak cokoli označit za odměnu). Plný protokol: dokumenty.radimkaufmann.com/crypto/PROTOCOL_finding_classification.md.

Archiv založen: dokumenty.radimkaufmann.com/crypto/ — struktura experiments/{m0-smoke, m05-boundary, b0-differential-screen, b1-neural-distinguisher, b2-confirmation}/, každý s manifestem, configem, reportem. M0.5 a B0/B1/B2 označeny STATUS: PREREGISTRATION / NOT RUN, dokud opravdu neběžely.

M0.5 proběhlo napodruhé (4. pokus) po třech bootstrap bugách (HOME unbound variable, curl/curl-minimal konflikt v dnf, špatně zabalený tarball bez adresářového prefixu) — všechny zdokumentované v `ATTEMPTS.md` v archivu. Validace proti 4 kritériím (reprodukce r=4, shoda random/permutation, hranice kolapsu, shoda discovery/confirmation) prošla čistě.

Oprava vlastní interpretace: "Walsh klesá geometricky" byl formulačně přehnaný závěr — správně jen "zrychleně". ANF 1,22 při r=4 je blízko lineárnímu stupni 1, ne nule.

M0.6 (r=8,9,10,11,12, stejný seed 1005 = stejných 16 jobů) doměřilo přesný bod kolapsu: Walsh 0,079(r=8) → 0,020(r=9) → 0,013(r=10) → 0,013(r=11) → 0,013(r=12). Kolaps na matched-random podlahu nastává při r≈10, ne při dřív odhadovaném r=8. r=8 vyšlo bit-přesně identické mezi M0.5 a M0.6 (14,521493749999998 v obou) — potvrzuje korektní reprodukovatelnost.

Web aktualizován na kanonický stav: fáze M0.6+B0, B0=UNLOCKED/NOT RUN, Full SHA256d=NOT TESTED, A_net/bits_gain=N/A, Mainnet=OFF. Graf výsledků teď ukazuje spojenou reálnou křivku r=4–12 (16 jobů, 32 bitů) místo staré 8bitové smoke škály. Graf biasu (byl placeholder) odstraněn s jasným N/A, dokud nebude mít pipeline skutečný export.

Odloženo: odstranění GPU/M3 karty z pipeline vizualizace a kosmetického EC2 launcheru — čeká na další úpravu webu, aby se dnešní zpráva nerozrostla přes únosnou míru.