nordisk/holger

plugin/guest-allocation-wasm/src/lib.rs

//! ABI glue and nothing else.
//!
//! The capability list here and the `requires` list in
//! [`holger_plugin_allocation::AllocationMeter::manifest_const`] are the same
//! statement made twice, so the module's real import table and its published
//! manifest agree — which is precisely what the host's gate B checks at load.
//! `tests/the_shim_asks_for_what_the_manifest_declares.rs` asserts they have not
//! drifted; the host would refuse the module if they had.

holger_plugin_abi::export_meter!(
    holger_plugin_allocation::AllocationMeter,
    caps = [usage_read, store_list],
);