adv-accept-3: last-resort FINDING (223 of 2,500 fail the real rule, 209 by (a)); verdicts 3,411 of 3,411; the 0.995 seeds clean live
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs
parent
2f0d6a2282
commit
9c09024aeb
4 changed files with 3718 additions and 5 deletions
|
|
@ -0,0 +1,878 @@
|
|||
lease: 0 of 16 pool cores free (88 leased); waiting
|
||||
Terminated
|
||||
lease: 0 of 16 pool cores free (88 leased); waiting
|
||||
lease: 0 of 16 pool cores free (88 leased); waiting
|
||||
lease: 0 of 16 pool cores free (88 leased); waiting
|
||||
lease: holding 17 pool cores (21,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60, waited 2963 s, class adv): adv-accept-3 94-adv-accept-3-verdicts-faithful 1000
|
||||
# adv3 verdicts 2026-10-07T20:32:33Z variant faithful seeds 1000..1200 (internal adversarial pass, not an independent review)
|
||||
seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs
|
||||
1007 0 reject a' reject a' yes 2 2 7.2
|
||||
1007 1 reject a' reject a' yes 2 2 7.2
|
||||
1007 2 accept - accept - yes 2 2 7.2
|
||||
1016 0 reject a reject a yes 1 1 7.2
|
||||
1016 1 accept - accept - yes 1 1 7.2
|
||||
1009 0 reject a' reject a' yes 3 3 7.3
|
||||
1009 1 reject a' reject a' yes 3 3 7.3
|
||||
1009 2 reject a' reject a' yes 3 3 7.3
|
||||
1009 3 accept - accept - yes 3 3 7.3
|
||||
1011 0 reject a' reject a' yes 6 6 7.7
|
||||
1011 1 reject a' reject a' yes 6 6 7.7
|
||||
1011 2 reject a' reject a' yes 6 6 7.7
|
||||
1011 3 reject a' reject a' yes 6 6 7.7
|
||||
1011 4 reject a reject a yes 6 6 7.7
|
||||
1011 5 reject a' reject a' yes 6 6 7.7
|
||||
1011 6 accept - accept - yes 6 6 7.7
|
||||
1010 0 accept - accept - yes 0 0 7.7
|
||||
1001 0 reject a' reject a' yes 3 3 8.0
|
||||
1001 1 reject a' reject a' yes 3 3 8.0
|
||||
1001 2 reject a' reject a' yes 3 3 8.0
|
||||
1001 3 accept - accept - yes 3 3 8.0
|
||||
1005 0 reject a' reject a' yes 3 3 8.0
|
||||
1005 1 reject a reject a yes 3 3 8.0
|
||||
1005 2 reject a' reject a' yes 3 3 8.0
|
||||
1005 3 accept - accept - yes 3 3 8.0
|
||||
1003 0 reject a' reject a' yes 2 2 8.2
|
||||
1003 1 reject a reject a yes 2 2 8.2
|
||||
1003 2 accept - accept - yes 2 2 8.2
|
||||
1004 0 reject a' reject a' yes 2 2 8.2
|
||||
1004 1 reject a' reject a' yes 2 2 8.2
|
||||
1004 2 accept - accept - yes 2 2 8.2
|
||||
1008 0 accept - accept - yes 0 0 8.6
|
||||
1000 0 reject a' reject a' yes 2 2 8.9
|
||||
1000 1 reject a' reject a' yes 2 2 8.9
|
||||
1000 2 accept - accept - yes 2 2 8.9
|
||||
1012 0 reject a' reject a' yes 4 4 9.4
|
||||
1012 1 reject a' reject a' yes 4 4 9.4
|
||||
1012 2 reject a' reject a' yes 4 4 9.4
|
||||
1012 3 reject a' reject a' yes 4 4 9.4
|
||||
1012 4 accept - accept - yes 4 4 9.4
|
||||
1013 0 accept - accept - yes 0 0 9.7
|
||||
1014 0 reject a' reject a' yes 1 1 11.4
|
||||
1014 1 accept - accept - yes 1 1 11.4
|
||||
1002 0 reject a' reject a' yes 2 2 11.5
|
||||
1002 1 reject a reject a yes 2 2 11.5
|
||||
1002 2 accept - accept - yes 2 2 11.5
|
||||
1006 0 accept - accept - yes 0 0 11.8
|
||||
1015 0 reject a' reject a' yes 4 4 11.9
|
||||
1015 1 reject a' reject a' yes 4 4 11.9
|
||||
1015 2 reject a' reject a' yes 4 4 11.9
|
||||
1015 3 reject a' reject a' yes 4 4 11.9
|
||||
1015 4 accept - accept - yes 4 4 11.9
|
||||
1017 0 reject a' reject a' yes 1 1 7.1
|
||||
1017 1 accept - accept - yes 1 1 7.1
|
||||
1019 0 accept - accept - yes 0 0 7.5
|
||||
1018 0 accept - accept - yes 0 0 7.8
|
||||
1021 0 reject a' reject a' yes 5 5 7.5
|
||||
1021 1 reject a' reject a' yes 5 5 7.5
|
||||
1021 2 reject a' reject a' yes 5 5 7.5
|
||||
1021 3 reject a' reject a' yes 5 5 7.5
|
||||
1021 4 reject a reject a yes 5 5 7.5
|
||||
1021 5 accept - accept - yes 5 5 7.5
|
||||
1020 0 accept - accept - yes 0 0 8.0
|
||||
1024 0 accept - accept - yes 0 0 7.9
|
||||
1023 0 reject a' reject a' yes 5 5 8.2
|
||||
1023 1 reject a' reject a' yes 5 5 8.2
|
||||
1023 2 reject a' reject a' yes 5 5 8.2
|
||||
1023 3 reject b reject b yes 5 5 8.2
|
||||
1023 4 reject a' reject a' yes 5 5 8.2
|
||||
1023 5 accept - accept - yes 5 5 8.2
|
||||
1022 0 accept - accept - yes 0 0 8.2
|
||||
1027 0 reject a reject a yes 1 1 8.7
|
||||
1027 1 accept - accept - yes 1 1 8.7
|
||||
1029 0 accept - accept - yes 0 0 8.1
|
||||
1026 0 reject a' reject a' yes 1 1 9.4
|
||||
1026 1 accept - accept - yes 1 1 9.4
|
||||
1028 0 reject a' reject a' yes 7 7 10.2
|
||||
1028 1 reject a' reject a' yes 7 7 10.2
|
||||
1028 2 reject a' reject a' yes 7 7 10.2
|
||||
1028 3 reject a' reject a' yes 7 7 10.2
|
||||
1028 4 reject a' reject a' yes 7 7 10.2
|
||||
1028 5 reject a' reject a' yes 7 7 10.2
|
||||
1028 6 reject a' reject a' yes 7 7 10.2
|
||||
1028 7 accept - accept - yes 7 7 10.2
|
||||
1031 0 reject a' reject a' yes 1 1 10.4
|
||||
1031 1 accept - accept - yes 1 1 10.4
|
||||
1035 0 accept - accept - yes 0 0 7.4
|
||||
1033 0 reject a' reject a' yes 4 4 10.4
|
||||
1033 1 reject a' reject a' yes 4 4 10.4
|
||||
1033 2 reject a' reject a' yes 4 4 10.4
|
||||
1033 3 reject a' reject a' yes 4 4 10.4
|
||||
1033 4 accept - accept - yes 4 4 10.4
|
||||
1034 0 reject a' reject a' yes 2 2 8.1
|
||||
1034 1 reject a' reject a' yes 2 2 8.1
|
||||
1034 2 accept - accept - yes 2 2 8.1
|
||||
1036 0 reject a' reject a' yes 1 1 7.8
|
||||
1036 1 accept - accept - yes 1 1 7.8
|
||||
1025 0 reject a' reject a' yes 3 3 14.9
|
||||
1025 1 reject c'' reject c'' yes 3 3 14.9
|
||||
1025 2 reject a' reject a' yes 3 3 14.9
|
||||
1025 3 accept - accept - yes 3 3 14.9
|
||||
1037 0 reject a' reject a' yes 2 2 7.9
|
||||
1037 1 reject a' reject a' yes 2 2 7.9
|
||||
1037 2 accept - accept - yes 2 2 7.9
|
||||
1032 0 accept - accept - yes 0 0 11.5
|
||||
1030 0 accept - accept - yes 0 0 12.0
|
||||
1038 0 reject a' reject a' yes 2 2 8.0
|
||||
1038 1 reject a' reject a' yes 2 2 8.0
|
||||
1038 2 accept - accept - yes 2 2 8.0
|
||||
1039 0 reject a' reject a' yes 1 1 8.5
|
||||
1039 1 accept - accept - yes 1 1 8.5
|
||||
1040 0 reject a' reject a' yes 2 2 8.4
|
||||
1040 1 reject a' reject a' yes 2 2 8.4
|
||||
1040 2 accept - accept - yes 2 2 8.4
|
||||
1041 0 reject a reject a yes 1 1 9.4
|
||||
1041 1 accept - accept - yes 1 1 9.4
|
||||
1043 0 reject a' reject a' yes 2 2 8.0
|
||||
1043 1 reject a' reject a' yes 2 2 8.0
|
||||
1043 2 accept - accept - yes 2 2 8.0
|
||||
1044 0 reject a' reject a' yes 1 1 8.7
|
||||
1044 1 accept - accept - yes 1 1 8.7
|
||||
1042 0 reject a' reject a' yes 4 4 10.0
|
||||
1042 1 reject a' reject a' yes 4 4 10.0
|
||||
1042 2 reject a' reject a' yes 4 4 10.0
|
||||
1042 3 reject a' reject a' yes 4 4 10.0
|
||||
1042 4 accept - accept - yes 4 4 10.0
|
||||
1046 0 accept - accept - yes 0 0 8.0
|
||||
1047 0 reject a' reject a' yes 4 4 8.0
|
||||
1047 1 reject a' reject a' yes 4 4 8.0
|
||||
1047 2 reject a' reject a' yes 4 4 8.0
|
||||
1047 3 reject a' reject a' yes 4 4 8.0
|
||||
1047 4 accept - accept - yes 4 4 8.0
|
||||
1049 0 reject a reject a yes 4 4 8.0
|
||||
1049 1 reject a' reject a' yes 4 4 8.0
|
||||
1049 2 reject a' reject a' yes 4 4 8.0
|
||||
1049 3 reject a' reject a' yes 4 4 8.0
|
||||
1049 4 accept - accept - yes 4 4 8.0
|
||||
1051 0 reject a reject a yes 1 1 7.9
|
||||
1051 1 accept - accept - yes 1 1 7.9
|
||||
1052 0 reject a' reject a' yes 3 3 8.1
|
||||
1052 1 reject a reject a yes 3 3 8.1
|
||||
1052 2 reject a reject a yes 3 3 8.1
|
||||
1052 3 accept - accept - yes 3 3 8.1
|
||||
1055 0 reject a' reject a' yes 5 5 7.7
|
||||
1055 1 reject a' reject a' yes 5 5 7.7
|
||||
1055 2 reject a' reject a' yes 5 5 7.7
|
||||
1055 3 reject a' reject a' yes 5 5 7.7
|
||||
1055 4 reject a' reject a' yes 5 5 7.7
|
||||
1055 5 accept - accept - yes 5 5 7.7
|
||||
1045 0 reject a' reject a' yes 2 2 11.9
|
||||
1045 1 reject a' reject a' yes 2 2 11.9
|
||||
1045 2 accept - accept - yes 2 2 11.9
|
||||
1056 0 reject a' reject a' yes 3 3 7.9
|
||||
1056 1 reject a' reject a' yes 3 3 7.9
|
||||
1056 2 reject a' reject a' yes 3 3 7.9
|
||||
1056 3 accept - accept - yes 3 3 7.9
|
||||
1057 0 reject a' reject a' yes 1 1 7.9
|
||||
1057 1 accept - accept - yes 1 1 7.9
|
||||
1050 0 accept - accept - yes 0 0 9.8
|
||||
1048 0 accept - accept - yes 0 0 11.0
|
||||
1058 0 accept - accept - yes 0 0 8.6
|
||||
1059 0 reject a' reject a' yes 1 1 8.6
|
||||
1059 1 accept - accept - yes 1 1 8.6
|
||||
1053 0 accept - accept - yes 0 0 12.0
|
||||
1054 0 reject a' reject a' yes 5 5 12.0
|
||||
1054 1 reject a' reject a' yes 5 5 12.0
|
||||
1054 2 reject a' reject a' yes 5 5 12.0
|
||||
1054 3 reject a' reject a' yes 5 5 12.0
|
||||
1054 4 reject a' reject a' yes 5 5 12.0
|
||||
1054 5 accept - accept - yes 5 5 12.0
|
||||
1060 0 reject a' reject a' yes 5 5 9.2
|
||||
1060 1 reject a' reject a' yes 5 5 9.2
|
||||
1060 2 reject a' reject a' yes 5 5 9.2
|
||||
1060 3 reject a' reject a' yes 5 5 9.2
|
||||
1060 4 reject a' reject a' yes 5 5 9.2
|
||||
1060 5 accept - accept - yes 5 5 9.2
|
||||
1061 0 reject a' reject a' yes 1 1 9.7
|
||||
1061 1 accept - accept - yes 1 1 9.7
|
||||
1062 0 accept - accept - yes 0 0 9.1
|
||||
1063 0 reject a' reject a' yes 1 1 9.1
|
||||
1063 1 accept - accept - yes 1 1 9.1
|
||||
1064 0 reject a' reject a' yes 6 6 8.9
|
||||
1064 1 reject a' reject a' yes 6 6 8.9
|
||||
1064 2 reject a' reject a' yes 6 6 8.9
|
||||
1064 3 reject a' reject a' yes 6 6 8.9
|
||||
1064 4 reject a' reject a' yes 6 6 8.9
|
||||
1064 5 reject a' reject a' yes 6 6 8.9
|
||||
1064 6 accept - accept - yes 6 6 8.9
|
||||
1065 0 reject a' reject a' yes 2 2 8.9
|
||||
1065 1 reject a' reject a' yes 2 2 8.9
|
||||
1065 2 accept - accept - yes 2 2 8.9
|
||||
1066 0 reject a' reject a' yes 1 1 9.3
|
||||
1066 1 accept - accept - yes 1 1 9.3
|
||||
1067 0 reject a' reject a' yes 4 4 9.3
|
||||
1067 1 reject a' reject a' yes 4 4 9.3
|
||||
1067 2 reject a' reject a' yes 4 4 9.3
|
||||
1067 3 reject a' reject a' yes 4 4 9.3
|
||||
1067 4 accept - accept - yes 4 4 9.3
|
||||
1070 0 reject a' reject a' yes 2 2 8.4
|
||||
1070 1 reject a' reject a' yes 2 2 8.4
|
||||
1070 2 accept - accept - yes 2 2 8.4
|
||||
1073 0 reject a reject a yes 3 3 7.7
|
||||
1073 1 reject a' reject a' yes 3 3 7.7
|
||||
1073 2 reject a' reject a' yes 3 3 7.7
|
||||
1073 3 accept - accept - yes 3 3 7.7
|
||||
1069 0 reject a' reject a' yes 1 1 9.8
|
||||
1069 1 accept - accept - yes 1 1 9.8
|
||||
1071 0 reject a' reject a' yes 2 2 9.8
|
||||
1071 1 reject a' reject a' yes 2 2 9.8
|
||||
1071 2 accept - accept - yes 2 2 9.8
|
||||
1068 0 reject a' reject a' yes 3 3 11.4
|
||||
1068 1 reject a' reject a' yes 3 3 11.4
|
||||
1068 2 reject a' reject a' yes 3 3 11.4
|
||||
1068 3 accept - accept - yes 3 3 11.4
|
||||
1074 0 accept - accept - yes 0 0 8.6
|
||||
1072 0 reject a reject a yes 1 1 11.1
|
||||
1072 1 accept - accept - yes 1 1 11.1
|
||||
1075 0 reject a' reject a' yes 1 1 9.4
|
||||
1075 1 accept - accept - yes 1 1 9.4
|
||||
1076 0 reject a' reject a' yes 3 3 11.5
|
||||
1076 1 reject a' reject a' yes 3 3 11.5
|
||||
1076 2 reject a' reject a' yes 3 3 11.5
|
||||
1076 3 accept - accept - yes 3 3 11.5
|
||||
1079 0 reject a' reject a' yes 1 1 8.6
|
||||
1079 1 accept - accept - yes 1 1 8.6
|
||||
1080 0 accept - accept - yes 0 0 8.7
|
||||
1082 0 accept - accept - yes 0 0 8.3
|
||||
1081 0 reject a reject a yes 3 3 9.0
|
||||
1081 1 reject a' reject a' yes 3 3 9.0
|
||||
1081 2 reject c-constbit reject c-constbit yes 3 3 9.0
|
||||
1081 3 accept - accept - yes 3 3 9.0
|
||||
1084 0 accept - accept - yes 0 0 8.3
|
||||
1085 0 accept - accept - yes 0 0 8.2
|
||||
1078 0 reject a' reject a' yes 11 11 12.1
|
||||
1078 1 reject a' reject a' yes 11 11 12.1
|
||||
1078 2 reject a' reject a' yes 11 11 12.1
|
||||
1078 3 reject a' reject a' yes 11 11 12.1
|
||||
1078 4 reject a' reject a' yes 11 11 12.1
|
||||
1078 5 reject a' reject a' yes 11 11 12.1
|
||||
1078 6 reject a' reject a' yes 11 11 12.1
|
||||
1078 7 reject a' reject a' yes 11 11 12.1
|
||||
1078 8 reject a' reject a' yes 11 11 12.1
|
||||
1078 9 reject a reject a yes 11 11 12.1
|
||||
1078 10 reject a' reject a' yes 11 11 12.1
|
||||
1078 11 accept - accept - yes 11 11 12.1
|
||||
1083 0 accept - accept - yes 0 0 9.6
|
||||
1086 0 reject a' reject a' yes 2 2 9.2
|
||||
1086 1 reject a' reject a' yes 2 2 9.2
|
||||
1086 2 accept - accept - yes 2 2 9.2
|
||||
1088 0 accept - accept - yes 0 0 8.9
|
||||
1090 0 accept - accept - yes 0 0 9.0
|
||||
1087 0 accept - accept - yes 0 0 10.0
|
||||
1092 0 accept - accept - yes 0 0 7.7
|
||||
1089 0 reject a' reject a' yes 4 4 10.4
|
||||
1089 1 reject a' reject a' yes 4 4 10.4
|
||||
1089 2 reject a' reject a' yes 4 4 10.4
|
||||
1089 3 reject a' reject a' yes 4 4 10.4
|
||||
1089 4 accept - accept - yes 4 4 10.4
|
||||
1077 0 reject a' reject a' yes 6 6 17.7
|
||||
1077 1 reject b reject b yes 6 6 17.7
|
||||
1077 2 reject a' reject a' yes 6 6 17.7
|
||||
1077 3 reject a' reject a' yes 6 6 17.7
|
||||
1077 4 reject c'' reject c'' yes 6 6 17.7
|
||||
1077 5 reject a' reject a' yes 6 6 17.7
|
||||
1077 6 accept - accept - yes 6 6 17.7
|
||||
1096 0 reject a' reject a' yes 3 3 7.0
|
||||
1096 1 reject a' reject a' yes 3 3 7.0
|
||||
1096 2 reject b reject b yes 3 3 7.0
|
||||
1096 3 accept - accept - yes 3 3 7.0
|
||||
1091 0 reject a' reject a' yes 3 3 10.9
|
||||
1091 1 reject a' reject a' yes 3 3 10.9
|
||||
1091 2 reject a' reject a' yes 3 3 10.9
|
||||
1091 3 accept - accept - yes 3 3 10.9
|
||||
1094 0 reject a reject a yes 3 3 8.1
|
||||
1094 1 reject a' reject a' yes 3 3 8.1
|
||||
1094 2 reject a' reject a' yes 3 3 8.1
|
||||
1094 3 accept - accept - yes 3 3 8.1
|
||||
1095 0 accept - accept - yes 0 0 7.8
|
||||
1097 0 accept - accept - yes 0 0 8.2
|
||||
1099 0 accept - accept - yes 0 0 7.5
|
||||
1093 0 accept - accept - yes 0 0 10.0
|
||||
1101 0 reject a reject a yes 3 3 7.4
|
||||
1101 1 reject a' reject a' yes 3 3 7.4
|
||||
1101 2 reject a' reject a' yes 3 3 7.4
|
||||
1101 3 accept - accept - yes 3 3 7.4
|
||||
1103 0 reject a' reject a' yes 3 3 6.7
|
||||
1103 1 reject a' reject a' yes 3 3 6.7
|
||||
1103 2 reject a' reject a' yes 3 3 6.7
|
||||
1103 3 accept - accept - yes 3 3 6.7
|
||||
1100 0 reject a' reject a' yes 1 1 9.0
|
||||
1100 1 accept - accept - yes 1 1 9.0
|
||||
1106 0 accept - accept - yes 0 0 6.8
|
||||
1102 0 reject a' reject a' yes 1 1 8.7
|
||||
1102 1 accept - accept - yes 1 1 8.7
|
||||
1105 0 reject a' reject a' yes 1 1 7.8
|
||||
1105 1 accept - accept - yes 1 1 7.8
|
||||
1108 0 accept - accept - yes 0 0 6.4
|
||||
1110 0 reject a' reject a' yes 1 1 6.6
|
||||
1110 1 accept - accept - yes 1 1 6.6
|
||||
1109 0 reject a' reject a' yes 5 5 6.8
|
||||
1109 1 reject a' reject a' yes 5 5 6.8
|
||||
1109 2 reject a reject a yes 5 5 6.8
|
||||
1109 3 reject a' reject a' yes 5 5 6.8
|
||||
1109 4 reject a' reject a' yes 5 5 6.8
|
||||
1109 5 accept - accept - yes 5 5 6.8
|
||||
1111 0 accept - accept - yes 0 0 6.8
|
||||
1098 0 reject a' reject a' yes 4 4 13.6
|
||||
1098 1 reject a' reject a' yes 4 4 13.6
|
||||
1098 2 reject a' reject a' yes 4 4 13.6
|
||||
1098 3 reject c'' reject c'' yes 4 4 13.6
|
||||
1098 4 accept - accept - yes 4 4 13.6
|
||||
1114 0 accept - accept - yes 0 0 6.5
|
||||
1112 0 reject a' reject a' yes 18 18 7.4
|
||||
1112 1 reject a' reject a' yes 18 18 7.4
|
||||
1112 2 reject a reject a yes 18 18 7.4
|
||||
1112 3 reject a' reject a' yes 18 18 7.4
|
||||
1112 4 reject a reject a yes 18 18 7.4
|
||||
1112 5 reject a' reject a' yes 18 18 7.4
|
||||
1112 6 reject a reject a yes 18 18 7.4
|
||||
1112 7 reject a' reject a' yes 18 18 7.4
|
||||
1112 8 reject a' reject a' yes 18 18 7.4
|
||||
1112 9 reject a' reject a' yes 18 18 7.4
|
||||
1112 10 reject a' reject a' yes 18 18 7.4
|
||||
1112 11 reject a' reject a' yes 18 18 7.4
|
||||
1112 12 reject a' reject a' yes 18 18 7.4
|
||||
1112 13 reject b reject b yes 18 18 7.4
|
||||
1112 14 reject a' reject a' yes 18 18 7.4
|
||||
1112 15 reject a' reject a' yes 18 18 7.4
|
||||
1112 16 reject a reject a yes 18 18 7.4
|
||||
1112 17 reject a' reject a' yes 18 18 7.4
|
||||
1112 18 accept - accept - yes 18 18 7.4
|
||||
1113 0 reject a' reject a' yes 7 7 7.0
|
||||
1113 1 reject a' reject a' yes 7 7 7.0
|
||||
1113 2 reject a' reject a' yes 7 7 7.0
|
||||
1113 3 reject a' reject a' yes 7 7 7.0
|
||||
1113 4 reject a' reject a' yes 7 7 7.0
|
||||
1113 5 reject a' reject a' yes 7 7 7.0
|
||||
1113 6 reject a' reject a' yes 7 7 7.0
|
||||
1113 7 accept - accept - yes 7 7 7.0
|
||||
1115 0 reject a' reject a' yes 3 3 7.6
|
||||
1115 1 reject a' reject a' yes 3 3 7.6
|
||||
1115 2 reject a' reject a' yes 3 3 7.6
|
||||
1115 3 accept - accept - yes 3 3 7.6
|
||||
1116 0 accept - accept - yes 0 0 6.9
|
||||
1117 0 accept - accept - yes 0 0 6.6
|
||||
1119 0 accept - accept - yes 0 0 6.3
|
||||
1118 0 reject a reject a yes 2 2 7.2
|
||||
1118 1 reject a' reject a' yes 2 2 7.2
|
||||
1118 2 accept - accept - yes 2 2 7.2
|
||||
1107 0 reject c'' reject c'' yes 5 5 12.4
|
||||
1107 1 reject a' reject a' yes 5 5 12.4
|
||||
1107 2 reject a' reject a' yes 5 5 12.4
|
||||
1107 3 reject a' reject a' yes 5 5 12.4
|
||||
1107 4 reject a reject a yes 5 5 12.4
|
||||
1107 5 accept - accept - yes 5 5 12.4
|
||||
1104 0 reject c'' reject c'' yes 2 2 14.3
|
||||
1104 1 reject a' reject a' yes 2 2 14.3
|
||||
1104 2 accept - accept - yes 2 2 14.3
|
||||
1121 0 accept - accept - yes 0 0 7.5
|
||||
1122 0 reject b reject b yes 2 2 7.6
|
||||
1122 1 reject a' reject a' yes 2 2 7.6
|
||||
1122 2 accept - accept - yes 2 2 7.6
|
||||
1124 0 accept - accept - yes 0 0 6.2
|
||||
1126 0 reject a reject a yes 1 1 6.0
|
||||
1126 1 accept - accept - yes 1 1 6.0
|
||||
1120 0 accept - accept - yes 0 0 8.9
|
||||
1123 0 accept - accept - yes 0 0 7.1
|
||||
1125 0 reject a' reject a' yes 1 1 6.9
|
||||
1125 1 accept - accept - yes 1 1 6.9
|
||||
1127 0 accept - accept - yes 0 0 6.5
|
||||
1128 0 reject a reject a yes 1 1 6.4
|
||||
1128 1 accept - accept - yes 1 1 6.4
|
||||
1129 0 accept - accept - yes 0 0 6.8
|
||||
1131 0 accept - accept - yes 0 0 6.2
|
||||
1132 0 accept - accept - yes 0 0 6.4
|
||||
1130 0 accept - accept - yes 0 0 7.4
|
||||
1133 0 reject a reject a yes 9 9 6.4
|
||||
1133 1 reject a' reject a' yes 9 9 6.4
|
||||
1133 2 reject a' reject a' yes 9 9 6.4
|
||||
1133 3 reject a' reject a' yes 9 9 6.4
|
||||
1133 4 reject a' reject a' yes 9 9 6.4
|
||||
1133 5 reject a' reject a' yes 9 9 6.4
|
||||
1133 6 reject a' reject a' yes 9 9 6.4
|
||||
1133 7 reject a' reject a' yes 9 9 6.4
|
||||
1133 8 reject a' reject a' yes 9 9 6.4
|
||||
1133 9 accept - accept - yes 9 9 6.4
|
||||
1135 0 reject a reject a yes 6 6 6.5
|
||||
1135 1 reject a' reject a' yes 6 6 6.5
|
||||
1135 2 reject a' reject a' yes 6 6 6.5
|
||||
1135 3 reject a' reject a' yes 6 6 6.5
|
||||
1135 4 reject a' reject a' yes 6 6 6.5
|
||||
1135 5 reject a' reject a' yes 6 6 6.5
|
||||
1135 6 accept - accept - yes 6 6 6.5
|
||||
1134 0 accept - accept - yes 0 0 7.1
|
||||
1136 0 reject a' reject a' yes 1 1 7.5
|
||||
1136 1 accept - accept - yes 1 1 7.5
|
||||
1139 0 reject a' reject a' yes 1 1 6.3
|
||||
1139 1 accept - accept - yes 1 1 6.3
|
||||
1138 0 accept - accept - yes 0 0 7.0
|
||||
1140 0 accept - accept - yes 0 0 6.7
|
||||
1137 0 accept - accept - yes 0 0 8.3
|
||||
1142 0 accept - accept - yes 0 0 7.0
|
||||
1144 0 accept - accept - yes 0 0 6.7
|
||||
1141 0 reject a' reject a' yes 8 8 7.8
|
||||
1141 1 reject a' reject a' yes 8 8 7.8
|
||||
1141 2 reject a' reject a' yes 8 8 7.8
|
||||
1141 3 reject a' reject a' yes 8 8 7.8
|
||||
1141 4 reject a' reject a' yes 8 8 7.8
|
||||
1141 5 reject a' reject a' yes 8 8 7.8
|
||||
1141 6 reject a reject a yes 8 8 7.8
|
||||
1141 7 reject a' reject a' yes 8 8 7.8
|
||||
1141 8 accept - accept - yes 8 8 7.8
|
||||
1143 0 accept - accept - yes 0 0 7.4
|
||||
1145 0 reject a' reject a' yes 8 8 7.3
|
||||
1145 1 reject b reject b yes 8 8 7.3
|
||||
1145 2 reject a' reject a' yes 8 8 7.3
|
||||
1145 3 reject a' reject a' yes 8 8 7.3
|
||||
1145 4 reject a' reject a' yes 8 8 7.3
|
||||
1145 5 reject a' reject a' yes 8 8 7.3
|
||||
1145 6 reject a' reject a' yes 8 8 7.3
|
||||
1145 7 reject a' reject a' yes 8 8 7.3
|
||||
1145 8 accept - accept - yes 8 8 7.3
|
||||
1146 0 reject a' reject a' yes 3 3 6.8
|
||||
1146 1 reject a' reject a' yes 3 3 6.8
|
||||
1146 2 reject a' reject a' yes 3 3 6.8
|
||||
1146 3 accept - accept - yes 3 3 6.8
|
||||
1147 0 accept - accept - yes 0 0 7.2
|
||||
1148 0 reject a' reject a' yes 1 1 7.5
|
||||
1148 1 accept - accept - yes 1 1 7.5
|
||||
1151 0 accept - accept - yes 0 0 6.4
|
||||
1150 0 reject a' reject a' yes 2 2 6.8
|
||||
1150 1 reject a' reject a' yes 2 2 6.8
|
||||
1150 2 accept - accept - yes 2 2 6.8
|
||||
1149 0 reject a' reject a' yes 1 1 7.6
|
||||
1149 1 accept - accept - yes 1 1 7.6
|
||||
1152 0 reject a' reject a' yes 3 3 6.9
|
||||
1152 1 reject a' reject a' yes 3 3 6.9
|
||||
1152 2 reject a' reject a' yes 3 3 6.9
|
||||
1152 3 accept - accept - yes 3 3 6.9
|
||||
1153 0 reject a' reject a' yes 1 1 6.8
|
||||
1153 1 accept - accept - yes 1 1 6.8
|
||||
1154 0 reject a' reject a' yes 3 3 6.3
|
||||
1154 1 reject a reject a yes 3 3 6.3
|
||||
1154 2 reject a' reject a' yes 3 3 6.3
|
||||
1154 3 accept - accept - yes 3 3 6.3
|
||||
1156 0 accept - accept - yes 0 0 6.4
|
||||
1155 0 reject a' reject a' yes 2 2 7.1
|
||||
1155 1 reject a' reject a' yes 2 2 7.1
|
||||
1155 2 accept - accept - yes 2 2 7.1
|
||||
1157 0 reject a' reject a' yes 7 7 6.9
|
||||
1157 1 reject a reject a yes 7 7 6.9
|
||||
1157 2 reject a' reject a' yes 7 7 6.9
|
||||
1157 3 reject a' reject a' yes 7 7 6.9
|
||||
1157 4 reject a' reject a' yes 7 7 6.9
|
||||
1157 5 reject a' reject a' yes 7 7 6.9
|
||||
1157 6 reject a' reject a' yes 7 7 6.9
|
||||
1157 7 accept - accept - yes 7 7 6.9
|
||||
1159 0 reject c-saturated reject c-saturated yes 7 7 7.1
|
||||
1159 1 reject a' reject a' yes 7 7 7.1
|
||||
1159 2 reject a' reject a' yes 7 7 7.1
|
||||
1159 3 reject a' reject a' yes 7 7 7.1
|
||||
1159 4 reject a' reject a' yes 7 7 7.1
|
||||
1159 5 reject a' reject a' yes 7 7 7.1
|
||||
1159 6 reject a' reject a' yes 7 7 7.1
|
||||
1159 7 accept - accept - yes 7 7 7.1
|
||||
1158 0 accept - accept - yes 0 0 7.4
|
||||
1163 0 accept - accept - yes 0 0 6.7
|
||||
1162 0 accept - accept - yes 0 0 7.2
|
||||
1164 0 reject a' reject a' yes 1 1 6.6
|
||||
1164 1 accept - accept - yes 1 1 6.6
|
||||
1161 0 accept - accept - yes 0 0 7.6
|
||||
1166 0 reject a' reject a' yes 3 3 6.1
|
||||
1166 1 reject a' reject a' yes 3 3 6.1
|
||||
1166 2 reject a reject a yes 3 3 6.1
|
||||
1166 3 accept - accept - yes 3 3 6.1
|
||||
1165 0 reject a' reject a' yes 2 2 6.8
|
||||
1165 1 reject a' reject a' yes 2 2 6.8
|
||||
1165 2 accept - accept - yes 2 2 6.8
|
||||
1167 0 accept - accept - yes 0 0 6.7
|
||||
1169 0 reject a' reject a' yes 6 6 7.0
|
||||
1169 1 reject a' reject a' yes 6 6 7.0
|
||||
1169 2 reject a' reject a' yes 6 6 7.0
|
||||
1169 3 reject a' reject a' yes 6 6 7.0
|
||||
1169 4 reject a' reject a' yes 6 6 7.0
|
||||
1169 5 reject a' reject a' yes 6 6 7.0
|
||||
1169 6 accept - accept - yes 6 6 7.0
|
||||
1168 0 reject a' reject a' yes 20 20 7.7
|
||||
1168 1 reject a' reject a' yes 20 20 7.7
|
||||
1168 2 reject a' reject a' yes 20 20 7.7
|
||||
1168 3 reject a reject a yes 20 20 7.7
|
||||
1168 4 reject a' reject a' yes 20 20 7.7
|
||||
1168 5 reject a' reject a' yes 20 20 7.7
|
||||
1168 6 reject a' reject a' yes 20 20 7.7
|
||||
1168 7 reject a' reject a' yes 20 20 7.7
|
||||
1168 8 reject a' reject a' yes 20 20 7.7
|
||||
1168 9 reject a' reject a' yes 20 20 7.7
|
||||
1168 10 reject a' reject a' yes 20 20 7.7
|
||||
1168 11 reject a' reject a' yes 20 20 7.7
|
||||
1168 12 reject a' reject a' yes 20 20 7.7
|
||||
1168 13 reject a' reject a' yes 20 20 7.7
|
||||
1168 14 reject a reject a yes 20 20 7.7
|
||||
1168 15 reject c-saturated reject c-saturated yes 20 20 7.7
|
||||
1168 16 reject a' reject a' yes 20 20 7.7
|
||||
1168 17 reject a' reject a' yes 20 20 7.7
|
||||
1168 18 reject a' reject a' yes 20 20 7.7
|
||||
1168 19 reject a' reject a' yes 20 20 7.7
|
||||
1168 20 accept - accept - yes 20 20 7.7
|
||||
1171 0 reject a reject a yes 3 3 6.4
|
||||
1171 1 reject a' reject a' yes 3 3 6.4
|
||||
1171 2 reject a' reject a' yes 3 3 6.4
|
||||
1171 3 accept - accept - yes 3 3 6.4
|
||||
1170 0 accept - accept - yes 0 0 7.3
|
||||
1172 0 reject a' reject a' yes 3 3 6.6
|
||||
1172 1 reject a' reject a' yes 3 3 6.6
|
||||
1172 2 reject a' reject a' yes 3 3 6.6
|
||||
1172 3 accept - accept - yes 3 3 6.6
|
||||
1173 0 reject a reject a yes 2 2 8.1
|
||||
1173 1 reject b reject b yes 2 2 8.1
|
||||
1173 2 accept - accept - yes 2 2 8.1
|
||||
1175 0 reject a reject a yes 2 2 6.5
|
||||
1175 1 reject a' reject a' yes 2 2 6.5
|
||||
1175 2 accept - accept - yes 2 2 6.5
|
||||
1176 0 reject a' reject a' yes 5 5 6.7
|
||||
1176 1 reject b reject b yes 5 5 6.7
|
||||
1176 2 reject a' reject a' yes 5 5 6.7
|
||||
1176 3 reject a reject a yes 5 5 6.7
|
||||
1176 4 reject a reject a yes 5 5 6.7
|
||||
1176 5 accept - accept - yes 5 5 6.7
|
||||
1177 0 reject a' reject a' yes 4 4 6.5
|
||||
1177 1 reject a' reject a' yes 4 4 6.5
|
||||
1177 2 reject a' reject a' yes 4 4 6.5
|
||||
1177 3 reject a' reject a' yes 4 4 6.5
|
||||
1177 4 accept - accept - yes 4 4 6.5
|
||||
1174 0 accept - accept - yes 0 0 8.0
|
||||
1179 0 reject a reject a yes 1 1 6.9
|
||||
1179 1 accept - accept - yes 1 1 6.9
|
||||
1180 0 reject a' reject a' yes 6 6 6.9
|
||||
1180 1 reject a' reject a' yes 6 6 6.9
|
||||
1180 2 reject a' reject a' yes 6 6 6.9
|
||||
1180 3 reject a' reject a' yes 6 6 6.9
|
||||
1180 4 reject a' reject a' yes 6 6 6.9
|
||||
1180 5 reject a' reject a' yes 6 6 6.9
|
||||
1180 6 accept - accept - yes 6 6 6.9
|
||||
1181 0 reject a' reject a' yes 11 11 6.7
|
||||
1181 1 reject a' reject a' yes 11 11 6.7
|
||||
1181 2 reject a' reject a' yes 11 11 6.7
|
||||
1181 3 reject a' reject a' yes 11 11 6.7
|
||||
1181 4 reject a' reject a' yes 11 11 6.7
|
||||
1181 5 reject a' reject a' yes 11 11 6.7
|
||||
1181 6 reject a' reject a' yes 11 11 6.7
|
||||
1181 7 reject a' reject a' yes 11 11 6.7
|
||||
1181 8 reject a' reject a' yes 11 11 6.7
|
||||
1181 9 reject a' reject a' yes 11 11 6.7
|
||||
1181 10 reject a' reject a' yes 11 11 6.7
|
||||
1181 11 accept - accept - yes 11 11 6.7
|
||||
1183 0 reject b reject b yes 2 2 6.5
|
||||
1183 1 reject a' reject a' yes 2 2 6.5
|
||||
1183 2 accept - accept - yes 2 2 6.5
|
||||
1160 0 reject a' reject a' yes 11 11 15.4
|
||||
1160 1 reject a' reject a' yes 11 11 15.4
|
||||
1160 2 reject a' reject a' yes 11 11 15.4
|
||||
1160 3 reject a' reject a' yes 11 11 15.4
|
||||
1160 4 reject a' reject a' yes 11 11 15.4
|
||||
1160 5 reject c'' reject c'' yes 11 11 15.4
|
||||
1160 6 reject a' reject a' yes 11 11 15.4
|
||||
1160 7 reject a' reject a' yes 11 11 15.4
|
||||
1160 8 reject a' reject a' yes 11 11 15.4
|
||||
1160 9 reject a' reject a' yes 11 11 15.4
|
||||
1160 10 reject b reject b yes 11 11 15.4
|
||||
1160 11 accept - accept - yes 11 11 15.4
|
||||
1182 0 reject a' reject a' yes 3 3 7.1
|
||||
1182 1 reject a' reject a' yes 3 3 7.1
|
||||
1182 2 reject a' reject a' yes 3 3 7.1
|
||||
1182 3 accept - accept - yes 3 3 7.1
|
||||
1178 0 reject a' reject a' yes 2 2 8.3
|
||||
1178 1 reject a' reject a' yes 2 2 8.3
|
||||
1178 2 accept - accept - yes 2 2 8.3
|
||||
1184 0 accept - accept - yes 0 0 6.6
|
||||
1186 0 reject a' reject a' yes 3 3 7.0
|
||||
1186 1 reject a' reject a' yes 3 3 7.0
|
||||
1186 2 reject a' reject a' yes 3 3 7.0
|
||||
1186 3 accept - accept - yes 3 3 7.0
|
||||
1185 0 reject a' reject a' yes 4 4 7.9
|
||||
1185 1 reject a' reject a' yes 4 4 7.9
|
||||
1185 2 reject a' reject a' yes 4 4 7.9
|
||||
1185 3 reject a' reject a' yes 4 4 7.9
|
||||
1185 4 accept - accept - yes 4 4 7.9
|
||||
1188 0 accept - accept - yes 0 0 6.6
|
||||
1187 0 reject a' reject a' yes 2 2 7.1
|
||||
1187 1 reject a' reject a' yes 2 2 7.1
|
||||
1187 2 accept - accept - yes 2 2 7.1
|
||||
1192 0 accept - accept - yes 0 0 6.5
|
||||
1189 0 reject a' reject a' yes 2 2 7.0
|
||||
1189 1 reject a' reject a' yes 2 2 7.0
|
||||
1189 2 accept - accept - yes 2 2 7.0
|
||||
1190 0 reject a reject a yes 4 4 7.1
|
||||
1190 1 reject a' reject a' yes 4 4 7.1
|
||||
1190 2 reject a' reject a' yes 4 4 7.1
|
||||
1190 3 reject a' reject a' yes 4 4 7.1
|
||||
1190 4 accept - accept - yes 4 4 7.1
|
||||
1194 0 reject a' reject a' yes 3 3 6.7
|
||||
1194 1 reject a' reject a' yes 3 3 6.7
|
||||
1194 2 reject a reject a yes 3 3 6.7
|
||||
1194 3 accept - accept - yes 3 3 6.7
|
||||
1196 0 reject a' reject a' yes 5 5 6.6
|
||||
1196 1 reject a' reject a' yes 5 5 6.6
|
||||
1196 2 reject a' reject a' yes 5 5 6.6
|
||||
1196 3 reject a' reject a' yes 5 5 6.6
|
||||
1196 4 reject a reject a yes 5 5 6.6
|
||||
1196 5 accept - accept - yes 5 5 6.6
|
||||
1195 0 accept - accept - yes 0 0 7.1
|
||||
1197 0 accept - accept - yes 0 0 6.9
|
||||
1191 0 accept - accept - yes 0 0 8.6
|
||||
1198 0 reject a' reject a' yes 1 1 7.3
|
||||
1198 1 accept - accept - yes 1 1 7.3
|
||||
1193 0 reject a' reject a' yes 4 4 8.9
|
||||
1193 1 reject a' reject a' yes 4 4 8.9
|
||||
1193 2 reject a' reject a' yes 4 4 8.9
|
||||
1193 3 reject a' reject a' yes 4 4 8.9
|
||||
1193 4 accept - accept - yes 4 4 8.9
|
||||
1199 0 reject a' reject a' yes 2 2 9.6
|
||||
1199 1 reject a' reject a' yes 2 2 9.6
|
||||
1199 2 accept - accept - yes 2 2 9.6
|
||||
Terminated
|
||||
lease: released 17 pool cores after 3065 s, exit 0
|
||||
lease: holding 17 pool cores (21,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60, waited 0 s, class adv): adv-accept-3 94-adv-accept-3-verdicts-faithful 1200
|
||||
# adv3 verdicts 2026-10-07T20:34:15Z variant faithful seeds 1200..1400 (internal adversarial pass, not an independent review)
|
||||
seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs
|
||||
1211 0 reject a reject a yes 1 1 9.1
|
||||
1211 1 accept - accept - yes 1 1 9.1
|
||||
1214 0 reject a' reject a' yes 3 3 9.9
|
||||
1214 1 reject a' reject a' yes 3 3 9.9
|
||||
1214 2 reject a' reject a' yes 3 3 9.9
|
||||
1214 3 accept - accept - yes 3 3 9.9
|
||||
1215 0 reject a' reject a' yes 9 9 10.2
|
||||
1215 1 reject a' reject a' yes 9 9 10.2
|
||||
1215 2 reject a' reject a' yes 9 9 10.2
|
||||
1215 3 reject a' reject a' yes 9 9 10.2
|
||||
1215 4 reject a' reject a' yes 9 9 10.2
|
||||
1215 5 reject a' reject a' yes 9 9 10.2
|
||||
1215 6 reject a' reject a' yes 9 9 10.2
|
||||
1215 7 reject a reject a yes 9 9 10.2
|
||||
1215 8 reject a' reject a' yes 9 9 10.2
|
||||
1215 9 accept - accept - yes 9 9 10.2
|
||||
1208 0 reject a' reject a' yes 1 1 10.3
|
||||
1208 1 accept - accept - yes 1 1 10.3
|
||||
1209 0 reject a' reject a' yes 2 2 10.6
|
||||
1209 1 reject a' reject a' yes 2 2 10.6
|
||||
1209 2 accept - accept - yes 2 2 10.6
|
||||
1200 0 accept - accept - yes 0 0 10.6
|
||||
1202 0 reject a' reject a' yes 2 2 10.7
|
||||
1202 1 reject a' reject a' yes 2 2 10.7
|
||||
1202 2 accept - accept - yes 2 2 10.7
|
||||
1203 0 accept - accept - yes 0 0 10.8
|
||||
1204 0 reject a' reject a' yes 1 1 11.0
|
||||
1204 1 accept - accept - yes 1 1 11.0
|
||||
1201 0 accept - accept - yes 0 0 11.1
|
||||
1212 0 reject a' reject a' yes 13 13 11.1
|
||||
1212 1 reject a' reject a' yes 13 13 11.1
|
||||
1212 2 reject a reject a yes 13 13 11.1
|
||||
1212 3 reject a reject a yes 13 13 11.1
|
||||
1212 4 reject a' reject a' yes 13 13 11.1
|
||||
1212 5 reject a' reject a' yes 13 13 11.1
|
||||
1212 6 reject a reject a yes 13 13 11.1
|
||||
1212 7 reject a' reject a' yes 13 13 11.1
|
||||
1212 8 reject a' reject a' yes 13 13 11.1
|
||||
1212 9 reject a' reject a' yes 13 13 11.1
|
||||
1212 10 reject a reject a yes 13 13 11.1
|
||||
1212 11 reject a' reject a' yes 13 13 11.1
|
||||
1212 12 reject b reject b yes 13 13 11.1
|
||||
1212 13 accept - accept - yes 13 13 11.1
|
||||
1213 0 accept - accept - yes 0 0 11.2
|
||||
1206 0 reject a' reject a' yes 1 1 11.4
|
||||
1206 1 accept - accept - yes 1 1 11.4
|
||||
1216 0 reject a' reject a' yes 4 4 11.5
|
||||
1216 1 reject a' reject a' yes 4 4 11.5
|
||||
1216 2 reject a reject a yes 4 4 11.5
|
||||
1216 3 reject a' reject a' yes 4 4 11.5
|
||||
1216 4 accept - accept - yes 4 4 11.5
|
||||
1207 0 reject a' reject a' yes 4 4 11.6
|
||||
1207 1 reject a' reject a' yes 4 4 11.6
|
||||
1207 2 reject a' reject a' yes 4 4 11.6
|
||||
1207 3 reject a' reject a' yes 4 4 11.6
|
||||
1207 4 accept - accept - yes 4 4 11.6
|
||||
1205 0 reject a' reject a' yes 1 1 12.0
|
||||
1205 1 accept - accept - yes 1 1 12.0
|
||||
1217 0 reject a' reject a' yes 1 1 9.5
|
||||
1217 1 accept - accept - yes 1 1 9.5
|
||||
1218 0 accept - accept - yes 0 0 10.0
|
||||
1222 0 reject a' reject a' yes 2 2 9.5
|
||||
1222 1 reject a' reject a' yes 2 2 9.5
|
||||
1222 2 accept - accept - yes 2 2 9.5
|
||||
1226 0 reject a' reject a' yes 1 1 9.2
|
||||
1226 1 accept - accept - yes 1 1 9.2
|
||||
1230 0 reject a' reject a' yes 4 4 9.0
|
||||
1230 1 reject a reject a yes 4 4 9.0
|
||||
1230 2 reject a' reject a' yes 4 4 9.0
|
||||
1230 3 reject a' reject a' yes 4 4 9.0
|
||||
1230 4 accept - accept - yes 4 4 9.0
|
||||
1220 0 reject a' reject a' yes 1 1 10.3
|
||||
1220 1 accept - accept - yes 1 1 10.3
|
||||
1224 0 reject a' reject a' yes 8 8 10.0
|
||||
1224 1 reject a' reject a' yes 8 8 10.0
|
||||
1224 2 reject a' reject a' yes 8 8 10.0
|
||||
1224 3 reject a' reject a' yes 8 8 10.0
|
||||
1224 4 reject a' reject a' yes 8 8 10.0
|
||||
1224 5 reject a' reject a' yes 8 8 10.0
|
||||
1224 6 reject a' reject a' yes 8 8 10.0
|
||||
1224 7 reject a' reject a' yes 8 8 10.0
|
||||
1224 8 accept - accept - yes 8 8 10.0
|
||||
1223 0 reject a' reject a' yes 1 1 10.2
|
||||
1223 1 accept - accept - yes 1 1 10.2
|
||||
1225 0 accept - accept - yes 0 0 10.2
|
||||
1229 0 accept - accept - yes 0 0 10.1
|
||||
1228 0 reject a' reject a' yes 6 6 10.3
|
||||
1228 1 reject a' reject a' yes 6 6 10.3
|
||||
1228 2 reject b reject b yes 6 6 10.3
|
||||
1228 3 reject a' reject a' yes 6 6 10.3
|
||||
1228 4 reject a reject a yes 6 6 10.3
|
||||
1228 5 reject a' reject a' yes 6 6 10.3
|
||||
1228 6 accept - accept - yes 6 6 10.3
|
||||
1227 0 reject a' reject a' yes 1 1 10.5
|
||||
1227 1 accept - accept - yes 1 1 10.5
|
||||
1219 0 accept - accept - yes 0 0 11.4
|
||||
1231 0 reject a' reject a' yes 5 5 10.7
|
||||
1231 1 reject a' reject a' yes 5 5 10.7
|
||||
1231 2 reject a' reject a' yes 5 5 10.7
|
||||
1231 3 reject a' reject a' yes 5 5 10.7
|
||||
1231 4 reject a' reject a' yes 5 5 10.7
|
||||
1231 5 accept - accept - yes 5 5 10.7
|
||||
1232 0 reject a reject a yes 11 11 10.9
|
||||
1232 1 reject a' reject a' yes 11 11 10.9
|
||||
1232 2 reject a' reject a' yes 11 11 10.9
|
||||
1232 3 reject a' reject a' yes 11 11 10.9
|
||||
1232 4 reject a' reject a' yes 11 11 10.9
|
||||
1232 5 reject a' reject a' yes 11 11 10.9
|
||||
1232 6 reject a' reject a' yes 11 11 10.9
|
||||
1232 7 reject a' reject a' yes 11 11 10.9
|
||||
1232 8 reject a' reject a' yes 11 11 10.9
|
||||
1232 9 reject a' reject a' yes 11 11 10.9
|
||||
1232 10 reject a' reject a' yes 11 11 10.9
|
||||
1232 11 accept - accept - yes 11 11 10.9
|
||||
1233 0 reject a' reject a' yes 9 9 8.8
|
||||
1233 1 reject a' reject a' yes 9 9 8.8
|
||||
1233 2 reject a' reject a' yes 9 9 8.8
|
||||
1233 3 reject a' reject a' yes 9 9 8.8
|
||||
1233 4 reject a reject a yes 9 9 8.8
|
||||
1233 5 reject a' reject a' yes 9 9 8.8
|
||||
1233 6 reject b reject b yes 9 9 8.8
|
||||
1233 7 reject a' reject a' yes 9 9 8.8
|
||||
1233 8 reject a' reject a' yes 9 9 8.8
|
||||
1233 9 accept - accept - yes 9 9 8.8
|
||||
1235 0 reject a' reject a' yes 5 5 8.2
|
||||
1235 1 reject b reject b yes 5 5 8.2
|
||||
1235 2 reject a' reject a' yes 5 5 8.2
|
||||
1235 3 reject a' reject a' yes 5 5 8.2
|
||||
1235 4 reject a' reject a' yes 5 5 8.2
|
||||
1235 5 accept - accept - yes 5 5 8.2
|
||||
1238 0 reject a' reject a' yes 1 1 7.6
|
||||
1238 1 accept - accept - yes 1 1 7.6
|
||||
1237 0 accept - accept - yes 0 0 7.8
|
||||
1210 0 reject c'' reject c'' yes 4 4 28.4
|
||||
1210 1 reject a' reject a' yes 4 4 28.4
|
||||
1210 2 reject c'' reject c'' yes 4 4 28.4
|
||||
1210 3 reject a reject a yes 4 4 28.4
|
||||
1210 4 accept - accept - yes 4 4 28.4
|
||||
1242 0 reject a' reject a' yes 1 1 7.7
|
||||
1242 1 accept - accept - yes 1 1 7.7
|
||||
1245 0 reject a' reject a' yes 1 1 8.0
|
||||
1245 1 accept - accept - yes 1 1 8.0
|
||||
1221 0 reject a' reject a' yes 3 3 19.1
|
||||
1221 1 reject a' reject a' yes 3 3 19.1
|
||||
1221 2 reject c'' reject c'' yes 3 3 19.1
|
||||
1221 3 accept - accept - yes 3 3 19.1
|
||||
1240 0 accept - accept - yes 0 0 9.1
|
||||
1241 0 accept - accept - yes 0 0 9.0
|
||||
1234 0 reject a reject a yes 6 6 10.5
|
||||
1234 1 reject a' reject a' yes 6 6 10.5
|
||||
1234 2 reject a' reject a' yes 6 6 10.5
|
||||
1234 3 reject a' reject a' yes 6 6 10.5
|
||||
1234 4 reject a' reject a' yes 6 6 10.5
|
||||
1234 5 reject a' reject a' yes 6 6 10.5
|
||||
1234 6 accept - accept - yes 6 6 10.5
|
||||
1244 0 accept - accept - yes 0 0 8.9
|
||||
1239 0 accept - accept - yes 0 0 10.0
|
||||
1246 0 reject a' reject a' yes 3 3 9.6
|
||||
1246 1 reject a' reject a' yes 3 3 9.6
|
||||
1246 2 reject a' reject a' yes 3 3 9.6
|
||||
1246 3 accept - accept - yes 3 3 9.6
|
||||
1243 0 accept - accept - yes 0 0 10.4
|
||||
1248 0 reject a' reject a' yes 4 4 7.2
|
||||
1248 1 reject a' reject a' yes 4 4 7.2
|
||||
1248 2 reject a' reject a' yes 4 4 7.2
|
||||
1248 3 reject a' reject a' yes 4 4 7.2
|
||||
1248 4 accept - accept - yes 4 4 7.2
|
||||
1251 0 reject a' reject a' yes 6 6 7.6
|
||||
1251 1 reject b reject b yes 6 6 7.6
|
||||
1251 2 reject a reject a yes 6 6 7.6
|
||||
1251 3 reject a' reject a' yes 6 6 7.6
|
||||
1251 4 reject a reject a yes 6 6 7.6
|
||||
1251 5 reject a' reject a' yes 6 6 7.6
|
||||
1251 6 accept - accept - yes 6 6 7.6
|
||||
1250 0 accept - accept - yes 0 0 7.7
|
||||
1252 0 reject a' reject a' yes 3 3 7.7
|
||||
1252 1 reject a' reject a' yes 3 3 7.7
|
||||
1252 2 reject a' reject a' yes 3 3 7.7
|
||||
1252 3 accept - accept - yes 3 3 7.7
|
||||
1236 0 reject a' reject a' yes 9 9 15.9
|
||||
1236 1 reject a reject a yes 9 9 15.9
|
||||
1236 2 reject c'' reject c'' yes 9 9 15.9
|
||||
1236 3 reject a' reject a' yes 9 9 15.9
|
||||
1236 4 reject a' reject a' yes 9 9 15.9
|
||||
1236 5 reject a' reject a' yes 9 9 15.9
|
||||
1236 6 reject a' reject a' yes 9 9 15.9
|
||||
1236 7 reject a' reject a' yes 9 9 15.9
|
||||
1236 8 reject a' reject a' yes 9 9 15.9
|
||||
1236 9 accept - accept - yes 9 9 15.9
|
||||
1249 0 reject a' reject a' yes 1 1 8.2
|
||||
1249 1 accept - accept - yes 1 1 8.2
|
||||
1253 0 reject a' reject a' yes 4 4 7.6
|
||||
1253 1 reject a' reject a' yes 4 4 7.6
|
||||
1253 2 reject a' reject a' yes 4 4 7.6
|
||||
1253 3 reject a' reject a' yes 4 4 7.6
|
||||
1253 4 accept - accept - yes 4 4 7.6
|
||||
1255 0 reject a reject a yes 5 5 7.7
|
||||
1255 1 reject a' reject a' yes 5 5 7.7
|
||||
1255 2 reject a' reject a' yes 5 5 7.7
|
||||
1255 3 reject a' reject a' yes 5 5 7.7
|
||||
1255 4 reject a' reject a' yes 5 5 7.7
|
||||
1255 5 accept - accept - yes 5 5 7.7
|
||||
1254 0 reject a' reject a' yes 1 1 8.1
|
||||
1254 1 accept - accept - yes 1 1 8.1
|
||||
1256 0 reject a' reject a' yes 4 4 8.4
|
||||
1256 1 reject b reject b yes 4 4 8.4
|
||||
1256 2 reject a' reject a' yes 4 4 8.4
|
||||
1256 3 reject a' reject a' yes 4 4 8.4
|
||||
1256 4 accept - accept - yes 4 4 8.4
|
||||
1259 0 accept - accept - yes 0 0 8.7
|
||||
1247 0 reject c'' reject c'' yes 3 3 17.7
|
||||
1247 1 reject a' reject a' yes 3 3 17.7
|
||||
1247 2 reject a' reject a' yes 3 3 17.7
|
||||
1247 3 accept - accept - yes 3 3 17.7
|
||||
1257 0 reject a reject a yes 2 2 10.9
|
||||
1257 1 reject a' reject a' yes 2 2 10.9
|
||||
1257 2 accept - accept - yes 2 2 10.9
|
||||
1258 0 reject a' reject a' yes 4 4 11.1
|
||||
1258 1 reject a' reject a' yes 4 4 11.1
|
||||
1258 2 reject a' reject a' yes 4 4 11.1
|
||||
1258 3 reject a' reject a' yes 4 4 11.1
|
||||
1258 4 accept - accept - yes 4 4 11.1
|
||||
1260 0 reject a' reject a' yes 6 6 10.8
|
||||
1260 1 reject a' reject a' yes 6 6 10.8
|
||||
1260 2 reject a reject a yes 6 6 10.8
|
||||
1260 3 reject a' reject a' yes 6 6 10.8
|
||||
1260 4 reject a' reject a' yes 6 6 10.8
|
||||
1260 5 reject a' reject a' yes 6 6 10.8
|
||||
1260 6 accept - accept - yes 6 6 10.8
|
||||
1261 0 reject b reject b yes 4 4 9.8
|
||||
1261 1 reject a' reject a' yes 4 4 9.8
|
||||
1261 2 reject a' reject a' yes 4 4 9.8
|
||||
1261 3 reject a' reject a' yes 4 4 9.8
|
||||
1261 4 accept - accept - yes 4 4 9.8
|
||||
1263 0 reject b reject b yes 1 1 7.6
|
||||
1263 1 accept - accept - yes 1 1 7.6
|
||||
1262 0 reject b reject b yes 5 5 10.7
|
||||
1262 1 reject a reject a yes 5 5 10.7
|
||||
1262 2 reject b reject b yes 5 5 10.7
|
||||
1262 3 reject a' reject a' yes 5 5 10.7
|
||||
1262 4 reject a reject a yes 5 5 10.7
|
||||
1262 5 accept - accept - yes 5 5 10.7
|
||||
|
Can't render this file because it has a wrong number of fields in line 8.
|
2527
docs/analysis/cryptanalysis/logs/adv-accept-3/95-lastresort.tsv
Normal file
2527
docs/analysis/cryptanalysis/logs/adv-accept-3/95-lastresort.tsv
Normal file
File diff suppressed because it is too large
Load diff
281
docs/analysis/cryptanalysis/logs/adv-accept-3/992-f8-live-2.log
Normal file
281
docs/analysis/cryptanalysis/logs/adv-accept-3/992-f8-live-2.log
Normal file
|
|
@ -0,0 +1,281 @@
|
|||
=== 19:42:46 seed-2653 nonces 1000000
|
||||
lease: 0 of 16 pool cores free (88 leased); waiting
|
||||
lease: holding 32 pool cores (64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, waited 3043 s, class adv): adv-accept-3 f8 live seed-2653 1000000
|
||||
[2026-10-07T20:33:29Z] attack-f8 0.1.0 (igneum-pow 4); args ["warps", "--program", "1000002653", "--day", "20733", "--nonces", "1000000", "--threads", "32", "--out", "/srv/builds/_adv-accept-3/f8", "--validate", "sample", "--diag", "1"]
|
||||
[2026-10-07T20:33:29Z] census warps: programs [1000002653] day 20733 nonces 1000000 threads 32 plant none validate sample check_every 997 diag true
|
||||
[2026-10-07T20:33:29Z] day 20733: cache filled in 0.37 s, fnv 7334fa46e5d972eb
|
||||
[2026-10-07T20:33:31Z] table: 16777216 items derived with their 8 lines in 1.3 s; library comparison sample (0 mismatches)
|
||||
[2026-10-07T20:33:34Z] program adv3-steer-2653: epoch seed a216f71e7c11594e74382f7deae364bb11532bac159632bc61d07144ef27c1d4 era seed 4020cb4382e3fe4b281c817c02582e147d8f851f566ae9172b28912b8e68b925 id d56075ecc196a9ec attempt 3 class mx8-eraaf3a9139+sh256x27 op mix load=16 xor=9 mul=7 mulhi=7 sub=7 add=4 mad=4 rotl=3 rotr=3 or=2 shfl=2; era stride mul 0x2cb18b35 rot 9 interleave [1, 9, 13, 14] windows 4:2:0 5:0:0 8:2:3 19:0:0 21:0:0 25:1:1 29:2:2 30:2:1 37:1:0 39:2:1 40:2:3 41:0:0 51:1:1 52:0:0 54:1:1 58:1:0
|
||||
[2026-10-07T20:33:34Z] load site instr 4: src r2 win 2 off 0; last base writer xor at 3; writers back to the last injecting one: xor@3; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 5: src r5 win 0 off 0; last base writer mad at 2; writers back to the last injecting one: mad@2; shadow writes of r5 per rep: add=4 mad=4 mul=2 mulhi=2 rotl=5 rotr=1 shfl=2 sub=2 xor=3
|
||||
[2026-10-07T20:33:34Z] load site instr 8: src r3 win 2 off 3; last base writer xor at 7; writers back to the last injecting one: xor@7; shadow writes of r3 per rep: add=5 mad=7 mul=5 mulhi=3 rotl=3 shfl=3 sub=2 xor=4
|
||||
[2026-10-07T20:33:34Z] load site instr 19: src r2 win 0 off 0; last base writer mad at 16; writers back to the last injecting one: mad@16; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 21: src r7 win 0 off 0; last base writer load at 19; writers back to the last injecting one: load@19; shadow writes of r7 per rep: add=8 mad=5 mul=4 mulhi=3 or=1 rotl=3 rotr=2 shfl=5 sub=3 xor=7
|
||||
[2026-10-07T20:33:34Z] load site instr 25: src r2 win 1 off 1; last base writer rotr at 24; writers back to the last injecting one: rotr@24 xor@22; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 29: src r3 win 2 off 2; last base writer load at 25; writers back to the last injecting one: load@25; shadow writes of r3 per rep: add=5 mad=7 mul=5 mulhi=3 rotl=3 shfl=3 sub=2 xor=4
|
||||
[2026-10-07T20:33:34Z] load site instr 30: src r1 win 2 off 1; last base writer add at 27; writers back to the last injecting one: add@27; shadow writes of r1 per rep: add=2 mad=4 mul=5 mulhi=2 or=2 rotl=6 rotr=4 shfl=6 sub=4 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 37: src r3 win 1 off 0; last base writer sub at 34; writers back to the last injecting one: sub@34; shadow writes of r3 per rep: add=5 mad=7 mul=5 mulhi=3 rotl=3 shfl=3 sub=2 xor=4
|
||||
[2026-10-07T20:33:34Z] load site instr 39: src r7 win 2 off 1; last base writer xor at 35; writers back to the last injecting one: xor@35; shadow writes of r7 per rep: add=8 mad=5 mul=4 mulhi=3 or=1 rotl=3 rotr=2 shfl=5 sub=3 xor=7
|
||||
[2026-10-07T20:33:34Z] load site instr 40: src r5 win 2 off 3; last base writer load at 30; writers back to the last injecting one: load@30; shadow writes of r5 per rep: add=4 mad=4 mul=2 mulhi=2 rotl=5 rotr=1 shfl=2 sub=2 xor=3
|
||||
[2026-10-07T20:33:34Z] load site instr 41: src r6 win 0 off 0; last base writer load at 37; writers back to the last injecting one: load@37; shadow writes of r6 per rep: add=5 mul=7 mulhi=2 or=3 rotl=3 rotr=3 shfl=2 sub=3 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 51: src r5 win 1 off 1; last base writer xor at 43; writers back to the last injecting one: xor@43; shadow writes of r5 per rep: add=4 mad=4 mul=2 mulhi=2 rotl=5 rotr=1 shfl=2 sub=2 xor=3
|
||||
[2026-10-07T20:33:34Z] load site instr 52: src r6 win 0 off 0; last base writer sub at 42; writers back to the last injecting one: sub@42; shadow writes of r6 per rep: add=5 mul=7 mulhi=2 or=3 rotl=3 rotr=3 shfl=2 sub=3 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 54: src r2 win 1 off 1; last base writer load at 52; writers back to the last injecting one: load@52; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:33:34Z] load site instr 58: src r7 win 1 off 0; last base writer shfl at 48; writers back to the last injecting one: shfl@48; shadow writes of r7 per rep: add=8 mad=5 mul=4 mulhi=3 or=1 rotl=3 rotr=2 shfl=5 sub=3 xor=7
|
||||
[2026-10-07T20:33:34Z] window layer: site item windows (first, items) (0x0,2^22) (0x0,2^24) (0xc00000,2^22) (0x0,2^24) (0x0,2^24) (0x800000,2^23) (0x800000,2^22) (0x400000,2^22) (0x0,2^23) (0x400000,2^22) (0xc00000,2^22) (0x0,2^24) (0x800000,2^23) (0x0,2^24) (0x800000,2^23) (0x0,2^23); expected reads per item by quarter 6.199 8.106 7.153 9.060 (flat uniform 7.629)
|
||||
[2026-10-07T20:33:36Z] 31250 warps (1000000 nonces) interpreted in 1.9 s (1.971 ms per warp per thread); Epoch::hash_warp agreement on 95 warps: 0 mismatches
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 distinct lines per hash: n 1000000 min 1008 p1 1023 median 1024 p99 1024 max 1024 mean 1023.8718
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 distinct items per hash: n 1000000 min 126 p1 128 median 128 p99 128 max 128 mean 127.9995
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 distinct lines per warp: n 31250 min 32572 p1 32605 median 32637 p99 32664 max 32684 mean 32636.3013
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 distinct items per warp: n 31250 min 4090 p1 4093 median 4096 p99 4096 max 4096 mean 4095.4889
|
||||
[2026-10-07T20:33:36Z] uniform expectation: distinct lines per hash 1023.875 of 1024 reads, per warp 32640.3 of 32768 reads (2^22 lines); distinct items per hash 127.9995 of 128, per warp 4095.50 of 4096 (2^24 items)
|
||||
[2026-10-07T20:33:36Z] positions: largest hi16-bucket (256 items) share 0.0100% at p70 (iteration 4, site 6, instr 29); windowed expectation 0.0061%; largest saturated-source share 0.0000% at p0 (site 0, instr 4)
|
||||
[2026-10-07T20:33:36Z] acceptance-style (2,048 evaluations, the rule's sample size): the most repeated address at one position 2 of 2048 at p86 (site 6, instr 29); saturated sources at one position 0 of 2048 at p0 (site 0, instr 4); uniform expectation: repeats 1 to 2, saturated 0
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 item histogram (flat): bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 29 (bin 15158601) z_max +7.74 min 0 z_min -2.76 chi2/dof 1.14936 chi2_z +432.59 top0.1% 0.25579% top0.5% 1.15248% top1% 2.18844%
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 item histogram against the window density: full 2^24 chi2/dof 1.00012 largest 29 (item 0xe74d49) at +6.62 sigma smallest at -3.01; buckets64 chi2/dof 1.00196 largest 684 (bucket 255060) at +4.33 sigma smallest at -4.78
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 WINDOWED CONTROL item histogram (flat): bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 30 (bin 14489025) z_max +8.10 min 0 z_min -2.76 chi2/dof 1.14853 chi2_z +430.18 top0.1% 0.25558% top0.5% 1.15235% top1% 2.18841%
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 WINDOWED CONTROL against the window density: full chi2/dof 0.99971 largest +6.96 sigma; buckets64 chi2/dof 1.00164 largest +4.87 smallest -4.24
|
||||
[2026-10-07T20:33:36Z] 6-sigma adv3-steer-2653 items buckets64 against the window density: largest bucket +4.33 sigma, smallest -4.78 -> within 6 sigma
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (windowed control): f 0.1% S_f 0.25579% E_f(control) 0.25558% X_f +0.00021% X_f/f +0.0021 -> no hot set
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (windowed control): f 0.5% S_f 1.15248% E_f(control) 1.15235% X_f +0.00013% X_f/f +0.0003 -> no hot set
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (windowed control): f 1.0% S_f 2.18844% E_f(control) 2.18841% X_f +0.00003% X_f/f +0.0000 -> no hot set
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (windowed control): verdict clear
|
||||
[2026-10-07T20:33:36Z] adv3-steer-2653 FLAT CONTROL item histogram: bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 27 (bin 9301334) z_max +7.01 min 0 z_min -2.76 chi2/dof 1.00003 chi2_z +0.08 top0.1% 0.24302% top0.5% 1.09924% top1% 2.08713%
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): f 0.1% S_f 0.25579% E_f(control) 0.24302% X_f +0.01276% X_f/f +0.1276 -> no hot set
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): f 0.5% S_f 1.15248% E_f(control) 1.09924% X_f +0.05324% X_f/f +0.1065 -> no hot set
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): f 1.0% S_f 2.18844% E_f(control) 2.08713% X_f +0.10131% X_f/f +0.1013 -> no hot set
|
||||
[2026-10-07T20:33:36Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): verdict clear
|
||||
[2026-10-07T20:33:36Z] ratio adv3-steer-2653: top 0.1% / 0.5% / 1% share over the WINDOW-MODEL control 1.0008x / 1.0001x / 1.0000x (gate 1.2x at 0.1%: within); over the FLAT control 1.0525x / 1.0484x / 1.0485x
|
||||
[2026-10-07T20:33:37Z] attribution: hot threshold count >= 18 marks 34076 items (0.2031% of items) holding 638789 reads (0.4991% of reads); top 8 items t=0xe74d49:29 t=0xf20b38:28 t=0xf3dab5:27 t=0xf31896:27 t=0xd87bff:27 t=0xcae466:27 t=0xff25be:26 t=0xfefc79:26
|
||||
[2026-10-07T20:33:38Z] attribution: reads on hot items per position (flat expectation 0.2031% of each position's 1000000 reads); the 24 largest: p98(it6 s2)=1.220% p122(it7 s10)=1.202% p50(it3 s2)=1.198% p42(it2 s10)=1.198% p106(it6 s10)=1.196% p26(it1 s10)=1.195% p58(it3 s10)=1.194% p66(it4 s2)=1.191% p82(it5 s2)=1.190% p34(it2 s2)=1.189% p114(it7 s2)=1.186% p90(it5 s10)=1.184% p18(it1 s2)=1.183% p74(it4 s10)=1.183% p2(it0 s2)=1.179% p10(it0 s10)=1.178% p78(it4 s14)=0.675% p28(it1 s12)=0.666% p12(it0 s12)=0.662% p30(it1 s14)=0.662% p37(it2 s5)=0.662% p46(it2 s14)=0.661% p124(it7 s12)=0.659% p94(it5 s14)=0.658%
|
||||
[2026-10-07T20:33:38Z] attribution: hot reads by iteration it0=0.496% it1=0.501% it2=0.498% it3=0.500% it4=0.499% it5=0.499% it6=0.501% it7=0.500% ; by site s0=0.025% s1=0.439% s2=1.192% s3=0.437% s4=0.441% s5=0.654% s6=0.121% s7=0.422% s8=0.221% s9=0.419% s10=1.191% s11=0.436% s12=0.658% s13=0.444% s14=0.659% s15=0.225%
|
||||
[2026-10-07T20:33:38Z] site 0 (instr 4, src r2, k_off 2 offset 0, window 2^22 items): share of its reads into the top 0.1% 0.0249% (flat expectation 0.2031%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0073% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:38Z] site 1 (instr 5, src r5, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4390% (flat expectation 0.2031%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:38Z] site 2 (instr 8, src r3, k_off 2 offset 3, window 2^22 items): share of its reads into the top 0.1% 1.1921% (flat expectation 0.2031%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0072% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:38Z] site 3 (instr 19, src r2, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4371% (flat expectation 0.2031%); index entropy 15.993 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:38Z] site 4 (instr 21, src r7, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4410% (flat expectation 0.2031%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:38Z] site 5 (instr 25, src r2, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.6542% (flat expectation 0.2031%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:38Z] site 6 (instr 29, src r3, k_off 2 offset 2, window 2^22 items): share of its reads into the top 0.1% 0.1208% (flat expectation 0.2031%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0073% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:38Z] site 7 (instr 30, src r1, k_off 2 offset 1, window 2^22 items): share of its reads into the top 0.1% 0.4222% (flat expectation 0.2031%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0071% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:38Z] site 8 (instr 37, src r3, k_off 1 offset 0, window 2^23 items): share of its reads into the top 0.1% 0.2209% (flat expectation 0.2031%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:38Z] site 9 (instr 39, src r7, k_off 2 offset 1, window 2^22 items): share of its reads into the top 0.1% 0.4192% (flat expectation 0.2031%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0072% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:38Z] site 10 (instr 40, src r5, k_off 2 offset 3, window 2^22 items): share of its reads into the top 0.1% 1.1911% (flat expectation 0.2031%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0073% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:38Z] site 11 (instr 41, src r6, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4357% (flat expectation 0.2031%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:38Z] site 12 (instr 51, src r5, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.6582% (flat expectation 0.2031%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:38Z] site 13 (instr 52, src r6, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4440% (flat expectation 0.2031%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:38Z] site 14 (instr 54, src r2, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.6595% (flat expectation 0.2031%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:38Z] site 15 (instr 58, src r7, k_off 1 offset 0, window 2^23 items): share of its reads into the top 0.1% 0.2248% (flat expectation 0.2031%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xe74d49 (29 reads) read from positions p26(it1 s10)x3 p53(it3 s5)x2 p58(it3 s10)x2 p122(it7 s10)x2 p2(it0 s2)x1 p3(it0 s3)x1 p10(it0 s10)x1 p18(it1 s2)x1 p19(it1 s3)x1 p20(it1 s4)x1 p28(it1 s12)x1 p34(it2 s2)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xf20b38 (28 reads) read from positions p58(it3 s10)x3 p82(it5 s2)x3 p26(it1 s10)x2 p34(it2 s2)x2 p59(it3 s11)x2 p122(it7 s10)x2 p14(it0 s14)x1 p19(it1 s3)x1 p37(it2 s5)x1 p65(it4 s1)x1 p68(it4 s4)x1 p78(it4 s14)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xf3dab5 (27 reads) read from positions p2(it0 s2)x4 p18(it1 s2)x3 p61(it3 s13)x2 p92(it5 s12)x2 p108(it6 s12)x2 p3(it0 s3)x1 p21(it1 s5)x1 p30(it1 s14)x1 p37(it2 s5)x1 p42(it2 s10)x1 p43(it2 s11)x1 p59(it3 s11)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xf31896 (27 reads) read from positions p116(it7 s4)x3 p61(it3 s13)x2 p12(it0 s12)x1 p17(it1 s1)x1 p20(it1 s4)x1 p28(it1 s12)x1 p34(it2 s2)x1 p37(it2 s5)x1 p44(it2 s12)x1 p49(it3 s1)x1 p50(it3 s2)x1 p53(it3 s5)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xd87bff (27 reads) read from positions p12(it0 s12)x2 p53(it3 s5)x2 p69(it4 s5)x2 p82(it5 s2)x2 p90(it5 s10)x2 p5(it0 s5)x1 p10(it0 s10)x1 p13(it0 s13)x1 p18(it1 s2)x1 p20(it1 s4)x1 p44(it2 s12)x1 p46(it2 s14)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xcae466 (27 reads) read from positions p2(it0 s2)x3 p106(it6 s10)x3 p14(it0 s14)x2 p5(it0 s5)x1 p10(it0 s10)x1 p13(it0 s13)x1 p34(it2 s2)x1 p42(it2 s10)x1 p46(it2 s14)x1 p49(it3 s1)x1 p51(it3 s3)x1 p74(it4 s10)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xff25be (26 reads) read from positions p10(it0 s10)x2 p18(it1 s2)x2 p82(it5 s2)x2 p117(it7 s5)x2 p1(it0 s1)x1 p2(it0 s2)x1 p3(it0 s3)x1 p26(it1 s10)x1 p27(it1 s11)x1 p30(it1 s14)x1 p34(it2 s2)x1 p44(it2 s12)x1
|
||||
[2026-10-07T20:33:38Z] attribution: item 0xfefc79 (26 reads) read from positions p97(it6 s1)x3 p28(it1 s12)x2 p33(it2 s1)x2 p42(it2 s10)x2 p5(it0 s5)x1 p14(it0 s14)x1 p18(it1 s2)x1 p26(it1 s10)x1 p35(it2 s3)x1 p45(it2 s13)x1 p46(it2 s14)x1 p58(it3 s10)x1
|
||||
[2026-10-07T20:33:38Z] hottest item adv3-steer-2653 (0xe74d49): 29 reads (0.0000% of all); predicted source none
|
||||
[2026-10-07T20:33:38Z] program adv3-steer-2653 DONE: 1000000 nonces; 6-sigma (windowed) clear; hot-set clear; verdict PASS (no test fired)
|
||||
Terminated
|
||||
lease: released 32 pool cores after 3053 s, exit 0
|
||||
=== 20:33:39 seed-3296 nonces 1000000
|
||||
lease: holding 32 pool cores (64,65,66,67,68,69,70,71,72,73,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 f8 live seed-3296 1000000
|
||||
[2026-10-07T20:33:39Z] attack-f8 0.1.0 (igneum-pow 4); args ["warps", "--program", "1000003296", "--day", "20733", "--nonces", "1000000", "--threads", "32", "--out", "/srv/builds/_adv-accept-3/f8", "--validate", "sample", "--diag", "1"]
|
||||
[2026-10-07T20:33:39Z] census warps: programs [1000003296] day 20733 nonces 1000000 threads 32 plant none validate sample check_every 997 diag true
|
||||
[2026-10-07T20:33:39Z] day 20733: cache filled in 0.41 s, fnv 7334fa46e5d972eb
|
||||
[2026-10-07T20:33:41Z] table: 16777216 items derived with their 8 lines in 1.3 s; library comparison sample (0 mismatches)
|
||||
[2026-10-07T20:33:44Z] program adv3-steer-3296: epoch seed 80e46867dc2c4a8831390a7d1d6cf1357d181677ae0eb10af81c490519ba250d era seed 4020cb4382e3fe4b281c817c02582e147d8f851f566ae9172b28912b8e68b925 id eb47ecbc0e86d847 attempt 2 class mx8-eraaf3a9139+sh256x27 op mix load=16 add=8 mad=8 shfl=6 mul=5 rotl=5 rotr=4 xor=4 mulhi=3 sub=3 or=2; era stride mul 0x2cb18b35 rot 9 interleave [1, 9, 13, 14] windows 1:1:1 2:2:0 5:2:2 8:0:0 9:0:0 11:0:0 18:0:0 19:0:0 24:1:0 28:2:1 32:0:0 48:0:0 52:1:1 56:1:0 57:0:0 62:1:0
|
||||
[2026-10-07T20:33:44Z] load site instr 1: src r4 win 1 off 1; last base writer shfl at 61; writers back to the last injecting one: shfl@61; shadow writes of r4 per rep: add=7 mad=4 mul=4 mulhi=6 or=1 rotl=1 rotr=1 shfl=2 sub=5 xor=5
|
||||
[2026-10-07T20:33:44Z] load site instr 2: src r7 win 2 off 0; last base writer load at 1; writers back to the last injecting one: load@1; shadow writes of r7 per rep: add=4 mad=3 mul=3 mulhi=4 or=4 rotl=6 rotr=2 shfl=4 xor=3
|
||||
[2026-10-07T20:33:44Z] load site instr 5: src r1 win 2 off 2; last base writer mad at 4; writers back to the last injecting one: mad@4; shadow writes of r1 per rep: add=5 mad=5 mul=2 mulhi=3 or=2 rotl=3 shfl=2 sub=3 xor=4
|
||||
[2026-10-07T20:33:44Z] load site instr 8: src r4 win 0 off 0; last base writer add at 7; writers back to the last injecting one: add@7; shadow writes of r4 per rep: add=7 mad=4 mul=4 mulhi=6 or=1 rotl=1 rotr=1 shfl=2 sub=5 xor=5
|
||||
[2026-10-07T20:33:44Z] load site instr 9: src r2 win 0 off 0; last base writer load at 8; writers back to the last injecting one: load@8; shadow writes of r2 per rep: add=3 mad=3 mul=2 mulhi=3 or=1 rotl=4 rotr=2 shfl=3 sub=2 xor=2
|
||||
[2026-10-07T20:33:44Z] load site instr 11: src r2 win 0 off 0; last base writer rotl at 10; writers back to the last injecting one: rotl@10 load@8; shadow writes of r2 per rep: add=3 mad=3 mul=2 mulhi=3 or=1 rotl=4 rotr=2 shfl=3 sub=2 xor=2
|
||||
[2026-10-07T20:33:44Z] load site instr 18: src r5 win 0 off 0; last base writer xor at 12; writers back to the last injecting one: xor@12; shadow writes of r5 per rep: add=5 mad=4 mul=4 mulhi=3 or=2 rotl=7 rotr=4 shfl=4 sub=4 xor=3
|
||||
[2026-10-07T20:33:44Z] load site instr 19: src r1 win 0 off 0; last base writer add at 15; writers back to the last injecting one: add@15; shadow writes of r1 per rep: add=5 mad=5 mul=2 mulhi=3 or=2 rotl=3 shfl=2 sub=3 xor=4
|
||||
[2026-10-07T20:33:44Z] load site instr 24: src r2 win 1 off 0; last base writer xor at 23; writers back to the last injecting one: xor@23; shadow writes of r2 per rep: add=3 mad=3 mul=2 mulhi=3 or=1 rotl=4 rotr=2 shfl=3 sub=2 xor=2
|
||||
[2026-10-07T20:33:44Z] load site instr 28: src r3 win 2 off 1; last base writer xor at 25; writers back to the last injecting one: xor@25; shadow writes of r3 per rep: add=7 mad=6 mul=1 or=1 rotl=2 rotr=3 shfl=5 xor=5
|
||||
[2026-10-07T20:33:44Z] load site instr 32: src r6 win 0 off 0; last base writer shfl at 27; writers back to the last injecting one: shfl@27; shadow writes of r6 per rep: add=1 mad=5 mul=3 or=1 rotl=3 rotr=2 shfl=7 sub=2 xor=6
|
||||
[2026-10-07T20:33:44Z] load site instr 48: src r0 win 0 off 0; last base writer load at 28; writers back to the last injecting one: load@28; shadow writes of r0 per rep: add=5 mad=4 mul=2 or=1 rotl=6 rotr=5 shfl=3 sub=1 xor=6
|
||||
[2026-10-07T20:33:44Z] load site instr 52: src r6 win 1 off 1; last base writer mad at 50; writers back to the last injecting one: mad@50; shadow writes of r6 per rep: add=1 mad=5 mul=3 or=1 rotl=3 rotr=2 shfl=7 sub=2 xor=6
|
||||
[2026-10-07T20:33:44Z] load site instr 56: src r5 win 1 off 0; last base writer mad at 54; writers back to the last injecting one: mad@54; shadow writes of r5 per rep: add=5 mad=4 mul=4 mulhi=3 or=2 rotl=7 rotr=4 shfl=4 sub=4 xor=3
|
||||
[2026-10-07T20:33:44Z] load site instr 57: src r4 win 0 off 0; last base writer rotl at 53; writers back to the last injecting one: rotl@53 load@32; shadow writes of r4 per rep: add=7 mad=4 mul=4 mulhi=6 or=1 rotl=1 rotr=1 shfl=2 sub=5 xor=5
|
||||
[2026-10-07T20:33:44Z] load site instr 62: src r1 win 1 off 0; last base writer load at 56; writers back to the last injecting one: load@56; shadow writes of r1 per rep: add=5 mad=5 mul=2 mulhi=3 or=2 rotl=3 shfl=2 sub=3 xor=4
|
||||
[2026-10-07T20:33:44Z] window layer: site item windows (first, items) (0x800000,2^23) (0x0,2^22) (0x800000,2^22) (0x0,2^24) (0x0,2^24) (0x0,2^24) (0x0,2^24) (0x0,2^24) (0x0,2^23) (0x400000,2^22) (0x0,2^24) (0x0,2^24) (0x800000,2^23) (0x0,2^23) (0x0,2^24) (0x0,2^23); expected reads per item by quarter 8.583 8.583 7.629 5.722 (flat uniform 7.629)
|
||||
[2026-10-07T20:33:46Z] 31250 warps (1000000 nonces) interpreted in 2.3 s (2.354 ms per warp per thread); Epoch::hash_warp agreement on 95 warps: 0 mismatches
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 distinct lines per hash: n 1000000 min 1014 p1 1023 median 1024 p99 1024 max 1024 mean 1023.8720
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 distinct items per hash: n 1000000 min 127 p1 128 median 128 p99 128 max 128 mean 127.9995
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 distinct lines per warp: n 31250 min 32575 p1 32605 median 32637 p99 32664 max 32681 mean 32636.3203
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 distinct items per warp: n 31250 min 4091 p1 4093 median 4096 p99 4096 max 4096 mean 4095.4904
|
||||
[2026-10-07T20:33:46Z] uniform expectation: distinct lines per hash 1023.875 of 1024 reads, per warp 32640.3 of 32768 reads (2^22 lines); distinct items per hash 127.9995 of 128, per warp 4095.50 of 4096 (2^24 items)
|
||||
[2026-10-07T20:33:46Z] positions: largest hi16-bucket (256 items) share 0.0103% at p66 (iteration 4, site 2, instr 5); windowed expectation 0.0061%; largest saturated-source share 0.0000% at p0 (site 0, instr 1)
|
||||
[2026-10-07T20:33:46Z] acceptance-style (2,048 evaluations, the rule's sample size): the most repeated address at one position 2 of 2048 at p65 (site 1, instr 2); saturated sources at one position 0 of 2048 at p0 (site 0, instr 1); uniform expectation: repeats 1 to 2, saturated 0
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 item histogram (flat): bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 27 (bin 5140233) z_max +7.01 min 0 z_min -2.76 chi2/dof 1.17886 chi2_z +518.04 top0.1% 0.25388% top0.5% 1.14684% top1% 2.18129%
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 item histogram against the window density: full 2^24 chi2/dof 0.99986 largest 23 (item 0xd5e71c) at +7.22 sigma smallest at -2.93; buckets64 chi2/dof 1.00300 largest 661 (bucket 96941) at +4.77 sigma smallest at -4.27
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 WINDOWED CONTROL item histogram (flat): bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 29 (bin 117744) z_max +7.74 min 0 z_min -2.76 chi2/dof 1.17884 chi2_z +517.97 top0.1% 0.25370% top0.5% 1.14703% top1% 2.18148%
|
||||
[2026-10-07T20:33:46Z] adv3-steer-3296 WINDOWED CONTROL against the window density: full chi2/dof 0.99983 largest +6.97 sigma; buckets64 chi2/dof 0.99693 largest +5.01 smallest -4.54
|
||||
[2026-10-07T20:33:46Z] 6-sigma adv3-steer-3296 items buckets64 against the window density: largest bucket +4.77 sigma, smallest -4.27 -> within 6 sigma
|
||||
[2026-10-07T20:33:46Z] hot-set adv3-steer-3296 items (windowed control): f 0.1% S_f 0.25388% E_f(control) 0.25370% X_f +0.00019% X_f/f +0.0019 -> no hot set
|
||||
[2026-10-07T20:33:46Z] hot-set adv3-steer-3296 items (windowed control): f 0.5% S_f 1.14684% E_f(control) 1.14703% X_f -0.00019% X_f/f -0.0004 -> no hot set
|
||||
[2026-10-07T20:33:46Z] hot-set adv3-steer-3296 items (windowed control): f 1.0% S_f 2.18129% E_f(control) 2.18148% X_f -0.00019% X_f/f -0.0002 -> no hot set
|
||||
[2026-10-07T20:33:46Z] hot-set adv3-steer-3296 items (windowed control): verdict clear
|
||||
[2026-10-07T20:33:47Z] adv3-steer-3296 FLAT CONTROL item histogram: bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 26 (bin 12109193) z_max +6.65 min 0 z_min -2.76 chi2/dof 0.99996 chi2_z -0.10 top0.1% 0.24311% top0.5% 1.09952% top1% 2.08808%
|
||||
[2026-10-07T20:33:47Z] hot-set adv3-steer-3296 items (flat control, the auditor's first view): f 0.1% S_f 0.25388% E_f(control) 0.24311% X_f +0.01078% X_f/f +0.1078 -> no hot set
|
||||
[2026-10-07T20:33:47Z] hot-set adv3-steer-3296 items (flat control, the auditor's first view): f 0.5% S_f 1.14684% E_f(control) 1.09952% X_f +0.04732% X_f/f +0.0946 -> no hot set
|
||||
[2026-10-07T20:33:47Z] hot-set adv3-steer-3296 items (flat control, the auditor's first view): f 1.0% S_f 2.18129% E_f(control) 2.08808% X_f +0.09321% X_f/f +0.0932 -> no hot set
|
||||
[2026-10-07T20:33:47Z] hot-set adv3-steer-3296 items (flat control, the auditor's first view): verdict clear
|
||||
[2026-10-07T20:33:47Z] ratio adv3-steer-3296: top 0.1% / 0.5% / 1% share over the WINDOW-MODEL control 1.0007x / 0.9998x / 0.9999x (gate 1.2x at 0.1%: within); over the FLAT control 1.0443x / 1.0430x / 1.0446x
|
||||
[2026-10-07T20:33:48Z] attribution: hot threshold count >= 18 marks 32006 items (0.1908% of items) holding 599093 reads (0.4680% of reads); top 8 items t=0x4e6f09:27 t=0x7637c8:26 t=0x4d772a:26 t=0x436574:26 t=0x39538f:26 t=0x25ff65:26 t=0x20cc82:26 t=0x9ea001:25
|
||||
[2026-10-07T20:33:49Z] attribution: reads on hot items per position (flat expectation 0.1908% of each position's 1000000 reads); the 24 largest: p120(it7 s8)=0.744% p41(it2 s9)=0.744% p65(it4 s1)=0.742% p31(it1 s15)=0.739% p1(it0 s1)=0.737% p24(it1 s8)=0.737% p17(it1 s1)=0.736% p72(it4 s8)=0.736% p109(it6 s13)=0.735% p47(it2 s15)=0.734% p79(it4 s15)=0.734% p93(it5 s13)=0.733% p8(it0 s8)=0.732% p40(it2 s8)=0.731% p127(it7 s15)=0.731% p104(it6 s8)=0.731% p25(it1 s9)=0.730% p125(it7 s13)=0.730% p95(it5 s15)=0.730% p57(it3 s9)=0.730% p29(it1 s13)=0.730% p49(it3 s1)=0.730% p15(it0 s15)=0.727% p97(it6 s1)=0.726%
|
||||
[2026-10-07T20:33:49Z] attribution: hot reads by iteration it0=0.469% it1=0.469% it2=0.469% it3=0.468% it4=0.469% it5=0.466% it6=0.467% it7=0.467% ; by site s0=0.116% s1=0.730% s2=0.226% s3=0.421% s4=0.424% s5=0.421% s6=0.425% s7=0.423% s8=0.733% s9=0.725% s10=0.425% s11=0.423% s12=0.118% s13=0.727% s14=0.422% s15=0.731%
|
||||
[2026-10-07T20:33:49Z] site 0 (instr 1, src r4, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.1163% (flat expectation 0.1908%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0040% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:49Z] site 1 (instr 2, src r7, k_off 2 offset 0, window 2^22 items): share of its reads into the top 0.1% 0.7296% (flat expectation 0.1908%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0072% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:49Z] site 2 (instr 5, src r1, k_off 2 offset 2, window 2^22 items): share of its reads into the top 0.1% 0.2256% (flat expectation 0.1908%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0075% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:49Z] site 3 (instr 8, src r4, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4211% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 4 (instr 9, src r2, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4236% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 5 (instr 11, src r2, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4210% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 6 (instr 18, src r5, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4246% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 7 (instr 19, src r1, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4234% (flat expectation 0.1908%); index entropy 15.993 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 8 (instr 24, src r2, k_off 1 offset 0, window 2^23 items): share of its reads into the top 0.1% 0.7325% (flat expectation 0.1908%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0038% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:49Z] site 9 (instr 28, src r3, k_off 2 offset 1, window 2^22 items): share of its reads into the top 0.1% 0.7255% (flat expectation 0.1908%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0072% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:49Z] site 10 (instr 32, src r6, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4247% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 11 (instr 48, src r0, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4228% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 12 (instr 52, src r6, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.1178% (flat expectation 0.1908%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:49Z] site 13 (instr 56, src r5, k_off 1 offset 0, window 2^23 items): share of its reads into the top 0.1% 0.7271% (flat expectation 0.1908%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:49Z] site 14 (instr 57, src r4, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.4222% (flat expectation 0.1908%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:49Z] site 15 (instr 62, src r1, k_off 1 offset 0, window 2^23 items): share of its reads into the top 0.1% 0.7308% (flat expectation 0.1908%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x4e6f09 (27 reads) read from positions p73(it4 s9)x3 p121(it7 s9)x3 p39(it2 s7)x2 p105(it6 s9)x2 p5(it0 s5)x1 p9(it0 s9)x1 p10(it0 s10)x1 p11(it0 s11)x1 p15(it0 s15)x1 p19(it1 s3)x1 p26(it1 s10)x1 p29(it1 s13)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x7637c8 (26 reads) read from positions p29(it1 s13)x2 p91(it5 s11)x2 p100(it6 s4)x2 p105(it6 s9)x2 p7(it0 s7)x1 p8(it0 s8)x1 p22(it1 s6)x1 p23(it1 s7)x1 p25(it1 s9)x1 p37(it2 s5)x1 p42(it2 s10)x1 p45(it2 s13)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x4d772a (26 reads) read from positions p25(it1 s9)x2 p54(it3 s6)x2 p55(it3 s7)x2 p57(it3 s9)x2 p11(it0 s11)x1 p20(it1 s4)x1 p21(it1 s5)x1 p23(it1 s7)x1 p24(it1 s8)x1 p29(it1 s13)x1 p31(it1 s15)x1 p35(it2 s3)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x436574 (26 reads) read from positions p115(it7 s3)x2 p121(it7 s9)x2 p4(it0 s4)x1 p6(it0 s6)x1 p11(it0 s11)x1 p13(it0 s13)x1 p20(it1 s4)x1 p36(it2 s4)x1 p37(it2 s5)x1 p40(it2 s8)x1 p41(it2 s9)x1 p57(it3 s9)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x39538f (26 reads) read from positions p1(it0 s1)x2 p51(it3 s3)x2 p4(it0 s4)x1 p6(it0 s6)x1 p13(it0 s13)x1 p17(it1 s1)x1 p24(it1 s8)x1 p29(it1 s13)x1 p31(it1 s15)x1 p45(it2 s13)x1 p49(it3 s1)x1 p54(it3 s6)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x25ff65 (26 reads) read from positions p22(it1 s6)x2 p31(it1 s15)x2 p61(it3 s13)x2 p1(it0 s1)x1 p11(it0 s11)x1 p13(it0 s13)x1 p15(it0 s15)x1 p29(it1 s13)x1 p37(it2 s5)x1 p43(it2 s11)x1 p47(it2 s15)x1 p49(it3 s1)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x20cc82 (26 reads) read from positions p40(it2 s8)x2 p56(it3 s8)x2 p68(it4 s4)x2 p77(it4 s13)x2 p15(it0 s15)x1 p20(it1 s4)x1 p21(it1 s5)x1 p22(it1 s6)x1 p29(it1 s13)x1 p33(it2 s1)x1 p39(it2 s7)x1 p45(it2 s13)x1
|
||||
[2026-10-07T20:33:49Z] attribution: item 0x9ea001 (25 reads) read from positions p2(it0 s2)x2 p34(it2 s2)x2 p50(it3 s2)x2 p108(it6 s12)x2 p114(it7 s2)x2 p124(it7 s12)x2 p12(it0 s12)x1 p14(it0 s14)x1 p18(it1 s2)x1 p22(it1 s6)x1 p23(it1 s7)x1 p48(it3 s0)x1
|
||||
[2026-10-07T20:33:49Z] hottest item adv3-steer-3296 (0x4e6f09): 27 reads (0.0000% of all); predicted source none
|
||||
[2026-10-07T20:33:49Z] program adv3-steer-3296 DONE: 1000000 nonces; 6-sigma (windowed) clear; hot-set clear; verdict PASS (no test fired)
|
||||
lease: released 32 pool cores after 10 s, exit 0
|
||||
=== 20:33:49 seed-4388 nonces 1000000
|
||||
lease: holding 32 pool cores (64,65,66,67,68,69,70,71,72,73,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 f8 live seed-4388 1000000
|
||||
[2026-10-07T20:33:49Z] attack-f8 0.1.0 (igneum-pow 4); args ["warps", "--program", "1000004388", "--day", "20733", "--nonces", "1000000", "--threads", "32", "--out", "/srv/builds/_adv-accept-3/f8", "--validate", "sample", "--diag", "1"]
|
||||
[2026-10-07T20:33:49Z] census warps: programs [1000004388] day 20733 nonces 1000000 threads 32 plant none validate sample check_every 997 diag true
|
||||
[2026-10-07T20:33:50Z] day 20733: cache filled in 0.54 s, fnv 7334fa46e5d972eb
|
||||
[2026-10-07T20:33:51Z] table: 16777216 items derived with their 8 lines in 1.3 s; library comparison sample (0 mismatches)
|
||||
[2026-10-07T20:33:54Z] program adv3-steer-4388: epoch seed 20b0086189704d4329fb1b7963851e01e6ae0eee8fd936d282c0032b25e00d54 era seed 4020cb4382e3fe4b281c817c02582e147d8f851f566ae9172b28912b8e68b925 id 5cd329c25bc6986b attempt 0 class mx8-eraaf3a9139+sh256x27 op mix load=16 add=10 xor=7 mul=5 rotl=5 sub=5 mad=4 mulhi=3 or=3 rotr=3 shfl=3; era stride mul 0x2cb18b35 rot 9 interleave [1, 9, 13, 14] windows 5:0:0 9:1:1 15:0:0 16:0:0 17:2:0 18:2:1 19:2:2 25:0:0 26:0:0 27:1:0 34:1:1 39:2:3 43:1:1 47:0:0 48:0:0 60:0:0
|
||||
[2026-10-07T20:33:54Z] load site instr 5: src r7 win 0 off 0; last base writer shfl at 1; writers back to the last injecting one: shfl@1; shadow writes of r7 per rep: add=4 mad=2 mul=3 mulhi=5 rotl=2 rotr=2 shfl=3 xor=2
|
||||
[2026-10-07T20:33:54Z] load site instr 9: src r3 win 1 off 1; last base writer xor at 8; writers back to the last injecting one: xor@8; shadow writes of r3 per rep: add=3 mad=5 mul=4 mulhi=4 or=1 rotl=3 rotr=2 shfl=5 sub=5 xor=5
|
||||
[2026-10-07T20:33:54Z] load site instr 15: src r0 win 0 off 0; last base writer load at 9; writers back to the last injecting one: load@9; shadow writes of r0 per rep: add=2 mad=2 mul=3 mulhi=4 or=2 rotl=4 rotr=1 shfl=2 sub=4 xor=4
|
||||
[2026-10-07T20:33:54Z] load site instr 16: src r7 win 0 off 0; last base writer rotr at 13; writers back to the last injecting one: rotr@13 mad@7; shadow writes of r7 per rep: add=4 mad=2 mul=3 mulhi=5 rotl=2 rotr=2 shfl=3 xor=2
|
||||
[2026-10-07T20:33:54Z] load site instr 17: src r5 win 2 off 0; last base writer load at 5; writers back to the last injecting one: load@5; shadow writes of r5 per rep: add=3 mad=2 mul=1 mulhi=2 or=1 rotl=5 rotr=1 shfl=4 sub=2 xor=5
|
||||
[2026-10-07T20:33:54Z] load site instr 18: src r2 win 2 off 1; last base writer add at 11; writers back to the last injecting one: add@11; shadow writes of r2 per rep: add=3 mad=2 mul=1 mulhi=4 rotl=3 rotr=1 shfl=6 sub=3 xor=3
|
||||
[2026-10-07T20:33:54Z] load site instr 19: src r4 win 2 off 2; last base writer load at 15; writers back to the last injecting one: load@15; shadow writes of r4 per rep: add=3 mad=1 mulhi=5 or=1 rotl=2 rotr=1 shfl=3 sub=2 xor=6
|
||||
[2026-10-07T20:33:54Z] load site instr 25: src r5 win 0 off 0; last base writer sub at 23; writers back to the last injecting one: sub@23; shadow writes of r5 per rep: add=3 mad=2 mul=1 mulhi=2 or=1 rotl=5 rotr=1 shfl=4 sub=2 xor=5
|
||||
[2026-10-07T20:33:54Z] load site instr 26: src r6 win 0 off 0; last base writer rotr at 22; writers back to the last injecting one: rotr@22 or@63 mul@56 rotl@46 xor@36; shadow writes of r6 per rep: add=7 mad=4 mul=8 mulhi=3 or=5 rotl=4 rotr=3 shfl=3 sub=6 xor=7
|
||||
[2026-10-07T20:33:54Z] load site instr 27: src r0 win 1 off 0; last base writer xor at 21; writers back to the last injecting one: xor@21; shadow writes of r0 per rep: add=2 mad=2 mul=3 mulhi=4 or=2 rotl=4 rotr=1 shfl=2 sub=4 xor=4
|
||||
[2026-10-07T20:33:54Z] load site instr 34: src r0 win 1 off 1; last base writer add at 33; writers back to the last injecting one: add@33; shadow writes of r0 per rep: add=2 mad=2 mul=3 mulhi=4 or=2 rotl=4 rotr=1 shfl=2 sub=4 xor=4
|
||||
[2026-10-07T20:33:54Z] load site instr 39: src r6 win 2 off 3; last base writer xor at 36; writers back to the last injecting one: xor@36; shadow writes of r6 per rep: add=7 mad=4 mul=8 mulhi=3 or=5 rotl=4 rotr=3 shfl=3 sub=6 xor=7
|
||||
[2026-10-07T20:33:54Z] load site instr 43: src r7 win 1 off 1; last base writer rotl at 41; writers back to the last injecting one: rotl@41 load@34; shadow writes of r7 per rep: add=4 mad=2 mul=3 mulhi=5 rotl=2 rotr=2 shfl=3 xor=2
|
||||
[2026-10-07T20:33:54Z] load site instr 47: src r6 win 0 off 0; last base writer rotl at 46; writers back to the last injecting one: rotl@46 xor@36; shadow writes of r6 per rep: add=7 mad=4 mul=8 mulhi=3 or=5 rotl=4 rotr=3 shfl=3 sub=6 xor=7
|
||||
[2026-10-07T20:33:54Z] load site instr 48: src r1 win 0 off 0; last base writer sub at 44; writers back to the last injecting one: sub@44; shadow writes of r1 per rep: add=5 mad=7 mul=3 mulhi=6 or=1 rotl=6 rotr=4 shfl=6 sub=3 xor=1
|
||||
[2026-10-07T20:33:54Z] load site instr 60: src r2 win 0 off 0; last base writer shfl at 58; writers back to the last injecting one: shfl@58; shadow writes of r2 per rep: add=3 mad=2 mul=1 mulhi=4 rotl=3 rotr=1 shfl=6 sub=3 xor=3
|
||||
[2026-10-07T20:33:54Z] window layer: site item windows (first, items) (0x0,2^24) (0x800000,2^23) (0x0,2^24) (0x0,2^24) (0x0,2^22) (0x400000,2^22) (0x800000,2^22) (0x0,2^24) (0x0,2^24) (0x0,2^23) (0x800000,2^23) (0xc00000,2^22) (0x800000,2^23) (0x0,2^24) (0x0,2^24) (0x0,2^24); expected reads per item by quarter 6.676 6.676 8.583 8.583 (flat uniform 7.629)
|
||||
[2026-10-07T20:33:56Z] 31250 warps (1000000 nonces) interpreted in 2.4 s (2.408 ms per warp per thread); Epoch::hash_warp agreement on 95 warps: 0 mismatches
|
||||
[2026-10-07T20:33:56Z] adv3-steer-4388 distinct lines per hash: n 1000000 min 1014 p1 1023 median 1024 p99 1024 max 1024 mean 1023.8712
|
||||
[2026-10-07T20:33:56Z] adv3-steer-4388 distinct items per hash: n 1000000 min 127 p1 128 median 128 p99 128 max 128 mean 127.9995
|
||||
[2026-10-07T20:33:56Z] adv3-steer-4388 distinct lines per warp: n 31250 min 32570 p1 32605 median 32637 p99 32664 max 32680 mean 32636.2337
|
||||
[2026-10-07T20:33:56Z] adv3-steer-4388 distinct items per warp: n 31250 min 4091 p1 4093 median 4096 p99 4096 max 4096 mean 4095.4882
|
||||
[2026-10-07T20:33:56Z] uniform expectation: distinct lines per hash 1023.875 of 1024 reads, per warp 32640.3 of 32768 reads (2^22 lines); distinct items per hash 127.9995 of 128, per warp 4095.50 of 4096 (2^24 items)
|
||||
[2026-10-07T20:33:56Z] positions: largest hi16-bucket (256 items) share 0.0103% at p52 (iteration 3, site 4, instr 17); windowed expectation 0.0061%; largest saturated-source share 0.0000% at p0 (site 0, instr 5)
|
||||
[2026-10-07T20:33:56Z] acceptance-style (2,048 evaluations, the rule's sample size): the most repeated address at one position 2 of 2048 at p22 (site 6, instr 19); saturated sources at one position 0 of 2048 at p0 (site 0, instr 5); uniform expectation: repeats 1 to 2, saturated 0
|
||||
[2026-10-07T20:33:57Z] adv3-steer-4388 item histogram (flat): bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 28 (bin 12109433) z_max +7.37 min 0 z_min -2.76 chi2/dof 1.11949 chi2_z +346.07 top0.1% 0.25266% top0.5% 1.13981% top1% 2.16578%
|
||||
[2026-10-07T20:33:57Z] adv3-steer-4388 item histogram against the window density: full 2^24 chi2/dof 1.00044 largest 24 (item 0x25ea2d) at +6.71 sigma smallest at -2.93; buckets64 chi2/dof 1.00467 largest 526 (bucket 102954) at +4.78 sigma smallest at -4.75
|
||||
[2026-10-07T20:33:57Z] adv3-steer-4388 WINDOWED CONTROL item histogram (flat): bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 27 (bin 9886499) z_max +7.01 min 0 z_min -2.76 chi2/dof 1.11933 chi2_z +345.62 top0.1% 0.25248% top0.5% 1.13965% top1% 2.16545%
|
||||
[2026-10-07T20:33:57Z] adv3-steer-4388 WINDOWED CONTROL against the window density: full chi2/dof 1.00025 largest +6.32 sigma; buckets64 chi2/dof 0.99683 largest +4.77 smallest -4.32
|
||||
[2026-10-07T20:33:57Z] 6-sigma adv3-steer-4388 items buckets64 against the window density: largest bucket +4.78 sigma, smallest -4.75 -> within 6 sigma
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (windowed control): f 0.1% S_f 0.25266% E_f(control) 0.25248% X_f +0.00018% X_f/f +0.0018 -> no hot set
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (windowed control): f 0.5% S_f 1.13981% E_f(control) 1.13965% X_f +0.00016% X_f/f +0.0003 -> no hot set
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (windowed control): f 1.0% S_f 2.16578% E_f(control) 2.16545% X_f +0.00032% X_f/f +0.0003 -> no hot set
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (windowed control): verdict clear
|
||||
[2026-10-07T20:33:57Z] adv3-steer-4388 FLAT CONTROL item histogram: bins 16777216 reads 128000000 mean 7.629 sigma 2.762 max 26 (bin 1924820) z_max +6.65 min 0 z_min -2.76 chi2/dof 0.99992 chi2_z -0.22 top0.1% 0.24314% top0.5% 1.09959% top1% 2.08798%
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (flat control, the auditor's first view): f 0.1% S_f 0.25266% E_f(control) 0.24314% X_f +0.00952% X_f/f +0.0952 -> no hot set
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (flat control, the auditor's first view): f 0.5% S_f 1.13981% E_f(control) 1.09959% X_f +0.04022% X_f/f +0.0804 -> no hot set
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (flat control, the auditor's first view): f 1.0% S_f 2.16578% E_f(control) 2.08798% X_f +0.07780% X_f/f +0.0778 -> no hot set
|
||||
[2026-10-07T20:33:57Z] hot-set adv3-steer-4388 items (flat control, the auditor's first view): verdict clear
|
||||
[2026-10-07T20:33:57Z] ratio adv3-steer-4388: top 0.1% / 0.5% / 1% share over the WINDOW-MODEL control 1.0007x / 1.0001x / 1.0002x (gate 1.2x at 0.1%: within); over the FLAT control 1.0392x / 1.0366x / 1.0373x
|
||||
[2026-10-07T20:33:58Z] attribution: hot threshold count >= 18 marks 29642 items (0.1767% of items) holding 554974 reads (0.4336% of reads); top 8 items t=0xc7f6bf:28 t=0xb8c679:28 t=0xa4db21:27 t=0xfad7f3:26 t=0xf8d9a0:26 t=0xdb8337:26 t=0xac44da:26 t=0xa73c1d:26
|
||||
[2026-10-07T20:33:59Z] attribution: reads on hot items per position (flat expectation 0.1767% of each position's 1000000 reads); the 24 largest: p124(it7 s12)=0.748% p10(it0 s10)=0.740% p59(it3 s11)=0.738% p74(it4 s10)=0.737% p118(it7 s6)=0.736% p38(it2 s6)=0.735% p97(it6 s1)=0.735% p102(it6 s6)=0.734% p1(it0 s1)=0.734% p92(it5 s12)=0.734% p91(it5 s11)=0.733% p26(it1 s10)=0.731% p44(it2 s12)=0.731% p12(it0 s12)=0.730% p60(it3 s12)=0.729% p81(it5 s1)=0.729% p43(it2 s11)=0.728% p75(it4 s11)=0.728% p106(it6 s10)=0.728% p58(it3 s10)=0.727% p33(it2 s1)=0.727% p108(it6 s12)=0.727% p28(it1 s12)=0.726% p86(it5 s6)=0.724%
|
||||
[2026-10-07T20:33:59Z] attribution: hot reads by iteration it0=0.435% it1=0.433% it2=0.434% it3=0.435% it4=0.431% it5=0.434% it6=0.432% it7=0.435% ; by site s0=0.388% s1=0.725% s2=0.396% s3=0.394% s4=0.058% s5=0.055% s6=0.726% s7=0.391% s8=0.391% s9=0.057% s10=0.727% s11=0.725% s12=0.730% s13=0.393% s14=0.390% s15=0.391%
|
||||
[2026-10-07T20:33:59Z] site 0 (instr 5, src r7, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3884% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 1 (instr 9, src r3, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.7252% (flat expectation 0.1767%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0038% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:59Z] site 2 (instr 15, src r0, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3957% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0021% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 3 (instr 16, src r7, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3945% (flat expectation 0.1767%); index entropy 15.992 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0024% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 4 (instr 17, src r5, k_off 2 offset 0, window 2^22 items): share of its reads into the top 0.1% 0.0578% (flat expectation 0.1767%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0072% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:59Z] site 5 (instr 18, src r2, k_off 2 offset 1, window 2^22 items): share of its reads into the top 0.1% 0.0552% (flat expectation 0.1767%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0075% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:59Z] site 6 (instr 19, src r4, k_off 2 offset 2, window 2^22 items): share of its reads into the top 0.1% 0.7264% (flat expectation 0.1767%); index entropy 13.999 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0071% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:59Z] site 7 (instr 25, src r5, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3909% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 8 (instr 26, src r6, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3906% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 9 (instr 27, src r0, k_off 1 offset 0, window 2^23 items): share of its reads into the top 0.1% 0.0570% (flat expectation 0.1767%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:59Z] site 10 (instr 34, src r0, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.7268% (flat expectation 0.1767%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:59Z] site 11 (instr 39, src r6, k_off 2 offset 3, window 2^22 items): share of its reads into the top 0.1% 0.7246% (flat expectation 0.1767%); index entropy 13.998 bits of 14 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0073% (window expectation 0.0061%)
|
||||
[2026-10-07T20:33:59Z] site 12 (instr 43, src r7, k_off 1 offset 1, window 2^23 items): share of its reads into the top 0.1% 0.7302% (flat expectation 0.1767%); index entropy 14.997 bits of 15 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0039% (window expectation 0.0031%)
|
||||
[2026-10-07T20:33:59Z] site 13 (instr 47, src r6, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3926% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 14 (instr 48, src r1, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3898% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] site 15 (instr 60, src r2, k_off 0 offset 0, window 2^24 items): share of its reads into the top 0.1% 0.3913% (flat expectation 0.1767%); index entropy 15.994 bits of 16 uniform-on-window; saturated source 0.0000%; largest 256-item bucket 0.0022% (window expectation 0.0015%)
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xc7f6bf (28 reads) read from positions p43(it2 s11)x4 p113(it7 s1)x3 p49(it3 s1)x2 p90(it5 s10)x2 p19(it1 s3)x1 p23(it1 s7)x1 p26(it1 s10)x1 p27(it1 s11)x1 p40(it2 s8)x1 p42(it2 s10)x1 p55(it3 s7)x1 p83(it5 s3)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xb8c679 (28 reads) read from positions p118(it7 s6)x3 p60(it3 s12)x2 p102(it6 s6)x2 p108(it6 s12)x2 p3(it0 s3)x1 p12(it0 s12)x1 p38(it2 s6)x1 p46(it2 s14)x1 p54(it3 s6)x1 p63(it3 s15)x1 p65(it4 s1)x1 p76(it4 s12)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xa4db21 (27 reads) read from positions p61(it3 s13)x2 p70(it4 s6)x2 p90(it5 s10)x2 p97(it6 s1)x2 p8(it0 s8)x1 p12(it0 s12)x1 p16(it1 s0)x1 p17(it1 s1)x1 p29(it1 s13)x1 p42(it2 s10)x1 p47(it2 s15)x1 p58(it3 s10)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xfad7f3 (26 reads) read from positions p42(it2 s10)x2 p92(it5 s12)x2 p113(it7 s1)x2 p1(it0 s1)x1 p10(it0 s10)x1 p11(it0 s11)x1 p16(it1 s0)x1 p23(it1 s7)x1 p26(it1 s10)x1 p46(it2 s14)x1 p48(it3 s0)x1 p74(it4 s10)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xf8d9a0 (26 reads) read from positions p91(it5 s11)x3 p12(it0 s12)x2 p18(it1 s2)x2 p35(it2 s3)x2 p59(it3 s11)x2 p93(it5 s13)x2 p33(it2 s1)x1 p34(it2 s2)x1 p44(it2 s12)x1 p51(it3 s3)x1 p60(it3 s12)x1 p66(it4 s2)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xdb8337 (26 reads) read from positions p28(it1 s12)x2 p124(it7 s12)x2 p7(it0 s7)x1 p10(it0 s10)x1 p12(it0 s12)x1 p23(it1 s7)x1 p27(it1 s11)x1 p29(it1 s13)x1 p32(it2 s0)x1 p45(it2 s13)x1 p46(it2 s14)x1 p48(it3 s0)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xac44da (26 reads) read from positions p17(it1 s1)x2 p44(it2 s12)x2 p70(it4 s6)x2 p108(it6 s12)x2 p3(it0 s3)x1 p10(it0 s10)x1 p12(it0 s12)x1 p28(it1 s12)x1 p50(it3 s2)x1 p54(it3 s6)x1 p64(it4 s0)x1 p66(it4 s2)x1
|
||||
[2026-10-07T20:33:59Z] attribution: item 0xa73c1d (26 reads) read from positions p12(it0 s12)x2 p33(it2 s1)x2 p70(it4 s6)x2 p92(it5 s12)x2 p99(it6 s3)x2 p2(it0 s2)x1 p6(it0 s6)x1 p10(it0 s10)x1 p16(it1 s0)x1 p22(it1 s6)x1 p26(it1 s10)x1 p42(it2 s10)x1
|
||||
[2026-10-07T20:33:59Z] hottest item adv3-steer-4388 (0xc7f6bf): 28 reads (0.0000% of all); predicted source none
|
||||
[2026-10-07T20:33:59Z] program adv3-steer-4388 DONE: 1000000 nonces; 6-sigma (windowed) clear; hot-set clear; verdict PASS (no test fired)
|
||||
lease: released 32 pool cores after 11 s, exit 0
|
||||
=== 20:34:00 seed-2653 nonces 16777216
|
||||
lease: holding 32 pool cores (64,65,66,67,68,69,70,71,72,73,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 f8 live seed-2653 16777216
|
||||
[2026-10-07T20:34:00Z] attack-f8 0.1.0 (igneum-pow 4); args ["warps", "--program", "1000002653", "--day", "20733", "--nonces", "16777216", "--threads", "32", "--out", "/srv/builds/_adv-accept-3/f8", "--validate", "sample", "--diag", "1"]
|
||||
[2026-10-07T20:34:00Z] census warps: programs [1000002653] day 20733 nonces 16777216 threads 32 plant none validate sample check_every 997 diag true
|
||||
[2026-10-07T20:34:00Z] day 20733: cache filled in 0.39 s, fnv 7334fa46e5d972eb
|
||||
[2026-10-07T20:34:02Z] table: 16777216 items derived with their 8 lines in 1.7 s; library comparison sample (0 mismatches)
|
||||
[2026-10-07T20:34:05Z] program adv3-steer-2653: epoch seed a216f71e7c11594e74382f7deae364bb11532bac159632bc61d07144ef27c1d4 era seed 4020cb4382e3fe4b281c817c02582e147d8f851f566ae9172b28912b8e68b925 id d56075ecc196a9ec attempt 3 class mx8-eraaf3a9139+sh256x27 op mix load=16 xor=9 mul=7 mulhi=7 sub=7 add=4 mad=4 rotl=3 rotr=3 or=2 shfl=2; era stride mul 0x2cb18b35 rot 9 interleave [1, 9, 13, 14] windows 4:2:0 5:0:0 8:2:3 19:0:0 21:0:0 25:1:1 29:2:2 30:2:1 37:1:0 39:2:1 40:2:3 41:0:0 51:1:1 52:0:0 54:1:1 58:1:0
|
||||
[2026-10-07T20:34:05Z] load site instr 4: src r2 win 2 off 0; last base writer xor at 3; writers back to the last injecting one: xor@3; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 5: src r5 win 0 off 0; last base writer mad at 2; writers back to the last injecting one: mad@2; shadow writes of r5 per rep: add=4 mad=4 mul=2 mulhi=2 rotl=5 rotr=1 shfl=2 sub=2 xor=3
|
||||
[2026-10-07T20:34:05Z] load site instr 8: src r3 win 2 off 3; last base writer xor at 7; writers back to the last injecting one: xor@7; shadow writes of r3 per rep: add=5 mad=7 mul=5 mulhi=3 rotl=3 shfl=3 sub=2 xor=4
|
||||
[2026-10-07T20:34:05Z] load site instr 19: src r2 win 0 off 0; last base writer mad at 16; writers back to the last injecting one: mad@16; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 21: src r7 win 0 off 0; last base writer load at 19; writers back to the last injecting one: load@19; shadow writes of r7 per rep: add=8 mad=5 mul=4 mulhi=3 or=1 rotl=3 rotr=2 shfl=5 sub=3 xor=7
|
||||
[2026-10-07T20:34:05Z] load site instr 25: src r2 win 1 off 1; last base writer rotr at 24; writers back to the last injecting one: rotr@24 xor@22; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 29: src r3 win 2 off 2; last base writer load at 25; writers back to the last injecting one: load@25; shadow writes of r3 per rep: add=5 mad=7 mul=5 mulhi=3 rotl=3 shfl=3 sub=2 xor=4
|
||||
[2026-10-07T20:34:05Z] load site instr 30: src r1 win 2 off 1; last base writer add at 27; writers back to the last injecting one: add@27; shadow writes of r1 per rep: add=2 mad=4 mul=5 mulhi=2 or=2 rotl=6 rotr=4 shfl=6 sub=4 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 37: src r3 win 1 off 0; last base writer sub at 34; writers back to the last injecting one: sub@34; shadow writes of r3 per rep: add=5 mad=7 mul=5 mulhi=3 rotl=3 shfl=3 sub=2 xor=4
|
||||
[2026-10-07T20:34:05Z] load site instr 39: src r7 win 2 off 1; last base writer xor at 35; writers back to the last injecting one: xor@35; shadow writes of r7 per rep: add=8 mad=5 mul=4 mulhi=3 or=1 rotl=3 rotr=2 shfl=5 sub=3 xor=7
|
||||
[2026-10-07T20:34:05Z] load site instr 40: src r5 win 2 off 3; last base writer load at 30; writers back to the last injecting one: load@30; shadow writes of r5 per rep: add=4 mad=4 mul=2 mulhi=2 rotl=5 rotr=1 shfl=2 sub=2 xor=3
|
||||
[2026-10-07T20:34:05Z] load site instr 41: src r6 win 0 off 0; last base writer load at 37; writers back to the last injecting one: load@37; shadow writes of r6 per rep: add=5 mul=7 mulhi=2 or=3 rotl=3 rotr=3 shfl=2 sub=3 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 51: src r5 win 1 off 1; last base writer xor at 43; writers back to the last injecting one: xor@43; shadow writes of r5 per rep: add=4 mad=4 mul=2 mulhi=2 rotl=5 rotr=1 shfl=2 sub=2 xor=3
|
||||
[2026-10-07T20:34:05Z] load site instr 52: src r6 win 0 off 0; last base writer sub at 42; writers back to the last injecting one: sub@42; shadow writes of r6 per rep: add=5 mul=7 mulhi=2 or=3 rotl=3 rotr=3 shfl=2 sub=3 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 54: src r2 win 1 off 1; last base writer load at 52; writers back to the last injecting one: load@52; shadow writes of r2 per rep: add=8 mad=3 mul=4 mulhi=4 or=2 rotl=3 rotr=2 shfl=2 sub=2 xor=5
|
||||
[2026-10-07T20:34:05Z] load site instr 58: src r7 win 1 off 0; last base writer shfl at 48; writers back to the last injecting one: shfl@48; shadow writes of r7 per rep: add=8 mad=5 mul=4 mulhi=3 or=1 rotl=3 rotr=2 shfl=5 sub=3 xor=7
|
||||
[2026-10-07T20:34:05Z] window layer: site item windows (first, items) (0x0,2^22) (0x0,2^24) (0xc00000,2^22) (0x0,2^24) (0x0,2^24) (0x800000,2^23) (0x800000,2^22) (0x400000,2^22) (0x0,2^23) (0x400000,2^22) (0xc00000,2^22) (0x0,2^24) (0x800000,2^23) (0x0,2^24) (0x800000,2^23) (0x0,2^23); expected reads per item by quarter 104.000 136.000 120.000 152.000 (flat uniform 128.000)
|
||||
[2026-10-07T20:34:41Z] 524288 warps (16777216 nonces) interpreted in 36.5 s (2.229 ms per warp per thread); Epoch::hash_warp agreement on 589 warps: 0 mismatches
|
||||
[2026-10-07T20:34:41Z] adv3-steer-2653 distinct lines per hash: n 16777216 min 1008 p1 1023 median 1024 p99 1024 max 1024 mean 1023.8712
|
||||
[2026-10-07T20:34:41Z] adv3-steer-2653 distinct items per hash: n 16777216 min 126 p1 128 median 128 p99 128 max 128 mean 127.9995
|
||||
[2026-10-07T20:34:41Z] adv3-steer-2653 distinct lines per warp: n 524288 min 32555 p1 32605 median 32637 p99 32664 max 32686 mean 32636.2847
|
||||
[2026-10-07T20:34:41Z] adv3-steer-2653 distinct items per warp: n 524288 min 4090 p1 4093 median 4096 p99 4096 max 4096 mean 4095.4914
|
||||
[2026-10-07T20:34:41Z] uniform expectation: distinct lines per hash 1023.875 of 1024 reads, per warp 32640.3 of 32768 reads (2^22 lines); distinct items per hash 127.9995 of 128, per warp 4095.50 of 4096 (2^24 items)
|
||||
[2026-10-07T20:34:41Z] positions: largest hi16-bucket (256 items) share 0.0071% at p10 (iteration 0, site 10, instr 40); windowed expectation 0.0061%; largest saturated-source share 0.0000% at p0 (site 0, instr 4)
|
||||
[2026-10-07T20:34:41Z] acceptance-style (2,048 evaluations, the rule's sample size): the most repeated address at one position 2 of 2048 at p86 (site 6, instr 29); saturated sources at one position 0 of 2048 at p0 (site 0, instr 4); uniform expectation: repeats 1 to 2, saturated 0
|
||||
[2026-10-07T20:34:41Z] adv3-steer-2653 item histogram (flat): bins 16777216 reads 2147483648 mean 128.000 sigma 11.314 max 227 (bin 15747598) z_max +8.75 min 56 z_min -6.36 chi2/dof 3.50082 chi2_z +7243.13 top0.1% 0.14827% top0.5% 0.71362% top1% 1.40033%
|
||||
[2026-10-07T20:34:41Z] adv3-steer-2653 item histogram against the window density: full 2^24 chi2/dof 1.00116 largest 227 (item 0xf04a0e) at +6.08 sigma smallest at -5.19; buckets64 chi2/dof 1.06721 largest 10177 (bucket 200833) at +4.55 sigma smallest at -4.24
|
||||
[2026-10-07T20:34:43Z] adv3-steer-2653 WINDOWED CONTROL item histogram (flat): bins 16777216 reads 2147483648 mean 128.000 sigma 11.314 max 219 (bin 15413775) z_max +8.04 min 56 z_min -6.36 chi2/dof 3.50008 chi2_z +7240.99 top0.1% 0.14830% top0.5% 0.71371% top1% 1.40041%
|
||||
[2026-10-07T20:34:43Z] adv3-steer-2653 WINDOWED CONTROL against the window density: full chi2/dof 1.00060 largest +6.12 sigma; buckets64 chi2/dof 0.99635 largest +4.37 smallest -4.50
|
||||
[2026-10-07T20:34:43Z] 6-sigma adv3-steer-2653 items buckets64 against the window density: largest bucket +4.55 sigma, smallest -4.24 -> within 6 sigma
|
||||
[2026-10-07T20:34:43Z] hot-set adv3-steer-2653 items (windowed control): f 0.1% S_f 0.14827% E_f(control) 0.14830% X_f -0.00003% X_f/f -0.0003 -> no hot set
|
||||
[2026-10-07T20:34:43Z] hot-set adv3-steer-2653 items (windowed control): f 0.5% S_f 0.71362% E_f(control) 0.71371% X_f -0.00009% X_f/f -0.0002 -> no hot set
|
||||
[2026-10-07T20:34:43Z] hot-set adv3-steer-2653 items (windowed control): f 1.0% S_f 1.40033% E_f(control) 1.40041% X_f -0.00008% X_f/f -0.0001 -> no hot set
|
||||
[2026-10-07T20:34:43Z] hot-set adv3-steer-2653 items (windowed control): verdict clear
|
||||
[2026-10-07T20:34:45Z] adv3-steer-2653 FLAT CONTROL item histogram: bins 16777216 reads 2147483648 mean 128.000 sigma 11.314 max 194 (bin 436279) z_max +5.83 min 69 z_min -5.21 chi2/dof 1.00030 chi2_z +0.88 top0.1% 0.13107% top0.5% 0.63243% top1% 1.24329%
|
||||
[2026-10-07T20:34:45Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): f 0.1% S_f 0.14827% E_f(control) 0.13107% X_f +0.01720% X_f/f +0.1720 -> no hot set
|
||||
[2026-10-07T20:34:45Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): f 0.5% S_f 0.71362% E_f(control) 0.63243% X_f +0.08119% X_f/f +0.1624 -> no hot set
|
||||
[2026-10-07T20:34:45Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): f 1.0% S_f 1.40033% E_f(control) 1.24329% X_f +0.15704% X_f/f +0.1570 -> no hot set
|
||||
[2026-10-07T20:34:45Z] hot-set adv3-steer-2653 items (flat control, the auditor's first view): verdict clear
|
||||
[2026-10-07T20:34:45Z] ratio adv3-steer-2653: top 0.1% / 0.5% / 1% share over the WINDOW-MODEL control 0.9998x / 0.9999x / 0.9999x (gate 1.2x at 0.1%: within); over the FLAT control 1.1312x / 1.1284x / 1.1263x
|
||||
[2026-10-07T20:34:47Z] attribution: hot threshold count >= 186 marks 17520 items (0.1044% of items) holding 3322351 reads (0.1547% of reads); top 8 items t=0xf04a0e:227 t=0xf77070:218 t=0xf45f05:214 t=0xf15b6a:214 t=0xddee68:214 t=0xdaa594:214 t=0xca71e2:214 t=0xf2f964:213
|
||||
|
|
@ -8,7 +8,7 @@ internal adversarial pass, not an independent review
|
|||
- Logs: /srv/builds/_adv-accept-3/ on each box; copies in docs/analysis/cryptanalysis/logs/adv-accept-3/ on this branch.
|
||||
- Seed space: `seed_words_from_bytes("igneum-adv-accept-3/steer/<i>")` as 32 little-endian bytes (chain-shaped epoch seeds), era fixed to the Devnet 3 era bytes 4020cb43...b925 (the era is a 180-day constant the epoch attacker does not re-roll). Every program is drawn through the library's own attempt loop and rule.
|
||||
- Queue: 90 (exhaustion census) was claimed by lane adv-accept before this lane started; its row is cited, not repeated. 91 and 92 claimed at 19:5x BST; 93 to 99 written, claimed and queued (section 9).
|
||||
- Box-hours spent at 20:45 BST: about 0.5 (four builds under a minute each; idcheck, margins, exhaust-mirror, ids, two static sweeps and the plant run under 5 min together; steer part 1 at 88 threads 9 min and verdicts part 1 at 88 threads 8 min before the 20:22 kill; three 1,000-seed steer chunks at 23 cores, about 4 min each; the f8 live census 4 min at 32 cores). 8 box-hours is the reading line, 16 the ask line.
|
||||
- Box-hours spent at 21:36 BST: about 1.6 (the 0.5 of 20:45 plus one verdicts chunk at 17 cores, five last-resort chunks at 32 cores for 2,500 x 3.6 s, three f8 runs at 32 cores, and 2^24 f8 runs in progress). Earlier text: about 0.5 (four builds under a minute each; idcheck, margins, exhaust-mirror, ids, two static sweeps and the plant run under 5 min together; steer part 1 at 88 threads 9 min and verdicts part 1 at 88 threads 8 min before the 20:22 kill; three 1,000-seed steer chunks at 23 cores, about 4 min each; the f8 live census 4 min at 32 cores). 8 box-hours is the reading line, 16 the ask line.
|
||||
|
||||
## Draw-path validation (passed before any claim)
|
||||
|
||||
|
|
@ -19,12 +19,12 @@ internal adversarial pass, not an independent review
|
|||
| Q | Question | Method | Known-failed shape (must fire) | Gate | Result | Status |
|
||||
|---|---|---|---|---|---|---|
|
||||
| Q1 | Exhaustion: P(a seed exhausts 256 attempts), per-part rejection rates, attempt distribution | Cite row 90 (lane adv-accept, 16,337 seeds); add this lane's static per-part rates over 3,009,928 candidates of 10^6 seeds and the geometric fit | the reject-everything mirror of Q1b | P(exhaust) bounded with its count | per attempt: accept 0.323, reject 0.677 ((a') 0.568, (a) 0.079, (b) 0.022, dynamic parts about 0.009); histogram geometric (bin ratios 0.65 to 0.71); P(exhaust) = 0.677^256 = 4.6 x 10^-44; 0 of 16,337 seeds reached the cap | BOUND |
|
||||
| Q1b | The last-resort program: weak, constant, predictable | `last_resort_v4(candidate(b, 256))` through the library on 3,000 seeds, the REAL rule run on each | `adv3 exhaust-mirror`: a reject-everything loop must hit the cap and print the last resort | last resort characterised; no predictable or weak accepted program | mirror fired: cap 256 reached, program byte-identical to the library's, the real rule ACCEPTS it (distinct 128.000, saturated 0, bias max 55); seed 0's last resort has 0 lossy ops (or, mul, mulhi all xor), 3 mad kept; 3,000-seed sweep queued | RUNNING (sweep 95) |
|
||||
| Q1b | The last-resort program: weak, constant, predictable | `last_resort_v4(candidate(b, 256))` through the library on 3,000 seeds, the REAL rule run on each | `adv3 exhaust-mirror`: a reject-everything loop must hit the cap and print the last resort | last resort characterised; no predictable or weak accepted program | mirror fired (cap 256, byte-identical to the library's). 2,500 seeds: the real rule REJECTS 223 of 2,500 last-resort programs (8.9 percent): 209 by (a) cyclic stale load, 10 by (b), 4 by (c) distinct sum; 2,500 distinct programs; 0 lossy ops; chi-square against the weights 39 (mean), largest op share 37 percent | FINDING (correctness, unreachable at 4.6 x 10^-44): the "accepted as drawn" last resort fails the rule's own (a) in 1 of 12 seeds; 500 seeds to go |
|
||||
| Q2 | Steering with the full rule: tries per quantile of each property | `adv3 steer`, the real draw per seed, min per-site ratio at 256 units plus static properties; 2 x 10^4 seeds queued | `--plant hot`: two `or` writers before a load's source must put the planted set in the lowest quantile | tabulated; no property reaches a 1.1x chip gain under 10^5 tries | plant: 45 of 48 planted rows at ratio 0.207 to 0.993 against a population minimum of 0.999 at 256 units (3 did not fire: the scan found no ALU writer to change); the real rule rejects every effective plant by (a'). First 975 seeds (part 1): min ratio 0.998, median 0.999; 18 of 18 chain re-draws equal; 0 last-resort programs; per-attempt rejects (a') 1,820, (a) 257, (b) 87, (c'') 26, (c) 19 of 3,184 candidates | RUNNING (sweeps 93, 96 chunked) |
|
||||
| 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 (1.0007x, +0.0017); the five lowest-ratio seeds of 975: all within the 1.2x gate (1.01x to 1.13x over the window model), X_0.1%/f 0.03 to 0.37, no hot set, every one flagged on the windowed 6-sigma (+32 to +164 sigma, the population's known mild concentration); worst-case 1 MB copy serves 0.33 percent of loads against 0.29 expected: 1.0004x | BOUND (10^6 nonces; 2^24 owed) |
|
||||
| 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 (10^6 nonces; 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 part 1: 2,546 of 2,546 attempt verdicts of 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: 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) |
|
||||
| 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)
|
||||
|
|
@ -50,6 +50,23 @@ The histogram is geometric: successive bin ratios 0.669, 0.667, 0.667, 0.669, 0.
|
|||
|
||||
`adv3 exhaust-mirror --seed 0` (box 1, 20:06 BST, log logs/adv-accept-3/exhaust-mirror-0.log). A mirror of `try_generate_class` with the rule replaced by reject-everything tried 256 attempts, reached the cap, and produced `last_resort_v4(candidate(seed, 256))`; the library's own last-resort call on the same seed is byte-identical (`==` on the Program). The real rule, run on that program, ACCEPTS it: distinct mean 128.000, saturated 0, bias max 55. Its base op mix: xor 18, load 16, add 10, shfl 6, rotl 4, rotr 4, mad 3, sub 3 (0 or, 0 mul, 0 mulhi; the 3 `mad` multiplies are kept by the rewrite). Its static properties: 88 loads on the critical path, 18,979 ALU ops on it, 2 predictable sites, chi-square 34.5 against the weights (the rewrite moves every or, mul and mulhi to xor, so its op mix is the one structural tell), 0 lossy ops.
|
||||
|
||||
Sweep 95 (`adv3 lastresort`, 2,500 of 3,000 seeds through `lease pool 32`, 20:43 to 21:34 BST, log logs/adv-accept-3/95-lastresort.tsv): `last_resort_v4(candidate(b, 256, class))` built through the library for each seed and the REAL `accept::check` run on it.
|
||||
|
||||
| Quantity | Value |
|
||||
|---|---|
|
||||
| Last-resort programs the real rule accepts | 2,277 of 2,500 (91.1 percent) |
|
||||
| Rejected by (a), a load whose source no instruction wrote since the previous load from it (cyclic) | 209 (8.4 percent) |
|
||||
| Rejected by (b), a register with no injecting write | 10 (0.4 percent) |
|
||||
| Rejected by (c), the distinct-address sum at or under 245,760 | 4 (0.16 percent) |
|
||||
| Rejected by (a'), (c'), (c''), the other (c) parts | 0 |
|
||||
| Distinct programs (fingerprint over every field) | 2,500 of 2,500 |
|
||||
| or, mul, mulhi left (base and shadow) | 0 on every program; `mad` kept: 14 to 57 of 320 (mean 32.7) |
|
||||
| Chi-square of the base op mix against the weights | 16.0 to 110.6 (mean 39.1; the population's mean is 8.9) |
|
||||
| Largest single-op share of the 48 non-load ops | 18 to 62 percent (mean 36.8; xor absorbs or, mul and mulhi) |
|
||||
| Loads on the critical path | 40 to 120 (mean 76.5, the population's) |
|
||||
|
||||
FINDING (correctness, not exploitable). `try_generate_class` returns the last resort "deterministic and accepted as drawn, with no further check" (generator.rs, the comment and the code), and its doc argues only that (a') holds by construction because no lossy op is left. It does not hold the rest of the rule: in 1 of 12 seeds the last-resort program breaks rule (a), the cyclic stale-load test, because the attempt-256 candidate's draw took the empty-eligible-list fallback for some load (spec 1.4.3, "if E is empty ... 1.4.6 (a) rejects the program") and the rewrite of or, mul and mulhi to xor does not touch load sources. Such a program re-reads one dataset address in two loads of the same hash, the exact shape the rule exists to reject (spec 1.4.2: the GPU rate tracked the distinct-address count). The rewrite also leaves 0.4 percent with a register nobody injects and 0.16 percent under the distinct-sum floor. What it costs: nothing today, because the last resort is reached at 4.6 x 10^-44 per epoch seed (section 1) and no seed in 1.02 x 10^6 full-rule draws came within 230 attempts of it. What it says: the draw's totality rests on a program the rule would reject 9 percent of the time, and a change of the rule or the cap that made exhaustion likelier (the first version's 32-attempt cap, where exhaustion is 3.8 x 10^-6 per seed, one epoch in a few decades of hourly epochs) would hand the chain such a program. A fix that keeps the draw total: pick, among the 256 rejected candidates, the first whose rejection was a dynamic part (so (a), (b) and (a') hold) and apply the rewrite to that; or run `check` on the last resort and continue to attempt 257, 258, ... until one passes (the per-attempt accept rate is 0.32, so this terminates in a handful of draws with probability 1 minus 10^-100 class). Owed to the defender: which of the two the chain adopts, and a test that walks the (a)-failing last resort (seed 2 of this lane's label space, fingerprint 8e0b8894d29778bc, is one).
|
||||
|
||||
What the last resort is: a deterministic function of the seed (the attempt-256 draw), different for every seed, computable by anyone, reachable only at 4.6 x 10^-44 per seed. Whether it is weak by the rule's own measures over many seeds, and how often the rule would have rejected it, is sweep 95 (3,000 seeds, the real rule on each, queued). What a chip would gain from it: nothing beyond any accepted program's gain; it has no hot set by construction (no lossy op feeds a load) and its only skew is the missing or, mul and mulhi, which a fixed datapath pays for in the shadow block anyway (the shadow's multiplies become xor too, so a last-resort epoch is the cheapest epoch a multiplier-poor chip could see: a 256-instruction shadow with 0 mul and mulhi and only its `mad` multiplies, about 27 of 256). At its probability that epoch never comes.
|
||||
|
||||
## 3. Q2b: static steering at 10^6 seeds (DONE)
|
||||
|
|
@ -138,6 +155,16 @@ Every effective plant sits below the population minimum, so the property column
|
|||
| 703 (site 12) | 1.108x | +0.030%, 0.30 | +34.5 flagged | within, no hot set |
|
||||
| 959 (site 12) | 1.011x | +0.003%, 0.03 | +45.7 flagged | within, no hot set |
|
||||
|
||||
Part 2 (`992-adv-accept-3-f8-live-2.sh`, 21:33 BST, the three lowest-ratio seeds of 4,975 at 10^6 nonces, log logs/adv-accept-3/992-f8-live-2.log; the 2^24 passes on these three and on 620 follow in the same log):
|
||||
|
||||
| Seed (ratio 0.995 at 256 units) | Top 0.1% over the window model | X_0.1%, X_f/f | Windowed 6-sigma | Verdict |
|
||||
|---|---|---|---|---|
|
||||
| 2653 (id d56075ecc196a9ec, attempt 3, site 10) | 1.0008x | +0.0002%, 0.002 | +4.33 within | PASS, no test fired |
|
||||
| 3296 (eb47ecbc0e86d847, attempt 2, site 1) | 1.0007x | +0.0002%, 0.002 | +4.77 within | PASS |
|
||||
| 4388 (5cd329c25bc6986b, attempt 0, site 6) | 1.0007x | +0.0002%, 0.002 | +4.78 within | PASS |
|
||||
|
||||
So the three programs with the LOWEST stand-in ratio of 4,975 are indistinguishable from the clean control live, while the five at 0.998 all flagged the 6-sigma test. At 256 units the ratio's own sampling noise (65,536 evaluations per site against a window of 2^26 to 2^28 words; the expected distinct count is within 0.1 percent of N, so a 0.5 percent shortfall is about 300 missing indices, 1.2 sigma of a Poisson count of that size) is the same order as the signal. The 256-unit proxy is a weak selector: it enriches the live-lumpy tail (adv-accept's 6 of 8 against a base rate near 1 in 10 at 2^24, its own correction) but its floor is noise. A grinder's real selector is the live census itself at about 3 s per seed on 32 cores, which this lane did not run at scale; its cost per seed is the number that prices the steering (10^4 seeds = 8 box-hours at this rate), and what it buys is bounded by adv-accept's worst live case, 1.002x.
|
||||
|
||||
Reading. The selector (the stand-in ratio at 256 units) picks programs whose live item histogram is measurably lumpy (every one flags the windowed 6-sigma where the clean control sits at +5.5), and none of the five has a hot set: the best, seed 620, puts 0.326 percent of its reads into the top 0.1 percent of items against 0.289 percent expected, so a 1 MB on-die copy of those items removes 0.037 percent of DRAM reads, a gain of 1.0004x on the f = 1 chip of chip-model-v3 section 5. Steering cost for this property at this sample: 5 of 975 seeds (1 in 195) reach ratio 0.998; none of the 5 reaches the f8 gate at 10^6 nonces. Lane adv-accept's wider search (16,337 seeds, 2^24 nonces) found its worst at 2.05x over the window model and X_0.1% +0.155 percent, 1.002x for the chip; the two lanes' numbers agree on the order: a seed grinder with 10^4 to 10^5 tries buys a hot set worth under 0.2 percent of reads. At 2^24 nonces the gate is sharper (adv-accept: base rate near 1 in 10 beyond 1.2x among random accepted programs), so these five at 2^24 are owed and queued behind the sweeps.
|
||||
|
||||
## 5. Q3: the program id
|
||||
|
|
@ -190,7 +217,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. Part 1 (seeds 0 to 791, binary 928272e0, 88 threads, 20:14 to 20:22 BST before the kill, log logs/adv-accept-3/94-verdicts-faithful-part1.tsv): 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. 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.
|
||||
|
||||
## 7. Q5: era steering (sweep 99)
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue