pub(all) struct ActiveRouteState {
  rule : InterlockingRule
  state : RouteState
  release_stage : ReleaseStage
  unlocked_sections : FixedArray[Bool]
  occupied_sections : FixedArray[Bool]
  highest_observed_section_index : Int
  occupancy_order_violation : Bool
  observed_train_id : String
  entry_time_ms : Int64
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DistantSignalLinkage {
  distant_signal_id : 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalId
SignalId
  home_signal_id : 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalId
SignalId
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FlankProtection {
  turnout_id : 
@WEICZ20/moonbit-computer-interlocking/src/topology.TurnoutId
TurnoutId
  required_position : 
@WEICZ20/moonbit-computer-interlocking/src/topology.TurnoutPosition
TurnoutPosition
  description : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct InterlockingRule {
  id : RouteId
  name : String
  route_type : RouteType
  entry_signal : 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalId
SignalId
  exit_signal : 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalId
SignalId
  switches : Array[SwitchRequirement]
  flank_switches : Array[FlankProtection]
  track_sections : Array[
@WEICZ20/moonbit-computer-interlocking/src/topology.TrackId
TrackId]
  hostile_route_ids : Array[RouteId]
  target_aspect : 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalAspect
SignalAspect
  approach_section : 
@WEICZ20/moonbit-computer-interlocking/src/topology.TrackId
TrackId?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct InterlockingTable {
  rules : Map[Int, InterlockingRule]
  active_routes : Map[Int, ActiveRouteState]
  active_route_flags : FixedArray[Bool]
  signal_pair_index : Map[Int, RouteId]
  track_to_routes : Map[Int, Array[RouteId]]
  turnout_to_routes : Map[Int, Array[RouteId]]
  acquired_turnout_scratch : FixedArray[
@WEICZ20/moonbit-computer-interlocking/src/topology.TurnoutId
TurnoutId]
  acquired_track_scratch : FixedArray[
@WEICZ20/moonbit-computer-interlocking/src/topology.TrackId
TrackId]
  acquired_turnout_count : Int
  acquired_track_count : Int
  next_route_id : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ReleaseCounters {
  sections_unlocked : Int
  switches_unlocked : Int
  is_route_completed : Bool
  entered_route : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ReleaseStage {
  StageNotStarted
  StageApproachOccupied
  StageEntrySectionOccupied
  StageMiddleSectionOccupied
  StageExitSectionOccupied
  StageFullyReleased
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RouteId {
  id : Int
} derive(Compare, Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RouteLifecycleAudit {
  route_id : RouteId
  is_valid : Bool
  transition_count : Int
  errors : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RouteLockResult {
  is_success : Bool
  route_id : RouteId
  message : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RouteState {
  RouteInactive
  RouteRequested
  SwitchesThrowing
  RouteLocked
  ApproachLocked
  TrainInRoute
  SectionalUnlocking
  RouteCancelling
  RouteFault
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RouteType {
  ReceivingRoute
  DepartureRoute
  PassingRoute
  ShuntingRoute
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SafetyAuditReport {
  violations : Array[SafetyViolation]
  fatal_count : Int
  warning_count : Int
  can_clear_signal : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SafetyInvariantViolation {
  violation_type : String
  description : String
  affected_route_id : RouteId?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SafetySeverity {
  SafetyWarning
  SafetyCritical
  SafetyEmergency
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SafetyViolation {
  kind : SafetyViolationKind
  severity : SafetySeverity
  affected_route_id : RouteId?
  description : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum SafetyViolationKind {
  MissingTurnout
  TurnoutPositionMismatch
  TurnoutUnlocked
  FlankProtectionMismatch
  HostileRouteConflict
  MissingTrack
  FaultedRouteSection
  ProceedSignalUnsafe
  FaultSignalNotRed
  ReleaseBeforeTraversal
  OccupancyOrderViolation
  IllegalRouteTransition
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ScanSafetySummary {
  checked_routes : Int
  fatal_count : Int
  warning_count : Int
  can_clear_signal : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SectionalReleaseResult {
  sections_unlocked : Array[
@WEICZ20/moonbit-computer-interlocking/src/topology.TrackId
TrackId]
  switches_unlocked : Array[
@WEICZ20/moonbit-computer-interlocking/src/topology.TurnoutId
TurnoutId]
  is_route_completed : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SwitchRequirement {
  turnout_id : 
@WEICZ20/moonbit-computer-interlocking/src/topology.TurnoutId
TurnoutId
  required_position : 
@WEICZ20/moonbit-computer-interlocking/src/topology.TurnoutPosition
TurnoutPosition
} derive(
@moonbitlang/core/debug.Debug
Debug)

fn determine_signal_aspect_for_route(route_type : RouteType, is_diverging : Bool, exit_signal_aspect : 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalAspect
SignalAspect) -> 
@WEICZ20/moonbit-computer-interlocking/src/topology.SignalAspect
SignalAspect

fn update_distant_signal_linkage(station : 
@WEICZ20/moonbit-computer-interlocking/src/topology.Station
Station, linkage : DistantSignalLinkage) -> Result[Unit, String]

fn validate_route_transition(from : RouteState, to : RouteState) -> Result[Unit, String]