wakeOffset

fun wakeOffset(front: Rational, vRaw: Rational, weight: Weight, sleeperCredit: Long): Rational

The forward clamp applied when a child transitions idle→demanding (design §7.2): max(0, front − vRaw − sleeperCredit / weight). Adding this offset to virtualService clamps the waker up to the current front (with default sleeperCredit = 0, exactly to the front), so it cannot claim a backlog of idle virtual time. The result is the PolicyEdge.virtualOffset the caller stores.

Parameters

front

the parent's virtual time at the moment of waking — front, with the waker itself (and any co-waker) excluded.

vRaw

the edge's raw virtualService.

weight

the edge's weight.

sleeperCredit

bounded credit the waker may keep (default 0).