diff --git a/docs/analysis/cryptanalysis/logs/adv-accept-3/981-verdicts-noncyclic.tsv b/docs/analysis/cryptanalysis/logs/adv-accept-3/981-verdicts-noncyclic.tsv new file mode 100644 index 000000000..35a485e48 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept-3/981-verdicts-noncyclic.tsv @@ -0,0 +1,1200 @@ +lease: 0 of 16 pool cores free (88 leased); waiting +lease: holding 32 pool cores (10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41, waited 294 s, class adv): adv-accept-3 981-adv-accept-3-verdicts-noncyclic 0 +# adv3 verdicts 2026-10-07T21:22:50Z variant noncyclic seeds 0..150 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +25 0 accept - accept - yes 0 0 9.7 +27 0 reject a' reject a' yes 6 6 9.8 +27 1 reject a' reject a' yes 6 6 9.8 +27 2 reject a reject a yes 6 6 9.8 +27 3 reject a' reject a' yes 6 6 9.8 +27 4 reject a' reject a' yes 6 6 9.8 +27 5 reject a' reject a' yes 6 6 9.8 +27 6 accept - accept - yes 6 6 9.8 +2 0 reject a reject a yes 5 5 9.9 +2 1 reject a' reject a' yes 5 5 9.9 +2 2 reject a' reject a' yes 5 5 9.9 +2 3 reject a' reject a' yes 5 5 9.9 +2 4 reject a' reject a' yes 5 5 9.9 +2 5 accept - accept - yes 5 5 9.9 +18 0 reject a' reject a' yes 1 1 10.1 +18 1 accept - accept - yes 1 1 10.1 +8 0 accept - accept - yes 0 0 10.2 +26 0 accept - accept - yes 0 0 10.2 +0 0 reject a' reject a' yes 3 3 10.3 +0 1 reject a' reject a' yes 3 3 10.3 +0 2 reject a' reject a' yes 3 3 10.3 +0 3 accept - accept - yes 3 3 10.3 +3 0 reject a' reject a' yes 4 4 10.7 +3 1 reject a' reject a' yes 4 4 10.7 +3 2 reject a reject a yes 4 4 10.7 +3 3 reject c-saturated reject c-saturated yes 4 4 10.7 +3 4 accept - accept - yes 4 4 10.7 +13 0 accept - accept - yes 0 0 10.7 +23 0 reject a reject a yes 1 1 10.7 +23 1 accept - accept - yes 1 1 10.7 +9 0 reject a' reject a' yes 3 3 11.0 +9 1 reject a' reject a' yes 3 3 11.0 +9 2 reject a' reject a' yes 3 3 11.0 +9 3 accept - accept - yes 3 3 11.0 +15 0 reject a reject a yes 3 3 11.0 +15 1 reject a' reject a' yes 3 3 11.0 +15 2 reject a reject a yes 3 3 11.0 +15 3 accept - accept - yes 3 3 11.0 +24 0 accept - accept - yes 0 0 11.0 +21 0 reject a' reject a' yes 1 1 11.0 +21 1 accept - accept - yes 1 1 11.0 +10 0 reject a' reject a' yes 1 1 11.0 +10 1 accept - accept - yes 1 1 11.0 +6 0 accept - accept - yes 0 0 11.1 +5 0 reject a' reject a' yes 1 1 11.1 +5 1 accept - accept - yes 1 1 11.1 +16 0 reject a' reject a' yes 6 6 11.1 +16 1 reject b reject b yes 6 6 11.1 +16 2 reject a reject a' yes 6 6 11.1 +16 3 reject a' reject a' yes 6 6 11.1 +16 4 reject a' reject a' yes 6 6 11.1 +16 5 reject a' reject a' yes 6 6 11.1 +16 6 accept - accept - yes 6 6 11.1 +30 0 reject b reject b yes 11 11 11.1 +30 1 reject c-saturated reject c-saturated yes 11 11 11.1 +30 2 reject a reject a' yes 11 11 11.1 +30 3 reject b reject b yes 11 11 11.1 +30 4 reject a' reject a' yes 11 11 11.1 +30 5 reject a' reject a' yes 11 11 11.1 +30 6 reject a reject a' yes 11 11 11.1 +30 7 reject a' reject a' yes 11 11 11.1 +30 8 reject a' reject a' yes 11 11 11.1 +30 9 reject a' reject a' yes 11 11 11.1 +30 10 reject a' reject a' yes 11 11 11.1 +30 11 accept - accept - yes 11 11 11.1 +7 0 accept - accept - yes 0 0 11.2 +31 0 accept - accept - yes 0 0 11.2 +19 0 accept - accept - yes 0 0 11.3 +4 0 reject a' reject a' yes 8 8 11.3 +4 1 reject b reject b yes 8 8 11.3 +4 2 reject a' reject a' yes 8 8 11.3 +4 3 reject a' reject a' yes 8 8 11.3 +4 4 reject a' reject a' yes 8 8 11.3 +4 5 reject c-constbit reject c-constbit yes 8 8 11.3 +4 6 reject a' reject a' yes 8 8 11.3 +4 7 reject a' reject a' yes 8 8 11.3 +4 8 accept - accept - yes 8 8 11.3 +11 0 reject a' reject a' yes 10 10 11.3 +11 1 reject a' reject a' yes 10 10 11.3 +11 2 reject a' reject a' yes 10 10 11.3 +11 3 reject a' reject a' yes 10 10 11.3 +11 4 reject a' reject a' yes 10 10 11.3 +11 5 reject c-constbit reject c-constbit yes 10 10 11.3 +11 6 reject a' reject a' yes 10 10 11.3 +11 7 reject a' reject a' yes 10 10 11.3 +11 8 reject a' reject a' yes 10 10 11.3 +11 9 reject a reject a yes 10 10 11.3 +11 10 accept - accept - yes 10 10 11.3 +14 0 reject a' reject a' yes 1 1 11.3 +14 1 accept - accept - yes 1 1 11.3 +1 0 reject a' reject a' yes 1 1 11.4 +1 1 accept - accept - yes 1 1 11.4 +22 0 reject a reject a yes 6 6 11.6 +22 1 reject a' reject a' yes 6 6 11.6 +22 2 reject a' reject a' yes 6 6 11.6 +22 3 reject a' reject a' yes 6 6 11.6 +22 4 reject a' reject a' yes 6 6 11.6 +22 5 reject a' reject a' yes 6 6 11.6 +22 6 accept - accept - yes 6 6 11.6 +20 0 reject a' reject a' yes 5 5 11.6 +20 1 reject a' reject a' yes 5 5 11.6 +20 2 reject a' reject a' yes 5 5 11.6 +20 3 reject a' reject a' yes 5 5 11.6 +20 4 reject a' reject a' yes 5 5 11.6 +20 5 accept - accept - yes 5 5 11.6 +12 0 reject a' reject a' yes 4 4 11.8 +12 1 reject a' reject a' yes 4 4 11.8 +12 2 reject b reject b yes 4 4 11.8 +12 3 reject a' reject a' yes 4 4 11.8 +12 4 accept - accept - yes 4 4 11.8 +17 0 accept - accept - yes 0 0 11.8 +29 0 reject a reject a yes 5 5 12.1 +29 1 reject a' reject a' yes 5 5 12.1 +29 2 reject b reject b yes 5 5 12.1 +29 3 reject a' reject a' yes 5 5 12.1 +29 4 reject a' reject a' yes 5 5 12.1 +29 5 accept - accept - yes 5 5 12.1 +33 0 reject a' reject a' yes 2 2 6.1 +33 1 reject a' reject a' yes 2 2 6.1 +33 2 accept - accept - yes 2 2 6.1 +34 0 accept - accept - yes 0 0 6.2 +37 0 reject a' reject a' yes 2 2 6.0 +37 1 reject a' reject a' yes 2 2 6.0 +37 2 accept - accept - yes 2 2 6.0 +32 0 accept - accept - yes 0 0 6.5 +35 0 reject a' reject a' yes 6 6 6.2 +35 1 reject a' reject a' yes 6 6 6.2 +35 2 reject a reject a yes 6 6 6.2 +35 3 reject a' reject a' yes 6 6 6.2 +35 4 reject a' reject a' yes 6 6 6.2 +35 5 reject a' reject a' yes 6 6 6.2 +35 6 accept - accept - yes 6 6 6.2 +36 0 reject a' reject a' yes 1 1 6.1 +36 1 accept - accept - yes 1 1 6.1 +39 0 accept - accept - yes 0 0 6.4 +44 0 accept - accept - yes 0 0 6.3 +54 0 reject a' reject a' yes 10 10 6.1 +54 1 reject a' reject a' yes 10 10 6.1 +54 2 reject a' reject a' yes 10 10 6.1 +54 3 reject a reject a yes 10 10 6.1 +54 4 reject a' reject a' yes 10 10 6.1 +54 5 reject a' reject a' yes 10 10 6.1 +54 6 reject a' reject a' yes 10 10 6.1 +54 7 reject a' reject a' yes 10 10 6.1 +54 8 reject a' reject a' yes 10 10 6.1 +54 9 reject a' reject a' yes 10 10 6.1 +54 10 accept - accept - yes 10 10 6.1 +48 0 accept - accept - yes 0 0 6.3 +42 0 reject a' reject a' yes 6 6 6.5 +42 1 reject a' reject a' yes 6 6 6.5 +42 2 reject a' reject a' yes 6 6 6.5 +42 3 reject a' reject a' yes 6 6 6.5 +42 4 reject a' reject a' yes 6 6 6.5 +42 5 reject a' reject a' yes 6 6 6.5 +42 6 accept - accept - yes 6 6 6.5 +61 0 reject a' reject a' yes 1 1 6.3 +61 1 accept - accept - yes 1 1 6.3 +62 0 reject a' reject a' yes 4 4 6.2 +62 1 reject a' reject a' yes 4 4 6.2 +62 2 reject a' reject a' yes 4 4 6.2 +62 3 reject a reject a yes 4 4 6.2 +62 4 accept - accept - yes 4 4 6.2 +50 0 reject b reject b yes 1 1 7.3 +50 1 accept - accept - yes 1 1 7.3 +28 0 reject a' reject a' yes 7 6 20.5 +28 1 reject a' reject a' yes 7 6 20.5 +28 2 reject a' reject a' yes 7 6 20.5 +28 3 reject a' reject a' yes 7 6 20.5 +28 4 reject a' reject a' yes 7 6 20.5 +28 5 reject c'' reject c'' yes 7 6 20.5 +28 6 reject a accept - NO 7 6 20.5 +28 7 accept - accept - yes 7 6 20.5 +38 0 reject a' reject a' yes 1 1 10.9 +38 1 accept - accept - yes 1 1 10.9 +40 0 accept - accept - yes 0 0 10.9 +46 0 accept - accept - yes 0 0 10.7 +43 0 accept - accept - yes 0 0 10.8 +Terminated +lease: released 32 pool cores after 316 s, exit 143 +lease: 0 of 16 pool cores free (88 leased); waiting +lease: holding 30 pool cores (42,43,44,45,46,47,48,49,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, waited 303 s, class adv): adv-accept-3 981-adv-accept-3-verdicts-noncyclic 0 +# adv3 verdicts 2026-10-07T21:28:47Z variant noncyclic seeds 0..150 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +23 0 reject a reject a yes 1 1 9.3 +23 1 accept - accept - yes 1 1 9.3 +16 0 reject a' reject a' yes 6 6 9.8 +16 1 reject b reject b yes 6 6 9.8 +16 2 reject a reject a' yes 6 6 9.8 +16 3 reject a' reject a' yes 6 6 9.8 +16 4 reject a' reject a' yes 6 6 9.8 +16 5 reject a' reject a' yes 6 6 9.8 +16 6 accept - accept - yes 6 6 9.8 +19 0 accept - accept - yes 0 0 9.9 +6 0 accept - accept - yes 0 0 10.0 +10 0 reject a' reject a' yes 1 1 10.1 +10 1 accept - accept - yes 1 1 10.1 +24 0 accept - accept - yes 0 0 10.1 +26 0 accept - accept - yes 0 0 10.1 +29 0 reject a reject a yes 5 5 10.2 +29 1 reject a' reject a' yes 5 5 10.2 +29 2 reject b reject b yes 5 5 10.2 +29 3 reject a' reject a' yes 5 5 10.2 +29 4 reject a' reject a' yes 5 5 10.2 +29 5 accept - accept - yes 5 5 10.2 +13 0 accept - accept - yes 0 0 10.3 +27 0 reject a' reject a' yes 6 6 10.3 +27 1 reject a' reject a' yes 6 6 10.3 +27 2 reject a reject a yes 6 6 10.3 +27 3 reject a' reject a' yes 6 6 10.3 +27 4 reject a' reject a' yes 6 6 10.3 +27 5 reject a' reject a' yes 6 6 10.3 +27 6 accept - accept - yes 6 6 10.3 +20 0 reject a' reject a' yes 5 5 10.4 +20 1 reject a' reject a' yes 5 5 10.4 +20 2 reject a' reject a' yes 5 5 10.4 +20 3 reject a' reject a' yes 5 5 10.4 +20 4 reject a' reject a' yes 5 5 10.4 +20 5 accept - accept - yes 5 5 10.4 +22 0 reject a reject a yes 6 6 10.4 +22 1 reject a' reject a' yes 6 6 10.4 +22 2 reject a' reject a' yes 6 6 10.4 +22 3 reject a' reject a' yes 6 6 10.4 +22 4 reject a' reject a' yes 6 6 10.4 +22 5 reject a' reject a' yes 6 6 10.4 +22 6 accept - accept - yes 6 6 10.4 +9 0 reject a' reject a' yes 3 3 10.5 +9 1 reject a' reject a' yes 3 3 10.5 +9 2 reject a' reject a' yes 3 3 10.5 +9 3 accept - accept - yes 3 3 10.5 +17 0 accept - accept - yes 0 0 10.5 +0 0 reject a' reject a' yes 3 3 10.5 +0 1 reject a' reject a' yes 3 3 10.5 +0 2 reject a' reject a' yes 3 3 10.5 +0 3 accept - accept - yes 3 3 10.5 +8 0 accept - accept - yes 0 0 10.6 +3 0 reject a' reject a' yes 4 4 10.6 +3 1 reject a' reject a' yes 4 4 10.6 +3 2 reject a reject a yes 4 4 10.6 +3 3 reject c-saturated reject c-saturated yes 4 4 10.6 +3 4 accept - accept - yes 4 4 10.6 +21 0 reject a' reject a' yes 1 1 10.6 +21 1 accept - accept - yes 1 1 10.6 +18 0 reject a' reject a' yes 1 1 11.0 +18 1 accept - accept - yes 1 1 11.0 +14 0 reject a' reject a' yes 1 1 11.3 +14 1 accept - accept - yes 1 1 11.3 +12 0 reject a' reject a' yes 4 4 11.4 +12 1 reject a' reject a' yes 4 4 11.4 +12 2 reject b reject b yes 4 4 11.4 +12 3 reject a' reject a' yes 4 4 11.4 +12 4 accept - accept - yes 4 4 11.4 +4 0 reject a' reject a' yes 8 8 11.4 +4 1 reject b reject b yes 8 8 11.4 +4 2 reject a' reject a' yes 8 8 11.4 +4 3 reject a' reject a' yes 8 8 11.4 +4 4 reject a' reject a' yes 8 8 11.4 +4 5 reject c-constbit reject c-constbit yes 8 8 11.4 +4 6 reject a' reject a' yes 8 8 11.4 +4 7 reject a' reject a' yes 8 8 11.4 +4 8 accept - accept - yes 8 8 11.4 +1 0 reject a' reject a' yes 1 1 11.4 +1 1 accept - accept - yes 1 1 11.4 +15 0 reject a reject a yes 3 3 11.5 +15 1 reject a' reject a' yes 3 3 11.5 +15 2 reject a reject a yes 3 3 11.5 +15 3 accept - accept - yes 3 3 11.5 +11 0 reject a' reject a' yes 10 10 11.5 +11 1 reject a' reject a' yes 10 10 11.5 +11 2 reject a' reject a' yes 10 10 11.5 +11 3 reject a' reject a' yes 10 10 11.5 +11 4 reject a' reject a' yes 10 10 11.5 +11 5 reject c-constbit reject c-constbit yes 10 10 11.5 +11 6 reject a' reject a' yes 10 10 11.5 +11 7 reject a' reject a' yes 10 10 11.5 +11 8 reject a' reject a' yes 10 10 11.5 +11 9 reject a reject a yes 10 10 11.5 +11 10 accept - accept - yes 10 10 11.5 +5 0 reject a' reject a' yes 1 1 11.6 +5 1 accept - accept - yes 1 1 11.6 +25 0 accept - accept - yes 0 0 11.6 +2 0 reject a reject a yes 5 5 11.9 +2 1 reject a' reject a' yes 5 5 11.9 +2 2 reject a' reject a' yes 5 5 11.9 +2 3 reject a' reject a' yes 5 5 11.9 +2 4 reject a' reject a' yes 5 5 11.9 +2 5 accept - accept - yes 5 5 11.9 +7 0 accept - accept - yes 0 0 12.0 +30 0 reject b reject b yes 11 11 8.6 +30 1 reject c-saturated reject c-saturated yes 11 11 8.6 +30 2 reject a reject a' yes 11 11 8.6 +30 3 reject b reject b yes 11 11 8.6 +30 4 reject a' reject a' yes 11 11 8.6 +30 5 reject a' reject a' yes 11 11 8.6 +30 6 reject a reject a' yes 11 11 8.6 +30 7 reject a' reject a' yes 11 11 8.6 +30 8 reject a' reject a' yes 11 11 8.6 +30 9 reject a' reject a' yes 11 11 8.6 +30 10 reject a' reject a' yes 11 11 8.6 +30 11 accept - accept - yes 11 11 8.6 +48 0 accept - accept - yes 0 0 8.7 +37 0 reject a' reject a' yes 2 2 9.5 +37 1 reject a' reject a' yes 2 2 9.5 +37 2 accept - accept - yes 2 2 9.5 +31 0 accept - accept - yes 0 0 10.0 +33 0 reject a' reject a' yes 2 2 10.0 +33 1 reject a' reject a' yes 2 2 10.0 +33 2 accept - accept - yes 2 2 10.0 +36 0 reject a' reject a' yes 1 1 9.8 +36 1 accept - accept - yes 1 1 9.8 +34 0 accept - accept - yes 0 0 10.0 +32 0 accept - accept - yes 0 0 10.2 +35 0 reject a' reject a' yes 6 6 10.1 +35 1 reject a' reject a' yes 6 6 10.1 +35 2 reject a reject a yes 6 6 10.1 +35 3 reject a' reject a' yes 6 6 10.1 +35 4 reject a' reject a' yes 6 6 10.1 +35 5 reject a' reject a' yes 6 6 10.1 +35 6 accept - accept - yes 6 6 10.1 +38 0 reject a' reject a' yes 1 1 10.1 +38 1 accept - accept - yes 1 1 10.1 +46 0 accept - accept - yes 0 0 9.8 +43 0 accept - accept - yes 0 0 9.9 +44 0 accept - accept - yes 0 0 10.0 +45 0 reject b reject b yes 5 5 10.0 +45 1 reject a reject a yes 5 5 10.0 +45 2 reject a' reject a' yes 5 5 10.0 +45 3 reject a' reject a' yes 5 5 10.0 +45 4 reject a' reject a' yes 5 5 10.0 +45 5 accept - accept - yes 5 5 10.0 +40 0 accept - accept - yes 0 0 10.2 +42 0 reject a' reject a' yes 6 6 10.2 +42 1 reject a' reject a' yes 6 6 10.2 +42 2 reject a' reject a' yes 6 6 10.2 +42 3 reject a' reject a' yes 6 6 10.2 +42 4 reject a' reject a' yes 6 6 10.2 +42 5 reject a' reject a' yes 6 6 10.2 +42 6 accept - accept - yes 6 6 10.2 +47 0 reject a' reject a' yes 8 8 10.2 +47 1 reject a' reject a' yes 8 8 10.2 +47 2 reject a' reject a' yes 8 8 10.2 +47 3 reject a' reject a' yes 8 8 10.2 +47 4 reject a' reject a' yes 8 8 10.2 +47 5 reject a' reject a' yes 8 8 10.2 +47 6 reject a' reject a' yes 8 8 10.2 +47 7 reject a' reject a' yes 8 8 10.2 +47 8 accept - accept - yes 8 8 10.2 +39 0 accept - accept - yes 0 0 10.6 +50 0 reject b reject b yes 1 1 10.8 +50 1 accept - accept - yes 1 1 10.8 +49 0 accept - accept - yes 0 0 11.0 +51 0 reject a' reject a' yes 13 13 11.1 +51 1 reject a' reject a' yes 13 13 11.1 +51 2 reject a' reject a' yes 13 13 11.1 +51 3 reject a' reject a' yes 13 13 11.1 +51 4 reject a' reject a' yes 13 13 11.1 +51 5 reject a' reject a' yes 13 13 11.1 +51 6 reject a' reject a' yes 13 13 11.1 +51 7 reject a' reject a' yes 13 13 11.1 +51 8 reject a' reject a' yes 13 13 11.1 +51 9 reject a' reject a' yes 13 13 11.1 +51 10 reject a' reject a' yes 13 13 11.1 +51 11 reject a' reject a' yes 13 13 11.1 +51 12 reject a' reject a' yes 13 13 11.1 +51 13 accept - accept - yes 13 13 11.1 +52 0 reject a' reject a' yes 3 3 11.2 +52 1 reject a' reject a' yes 3 3 11.2 +52 2 reject a' reject a' yes 3 3 11.2 +52 3 accept - accept - yes 3 3 11.2 +54 0 reject a' reject a' yes 10 10 11.1 +54 1 reject a' reject a' yes 10 10 11.1 +54 2 reject a' reject a' yes 10 10 11.1 +54 3 reject a reject a yes 10 10 11.1 +54 4 reject a' reject a' yes 10 10 11.1 +54 5 reject a' reject a' yes 10 10 11.1 +54 6 reject a' reject a' yes 10 10 11.1 +54 7 reject a' reject a' yes 10 10 11.1 +54 8 reject a' reject a' yes 10 10 11.1 +54 9 reject a' reject a' yes 10 10 11.1 +54 10 accept - accept - yes 10 10 11.1 +56 0 reject a' reject a' yes 1 1 11.0 +56 1 accept - accept - yes 1 1 11.0 +55 0 accept - accept - yes 0 0 11.2 +58 0 reject a' reject a' yes 1 1 11.0 +58 1 accept - accept - yes 1 1 11.0 +53 0 reject a' reject a' yes 4 4 11.6 +53 1 reject a' reject a' yes 4 4 11.6 +53 2 reject a' reject a' yes 4 4 11.6 +53 3 reject a reject a yes 4 4 11.6 +53 4 accept - accept - yes 4 4 11.6 +59 0 reject a' reject a' yes 2 2 6.4 +59 1 reject a' reject a' yes 2 2 6.4 +59 2 accept - accept - yes 2 2 6.4 +28 0 reject a' reject a' yes 7 6 29.6 +28 1 reject a' reject a' yes 7 6 29.6 +28 2 reject a' reject a' yes 7 6 29.6 +28 3 reject a' reject a' yes 7 6 29.6 +28 4 reject a' reject a' yes 7 6 29.6 +28 5 reject c'' reject c'' yes 7 6 29.6 +28 6 reject a accept - NO 7 6 29.6 +28 7 accept - accept - yes 7 6 29.6 +62 0 reject a' reject a' yes 4 4 9.8 +62 1 reject a' reject a' yes 4 4 9.8 +62 2 reject a' reject a' yes 4 4 9.8 +62 3 reject a reject a yes 4 4 9.8 +62 4 accept - accept - yes 4 4 9.8 +64 0 reject a' reject a' yes 1 1 9.7 +64 1 accept - accept - yes 1 1 9.7 +61 0 reject a' reject a' yes 1 1 9.9 +61 1 accept - accept - yes 1 1 9.9 +63 0 reject a' reject a' yes 2 2 9.9 +63 1 reject a' reject a' yes 2 2 9.9 +63 2 accept - accept - yes 2 2 9.9 +66 0 reject a' reject a' yes 5 5 9.8 +66 1 reject a' reject a' yes 5 5 9.8 +66 2 reject a' reject a' yes 5 5 9.8 +66 3 reject a' reject a' yes 5 5 9.8 +66 4 reject a' reject a' yes 5 5 9.8 +66 5 accept - accept - yes 5 5 9.8 +67 0 reject a' reject a' yes 1 1 9.7 +67 1 accept - accept - yes 1 1 9.7 +71 0 reject a reject a yes 6 6 9.6 +71 1 reject a reject a yes 6 6 9.6 +71 2 reject b reject b yes 6 6 9.6 +71 3 reject a' reject a' yes 6 6 9.6 +71 4 reject a' reject a' yes 6 6 9.6 +71 5 reject a' reject a' yes 6 6 9.6 +71 6 accept - accept - yes 6 6 9.6 +69 0 reject a' reject a' yes 3 3 9.9 +69 1 reject a' reject a' yes 3 3 9.9 +69 2 reject a' reject a' yes 3 3 9.9 +69 3 accept - accept - yes 3 3 9.9 +68 0 accept - accept - yes 0 0 9.9 +65 0 reject a' reject a' yes 2 2 10.2 +65 1 reject a' reject a' yes 2 2 10.2 +65 2 accept - accept - yes 2 2 10.2 +72 0 reject a' reject a' yes 3 3 9.8 +72 1 reject a' reject a' yes 3 3 9.8 +72 2 reject a' reject a' yes 3 3 9.8 +72 3 accept - accept - yes 3 3 9.8 +75 0 reject a' reject a' yes 3 3 10.0 +75 1 reject a' reject a' yes 3 3 10.0 +75 2 reject a' reject a' yes 3 3 10.0 +75 3 accept - accept - yes 3 3 10.0 +76 0 reject a' reject a' yes 1 1 10.1 +76 1 accept - accept - yes 1 1 10.1 +60 0 reject a' reject a' yes 2 2 11.5 +60 1 reject a reject a yes 2 2 11.5 +60 2 accept - accept - yes 2 2 11.5 +73 0 reject a' reject a' yes 2 2 10.7 +73 1 reject a' reject a' yes 2 2 10.7 +73 2 accept - accept - yes 2 2 10.7 +41 0 reject b reject b yes 5 5 21.1 +41 1 reject a' reject a' yes 5 5 21.1 +41 2 reject a' reject a' yes 5 5 21.1 +41 3 reject a' reject a' yes 5 5 21.1 +41 4 reject c'' reject c'' yes 5 5 21.1 +41 5 accept - accept - yes 5 5 21.1 +85 0 reject a' reject a' yes 3 3 8.8 +85 1 reject a' reject a' yes 3 3 8.8 +85 2 reject a' reject a' yes 3 3 8.8 +85 3 accept - accept - yes 3 3 8.8 +70 0 reject a' reject a' yes 4 4 11.6 +70 1 reject a' reject a' yes 4 4 11.6 +70 2 reject a' reject a' yes 4 4 11.6 +70 3 reject a' reject a' yes 4 4 11.6 +70 4 accept - accept - yes 4 4 11.6 +77 0 reject a' reject a' yes 1 1 10.9 +77 1 accept - accept - yes 1 1 10.9 +86 0 reject a' reject a' yes 6 6 9.1 +86 1 reject a' reject a' yes 6 6 9.1 +86 2 reject a' reject a' yes 6 6 9.1 +86 3 reject a' reject a' yes 6 6 9.1 +86 4 reject a' reject a' yes 6 6 9.1 +86 5 reject a' reject a' yes 6 6 9.1 +86 6 accept - accept - yes 6 6 9.1 +82 0 reject a reject a' yes 6 6 10.9 +82 1 reject a' reject a' yes 6 6 10.9 +82 2 reject a' reject a' yes 6 6 10.9 +82 3 reject a reject a yes 6 6 10.9 +82 4 reject a' reject a' yes 6 6 10.9 +82 5 reject a' reject a' yes 6 6 10.9 +82 6 accept - accept - yes 6 6 10.9 +79 0 reject a' reject a' yes 3 3 11.2 +79 1 reject a' reject a' yes 3 3 11.2 +79 2 reject a' reject a' yes 3 3 11.2 +79 3 accept - accept - yes 3 3 11.2 +57 0 reject a' reject a' yes 8 8 21.9 +57 1 reject a' reject a' yes 8 8 21.9 +57 2 reject a' reject a' yes 8 8 21.9 +57 3 reject c'' reject c'' yes 8 8 21.9 +57 4 reject a reject a' yes 8 8 21.9 +57 5 reject a' reject a' yes 8 8 21.9 +57 6 reject a' reject a' yes 8 8 21.9 +57 7 reject a reject a' yes 8 8 21.9 +57 8 accept - accept - yes 8 8 21.9 +83 0 accept - accept - yes 0 0 11.0 +81 0 reject a' reject a' yes 1 1 11.3 +81 1 accept - accept - yes 1 1 11.3 +80 0 reject a' reject a' yes 8 8 11.6 +80 1 reject a' reject a' yes 8 8 11.6 +80 2 reject a' reject a' yes 8 8 11.6 +80 3 reject a reject a' yes 8 8 11.6 +80 4 reject a' reject a' yes 8 8 11.6 +80 5 reject a' reject a' yes 8 8 11.6 +80 6 reject a' reject a' yes 8 8 11.6 +80 7 reject a' reject a' yes 8 8 11.6 +80 8 accept - accept - yes 8 8 11.6 +84 0 accept - accept - yes 0 0 11.5 +74 0 reject a' reject a' yes 10 8 14.7 +74 1 reject a' reject a' yes 10 8 14.7 +74 2 reject a' reject a' yes 10 8 14.7 +74 3 reject a reject a yes 10 8 14.7 +74 4 reject a' reject a' yes 10 8 14.7 +74 5 reject a reject a' yes 10 8 14.7 +74 6 reject a' reject a' yes 10 8 14.7 +74 7 reject a' reject a' yes 10 8 14.7 +74 8 reject a accept - NO 10 8 14.7 +74 9 reject a' reject a' yes 10 8 14.7 +74 10 accept - accept - yes 10 8 14.7 +88 0 reject a' reject a' yes 1 1 7.4 +88 1 accept - accept - yes 1 1 7.4 +89 0 reject a' reject a' yes 1 1 7.4 +89 1 accept - accept - yes 1 1 7.4 +91 0 reject a' reject a' yes 2 2 7.3 +91 1 reject a' reject a' yes 2 2 7.3 +91 2 accept - accept - yes 2 2 7.3 +92 0 accept - accept - yes 0 0 7.2 +90 0 accept - accept - yes 0 0 7.4 +96 0 reject a' reject a' yes 1 1 7.1 +96 1 accept - accept - yes 1 1 7.1 +101 0 accept - accept - yes 0 0 6.3 +95 0 reject a' reject a' yes 2 2 7.4 +95 1 reject a' reject a' yes 2 2 7.4 +95 2 accept - accept - yes 2 2 7.4 +102 0 reject a' reject a' yes 2 2 7.0 +102 1 reject a' reject a' yes 2 2 7.0 +102 2 accept - accept - yes 2 2 7.0 +98 0 accept - accept - yes 0 0 8.0 +93 0 accept - accept - yes 0 0 8.4 +103 0 reject a' reject a' yes 2 2 6.9 +103 1 reject a reject a yes 2 2 6.9 +103 2 accept - accept - yes 2 2 6.9 +94 0 accept - accept - yes 0 0 8.5 +100 0 reject b reject b yes 6 6 7.6 +100 1 reject a' reject a' yes 6 6 7.6 +100 2 reject a' reject a' yes 6 6 7.6 +100 3 reject a' reject a' yes 6 6 7.6 +100 4 reject a' reject a' yes 6 6 7.6 +100 5 reject a' reject a' yes 6 6 7.6 +100 6 accept - accept - yes 6 6 7.6 +97 0 reject a' reject a' yes 1 1 8.4 +97 1 accept - accept - yes 1 1 8.4 +104 0 reject a' reject a' yes 1 1 7.0 +104 1 accept - accept - yes 1 1 7.0 +99 0 reject a' reject a' yes 2 2 8.9 +99 1 reject a' reject a' yes 2 2 8.9 +99 2 accept - accept - yes 2 2 8.9 +105 0 reject a' reject a' yes 7 7 10.7 +105 1 reject a' reject a' yes 7 7 10.7 +105 2 reject a' reject a' yes 7 7 10.7 +105 3 reject a' reject a' yes 7 7 10.7 +105 4 reject a' reject a' yes 7 7 10.7 +105 5 reject a' reject a' yes 7 7 10.7 +105 6 reject a reject a yes 7 7 10.7 +105 7 accept - accept - yes 7 7 10.7 +115 0 accept - accept - yes 0 0 7.6 +107 0 accept - accept - yes 0 0 10.2 +122 0 reject a reject a' yes 2 2 6.6 +122 1 reject a' reject a' yes 2 2 6.6 +122 2 accept - accept - yes 2 2 6.6 +106 0 reject a' reject a' yes 2 2 11.2 +106 1 reject a' reject a' yes 2 2 11.2 +106 2 accept - accept - yes 2 2 11.2 +78 0 reject a' reject a' yes 6 6 22.2 +78 1 reject a' reject a' yes 6 6 22.2 +78 2 reject a' reject a' yes 6 6 22.2 +78 3 reject b reject b yes 6 6 22.2 +78 4 reject c'' reject c'' yes 6 6 22.2 +78 5 reject a' reject a' yes 6 6 22.2 +78 6 accept - accept - yes 6 6 22.2 +125 0 reject a' reject a' yes 2 2 6.3 +125 1 reject c-constbit reject c-constbit yes 2 2 6.3 +125 2 accept - accept - yes 2 2 6.3 +108 0 reject a' reject a' yes 3 3 11.3 +108 1 reject a' reject a' yes 3 3 11.3 +108 2 reject a' reject a' yes 3 3 11.3 +108 3 accept - accept - yes 3 3 11.3 +110 0 accept - accept - yes 0 0 11.1 +112 0 accept - accept - yes 0 0 11.0 +111 0 accept - accept - yes 0 0 11.1 +109 0 accept - accept - yes 0 0 11.6 +113 0 reject a' reject a' yes 1 1 11.4 +113 1 accept - accept - yes 1 1 11.4 +114 0 reject a' reject a' yes 2 2 11.6 +114 1 reject a' reject a' yes 2 2 11.6 +114 2 accept - accept - yes 2 2 11.6 +117 0 reject a' reject a' yes 1 1 9.1 +117 1 accept - accept - yes 1 1 9.1 +119 0 reject a' reject a' yes 2 2 9.1 +119 1 reject a' reject a' yes 2 2 9.1 +119 2 accept - accept - yes 2 2 9.1 +120 0 accept - accept - yes 0 0 9.2 +116 0 reject a' reject a' yes 1 1 9.3 +116 1 accept - accept - yes 1 1 9.3 +118 0 accept - accept - yes 0 0 9.3 +121 0 reject a' reject a' yes 3 3 9.3 +121 1 reject a' reject a' yes 3 3 9.3 +121 2 reject a' reject a' yes 3 3 9.3 +121 3 accept - accept - yes 3 3 9.3 +123 0 accept - accept - yes 0 0 9.2 +126 0 reject a' reject a' yes 10 10 9.3 +126 1 reject a' reject a' yes 10 10 9.3 +126 2 reject a reject a yes 10 10 9.3 +126 3 reject a' reject a' yes 10 10 9.3 +126 4 reject a' reject a' yes 10 10 9.3 +126 5 reject a' reject a' yes 10 10 9.3 +126 6 reject a' reject a' yes 10 10 9.3 +126 7 reject a' reject a' yes 10 10 9.3 +126 8 reject a' reject a' yes 10 10 9.3 +126 9 reject a' reject a' yes 10 10 9.3 +126 10 accept - accept - yes 10 10 9.3 +130 0 accept - accept - yes 0 0 9.1 +128 0 reject a' reject a' yes 2 2 9.3 +128 1 reject a' reject a' yes 2 2 9.3 +128 2 accept - accept - yes 2 2 9.3 +127 0 reject a' reject a' yes 4 4 9.6 +127 1 reject a' reject a' yes 4 4 9.6 +127 2 reject a' reject a' yes 4 4 9.6 +127 3 reject a' reject a' yes 4 4 9.6 +127 4 accept - accept - yes 4 4 9.6 +124 0 reject a' reject a' yes 9 9 10.1 +124 1 reject a reject a yes 9 9 10.1 +124 2 reject a' reject a' yes 9 9 10.1 +124 3 reject a' reject a' yes 9 9 10.1 +124 4 reject b reject b yes 9 9 10.1 +124 5 reject a' reject a' yes 9 9 10.1 +124 6 reject a' reject a' yes 9 9 10.1 +124 7 reject a' reject a' yes 9 9 10.1 +124 8 reject a' reject a' yes 9 9 10.1 +124 9 accept - accept - yes 9 9 10.1 +129 0 reject a' reject a' yes 1 1 9.9 +129 1 accept - accept - yes 1 1 9.9 +131 0 accept - accept - yes 0 0 10.9 +136 0 reject a' reject a' yes 1 1 5.8 +136 1 accept - accept - yes 1 1 5.8 +132 0 accept - accept - yes 0 0 10.1 +139 0 accept - accept - yes 0 0 6.2 +87 0 reject a' reject a' yes 3 3 22.0 +87 1 reject a' reject a' yes 3 3 22.0 +87 2 reject c'' reject c'' yes 3 3 22.0 +87 3 accept - accept - yes 3 3 22.0 +133 0 accept - accept - yes 0 0 9.3 +134 0 reject a' reject a' yes 7 7 9.4 +134 1 reject a' reject a' yes 7 7 9.4 +134 2 reject a' reject a' yes 7 7 9.4 +134 3 reject a' reject a' yes 7 7 9.4 +134 4 reject a' reject a' yes 7 7 9.4 +134 5 reject a' reject a' yes 7 7 9.4 +134 6 reject a' reject a' yes 7 7 9.4 +134 7 accept - accept - yes 7 7 9.4 +143 0 accept - accept - yes 0 0 7.9 +135 0 reject a' reject a' yes 4 4 9.4 +135 1 reject a' reject a' yes 4 4 9.4 +135 2 reject a' reject a' yes 4 4 9.4 +135 3 reject a' reject a' yes 4 4 9.4 +135 4 accept - accept - yes 4 4 9.4 +141 0 reject a' reject a' yes 1 1 9.0 +141 1 accept - accept - yes 1 1 9.0 +137 0 reject a' reject a' yes 8 8 9.9 +137 1 reject a' reject a' yes 8 8 9.9 +137 2 reject a' reject a' yes 8 8 9.9 +137 3 reject a' reject a' yes 8 8 9.9 +137 4 reject a reject a yes 8 8 9.9 +137 5 reject a' reject a' yes 8 8 9.9 +137 6 reject a' reject a' yes 8 8 9.9 +137 7 reject a' reject a' yes 8 8 9.9 +137 8 accept - accept - yes 8 8 9.9 +138 0 accept - accept - yes 0 0 9.8 +142 0 reject a' reject a' yes 1 1 9.6 +142 1 accept - accept - yes 1 1 9.6 +147 0 accept - accept - yes 0 0 8.6 +148 0 accept - accept - yes 0 0 8.6 +140 0 reject a' reject a' yes 2 2 10.2 +140 1 reject a' reject a' yes 2 2 10.2 +140 2 accept - accept - yes 2 2 10.2 +149 0 reject a' reject a' yes 2 2 8.7 +149 1 reject a' reject a' yes 2 2 8.7 +149 2 accept - accept - yes 2 2 8.7 +144 0 reject b reject b yes 2 2 9.9 +144 1 reject a' reject a' yes 2 2 9.9 +144 2 accept - accept - yes 2 2 9.9 +146 0 accept - accept - yes 0 0 9.4 +145 0 reject a' reject a' yes 1 1 10.0 +145 1 accept - accept - yes 1 1 10.0 +lease: released 30 pool cores after 359 s, exit 0 +lease: holding 30 pool cores (42,43,44,45,46,47,48,49,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 981-adv-accept-3-verdicts-noncyclic 150 +# adv3 verdicts 2026-10-07T21:29:43Z variant noncyclic seeds 150..300 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +170 0 reject a reject a' yes 6 6 7.9 +170 1 reject a' reject a' yes 6 6 7.9 +170 2 reject a' reject a' yes 6 6 7.9 +170 3 reject a' reject a' yes 6 6 7.9 +170 4 reject a' reject a' yes 6 6 7.9 +170 5 reject a' reject a' yes 6 6 7.9 +170 6 accept - accept - yes 6 6 7.9 +166 0 reject a' reject a' yes 1 1 8.3 +166 1 accept - accept - yes 1 1 8.3 +159 0 reject a' reject a' yes 1 1 9.4 +159 1 accept - accept - yes 1 1 9.4 +153 0 reject a' reject a' yes 1 1 9.7 +153 1 accept - accept - yes 1 1 9.7 +174 0 reject a' reject a' yes 1 1 9.8 +174 1 accept - accept - yes 1 1 9.8 +168 0 reject a' reject a' yes 1 1 9.8 +168 1 accept - accept - yes 1 1 9.8 +162 0 reject a' reject a' yes 1 1 9.8 +162 1 accept - accept - yes 1 1 9.8 +169 0 reject a' reject a' yes 2 2 10.0 +169 1 reject a' reject a' yes 2 2 10.0 +169 2 accept - accept - yes 2 2 10.0 +157 0 reject a' reject a' yes 2 2 10.1 +157 1 reject a' reject a' yes 2 2 10.1 +157 2 accept - accept - yes 2 2 10.1 +173 0 reject a' reject a' yes 2 2 10.1 +173 1 reject a' reject a' yes 2 2 10.1 +173 2 accept - accept - yes 2 2 10.1 +156 0 reject a' reject a' yes 8 8 10.1 +156 1 reject a' reject a' yes 8 8 10.1 +156 2 reject a' reject a' yes 8 8 10.1 +156 3 reject a' reject a' yes 8 8 10.1 +156 4 reject a' reject a' yes 8 8 10.1 +156 5 reject a' reject a' yes 8 8 10.1 +156 6 reject a reject a' yes 8 8 10.1 +156 7 reject a' reject a' yes 8 8 10.1 +156 8 accept - accept - yes 8 8 10.1 +151 0 reject a' reject a' yes 6 6 10.1 +151 1 reject a' reject a' yes 6 6 10.1 +151 2 reject a' reject a' yes 6 6 10.1 +151 3 reject a' reject a' yes 6 6 10.1 +151 4 reject a' reject a' yes 6 6 10.1 +151 5 reject a' reject a' yes 6 6 10.1 +151 6 accept - accept - yes 6 6 10.1 +152 0 accept - accept - yes 0 0 10.2 +177 0 reject a reject a yes 4 4 10.2 +177 1 reject a' reject a' yes 4 4 10.2 +177 2 reject a' reject a' yes 4 4 10.2 +177 3 reject a' reject a' yes 4 4 10.2 +177 4 accept - accept - yes 4 4 10.2 +164 0 reject a' reject a' yes 3 3 10.4 +164 1 reject a' reject a' yes 3 3 10.4 +164 2 reject a reject a' yes 3 3 10.4 +164 3 accept - accept - yes 3 3 10.4 +158 0 accept - accept - yes 0 0 10.4 +150 0 reject a' reject a' yes 4 4 11.0 +150 1 reject a' reject a' yes 4 4 11.0 +150 2 reject a' reject a' yes 4 4 11.0 +150 3 reject a' reject a' yes 4 4 11.0 +150 4 accept - accept - yes 4 4 11.0 +160 0 reject a' reject a' yes 1 1 11.0 +160 1 accept - accept - yes 1 1 11.0 +179 0 reject a reject a yes 2 2 11.3 +179 1 reject a' reject a' yes 2 2 11.3 +179 2 accept - accept - yes 2 2 11.3 +176 0 accept - accept - yes 0 0 11.4 +165 0 reject a' reject a' yes 9 9 11.4 +165 1 reject a' reject a' yes 9 9 11.4 +165 2 reject a reject a yes 9 9 11.4 +165 3 reject a' reject a' yes 9 9 11.4 +165 4 reject a' reject a' yes 9 9 11.4 +165 5 reject a' reject a' yes 9 9 11.4 +165 6 reject a' reject a' yes 9 9 11.4 +165 7 reject a' reject a' yes 9 9 11.4 +165 8 reject a' reject a' yes 9 9 11.4 +165 9 accept - accept - yes 9 9 11.4 +167 0 accept - accept - yes 0 0 11.4 +178 0 reject a' reject a' yes 1 1 11.4 +178 1 accept - accept - yes 1 1 11.4 +154 0 reject a' reject a' yes 1 1 11.5 +154 1 accept - accept - yes 1 1 11.5 +155 0 reject a' reject a' yes 6 6 11.5 +155 1 reject a' reject a' yes 6 6 11.5 +155 2 reject a' reject a' yes 6 6 11.5 +155 3 reject a reject a yes 6 6 11.5 +155 4 reject a' reject a' yes 6 6 11.5 +155 5 reject a reject a yes 6 6 11.5 +155 6 accept - accept - yes 6 6 11.5 +171 0 reject a' reject a' yes 2 2 11.6 +171 1 reject a' reject a' yes 2 2 11.6 +171 2 accept - accept - yes 2 2 11.6 +175 0 reject a' reject a' yes 1 1 11.9 +175 1 accept - accept - yes 1 1 11.9 +180 0 reject a' reject a' yes 1 1 9.2 +180 1 accept - accept - yes 1 1 9.2 +172 0 reject c'' reject c'' yes 2 2 18.0 +172 1 reject a' reject a' yes 2 2 18.0 +172 2 accept - accept - yes 2 2 18.0 +181 0 accept - accept - yes 0 0 10.2 +184 0 reject a' reject a' yes 1 1 9.6 +184 1 accept - accept - yes 1 1 9.6 +182 0 reject a' reject a' yes 2 2 10.0 +182 1 reject a' reject a' yes 2 2 10.0 +182 2 accept - accept - yes 2 2 10.0 +183 0 reject a' reject a' yes 2 2 9.9 +183 1 reject a' reject a' yes 2 2 9.9 +183 2 accept - accept - yes 2 2 9.9 +185 0 reject a' reject a' yes 1 1 10.0 +185 1 accept - accept - yes 1 1 10.0 +186 0 reject a reject a' yes 1 1 10.0 +186 1 accept - accept - yes 1 1 10.0 +191 0 accept - accept - yes 0 0 9.9 +190 0 reject a' reject a' yes 1 1 9.9 +190 1 accept - accept - yes 1 1 9.9 +193 0 reject a' reject a' yes 4 4 9.8 +193 1 reject b reject b yes 4 4 9.8 +193 2 reject a' reject a' yes 4 4 9.8 +193 3 reject a' reject a' yes 4 4 9.8 +193 4 accept - accept - yes 4 4 9.8 +187 0 accept - accept - yes 0 0 10.2 +188 0 reject a' reject a' yes 1 1 10.2 +188 1 accept - accept - yes 1 1 10.2 +192 0 accept - accept - yes 0 0 10.4 +194 0 accept - accept - yes 0 0 10.3 +189 0 reject a' reject a' yes 8 8 10.6 +189 1 reject a' reject a' yes 8 8 10.6 +189 2 reject a' reject a' yes 8 8 10.6 +189 3 reject a' reject a' yes 8 8 10.6 +189 4 reject a' reject a' yes 8 8 10.6 +189 5 reject a reject a yes 8 8 10.6 +189 6 reject a' reject a' yes 8 8 10.6 +189 7 reject a' reject a' yes 8 8 10.6 +189 8 accept - accept - yes 8 8 10.6 +196 0 accept - accept - yes 0 0 10.2 +163 0 reject c'' reject c'' yes 2 2 22.2 +163 1 reject a' reject a' yes 2 2 22.2 +163 2 accept - accept - yes 2 2 22.2 +197 0 reject a' reject a' yes 1 1 11.3 +197 1 accept - accept - yes 1 1 11.3 +161 0 reject a accept - NO 12 0 22.5 +161 1 reject a' reject a' yes 12 0 22.5 +161 2 reject a' reject a' yes 12 0 22.5 +161 3 reject a' reject a' yes 12 0 22.5 +161 4 reject a' reject a' yes 12 0 22.5 +161 5 reject a' reject a' yes 12 0 22.5 +161 6 reject a' reject a' yes 12 0 22.5 +161 7 reject a accept - NO 12 0 22.5 +161 8 reject a' reject a' yes 12 0 22.5 +161 9 reject a' reject a' yes 12 0 22.5 +161 10 reject a' reject a' yes 12 0 22.5 +161 11 reject a' reject a' yes 12 0 22.5 +161 12 accept - accept - yes 12 0 22.5 +199 0 reject a reject a' yes 2 2 11.2 +199 1 reject a' reject a' yes 2 2 11.2 +199 2 accept - accept - yes 2 2 11.2 +204 0 reject a' reject a' yes 6 6 11.5 +204 1 reject b reject b yes 6 6 11.5 +204 2 reject a' reject a' yes 6 6 11.5 +204 3 reject a' reject a' yes 6 6 11.5 +204 4 reject a' reject a' yes 6 6 11.5 +204 5 reject a' reject a' yes 6 6 11.5 +204 6 accept - accept - yes 6 6 11.5 +202 0 accept - accept - yes 0 0 11.6 +200 0 accept - accept - yes 0 0 11.8 +205 0 reject a' reject a' yes 2 2 11.6 +205 1 reject a' reject a' yes 2 2 11.6 +205 2 accept - accept - yes 2 2 11.6 +206 0 reject a' reject a' yes 6 6 11.3 +206 1 reject a' reject a' yes 6 6 11.3 +206 2 reject a' reject a' yes 6 6 11.3 +206 3 reject a' reject a' yes 6 6 11.3 +206 4 reject a' reject a' yes 6 6 11.3 +206 5 reject a reject a yes 6 6 11.3 +206 6 accept - accept - yes 6 6 11.3 +201 0 reject a' reject a' yes 1 1 11.8 +201 1 accept - accept - yes 1 1 11.8 +203 0 reject a' reject a' yes 2 2 11.8 +203 1 reject a' reject a' yes 2 2 11.8 +203 2 accept - accept - yes 2 2 11.8 +217 0 reject a' reject a' yes 2 2 6.5 +217 1 reject a' reject a' yes 2 2 6.5 +217 2 accept - accept - yes 2 2 6.5 +195 0 reject a' reject a' yes 3 3 16.5 +195 1 reject a' reject a' yes 3 3 16.5 +195 2 reject a reject c'' yes 3 3 16.5 +195 3 accept - accept - yes 3 3 16.5 +207 0 reject a reject a yes 2 2 10.4 +207 1 reject a' reject a' yes 2 2 10.4 +207 2 accept - accept - yes 2 2 10.4 +208 0 reject a reject a yes 4 4 10.5 +208 1 reject a' reject a' yes 4 4 10.5 +208 2 reject a' reject a' yes 4 4 10.5 +208 3 reject a' reject a' yes 4 4 10.5 +208 4 accept - accept - yes 4 4 10.5 +211 0 reject a' reject a' yes 3 3 9.8 +211 1 reject a' reject a' yes 3 3 9.8 +211 2 reject a' reject a' yes 3 3 9.8 +211 3 accept - accept - yes 3 3 9.8 +198 0 reject c'' reject c'' yes 3 3 18.1 +198 1 reject a' reject a' yes 3 3 18.1 +198 2 reject a reject a' yes 3 3 18.1 +198 3 accept - accept - yes 3 3 18.1 +210 0 accept - accept - yes 0 0 10.3 +212 0 accept - accept - yes 0 0 10.1 +213 0 accept - accept - yes 0 0 10.0 +215 0 reject a' reject a' yes 2 2 10.1 +215 1 reject a' reject a' yes 2 2 10.1 +215 2 accept - accept - yes 2 2 10.1 +218 0 reject a' reject a' yes 2 2 10.0 +218 1 reject a' reject a' yes 2 2 10.0 +218 2 accept - accept - yes 2 2 10.0 +216 0 reject a' reject a' yes 7 7 10.3 +216 1 reject a' reject a' yes 7 7 10.3 +216 2 reject a' reject a' yes 7 7 10.3 +216 3 reject a' reject a' yes 7 7 10.3 +216 4 reject a' reject a' yes 7 7 10.3 +216 5 reject a reject a yes 7 7 10.3 +216 6 reject a' reject a' yes 7 7 10.3 +216 7 accept - accept - yes 7 7 10.3 +214 0 accept - accept - yes 0 0 10.5 +221 0 accept - accept - yes 0 0 10.0 +219 0 accept - accept - yes 0 0 10.5 +220 0 accept - accept - yes 0 0 10.3 +222 0 accept - accept - yes 0 0 10.3 +226 0 reject a' reject a' yes 1 1 8.9 +226 1 accept - accept - yes 1 1 8.9 +223 0 reject a reject a yes 1 1 10.4 +223 1 accept - accept - yes 1 1 10.4 +235 0 reject b reject b yes 3 3 6.3 +235 1 reject a' reject a' yes 3 3 6.3 +235 2 reject a' reject a' yes 3 3 6.3 +235 3 accept - accept - yes 3 3 6.3 +227 0 reject a' reject a' yes 3 3 11.1 +227 1 reject a' reject a' yes 3 3 11.1 +227 2 reject a' reject a' yes 3 3 11.1 +227 3 accept - accept - yes 3 3 11.1 +224 0 reject a' reject a' yes 19 19 11.7 +224 1 reject b reject b yes 19 19 11.7 +224 2 reject a' reject a' yes 19 19 11.7 +224 3 reject a' reject a' yes 19 19 11.7 +224 4 reject a' reject a' yes 19 19 11.7 +224 5 reject a' reject a' yes 19 19 11.7 +224 6 reject a' reject a' yes 19 19 11.7 +224 7 reject a' reject a' yes 19 19 11.7 +224 8 reject a' reject a' yes 19 19 11.7 +224 9 reject a reject a yes 19 19 11.7 +224 10 reject a' reject a' yes 19 19 11.7 +224 11 reject a' reject a' yes 19 19 11.7 +224 12 reject a' reject a' yes 19 19 11.7 +224 13 reject a reject a' yes 19 19 11.7 +224 14 reject a' reject a' yes 19 19 11.7 +224 15 reject a' reject a' yes 19 19 11.7 +224 16 reject a' reject a' yes 19 19 11.7 +224 17 reject a' reject a' yes 19 19 11.7 +224 18 reject a' reject a' yes 19 19 11.7 +224 19 accept - accept - yes 19 19 11.7 +225 0 accept - accept - yes 0 0 11.6 +234 0 reject a' reject a' yes 2 2 11.1 +234 1 reject a' reject a' yes 2 2 11.1 +234 2 accept - accept - yes 2 2 11.1 +233 0 reject a' reject a' yes 2 2 11.3 +233 1 reject a' reject a' yes 2 2 11.3 +233 2 accept - accept - yes 2 2 11.3 +228 0 reject a' reject a' yes 9 9 11.5 +228 1 reject a' reject a' yes 9 9 11.5 +228 2 reject a' reject a' yes 9 9 11.5 +228 3 reject a' reject a' yes 9 9 11.5 +228 4 reject a reject a yes 9 9 11.5 +228 5 reject a' reject a' yes 9 9 11.5 +228 6 reject a' reject a' yes 9 9 11.5 +228 7 reject a' reject a' yes 9 9 11.5 +228 8 reject a' reject a' yes 9 9 11.5 +228 9 accept - accept - yes 9 9 11.5 +232 0 accept - accept - yes 0 0 11.6 +230 0 reject a' reject a' yes 8 8 11.7 +230 1 reject a' reject a' yes 8 8 11.7 +230 2 reject a' reject a' yes 8 8 11.7 +230 3 reject a' reject a' yes 8 8 11.7 +230 4 reject a' reject a' yes 8 8 11.7 +230 5 reject a reject a yes 8 8 11.7 +230 6 reject a' reject a' yes 8 8 11.7 +230 7 reject a' reject a' yes 8 8 11.7 +230 8 accept - accept - yes 8 8 11.7 +229 0 reject a reject a yes 2 2 11.8 +229 1 reject a' reject a' yes 2 2 11.8 +229 2 accept - accept - yes 2 2 11.8 +231 0 reject a' reject a' yes 2 2 11.9 +231 1 reject a' reject a' yes 2 2 11.9 +231 2 accept - accept - yes 2 2 11.9 +237 0 accept - accept - yes 0 0 7.9 +236 0 reject a' reject a' yes 2 2 10.2 +236 1 reject a' reject a' yes 2 2 10.2 +236 2 accept - accept - yes 2 2 10.2 +240 0 reject a' reject a' yes 4 4 7.9 +240 1 reject a' reject a' yes 4 4 7.9 +240 2 reject a reject a yes 4 4 7.9 +240 3 reject a' reject a' yes 4 4 7.9 +240 4 accept - accept - yes 4 4 7.9 +238 0 accept - accept - yes 0 0 9.9 +209 0 reject a' reject a' yes 3 3 20.5 +209 1 reject a' reject a' yes 3 3 20.5 +209 2 reject c'' reject c'' yes 3 3 20.5 +209 3 accept - accept - yes 3 3 20.5 +239 0 accept - accept - yes 0 0 9.9 +242 0 reject a' reject a' yes 5 5 9.7 +242 1 reject a' reject a' yes 5 5 9.7 +242 2 reject a' reject a' yes 5 5 9.7 +242 3 reject a' reject a' yes 5 5 9.7 +242 4 reject a' reject a' yes 5 5 9.7 +242 5 accept - accept - yes 5 5 9.7 +243 0 reject a reject a yes 9 9 9.7 +243 1 reject a' reject a' yes 9 9 9.7 +243 2 reject a' reject a' yes 9 9 9.7 +243 3 reject a' reject a' yes 9 9 9.7 +243 4 reject b reject b yes 9 9 9.7 +243 5 reject a' reject a' yes 9 9 9.7 +243 6 reject a' reject a' yes 9 9 9.7 +243 7 reject a' reject a' yes 9 9 9.7 +243 8 reject a reject a yes 9 9 9.7 +243 9 accept - accept - yes 9 9 9.7 +241 0 reject a' reject a' yes 4 4 10.1 +241 1 reject a reject a' yes 4 4 10.1 +241 2 reject a reject a' yes 4 4 10.1 +241 3 reject a' reject a' yes 4 4 10.1 +241 4 accept - accept - yes 4 4 10.1 +244 0 accept - accept - yes 0 0 9.7 +247 0 reject a' reject a' yes 4 4 9.6 +247 1 reject a reject a yes 4 4 9.6 +247 2 reject a' reject a' yes 4 4 9.6 +247 3 reject a' reject a' yes 4 4 9.6 +247 4 accept - accept - yes 4 4 9.6 +245 0 accept - accept - yes 0 0 9.9 +246 0 accept - accept - yes 0 0 9.9 +250 0 accept - accept - yes 0 0 9.8 +248 0 reject a' reject a' yes 2 2 10.1 +248 1 reject a' reject a' yes 2 2 10.1 +248 2 accept - accept - yes 2 2 10.1 +251 0 reject a' reject a' yes 3 3 10.0 +251 1 reject a' reject a' yes 3 3 10.0 +251 2 reject a' reject a' yes 3 3 10.0 +251 3 accept - accept - yes 3 3 10.0 +249 0 reject a' reject a' yes 1 1 10.5 +249 1 accept - accept - yes 1 1 10.5 +265 0 accept - accept - yes 0 0 5.9 +253 0 accept - accept - yes 0 0 10.3 +252 0 accept - accept - yes 0 0 10.6 +267 0 reject a' reject a' yes 2 2 5.9 +267 1 reject b reject b yes 2 2 5.9 +267 2 accept - accept - yes 2 2 5.9 +254 0 reject b reject b yes 1 1 10.5 +254 1 accept - accept - yes 1 1 10.5 +255 0 reject a reject a' yes 3 3 11.2 +255 1 reject a' reject a' yes 3 3 11.2 +255 2 reject a' reject a' yes 3 3 11.2 +255 3 accept - accept - yes 3 3 11.2 +257 0 reject a' reject a' yes 1 1 11.2 +257 1 accept - accept - yes 1 1 11.2 +258 0 accept - accept - yes 0 0 10.9 +261 0 accept - accept - yes 0 0 10.5 +259 0 reject a' reject a' yes 1 1 11.1 +259 1 accept - accept - yes 1 1 11.1 +266 0 accept - accept - yes 0 0 8.6 +269 0 reject a' reject a' yes 1 1 6.9 +269 1 accept - accept - yes 1 1 6.9 +260 0 reject a reject a' yes 3 3 11.3 +260 1 reject a' reject a' yes 3 3 11.3 +260 2 reject c-constbit reject c-constbit yes 3 3 11.3 +260 3 accept - accept - yes 3 3 11.3 +262 0 reject a' reject a' yes 8 8 11.4 +262 1 reject a' reject a' yes 8 8 11.4 +262 2 reject a' reject a' yes 8 8 11.4 +262 3 reject a' reject a' yes 8 8 11.4 +262 4 reject a' reject a' yes 8 8 11.4 +262 5 reject a' reject a' yes 8 8 11.4 +262 6 reject a' reject a' yes 8 8 11.4 +262 7 reject a' reject a' yes 8 8 11.4 +262 8 accept - accept - yes 8 8 11.4 +264 0 reject a' reject a' yes 2 2 11.4 +264 1 reject a reject a yes 2 2 11.4 +264 2 accept - accept - yes 2 2 11.4 +270 0 reject a' reject a' yes 1 1 7.4 +270 1 accept - accept - yes 1 1 7.4 +272 0 reject a' reject a' yes 1 1 7.1 +272 1 accept - accept - yes 1 1 7.1 +268 0 accept - accept - yes 0 0 8.2 +273 0 reject a' reject a' yes 14 14 7.1 +273 1 reject a' reject a' yes 14 14 7.1 +273 2 reject a' reject a' yes 14 14 7.1 +273 3 reject a' reject a' yes 14 14 7.1 +273 4 reject a' reject a' yes 14 14 7.1 +273 5 reject a' reject a' yes 14 14 7.1 +273 6 reject a' reject a' yes 14 14 7.1 +273 7 reject b reject b yes 14 14 7.1 +273 8 reject a' reject a' yes 14 14 7.1 +273 9 reject a' reject a' yes 14 14 7.1 +273 10 reject a reject a' yes 14 14 7.1 +273 11 reject a' reject a' yes 14 14 7.1 +273 12 reject a' reject a' yes 14 14 7.1 +273 13 reject a reject a' yes 14 14 7.1 +273 14 accept - accept - yes 14 14 7.1 +271 0 accept - accept - yes 0 0 7.5 +274 0 reject a' reject a' yes 2 2 7.2 +274 1 reject a reject a yes 2 2 7.2 +274 2 accept - accept - yes 2 2 7.2 +282 0 accept - accept - yes 0 0 5.9 +276 0 reject a reject a' yes 2 2 7.2 +276 1 reject a' reject a' yes 2 2 7.2 +276 2 accept - accept - yes 2 2 7.2 +277 0 accept - accept - yes 0 0 7.2 +275 0 reject a' reject a' yes 3 3 7.5 +275 1 reject a' reject a' yes 3 3 7.5 +275 2 reject a reject a yes 3 3 7.5 +275 3 accept - accept - yes 3 3 7.5 +279 0 accept - accept - yes 0 0 6.9 +281 0 accept - accept - yes 0 0 6.9 +283 0 reject a' reject a' yes 5 5 7.1 +283 1 reject a' reject a' yes 5 5 7.1 +283 2 reject a' reject a' yes 5 5 7.1 +283 3 reject a reject a yes 5 5 7.1 +283 4 reject a' reject a' yes 5 5 7.1 +283 5 accept - accept - yes 5 5 7.1 +285 0 reject a reject a yes 4 4 5.8 +285 1 reject a' reject a' yes 4 4 5.8 +285 2 reject a' reject a' yes 4 4 5.8 +285 3 reject a' reject a' yes 4 4 5.8 +285 4 accept - accept - yes 4 4 5.8 +286 0 accept - accept - yes 0 0 9.0 +284 0 reject a reject a yes 7 7 10.5 +284 1 reject a' reject a' yes 7 7 10.5 +284 2 reject a' reject a' yes 7 7 10.5 +284 3 reject a' reject a' yes 7 7 10.5 +284 4 reject a' reject a' yes 7 7 10.5 +284 5 reject a' reject a' yes 7 7 10.5 +284 6 reject a' reject a' yes 7 7 10.5 +284 7 accept - accept - yes 7 7 10.5 +293 0 accept - accept - yes 0 0 8.1 +292 0 reject a' reject a' yes 3 3 8.5 +292 1 reject a' reject a' yes 3 3 8.5 +292 2 reject a' reject a' yes 3 3 8.5 +292 3 accept - accept - yes 3 3 8.5 +263 0 reject c'' reject c'' yes 1 1 19.7 +263 1 accept - accept - yes 1 1 19.7 +298 0 reject c-saturated reject c-saturated yes 2 2 8.1 +298 1 reject a' reject a' yes 2 2 8.1 +298 2 accept - accept - yes 2 2 8.1 +297 0 accept - accept - yes 0 0 8.6 +294 0 reject a' reject a' yes 3 3 9.3 +294 1 reject a' reject a' yes 3 3 9.3 +294 2 reject a reject a yes 3 3 9.3 +294 3 accept - accept - yes 3 3 9.3 +288 0 reject a' reject a' yes 6 6 10.4 +288 1 reject a' reject a' yes 6 6 10.4 +288 2 reject a reject a' yes 6 6 10.4 +288 3 reject a reject a yes 6 6 10.4 +288 4 reject a' reject a' yes 6 6 10.4 +288 5 reject a' reject a' yes 6 6 10.4 +288 6 accept - accept - yes 6 6 10.4 +290 0 accept - accept - yes 0 0 10.3 +256 0 reject a' reject a' yes 5 5 21.8 +256 1 reject a' reject a' yes 5 5 21.8 +256 2 reject a' reject a' yes 5 5 21.8 +256 3 reject c-distinct reject c-distinct yes 5 5 21.8 +256 4 reject a' reject a' yes 5 5 21.8 +256 5 accept - accept - yes 5 5 21.8 +287 0 accept - accept - yes 0 0 10.9 +289 0 reject a' reject a' yes 1 1 10.6 +289 1 accept - accept - yes 1 1 10.6 +299 0 accept - accept - yes 0 0 9.4 +291 0 reject a' reject a' yes 2 2 10.6 +291 1 reject a' reject a' yes 2 2 10.6 +291 2 accept - accept - yes 2 2 10.6 +278 0 reject c'' reject c'' yes 5 5 15.5 +278 1 reject b reject b yes 5 5 15.5 +278 2 reject a' reject a' yes 5 5 15.5 +278 3 reject a' reject a' yes 5 5 15.5 +278 4 reject a' reject a' yes 5 5 15.5 +278 5 accept - accept - yes 5 5 15.5 +295 0 reject a' reject a' yes 6 6 10.2 +295 1 reject a reject a' yes 6 6 10.2 +295 2 reject b reject b yes 6 6 10.2 +295 3 reject a' reject a' yes 6 6 10.2 +295 4 reject a' reject a' yes 6 6 10.2 +295 5 reject a' reject a' yes 6 6 10.2 +295 6 accept - accept - yes 6 6 10.2 +280 0 reject a' reject a' yes 7 7 15.5 +280 1 reject c'' reject c'' yes 7 7 15.5 +280 2 reject a' reject a' yes 7 7 15.5 +280 3 reject a' reject a' yes 7 7 15.5 +280 4 reject a' reject a' yes 7 7 15.5 +280 5 reject a' reject a' yes 7 7 15.5 +280 6 reject a' reject a' yes 7 7 15.5 +280 7 accept - accept - yes 7 7 15.5 +296 0 reject a' reject a' yes 4 4 10.2 +296 1 reject a' reject a' yes 4 4 10.2 +296 2 reject a' reject a' yes 4 4 10.2 +296 3 reject a' reject a' yes 4 4 10.2 +296 4 accept - accept - yes 4 4 10.2 +lease: released 30 pool cores after 57 s, exit 0 diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md index 0cb7780cc..69052d0fa 100644 --- a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md +++ b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md @@ -24,7 +24,7 @@ internal adversarial pass, not an independent review | Q2b | Static steering at 10^6 seeds | `adv3 static`: the first candidate passing (a), (b), (a') per seed, static properties, quantiles to 10^-6 | the plant of Q2 (the same property code) | the 10^-5 and 10^-6 quantiles of each property, priced | DONE: table in section 3; the best property at 1 in 10^6 tries is a shadow block with 38 multiplies of 256 (mean 74), worth about 2 to 3 percent of the f = 1 chip's energy per hash (approximate); the load critical path at 40 of 128 (median 72) is worth nothing at the memory activate ceiling | BOUND | | Q2c | Live hot set of the lowest-ratio steered seeds | f8 `warps` on the lowest-ratio seeds of Q2 | f8's own const-item plant | the worst steered seed's gain priced | plant FLAGGED (X_0.1% +6.25, 24.9x); control clear; the five lowest of 975 (ratio 0.998): within the 1.2x gate (1.01x to 1.13x), no hot set, 6-sigma flagged (+32 to +164); the three lowest of 4,975 (ratio 0.995: seeds 2653, 3296, 4388): PASS with no test fired (1.0007x to 1.0008x, X_0.1%/f 0.002, 6-sigma +4.3 to +4.8, the control's level); worst case over the eight: 1.0004x | BOUND: the 0.995 seeds PASS at 2^24 (0.9998x to 1.0002x); seed 620 at 2^24 is beyond the 1.2x share gate (1.43x) with no hot set (X_f/f 0.77), 1.0008x: the lane's worst live case | | Q3 | Program id: collisions and derivation agreement | `adv3 ids` over 10^7 (seed, attempt) pairs; `adv3 idcheck` by three derivations | low-32 collision counts must match the birthday expectation; one attempt bit flipped must change the id | 0 collisions; the derivation that matches the packs named | 0 id collisions, 0 program-stream state collisions, 0 seed-word collisions over 10^7 pairs (control: 11,759 low-32 id collisions against 11,641 expected); FINDING: program.json's `program_id_derivation` string and spec 1.4.6 state a derivation WITHOUT the `"sub/" || 3_le16` suffix the code appends for generator 4; an implementation written from the text computes 30956569d8f3d8d7 for Devnet 3 where the pack carries fce15bf61030be57 | FINDING (interoperability, not consensus) | -| Q4 | Determinism traps | `adv3 margins`; a second interpretation of the rule (`adv3 verdicts`, 2,000 seeds, every attempt); a spec-1.4.6-only interpretation (400 seeds); the read list | `--variant floor97` must change at least one verdict | 0 disagreements between code and the faithful second interpretation; the spec-only disagreement rate measured; every divergence listed | margins: the f64 ratio compare of (c'') never disagrees with the integer rule `50 d >= 49 E` on any of the 2^20 + 1 values of d for any window (margins 0.32 to 0.44 counts); second interpretation DONE: 5,748 of 5,748 attempt verdicts of 1,792 seeds agree with the code, part by part (the same 1,445 (a'), 204 (a), 70 (b), 20 (c''), 7 (c') saturated-source, 7 constant-bit, 1 distinct-sum rejections and 792 accepts), chosen attempt equal on every seed; read list in section 6 (the spec text is behind the code on six points; the CLI `accept` command caps at 32 with no last resort) | RUNNING (sweeps 94, 97, 98 chunked) | +| Q4 | Determinism traps | `adv3 margins`; a second interpretation of the rule (`adv3 verdicts`, 2,000 seeds, every attempt); a spec-1.4.6-only interpretation (400 seeds); the read list | `--variant floor97` must change at least one verdict | 0 disagreements between code and the faithful second interpretation; the spec-only disagreement rate measured; every divergence listed | margins: the f64 ratio compare of (c'') never disagrees with the integer rule `50 d >= 49 E` on any of the 2^20 + 1 values of d for any window (margins 0.32 to 0.44 counts); second interpretation DONE: 5,748 of 5,748 attempt verdicts of 1,792 seeds agree; its control fired (the single-pass (a) variant changes 4 of 1,008 verdicts and 3 of 300 programs; the floor-0.97 variant changed none, section 6.4) with the code, part by part (the same 1,445 (a'), 204 (a), 70 (b), 20 (c''), 7 (c') saturated-source, 7 constant-bit, 1 distinct-sum rejections and 792 accepts), chosen attempt equal on every seed; read list in section 6 (the spec text is behind the code on six points; the CLI `accept` command caps at 32 with no last resort) | RUNNING (sweeps 94, 97, 98 chunked) | | Q5 | Era steering | `adv3 era-steer` over 400 era seeds: stride, interleave, epoch 0's min ratio | none needed (a listing) | noted | queued | RUNNING (sweep 99) | ## 1. Q1: exhaustion (row 90, owner adv-accept, cited; this lane's static rates added) @@ -228,7 +228,7 @@ Spec 01 section 1.4.6 at 017e7037 describes (a), (b), (c), a 5.14 percent reject ### 6.4 The second interpretation (sweeps 94, 98) -`adv3 verdicts --variant faithful` re-implements (a) cyclic, (b), (a') to its fixpoint with the shared-operand idiom, (c), (c') and (c'') as a per-lane scalar interpreter with its own accumulators and an integer ratio compare, from the module table of accept.rs and the spec's instruction semantics (reusing the library's `splitmix32`, `dataset_elem` and `load_index` as primitives), and compares verdict by verdict with `accept::check` on every attempt of 2,000 seeds. `--variant floor97` (300 seeds) was the planned known-failed shape: the floor at 0.97 must change at least one verdict against the code, or the comparison is not reading the ratio. IT DID NOT FIRE: sweep 98 (300 seeds, 1,008 attempt verdicts, 20:4x to 21:42 BST, log 98-verdicts-floor97.tsv) agrees with the code on every row, its 12 (c'') rejections included. The reason is itself a result: every (c'') rejection in the population sits under 0.97 (the attack-pass finding's failing bands read 0.84 to 0.97; the accepted population's minimum at 2^20 is about 0.983 by lane adv-accept's gap rows), so a floor anywhere in 0.97 to 0.98 draws the same line and the comparison had no candidate in the band it moved. The shape is replaced by two runs: (i) `--variant noncyclic` (sweep 981, 300 seeds, started 21:45 BST), the (a) test in a single pass, which must ACCEPT the wrap-case candidates the code rejects by (a) (459 of 5,748 verdicts in sweep 94 were (a) rejections, and under the draw's fresh-source rule every one of them is a wrap case, so this variant must disagree on about 8 percent of rows or the comparison is not reading (a)); (ii) `adv3 ratios` (sweep 982, binary 7e96fcca98c9cdb256b2dcb4095c84c6ded785911be32856b1c4560d375d794f, 300 seeds, started 21:47 BST), the 2^20 ratio of every candidate that reached the dynamic rule, which gives the distribution the floor cuts and so the headroom on each side as a number in place of the assumption above. Until (i) lands the 5,748-row agreement is a measurement without its control. Sweep 94 DONE (seeds 0 to 791 at 88 threads before the kill, then 1,000 to 1,999 through the lease in 200-seed chunks, 20:43 to 21:40 BST; logs 94-verdicts-faithful-part1.tsv and part2.tsv): 5,748 attempt verdicts over 1,792 seeds, 5,748 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 3,281, (a) 459, (b) 135, (c'') 50, (c) constant bit 16, (c) saturated 12, (c) distinct sum 3, accept 1,792); the chosen attempt is the same on all 1,792 seeds. Every part of the rule fired at least once in the sample except (c'), the saturated-source count (its rate is 2 in 15,714 candidates in the steer sweep, so 0 in 5,748 is expected), and the lane-constant-site test (never seen in any sweep of this lane; the draw's fresh-source rule makes a 32-lane-constant address need a constant register). (Part 1 alone: 2,546 attempt verdicts, 2,546 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,445, (a) 204, (b) 70, (c'') 20, (c') 7, constant bit 7, distinct sum 1, accept 792); the chosen attempt is the same on all 792 seeds. The known-failed variant (floor 0.97) runs as sweep 98. +`adv3 verdicts --variant faithful` re-implements (a) cyclic, (b), (a') to its fixpoint with the shared-operand idiom, (c), (c') and (c'') as a per-lane scalar interpreter with its own accumulators and an integer ratio compare, from the module table of accept.rs and the spec's instruction semantics (reusing the library's `splitmix32`, `dataset_elem` and `load_index` as primitives), and compares verdict by verdict with `accept::check` on every attempt of 2,000 seeds. `--variant floor97` (300 seeds) was the planned known-failed shape: the floor at 0.97 must change at least one verdict against the code, or the comparison is not reading the ratio. IT DID NOT FIRE: sweep 98 (300 seeds, 1,008 attempt verdicts, 20:4x to 21:42 BST, log 98-verdicts-floor97.tsv) agrees with the code on every row, its 12 (c'') rejections included. The reason is itself a result: every (c'') rejection in the population sits under 0.97 (the attack-pass finding's failing bands read 0.84 to 0.97; the accepted population's minimum at 2^20 is about 0.983 by lane adv-accept's gap rows), so a floor anywhere in 0.97 to 0.98 draws the same line and the comparison had no candidate in the band it moved. The shape is replaced by two runs: (i) `--variant noncyclic` (sweep 981, 300 seeds, started 21:45 BST), the (a) test in a single pass, which must ACCEPT the wrap-case candidates the code rejects by (a) (459 of 5,748 verdicts in sweep 94 were (a) rejections, and under the draw's fresh-source rule every one of them is a wrap case, so this variant must disagree on about 8 percent of rows or the comparison is not reading (a)); (ii) `adv3 ratios` (sweep 982, binary 7e96fcca98c9cdb256b2dcb4095c84c6ded785911be32856b1c4560d375d794f, 300 seeds, started 21:47 BST), the 2^20 ratio of every candidate that reached the dynamic rule, which gives the distribution the floor cuts and so the headroom on each side as a number in place of the assumption above. (i) LANDED (sweep 981, 300 seeds, 1,008 attempt verdicts, 22:23 to 22:30 BST on build-2, log 981-verdicts-noncyclic.tsv): the single-pass (a) variant disagrees with the code on 4 verdicts (code reject by (a), variant accept) and changes the chosen program of 3 of the 300 seeds; 0 disagreements the other way. The control fires, so the comparison reads (a), and the 5,748-row agreement of the faithful variant stands with its control. The variant also exposes how the parts overlap: of the code's 81 (a) rejections in this sample, 25 are re-caught by (a') and 1 by (c'') once (a) lets them through, and 51 were also single-pass (a) failures (the empty-eligible fallback inside one pass), so only 4 verdicts in 1,008 (0.4 percent) rest on the cyclic form of (a) alone; the dataflow rule (a') covers most of what (a) was written for. The faithful variant's total is unchanged at 5,748 of 5,748. Sweep 94 DONE (seeds 0 to 791 at 88 threads before the kill, then 1,000 to 1,999 through the lease in 200-seed chunks, 20:43 to 21:40 BST; logs 94-verdicts-faithful-part1.tsv and part2.tsv): 5,748 attempt verdicts over 1,792 seeds, 5,748 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 3,281, (a) 459, (b) 135, (c'') 50, (c) constant bit 16, (c) saturated 12, (c) distinct sum 3, accept 1,792); the chosen attempt is the same on all 1,792 seeds. Every part of the rule fired at least once in the sample except (c'), the saturated-source count (its rate is 2 in 15,714 candidates in the steer sweep, so 0 in 5,748 is expected), and the lane-constant-site test (never seen in any sweep of this lane; the draw's fresh-source rule makes a 32-lane-constant address need a constant register). (Part 1 alone: 2,546 attempt verdicts, 2,546 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,445, (a) 204, (b) 70, (c'') 20, (c') 7, constant bit 7, distinct sum 1, accept 792); the chosen attempt is the same on all 792 seeds. The known-failed variant (floor 0.97) runs as sweep 98. ## 7. Q5: era steering (sweep 99) @@ -262,7 +262,7 @@ Main's rule (relayed 20:2x BST): no sweep starts except through `/srv/builds/_bi | 96-adv-accept-3-steer-s01.sh | 2 | steer 10000..20000 | queued | | 97-adv-accept-3-verdicts-spec.sh | 1 | verdicts spec 0..400 | queued | | 98-adv-accept-3-verdicts-knownfailed.sh | 1 | verdicts floor97 0..300 | DONE 21:42 BST: did not fire (section 6.4) | -| 981-adv-accept-3-verdicts-noncyclic.sh | 1 | verdicts noncyclic 0..300 (the replacement known-failed shape) | claimed, started 21:45 BST | +| 981-adv-accept-3-verdicts-noncyclic.sh | 1 then 2 | verdicts noncyclic 0..300 (the replacement known-failed shape) | DONE 22:30 BST on build-2: fired, 4 verdicts and 3 programs changed | | 982-adv-accept-3-ratios.sh | 1 | ratios 0..300 (the (c'') ratio at 2^20 of every dynamic candidate) | claimed, started 21:47 BST | | 99-adv-accept-3-era-steer.sh | 1 | era-steer 0..400 | queued | | 991-adv-accept-3-f8-live.sh (DONE 20:37 BST) and 992-adv-accept-3-f8-live-2.sh (DONE 21:53 BST) | 1 | f8 `warps` (seed mode added, census code untouched; binary attack-f8 918f80a5fee5d2c349c90794b825a731ff16084c833c2f76f810a0e9ff5b0d80) on the const-item plant, seed 0 as control, then steer seeds 514, 522, 620, 703, 959 at 10^6 nonces, day 20733 | claimed 20:30 BST, waiting |