Main's set now holds settle cases to 1,000 cells, chains to 1,024 cells, sampled fields to
2^31 - 1 and a battery workload whose uncertain fields span 135,000, and a member may decline only
fields above 2^31 - 1. The member declines that and nothing else (takes). What the 64-cell engine
cannot hold it refuses with a sentence; member::beyond says why, and the checks hold the board to
the reference's bits on every case it holds and to a refusal on every case it does not. On the
model: 21/21 settle cases and 227/227 chains held, 13 cases refused, so the host certifies both
kernels uncertified under the current set. The README, the changelog and CI say so; the board
was certified bit-exact under the set of 2026-11-06, when its measurements were taken. The build
record carries the testbenches' results on the new session, in Icarus Verilog and xsim alike.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
39d8a84b29