A small, auditable, deterministic budget accounting kernel with zero heap allocation on the hot path.