igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Merge master e619e6433 into same-work-harness under the master-landing lock

Browse source
This commit is contained in:
igneum-labs 2026-10-08 21:36:05 +00:00
commit 7e6a7e467d
17 changed files with 920 additions and 57 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md Normal file
View file

@ -0,0 +1,10 @@
# The chain-seed draw on the frozen object: the freeze's (c''') read (8 October 2026, 21:5x to 22:3x UK)
The coordinator's blocking read: the research pack hl-v6-all (4de7b836cc40a4ea) was drawn with the genesis epoch seed over the node1 state stream, a pair the node's class v5 pairing check refuses; on the chain's own seed the engine draws another program. The node lane read the live devnet-4 node's program-id line verbatim at 21:41:51 UK: epoch seed af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3 (the block hash), era 0:edc4fa844da9dc98d37e965176f6558a31560e40502ab3ae5491b21aaaabfb07 (the era seed stays the genesis hex), day 20730 (day hex 69676e65756d2d6461792ffa50000000000000), the node1 state (block 159357, root 1c583d35..., file sha abb58003...), class mx8+sh256x27+state+reg64c+fold+rw, generator 6, attempt 0: program **2a1d6caab4c24564**. The harness on the frozen tree 1a938abe4 (class-v6-census-all4 bdbe85bfb, binary f4e93766d5a3dc46 on build-4) reproduces that id from those inputs on the class-string path; the second column is the draw with the block hash as the era too (442a1691b3e3507f, era label 93a14ac6), which an earlier line named and the node lane's read ruled out; it is kept as the research comparison. Both rows on build-4 under the lease pool at 21:5x UK, the sitestats and census TSVs beside this file.
| Draw | Program (class) | The pair | (A) the whole rule with the (c''') floor on the program; per site over 2^20 evaluations | (B) the attempts census, 256 chain-shaped seeds under the pair's era and state |
|---|---|---|---|---|
| **the engine's draw (the freeze's read)** | 2a1d6caab4c24564 (mx8-erad810f22d+sh256x27+state+reg64c+fold+rw) | seed af89be5d..., era 0:edc4fa84..., day 20730, node1 state | ACCEPTED; min site ratio 0.99988, under 0.98: 0, under 0.995: 0; largest bucket +6.25 sigma; worst free bit -3.06 sigma; sites over 6 sigma 0 | 256 of 256, 0 exhausted at 256, r 0.129, mean attempt 0.15, max 2, (c''') refused 0 of 294; parts a' 23 b 7 a 4 reg64 3 c 1 |
| the research comparison | 442a1691b3e3507f (mx8-era93a14ac6+sh256x27+state+reg64c+fold+rw) | seed af89be5d..., era 0:af89be5d..., day 20730, node1 state | ACCEPTED; min site ratio 0.99992, under 0.98: 0, under 0.995: 0; largest bucket +5.25 sigma; worst free bit 2.91 sigma; sites over 6 sigma 0 | 256 of 256, 0 exhausted at 256, r 0.129, mean attempt 0.15, max 2, (c''') refused 0 of 294; parts a' 23 b 7 a 4 reg64 3 c 1 |
Verdict: the engine's draw 2a1d6caab4c24564 PASSES the sub-version 3 rule with the (c''') floor (every site clear of 0.98 and 0.995 at 0.99988, the largest 256-item bucket +6.25 sigma on one site, which the rule does not bound and the record's clean full-window sites read to +5.5, the worst free index bit 3.06 sigma, no site over 6 sigma) and the attempts census (256 of 256 chain-shaped seeds accepted inside two attempts, 0 exhausted, 0 (c''') refusals: the same 294 candidates and parts as the research pack's, since the census draws its own seeds under the pair's era and state). The research comparison reads the same on every line but the bucket (+5.25). The freeze's object on the chain's own seed is sound under the rule; the research pack's rows (census-packs.md section 7) are the same class on the genesis seed.

259
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-block/census.tsv Normal file
View file

@ -0,0 +1,259 @@
# census class mx8+sh256x27+state+reg64c+fold+rw eras [0] seeds 256 era-widths 4 state /srv/builds/v6-census/packs/node1-state.igsd1 erahex af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3 weights base bittest off bin f4e93766d5a3dc46 start 2026-10-08T20:50:59Z host igneum-build-4 threads 16
cand era seed candidates accepted attempt bit_z bit_site bit_bit reasons
census 0 8 1 1 0 nan - -
census 0 5 1 1 0 3.3 3 21
census 0 4 1 1 0 3.4 5 23
census 0 10 1 1 0 nan - -
census 0 12 1 1 0 3.2 1 23
census 0 9 1 1 0 3.3 10 22
census 0 7 1 1 0 2.8 12 25
census 0 3 1 1 0 2.8 0 24
census 0 0 1 1 0 nan - -
census 0 14 1 1 0 nan - -
census 0 11 1 1 0 2.6 5 22
census 0 2 1 1 0 2.9 13 1
census 0 13 1 1 0 3.1 0 20
census 0 15 1 1 0 3.3 5 21
census 0 6 1 1 0 nan - -
census 0 1 1 1 0 nan - -
census 0 20 1 1 0 nan - -
census 0 17 1 1 0 2.7 1 26
census 0 25 2 1 1 nan - - a=1;
census 0 23 1 1 0 nan - -
census 0 18 1 1 0 3.8 12 7
census 0 24 1 1 0 2.8 14 19
census 0 19 1 1 0 3.0 10 17
census 0 27 1 1 0 nan - -
census 0 16 1 1 0 nan - -
census 0 28 1 1 0 nan - -
census 0 22 1 1 0 nan - -
census 0 29 1 1 0 3.1 9 18
census 0 26 1 1 0 3.3 1 7
census 0 30 1 1 0 2.6 3 7
census 0 21 2 1 1 3.0 4 26 reg64=1;
census 0 31 2 1 1 nan - - b=1;
census 0 37 1 1 0 3.4 8 10
census 0 34 1 1 0 nan - -
census 0 32 1 1 0 nan - -
census 0 35 1 1 0 3.3 15 16
census 0 36 2 1 1 2.9 14 6 b=1;
census 0 38 1 1 0 3.1 7 13
census 0 33 1 1 0 3.3 0 6
census 0 39 1 1 0 nan - -
census 0 43 1 1 0 nan - -
census 0 41 1 1 0 nan - -
census 0 45 1 1 0 nan - -
census 0 42 2 1 1 nan - - a'=1;
census 0 46 1 1 0 nan - -
census 0 44 2 1 1 3.0 1 1 a'=1;
census 0 47 1 1 0 nan - -
census 0 40 1 1 0 2.6 13 22
census 0 52 1 1 0 nan - -
census 0 50 1 1 0 nan - -
census 0 49 1 1 0 2.8 6 1
census 0 48 1 1 0 2.9 5 2
census 0 55 1 1 0 3.4 8 9
census 0 53 2 1 1 3.4 11 21 b=1;
census 0 54 1 1 0 3.4 3 2
census 0 56 2 1 1 nan - - a'=1;
census 0 51 2 1 1 3.5 15 3 reg64=1;
census 0 60 1 1 0 nan - -
census 0 58 1 1 0 nan - -
census 0 57 1 1 0 nan - -
census 0 61 1 1 0 nan - -
census 0 59 1 1 0 3.0 3 16
census 0 62 1 1 0 nan - -
census 0 64 1 1 0 2.9 12 26
census 0 63 1 1 0 3.5 0 19
census 0 66 1 1 0 3.0 15 8
census 0 67 2 1 1 4.0 1 2 a=1;
census 0 68 1 1 0 3.0 11 7
census 0 69 1 1 0 nan - -
census 0 70 1 1 0 3.3 6 6
census 0 72 1 1 0 3.2 11 5
census 0 76 1 1 0 nan - -
census 0 74 1 1 0 2.9 8 21
census 0 71 2 1 1 nan - - a=1;
census 0 75 1 1 0 nan - -
census 0 65 1 1 0 nan - -
census 0 77 1 1 0 3.2 6 14
census 0 78 1 1 0 3.5 3 25
census 0 73 1 1 0 nan - -
census 0 80 2 1 1 nan - - a'=1;
census 0 81 1 1 0 nan - -
census 0 79 1 1 0 3.4 13 24
census 0 82 1 1 0 3.8 8 0
census 0 83 1 1 0 3.3 3 24
census 0 84 1 1 0 nan - -
census 0 85 1 1 0 3.4 4 25
census 0 86 1 1 0 nan - -
census 0 88 1 1 0 nan - -
census 0 87 2 1 1 nan - - a'=1;
census 0 91 1 1 0 2.7 1 23
census 0 89 1 1 0 nan - -
census 0 92 1 1 0 3.2 3 10
census 0 90 2 1 1 3.1 7 8 b=1;
census 0 94 1 1 0 3.5 1 15
census 0 93 1 1 0 nan - -
census 0 95 2 1 1 2.9 4 7 a'=1;
census 0 97 1 1 0 3.2 6 10
census 0 96 1 1 0 3.6 1 26
census 0 99 1 1 0 3.3 1 23
census 0 101 1 1 0 nan - -
census 0 103 1 1 0 nan - -
census 0 104 1 1 0 nan - -
census 0 102 1 1 0 2.9 3 14
census 0 98 1 1 0 nan - -
census 0 100 1 1 0 3.9 10 2
census 0 105 1 1 0 nan - -
census 0 106 1 1 0 nan - -
census 0 107 1 1 0 3.0 15 10
census 0 108 1 1 0 2.8 9 25
census 0 109 1 1 0 nan - -
census 0 113 1 1 0 nan - -
census 0 112 1 1 0 nan - -
census 0 111 1 1 0 3.3 13 8
census 0 110 1 1 0 3.2 9 11
census 0 114 1 1 0 nan - -
census 0 115 2 1 1 nan - - b=1;
census 0 116 1 1 0 3.4 12 10
census 0 118 1 1 0 3.0 4 20
census 0 117 1 1 0 nan - -
census 0 120 1 1 0 3.0 11 0
census 0 119 1 1 0 nan - -
census 0 121 1 1 0 3.0 3 5
census 0 122 1 1 0 2.8 0 12
census 0 126 1 1 0 3.0 0 19
census 0 127 2 1 1 nan - - a=1;
census 0 128 1 1 0 3.4 5 6
census 0 129 2 1 1 2.9 11 22 a'=1;
census 0 124 1 1 0 nan - -
census 0 130 1 1 0 nan - -
census 0 131 1 1 0 nan - -
census 0 132 1 1 0 nan - -
census 0 133 1 1 0 nan - -
census 0 123 1 1 0 3.4 13 21
census 0 134 1 1 0 3.3 3 12
census 0 125 2 1 1 3.3 14 6 b=1;
census 0 135 1 1 0 nan - -
census 0 136 1 1 0 nan - -
census 0 137 1 1 0 nan - -
census 0 138 1 1 0 3.0 5 13
census 0 140 2 1 1 nan - - a'=1;
census 0 143 1 1 0 nan - -
census 0 141 1 1 0 3.3 9 23
census 0 139 1 1 0 nan - -
census 0 142 2 1 1 2.8 10 22 a'=1;
census 0 144 1 1 0 nan - -
census 0 145 1 1 0 3.4 2 23
census 0 147 1 1 0 3.2 2 16
census 0 146 1 1 0 3.4 1 5
census 0 151 1 1 0 2.5 2 6
census 0 150 1 1 0 3.9 14 11
census 0 148 1 1 0 nan - -
census 0 152 1 1 0 2.7 9 4
census 0 153 1 1 0 3.0 13 13
census 0 154 2 1 1 nan - - a'=1;
census 0 155 1 1 0 nan - -
census 0 157 1 1 0 nan - -
census 0 158 1 1 0 nan - -
census 0 159 1 1 0 3.8 15 23
census 0 156 1 1 0 3.4 1 25
census 0 149 1 1 0 nan - -
census 0 160 1 1 0 nan - -
census 0 162 1 1 0 2.5 13 15
census 0 163 2 1 1 3.4 1 20 a'=1;
census 0 166 1 1 0 nan - -
census 0 165 1 1 0 nan - -
census 0 164 1 1 0 nan - -
census 0 167 3 1 2 nan - - a'=2;
census 0 168 1 1 0 2.6 7 10
census 0 170 1 1 0 3.3 14 2
census 0 173 3 1 2 2.7 9 6 a'=2;
census 0 171 1 1 0 3.4 3 1
census 0 172 2 1 1 3.5 3 1 a'=1;
census 0 161 1 1 0 nan - -
census 0 174 1 1 0 nan - -
census 0 175 1 1 0 nan - -
census 0 176 1 1 0 nan - -
census 0 169 2 1 1 nan - - a'=1;
census 0 177 1 1 0 nan - -
census 0 180 1 1 0 nan - -
census 0 178 1 1 0 nan - -
census 0 179 1 1 0 nan - -
census 0 182 1 1 0 3.1 14 3
census 0 183 1 1 0 nan - -
census 0 181 1 1 0 3.4 15 23
census 0 184 2 1 1 3.5 12 10 a'=1;
census 0 186 2 1 1 2.8 4 24 a'=1;
census 0 187 1 1 0 nan - -
census 0 185 1 1 0 nan - -
census 0 189 1 1 0 2.8 14 12
census 0 190 2 1 1 nan - - a'=1;
census 0 192 1 1 0 nan - -
census 0 193 1 1 0 2.8 4 4
census 0 195 1 1 0 nan - -
census 0 194 1 1 0 nan - -
census 0 196 1 1 0 3.3 14 19
census 0 191 1 1 0 nan - -
census 0 188 1 1 0 3.5 15 15
census 0 197 1 1 0 2.8 7 0
census 0 198 1 1 0 3.0 12 9
census 0 200 1 1 0 2.8 11 1
census 0 199 1 1 0 nan - -
census 0 202 1 1 0 2.6 8 0
census 0 201 1 1 0 3.2 3 25
census 0 203 1 1 0 nan - -
census 0 204 1 1 0 nan - -
census 0 205 1 1 0 2.6 5 0
census 0 207 1 1 0 nan - -
census 0 206 2 1 1 3.2 12 25 a'=1;
census 0 208 1 1 0 2.5 8 3
census 0 209 1 1 0 3.2 5 17
census 0 210 1 1 0 2.8 9 18
census 0 211 1 1 0 nan - -
census 0 212 1 1 0 nan - -
census 0 213 1 1 0 3.1 9 6
census 0 215 1 1 0 nan - -
census 0 216 1 1 0 nan - -
census 0 218 2 1 1 3.3 8 1 a'=1;
census 0 219 1 1 0 nan - -
census 0 220 1 1 0 nan - -
census 0 217 1 1 0 3.4 5 11
census 0 221 1 1 0 nan - -
census 0 222 1 1 0 nan - -
census 0 214 1 1 0 3.3 5 21
census 0 223 1 1 0 nan - -
census 0 225 1 1 0 2.8 0 15
census 0 224 1 1 0 3.3 3 4
census 0 226 1 1 0 3.1 7 16
census 0 228 1 1 0 nan - -
census 0 229 1 1 0 nan - -
census 0 227 1 1 0 3.5 12 25
census 0 234 1 1 0 nan - -
census 0 232 1 1 0 nan - -
census 0 235 1 1 0 nan - -
census 0 237 1 1 0 nan - -
census 0 236 1 1 0 3.1 0 18
census 0 238 1 1 0 3.2 15 3
census 0 239 1 1 0 nan - -
census 0 230 1 1 0 3.5 4 0
census 0 240 2 1 1 nan - - b=1;
census 0 233 2 1 1 2.9 11 20 c=1;
census 0 241 1 1 0 3.2 7 17
census 0 243 1 1 0 3.1 10 18
census 0 242 1 1 0 nan - -
census 0 231 1 1 0 nan - -
census 0 245 1 1 0 nan - -
census 0 247 1 1 0 2.8 1 4
census 0 246 2 1 1 2.8 10 23 a'=1;
census 0 244 2 1 1 nan - - reg64=1;
census 0 248 1 1 0 2.7 11 8
census 0 249 1 1 0 3.4 15 15
census 0 251 1 1 0 nan - -
census 0 250 1 1 0 3.4 15 24
census 0 252 1 1 0 3.2 7 18
census 0 253 1 1 0 3.4 6 10
census 0 254 1 1 0 3.7 10 20
census 0 255 1 1 0 3.1 8 20
# end 2026-10-08T20:52:19Z rows=257
Can't render this file because it has a wrong number of fields in line 2.

1
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-block/run.txt Normal file
View file

@ -0,0 +1 @@
# pack cs-era-block class mx8+sh256x27+state+reg64c+fold+rw epoch af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3 day 69676e65756d2d6461792ffa50000000000000 era af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3 state /srv/builds/v6-census/packs/node1-state.igsd1 day-index 20730 era-widths 4 bin f4e93766d5a3dc46 f8 host igneum-build-4 start 2026-10-08T20:50:55Z

67
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-block/show.txt Normal file
View file

@ -0,0 +1,67 @@
seed "igneum-epoch/af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3" generator v6 class mx8-era93a14ac6+sh256x27+state+reg64c+fold+rw attempt 0 program id 442a1691b3e3507f seed words 9c8caa3d 83537296 f21169a4 12d4d157 66e0ce33 cc049080 8579c352 4c6e4ac9
op mix load=16 add=10 shfl=8 rotl=5 rotr=5 xor=5 mad=4 mul=4 sub=4 mulhi=3 loads/hash 128 bytes/hash 512
era 93a14ac6 (igneum-era/0/af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3): width 4 B, stride mul 0x5ea34e0b rot 12, interleave [10, 11, 13, 14], windows (site:shrink:offset) 1:0:0 15:1:0 27:2:1 28:0:0 30:1:1 32:1:0 33:2:3 42:0:0 48:1:0 52:0:0 55:2:2 56:0:0 58:1:1 59:0:0 60:1:0 62:1:0
0: mad dst=7 src=3 src2=3 imm=0xd095f540 imm2=0xd3789b38 rot=19 bit=4 mask=4
1: load dst=1 src=7 src2=5 imm=0x390bbbd7 imm2=0x1b44071a rot=5 bit=13 mask=16
2: rotl dst=0 src=6 src2=7 imm=0xcd1e3e94 imm2=0xf0479df0 rot=29 bit=10 mask=2
3: shfl dst=5 src=6 src2=4 imm=0x78c099f8 imm2=0xc6d6c6bc rot=25 bit=21 mask=1
4: mulhi dst=5 src=3 src2=1 imm=0x2e8aa8d1 imm2=0x446c336a rot=23 bit=31 mask=16
5: rotl dst=7 src=1 src2=0 imm=0x46701a4a imm2=0xc2255717 rot=27 bit=20 mask=8
6: mad dst=4 src=2 src2=0 imm=0x487da55c imm2=0xf4675ef7 rot=26 bit=1 mask=8
7: rotl dst=2 src=6 src2=4 imm=0x74fdbac4 imm2=0x30e49db4 rot=11 bit=9 mask=16
8: mul dst=6 src=0 src2=4 imm=0x69e895ee imm2=0x66ebcedd rot=24 bit=11 mask=16
9: shfl dst=6 src=1 src2=7 imm=0x1510cbd0 imm2=0x607acada rot=4 bit=3 mask=2
10: add dst=0 src=2 src2=2 imm=0x33a68b0c imm2=0xffb7f024 rot=27 bit=1 mask=4
11: xor dst=0 src=2 src2=4 imm=0x61b96f54 imm2=0x7d5468b0 rot=30 bit=28 mask=8
12: sub dst=7 src=4 src2=1 imm=0x39217118 imm2=0x248e3f9b rot=29 bit=7 mask=16
13: shfl dst=1 src=4 src2=2 imm=0x6c12c43b imm2=0x6b60595d rot=20 bit=23 mask=8
14: xor dst=1 src=0 src2=0 imm=0x030181c6 imm2=0x52fbbc27 rot=1 bit=28 mask=4
15: load dst=5 src=0 src2=2 imm=0x5b20e3f6 imm2=0xa84ab3b3 rot=24 bit=31 mask=8
16: xor dst=5 src=4 src2=4 imm=0x6fc104e8 imm2=0x1a522a5c rot=27 bit=8 mask=8
17: shfl dst=6 src=7 src2=6 imm=0x5f5b071a imm2=0x39dc91da rot=16 bit=6 mask=16
18: rotr dst=2 src=7 src2=0 imm=0x07b3a28c imm2=0x33193f0c rot=18 bit=3 mask=1
19: add dst=4 src=1 src2=5 imm=0x0229d185 imm2=0x51cb8f70 rot=29 bit=26 mask=1
20: add dst=4 src=7 src2=1 imm=0xc39836f7 imm2=0x0c001b55 rot=8 bit=7 mask=16
21: add dst=0 src=3 src2=4 imm=0xb7d06b34 imm2=0x1ae7a0ac rot=9 bit=3 mask=4
22: mad dst=2 src=6 src2=7 imm=0x0978477e imm2=0x2fec3e13 rot=21 bit=3 mask=16
23: add dst=3 src=5 src2=7 imm=0x95cba5dd imm2=0x22934c58 rot=8 bit=19 mask=2
24: mulhi dst=5 src=3 src2=0 imm=0x14b79a1b imm2=0xccae3d33 rot=5 bit=15 mask=16
25: xor dst=0 src=3 src2=7 imm=0x22f74d7f imm2=0x782f1722 rot=18 bit=25 mask=4
26: mul dst=6 src=3 src2=6 imm=0xf774717f imm2=0x3a1a2c3a rot=28 bit=25 mask=16
27: load dst=3 src=7 src2=2 imm=0xf0d88d7d imm2=0x0fc8051c rot=14 bit=1 mask=16
28: load dst=3 src=0 src2=5 imm=0xac8eb588 imm2=0x57844c72 rot=12 bit=8 mask=2
29: rotr dst=6 src=7 src2=1 imm=0x89b07c78 imm2=0x90c747d7 rot=13 bit=30 mask=1
30: load dst=1 src=4 src2=7 imm=0xdd34b81d imm2=0x96e5cb94 rot=26 bit=16 mask=1
31: add dst=1 src=2 src2=3 imm=0x2fa2e27a imm2=0xbf8507da rot=27 bit=5 mask=1
32: load dst=2 src=1 src2=1 imm=0x4df1d479 imm2=0xea698909 rot=29 bit=12 mask=4
33: load dst=3 src=2 src2=1 imm=0xaa35122f imm2=0x01516545 rot=12 bit=18 mask=1
34: mul dst=3 src=5 src2=7 imm=0x6a941ac2 imm2=0xb56c91d9 rot=24 bit=16 mask=1
35: rotl dst=1 src=6 src2=7 imm=0xe8aa4cfe imm2=0x0d359401 rot=2 bit=3 mask=2
36: shfl dst=1 src=5 src2=1 imm=0xd090168f imm2=0x3ea71d89 rot=9 bit=3 mask=4
37: sub dst=0 src=4 src2=1 imm=0xdbda427b imm2=0xd9607488 rot=5 bit=12 mask=2
38: rotr dst=4 src=2 src2=7 imm=0xe3e3804c imm2=0xccdc9668 rot=27 bit=13 mask=16
39: mulhi dst=4 src=1 src2=2 imm=0x5d14fe55 imm2=0xb6db1d85 rot=17 bit=18 mask=4
40: rotr dst=0 src=1 src2=4 imm=0xc77a2d1f imm2=0x5a85c407 rot=10 bit=31 mask=1
41: add dst=2 src=3 src2=1 imm=0xfe28f51d imm2=0xf439f8e7 rot=5 bit=8 mask=2
42: load dst=1 src=2 src2=5 imm=0xe1b6fb46 imm2=0x23bb6ba4 rot=29 bit=22 mask=1
43: xor dst=7 src=5 src2=6 imm=0x34988c9d imm2=0xf8c6c4a8 rot=2 bit=21 mask=8
44: shfl dst=6 src=2 src2=2 imm=0x14f4d589 imm2=0x868d3c75 rot=29 bit=31 mask=8
45: mul dst=1 src=4 src2=1 imm=0x081dddbd imm2=0xc8e4de44 rot=23 bit=11 mask=16
46: rotl dst=0 src=6 src2=2 imm=0xaec2cb92 imm2=0x03157ee4 rot=14 bit=5 mask=16
47: add dst=1 src=3 src2=7 imm=0xf1719bbd imm2=0x14bb2234 rot=24 bit=7 mask=16
48: load dst=1 src=6 src2=6 imm=0x30e39813 imm2=0x9ce47150 rot=22 bit=10 mask=1
49: sub dst=5 src=1 src2=7 imm=0xaabdf6d2 imm2=0x0688a461 rot=13 bit=28 mask=2
50: add dst=2 src=3 src2=6 imm=0xb129b2b4 imm2=0x4611fe29 rot=3 bit=14 mask=16
51: sub dst=0 src=2 src2=1 imm=0xfe651d02 imm2=0x7c1929a9 rot=22 bit=31 mask=4
52: load dst=4 src=0 src2=4 imm=0xf906070a imm2=0xf301cff4 rot=5 bit=25 mask=1
53: mad dst=3 src=1 src2=4 imm=0xab213c09 imm2=0xf6d6f3fa rot=16 bit=28 mask=1
54: shfl dst=4 src=1 src2=7 imm=0xf6dafbae imm2=0xdbfc32c7 rot=12 bit=1 mask=16
55: load dst=6 src=5 src2=5 imm=0x881eaf9c imm2=0x7c50f5c8 rot=25 bit=22 mask=16
56: load dst=2 src=4 src2=1 imm=0x899bf6e0 imm2=0xbde5b6ee rot=24 bit=10 mask=8
57: shfl dst=5 src=7 src2=6 imm=0xea9c50d2 imm2=0xd2a8c99b rot=12 bit=28 mask=1
58: load dst=1 src=5 src2=3 imm=0xad4912ca imm2=0x546d00b2 rot=7 bit=1 mask=1
59: load dst=2 src=7 src2=1 imm=0x37cea58f imm2=0x13e31ff0 rot=21 bit=21 mask=16
60: load dst=2 src=1 src2=2 imm=0x33f9a95e imm2=0xda1c8a2e rot=22 bit=28 mask=8
61: add dst=3 src=2 src2=2 imm=0x0a051d32 imm2=0xe9ed866d rot=30 bit=1 mask=4
62: load dst=0 src=2 src2=2 imm=0xab1dd54b imm2=0xc9fcaae2 rot=9 bit=2 mask=1
63: rotr dst=5 src=0 src2=5 imm=0x1f0279bd imm2=0x223e7b9c rot=11 bit=3 mask=16

20
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-block/sitestats.tsv Normal file
View file

@ -0,0 +1,20 @@
program id 442a1691b3e3507f class mx8-era93a14ac6+sh256x27+state+reg64c+fold+rw attempt 0 generator v6
rule: ACCEPTED, distinct 128.000 per hash, saturated 0, bias max 66
site instr win off width distinct ratio under_c2 under_c3 bucket_ratio bucket_z bucket_id bit_z bit top_count
0 1 0 0 1 1046493 0.99997 0 0 2.250 5.00 43706 -1.72 14 3
1 15 1 0 1 1044395 0.99992 0 0 1.688 3.89 10447 2.09 18 3
2 27 2 1 1 1040460 1.00007 0 0 1.531 4.25 21546 2.38 5 3
3 28 0 0 1 1046585 1.00005 0 0 2.062 4.25 11544 -2.58 22 3
4 30 1 1 1 1044506 1.00002 0 0 1.844 4.77 41807 2.26 20 3
5 32 1 0 1 1044487 1.00001 0 0 1.844 4.77 26116 1.91 0 3
6 33 2 3 1 1040412 1.00003 0 0 1.500 4.00 49321 -1.51 23 3
7 42 0 0 1 1046488 0.99996 0 0 2.125 4.50 9835 -2.25 0 3
8 48 1 0 1 1044552 1.00007 0 0 1.812 4.60 17972 -1.87 6 3
9 52 0 0 1 1046470 0.99994 0 0 2.188 4.75 49022 1.54 17 3
10 55 2 2 1 1040461 1.00007 0 0 1.500 4.00 35424 1.72 24 3
11 56 0 0 1 1046571 1.00004 0 0 2.312 5.25 12278 -1.84 2 3
12 58 1 1 1 1044543 1.00006 0 0 1.750 4.24 33127 -2.12 16 3
13 59 0 0 1 1046537 1.00001 0 0 2.125 4.50 1374 2.91 3 3
14 60 1 0 1 1044566 1.00008 0 0 1.812 4.60 5226 -2.44 19 3
15 62 1 0 1 1044430 0.99995 0 0 1.906 5.13 2829 -1.92 6 3
summary: sites 16, min ratio 0.99992, under 0.98: 0, under 0.995: 0, bucket z max 5.25, bit z max 2.91, sites over 6 sigma 0, 3.9 s
Can't render this file because it has a wrong number of fields in line 3.

259
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-genesis/census.tsv Normal file
View file

@ -0,0 +1,259 @@
# census class mx8+sh256x27+state+reg64c+fold+rw eras [0] seeds 256 era-widths 4 state /srv/builds/v6-census/packs/node1-state.igsd1 erahex edc4fa844da9dc98d37e965176f6558a31560e40502ab3ae5491b21aaaabfb07 weights base bittest off bin f4e93766d5a3dc46 start 2026-10-08T20:50:55Z host igneum-build-4 threads 16
cand era seed candidates accepted attempt bit_z bit_site bit_bit reasons
census 0 4 1 1 0 2.9 15 4
census 0 6 1 1 0 nan - -
census 0 14 1 1 0 3.5 12 21
census 0 5 1 1 0 nan - -
census 0 10 1 1 0 3.0 0 2
census 0 9 1 1 0 2.8 6 25
census 0 0 1 1 0 nan - -
census 0 20 1 1 0 3.2 10 7
census 0 3 1 1 0 2.8 14 3
census 0 2 1 1 0 3.5 3 15
census 0 7 1 1 0 3.4 1 23
census 0 18 1 1 0 nan - -
census 0 15 1 1 0 nan - -
census 0 1 1 1 0 nan - -
census 0 12 1 1 0 3.2 9 13
census 0 21 2 1 1 3.5 0 18 reg64=1;
census 0 8 1 1 0 2.8 9 12
census 0 13 1 1 0 2.8 12 13
census 0 19 1 1 0 nan - -
census 0 11 1 1 0 nan - -
census 0 16 1 1 0 nan - -
census 0 22 1 1 0 3.1 6 11
census 0 30 1 1 0 nan - -
census 0 17 1 1 0 nan - -
census 0 23 1 1 0 nan - -
census 0 26 1 1 0 3.2 7 9
census 0 32 1 1 0 4.4 10 21
census 0 29 1 1 0 nan - -
census 0 34 1 1 0 3.0 12 1
census 0 27 1 1 0 3.0 9 8
census 0 25 2 1 1 nan - - a=1;
census 0 24 1 1 0 3.7 13 12
census 0 33 1 1 0 nan - -
census 0 36 2 1 1 3.2 14 3 b=1;
census 0 35 1 1 0 4.2 12 12
census 0 31 2 1 1 3.2 1 5 b=1;
census 0 39 1 1 0 nan - -
census 0 38 1 1 0 nan - -
census 0 42 2 1 1 nan - - a'=1;
census 0 37 1 1 0 3.1 13 8
census 0 28 1 1 0 nan - -
census 0 41 1 1 0 nan - -
census 0 43 1 1 0 nan - -
census 0 44 2 1 1 nan - - a'=1;
census 0 40 1 1 0 2.8 9 25
census 0 50 1 1 0 3.3 9 9
census 0 53 2 1 1 nan - - b=1;
census 0 45 1 1 0 nan - -
census 0 49 1 1 0 nan - -
census 0 46 1 1 0 4.4 2 3
census 0 48 1 1 0 nan - -
census 0 51 2 1 1 nan - - reg64=1;
census 0 57 1 1 0 3.5 6 24
census 0 47 1 1 0 3.1 4 16
census 0 58 1 1 0 3.0 8 17
census 0 59 1 1 0 nan - -
census 0 62 1 1 0 3.2 9 19
census 0 55 1 1 0 nan - -
census 0 52 1 1 0 nan - -
census 0 60 1 1 0 nan - -
census 0 61 1 1 0 3.3 3 11
census 0 56 2 1 1 2.8 2 9 a'=1;
census 0 54 1 1 0 3.5 3 13
census 0 66 1 1 0 3.4 6 11
census 0 64 1 1 0 3.6 9 8
census 0 65 1 1 0 nan - -
census 0 70 1 1 0 nan - -
census 0 67 2 1 1 nan - - a=1;
census 0 63 1 1 0 nan - -
census 0 78 1 1 0 nan - -
census 0 79 1 1 0 nan - -
census 0 76 1 1 0 3.2 2 23
census 0 81 1 1 0 nan - -
census 0 80 2 1 1 nan - - a'=1;
census 0 68 1 1 0 nan - -
census 0 69 1 1 0 3.2 14 25
census 0 71 2 1 1 2.8 7 17 a=1;
census 0 72 1 1 0 nan - -
census 0 74 1 1 0 3.0 4 6
census 0 82 1 1 0 nan - -
census 0 73 1 1 0 nan - -
census 0 86 1 1 0 3.0 7 19
census 0 75 1 1 0 2.9 4 16
census 0 77 1 1 0 nan - -
census 0 88 1 1 0 nan - -
census 0 85 1 1 0 3.1 14 24
census 0 83 1 1 0 nan - -
census 0 92 1 1 0 nan - -
census 0 89 1 1 0 nan - -
census 0 87 2 1 1 nan - - a'=1;
census 0 84 1 1 0 nan - -
census 0 90 2 1 1 nan - - b=1;
census 0 94 1 1 0 nan - -
census 0 93 1 1 0 3.0 7 20
census 0 91 1 1 0 3.2 13 8
census 0 95 2 1 1 3.0 13 12 a'=1;
census 0 97 1 1 0 nan - -
census 0 96 1 1 0 3.1 8 7
census 0 101 1 1 0 nan - -
census 0 98 1 1 0 nan - -
census 0 100 1 1 0 nan - -
census 0 99 1 1 0 3.1 2 23
census 0 106 1 1 0 nan - -
census 0 102 1 1 0 3.5 0 13
census 0 105 1 1 0 nan - -
census 0 103 1 1 0 nan - -
census 0 107 1 1 0 nan - -
census 0 104 1 1 0 nan - -
census 0 108 1 1 0 nan - -
census 0 114 1 1 0 2.9 7 8
census 0 112 1 1 0 3.3 5 4
census 0 109 1 1 0 nan - -
census 0 120 1 1 0 nan - -
census 0 113 1 1 0 nan - -
census 0 111 1 1 0 3.3 3 27
census 0 116 1 1 0 3.1 1 5
census 0 119 1 1 0 3.1 3 18
census 0 110 1 1 0 3.4 7 15
census 0 115 2 1 1 nan - - b=1;
census 0 117 1 1 0 nan - -
census 0 124 1 1 0 3.6 0 15
census 0 118 1 1 0 nan - -
census 0 121 1 1 0 nan - -
census 0 126 1 1 0 4.3 8 3
census 0 129 2 1 1 3.2 6 6 a'=1;
census 0 123 1 1 0 nan - -
census 0 122 1 1 0 nan - -
census 0 125 2 1 1 3.3 1 6 b=1;
census 0 127 2 1 1 nan - - a=1;
census 0 128 1 1 0 nan - -
census 0 134 1 1 0 3.7 11 4
census 0 135 1 1 0 3.0 5 15
census 0 131 1 1 0 3.3 5 21
census 0 130 1 1 0 3.2 11 8
census 0 138 1 1 0 2.7 12 19
census 0 133 1 1 0 2.8 10 0
census 0 132 1 1 0 3.4 15 1
census 0 136 1 1 0 nan - -
census 0 140 2 1 1 nan - - a'=1;
census 0 137 1 1 0 nan - -
census 0 143 1 1 0 nan - -
census 0 139 1 1 0 3.4 11 3
census 0 146 1 1 0 3.4 15 22
census 0 142 2 1 1 4.0 6 0 a'=1;
census 0 141 1 1 0 nan - -
census 0 150 1 1 0 nan - -
census 0 149 1 1 0 nan - -
census 0 144 1 1 0 3.7 3 22
census 0 147 1 1 0 nan - -
census 0 148 1 1 0 3.7 10 0
census 0 145 1 1 0 2.7 14 24
census 0 152 1 1 0 3.1 11 25
census 0 155 1 1 0 nan - -
census 0 151 1 1 0 nan - -
census 0 157 1 1 0 3.5 1 16
census 0 162 1 1 0 3.1 2 16
census 0 154 2 1 1 3.3 12 17 a'=1;
census 0 156 1 1 0 nan - -
census 0 160 1 1 0 2.5 1 17
census 0 153 1 1 0 nan - -
census 0 163 2 1 1 3.7 0 19 a'=1;
census 0 161 1 1 0 nan - -
census 0 166 1 1 0 nan - -
census 0 158 1 1 0 3.1 13 1
census 0 159 1 1 0 nan - -
census 0 169 2 1 1 nan - - a'=1;
census 0 171 1 1 0 nan - -
census 0 170 1 1 0 nan - -
census 0 168 1 1 0 3.6 6 25
census 0 176 1 1 0 nan - -
census 0 177 1 1 0 3.1 14 0
census 0 165 1 1 0 3.0 11 5
census 0 164 1 1 0 3.8 7 25
census 0 174 1 1 0 nan - -
census 0 173 3 1 2 nan - - a'=2;
census 0 167 3 1 2 3.4 2 14 a'=2;
census 0 180 1 1 0 3.5 3 19
census 0 178 1 1 0 4.0 14 14
census 0 172 2 1 1 3.0 15 16 a'=1;
census 0 184 2 1 1 3.0 2 25 a'=1;
census 0 175 1 1 0 2.9 1 24
census 0 181 1 1 0 3.1 1 14
census 0 185 1 1 0 nan - -
census 0 186 2 1 1 nan - - a'=1;
census 0 182 1 1 0 nan - -
census 0 179 1 1 0 3.1 10 14
census 0 190 2 1 1 3.3 14 13 a'=1;
census 0 183 1 1 0 nan - -
census 0 187 1 1 0 3.6 4 14
census 0 191 1 1 0 nan - -
census 0 193 1 1 0 3.5 4 23
census 0 189 1 1 0 nan - -
census 0 188 1 1 0 3.2 0 12
census 0 192 1 1 0 4.1 3 23
census 0 194 1 1 0 3.7 2 6
census 0 198 1 1 0 nan - -
census 0 196 1 1 0 3.0 3 21
census 0 199 1 1 0 2.9 14 0
census 0 201 1 1 0 nan - -
census 0 195 1 1 0 2.9 2 10
census 0 200 1 1 0 3.1 5 21
census 0 197 1 1 0 nan - -
census 0 205 1 1 0 3.1 7 7
census 0 206 2 1 1 nan - - a'=1;
census 0 204 1 1 0 3.8 8 24
census 0 202 1 1 0 nan - -
census 0 207 1 1 0 nan - -
census 0 203 1 1 0 nan - -
census 0 210 1 1 0 3.3 1 20
census 0 208 1 1 0 nan - -
census 0 211 1 1 0 nan - -
census 0 212 1 1 0 nan - -
census 0 214 1 1 0 3.7 7 24
census 0 209 1 1 0 nan - -
census 0 215 1 1 0 3.0 12 7
census 0 220 1 1 0 nan - -
census 0 217 1 1 0 nan - -
census 0 225 1 1 0 3.2 14 23
census 0 213 1 1 0 2.8 13 3
census 0 224 1 1 0 3.0 12 11
census 0 221 1 1 0 nan - -
census 0 216 1 1 0 3.5 7 4
census 0 223 1 1 0 nan - -
census 0 222 1 1 0 3.0 14 10
census 0 227 1 1 0 3.4 14 24
census 0 219 1 1 0 3.0 9 22
census 0 228 1 1 0 3.0 8 9
census 0 229 1 1 0 3.0 5 17
census 0 218 2 1 1 2.9 0 7 a'=1;
census 0 226 1 1 0 3.6 12 11
census 0 230 1 1 0 nan - -
census 0 232 1 1 0 3.4 4 15
census 0 236 1 1 0 nan - -
census 0 231 1 1 0 2.9 12 13
census 0 235 1 1 0 3.3 8 16
census 0 238 1 1 0 nan - -
census 0 234 1 1 0 nan - -
census 0 237 1 1 0 3.1 7 12
census 0 239 1 1 0 3.4 6 18
census 0 242 1 1 0 nan - -
census 0 240 2 1 1 3.4 11 17 b=1;
census 0 241 1 1 0 nan - -
census 0 233 2 1 1 3.2 7 11 c=1;
census 0 249 1 1 0 nan - -
census 0 245 1 1 0 3.0 13 2
census 0 243 1 1 0 3.4 5 5
census 0 251 1 1 0 3.0 11 0
census 0 246 2 1 1 nan - - a'=1;
census 0 252 1 1 0 3.0 0 24
census 0 244 2 1 1 3.0 3 8 reg64=1;
census 0 250 1 1 0 3.9 14 21
census 0 247 1 1 0 nan - -
census 0 248 1 1 0 3.8 0 16
census 0 255 1 1 0 2.6 6 14
census 0 254 1 1 0 nan - -
census 0 253 1 1 0 nan - -
# end 2026-10-08T20:53:02Z rows=257
Can't render this file because it has a wrong number of fields in line 2.

1
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-genesis/run.txt Normal file
View file

@ -0,0 +1 @@
# pack cs-era-genesis class mx8+sh256x27+state+reg64c+fold+rw epoch af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3 day 69676e65756d2d6461792ffa50000000000000 era edc4fa844da9dc98d37e965176f6558a31560e40502ab3ae5491b21aaaabfb07 state /srv/builds/v6-census/packs/node1-state.igsd1 day-index 20730 era-widths 4 bin f4e93766d5a3dc46 f8 host igneum-build-4 start 2026-10-08T20:50:53Z

67
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-genesis/show.txt Normal file
View file

@ -0,0 +1,67 @@
seed "igneum-epoch/af89be5ddbadb6f6b4aee28ac8f249713be5d4c12621e3cea7f83ceada3c66b3" generator v6 class mx8-erad810f22d+sh256x27+state+reg64c+fold+rw attempt 0 program id 2a1d6caab4c24564 seed words 9c8caa3d 83537296 f21169a4 12d4d157 66e0ce33 cc049080 8579c352 4c6e4ac9
op mix load=16 add=10 shfl=8 rotl=5 rotr=5 xor=5 mad=4 mul=4 sub=4 mulhi=3 loads/hash 128 bytes/hash 512
era d810f22d (igneum-era/0/edc4fa844da9dc98d37e965176f6558a31560e40502ab3ae5491b21aaaabfb07): width 4 B, stride mul 0x9ad30d99 rot 29, interleave [0, 2, 12, 13], windows (site:shrink:offset) 1:0:0 15:1:0 27:2:1 28:0:0 30:1:1 32:1:0 33:2:3 42:0:0 48:1:0 52:0:0 55:2:2 56:0:0 58:1:1 59:0:0 60:1:0 62:1:0
0: mad dst=7 src=3 src2=3 imm=0xd095f540 imm2=0xd3789b38 rot=19 bit=4 mask=4
1: load dst=1 src=7 src2=5 imm=0x390bbbd7 imm2=0x1b44071a rot=5 bit=13 mask=16
2: rotl dst=0 src=6 src2=7 imm=0xcd1e3e94 imm2=0xf0479df0 rot=29 bit=10 mask=2
3: shfl dst=5 src=6 src2=4 imm=0x78c099f8 imm2=0xc6d6c6bc rot=25 bit=21 mask=1
4: mulhi dst=5 src=3 src2=1 imm=0x2e8aa8d1 imm2=0x446c336a rot=23 bit=31 mask=16
5: rotl dst=7 src=1 src2=0 imm=0x46701a4a imm2=0xc2255717 rot=27 bit=20 mask=8
6: mad dst=4 src=2 src2=0 imm=0x487da55c imm2=0xf4675ef7 rot=26 bit=1 mask=8
7: rotl dst=2 src=6 src2=4 imm=0x74fdbac4 imm2=0x30e49db4 rot=11 bit=9 mask=16
8: mul dst=6 src=0 src2=4 imm=0x69e895ee imm2=0x66ebcedd rot=24 bit=11 mask=16
9: shfl dst=6 src=1 src2=7 imm=0x1510cbd0 imm2=0x607acada rot=4 bit=3 mask=2
10: add dst=0 src=2 src2=2 imm=0x33a68b0c imm2=0xffb7f024 rot=27 bit=1 mask=4
11: xor dst=0 src=2 src2=4 imm=0x61b96f54 imm2=0x7d5468b0 rot=30 bit=28 mask=8
12: sub dst=7 src=4 src2=1 imm=0x39217118 imm2=0x248e3f9b rot=29 bit=7 mask=16
13: shfl dst=1 src=4 src2=2 imm=0x6c12c43b imm2=0x6b60595d rot=20 bit=23 mask=8
14: xor dst=1 src=0 src2=0 imm=0x030181c6 imm2=0x52fbbc27 rot=1 bit=28 mask=4
15: load dst=5 src=0 src2=2 imm=0x5b20e3f6 imm2=0xa84ab3b3 rot=24 bit=31 mask=8
16: xor dst=5 src=4 src2=4 imm=0x6fc104e8 imm2=0x1a522a5c rot=27 bit=8 mask=8
17: shfl dst=6 src=7 src2=6 imm=0x5f5b071a imm2=0x39dc91da rot=16 bit=6 mask=16
18: rotr dst=2 src=7 src2=0 imm=0x07b3a28c imm2=0x33193f0c rot=18 bit=3 mask=1
19: add dst=4 src=1 src2=5 imm=0x0229d185 imm2=0x51cb8f70 rot=29 bit=26 mask=1
20: add dst=4 src=7 src2=1 imm=0xc39836f7 imm2=0x0c001b55 rot=8 bit=7 mask=16
21: add dst=0 src=3 src2=4 imm=0xb7d06b34 imm2=0x1ae7a0ac rot=9 bit=3 mask=4
22: mad dst=2 src=6 src2=7 imm=0x0978477e imm2=0x2fec3e13 rot=21 bit=3 mask=16
23: add dst=3 src=5 src2=7 imm=0x95cba5dd imm2=0x22934c58 rot=8 bit=19 mask=2
24: mulhi dst=5 src=3 src2=0 imm=0x14b79a1b imm2=0xccae3d33 rot=5 bit=15 mask=16
25: xor dst=0 src=3 src2=7 imm=0x22f74d7f imm2=0x782f1722 rot=18 bit=25 mask=4
26: mul dst=6 src=3 src2=6 imm=0xf774717f imm2=0x3a1a2c3a rot=28 bit=25 mask=16
27: load dst=3 src=7 src2=2 imm=0xf0d88d7d imm2=0x0fc8051c rot=14 bit=1 mask=16
28: load dst=3 src=0 src2=5 imm=0xac8eb588 imm2=0x57844c72 rot=12 bit=8 mask=2
29: rotr dst=6 src=7 src2=1 imm=0x89b07c78 imm2=0x90c747d7 rot=13 bit=30 mask=1
30: load dst=1 src=4 src2=7 imm=0xdd34b81d imm2=0x96e5cb94 rot=26 bit=16 mask=1
31: add dst=1 src=2 src2=3 imm=0x2fa2e27a imm2=0xbf8507da rot=27 bit=5 mask=1
32: load dst=2 src=1 src2=1 imm=0x4df1d479 imm2=0xea698909 rot=29 bit=12 mask=4
33: load dst=3 src=2 src2=1 imm=0xaa35122f imm2=0x01516545 rot=12 bit=18 mask=1
34: mul dst=3 src=5 src2=7 imm=0x6a941ac2 imm2=0xb56c91d9 rot=24 bit=16 mask=1
35: rotl dst=1 src=6 src2=7 imm=0xe8aa4cfe imm2=0x0d359401 rot=2 bit=3 mask=2
36: shfl dst=1 src=5 src2=1 imm=0xd090168f imm2=0x3ea71d89 rot=9 bit=3 mask=4
37: sub dst=0 src=4 src2=1 imm=0xdbda427b imm2=0xd9607488 rot=5 bit=12 mask=2
38: rotr dst=4 src=2 src2=7 imm=0xe3e3804c imm2=0xccdc9668 rot=27 bit=13 mask=16
39: mulhi dst=4 src=1 src2=2 imm=0x5d14fe55 imm2=0xb6db1d85 rot=17 bit=18 mask=4
40: rotr dst=0 src=1 src2=4 imm=0xc77a2d1f imm2=0x5a85c407 rot=10 bit=31 mask=1
41: add dst=2 src=3 src2=1 imm=0xfe28f51d imm2=0xf439f8e7 rot=5 bit=8 mask=2
42: load dst=1 src=2 src2=5 imm=0xe1b6fb46 imm2=0x23bb6ba4 rot=29 bit=22 mask=1
43: xor dst=7 src=5 src2=6 imm=0x34988c9d imm2=0xf8c6c4a8 rot=2 bit=21 mask=8
44: shfl dst=6 src=2 src2=2 imm=0x14f4d589 imm2=0x868d3c75 rot=29 bit=31 mask=8
45: mul dst=1 src=4 src2=1 imm=0x081dddbd imm2=0xc8e4de44 rot=23 bit=11 mask=16
46: rotl dst=0 src=6 src2=2 imm=0xaec2cb92 imm2=0x03157ee4 rot=14 bit=5 mask=16
47: add dst=1 src=3 src2=7 imm=0xf1719bbd imm2=0x14bb2234 rot=24 bit=7 mask=16
48: load dst=1 src=6 src2=6 imm=0x30e39813 imm2=0x9ce47150 rot=22 bit=10 mask=1
49: sub dst=5 src=1 src2=7 imm=0xaabdf6d2 imm2=0x0688a461 rot=13 bit=28 mask=2
50: add dst=2 src=3 src2=6 imm=0xb129b2b4 imm2=0x4611fe29 rot=3 bit=14 mask=16
51: sub dst=0 src=2 src2=1 imm=0xfe651d02 imm2=0x7c1929a9 rot=22 bit=31 mask=4
52: load dst=4 src=0 src2=4 imm=0xf906070a imm2=0xf301cff4 rot=5 bit=25 mask=1
53: mad dst=3 src=1 src2=4 imm=0xab213c09 imm2=0xf6d6f3fa rot=16 bit=28 mask=1
54: shfl dst=4 src=1 src2=7 imm=0xf6dafbae imm2=0xdbfc32c7 rot=12 bit=1 mask=16
55: load dst=6 src=5 src2=5 imm=0x881eaf9c imm2=0x7c50f5c8 rot=25 bit=22 mask=16
56: load dst=2 src=4 src2=1 imm=0x899bf6e0 imm2=0xbde5b6ee rot=24 bit=10 mask=8
57: shfl dst=5 src=7 src2=6 imm=0xea9c50d2 imm2=0xd2a8c99b rot=12 bit=28 mask=1
58: load dst=1 src=5 src2=3 imm=0xad4912ca imm2=0x546d00b2 rot=7 bit=1 mask=1
59: load dst=2 src=7 src2=1 imm=0x37cea58f imm2=0x13e31ff0 rot=21 bit=21 mask=16
60: load dst=2 src=1 src2=2 imm=0x33f9a95e imm2=0xda1c8a2e rot=22 bit=28 mask=8
61: add dst=3 src=2 src2=2 imm=0x0a051d32 imm2=0xe9ed866d rot=30 bit=1 mask=4
62: load dst=0 src=2 src2=2 imm=0xab1dd54b imm2=0xc9fcaae2 rot=9 bit=2 mask=1
63: rotr dst=5 src=0 src2=5 imm=0x1f0279bd imm2=0x223e7b9c rot=11 bit=3 mask=16

20
docs/analysis/class-v6/rows/chainseed-census-1a938abe4/cs-era-genesis/sitestats.tsv Normal file
View file

@ -0,0 +1,20 @@
program id 2a1d6caab4c24564 class mx8-erad810f22d+sh256x27+state+reg64c+fold+rw attempt 0 generator v6
rule: ACCEPTED, distinct 128.000 per hash, saturated 0, bias max 60
site instr win off width distinct ratio under_c2 under_c3 bucket_ratio bucket_z bucket_id bit_z bit top_count
0 1 0 0 1 1046503 0.99998 0 0 2.188 4.75 60156 -1.87 26 2
1 15 1 0 1 1044355 0.99988 0 0 1.750 4.24 14357 2.42 22 3
2 27 2 1 1 1040572 1.00018 0 0 1.562 4.50 24199 -2.24 16 4
3 28 0 0 1 1046539 1.00001 0 0 2.312 5.25 10753 -3.06 1 3
4 30 1 1 1 1044536 1.00005 0 0 1.781 4.42 58838 -1.54 24 3
5 32 1 0 1 1044401 0.99992 0 0 1.906 5.13 1461 1.62 16 3
6 33 2 3 1 1040390 1.00001 0 0 1.547 4.38 50857 -2.50 7 4
7 42 0 0 1 1046557 1.00003 0 0 2.250 5.00 35595 -2.44 23 3
8 48 1 0 1 1044478 1.00000 0 0 1.781 4.42 14934 2.31 19 3
9 52 0 0 1 1046564 1.00003 0 0 2.500 6.00 57814 -3.00 20 3
10 55 2 2 1 1040481 1.00009 0 0 1.531 4.25 45966 -2.63 2 3
11 56 0 0 1 1046558 1.00003 0 0 2.438 5.75 65197 2.34 2 3
12 58 1 1 1 1044602 1.00012 0 0 1.781 4.42 44729 2.46 24 3
13 59 0 0 1 1046533 1.00000 0 0 2.562 6.25 4623 -1.77 1 3
14 60 1 0 1 1044508 1.00003 0 0 1.906 5.13 9415 -2.48 25 3
15 62 1 0 1 1044593 1.00011 0 0 1.875 4.95 300 2.97 9 3
summary: sites 16, min ratio 0.99988, under 0.98: 0, under 0.995: 0, bucket z max 6.25, bit z max -3.06, sites over 6 sigma 0, 2.2 s
Can't render this file because it has a wrong number of fields in line 3.

44
docs/analysis/class-v6/rows/pairing-20261008.md Normal file
View file

@ -0,0 +1,44 @@
# The pairing class and the chain-paired packs (8 October 2026, 20:4x to 21:1x UTC)
The frozen research pack `hl-v6-all` (id `0x4de7b836cc40a4ea`, generator 6, the class-v6 tree 1a938abe4) was exported with the
genesis epoch seed `edc4fa84…fb07` over node1's state stream captured after block `af89be5d…66b3` (number 159357, root
`1c583d35…1526`, 93 records, file sha256 `abb58003…0098`). `IgneumEngine::epoch_for` refuses that pair by the class v5 rule
(the stream's block must be the epoch's seed block), so the node and pool readers cannot re-check the object as packed. The
pairing was the W = 8 lane's research recipe of 14:00 (the CLI had no seed-block check), not a tool fault.
## The pairing holds on the chain's own pair
| Reader | Inputs | Id |
|---|---|---|
| the node engine, `igneum-miner program-id` on the placed (c) pair (node lane, 20:46:55 UTC) | epoch `af89be5d…`, era `edc4fa84…`, day 20730, the state above, class v6 | `2a1d6caab4c24564`, attempt 0 |
| the freeze CLI at 1a938abe4, `export … --era 0:edc4fa84…` (build-5, 20:48 UTC) | the same | `0x2a1d6caab4c24564`, attempt 0, generator 6, loads 256 |
A read with the era set to the block hash as well (`--era 0:af89be5d…`) draws `442a1691b3e3507f` (era label 93a14ac6): a
different input, void for the pairing. The ruling (hash lane, 21:00 UTC): D1 freezes the generator tree 1a938abe4; F0 names
the chain-seed draw `2a1d6caab4c24564` on the pair above; the research pack stays labelled at its pairing.
## The chain-paired packs (build-1 `/srv/artefacts/packs/`, read back 21:1x UTC)
| Pack | Class | Id | Attempt | Loads | tgz sha256 |
|---|---|---|---|---|---|
| hl-v6-all-cs | mx8+sh256x27+state+reg64c+fold+rw | `0x2a1d6caab4c24564` | 0 | 256 | `a4742bfefdc632a1f3977c9dfb8f66417c2f132436dcd9ad72c32a608638d6ca` |
| hl-v6-all-nowin-cs | the same +nowin | `0x4e1897e6ee262228` | 0 | 256 | `6ef02eeea5d078f5215b09145239e27a83c8a41e6bccb11bd638d3170b0538bb` |
| hl-v6-foldrw-cs | mx8+sh256x27+state+fold+rw | `0xb53d00f2bf629076` | 0 | 128 | `4f2abd36aee600d97d230b5b09f10680f228448007c6c7062fca737bf6351748` |
| hl-v5-nowin-cs | mx8+sh256x27+state+nowin | `0xa02b1a9dee6b8587` | 1 | 128 | `e2eb2840879d264a8d3562751f983ce57d821087ae6d52796eccf3ef48484b8e` |
| hl-v6-all-prefix-cs | as hl-v6-all-cs, the F05 prefix text | `0x2a1d6caab4c24564` | 0 | 256 | `a9e01f13d6f26f133504c6d62e73b86ee460b53d8798218100b2f250e0ac8ca5` |
All five: epoch seed `af89be5d…`, era `edc4fa84…`, day 20730, the state above, exported at 1a938abe4 on build-5.
## The P01 reference of the signing object
`igneum-pow hash-bound --prehash 00…01 --nonce 0 --count 1000000` on hl-v6-all-cs's inputs (build-5, 20:55 to 21:02 UTC):
1,000,000 lines `nonce hash16`, first `0 2394c9f10f9447a2`, last `999999 cdaadae412c7d9c1`, sha256
`b77c61d874aed238394fd0e556113192acf21e0762871b1044796f3fbaea338a`, at build-1 `/srv/artefacts/packs/p01-vectors/hl-v6-all-cs.txt`
(+ .sha256). The OpenCL read on PC 1's RX 7600 is the job `run-ca3-pc1-p01-opencl-7600-20261008` (behind the knee rows; the
pack by `fetch-ca3-p01cs-pack-20261008`); equal digests are 1,000,000 of 1,000,000. The Metal read is the morning's.
## The tool fix
class-v6 `ce6e6902f45f40e727726cf3e0dbf0e1c924658a` (suite 151 passed, 0 failed, 8 ignored on build-7): `StateStream::check_pairing`
runs first on every `--state` command; a refused pair exits 2 and writes nothing; a string seed never pairs; `--unpaired-state`
records a research pairing on purpose. Known-failed test `igneum-pow/tests/pairing.rs`. The generator is untouched.

126
docs/plans/igneum-2.0-test-registry.json
View file

@ -1331,7 +1331,7 @@
"run_status": "NOT RUN",
"evidence_path": "docs/analysis/review-2026-10-08-b/f10/emu-test.log; build-1:/srv/artefacts/tas/same-work-20261008-01/job-context.json; build-1:/srv/artefacts/tas/same-work-20261008-01/references/ref-D.txt; build-1:/srv/artefacts/tas/same-work-20261008-01/references/ref-D1.txt",
"run_id": "same-work-20261008-01",
"updated": "2026-10-08T21:28:29.457Z",
"updated": "2026-10-08T21:36:05.190Z",
"evidence_record": {
"requirement_id": "POW-01",
"decision": "NOT RUN",
@ -1352,7 +1352,7 @@
},
"claim_impact": "POW-01's CUDA half across a dataset-day switch on the frozen object: CUDA against the CPU reference bit for bit on three ranges with the day switch at nonce 1572864. NOT same-work evidence: the node engine refuses this seed/stream pair (IgneumEngine::epoch_for's class v5 check wants the stream's block af89be5d... to equal the epoch seed edc4fa84...), so the node and pool readers cannot read it; the coordinator's ruling 22:0x UK keeps it as the CUDA and CPU-only row",
"reviewer": "",
"at": "2026-10-08T21:28:29.457Z"
"at": "2026-10-08T21:36:05.190Z"
},
"in_progress_since": "2026-10-08T20:07:26.255Z",
"approvals": {
@ -1407,7 +1407,7 @@
},
"claim_impact": "POW-01's CUDA half across a dataset-day switch on the frozen object: CUDA against the CPU reference bit for bit on three ranges with the day switch at nonce 1572864. NOT same-work evidence: the node engine refuses this seed/stream pair (IgneumEngine::epoch_for's class v5 check wants the stream's block af89be5d... to equal the epoch seed edc4fa84...), so the node and pool readers cannot read it; the coordinator's ruling 22:0x UK keeps it as the CUDA and CPU-only row",
"reviewer": "",
"at": "2026-10-08T21:28:29.457Z"
"at": "2026-10-08T21:36:05.190Z"
}
}
},
@ -1438,19 +1438,19 @@
"manual_page": 24,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "NOT RUN",
"evidence_path": "docs/analysis/review-2026-10-08-b/f10/packfile-test.log;docs/analysis/review-2026-10-08-b/f10/geometry-check-mini.log; docs/analysis/class-v6/family-gate.md; docs/analysis/class-v6/rows/live-dataset-census-1a938abe4.md",
"run_id": "census-v6-live-20261008-2210",
"updated": "2026-10-08T21:20:19.390Z",
"evidence_path": "docs/analysis/review-2026-10-08-b/f10/packfile-test.log;docs/analysis/review-2026-10-08-b/f10/geometry-check-mini.log; docs/analysis/class-v6/family-gate.md; docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md; docs/analysis/class-v6/rows/pairing-20261008.md",
"run_id": "hash-lane-20261008-batch3",
"updated": "2026-10-08T21:34:44.641Z",
"evidence_record": {
"requirement_id": "POW-02",
"decision": "PASS",
"method": "native",
"cell": "census:class-v6",
"cell": "suite:pow",
"manifest_sha": "1a938abe4",
"run_id": "census-v6-live-20261008-2210",
"evidence": "docs/analysis/class-v6/rows/live-dataset-census-1a938abe4.md",
"run_id": "hash-lane-20261008-batch3",
"evidence": "docs/analysis/class-v6/rows/pairing-20261008.md",
"in_progress": false,
"coverage": "partial: the fold's index statistics and the grammar bounds on 256 seeds plus the F8 set; the malformed programs are owed to harness:parser-malformed",
"coverage": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"release_identity": {
"commit": "1a938abe4",
"lockfile": "",
@ -1461,7 +1461,7 @@
},
"claim_impact": "",
"reviewer": "",
"at": "2026-10-08T21:20:19.390Z"
"at": "2026-10-08T21:34:44.641Z"
},
"in_progress_since": "2026-10-08T20:07:26.255Z",
"approvals": {
@ -1523,8 +1523,8 @@
"method": "native",
"cell": "census:class-v6",
"manifest_sha": "1a938abe4",
"run_id": "census-v6-live-20261008-2210",
"evidence": "docs/analysis/class-v6/rows/live-dataset-census-1a938abe4.md",
"run_id": "census-v6-chainseed-20261008-2230",
"evidence": "docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md",
"in_progress": false,
"coverage": "partial: the fold's index statistics and the grammar bounds on 256 seeds plus the F8 set; the malformed programs are owed to harness:parser-malformed",
"release_identity": {
@ -1537,7 +1537,29 @@
},
"claim_impact": "",
"reviewer": "",
"at": "2026-10-08T21:20:19.390Z"
"at": "2026-10-08T21:33:35.822Z"
},
"suite:pow": {
"requirement_id": "POW-02",
"decision": "PASS",
"method": "native",
"cell": "suite:pow",
"manifest_sha": "1a938abe4",
"run_id": "hash-lane-20261008-batch3",
"evidence": "docs/analysis/class-v6/rows/pairing-20261008.md",
"in_progress": false,
"coverage": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"release_identity": {
"commit": "1a938abe4",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
},
"claim_impact": "",
"reviewer": "",
"at": "2026-10-08T21:34:44.641Z"
}
}
},
@ -2073,34 +2095,32 @@
"owner": "Cryptography + GPU lead",
"manual_page": 26,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "NOT RUN",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch2",
"updated": "2026-10-08T19:59:34.316Z",
"run_status": "PASS",
"evidence_path": "docs/analysis/class-v6/rows/pairing-20261008.md",
"run_id": "hash-lane-20261008-batch3",
"updated": "2026-10-08T21:34:44.641Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "b24dfc162",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T19:59:34.316Z",
"method": "native",
"requirement_id": "POW-08",
"decision": "NOT RUN",
"reviewer": "",
"claim_impact": "",
"decision": "PASS",
"method": "native",
"cell": "suite:pow",
"manifest_sha": "1a938abe4",
"run_id": "hash-lane-20261008-batch3",
"evidence": "docs/analysis/class-v6/rows/pairing-20261008.md",
"in_progress": false,
"coverage": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"release_identity": {
"commit": "b24dfc162",
"commit": "1a938abe4",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
}
},
"claim_impact": "",
"reviewer": "",
"at": "2026-10-08T21:34:44.641Z"
},
"in_progress_since": "2026-10-08T19:59:34.316Z",
"approvals": {
"scope_approved": null,
"implementation_complete": null,
@ -2109,30 +2129,26 @@
},
"evidence_records": {
"suite:pow": {
"cell": "suite:pow",
"manifest_sha": "b24dfc162",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T19:59:34.316Z",
"method": "native",
"requirement_id": "POW-08",
"decision": "NOT RUN",
"reviewer": "",
"claim_impact": "",
"decision": "PASS",
"method": "native",
"cell": "suite:pow",
"manifest_sha": "1a938abe4",
"run_id": "hash-lane-20261008-batch3",
"evidence": "docs/analysis/class-v6/rows/pairing-20261008.md",
"in_progress": false,
"coverage": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"release_identity": {
"commit": "b24dfc162",
"commit": "1a938abe4",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
},
"run_id": "hash-lane-20261008-batch2",
"evidence": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"in_progress": true
"claim_impact": "",
"reviewer": "",
"at": "2026-10-08T21:34:44.641Z"
}
}
}
@ -12123,7 +12139,7 @@
],
"run_id": "same-work-20261008-03",
"evidence_path": "docs/design/class-v5-stored-state.md; build-1:/srv/artefacts/packs/packs-class-v6-20261008T202808Z.zip; build-1:/srv/builds/_log/v5-class/kits-20261008T202808Z/emu-check.log; build-1:/srv/artefacts/tas/same-work-20261008-03/job-context.json; build-1:/srv/artefacts/tas/same-work-20261008-03/state-epoch2.igsd1",
"updated": "2026-10-08T21:28:29.555Z",
"updated": "2026-10-08T21:36:05.307Z",
"evidence_record": {
"requirement_id": "R2-F03-R02",
"decision": "NOT RUN",
@ -12144,7 +12160,7 @@
},
"claim_impact": "the same-work test's live-chain half (the coordinator's third row, 22:1x UK): the readers on the chain's own class v5 object at epoch 2 across the day switch 20734 to 20735; the node and pool readers run it on their release-line engines, the row those two can PASS without the class v6 branch",
"reviewer": "",
"at": "2026-10-08T21:28:29.555Z"
"at": "2026-10-08T21:36:05.307Z"
},
"evidence_records": {
"kit:class-v6-fingerprints": {
@ -12189,7 +12205,7 @@
},
"claim_impact": "the same-work test's live-chain half (the coordinator's third row, 22:1x UK): the readers on the chain's own class v5 object at epoch 2 across the day switch 20734 to 20735; the node and pool readers run it on their release-line engines, the row those two can PASS without the class v6 branch",
"reviewer": "",
"at": "2026-10-08T21:28:29.555Z"
"at": "2026-10-08T21:36:05.307Z"
}
},
"in_progress_since": "2026-10-08T21:18:18.084Z",
@ -12231,7 +12247,7 @@
"POW-01",
"ROT-02"
],
"updated": "2026-10-08T21:28:29.555Z",
"updated": "2026-10-08T21:36:05.307Z",
"evidence_record": {
"requirement_id": "R2-F03-R03",
"decision": "NOT RUN",
@ -12252,7 +12268,7 @@
},
"claim_impact": "the same-work test's live-chain half (the coordinator's third row, 22:1x UK): the readers on the chain's own class v5 object at epoch 2 across the day switch 20734 to 20735; the node and pool readers run it on their release-line engines, the row those two can PASS without the class v6 branch",
"reviewer": "",
"at": "2026-10-08T21:28:29.555Z"
"at": "2026-10-08T21:36:05.307Z"
},
"evidence_records": {
"harness:same-work": {
@ -12275,7 +12291,7 @@
},
"claim_impact": "the same-work test's live-chain half (the coordinator's third row, 22:1x UK): the readers on the chain's own class v5 object at epoch 2 across the day switch 20734 to 20735; the node and pool readers run it on their release-line engines, the row those two can PASS without the class v6 branch",
"reviewer": "",
"at": "2026-10-08T21:28:29.555Z"
"at": "2026-10-08T21:36:05.307Z"
}
},
"approvals": {

9
infra/build-server/lib.sh
View file

@ -286,9 +286,16 @@ bs_wt_lock() {
local d="$BS_ROOT_REMOTE/_locks/wt-$BS_WT" t0 holder
t0=$(date +%s)
while :; do
if bs_ssh "mkdir '$d' 2>/dev/null && printf 'pid %s since %sZ: %s\n' '$$' \"\$(date -u +%H:%M:%S)\" '${BS_TOOL:-build} $BS_CRATE_REL' > '$d/holder'"; then BS_WT_LOCKED="$d"; trap 'bs_wt_unlock' EXIT; return 0; fi
if bs_ssh "mkdir '$d' 2>/dev/null && printf 'pid %s host %s since %sZ: %s\n' '$$' '$(hostname -s)' \"\$(date -u +%H:%M:%S)\" '${BS_TOOL:-build} $BS_CRATE_REL' > '$d/holder'"; then BS_WT_LOCKED="$d"; trap 'bs_wt_unlock' EXIT; return 0; fi
holder=$(bs_ssh "cat '$d/holder' 2>/dev/null; find '$d' -maxdepth 0 -mmin +180 -print 2>/dev/null | grep -q . && echo STALE" 2>/dev/null || true)
case "$holder" in *STALE*) bs_log "worktree lock $d is older than 3 h; taking it over"; bs_ssh "rm -rf '$d'"; continue ;; esac
# the dead-holder class (8 October 2026, 21:11 to 22:11 UK): a build-remote killed by its pid never runs its EXIT trap, so the
# box kept its lock for the 3 h rule and the next run on that worktree waited an hour. The holder line names the Mac and
# the pid; a waiter on the same Mac whose pid is dead takes the lock over at once and says so.
case "$holder" in
"pid "*" host $(hostname -s) since "*) local hp; hp=$(printf '%s' "$holder" | sed -n 's/^pid \([0-9]*\) host .*/\1/p')
if [ -n "$hp" ] && ! kill -0 "$hp" 2>/dev/null; then bs_log "worktree lock $d held by pid $hp of this Mac, which is dead; taking it over"; bs_ssh "rm -rf '$d'"; continue; fi ;;
esac
[ $(( $(date +%s) - t0 )) -lt 7200 ] || bs_die "gave up after 2 h waiting for the worktree lock $d (held: $holder)"
[ $(( ($(date +%s) - t0) % 60 )) -lt 10 ] && bs_log "waiting for another run on worktree $BS_WT: ${holder:-?}"
sleep 10

4
proving/igneum-prove/elf/manifest.json
View file

@ -19,5 +19,7 @@
"vk_sha256": "0x8b4da5bff86d963f4210a78e5d800a1cd00ab41b158f6962f4ac009edc249d4c"
},
"sp1_circuit_version": "v6.1.0",
"sp1_crate_version": "6.8.1"
"sp1_crate_version": "6.8.1",
"source_commit": "15bb6cdd43bf0e52fca0df0f1dd880e124d03acf",
"guest_input_format": 1
}

5
proving/igneum-prove/host/src/main.rs
View file

@ -74,6 +74,11 @@ fn run() -> Result<()> {
println!("RESULT id: {}", pinned.describe());
return Ok(());
}
// A host whose code writes a guest input layout the pinned pair does not read never builds an input for it: refused
// here with the source commit to build from (aggregate, chain and every fixture mode build guest inputs; id and the verify modes do not).
if !mode.starts_with("verify") {
pinned.manifest.check_input_format(igneum_prove_core::shard::GUEST_INPUT_FORMAT)?;
}
if mode == "verify" {
// proving v0 (spec 7.7): the node's proof pool verifies a submitted shard proof off the consensus path
return run_verify(&pinned, &arg("--proof").context("--proof <file>")?, &arg("--statement").context("--statement 0x<keccak of the public values>")?);

60
proving/igneum-prove/host/src/pinned.rs
View file

@ -61,6 +61,36 @@ pub struct Manifest {
/// from its object, never from here).
#[serde(default, skip_serializing_if = "Option::is_none")]
pub succession: Option<Succession>,
/// V6-10 provenance (8 October 2026): the commit the pinned pair was built from; the host for this pair is built
/// from it (the steward's release-manifest check reads it as an ancestor of the tree).
#[serde(default, skip_serializing_if = "Option::is_none")]
pub source_commit: Option<String>,
/// The guest input layout the pinned pair reads (`igneum_prove_core::shard::GUEST_INPUT_FORMAT` of its source; absent
/// on a pin from before the field, which is format 1). A host whose code writes another layout refuses to start
/// (22:0x UK, 8 October 2026: a host from master wrote format 3 to the 5 October guests and read "public values are
/// 0 bytes" on a 3060 and a 4060; the kit's prover is built from `source_commit`, never from a tree of another format).
#[serde(default, skip_serializing_if = "Option::is_none")]
pub guest_input_format: Option<u32>,
}
impl Manifest {
/// The input layout the pinned pair reads: the manifest's field, or 1 for a pin from before the field.
pub fn input_format(&self) -> u32 {
self.guest_input_format.unwrap_or(1)
}
/// Refuses a host whose code writes a layout the pinned pair does not read; the line names the source commit to
/// build the prover from instead.
pub fn check_input_format(&self, code_format: u32) -> Result<()> {
let pinned = self.input_format();
if pinned == code_format {
return Ok(());
}
anyhow::bail!(
"this host writes guest input format {code_format} and the pinned pair (shard {}) reads format {pinned}: the prover for this pair is built from the manifest's source commit {}, never from this tree (or the pin moves with the code: proving/igneum-prove/pin-guests.sh)",
self.shard.program_id,
self.source_commit.as_deref().unwrap_or("(absent: a pin from before provenance; its source is the commit that last changed elf/igneum-prove-program.elf)")
)
}
}
/// The prior pair's block: the same per-program fields as the top level and the time it was pinned.
@ -227,6 +257,36 @@ pub fn claimed_program_id(proof: &SP1ProofWithPublicValues) -> Option<B256> {
mod tests {
use super::*;
/// Known-failed first: a manifest naming another input layout refuses the host with the source commit to build from;
/// a manifest naming none reads as format 1; the code's own format passes.
#[test]
fn a_pinned_pair_of_another_input_format_refuses_this_host_and_names_the_source_to_build() {
let mut m = Manifest::embedded().unwrap();
m.guest_input_format = Some(igneum_prove_core::shard::GUEST_INPUT_FORMAT + 1);
m.source_commit = Some("abc123".into());
let e = m.check_input_format(igneum_prove_core::shard::GUEST_INPUT_FORMAT).unwrap_err().to_string();
assert!(e.contains("built from the manifest's source commit abc123"), "{e}");
m.guest_input_format = None;
assert_eq!(m.input_format(), 1, "a pin from before the field is format 1");
if igneum_prove_core::shard::GUEST_INPUT_FORMAT != 1 {
let e = m.check_input_format(igneum_prove_core::shard::GUEST_INPUT_FORMAT).unwrap_err().to_string();
assert!(e.contains("reads format 1"), "{e}");
}
m.guest_input_format = Some(igneum_prove_core::shard::GUEST_INPUT_FORMAT);
m.check_input_format(igneum_prove_core::shard::GUEST_INPUT_FORMAT).unwrap();
// the embedded manifest itself: Pinned::load still answers (id and the verify modes work on a held pin), and the
// input-format check either passes or names the source commit the prover is built from
let embedded = Manifest::embedded().unwrap();
Pinned::load().unwrap();
match embedded.check_input_format(igneum_prove_core::shard::GUEST_INPUT_FORMAT) {
Ok(()) => assert_eq!(embedded.input_format(), igneum_prove_core::shard::GUEST_INPUT_FORMAT),
Err(e) => {
assert!(e.to_string().contains("guest input format"), "{e}");
assert!(embedded.source_commit.is_some(), "a held pin names the source commit its prover is built from");
}
}
}
#[test]
fn manifest_parses_and_names_both_programs() {
let m = Manifest::embedded().unwrap();

6
tools/ci/batches/census-v6-chainseed-20261008-2230.json Normal file
View file

@ -0,0 +1,6 @@
{
"run_id": "census-v6-chainseed-20261008-2230",
"manifest_sha": "1a938abe4",
"evidence_dir": "docs/analysis/class-v6/rows/chainseed-census-1a938abe4",
"cells": [ { "cell": "census:class-v6", "status": "PASS", "method": "native", "evidence": "docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md" } ]
}

19
tools/ci/batches/hash-lane-20261008-batch3.json Normal file
View file

@ -0,0 +1,19 @@
{
"run_id": "hash-lane-20261008-batch3",
"manifest_sha": "1a938abe4",
"evidence_dir": "docs/analysis/class-v6/rows",
"cells": [
{
"cell": "harness:p01-vectors",
"status": "PASS",
"method": "native",
"evidence": "docs/analysis/class-v6/rows/pairing-20261008.md"
},
{
"cell": "suite:pow",
"status": "PASS",
"method": "native",
"evidence": "docs/analysis/class-v6/rows/pairing-20261008.md"
}
]
}