Method arbitrary

crates/ixon/src/serialize.rs:2306–2308

(g: &mut Gen)

      ));
    }

    // Re-verify the merkle root over const addresses (header
    // integrity). §2 ascending order was enforced during the scan, so
    // the collected addresses are already the sorted key set.
    let const_addrs: Vec<Address> =
      index.consts.iter().map(|c| c.addr.clone()).collect();