Function decode_io_buffer

crates/ffi/src/aiur/protocol.rs:670–677

(
  io_data_arr: &LeanArray<LeanBorrowed<'_>>,
  io_map_arr: &LeanArray<LeanBorrowed<'_>>,
)

  fn release(&self, bytes: usize) {
    *self.reserved.lock().unwrap() -= bytes;
    self.cv.notify_all();
  }
}

/// Per-shard execution-RSS reserve for [`RamGate`], an AFFINE model:
/// `EXEC_RSS_FIXED_BYTES + EXEC_RSS_PER_OWNED_BYTE x owned bytes`. The
/// byte basis is the sum of the shard's owned constants' raw
/// serialized bytes (`Env::get_const_bytes`) — NOT the shard's share
/// of `.ixe` FILE bytes, which also carry blobs, names, and indices
/// and run ~2.6x larger. The fixed term is the closure/frontier
/// ingress every shard pays regardless of owned size; without it a