From 259e478b2ad30dad4c7d858078cc5dffc05adecf Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 20:39:08 +0000 Subject: [PATCH] adv-accept report: 1738 against the 0.995 floor (refused), gap-hot3 log Co-Authored-By: Claude Fable 5.1 --- .../logs/adv-accept/gap-hot3.log | 27 +++++++++++++++++++ .../cryptanalysis/report-acceptance-rule.md | 7 +++-- 2 files changed, 32 insertions(+), 2 deletions(-) create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept/gap-hot3.log diff --git a/docs/analysis/cryptanalysis/logs/adv-accept/gap-hot3.log b/docs/analysis/cryptanalysis/logs/adv-accept/gap-hot3.log new file mode 100644 index 000000000..5a253f286 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept/gap-hot3.log @@ -0,0 +1,27 @@ +lease: 0 of 4 pool cores free (88 leased); waiting +lease: holding 8 pool cores (33,34,35,36,37,38,39,40, waited 732 s, class adv): adv-accept gap-hot3 +gap: seed 1738 +gap: program id 33ece54e2df5ea44 attempt 4 class mx8-era47aaf3f9+sh256x27 day 20730 (cache filled in 0.6 s) plant zero-dataset false +gap: mirror validated against hash_warp on 8 units (closed form and live) +gap: closed-form per-site distinct counts equal the library's distinct_indices_v4 on 4096 units +gap: (c) metrics on 64 units: closed distinct_mean 128.000 saturated 0 bias_max 51; live distinct_mean 128.000 saturated 0 bias_max 54 +gap: site 0 closed ratio 1.0002 (1040562) live ratio 1.0000 (1040428) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 1.0000 (1044503) live ratio 1.0000 (1044471) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 1.0000 (1046562) live ratio 1.0000 (1046526) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 1.0001 (1046586) live ratio 1.0000 (1046533) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 1.0001 (1046625) live ratio 1.0000 (1046491) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 1.0000 (1044515) live ratio 1.0000 (1044431) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0001 (1044601) live ratio 1.0001 (1044628) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 0.9999 (1044425) live ratio 1.0000 (1044501) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 1.0000 (1046478) live ratio 1.0000 (1046548) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 1.0001 (1044542) live ratio 1.0001 (1044578) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 0.9998 (1040215) live ratio 0.9999 (1040236) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 1.0001 (1040528) live ratio 1.0000 (1040421) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 1.0001 (1046603) live ratio 1.0000 (1046557) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 0.9868 (1026682) live ratio 0.9870 (1026875) diff -0.0002; reads on indices read >= 8 times: closed 0.2595% live 0.2535% +gap: site 14 closed ratio 1.0000 (1044508) live ratio 1.0000 (1044500) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 0.9924 (1032460) live ratio 0.9925 (1032541) diff -0.0001; reads on indices read >= 8 times: closed 0.0585% live 0.0530% +gap: min ratio closed 0.9868 live 0.9870; largest site gap -0.0002 at site 13; verdict under the 0.98 floor: closed accept live accept; 15.0 s +gap DONE 33ece54e2df5ea44 +Terminated +lease: released 8 pool cores after 751 s, exit 0 diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule.md b/docs/analysis/cryptanalysis/report-acceptance-rule.md index b12af8497..27892437b 100644 --- a/docs/analysis/cryptanalysis/report-acceptance-rule.md +++ b/docs/analysis/cryptanalysis/report-acceptance-rule.md @@ -280,12 +280,15 @@ distinct-index ratio at the acceptance's own 2^20 sample, against the class v5 f | seed 106924 | 8aa3c604dba9d11b, 1 | 10 (instr 45) | 0.9821 / 0.9823 | refused | hot set, +0.221%, 2.21x (the second shape) | | seed 107022 | 0fd1d15a8bd627d4, 1 | 10 (instr 44) | 0.9877 / 0.9876 | refused | hot set, +0.138%, 1.82x (the second shape) | | seed 100767 (earlier read) | 9d68e6286fc817d4, 2 | 6 (instr 23) | 0.9919 / 0.9920 | refused | hot set, +0.155%, 2.05x | +| seed 1738 (gap-hot3.log, build-1, 21:37 BST) | 33ece54e2df5ea44, 4 | 13 (instr 54) | 0.9868 / 0.9870 | refused | hot set, +0.102%, 1.68x | +| seeds 170 (53a02a7c9c9b86f3) | not yet read at 2^20 | | | | hot set, +0.143%, 2.02x | | Devnet 3 epoch 0, class v4 | fce15bf61030be57, 0 (day 20733) | 0 (instr 3, src r6) | 0.9992 / 0.9993 | AT OR ABOVE: a residual the floor misses | adv-cache-2: site 0 bit law P(bit 0..2 = 1) = 0.250 / 0.375 / 0.4375, chi2/dof 3.70 at 2^26 | | adv-cache-2 era-fixed-20 | 11f9f955b21d56c9, 1 | 11 (instr 46) | 0.9997 / 0.9997 | AT OR ABOVE: a residual | adv-cache-2: top 0.1% 1.26x its window control, one item read 512 times | | adv-cache-2 era-drawn-2 | 7ceb797d31eedb3e, 0 | 13 (instr 55) | 0.9992 / 0.9993 | AT OR ABOVE: a residual | adv-cache-2: chi2/dof 2.04, top 0.1% 1.27x | -Reading. The floor at 0.995 refuses every program whose live hot set passes the f8 test X_f >= f (seven of -this lane's, minimum sites 0.9821 to 0.9919), and does not reach the three milder concentrations (top 0.1 +Reading. The floor at 0.995 refuses every program whose live hot set passes the f8 test X_f >= f (six of +this lane's seven read so far, minimum sites 0.9821 to 0.9919; seed 170's read is queued), and does not +reach the three milder concentrations (top 0.1 percent share 1.26x to 1.27x, chi2/dof 2 to 3.7) whose minimum site reads 0.9992 to 0.9997, inside the clean population's spread at 2^20 (clean median 0.9999, clean first percentile about 0.9993 over 29,032 programs). Devnet 3's own first program is one of those three. What those residuals are worth to a chip: a 1.26x share