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.

Oprava kritéria pro r=10: můj test "obsahuje 95% CI nulu?" odpovídal na špatnou otázku ("dokážeme detekovat libovolně malý rozdíl?"), ne na tu, co potřebujeme ("je rozdíl prakticky ekvivalentní náhodě?"). S 16 joby je CI tak těsné, že i triviální rozdíl (SAC −0,008, tj. 0,05 % z 16) vyjde jako "statisticky nenulový". Opraveno na equivalence test: ekvivalenční pásmo ±1 % pro SAC (−0,16 až +0,16) a poměrové 0,833–1,20 pro Walsh. Naměřené CI leží u obou metrik celé hluboko uvnitř pásma → r=10 = FIRST PRACTICALLY EQUIVALENT ROUND, s výslovnou nálepkou POST-HOC OPERATIONAL EQUIVALENCE CRITERION (prahy zvoleny až po zobrazení agregované křivky, ne předregistrované).

B0 self-test (lokálně, bez EC2 nákladů): nová sada 8 discovery jobů (seed=2005, M0.5/M0.6 joby nedotčené), kola uzamčena na r=4,7,8,9,10,12 × 16 delta = 96 konfigurací. Digest cache (Rust, 0,72 s), generátor párů s dedup + leakage testy (všechny prošly — n1<n2 u pozitivních, n1≠n2 a n2≠n1⊕delta u negativních, přesně 8192/8192 vyvážené), GroupKFold (6 jobů train / 2 validace × 4 foldy) + logistická regrese. Permutovaná kontrola AUC=0,5004 (čistě). Skutečný test r=8/delta=1: out-of-job AUC=0,9974 (0,994–1,000 na všech 8 jobech) — silný signál, ale očekávaný (potvrzuje jen to, co už ukázaly Walsh/SAC; zajímavé bude až r=9/10/12).

Benchmark: 7,39 s/konfigurace → 96 konfigurací ≈ 11,8 min, 803 MB špička RAM na 1 konfiguraci. Proti limitům (runtime ≤60 min, RAM <1,5 GB, cena ≤$0,05, auto-terminace, žádné GPU/zvětšení): všechny splněny. EC2 běh ještě neproběhl — zbývá zabalit numpy/scikit-learn do bootstrap skriptu a spustit oficiálně kvůli konzistentní provenienci (git commit, checksumy) s M0.5/M0.6.

DISCOVERY DATA — NOT CONFIRMED — REDUCED-ROUND ONLY. Candidate ranking is exploratory and subject to multiple-comparison selection. Confirmation requires locked evaluation on new jobs (B2).

96 konfigurací (6 kol × 16 delta) + 6 permutačních kontrol, 8 nových discovery jobů (seed=2005), c7g.medium, 213,7 s, max RSS 1328 MB. Wheelhouse instalace (numpy/scipy/scikit-learn, žádný source-build na EC2) proběhla napoprvé bez chyby — dva bugy odchyceny lokálním smoke testem PŘED nasazením (DELTAS omylem 0..15 místo mocnin dvou; set -e by při RSS-abortu nikdy neudělal upload).

r=9: diferenciální klasifikátor našel výrazný out-of-job signál (macro AUC 0,73–0,85, všech 16/16 delta projde plnou statistickou bránou), přestože jednoduché agregované Walsh/SAC metriky z M0.6 už tam ukazovaly jen reziduální odchylku. (Ne "řádově silnější než Walsh" — AUC a Walsh poměr mají jiné jednotky, nelze přímo srovnávat.)

r=10: 8 z 16 delta projde plnou bránou (macro AUC ≥0,53, ≥6/8 jobů nad 0,5, 95% cluster-CI dolní mez nad 0,5, jackknife odolné, bez convergence warningu, permutace v null pásmu) — hraniční, ne potvrzený nález.

r=12: 0 z 16 delta — čistá negativní kontrola, přesně jak se čekalo.

B1 kandidáti uzamčeni (před zobrazením CI), ale NESPUŠTĚNI: r=9/Δ=4096 (pozitivní kontrola), r=10/Δ=512 a Δ=4096 (frontier), r=12/Δ=512 a Δ=4096 (matched negativní kontroly) — 5 konfigurací celkem, čeká na společné posouzení.

DISCOVERY DATA — NOT INDEPENDENTLY CONFIRMED — REDUCED-ROUND ONLY — POST-HASH DIFFERENTIAL RULE

The dominant discovery bits are located in post-feedforward output word 7. At each checkpoint this word equals the round-r working variable h plus initial-state word 7 modulo 2³². The experiment therefore does not yet attribute the mechanism directly to raw h.

Předregistrace (b02_preregistration.json) opatřena checksumem spolu s zamčenými pravidly (b02_locked_rules.json) a evaluátorem před generováním jakýchkoli B0.2 dat. 48 zcela nových jobů (seed=3005), fingerprint ověřen proti všem 8 B0 discovery jobům. 24 jobů/delta skupinu, žádný power calculation z discovery dat (ta už prošla výběrem) — konzervativní preregistrovaný design. Tři primární hypotézy s Holm korekcí, matched r=12 negativní kontroly. EC2 běh zahájen, poběží bez průběžného nahlížení do výsledků (no optional stopping).

An implementation defect was detected in the optimized AUC evaluator: tied discrete scores were not assigned the required half-credit. The locked data and rules remain unchanged, but all B0.2 inferential outputs are being recomputed with a tie-aware reference implementation. No confirmation claim is currently made.

Původní EC2 výsledky (macro AUC H1=0,798, H2=0,570, H3=0,558, ale r=12 kontroly 0,530/0,529 — mimo null pásmo) zachovány, ne smazány, označené b02_results.INVALID_TIE_HANDLING_DEFECT.json. Že to odhalily právě předregistrované r=12 kontroly, je důkaz, že integrity procedura funguje, ne důvod to schovávat.

Příčina: osmibitové sign-rule skóre má jen 9 možných celočíselných hodnot (−8 až +8) → masivní shody skóre mezi 16 384 vzorky/job. Vlastní rychlá fast_auc (argsort) přiřazovala shodám nestabilní pořadí místo poloviny bodu, což se liší mezi platformami/verzemi NumPy — proto systematický, ale platformě-závislý posun.

Oprava: vráceno na sklearn.roc_auc_score jako primární výpočet, plus nezávislá celočíselná tie-aware kontrola (musí souhlasit na 1e-9). Šest self-testů (vše stejné→0,5; perfektní pořadí→1,0; obrácené→0,0; ties příklad; invariance vůči pořadí řádků; 1000 náhodných testů) proběhlo čistě před ostrou reevaluací. Stejná zamčená data/joby/pravidla/seedy — žádná nová data.

H1/H2/H3 se zatím neinterpretují jako potvrzené, dokud korektivní běh nedoběhne a lokální/EC2 shoda se neověří.

INTEGRITY ALERT: RESOLVED — CORRECTIVE TIE-AWARE REEVALUATION COMPLETED — LOCKED DATA AND RULES UNCHANGED — LOCAL/EC2 REPRODUCIBILITY CONFIRMED

B0.2 independently confirmed all three preregistered reduced-round differential rules on 48 newly generated jobs that had not been used during discovery or rule selection. The r=9 rule produced a strong out-of-job signal, while both preregistered r=10 rules produced weaker but independently reproducible signals. All three primary hypotheses passed the complete preregistered confirmation gate without retraining, bit reselection, sign changes, threshold adjustment, or any other post hoc tuning. The matched r=12 controls were consistent with chance after correct tie-aware evaluation, supporting the conclusion that the confirmed rules detect round-specific reduced-round structure rather than a general artifact of the paired-data generator.

Interpretace: independently confirmed on new jobs. The frozen reduced-round rules generalized to previously unseen job-level data under the preregistered protocol. Not: "SHA-256 was broken", "mining advantage confirmed", "the hash can be predicted", "full SHA-256 distinguished", "reduces computational work".

REDUCED-ROUND ONLY · POST-HASH DIFFERENTIAL RULE · INDEPENDENTLY CONFIRMED ON NEW JOBS · NO RETRAINING OR RULE ADJUSTMENT · FULL SHA-256/SHA256D = NOT TESTED · COMPUTATIONAL-WORK REDUCTION = NOT DEMONSTRATED · A_net = N/A · bits_gain = N/A · REGTEST MINER = QUEUED · MAINNET = OFF

The confirmed rules use bits located in post-feedforward output word 7. At checkpoint r, this word equals the round-r working variable h plus job-specific initial-state word 7 modulo 2³². The experiments localize the observed signal to this output word but do not establish raw h as its causal mechanism.

Auditní stopa (viditelná, ne odstraněná): 1. Initial evaluation: INVALID — tie-handling defect. 2. Integrity alert activated by unexpected r=12 controls. 3. Primary interpretation suspended. 4. Evaluator corrected and independently tested (6/6 self-testy, 1000 náhodných srovnání se sklearn, max rozdíl 1,1×10⁻¹⁶). 5. Identical locked data reevaluated locally and on EC2 (shoda na 4 des. místa). 6. Corrected results reproduced. 7. Integrity alert resolved. Původní neplatný výstup zachován jako b02_results.INVALID_TIE_HANDLING_DEFECT.json, ne smazán.

Další krok je otevřené rozhodnutí mezi: mechanism analysis / test přenosu na r=11 / změna job-message distribuce / regtest miner test. B1 se automaticky nespouští.

CORE DECOMPOSITION + CLOSEOUT CONTROLS COMPLETE

"Across the analyzed configurations, the frozen-rule AUC on the raw round-r h differential was practically indistinguishable from its AUC on the post-feedforward differential. This supports a raw-dominant mechanism hypothesis. A secondary carry association was present in the strong r=9 configuration, so the current evidence does not establish a raw-only causal mechanism."

Invariant P=R⊕C: 0 porušení z >1 milionu vzorků napříč B0 i B0.2 daty.

Opravený kontrafaktuál A: P_cf (s=0, plně přepočítáno) == R bitově, na všech testovaných vzorcích — implementace potvrzena.

Kontrafaktuál B (permutovaná feedforward konstanta, předem zapsaná sada 8 hodnot): 4 z 5 konfigurací beze změny (CI rozdílu obsahuje 0); H3 (r=10, Δ=4096) vykázal malý, ale statisticky odlišitelný posun (+0,0036, CI [0,0016; 0,0058]) — drobná, ne zásadní závislost na konkrétní konstantě.

B0.2 popisná replikace (24 jobů/config, ne nové potvrzení): stejný obraz — AUC_P≈AUC_R pro H1/H2/H3, rozdíly <0,003 v absolutní hodnotě i tam, kde CI vyloučilo nulu.

Carry maska u H1 (AUC_C=0,577) není zanedbatelná — sekundární třídní asociace existuje, jen slabší než raw R. Proto: RAW-DOMINANT, ne RAW-ONLY.

NO DATA GENERATED — NOT RUN. Audit odhalil 2 blokátory, oba opraveny: (1) evaluátor měl zakomentovanou produkční logiku — přepsán na plně aktivní kód s fail-closed kontrolou (bez cache: exit 1, žádný placeholder), otestováno; (2) nejasný počet/ukotvení artefaktů — 7 payload souborů + checksums_b04_prerun.txt, jehož vlastní SHA-256 publikován samostatně mimo něj. Obě kopie (S3 + dokumenty archiv) ověřeny byte-for-byte identické. Cache soubor nikde neexistuje. Čeká na finální kontrolu před definitivním freeze.

No active experiment.

MANUALLY UPDATED — NOT LIVE AWS DATA. Skutečné EC2 instance spouští a monitoruje Claude přímo přes AWS API, mimo tenhle web — tahle karta je jen textový status, ne ovládací panel.