Struct SpaceLedger 

pub struct SpaceLedger { /* private fields */ }

The server-wide account of bytes promised to transfers still landing. One per data root; gunnar serve builds it with the disk-headroom gate and hands the same Arc to every door that writes (push, mirror, LFS).

Implementations

impl SpaceLedger

pub fn new(root: impl Into<PathBuf>, floor: DiskFloor) -> Self

The ledger for the data set root lives on, measured with statvfs.

pub fn with_probe( root: impl Into<PathBuf>, floor: DiskFloor, probe: Arc<dyn SpaceProbe>, ) -> Self

The same, measured by probe — a test’s fake disk.

pub fn with_fs_slack(self, slack: FsSlack) -> Self

Promise the filesystem’s slack as measured (FsSlack::of) instead of the floor (PUSH_FS_SLACK_PERMILLE). gunnar serve measures its data set once at start.

pub fn fs_slack(&self) -> FsSlack

The filesystem’s slack in force.

pub fn with_small_lane(self, bytes: u64) -> Self

Keep bytes above the floor for small pushes instead of SMALL_PUSH_LANE. 0 turns the lane off.

pub fn root(&self) -> &Path

The data root this ledger speaks for (named in its refusals).

pub fn floor(&self) -> DiskFloor

The floor it keeps.

pub fn small_lane(&self) -> u64

The small-push lane in force.

pub fn probe(&self) -> &Arc<dyn SpaceProbe>

The probe it measures with — the disk gate’s headroom reads the same.

pub fn reserved(&self) -> u64

Bytes promised right now and not on the disk yet.

pub fn holds(&self) -> usize

Transfers holding a promise right now.

pub fn refused(&self) -> u64

Transfers refused for room since this ledger was built.

pub fn standing(&self) -> Result<Standing>

One measurement, with the promises beside it.

pub fn hold(self: &Arc<Self>, copies: u64) -> SpaceHold

A promise for one transfer, held to copies bytes of /data per byte it sends (PUSH_COPIES for a framed push). Everything it still holds is given back when it drops — landed, refused, cut or crashed.

pub fn full_before_the_first_byte(&self) -> Option<String>

The up-front line, before any byte: Some when what is promised already covers everything above the floor. The floor gate’s own line (under the floor with nothing promised) is the gate’s, not this.

The pusher is told in plain words; the numbers go to the journal (wiring tracer B 2026-10-08: a customer never sees room left).

Trait Implementations

impl Debug for SpaceLedger

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.