Function get_address

crates/ixon/src/serialize.rs:100–107

(buf: &mut &[u8])

/// Read the `.ixe` header shared by every Env reader:
/// `Tag4(0xE, VERSION)`, the 32-byte consts merkle root, the bundle
/// `main` pointer, and the strictly ascending assumptions list.
/// Centralized so the four readers (`get`, `get_anon`, `get_anon_mmap`,
/// `parse_lazy_index`) cannot drift. `ctx` labels errors with the
/// calling reader.
fn read_env_header(
  buf: &mut &[u8],
  ctx: &str,
) -> Result<(Address, Option<Address>, Vec<Address>), String> {
  let tag = Tag4::get(buf)?;
  if tag.flag != Env::FLAG {