adv-accept-3: faithful verdict sweep done, 5,748 of 5,748 agree over 1,792 seeds
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs
parent
b4fa1d8b9b
commit
276e2cd68c
3 changed files with 3182 additions and 2 deletions
File diff suppressed because it is too large
Load diff
|
|
@ -0,0 +1,830 @@
|
|||
lease: 0 of 16 pool cores free (88 leased); waiting
|
||||
Terminated
|
||||
lease: holding 32 pool cores (21,33,34,35,36,37,38,39,40,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 98-adv-accept-3-verdicts-knownfailed 0
|
||||
# adv3 verdicts 2026-10-07T20:40:45Z variant floor97 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
|
||||
11 0 reject a' reject a' yes 10 10 9.6
|
||||
11 1 reject a' reject a' yes 10 10 9.6
|
||||
11 2 reject a' reject a' yes 10 10 9.6
|
||||
11 3 reject a' reject a' yes 10 10 9.6
|
||||
11 4 reject a' reject a' yes 10 10 9.6
|
||||
11 5 reject c-constbit reject c-constbit yes 10 10 9.6
|
||||
11 6 reject a' reject a' yes 10 10 9.6
|
||||
11 7 reject a' reject a' yes 10 10 9.6
|
||||
11 8 reject a' reject a' yes 10 10 9.6
|
||||
11 9 reject a reject a yes 10 10 9.6
|
||||
11 10 accept - accept - yes 10 10 9.6
|
||||
1 0 reject a' reject a' yes 1 1 9.8
|
||||
1 1 accept - accept - yes 1 1 9.8
|
||||
30 0 reject b reject b yes 11 11 9.8
|
||||
30 1 reject c-saturated reject c-saturated yes 11 11 9.8
|
||||
30 2 reject a reject a yes 11 11 9.8
|
||||
30 3 reject b reject b yes 11 11 9.8
|
||||
30 4 reject a' reject a' yes 11 11 9.8
|
||||
30 5 reject a' reject a' yes 11 11 9.8
|
||||
30 6 reject a reject a yes 11 11 9.8
|
||||
30 7 reject a' reject a' yes 11 11 9.8
|
||||
30 8 reject a' reject a' yes 11 11 9.8
|
||||
30 9 reject a' reject a' yes 11 11 9.8
|
||||
30 10 reject a' reject a' yes 11 11 9.8
|
||||
30 11 accept - accept - yes 11 11 9.8
|
||||
2 0 reject a reject a yes 5 5 10.3
|
||||
2 1 reject a' reject a' yes 5 5 10.3
|
||||
2 2 reject a' reject a' yes 5 5 10.3
|
||||
2 3 reject a' reject a' yes 5 5 10.3
|
||||
2 4 reject a' reject a' yes 5 5 10.3
|
||||
2 5 accept - accept - yes 5 5 10.3
|
||||
18 0 reject a' reject a' yes 1 1 10.4
|
||||
18 1 accept - accept - yes 1 1 10.4
|
||||
26 0 accept - accept - yes 0 0 10.4
|
||||
29 0 reject a reject a yes 5 5 10.5
|
||||
29 1 reject a' reject a' yes 5 5 10.5
|
||||
29 2 reject b reject b yes 5 5 10.5
|
||||
29 3 reject a' reject a' yes 5 5 10.5
|
||||
29 4 reject a' reject a' yes 5 5 10.5
|
||||
29 5 accept - accept - yes 5 5 10.5
|
||||
14 0 reject a' reject a' yes 1 1 10.5
|
||||
14 1 accept - accept - yes 1 1 10.5
|
||||
21 0 reject a' reject a' yes 1 1 10.5
|
||||
21 1 accept - accept - yes 1 1 10.5
|
||||
10 0 reject a' reject a' yes 1 1 10.6
|
||||
10 1 accept - accept - yes 1 1 10.6
|
||||
19 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
|
||||
23 0 reject a reject a yes 1 1 10.7
|
||||
23 1 accept - accept - yes 1 1 10.7
|
||||
25 0 accept - accept - yes 0 0 10.8
|
||||
8 0 accept - accept - yes 0 0 10.9
|
||||
27 0 reject a' reject a' yes 6 6 10.9
|
||||
27 1 reject a' reject a' yes 6 6 10.9
|
||||
27 2 reject a reject a yes 6 6 10.9
|
||||
27 3 reject a' reject a' yes 6 6 10.9
|
||||
27 4 reject a' reject a' yes 6 6 10.9
|
||||
27 5 reject a' reject a' yes 6 6 10.9
|
||||
27 6 accept - accept - yes 6 6 10.9
|
||||
4 0 reject a' reject a' yes 8 8 10.9
|
||||
4 1 reject b reject b yes 8 8 10.9
|
||||
4 2 reject a' reject a' yes 8 8 10.9
|
||||
4 3 reject a' reject a' yes 8 8 10.9
|
||||
4 4 reject a' reject a' yes 8 8 10.9
|
||||
4 5 reject c-constbit reject c-constbit yes 8 8 10.9
|
||||
4 6 reject a' reject a' yes 8 8 10.9
|
||||
4 7 reject a' reject a' yes 8 8 10.9
|
||||
4 8 accept - accept - yes 8 8 10.9
|
||||
16 0 reject a' reject a' yes 6 6 10.9
|
||||
16 1 reject b reject b yes 6 6 10.9
|
||||
16 2 reject a reject a yes 6 6 10.9
|
||||
16 3 reject a' reject a' yes 6 6 10.9
|
||||
16 4 reject a' reject a' yes 6 6 10.9
|
||||
16 5 reject a' reject a' yes 6 6 10.9
|
||||
16 6 accept - accept - yes 6 6 10.9
|
||||
22 0 reject a reject a yes 6 6 10.9
|
||||
22 1 reject a' reject a' yes 6 6 10.9
|
||||
22 2 reject a' reject a' yes 6 6 10.9
|
||||
22 3 reject a' reject a' yes 6 6 10.9
|
||||
22 4 reject a' reject a' yes 6 6 10.9
|
||||
22 5 reject a' reject a' yes 6 6 10.9
|
||||
22 6 accept - accept - yes 6 6 10.9
|
||||
9 0 reject a' reject a' yes 3 3 11.2
|
||||
9 1 reject a' reject a' yes 3 3 11.2
|
||||
9 2 reject a' reject a' yes 3 3 11.2
|
||||
9 3 accept - accept - yes 3 3 11.2
|
||||
31 0 accept - accept - yes 0 0 11.2
|
||||
6 0 accept - accept - yes 0 0 11.3
|
||||
17 0 accept - accept - yes 0 0 11.3
|
||||
13 0 accept - accept - yes 0 0 11.3
|
||||
15 0 reject a reject a yes 3 3 11.3
|
||||
15 1 reject a' reject a' yes 3 3 11.3
|
||||
15 2 reject a reject a yes 3 3 11.3
|
||||
15 3 accept - accept - yes 3 3 11.3
|
||||
24 0 accept - accept - yes 0 0 11.4
|
||||
7 0 accept - accept - yes 0 0 11.5
|
||||
0 0 reject a' reject a' yes 3 3 11.5
|
||||
0 1 reject a' reject a' yes 3 3 11.5
|
||||
0 2 reject a' reject a' yes 3 3 11.5
|
||||
0 3 accept - accept - yes 3 3 11.5
|
||||
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
|
||||
5 0 reject a' reject a' yes 1 1 12.6
|
||||
5 1 accept - accept - yes 1 1 12.6
|
||||
34 0 accept - accept - yes 0 0 10.0
|
||||
36 0 reject a' reject a' yes 1 1 9.9
|
||||
36 1 accept - accept - yes 1 1 9.9
|
||||
48 0 accept - accept - yes 0 0 9.4
|
||||
50 0 reject b reject b yes 1 1 9.5
|
||||
50 1 accept - accept - yes 1 1 9.5
|
||||
32 0 accept - accept - yes 0 0 11.0
|
||||
37 0 reject a' reject a' yes 2 2 10.1
|
||||
37 1 reject a' reject a' yes 2 2 10.1
|
||||
37 2 accept - accept - yes 2 2 10.1
|
||||
28 0 reject a' reject a' yes 7 7 20.6
|
||||
28 1 reject a' reject a' yes 7 7 20.6
|
||||
28 2 reject a' reject a' yes 7 7 20.6
|
||||
28 3 reject a' reject a' yes 7 7 20.6
|
||||
28 4 reject a' reject a' yes 7 7 20.6
|
||||
28 5 reject c'' reject c'' yes 7 7 20.6
|
||||
28 6 reject a reject a yes 7 7 20.6
|
||||
28 7 accept - accept - yes 7 7 20.6
|
||||
35 0 reject a' reject a' yes 6 6 10.7
|
||||
35 1 reject a' reject a' yes 6 6 10.7
|
||||
35 2 reject a reject a yes 6 6 10.7
|
||||
35 3 reject a' reject a' yes 6 6 10.7
|
||||
35 4 reject a' reject a' yes 6 6 10.7
|
||||
35 5 reject a' reject a' yes 6 6 10.7
|
||||
35 6 accept - accept - yes 6 6 10.7
|
||||
43 0 accept - accept - yes 0 0 10.7
|
||||
33 0 reject a' reject a' yes 2 2 11.6
|
||||
33 1 reject a' reject a' yes 2 2 11.6
|
||||
33 2 accept - accept - yes 2 2 11.6
|
||||
47 0 reject a' reject a' yes 8 8 10.6
|
||||
47 1 reject a' reject a' yes 8 8 10.6
|
||||
47 2 reject a' reject a' yes 8 8 10.6
|
||||
47 3 reject a' reject a' yes 8 8 10.6
|
||||
47 4 reject a' reject a' yes 8 8 10.6
|
||||
47 5 reject a' reject a' yes 8 8 10.6
|
||||
47 6 reject a' reject a' yes 8 8 10.6
|
||||
47 7 reject a' reject a' yes 8 8 10.6
|
||||
47 8 accept - accept - yes 8 8 10.6
|
||||
38 0 reject a' reject a' yes 1 1 11.1
|
||||
38 1 accept - accept - yes 1 1 11.1
|
||||
39 0 accept - accept - yes 0 0 11.2
|
||||
40 0 accept - accept - yes 0 0 11.4
|
||||
53 0 reject a' reject a' yes 4 4 10.7
|
||||
53 1 reject a' reject a' yes 4 4 10.7
|
||||
53 2 reject a' reject a' yes 4 4 10.7
|
||||
53 3 reject a reject a yes 4 4 10.7
|
||||
53 4 accept - accept - yes 4 4 10.7
|
||||
46 0 accept - accept - yes 0 0 11.3
|
||||
45 0 reject b reject b yes 5 5 11.4
|
||||
45 1 reject a reject a yes 5 5 11.4
|
||||
45 2 reject a' reject a' yes 5 5 11.4
|
||||
45 3 reject a' reject a' yes 5 5 11.4
|
||||
45 4 reject a' reject a' yes 5 5 11.4
|
||||
45 5 accept - accept - yes 5 5 11.4
|
||||
49 0 accept - accept - yes 0 0 11.3
|
||||
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
|
||||
58 0 reject a' reject a' yes 1 1 11.0
|
||||
58 1 accept - accept - yes 1 1 11.0
|
||||
52 0 reject a' reject a' yes 3 3 11.3
|
||||
52 1 reject a' reject a' yes 3 3 11.3
|
||||
52 2 reject a' reject a' yes 3 3 11.3
|
||||
52 3 accept - accept - yes 3 3 11.3
|
||||
56 0 reject a' reject a' yes 1 1 11.3
|
||||
56 1 accept - accept - yes 1 1 11.3
|
||||
42 0 reject a' reject a' yes 6 6 12.2
|
||||
42 1 reject a' reject a' yes 6 6 12.2
|
||||
42 2 reject a' reject a' yes 6 6 12.2
|
||||
42 3 reject a' reject a' yes 6 6 12.2
|
||||
42 4 reject a' reject a' yes 6 6 12.2
|
||||
42 5 reject a' reject a' yes 6 6 12.2
|
||||
42 6 accept - accept - yes 6 6 12.2
|
||||
44 0 accept - accept - yes 0 0 12.1
|
||||
55 0 accept - accept - yes 0 0 11.6
|
||||
51 0 reject a' reject a' yes 13 13 11.9
|
||||
51 1 reject a' reject a' yes 13 13 11.9
|
||||
51 2 reject a' reject a' yes 13 13 11.9
|
||||
51 3 reject a' reject a' yes 13 13 11.9
|
||||
51 4 reject a' reject a' yes 13 13 11.9
|
||||
51 5 reject a' reject a' yes 13 13 11.9
|
||||
51 6 reject a' reject a' yes 13 13 11.9
|
||||
51 7 reject a' reject a' yes 13 13 11.9
|
||||
51 8 reject a' reject a' yes 13 13 11.9
|
||||
51 9 reject a' reject a' yes 13 13 11.9
|
||||
51 10 reject a' reject a' yes 13 13 11.9
|
||||
51 11 reject a' reject a' yes 13 13 11.9
|
||||
51 12 reject a' reject a' yes 13 13 11.9
|
||||
51 13 accept - accept - yes 13 13 11.9
|
||||
59 0 reject a' reject a' yes 2 2 11.9
|
||||
59 1 reject a' reject a' yes 2 2 11.9
|
||||
59 2 accept - accept - yes 2 2 11.9
|
||||
61 0 reject a' reject a' yes 1 1 11.9
|
||||
61 1 accept - accept - yes 1 1 11.9
|
||||
62 0 reject a' reject a' yes 4 4 11.2
|
||||
62 1 reject a' reject a' yes 4 4 11.2
|
||||
62 2 reject a' reject a' yes 4 4 11.2
|
||||
62 3 reject a reject a yes 4 4 11.2
|
||||
62 4 accept - accept - yes 4 4 11.2
|
||||
60 0 reject a' reject a' yes 2 2 12.5
|
||||
60 1 reject a reject a yes 2 2 12.5
|
||||
60 2 accept - accept - yes 2 2 12.5
|
||||
66 0 reject a' reject a' yes 5 5 8.6
|
||||
66 1 reject a' reject a' yes 5 5 8.6
|
||||
66 2 reject a' reject a' yes 5 5 8.6
|
||||
66 3 reject a' reject a' yes 5 5 8.6
|
||||
66 4 reject a' reject a' yes 5 5 8.6
|
||||
66 5 accept - accept - yes 5 5 8.6
|
||||
65 0 reject a' reject a' yes 2 2 9.4
|
||||
65 1 reject a' reject a' yes 2 2 9.4
|
||||
65 2 accept - accept - yes 2 2 9.4
|
||||
67 0 reject a' reject a' yes 1 1 9.8
|
||||
67 1 accept - accept - yes 1 1 9.8
|
||||
57 0 reject a' reject a' yes 8 8 19.1
|
||||
57 1 reject a' reject a' yes 8 8 19.1
|
||||
57 2 reject a' reject a' yes 8 8 19.1
|
||||
57 3 reject c'' reject c'' yes 8 8 19.1
|
||||
57 4 reject a reject a yes 8 8 19.1
|
||||
57 5 reject a' reject a' yes 8 8 19.1
|
||||
57 6 reject a' reject a' yes 8 8 19.1
|
||||
57 7 reject a reject a yes 8 8 19.1
|
||||
57 8 accept - accept - yes 8 8 19.1
|
||||
64 0 reject a' reject a' yes 1 1 10.3
|
||||
64 1 accept - accept - yes 1 1 10.3
|
||||
63 0 reject a' reject a' yes 2 2 11.0
|
||||
63 1 reject a' reject a' yes 2 2 11.0
|
||||
63 2 accept - accept - yes 2 2 11.0
|
||||
68 0 accept - accept - yes 0 0 10.8
|
||||
69 0 reject a' reject a' yes 3 3 10.9
|
||||
69 1 reject a' reject a' yes 3 3 10.9
|
||||
69 2 reject a' reject a' yes 3 3 10.9
|
||||
69 3 accept - accept - yes 3 3 10.9
|
||||
73 0 reject a' reject a' yes 2 2 10.1
|
||||
73 1 reject a' reject a' yes 2 2 10.1
|
||||
73 2 accept - accept - yes 2 2 10.1
|
||||
82 0 reject a reject a yes 6 6 9.5
|
||||
82 1 reject a' reject a' yes 6 6 9.5
|
||||
82 2 reject a' reject a' yes 6 6 9.5
|
||||
82 3 reject a reject a yes 6 6 9.5
|
||||
82 4 reject a' reject a' yes 6 6 9.5
|
||||
82 5 reject a' reject a' yes 6 6 9.5
|
||||
82 6 accept - accept - yes 6 6 9.5
|
||||
79 0 reject a' reject a' yes 3 3 9.8
|
||||
79 1 reject a' reject a' yes 3 3 9.8
|
||||
79 2 reject a' reject a' yes 3 3 9.8
|
||||
79 3 accept - accept - yes 3 3 9.8
|
||||
74 0 reject a' reject a' yes 10 10 10.5
|
||||
74 1 reject a' reject a' yes 10 10 10.5
|
||||
74 2 reject a' reject a' yes 10 10 10.5
|
||||
74 3 reject a reject a yes 10 10 10.5
|
||||
74 4 reject a' reject a' yes 10 10 10.5
|
||||
74 5 reject a reject a yes 10 10 10.5
|
||||
74 6 reject a' reject a' yes 10 10 10.5
|
||||
74 7 reject a' reject a' yes 10 10 10.5
|
||||
74 8 reject a reject a yes 10 10 10.5
|
||||
74 9 reject a' reject a' yes 10 10 10.5
|
||||
74 10 accept - accept - yes 10 10 10.5
|
||||
71 0 reject a reject a yes 6 6 10.9
|
||||
71 1 reject a reject a yes 6 6 10.9
|
||||
71 2 reject b reject b yes 6 6 10.9
|
||||
71 3 reject a' reject a' yes 6 6 10.9
|
||||
71 4 reject a' reject a' yes 6 6 10.9
|
||||
71 5 reject a' reject a' yes 6 6 10.9
|
||||
71 6 accept - accept - yes 6 6 10.9
|
||||
77 0 reject a' reject a' yes 1 1 10.2
|
||||
77 1 accept - accept - yes 1 1 10.2
|
||||
80 0 reject a' reject a' yes 8 8 10.0
|
||||
80 1 reject a' reject a' yes 8 8 10.0
|
||||
80 2 reject a' reject a' yes 8 8 10.0
|
||||
80 3 reject a reject a yes 8 8 10.0
|
||||
80 4 reject a' reject a' yes 8 8 10.0
|
||||
80 5 reject a' reject a' yes 8 8 10.0
|
||||
80 6 reject a' reject a' yes 8 8 10.0
|
||||
80 7 reject a' reject a' yes 8 8 10.0
|
||||
80 8 accept - accept - yes 8 8 10.0
|
||||
85 0 reject a' reject a' yes 3 3 9.5
|
||||
85 1 reject a' reject a' yes 3 3 9.5
|
||||
85 2 reject a' reject a' yes 3 3 9.5
|
||||
85 3 accept - accept - yes 3 3 9.5
|
||||
70 0 reject a' reject a' yes 4 4 11.5
|
||||
70 1 reject a' reject a' yes 4 4 11.5
|
||||
70 2 reject a' reject a' yes 4 4 11.5
|
||||
70 3 reject a' reject a' yes 4 4 11.5
|
||||
70 4 accept - accept - yes 4 4 11.5
|
||||
75 0 reject a' reject a' yes 3 3 11.1
|
||||
75 1 reject a' reject a' yes 3 3 11.1
|
||||
75 2 reject a' reject a' yes 3 3 11.1
|
||||
75 3 accept - accept - yes 3 3 11.1
|
||||
81 0 reject a' reject a' yes 1 1 10.8
|
||||
81 1 accept - accept - yes 1 1 10.8
|
||||
76 0 reject a' reject a' yes 1 1 11.4
|
||||
76 1 accept - accept - yes 1 1 11.4
|
||||
83 0 accept - accept - yes 0 0 11.0
|
||||
72 0 reject a' reject a' yes 3 3 12.1
|
||||
72 1 reject a' reject a' yes 3 3 12.1
|
||||
72 2 reject a' reject a' yes 3 3 12.1
|
||||
72 3 accept - accept - yes 3 3 12.1
|
||||
41 0 reject b reject b yes 5 5 23.0
|
||||
41 1 reject a' reject a' yes 5 5 23.0
|
||||
41 2 reject a' reject a' yes 5 5 23.0
|
||||
41 3 reject a' reject a' yes 5 5 23.0
|
||||
41 4 reject c'' reject c'' yes 5 5 23.0
|
||||
41 5 accept - accept - yes 5 5 23.0
|
||||
88 0 reject a' reject a' yes 1 1 10.5
|
||||
88 1 accept - accept - yes 1 1 10.5
|
||||
91 0 reject a' reject a' yes 2 2 10.1
|
||||
91 1 reject a' reject a' yes 2 2 10.1
|
||||
91 2 accept - accept - yes 2 2 10.1
|
||||
90 0 accept - accept - yes 0 0 10.3
|
||||
86 0 reject a' reject a' yes 6 6 11.2
|
||||
86 1 reject a' reject a' yes 6 6 11.2
|
||||
86 2 reject a' reject a' yes 6 6 11.2
|
||||
86 3 reject a' reject a' yes 6 6 11.2
|
||||
86 4 reject a' reject a' yes 6 6 11.2
|
||||
86 5 reject a' reject a' yes 6 6 11.2
|
||||
86 6 accept - accept - yes 6 6 11.2
|
||||
89 0 reject a' reject a' yes 1 1 10.8
|
||||
89 1 accept - accept - yes 1 1 10.8
|
||||
84 0 accept - accept - yes 0 0 11.8
|
||||
92 0 accept - accept - yes 0 0 11.1
|
||||
93 0 accept - accept - yes 0 0 10.4
|
||||
97 0 reject a' reject a' yes 1 1 9.4
|
||||
97 1 accept - accept - yes 1 1 9.4
|
||||
95 0 reject a' reject a' yes 2 2 10.1
|
||||
95 1 reject a' reject a' yes 2 2 10.1
|
||||
95 2 accept - accept - yes 2 2 10.1
|
||||
94 0 accept - accept - yes 0 0 11.4
|
||||
101 0 accept - accept - yes 0 0 9.7
|
||||
102 0 reject a' reject a' yes 2 2 9.4
|
||||
102 1 reject a' reject a' yes 2 2 9.4
|
||||
102 2 accept - accept - yes 2 2 9.4
|
||||
98 0 accept - accept - yes 0 0 10.9
|
||||
96 0 reject a' reject a' yes 1 1 11.3
|
||||
96 1 accept - accept - yes 1 1 11.3
|
||||
99 0 reject a' reject a' yes 2 2 10.6
|
||||
99 1 reject a' reject a' yes 2 2 10.6
|
||||
99 2 accept - accept - yes 2 2 10.6
|
||||
100 0 reject b reject b yes 6 6 10.5
|
||||
100 1 reject a' reject a' yes 6 6 10.5
|
||||
100 2 reject a' reject a' yes 6 6 10.5
|
||||
100 3 reject a' reject a' yes 6 6 10.5
|
||||
100 4 reject a' reject a' yes 6 6 10.5
|
||||
100 5 reject a' reject a' yes 6 6 10.5
|
||||
100 6 accept - accept - yes 6 6 10.5
|
||||
106 0 reject a' reject a' yes 2 2 9.8
|
||||
106 1 reject a' reject a' yes 2 2 9.8
|
||||
106 2 accept - accept - yes 2 2 9.8
|
||||
108 0 reject a' reject a' yes 3 3 10.1
|
||||
108 1 reject a' reject a' yes 3 3 10.1
|
||||
108 2 reject a' reject a' yes 3 3 10.1
|
||||
108 3 accept - accept - yes 3 3 10.1
|
||||
105 0 reject a' reject a' yes 7 7 10.4
|
||||
105 1 reject a' reject a' yes 7 7 10.4
|
||||
105 2 reject a' reject a' yes 7 7 10.4
|
||||
105 3 reject a' reject a' yes 7 7 10.4
|
||||
105 4 reject a' reject a' yes 7 7 10.4
|
||||
105 5 reject a' reject a' yes 7 7 10.4
|
||||
105 6 reject a reject a yes 7 7 10.4
|
||||
105 7 accept - accept - yes 7 7 10.4
|
||||
78 0 reject a' reject a' yes 6 6 20.8
|
||||
78 1 reject a' reject a' yes 6 6 20.8
|
||||
78 2 reject a' reject a' yes 6 6 20.8
|
||||
78 3 reject b reject b yes 6 6 20.8
|
||||
78 4 reject c'' reject c'' yes 6 6 20.8
|
||||
78 5 reject a' reject a' yes 6 6 20.8
|
||||
78 6 accept - accept - yes 6 6 20.8
|
||||
107 0 accept - accept - yes 0 0 10.8
|
||||
117 0 reject a' reject a' yes 1 1 9.2
|
||||
117 1 accept - accept - yes 1 1 9.2
|
||||
104 0 reject a' reject a' yes 1 1 11.3
|
||||
104 1 accept - accept - yes 1 1 11.3
|
||||
103 0 reject a' reject a' yes 2 2 11.7
|
||||
103 1 reject a reject a yes 2 2 11.7
|
||||
103 2 accept - accept - yes 2 2 11.7
|
||||
109 0 accept - accept - yes 0 0 11.5
|
||||
110 0 accept - accept - yes 0 0 11.1
|
||||
112 0 accept - accept - yes 0 0 10.9
|
||||
115 0 accept - accept - yes 0 0 10.6
|
||||
111 0 accept - accept - yes 0 0 11.1
|
||||
120 0 accept - accept - yes 0 0 10.2
|
||||
87 0 reject a' reject a' yes 3 3 21.5
|
||||
87 1 reject a' reject a' yes 3 3 21.5
|
||||
87 2 reject c'' reject c'' yes 3 3 21.5
|
||||
87 3 accept - accept - yes 3 3 21.5
|
||||
114 0 reject a' reject a' yes 2 2 11.1
|
||||
114 1 reject a' reject a' yes 2 2 11.1
|
||||
114 2 accept - accept - yes 2 2 11.1
|
||||
113 0 reject a' reject a' yes 1 1 11.1
|
||||
113 1 accept - accept - yes 1 1 11.1
|
||||
118 0 accept - accept - yes 0 0 10.7
|
||||
119 0 reject a' reject a' yes 2 2 10.9
|
||||
119 1 reject a' reject a' yes 2 2 10.9
|
||||
119 2 accept - accept - yes 2 2 10.9
|
||||
116 0 reject a' reject a' yes 1 1 11.7
|
||||
116 1 accept - accept - yes 1 1 11.7
|
||||
121 0 reject a' reject a' yes 3 3 11.4
|
||||
121 1 reject a' reject a' yes 3 3 11.4
|
||||
121 2 reject a' reject a' yes 3 3 11.4
|
||||
121 3 accept - accept - yes 3 3 11.4
|
||||
122 0 reject a reject a yes 2 2 11.5
|
||||
122 1 reject a' reject a' yes 2 2 11.5
|
||||
122 2 accept - accept - yes 2 2 11.5
|
||||
126 0 reject a' reject a' yes 10 10 8.9
|
||||
126 1 reject a' reject a' yes 10 10 8.9
|
||||
126 2 reject a reject a yes 10 10 8.9
|
||||
126 3 reject a' reject a' yes 10 10 8.9
|
||||
126 4 reject a' reject a' yes 10 10 8.9
|
||||
126 5 reject a' reject a' yes 10 10 8.9
|
||||
126 6 reject a' reject a' yes 10 10 8.9
|
||||
126 7 reject a' reject a' yes 10 10 8.9
|
||||
126 8 reject a' reject a' yes 10 10 8.9
|
||||
126 9 reject a' reject a' yes 10 10 8.9
|
||||
126 10 accept - accept - yes 10 10 8.9
|
||||
129 0 reject a' reject a' yes 1 1 8.8
|
||||
129 1 accept - accept - yes 1 1 8.8
|
||||
125 0 reject a' reject a' yes 2 2 10.1
|
||||
125 1 reject c-constbit reject c-constbit yes 2 2 10.1
|
||||
125 2 accept - accept - yes 2 2 10.1
|
||||
127 0 reject a' reject a' yes 4 4 9.3
|
||||
127 1 reject a' reject a' yes 4 4 9.3
|
||||
127 2 reject a' reject a' yes 4 4 9.3
|
||||
127 3 reject a' reject a' yes 4 4 9.3
|
||||
127 4 accept - accept - yes 4 4 9.3
|
||||
123 0 accept - accept - yes 0 0 11.2
|
||||
131 0 accept - accept - yes 0 0 8.7
|
||||
128 0 reject a' reject a' yes 2 2 10.3
|
||||
128 1 reject a' reject a' yes 2 2 10.3
|
||||
128 2 accept - accept - yes 2 2 10.3
|
||||
130 0 accept - accept - yes 0 0 10.2
|
||||
124 0 reject a' reject a' yes 9 9 12.1
|
||||
124 1 reject a reject a yes 9 9 12.1
|
||||
124 2 reject a' reject a' yes 9 9 12.1
|
||||
124 3 reject a' reject a' yes 9 9 12.1
|
||||
124 4 reject b reject b yes 9 9 12.1
|
||||
124 5 reject a' reject a' yes 9 9 12.1
|
||||
124 6 reject a' reject a' yes 9 9 12.1
|
||||
124 7 reject a' reject a' yes 9 9 12.1
|
||||
124 8 reject a' reject a' yes 9 9 12.1
|
||||
124 9 accept - accept - yes 9 9 12.1
|
||||
137 0 reject a' reject a' yes 8 8 9.1
|
||||
137 1 reject a' reject a' yes 8 8 9.1
|
||||
137 2 reject a' reject a' yes 8 8 9.1
|
||||
137 3 reject a' reject a' yes 8 8 9.1
|
||||
137 4 reject a reject a yes 8 8 9.1
|
||||
137 5 reject a' reject a' yes 8 8 9.1
|
||||
137 6 reject a' reject a' yes 8 8 9.1
|
||||
137 7 reject a' reject a' yes 8 8 9.1
|
||||
137 8 accept - accept - yes 8 8 9.1
|
||||
133 0 accept - accept - yes 0 0 10.1
|
||||
143 0 accept - accept - yes 0 0 8.3
|
||||
136 0 reject a' reject a' yes 1 1 9.8
|
||||
136 1 accept - accept - yes 1 1 9.8
|
||||
138 0 accept - accept - yes 0 0 9.7
|
||||
148 0 accept - accept - yes 0 0 8.8
|
||||
132 0 accept - accept - yes 0 0 11.3
|
||||
146 0 accept - accept - yes 0 0 9.0
|
||||
145 0 reject a' reject a' yes 1 1 9.3
|
||||
145 1 accept - accept - yes 1 1 9.3
|
||||
147 0 accept - accept - yes 0 0 9.5
|
||||
139 0 accept - accept - yes 0 0 10.6
|
||||
134 0 reject a' reject a' yes 7 7 11.7
|
||||
134 1 reject a' reject a' yes 7 7 11.7
|
||||
134 2 reject a' reject a' yes 7 7 11.7
|
||||
134 3 reject a' reject a' yes 7 7 11.7
|
||||
134 4 reject a' reject a' yes 7 7 11.7
|
||||
134 5 reject a' reject a' yes 7 7 11.7
|
||||
134 6 reject a' reject a' yes 7 7 11.7
|
||||
134 7 accept - accept - yes 7 7 11.7
|
||||
135 0 reject a' reject a' yes 4 4 11.4
|
||||
135 1 reject a' reject a' yes 4 4 11.4
|
||||
135 2 reject a' reject a' yes 4 4 11.4
|
||||
135 3 reject a' reject a' yes 4 4 11.4
|
||||
135 4 accept - accept - yes 4 4 11.4
|
||||
144 0 reject b reject b yes 2 2 10.0
|
||||
144 1 reject a' reject a' yes 2 2 10.0
|
||||
144 2 accept - accept - yes 2 2 10.0
|
||||
141 0 reject a' reject a' yes 1 1 10.5
|
||||
141 1 accept - accept - yes 1 1 10.5
|
||||
142 0 reject a' reject a' yes 1 1 10.9
|
||||
142 1 accept - accept - yes 1 1 10.9
|
||||
140 0 reject a' reject a' yes 2 2 11.2
|
||||
140 1 reject a' reject a' yes 2 2 11.2
|
||||
140 2 accept - accept - yes 2 2 11.2
|
||||
149 0 reject a' reject a' yes 2 2 10.6
|
||||
149 1 reject a' reject a' yes 2 2 10.6
|
||||
149 2 accept - accept - yes 2 2 10.6
|
||||
Terminated
|
||||
lease: released 32 pool cores after 56 s, exit 0
|
||||
lease: holding 32 pool cores (21,33,34,35,36,37,38,39,40,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 98-adv-accept-3-verdicts-knownfailed 150
|
||||
# adv3 verdicts 2026-10-07T20:41:41Z variant floor97 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
|
||||
177 0 reject a reject a yes 4 4 11.8
|
||||
177 1 reject a' reject a' yes 4 4 11.8
|
||||
177 2 reject a' reject a' yes 4 4 11.8
|
||||
177 3 reject a' reject a' yes 4 4 11.8
|
||||
177 4 accept - accept - yes 4 4 11.8
|
||||
166 0 reject a' reject a' yes 1 1 11.9
|
||||
166 1 accept - accept - yes 1 1 11.9
|
||||
153 0 reject a' reject a' yes 1 1 12.2
|
||||
153 1 accept - accept - yes 1 1 12.2
|
||||
173 0 reject a' reject a' yes 2 2 12.3
|
||||
173 1 reject a' reject a' yes 2 2 12.3
|
||||
173 2 accept - accept - yes 2 2 12.3
|
||||
160 0 reject a' reject a' yes 1 1 12.4
|
||||
160 1 accept - accept - yes 1 1 12.4
|
||||
171 0 reject a' reject a' yes 2 2 12.4
|
||||
171 1 reject a' reject a' yes 2 2 12.4
|
||||
171 2 accept - accept - yes 2 2 12.4
|
||||
167 0 accept - accept - yes 0 0 12.5
|
||||
168 0 reject a' reject a' yes 1 1 12.7
|
||||
168 1 accept - accept - yes 1 1 12.7
|
||||
156 0 reject a' reject a' yes 8 8 12.8
|
||||
156 1 reject a' reject a' yes 8 8 12.8
|
||||
156 2 reject a' reject a' yes 8 8 12.8
|
||||
156 3 reject a' reject a' yes 8 8 12.8
|
||||
156 4 reject a' reject a' yes 8 8 12.8
|
||||
156 5 reject a' reject a' yes 8 8 12.8
|
||||
156 6 reject a reject a yes 8 8 12.8
|
||||
156 7 reject a' reject a' yes 8 8 12.8
|
||||
156 8 accept - accept - yes 8 8 12.8
|
||||
158 0 accept - accept - yes 0 0 12.8
|
||||
159 0 reject a' reject a' yes 1 1 12.8
|
||||
159 1 accept - accept - yes 1 1 12.8
|
||||
154 0 reject a' reject a' yes 1 1 12.9
|
||||
154 1 accept - accept - yes 1 1 12.9
|
||||
161 0 reject a reject a yes 12 12 12.9
|
||||
161 1 reject a' reject a' yes 12 12 12.9
|
||||
161 2 reject a' reject a' yes 12 12 12.9
|
||||
161 3 reject a' reject a' yes 12 12 12.9
|
||||
161 4 reject a' reject a' yes 12 12 12.9
|
||||
161 5 reject a' reject a' yes 12 12 12.9
|
||||
161 6 reject a' reject a' yes 12 12 12.9
|
||||
161 7 reject a reject a yes 12 12 12.9
|
||||
161 8 reject a' reject a' yes 12 12 12.9
|
||||
161 9 reject a' reject a' yes 12 12 12.9
|
||||
161 10 reject a' reject a' yes 12 12 12.9
|
||||
161 11 reject a' reject a' yes 12 12 12.9
|
||||
161 12 accept - accept - yes 12 12 12.9
|
||||
174 0 reject a' reject a' yes 1 1 13.1
|
||||
174 1 accept - accept - yes 1 1 13.1
|
||||
165 0 reject a' reject a' yes 9 9 13.2
|
||||
165 1 reject a' reject a' yes 9 9 13.2
|
||||
165 2 reject a reject a yes 9 9 13.2
|
||||
165 3 reject a' reject a' yes 9 9 13.2
|
||||
165 4 reject a' reject a' yes 9 9 13.2
|
||||
165 5 reject a' reject a' yes 9 9 13.2
|
||||
165 6 reject a' reject a' yes 9 9 13.2
|
||||
165 7 reject a' reject a' yes 9 9 13.2
|
||||
165 8 reject a' reject a' yes 9 9 13.2
|
||||
165 9 accept - accept - yes 9 9 13.2
|
||||
151 0 reject a' reject a' yes 6 6 13.3
|
||||
151 1 reject a' reject a' yes 6 6 13.3
|
||||
151 2 reject a' reject a' yes 6 6 13.3
|
||||
151 3 reject a' reject a' yes 6 6 13.3
|
||||
151 4 reject a' reject a' yes 6 6 13.3
|
||||
151 5 reject a' reject a' yes 6 6 13.3
|
||||
151 6 accept - accept - yes 6 6 13.3
|
||||
157 0 reject a' reject a' yes 2 2 13.3
|
||||
157 1 reject a' reject a' yes 2 2 13.3
|
||||
157 2 accept - accept - yes 2 2 13.3
|
||||
150 0 reject a' reject a' yes 4 4 13.4
|
||||
150 1 reject a' reject a' yes 4 4 13.4
|
||||
150 2 reject a' reject a' yes 4 4 13.4
|
||||
150 3 reject a' reject a' yes 4 4 13.4
|
||||
150 4 accept - accept - yes 4 4 13.4
|
||||
176 0 accept - accept - yes 0 0 13.5
|
||||
175 0 reject a' reject a' yes 1 1 13.5
|
||||
175 1 accept - accept - yes 1 1 13.5
|
||||
169 0 reject a' reject a' yes 2 2 13.6
|
||||
169 1 reject a' reject a' yes 2 2 13.6
|
||||
169 2 accept - accept - yes 2 2 13.6
|
||||
152 0 accept - accept - yes 0 0 13.6
|
||||
179 0 reject a reject a yes 2 2 13.6
|
||||
179 1 reject a' reject a' yes 2 2 13.6
|
||||
179 2 accept - accept - yes 2 2 13.6
|
||||
164 0 reject a' reject a' yes 3 3 13.7
|
||||
164 1 reject a' reject a' yes 3 3 13.7
|
||||
164 2 reject a reject a yes 3 3 13.7
|
||||
164 3 accept - accept - yes 3 3 13.7
|
||||
162 0 reject a' reject a' yes 1 1 13.7
|
||||
162 1 accept - accept - yes 1 1 13.7
|
||||
178 0 reject a' reject a' yes 1 1 13.9
|
||||
178 1 accept - accept - yes 1 1 13.9
|
||||
181 0 accept - accept - yes 0 0 14.0
|
||||
180 0 reject a' reject a' yes 1 1 14.2
|
||||
180 1 accept - accept - yes 1 1 14.2
|
||||
170 0 reject a reject a yes 6 6 14.3
|
||||
170 1 reject a' reject a' yes 6 6 14.3
|
||||
170 2 reject a' reject a' yes 6 6 14.3
|
||||
170 3 reject a' reject a' yes 6 6 14.3
|
||||
170 4 reject a' reject a' yes 6 6 14.3
|
||||
170 5 reject a' reject a' yes 6 6 14.3
|
||||
170 6 accept - accept - yes 6 6 14.3
|
||||
155 0 reject a' reject a' yes 6 6 14.4
|
||||
155 1 reject a' reject a' yes 6 6 14.4
|
||||
155 2 reject a' reject a' yes 6 6 14.4
|
||||
155 3 reject a reject a yes 6 6 14.4
|
||||
155 4 reject a' reject a' yes 6 6 14.4
|
||||
155 5 reject a reject a yes 6 6 14.4
|
||||
155 6 accept - accept - yes 6 6 14.4
|
||||
188 0 reject a' reject a' yes 1 1 10.5
|
||||
188 1 accept - accept - yes 1 1 10.5
|
||||
182 0 reject a' reject a' yes 2 2 11.6
|
||||
182 1 reject a' reject a' yes 2 2 11.6
|
||||
182 2 accept - accept - yes 2 2 11.6
|
||||
183 0 reject a' reject a' yes 2 2 11.8
|
||||
183 1 reject a' reject a' yes 2 2 11.8
|
||||
183 2 accept - accept - yes 2 2 11.8
|
||||
184 0 reject a' reject a' yes 1 1 11.6
|
||||
184 1 accept - accept - yes 1 1 11.6
|
||||
191 0 accept - accept - yes 0 0 11.3
|
||||
163 0 reject c'' reject c'' yes 2 2 24.2
|
||||
163 1 reject a' reject a' yes 2 2 24.2
|
||||
163 2 accept - accept - yes 2 2 24.2
|
||||
185 0 reject a' reject a' yes 1 1 12.1
|
||||
185 1 accept - accept - yes 1 1 12.1
|
||||
187 0 accept - accept - yes 0 0 12.1
|
||||
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
|
||||
194 0 accept - accept - yes 0 0 11.7
|
||||
172 0 reject c'' reject c'' yes 2 2 24.7
|
||||
172 1 reject a' reject a' yes 2 2 24.7
|
||||
172 2 accept - accept - yes 2 2 24.7
|
||||
196 0 accept - accept - yes 0 0 11.6
|
||||
190 0 reject a' reject a' yes 1 1 12.0
|
||||
190 1 accept - accept - yes 1 1 12.0
|
||||
208 0 reject a reject a yes 4 4 10.8
|
||||
208 1 reject a' reject a' yes 4 4 10.8
|
||||
208 2 reject a' reject a' yes 4 4 10.8
|
||||
208 3 reject a' reject a' yes 4 4 10.8
|
||||
208 4 accept - accept - yes 4 4 10.8
|
||||
192 0 accept - accept - yes 0 0 12.0
|
||||
193 0 reject a' reject a' yes 4 4 12.1
|
||||
193 1 reject b reject b yes 4 4 12.1
|
||||
193 2 reject a' reject a' yes 4 4 12.1
|
||||
193 3 reject a' reject a' yes 4 4 12.1
|
||||
193 4 accept - accept - yes 4 4 12.1
|
||||
200 0 accept - accept - yes 0 0 11.5
|
||||
203 0 reject a' reject a' yes 2 2 11.4
|
||||
203 1 reject a' reject a' yes 2 2 11.4
|
||||
203 2 accept - accept - yes 2 2 11.4
|
||||
205 0 reject a' reject a' yes 2 2 11.4
|
||||
205 1 reject a' reject a' yes 2 2 11.4
|
||||
205 2 accept - accept - yes 2 2 11.4
|
||||
189 0 reject a' reject a' yes 8 8 12.5
|
||||
189 1 reject a' reject a' yes 8 8 12.5
|
||||
189 2 reject a' reject a' yes 8 8 12.5
|
||||
189 3 reject a' reject a' yes 8 8 12.5
|
||||
189 4 reject a' reject a' yes 8 8 12.5
|
||||
189 5 reject a reject a yes 8 8 12.5
|
||||
189 6 reject a' reject a' yes 8 8 12.5
|
||||
189 7 reject a' reject a' yes 8 8 12.5
|
||||
189 8 accept - accept - yes 8 8 12.5
|
||||
186 0 reject a reject a yes 1 1 12.9
|
||||
186 1 accept - accept - yes 1 1 12.9
|
||||
202 0 accept - accept - yes 0 0 11.8
|
||||
195 0 reject a' reject a' yes 3 3 12.3
|
||||
195 1 reject a' reject a' yes 3 3 12.3
|
||||
195 2 reject a reject a yes 3 3 12.3
|
||||
195 3 accept - accept - yes 3 3 12.3
|
||||
197 0 reject a' reject a' yes 1 1 12.2
|
||||
197 1 accept - accept - yes 1 1 12.2
|
||||
211 0 reject a' reject a' yes 3 3 11.2
|
||||
211 1 reject a' reject a' yes 3 3 11.2
|
||||
211 2 reject a' reject a' yes 3 3 11.2
|
||||
211 3 accept - accept - yes 3 3 11.2
|
||||
204 0 reject a' reject a' yes 6 6 12.0
|
||||
204 1 reject b reject b yes 6 6 12.0
|
||||
204 2 reject a' reject a' yes 6 6 12.0
|
||||
204 3 reject a' reject a' yes 6 6 12.0
|
||||
204 4 reject a' reject a' yes 6 6 12.0
|
||||
204 5 reject a' reject a' yes 6 6 12.0
|
||||
204 6 accept - accept - yes 6 6 12.0
|
||||
206 0 reject a' reject a' yes 6 6 12.2
|
||||
206 1 reject a' reject a' yes 6 6 12.2
|
||||
206 2 reject a' reject a' yes 6 6 12.2
|
||||
206 3 reject a' reject a' yes 6 6 12.2
|
||||
206 4 reject a' reject a' yes 6 6 12.2
|
||||
206 5 reject a reject a yes 6 6 12.2
|
||||
206 6 accept - accept - yes 6 6 12.2
|
||||
201 0 reject a' reject a' yes 1 1 12.5
|
||||
201 1 accept - accept - yes 1 1 12.5
|
||||
207 0 reject a reject a yes 2 2 12.3
|
||||
207 1 reject a' reject a' yes 2 2 12.3
|
||||
207 2 accept - accept - yes 2 2 12.3
|
||||
210 0 accept - accept - yes 0 0 12.5
|
||||
215 0 reject a' reject a' yes 2 2 10.8
|
||||
215 1 reject a' reject a' yes 2 2 10.8
|
||||
215 2 accept - accept - yes 2 2 10.8
|
||||
213 0 accept - accept - yes 0 0 11.7
|
||||
198 0 reject c'' reject c'' yes 3 3 22.5
|
||||
198 1 reject a' reject a' yes 3 3 22.5
|
||||
198 2 reject a reject a yes 3 3 22.5
|
||||
198 3 accept - accept - yes 3 3 22.5
|
||||
216 0 reject a' reject a' yes 7 7 11.9
|
||||
216 1 reject a' reject a' yes 7 7 11.9
|
||||
216 2 reject a' reject a' yes 7 7 11.9
|
||||
216 3 reject a' reject a' yes 7 7 11.9
|
||||
216 4 reject a' reject a' yes 7 7 11.9
|
||||
216 5 reject a reject a yes 7 7 11.9
|
||||
216 6 reject a' reject a' yes 7 7 11.9
|
||||
216 7 accept - accept - yes 7 7 11.9
|
||||
212 0 accept - accept - yes 0 0 13.1
|
||||
228 0 reject a' reject a' yes 9 9 11.3
|
||||
228 1 reject a' reject a' yes 9 9 11.3
|
||||
228 2 reject a' reject a' yes 9 9 11.3
|
||||
228 3 reject a' reject a' yes 9 9 11.3
|
||||
228 4 reject a reject a yes 9 9 11.3
|
||||
228 5 reject a' reject a' yes 9 9 11.3
|
||||
228 6 reject a' reject a' yes 9 9 11.3
|
||||
228 7 reject a' reject a' yes 9 9 11.3
|
||||
228 8 reject a' reject a' yes 9 9 11.3
|
||||
228 9 accept - accept - yes 9 9 11.3
|
||||
225 0 accept - accept - yes 0 0 11.4
|
||||
218 0 reject a' reject a' yes 2 2 11.8
|
||||
218 1 reject a' reject a' yes 2 2 11.8
|
||||
218 2 accept - accept - yes 2 2 11.8
|
||||
217 0 reject a' reject a' yes 2 2 12.1
|
||||
217 1 reject a' reject a' yes 2 2 12.1
|
||||
217 2 accept - accept - yes 2 2 12.1
|
||||
226 0 reject a' reject a' yes 1 1 11.5
|
||||
226 1 accept - accept - yes 1 1 11.5
|
||||
220 0 accept - accept - yes 0 0 11.9
|
||||
232 0 accept - accept - yes 0 0 11.3
|
||||
227 0 reject a' reject a' yes 3 3 11.8
|
||||
227 1 reject a' reject a' yes 3 3 11.8
|
||||
227 2 reject a' reject a' yes 3 3 11.8
|
||||
227 3 accept - accept - yes 3 3 11.8
|
||||
219 0 accept - accept - yes 0 0 12.3
|
||||
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
|
||||
214 0 accept - accept - yes 0 0 13.1
|
||||
234 0 reject a' reject a' yes 2 2 11.6
|
||||
234 1 reject a' reject a' yes 2 2 11.6
|
||||
234 2 accept - accept - yes 2 2 11.6
|
||||
221 0 accept - accept - yes 0 0 12.5
|
||||
235 0 reject b reject b yes 3 3 11.9
|
||||
235 1 reject a' reject a' yes 3 3 11.9
|
||||
235 2 reject a' reject a' yes 3 3 11.9
|
||||
235 3 accept - accept - yes 3 3 11.9
|
||||
237 0 accept - accept - yes 0 0 11.8
|
||||
222 0 accept - accept - yes 0 0 12.8
|
||||
230 0 reject a' reject a' yes 8 8 12.5
|
||||
230 1 reject a' reject a' yes 8 8 12.5
|
||||
230 2 reject a' reject a' yes 8 8 12.5
|
||||
230 3 reject a' reject a' yes 8 8 12.5
|
||||
230 4 reject a' reject a' yes 8 8 12.5
|
||||
230 5 reject a reject a yes 8 8 12.5
|
||||
230 6 reject a' reject a' yes 8 8 12.5
|
||||
230 7 reject a' reject a' yes 8 8 12.5
|
||||
230 8 accept - accept - yes 8 8 12.5
|
||||
240 0 reject a' reject a' yes 4 4 11.3
|
||||
240 1 reject a' reject a' yes 4 4 11.3
|
||||
240 2 reject a reject a yes 4 4 11.3
|
||||
240 3 reject a' reject a' yes 4 4 11.3
|
||||
240 4 accept - accept - yes 4 4 11.3
|
||||
233 0 reject a' reject a' yes 2 2 12.5
|
||||
233 1 reject a' reject a' yes 2 2 12.5
|
||||
233 2 accept - accept - yes 2 2 12.5
|
||||
224 0 reject a' reject a' yes 19 19 13.1
|
||||
224 1 reject b reject b yes 19 19 13.1
|
||||
224 2 reject a' reject a' yes 19 19 13.1
|
||||
224 3 reject a' reject a' yes 19 19 13.1
|
||||
224 4 reject a' reject a' yes 19 19 13.1
|
||||
224 5 reject a' reject a' yes 19 19 13.1
|
||||
224 6 reject a' reject a' yes 19 19 13.1
|
||||
224 7 reject a' reject a' yes 19 19 13.1
|
||||
224 8 reject a' reject a' yes 19 19 13.1
|
||||
224 9 reject a reject a yes 19 19 13.1
|
||||
224 10 reject a' reject a' yes 19 19 13.1
|
||||
224 11 reject a' reject a' yes 19 19 13.1
|
||||
224 12 reject a' reject a' yes 19 19 13.1
|
||||
224 13 reject a reject a yes 19 19 13.1
|
||||
224 14 reject a' reject a' yes 19 19 13.1
|
||||
224 15 reject a' reject a' yes 19 19 13.1
|
||||
224 16 reject a' reject a' yes 19 19 13.1
|
||||
224 17 reject a' reject a' yes 19 19 13.1
|
||||
224 18 reject a' reject a' yes 19 19 13.1
|
||||
224 19 accept - accept - yes 19 19 13.1
|
||||
239 0 accept - accept - yes 0 0 12.0
|
||||
209 0 reject a' reject a' yes 3 3 24.1
|
||||
209 1 reject a' reject a' yes 3 3 24.1
|
||||
209 2 reject c'' reject c'' yes 3 3 24.1
|
||||
209 3 accept - accept - yes 3 3 24.1
|
||||
223 0 reject a reject a yes 1 1 13.7
|
||||
223 1 accept - accept - yes 1 1 13.7
|
||||
238 0 accept - accept - yes 0 0 12.8
|
||||
236 0 reject a' reject a' yes 2 2 13.4
|
||||
236 1 reject a' reject a' yes 2 2 13.4
|
||||
236 2 accept - accept - yes 2 2 13.4
|
||||
231 0 reject a' reject a' yes 2 2 14.5
|
||||
231 1 reject a' reject a' yes 2 2 14.5
|
||||
231 2 accept - accept - yes 2 2 14.5
|
||||
241 0 reject a' reject a' yes 4 4 13.2
|
||||
241 1 reject a reject a yes 4 4 13.2
|
||||
241 2 reject a reject a yes 4 4 13.2
|
||||
241 3 reject a' reject a' yes 4 4 13.2
|
||||
241 4 accept - accept - yes 4 4 13.2
|
||||
|
Can't render this file because it has a wrong number of fields in line 5.
|
|
|
@ -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 also PASS at 2^24: 0.9998x to 1.0002x; seed 620 at 2^24 running) |
|
||||
| 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: 3,411 of 3,411 attempt verdicts of 1,056 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 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)
|
||||
|
|
@ -225,7 +225,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) is the 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. Parts 1 and 2 (seeds 0 to 791 before the kill, then 1,000 to 1,199 through the lease at 21:3x BST, logs 94-verdicts-faithful-part1.tsv and part2.tsv): 3,411 attempt verdicts over 1,056 seeds, 3,411 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,947, (a) 269, (b) 90, (c'') 31, (c) saturated 9, constant bit 8, distinct sum 1, accept 1,056); the chosen attempt is the same on all 1,056 seeds. (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) is the 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. 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)
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue