pub fn o1_spec_commit(_kv_id: u64, _pos0: usize, _rows: usize) -> bool
The accepted rows of a verify: the sealed layers’ state moves over them.