def floor

bendvy-ecs-core@0.1.0.3 · clock_state.bend:21

import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

21# Trusted restore publication raises administrative time without rebasing any
22# retained reader cursor or captured scope. Admission requires quiescent scopes.
23# Elapsed receiver time is preserved; saved events are not replayed.
24def floor(state:State,+minimum:Tick.Tick) -> State:
25  match state:
26    case State{+current,scopes}:State{floor_tick(Tick.not_future(current,minimum),current,minimum),scopes}