Function decode_io_buffer_data

crates/ffi/src/aiur/protocol.rs:736–747

(
  arr: &LeanArray<LeanBorrowed<'_>>,
)

}

/// `MemAvailable` from `/proc/meminfo`, in bytes (Linux; includes
/// reclaimable page cache). `None` if unreadable — the caller then
/// disables the gate rather than guessing.
fn available_ram_bytes() -> Option<usize> {
  let s = std::fs::read_to_string("/proc/meminfo").ok()?;
  let rest = s.lines().find_map(|l| l.strip_prefix("MemAvailable:"))?;
  let kib: usize = rest.trim().trim_end_matches("kB").trim().parse().ok()?;
  Some(kib * 1024)
}

// cast_precision_loss: the [ram-gate] line renders byte counts in GiB
// for humans; f64's 52-bit mantissa is exact far past any real budget.
#[allow(clippy::cast_precision_loss)]
#[unsafe(no_mangle)]
extern "C" fn rs_aiur_toplevel_shard_check_batch(