Module memory

metrale_bench::benchmarks::default_tier_boot

Module memory 

Source
Expand description

2026-10-01: What a server reports about its memory (GET /memory), and the pure arithmetic the default-tier boot check derives from it. The server fills MemoryReport; the driver reads it back, so the one type is the wire contract on both sides.

Owner: bench, default-tier-boot. Invariants:

  • A reading the server could not take is None, serialised as JSON null; footprint refuses to derive from one rather than substituting a number.
  • Pure: no I/O.

Structs§

Footprint
2026-10-01: The figures the check reports, derived from one MemoryReport.
MemoryReport
2026-10-01: The body of GET /memory. Byte counts unless the name says otherwise.

Constants§

MIB
2026-10-01: Bytes per MiB, the unit of every byte-valued metric this check emits.

Functions§

footprint
2026-10-01: Derive the Footprint. The subtraction is done in whole bytes, so a footprint exactly at the budget reports 0, not a rounding residue. Errors, naming the fields, when a host reading is missing.
verdict_for
2026-10-01: The run verdict. A missing reading fails as inconclusive; a measured run is informational, because no bounds are declared for this check yet.