CoordinatorPolicy.step: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend as CoordinatorPolicy
Lines 99-133 of mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&start_line=99&end_line=133

import Base

# Applies one lifecycle event without performing host effects.
def step(state: State, event: OwnerEvent) -> Decision:
  match state:
    case Starting{}:
      match event:
        case AcquireLock{}: Advance{Locked{}}
        case Failure{}: Advance{Failed{}}
        case _: Reject{}
    case Locked{}:
      match event:
        case RecoveryComplete{}: Advance{Recovered{}}
        case Failure{}: Advance{Failed{}}
        case _: Reject{}
    case Recovered{}:
      match event:
        case PublishEndpoint{}: Advance{Serving{}}
        case Failure{}: Advance{Failed{}}
        case _: Reject{}
    case Serving{}:
      match event:
        case BeginShutdown{}: Advance{Stopping{}}
        case Failure{}: Advance{Failed{}}
        case _: Reject{}
    case Stopping{}:
      match event:
        case RemoveEndpoint{}: Advance{EndpointRemoved{}}
        case Failure{}: Advance{Failed{}}
        case _: Reject{}
    case EndpointRemoved{}:
      match event:
        case ReleaseLock{}: Advance{Closed{}}
        case Failure{}: Advance{Failed{}}
        case _: Reject{}
    case Closed{}: Reject{}
    case Failed{}: Reject{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&name=OwnerEvent
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&name=State