ClockState.floor: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/clock_state.bend as ClockState
Lines 21-26 of bendvy-ecs-core@0.1.0.3/clock_state.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/clock_state.bend&start_line=21&end_line=26

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=not_future
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/clock_state.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/clock_state.bend&name=floor_tick