Function leaf

crates/kernel/src/shard.rs:2409–2411

(id: u32)

pub const RAM_GIB_PER_BCOST: f64 = 0.2845;
/// Usable fraction of a host-RAM budget (headroom for OS + variance) — applied
/// to whatever budget the caller gives (explicit `--max-ram`, or detected
/// system RAM by default).
pub const RAM_USABLE_FRAC: f64 = 0.85;

/// Predicted peak prover RAM (GiB) for a leaf of `cost` **actual** guest cost
/// units (for predicted cost, multiply by [`COST_MODEL_HEADROOM`] first to