virtualService

Raw virtual service of an edge, design §7.1's b + committedService / weight — read off the replicated Gauge rather than off any field of the record (issue #1752):

grossEv = floor + (baseIssued − folded) / w      (no gauge ⇒ baseIssued / w)
ev      = grossEv − returned / w

b is the gauge's floor, carried with the issuance the writer had actually observed when it asserted it, so a stale seat is self-limiting rather than a permanent lie; an edge nothing has seated yet reads from its own origin. The numerator stays committed (not merely spent) service, so a grant advances the child the instant it is issued — hoarding is charged — and a return walks it back. Exact rational; never rounded, at either end: the seat is a Rational too, which is why the old ⌈V⌉ creation rule is gone.

This is the whole of the policy's virtual-time input. It shares grossVirtualServiceAt with EntitlementLedger.grossVirtualService and with the checkpoint delegate writes, so the value the writer asserted and the value the scheduler reads are one expression.

Throws