From a3af7f2aa69e6daf5317c8295fa4d286495ac0a0 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 19:42:55 +0000 Subject: [PATCH] adv-accept report: class v5 row relabelled (confirming row for the (c''') floor), gap-rep8 complete, yield and withdrawal on box 2 recorded Co-Authored-By: Claude Fable 5.1 --- .../logs/adv-accept/gap-rep8.log | 165 ++++++++++++++++++ .../logs/adv-accept/gap-rep8.log.pgid | 1 + .../logs/adv-accept/gap-rep8.log.pid | 1 + .../logs/adv-accept/gap-rep8.log.start | 2 + .../cryptanalysis/report-acceptance-rule.md | 56 +++++- 5 files changed, 219 insertions(+), 6 deletions(-) create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pgid create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pid create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.start diff --git a/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log new file mode 100644 index 000000000..ff5944eb1 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log @@ -0,0 +1,165 @@ +lease: 0 of 16 pool cores free (88 leased); waiting +lease: holding 31 pool cores (42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72, waited 840 s): adv-accept gap-rep8 +gap: seed 100767 +gap: program id 9d68e6286fc817d4 attempt 2 class mx8-era763e5847+sh256x27 day 20730 (cache filled in 0.4 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 127.714 saturated 0 bias_max 82; live distinct_mean 127.730 saturated 1 bias_max 53 +gap: site 0 closed ratio 0.9997 (1044181) live ratio 0.9999 (1044337) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 0.9998 (1046291) live ratio 0.9997 (1046234) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 0.9999 (1040272) live ratio 0.9998 (1040205) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 0.9997 (1046208) live ratio 0.9998 (1046357) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 0.9998 (1044272) live ratio 0.9999 (1044371) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 0.9998 (1044269) live ratio 0.9999 (1044334) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 0.9919 (1031917) live ratio 0.9920 (1032049) diff -0.0001; reads on indices read >= 8 times: closed 0.1681% live 0.1514% +gap: site 7 closed ratio 0.9997 (1040121) live ratio 0.9998 (1040139) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 0.9999 (1044334) live ratio 0.9998 (1044277) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 0.9997 (1044213) live ratio 0.9997 (1044176) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 0.9998 (1046311) live ratio 0.9998 (1046304) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 0.9998 (1044255) live ratio 0.9998 (1044247) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 1.0000 (1040348) live ratio 0.9998 (1040163) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 0.9998 (1046273) live ratio 0.9998 (1046309) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 0.9997 (1046243) live ratio 0.9998 (1046302) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 0.9997 (1044149) live ratio 0.9998 (1044287) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9919 live 0.9920; largest site gap +0.0002 at site 12; verdict under the 0.98 floor: closed accept live accept; 5.8 s +gap DONE 9d68e6286fc817d4 +gap: seed 100211 +gap: program id d07885a437e237c7 attempt 0 class mx8-eraa8bce51f+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 61; live distinct_mean 128.000 saturated 0 bias_max 57 +gap: site 0 closed ratio 1.0001 (1044569) live ratio 1.0000 (1044436) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 1.0001 (1044548) live ratio 0.9999 (1044420) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 1.0001 (1046583) live ratio 1.0000 (1046505) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 1.0001 (1040470) live ratio 1.0000 (1040420) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 1.0000 (1040420) live ratio 1.0000 (1040436) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 1.0000 (1046556) live ratio 1.0000 (1046524) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0000 (1044469) live ratio 1.0001 (1044551) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 1.0002 (1040604) live ratio 1.0000 (1040409) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 1.0000 (1040382) live ratio 1.0001 (1040521) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 0.9907 (1034720) live ratio 0.9908 (1034913) diff -0.0002; reads on indices read >= 8 times: closed 0.1862% live 0.1794% +gap: site 10 closed ratio 1.0000 (1046489) live ratio 1.0000 (1046567) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 1.0000 (1044496) live ratio 1.0001 (1044546) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 1.0002 (1040563) live ratio 0.9999 (1040306) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 1.0000 (1046492) live ratio 1.0000 (1046480) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 1.0001 (1040478) live ratio 1.0000 (1040406) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 1.0000 (1044498) live ratio 0.9999 (1044420) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9907 live 0.9908; largest site gap +0.0002 at site 12; verdict under the 0.98 floor: closed accept live accept; 7.7 s +gap DONE d07885a437e237c7 +gap: seed 100064 +gap: program id 2442abf9d56f6611 attempt 2 class mx8-eraa210d1bd+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 11 bias_max 64; live distinct_mean 128.000 saturated 6 bias_max 51 +gap: site 0 closed ratio 1.0002 (1044665) live ratio 1.0000 (1044436) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 1.0000 (1046553) live ratio 1.0000 (1046547) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 1.0000 (1044482) live ratio 1.0000 (1044529) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 1.0000 (1044491) live ratio 1.0001 (1044596) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 1.0000 (1046539) live ratio 1.0000 (1046523) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 1.0001 (1040513) live ratio 0.9999 (1040282) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0001 (1046582) live ratio 1.0000 (1046545) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 1.0000 (1046489) live ratio 1.0001 (1046583) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 1.0000 (1044497) live ratio 0.9999 (1044335) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 1.0000 (1046531) live ratio 1.0000 (1046545) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 1.0000 (1046523) live ratio 1.0000 (1046552) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 0.9832 (1022918) live ratio 0.9831 (1022831) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 1.0000 (1044431) live ratio 0.9999 (1044389) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 1.0000 (1046496) live ratio 1.0000 (1046497) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 1.0002 (1044658) live ratio 1.0002 (1044663) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 0.9914 (1035466) live ratio 0.9914 (1035489) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9832 live 0.9831; largest site gap +0.0002 at site 5; verdict under the 0.98 floor: closed accept live accept; 7.8 s +gap DONE 2442abf9d56f6611 +gap: seed 100159 +gap: program id 573d650159a8b04e attempt 3 class mx8-era9e0e4f28+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 127.467 saturated 0 bias_max 46; live distinct_mean 127.458 saturated 0 bias_max 64 +gap: site 0 closed ratio 1.0000 (1040396) live ratio 1.0000 (1040385) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 1.0000 (1046497) live ratio 1.0000 (1046483) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 1.0001 (1040463) live ratio 1.0001 (1040441) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 1.0000 (1040403) live ratio 1.0000 (1040360) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 1.0002 (1040636) live ratio 1.0001 (1040451) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 0.9960 (1036266) live ratio 0.9962 (1036416) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0000 (1046544) live ratio 1.0000 (1046540) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 0.9834 (1023068) live ratio 0.9832 (1022905) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 0.9999 (1044402) live ratio 1.0001 (1044572) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 1.0001 (1040449) live ratio 1.0000 (1040341) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 1.0000 (1040366) live ratio 1.0002 (1040607) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 1.0000 (1046539) live ratio 1.0000 (1046513) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 1.0000 (1040416) live ratio 1.0002 (1040552) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 1.0001 (1040454) live ratio 1.0000 (1040392) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 1.0000 (1046562) live ratio 1.0000 (1046534) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 1.0000 (1046523) live ratio 1.0001 (1046632) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9834 live 0.9832; largest site gap -0.0002 at site 10; verdict under the 0.98 floor: closed accept live accept; 7.7 s +gap DONE 573d650159a8b04e +gap: seed 100629 +gap: program id 37c849d9741c5994 attempt 0 class mx8-era31b72e61+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 64; live distinct_mean 128.000 saturated 0 bias_max 52 +gap: site 0 closed ratio 0.9999 (1044395) live ratio 1.0000 (1044438) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 1.0001 (1044552) live ratio 1.0000 (1044457) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 1.0000 (1040424) live ratio 1.0001 (1040508) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 1.0000 (1044516) live ratio 1.0000 (1044433) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 1.0001 (1044582) live ratio 1.0000 (1044505) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 0.9834 (1023069) live ratio 0.9834 (1023089) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0000 (1046561) live ratio 1.0000 (1046526) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 0.9999 (1046473) live ratio 1.0000 (1046503) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 1.0002 (1040594) live ratio 1.0000 (1040365) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 1.0000 (1040420) live ratio 1.0001 (1040531) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 1.0001 (1044537) live ratio 1.0000 (1044439) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 1.0000 (1040379) live ratio 1.0000 (1040414) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 0.9999 (1044359) live ratio 1.0001 (1044540) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 1.0000 (1046490) live ratio 1.0000 (1046536) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 1.0000 (1046570) live ratio 1.0000 (1046553) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 1.0001 (1046587) live ratio 1.0000 (1046558) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9834 live 0.9834; largest site gap +0.0002 at site 8; verdict under the 0.98 floor: closed accept live accept; 7.6 s +gap DONE 37c849d9741c5994 +gap: seed 2 +gap: program id 8a0047b2eb071ade attempt 5 class mx8-era35d128b9+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 1 bias_max 56; live distinct_mean 128.000 saturated 0 bias_max 57 +gap: site 0 closed ratio 1.0000 (1040416) live ratio 1.0002 (1040607) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 0.9999 (1046463) live ratio 1.0000 (1046575) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 1.0000 (1046531) live ratio 1.0001 (1046645) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 1.0000 (1046511) live ratio 1.0001 (1046596) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 1.0001 (1040437) live ratio 0.9999 (1040329) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 1.0000 (1044493) live ratio 1.0001 (1044597) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0002 (1040579) live ratio 1.0001 (1040442) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 1.0000 (1044480) live ratio 1.0000 (1044495) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 1.0000 (1046508) live ratio 1.0000 (1046511) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 1.0001 (1044535) live ratio 1.0000 (1044429) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 0.9999 (1040317) live ratio 1.0001 (1040530) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 1.0000 (1044517) live ratio 1.0001 (1044565) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 1.0001 (1040488) live ratio 0.9999 (1040310) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 1.0000 (1046549) live ratio 1.0000 (1046580) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 1.0000 (1046487) live ratio 1.0000 (1046488) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 0.9999 (1040327) live ratio 1.0002 (1040548) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9999 live 0.9999; largest site gap -0.0002 at site 15; verdict under the 0.98 floor: closed accept live accept; 7.7 s +gap DONE 8a0047b2eb071ade +gap: seed 3664 +gap: program id abfcb4fe4f054bad attempt 1 class mx8-era22e9123a+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 124.021 saturated 0 bias_max 59; live distinct_mean 123.989 saturated 0 bias_max 60 +gap: site 0 closed ratio 0.9997 (1040099) live ratio 0.9998 (1040193) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 1 closed ratio 0.9998 (1040166) live ratio 0.9996 (1039994) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 2 closed ratio 0.9998 (1044306) live ratio 0.9998 (1044312) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 3 closed ratio 0.9998 (1044260) live ratio 0.9997 (1044152) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 4 closed ratio 0.9999 (1040277) live ratio 0.9999 (1040271) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 5 closed ratio 0.9997 (1044203) live ratio 0.9998 (1044221) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 6 closed ratio 1.0000 (1040390) live ratio 0.9996 (1039997) diff +0.0004; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 7 closed ratio 0.9998 (1044299) live ratio 0.9998 (1044304) diff -0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 8 closed ratio 0.9997 (1044158) live ratio 0.9998 (1044223) diff -0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 9 closed ratio 0.9998 (1044312) live ratio 0.9997 (1044192) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 10 closed ratio 0.9998 (1046295) live ratio 0.9998 (1046290) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 11 closed ratio 0.9999 (1040240) live ratio 0.9997 (1040081) diff +0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 12 closed ratio 0.9963 (1036533) live ratio 0.9965 (1036691) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 13 closed ratio 0.9962 (1036435) live ratio 0.9964 (1036645) diff -0.0002; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 14 closed ratio 0.9998 (1046279) live ratio 0.9997 (1046251) diff +0.0000; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: site 15 closed ratio 0.9944 (1038613) live ratio 0.9943 (1038549) diff +0.0001; reads on indices read >= 8 times: closed 0.0000% live 0.0000% +gap: min ratio closed 0.9944 live 0.9943; largest site gap +0.0004 at site 6; verdict under the 0.98 floor: closed accept live accept; 7.9 s +gap DONE abfcb4fe4f054bad +Terminated +lease: released 31 pool cores after 918 s, exit 0 diff --git a/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pgid b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pgid new file mode 100644 index 000000000..aaae30d3b --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pgid @@ -0,0 +1 @@ +2240972 diff --git a/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pid b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pid new file mode 100644 index 000000000..aaae30d3b --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.pid @@ -0,0 +1 @@ +2240972 diff --git a/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.start b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.start new file mode 100644 index 000000000..d82168713 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept/gap-rep8.log.start @@ -0,0 +1,2 @@ +2026-10-07T19:20:45Z queued pid 2192622 pgid 2192622 behind the per-box sweep lock; nice 10 cores 8-95; log /srv/builds/_adv-adv-accept/gap-rep8.log +2026-10-07T19:25:11Z queued on lease pool 32 (min 16) pid 2240972 pgid 2240972; log /srv/builds/_adv-adv-accept/gap-rep8.log diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule.md b/docs/analysis/cryptanalysis/report-acceptance-rule.md index 42e238d4a..c84ca7800 100644 --- a/docs/analysis/cryptanalysis/report-acceptance-rule.md +++ b/docs/analysis/cryptanalysis/report-acceptance-rule.md @@ -232,6 +232,34 @@ is NOT weak by the rule's own measures; it is a program with no lossy op at all, measure has not yet been run on (owed). The 20k-seed census of real attempts (per-part rejections, cap reached, P(exhaust)) is running (attempts-20k.log); its numbers land here. +### The defender's question 3: the concentration at the acceptance's own 2^20 sample (box 2, 20:4x BST) + +`adv-accept gap --seeds 100767,100211,100064,100159,100629,2,3664` (lease 32, log logs/adv-accept/gap-rep8.log +when it ends): per site, over the rule's own 4,096 units x 32 lanes x 8 iterations = 2^20 random-nonce +evaluations, the share of the site's reads that land on word indices read 8 or more times (a uniform site on +a 2^26-word window repeats an index 2 or 3 times at most, so this share is 0.000 percent for a clean site). + +| Program | the low site | distinct-index ratio closed / live | reads on indices read >= 8 times, closed / live | every other site | +|---|---|---|---|---| +| 100767 (the exemplar) | site 6 (instr 23, r6) | 0.9919 / 0.9920 | 0.168% / 0.151% | 0.000% | +| 100211 | site 9 (instr 31) | 0.9907 / 0.9908 | 0.186% / 0.179% | 0.000% | +| 100064 | min site 0.9832 / 0.9831 | | under 0.01% at every site | | +| 100159 | min site 0.9834 / 0.9832 | | under 0.01% at every site | | +| 100629 | min site 0.9834 / 0.9834 | | under 0.01% at every site | | +| 2 (control) | none under 0.9999 | | 0.000% everywhere | | +| 3664 (the lowest 256-unit read, 0.9945) | min site 6 at 0.9944 / 0.9943 | | under 0.01% | its 256-unit read was not noise: the 2^20 ratio agrees | + +All seven done (log logs/adv-accept/gap-rep8.log). Two of the seven carry a site with over 0.1 percent of its +reads on heavily repeated indices (100767 site 6, 100211 site 9); the other low-ratio programs reach 0.983 +at 2^20 through spread repeats under 0.01 percent per site, a different shape: a site that is slightly +less than uniform everywhere rather than one hot image. + +So the concentration the sequential 2^24 run shows (site 6 putting 3.35 percent of its reads into the top +0.1 percent of ITEMS, 17k items) appears at the acceptance's own random-nonce sample as 0.17 percent of +site 6's reads on heavily repeated WORD indices and a ratio of 0.9919: the two readings agree once items +(16 words each, 2^24 of them) are told from words (2^28), and the rule's sample does see it; its floor at +0.98 is set below it. + ### Q2, the stand-in gap: first bound (box 2, 19:46 BST, `adv-accept gap`) Tool: a mirror interpreter with per-site index capture, run on the rule's own base nonces (seed-keyed @@ -297,6 +325,10 @@ sweep's ratio column already locates (rows under 0.9810 at 256 units, then a 2^2 | 4765 | 0.9960 | 1.020x within | +0.003% (0.03) | clear | | 106700 | 0.9960 | 1.0006x within | +0.000% (0.00) | clear | | 1352 (random) | 0.9999 | 1.057x within | +0.009% | clear | +| 100521 (random) | 0.9999 | 1.153x within | +0.025% (0.25) | clear | +| 106359 (random) | 0.9999 | 1.0001x within | +0.000% | clear | +| 4905 (random) | 0.9999 | 1.012x within | +0.002% | clear | +| 102519 (random) | 0.9999 | 0.9999x within | -0.000% | clear | | 4107 (random) | 0.9999 | 1.0004x within | +0.000% | clear | | 101710 (random) | 0.9998 | 1.0034x within | +0.001% | clear | | 101886 (random) | 0.9998 | 1.0000x within | +0.000% | clear | @@ -330,13 +362,18 @@ selector enrichment about 4.6x over the base rate (42 percent beyond against 9 p points. The hot-set test proper (X_f >= f) fired on 1 of 22 programs measured at 2^24 (100767), and on none of the 11 random. -### Class v5 check of the exemplar: the hot set SURVIVES class v5 unchanged (box 2, 20:36 BST) +### Confirming row for the class v5 acceptance floor (c'''): pre-floor draw against post-floor refusal (box 2, 20:36 BST) -Does seed 100767 (id 9d68e6286fc817d4 under class v4) still read hot under class v5's state-derived -dataset? Tool: tools/attack/adv-accept-v5 (the same f8 harness over the vendored igneum-pow of branch -class-v5 at 25c8063f, read-only input; the program draw is the same since the state flag is not read by -the draw, generator 5, id 2fd83dbae09c366d; the dataset XORs the window's state leaf into every item before -the first mixer). State stream: the Devnet 3 v5 pack's state.igsd1 (inputs/v5-dn3-epoch0-state.igsd1, 11 +Not a class v5 finding. Does seed 100767 (id 9d68e6286fc817d4 under class v4) still read hot when the +dataset is class v5's state-derived one? Tool: tools/attack/adv-accept-v5 (the same f8 harness over the +vendored igneum-pow of branch class-v5 at 25c8063f, read-only input, which is the class v5 crate BEFORE +commit ab6f980b: it has no per-site floor (c''') yet). Under that pre-floor crate the class v5 draw of the +seed lands on attempt 2, id 2fd83dbae09c366d, the same base program and era as the v4 id. Under the frozen +class v5 rule (ab6f980b and later) the defender reports the same seed is REFUSED at attempt 2 by the new +per-site floor (c'''), which names site 6 at 0.991, and the v5 draw lands on attempt 4, id 734fbb8e3e4cd20f +(stated by the class v5 lane; not derived here). So this row measures the pre-floor program on the v5 +dataset and shows what the floor was built to refuse: generator 5; the dataset XORs the window's state leaf +into every item before the first mixer. State stream: the Devnet 3 v5 pack's state.igsd1 (inputs/v5-dn3-epoch0-state.igsd1, 11 records, root 7e37a9fb...a311, leaves fnv f141bfee2a8b11b0), the only public state stream. Commands, through the lease pool (lease 32, 16 cores taken), log logs/adv-accept/v5-exemplar.log: @@ -426,6 +463,13 @@ while my leases are waiters. Refined at 20:3x BST: the test is by OWNER: yield t class-v5, or whose owner is attack-pass with "v5" in its label; never to a waiter whose owner starts with adv- (so my own "v5-exemplar" label and the sibling lanes' leases are not yield triggers). +Yield executed 20:41 BST on box 2 (the class v5 (c''') census, owner class-v5, 88 cores, waiting since +20:39 behind my leases): ended by pgid file live-random9-16m (6 of 9 done), gap-rep8 (7 of 7 done, nothing +lost) and sweep-s02 (2,474 rows kept, frontier 202482); withdrawn by pid the four waiting shards and the +re-queues made a moment earlier; box 2 then showed 0 holders and 0 waiters of mine at 20:41:38. By main's +order I take no lease on box 2 until the census is confirmed running; the box-2 order then resumes (3 random +seeds, shard 02 from 202482, shard 00 from 11830, shards 04/06/08). Build-1 unchanged. + ## Where the pass stands (for the 00:00 BST reading; numbers refreshed as rows land) | Item | Reading |