elevator_core/sim/

construction.rs

//! Simulation construction, validation, and topology assembly.
//!
//! Split out from `sim.rs` to keep each concern readable. Holds:
//!
//! - [`Simulation::new`] and [`Simulation::new_with_hooks`]
//! - Config validation ([`Simulation::validate_config`] and helpers)
//! - Legacy and explicit topology builders
//! - [`Simulation::from_parts`] for snapshot restore
//! - Dispatch, reposition, and hook registration helpers
//!
//! Since this is a child module of `crate::sim`, it can access `Simulation`'s
//! private fields directly — no visibility relaxation required.

use std::collections::{BTreeMap, HashMap, HashSet};
use std::sync::Mutex;

use crate::components::{
    Elevator, ElevatorPhase, Line, LineKind, Orientation, Position, Stop, Velocity,
};
use crate::config::SimConfig;
use crate::dispatch::{
    BuiltinReposition, BuiltinStrategy, DispatchStrategy, ElevatorGroup, LineInfo,
    RepositionStrategy,
};
use crate::door::DoorState;
use crate::entity::EntityId;
use crate::error::SimError;
use crate::events::EventBus;
use crate::hooks::{Phase, PhaseHooks};
use crate::ids::GroupId;
use crate::metrics::Metrics;
use crate::rider_index::RiderIndex;
use crate::stop::StopId;
use crate::time::TimeAdapter;
use crate::topology::TopologyGraph;
use crate::world::World;

use super::Simulation;

/// Bundled topology result: groups, dispatchers, and strategy IDs.
type TopologyResult = (
    Vec<ElevatorGroup>,
    BTreeMap<GroupId, Box<dyn DispatchStrategy>>,
    BTreeMap<GroupId, BuiltinStrategy>,
);

/// Canonical [`HallCallMode`](crate::dispatch::HallCallMode) for a
/// built-in dispatch strategy.
///
/// Returns `None` for [`BuiltinStrategy::Custom`] — custom strategies
/// don't have a canonical mode and keep whatever the group already
/// carries. Returns `Some(Destination)` only for the destination
/// dispatch; every other built-in is `Some(Classic)`.
///
/// One source of truth for the construction-time and runtime sync paths
/// (`sync_hall_call_modes` and [`Simulation::set_dispatch`]). Add the
/// match arm here when introducing a new built-in dispatch.
pub(super) const fn canonical_hall_call_mode(
    strategy: &BuiltinStrategy,
) -> Option<crate::dispatch::HallCallMode> {
    match strategy {
        BuiltinStrategy::Destination => Some(crate::dispatch::HallCallMode::Destination),
        BuiltinStrategy::Custom(_) => None,
        BuiltinStrategy::Scan
        | BuiltinStrategy::Look
        | BuiltinStrategy::NearestCar
        | BuiltinStrategy::Etd
        | BuiltinStrategy::Rsr => Some(crate::dispatch::HallCallMode::Classic),
        // Loop groups use a one-way patrol model — no concept of an
        // "Up" vs "Down" hall call, and the boarding phase doesn't gate
        // on assignment. Classic collective control is the closest fit
        // (every car serves every waiter regardless of direction lamps).
        #[cfg(feature = "loop_lines")]
        BuiltinStrategy::LoopSweep | BuiltinStrategy::LoopSchedule => {
            Some(crate::dispatch::HallCallMode::Classic)
        }
    }
}

/// Ensure DCS groups have `HallCallMode::Destination` at construction
/// time. Non-DCS groups are left at whatever the config specified —
/// forcing Classic here would clobber explicit config overrides (e.g. a
/// Scan group that the author deliberately set to Destination mode).
///
/// Runtime swaps via [`Simulation::set_dispatch`] do a full bidirectional
/// sync because a strategy change is an explicit user action where
/// resetting the mode is expected.
fn sync_hall_call_modes(
    groups: &mut [ElevatorGroup],
    strategy_ids: &BTreeMap<GroupId, BuiltinStrategy>,
) {
    for group in groups.iter_mut() {
        if let Some(strategy) = strategy_ids.get(&group.id())
            && canonical_hall_call_mode(strategy)
                == Some(crate::dispatch::HallCallMode::Destination)
        {
            group.set_hall_call_mode(crate::dispatch::HallCallMode::Destination);
        }
    }
}

/// Validate the physics fields shared by [`crate::config::ElevatorConfig`]
/// and [`super::ElevatorParams`]. Both construction-time validation and
/// the runtime `add_elevator` path call this so an invalid set of params
/// can never reach the world (zeroes blow up movement; zero door ticks
/// stall the door FSM).
#[allow(clippy::too_many_arguments)]
pub(super) fn validate_elevator_physics(
    max_speed: f64,
    acceleration: f64,
    deceleration: f64,
    weight_capacity: f64,
    inspection_speed_factor: f64,
    door_transition_ticks: u32,
    door_open_ticks: u32,
    bypass_load_up_pct: Option<f64>,
    bypass_load_down_pct: Option<f64>,
) -> Result<(), SimError> {
    if !max_speed.is_finite() || max_speed <= 0.0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.max_speed",
            reason: format!("must be finite and positive, got {max_speed}"),
        });
    }
    if !acceleration.is_finite() || acceleration <= 0.0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.acceleration",
            reason: format!("must be finite and positive, got {acceleration}"),
        });
    }
    if !deceleration.is_finite() || deceleration <= 0.0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.deceleration",
            reason: format!("must be finite and positive, got {deceleration}"),
        });
    }
    if !weight_capacity.is_finite() || weight_capacity <= 0.0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.weight_capacity",
            reason: format!("must be finite and positive, got {weight_capacity}"),
        });
    }
    if !inspection_speed_factor.is_finite() || inspection_speed_factor <= 0.0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.inspection_speed_factor",
            reason: format!("must be finite and positive, got {inspection_speed_factor}"),
        });
    }
    if door_transition_ticks == 0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.door_transition_ticks",
            reason: "must be > 0".into(),
        });
    }
    if door_open_ticks == 0 {
        return Err(SimError::InvalidConfig {
            field: "elevators.door_open_ticks",
            reason: "must be > 0".into(),
        });
    }
    validate_bypass_pct("elevators.bypass_load_up_pct", bypass_load_up_pct)?;
    validate_bypass_pct("elevators.bypass_load_down_pct", bypass_load_down_pct)?;
    Ok(())
}

/// `bypass_load_{up,down}_pct` must be a finite fraction in `(0.0, 1.0]`
/// when set. `pct = 0.0` would bypass at an empty car (nonsense); `NaN`
/// and infinities silently disable the bypass under the dispatch guard,
/// which is a silent foot-gun. Reject at config time instead.
fn validate_bypass_pct(field: &'static str, pct: Option<f64>) -> Result<(), SimError> {
    let Some(pct) = pct else {
        return Ok(());
    };
    if !pct.is_finite() || pct <= 0.0 || pct > 1.0 {
        return Err(SimError::InvalidConfig {
            field,
            reason: format!("must be finite in (0.0, 1.0] when set, got {pct}"),
        });
    }
    Ok(())
}

impl Simulation {
    /// Create a new simulation from config and a dispatch strategy.
    ///
    /// Returns `Err` if the config is invalid (zero stops, duplicate IDs,
    /// negative speeds, etc.).
    ///
    /// # Errors
    ///
    /// Returns [`SimError::InvalidConfig`] if the configuration has zero stops,
    /// duplicate stop IDs, zero elevators, non-positive physics parameters,
    /// invalid starting stops, or non-positive tick rate.
    pub fn new(
        config: &SimConfig,
        dispatch: impl DispatchStrategy + 'static,
    ) -> Result<Self, SimError> {
        let mut dispatchers = BTreeMap::new();
        dispatchers.insert(GroupId(0), Box::new(dispatch) as Box<dyn DispatchStrategy>);
        Self::new_with_hooks(config, dispatchers, PhaseHooks::default())
    }

    /// Create a simulation with pre-configured lifecycle hooks.
    ///
    /// Used by [`SimulationBuilder`](crate::builder::SimulationBuilder).
    #[allow(clippy::too_many_lines)]
    pub(crate) fn new_with_hooks(
        config: &SimConfig,
        builder_dispatchers: BTreeMap<GroupId, Box<dyn DispatchStrategy>>,
        hooks: PhaseHooks,
    ) -> Result<Self, SimError> {
        Self::validate_config(config)?;

        let mut world = World::new();

        // Create stop entities.
        let mut stop_lookup: HashMap<StopId, EntityId> = HashMap::new();
        for sc in &config.building.stops {
            let eid = world.spawn();
            world.set_stop(
                eid,
                Stop {
                    name: sc.name.clone(),
                    position: sc.position,
                },
            );
            world.set_position(eid, Position { value: sc.position });
            stop_lookup.insert(sc.id, eid);
        }

        // Build sorted-stops index for O(log n) PassingFloor detection.
        let mut sorted: Vec<(f64, EntityId)> = world
            .iter_stops()
            .map(|(eid, stop)| (stop.position, eid))
            .collect();
        sorted.sort_by(|a, b| a.0.total_cmp(&b.0));
        world.insert_resource(crate::world::SortedStops(sorted));

        // Per-stop arrival signal, appended on rider spawn and queried
        // by dispatch/reposition strategies to drive traffic-mode
        // switches and predictive parking. The destination mirror is
        // what powers down-peak detection — without it the classifier
        // sees `total_dest = 0` and silently never emits `DownPeak`.
        // Both resources must exist before the first `RiderSpawned`
        // event fires (i.e. before any user-driven `spawn_rider` call):
        // `record_spawn` is fire-and-forget on missing resources, so a
        // later insert wouldn't replay history.
        world.insert_resource(crate::arrival_log::ArrivalLog::default());
        world.insert_resource(crate::arrival_log::DestinationLog::default());
        world.insert_resource(crate::arrival_log::CurrentTick::default());
        world.insert_resource(crate::arrival_log::ArrivalLogRetention::default());
        // Traffic-mode classifier. Auto-refreshed in the metrics phase
        // from the same rolling window; strategies read the current
        // mode via `World::resource::<TrafficDetector>()`.
        world.insert_resource(crate::traffic_detector::TrafficDetector::default());
        // Per-car reposition cooldown. Populated by the movement
        // phase when a repositioning car arrives; consulted by the
        // reposition phase to skip cars that just parked so the
        // hot-stop ranking can't flip them around again the next
        // tick.
        world.insert_resource(crate::dispatch::reposition::RepositionCooldowns::default());
        // Expose tick rate to strategies that need to unit-convert
        // tick-denominated elevator fields (door cycle, ack latency)
        // into the second-denominated terms of their cost functions.
        // Without this, ETD's door-overhead term was summing ticks
        // into a seconds expression and getting ~60× over-weighted.
        world.insert_resource(crate::time::TickRate(config.simulation.ticks_per_second));

        let mut elevator_lookup: HashMap<crate::config::ElevatorConfigId, EntityId> =
            HashMap::new();
        let mut line_lookup: HashMap<crate::config::LineConfigId, EntityId> = HashMap::new();
        let (mut groups, dispatchers, strategy_ids) =
            if let Some(line_configs) = &config.building.lines {
                Self::build_explicit_topology(
                    &mut world,
                    config,
                    line_configs,
                    &stop_lookup,
                    &mut elevator_lookup,
                    &mut line_lookup,
                    builder_dispatchers,
                )
            } else {
                Self::build_legacy_topology(
                    &mut world,
                    config,
                    &stop_lookup,
                    &mut elevator_lookup,
                    builder_dispatchers,
                )
            };
        sync_hall_call_modes(&mut groups, &strategy_ids);

        let dt = 1.0 / config.simulation.ticks_per_second;

        world.insert_resource(crate::tagged_metrics::MetricTags::default());

        // Auto-register dispatch-internal extension types the sim itself
        // owns. The same registration runs in `from_parts` (the
        // snapshot-restore path); doing it here too means snapshot bytes
        // taken from a fresh sim and from a restored sim agree on the
        // extensions BTreeMap shape (#534's review surfaced this
        // asymmetry: pre-fix, fresh sims had no `assigned_car` extension
        // entry while restored sims did, breaking byte-equality of the
        // snapshot bytes round-trip and the lockstep checksum).
        world.register_ext::<crate::dispatch::destination::AssignedCar>(
            crate::dispatch::destination::ASSIGNED_CAR_KEY,
        );

        // Collect line tag info (entity + name + elevator entities) before
        // borrowing world mutably for MetricTags.
        let line_tag_info: Vec<(EntityId, String, Vec<EntityId>)> = groups
            .iter()
            .flat_map(|group| {
                group.lines().iter().filter_map(|li| {
                    let line_comp = world.line(li.entity())?;
                    Some((li.entity(), line_comp.name.clone(), li.elevators().to_vec()))
                })
            })
            .collect();

        // Tag line entities and their elevators with "line:{name}".
        if let Some(tags) = world.resource_mut::<crate::tagged_metrics::MetricTags>() {
            for (line_eid, name, elevators) in &line_tag_info {
                let tag = format!("line:{name}");
                tags.tag(*line_eid, tag.clone());
                for elev_eid in elevators {
                    tags.tag(*elev_eid, tag.clone());
                }
            }
        }

        // Wire reposition strategies from group configs.
        let mut repositioners: BTreeMap<GroupId, Box<dyn RepositionStrategy>> = BTreeMap::new();
        let mut reposition_ids: BTreeMap<GroupId, BuiltinReposition> = BTreeMap::new();
        if let Some(group_configs) = &config.building.groups {
            for gc in group_configs {
                if let Some(ref repo_id) = gc.reposition
                    && let Some(strategy) = repo_id.instantiate()
                {
                    let gid = GroupId(gc.id);
                    repositioners.insert(gid, strategy);
                    reposition_ids.insert(gid, repo_id.clone());
                }
            }
        }

        Ok(Self {
            world,
            events: EventBus::default(),
            pending_output: Vec::new(),
            tick: 0,
            dt,
            groups,
            stop_lookup,
            elevator_lookup,
            line_lookup,
            dispatcher_set: super::DispatcherSet::from_parts(dispatchers, strategy_ids),
            repositioner_set: super::RepositionerSet::from_parts(repositioners, reposition_ids),
            metrics: Metrics::new(),
            time: TimeAdapter::new(config.simulation.ticks_per_second),
            hooks,
            elevator_ids_buf: Vec::new(),
            reposition_buf: Vec::new(),
            dispatch_scratch: crate::dispatch::DispatchScratch::default(),
            topo_graph: Mutex::new(TopologyGraph::new()),
            rider_index: RiderIndex::default(),
            tick_in_progress: false,
            phase_check: super::PhaseCheck::Disabled,
        })
    }

    /// Spawn a single elevator entity from an `ElevatorConfig` onto `line`.
    ///
    /// Sets position, velocity, all `Elevator` fields, optional energy profile,
    /// optional service mode, and an empty `DestinationQueue`.
    /// Returns the new entity ID.
    fn spawn_elevator_entity(
        world: &mut World,
        ec: &crate::config::ElevatorConfig,
        line: EntityId,
        stop_lookup: &HashMap<StopId, EntityId>,
        start_pos_lookup: &[crate::stop::StopConfig],
    ) -> EntityId {
        let eid = world.spawn();
        let start_pos = start_pos_lookup
            .iter()
            .find(|s| s.id == ec.starting_stop)
            .map_or(0.0, |s| s.position);
        world.set_position(eid, Position { value: start_pos });
        world.set_velocity(eid, Velocity { value: 0.0 });
        let restricted: HashSet<EntityId> = ec
            .restricted_stops
            .iter()
            .filter_map(|sid| stop_lookup.get(sid).copied())
            .collect();
        // Loop cars patrol forward indefinitely; Linear cars carry the
        // legacy two-bit (up/down) lamp pair. Seeding correctly here
        // means a host inspecting the sim before the first `step()`
        // already sees the right `Direction` reading on Loop cars
        // (otherwise they'd report `Either` until the first kickstart).
        let is_loop = world.line(line).is_some_and(Line::is_loop);
        world.set_elevator(
            eid,
            Elevator {
                phase: ElevatorPhase::Idle,
                door: DoorState::Closed,
                max_speed: ec.max_speed,
                acceleration: ec.acceleration,
                deceleration: ec.deceleration,
                weight_capacity: ec.weight_capacity,
                current_load: crate::components::Weight::ZERO,
                riders: Vec::new(),
                target_stop: None,
                door_transition_ticks: ec.door_transition_ticks,
                door_open_ticks: ec.door_open_ticks,
                line,
                repositioning: false,
                restricted_stops: restricted,
                inspection_speed_factor: ec.inspection_speed_factor,
                going_up: !is_loop,
                going_down: !is_loop,
                going_forward: is_loop,
                move_count: 0,
                door_command_queue: Vec::new(),
                manual_target_velocity: None,
                bypass_load_up_pct: ec.bypass_load_up_pct,
                bypass_load_down_pct: ec.bypass_load_down_pct,
                home_stop: None,
            },
        );
        #[cfg(feature = "energy")]
        if let Some(ref profile) = ec.energy_profile {
            world.set_energy_profile(eid, profile.clone());
            world.set_energy_metrics(eid, crate::energy::EnergyMetrics::default());
        }
        if let Some(mode) = ec.service_mode {
            world.set_service_mode(eid, mode);
        }
        world.set_destination_queue(eid, crate::components::DestinationQueue::new());
        eid
    }

    /// Build topology from the legacy flat elevator list (single default line + group).
    fn build_legacy_topology(
        world: &mut World,
        config: &SimConfig,
        stop_lookup: &HashMap<StopId, EntityId>,
        elevator_lookup: &mut HashMap<crate::config::ElevatorConfigId, EntityId>,
        builder_dispatchers: BTreeMap<GroupId, Box<dyn DispatchStrategy>>,
    ) -> TopologyResult {
        // Iterate the config's stop list (deterministic Vec order) and
        // resolve each through the lookup. Walking `stop_lookup.values()`
        // would expose `HashMap` iteration order — which varies by
        // per-process hash seed — into `LineInfo.serves` and from
        // there into snapshot bytes.
        let all_stop_entities: Vec<EntityId> = config
            .building
            .stops
            .iter()
            .filter_map(|s| stop_lookup.get(&s.id).copied())
            .collect();
        let stop_positions: Vec<f64> = config.building.stops.iter().map(|s| s.position).collect();
        let min_pos = stop_positions.iter().copied().fold(f64::INFINITY, f64::min);
        let max_pos = stop_positions
            .iter()
            .copied()
            .fold(f64::NEG_INFINITY, f64::max);

        let default_line_eid = world.spawn();
        world.set_line(
            default_line_eid,
            Line {
                name: "Default".into(),
                group: GroupId(0),
                orientation: Orientation::Vertical,
                position: None,
                kind: LineKind::Linear {
                    min: min_pos,
                    max: max_pos,
                },
                max_cars: None,
            },
        );

        let mut elevator_entities = Vec::new();
        for ec in &config.elevators {
            let eid = Self::spawn_elevator_entity(
                world,
                ec,
                default_line_eid,
                stop_lookup,
                &config.building.stops,
            );
            elevator_lookup.insert(ec.id, eid);
            elevator_entities.push(eid);
        }

        let default_line_info =
            LineInfo::new(default_line_eid, elevator_entities, all_stop_entities);

        let group = ElevatorGroup::new(GroupId(0), "Default".into(), vec![default_line_info]);

        // Legacy topology has exactly one group: GroupId(0). Take a builder
        // entry keyed on that group; ignore entries keyed on any other group
        // (they would have nothing to attach to in the legacy schema).
        let mut dispatchers = BTreeMap::new();
        let mut strategy_ids = BTreeMap::new();
        let user_dispatcher = builder_dispatchers
            .into_iter()
            .find_map(|(gid, d)| if gid == GroupId(0) { Some(d) } else { None });
        // Snapshot identity comes from the dispatcher's own `builtin_id`, not
        // from a hard-coded variant — otherwise a snapshot round-trip would
        // silently swap a custom strategy back to Scan. Strategies that
        // return `None` fall back to Scan for snapshot fidelity.
        let inferred_id = user_dispatcher
            .as_ref()
            .and_then(|d| d.builtin_id())
            .unwrap_or(BuiltinStrategy::Scan);
        if let Some(d) = user_dispatcher {
            dispatchers.insert(GroupId(0), d);
        } else {
            dispatchers.insert(
                GroupId(0),
                Box::new(crate::dispatch::scan::ScanDispatch::new()) as Box<dyn DispatchStrategy>,
            );
        }
        strategy_ids.insert(GroupId(0), inferred_id);

        (vec![group], dispatchers, strategy_ids)
    }

    /// Build topology from explicit `LineConfig`/`GroupConfig` definitions.
    #[allow(clippy::too_many_lines)]
    fn build_explicit_topology(
        world: &mut World,
        config: &SimConfig,
        line_configs: &[crate::config::LineConfig],
        stop_lookup: &HashMap<StopId, EntityId>,
        elevator_lookup: &mut HashMap<crate::config::ElevatorConfigId, EntityId>,
        line_lookup: &mut HashMap<crate::config::LineConfigId, EntityId>,
        builder_dispatchers: BTreeMap<GroupId, Box<dyn DispatchStrategy>>,
    ) -> TopologyResult {
        // Map line config id → (line EntityId, LineInfo). `BTreeMap`
        // (not `HashMap`) so the auto-inferred-groups branch iterates
        // `.values()` in deterministic key order — otherwise the
        // resulting `LineInfo` sequence permutes across processes and
        // leaks into snapshot bytes via `GroupSnapshot::lines`.
        let mut line_map: BTreeMap<u32, (EntityId, LineInfo)> = BTreeMap::new();

        for lc in line_configs {
            // Resolve served stop entities.
            let served_entities: Vec<EntityId> = lc
                .serves
                .iter()
                .filter_map(|sid| stop_lookup.get(sid).copied())
                .collect();

            // Compute min/max from stops if not explicitly set.
            let stop_positions: Vec<f64> = lc
                .serves
                .iter()
                .filter_map(|sid| {
                    config
                        .building
                        .stops
                        .iter()
                        .find(|s| s.id == *sid)
                        .map(|s| s.position)
                })
                .collect();
            let auto_min = stop_positions.iter().copied().fold(f64::INFINITY, f64::min);
            let auto_max = stop_positions
                .iter()
                .copied()
                .fold(f64::NEG_INFINITY, f64::max);

            let min_pos = lc.min_position.unwrap_or(auto_min);
            let max_pos = lc.max_position.unwrap_or(auto_max);

            let line_eid = world.spawn();
            // The group assignment will be set when we process GroupConfigs.
            // Default to GroupId(0) initially. `kind` was validated in
            // `validate_explicit_topology` before this builder ran.
            world.set_line(
                line_eid,
                Line {
                    name: lc.name.clone(),
                    group: GroupId(0),
                    orientation: lc.orientation,
                    position: lc.position,
                    kind: lc.kind.unwrap_or(LineKind::Linear {
                        min: min_pos,
                        max: max_pos,
                    }),
                    max_cars: lc.max_cars,
                },
            );

            // Spawn elevators for this line.
            let mut elevator_entities = Vec::new();
            for ec in &lc.elevators {
                let eid = Self::spawn_elevator_entity(
                    world,
                    ec,
                    line_eid,
                    stop_lookup,
                    &config.building.stops,
                );
                elevator_lookup.insert(ec.id, eid);
                elevator_entities.push(eid);
            }

            let line_info = LineInfo::new(line_eid, elevator_entities, served_entities);
            line_lookup.insert(lc.id, line_eid);
            line_map.insert(lc.id.0, (line_eid, line_info));
        }

        // Build groups from GroupConfigs, or auto-infer a single group.
        let group_configs = config.building.groups.as_deref();
        let mut groups = Vec::new();
        let mut dispatchers = BTreeMap::new();
        let mut strategy_ids = BTreeMap::new();

        if let Some(gcs) = group_configs {
            for gc in gcs {
                let group_id = GroupId(gc.id);

                let mut group_lines = Vec::new();

                for &lid in &gc.lines {
                    if let Some((line_eid, li)) = line_map.get(&lid) {
                        // Update the line's group assignment.
                        if let Some(line_comp) = world.line_mut(*line_eid) {
                            line_comp.group = group_id;
                        }
                        group_lines.push(li.clone());
                    }
                }

                let mut group = ElevatorGroup::new(group_id, gc.name.clone(), group_lines);
                if let Some(mode) = gc.hall_call_mode {
                    group.set_hall_call_mode(mode);
                }
                if let Some(ticks) = gc.ack_latency_ticks {
                    group.set_ack_latency_ticks(ticks);
                }
                groups.push(group);

                // GroupConfig strategy; builder overrides applied after this loop.
                let dispatch: Box<dyn DispatchStrategy> = gc
                    .dispatch
                    .instantiate()
                    .unwrap_or_else(|| Box::new(crate::dispatch::scan::ScanDispatch::new()));
                dispatchers.insert(group_id, dispatch);
                strategy_ids.insert(group_id, gc.dispatch.clone());
            }
        } else {
            // No explicit groups — create a single default group with all lines.
            let group_id = GroupId(0);
            let mut group_lines = Vec::new();

            for (line_eid, li) in line_map.values() {
                if let Some(line_comp) = world.line_mut(*line_eid) {
                    line_comp.group = group_id;
                }
                group_lines.push(li.clone());
            }

            let group = ElevatorGroup::new(group_id, "Default".into(), group_lines);
            groups.push(group);

            let dispatch: Box<dyn DispatchStrategy> =
                Box::new(crate::dispatch::scan::ScanDispatch::new());
            dispatchers.insert(group_id, dispatch);
            strategy_ids.insert(group_id, BuiltinStrategy::Scan);
        }

        // Builder-provided dispatchers override the config. For the matching
        // `strategy_ids` entry, prefer the dispatcher's own `builtin_id()`
        // (snapshot fidelity); fall back to the config id only when the
        // dispatcher is unidentified (custom strategies that don't override).
        for (gid, d) in builder_dispatchers {
            let inferred_id = d.builtin_id();
            dispatchers.insert(gid, d);
            match inferred_id {
                Some(id) => {
                    strategy_ids.insert(gid, id);
                }
                None => {
                    strategy_ids
                        .entry(gid)
                        .or_insert_with(|| BuiltinStrategy::Custom("user-supplied".into()));
                }
            }
        }

        (groups, dispatchers, strategy_ids)
    }

    /// Restore a simulation from pre-built parts (used by snapshot restore).
    #[allow(clippy::too_many_arguments)]
    pub(crate) fn from_parts(
        world: World,
        tick: u64,
        dt: f64,
        groups: Vec<ElevatorGroup>,
        stop_lookup: HashMap<StopId, EntityId>,
        elevator_lookup: HashMap<crate::config::ElevatorConfigId, EntityId>,
        line_lookup: HashMap<crate::config::LineConfigId, EntityId>,
        dispatchers: BTreeMap<GroupId, Box<dyn DispatchStrategy>>,
        strategy_ids: BTreeMap<GroupId, crate::dispatch::BuiltinStrategy>,
        metrics: Metrics,
        ticks_per_second: f64,
    ) -> Self {
        let mut rider_index = RiderIndex::default();
        rider_index.rebuild(&world);
        // Forward-compat: snapshots predating these resources won't carry
        // them. `TickRate` would otherwise default to 60 Hz and silently
        // halve ETD's door-cost scale on a 30 Hz sim; the traffic detector
        // would no-op forever in the metrics phase. `insert_resource` is
        // last-writer-wins, so snapshots that already carry them are kept.
        let mut world = world;
        world.insert_resource(crate::time::TickRate(ticks_per_second));
        if world
            .resource::<crate::traffic_detector::TrafficDetector>()
            .is_none()
        {
            world.insert_resource(crate::traffic_detector::TrafficDetector::default());
        }
        // Same forward-compat pattern for the destination log. An
        // older snapshot would leave the detector unable to detect
        // down-peak post-restore; a fresh empty log lets it resume
        // classification after a few ticks of observed traffic.
        if world
            .resource::<crate::arrival_log::DestinationLog>()
            .is_none()
        {
            world.insert_resource(crate::arrival_log::DestinationLog::default());
        }
        // Auto-register dispatch-internal extension types the sim itself
        // owns, and immediately load their data from the pending
        // resource. Without this, DCS sticky assignments
        // (`AssignedCar`) evaporate across snapshot round-trip and
        // `DestinationDispatch` re-computes every commitment from
        // scratch — producing different decisions than the original
        // sim and breaking tick-for-tick determinism.
        //
        // `deserialize_extensions` takes a `&` of the pending map and
        // silently skips types that aren't registered, so the call is
        // safe to make with user-owned extensions still in the map.
        // The `PendingExtensions` resource stays in place for a later
        // `load_extensions_with` call to materialize the caller's own
        // types.
        world.register_ext::<crate::dispatch::destination::AssignedCar>(
            crate::dispatch::destination::ASSIGNED_CAR_KEY,
        );
        if let Some(pending) = world.resource::<crate::snapshot::PendingExtensions>() {
            let data = pending.0.clone();
            world.deserialize_extensions(&data);
        }
        Self {
            world,
            events: EventBus::default(),
            pending_output: Vec::new(),
            tick,
            dt,
            groups,
            stop_lookup,
            elevator_lookup,
            line_lookup,
            dispatcher_set: super::DispatcherSet::from_parts(dispatchers, strategy_ids),
            repositioner_set: super::RepositionerSet::new(),
            metrics,
            time: TimeAdapter::new(ticks_per_second),
            hooks: PhaseHooks::default(),
            elevator_ids_buf: Vec::new(),
            reposition_buf: Vec::new(),
            dispatch_scratch: crate::dispatch::DispatchScratch::default(),
            topo_graph: Mutex::new(TopologyGraph::new()),
            rider_index,
            tick_in_progress: false,
            phase_check: super::PhaseCheck::Disabled,
        }
    }

    /// Validate configuration before constructing the simulation.
    pub(crate) fn validate_config(config: &SimConfig) -> Result<(), SimError> {
        // Schema-version gate: reject forward-incompatible configs (a
        // future build's RON would silently mis-deserialize fields a
        // current build doesn't know about) and surface legacy
        // pre-versioning configs (`schema_version = 0`) as an explicit
        // upgrade prompt rather than a silent serde-default smear. See
        // `docs/src/config-versioning.md` for the migration playbook.
        if config.schema_version > crate::config::CURRENT_CONFIG_SCHEMA_VERSION {
            return Err(SimError::InvalidConfig {
                field: "schema_version",
                reason: format!(
                    "config schema_version={} is newer than this build's CURRENT_CONFIG_SCHEMA_VERSION={}; upgrade elevator-core or downgrade the config",
                    config.schema_version,
                    crate::config::CURRENT_CONFIG_SCHEMA_VERSION,
                ),
            });
        }
        if config.schema_version == 0 {
            return Err(SimError::InvalidConfig {
                field: "schema_version",
                reason: format!(
                    "config schema_version=0 (pre-versioning legacy file) — set schema_version: {} explicitly after auditing field defaults; see docs/src/config-versioning.md",
                    crate::config::CURRENT_CONFIG_SCHEMA_VERSION,
                ),
            });
        }

        if config.building.stops.is_empty() {
            return Err(SimError::InvalidConfig {
                field: "building.stops",
                reason: "at least one stop is required".into(),
            });
        }

        // Check for duplicate stop IDs and validate positions.
        let mut seen_ids = HashSet::new();
        for stop in &config.building.stops {
            if !seen_ids.insert(stop.id) {
                return Err(SimError::InvalidConfig {
                    field: "building.stops",
                    reason: format!("duplicate {}", stop.id),
                });
            }
            if !stop.position.is_finite() {
                return Err(SimError::InvalidConfig {
                    field: "building.stops.position",
                    reason: format!("{} has non-finite position {}", stop.id, stop.position),
                });
            }
        }

        let stop_ids: HashSet<StopId> = config.building.stops.iter().map(|s| s.id).collect();

        if let Some(line_configs) = &config.building.lines {
            // ── Explicit topology validation ──
            Self::validate_explicit_topology(line_configs, &stop_ids, &config.building)?;
        } else {
            // ── Legacy flat elevator list validation ──
            Self::validate_legacy_elevators(&config.elevators, &config.building)?;
        }

        if !config.simulation.ticks_per_second.is_finite()
            || config.simulation.ticks_per_second <= 0.0
        {
            return Err(SimError::InvalidConfig {
                field: "simulation.ticks_per_second",
                reason: format!(
                    "must be finite and positive, got {}",
                    config.simulation.ticks_per_second
                ),
            });
        }

        Self::validate_passenger_spawning(&config.passenger_spawning)?;

        Ok(())
    }

    /// Validate `PassengerSpawnConfig`. Without this, bad inputs reach
    /// `PoissonSource::from_config` and panic later (NaN/negative weights
    /// crash `random_range`/`Weight::from`; zero `mean_interval_ticks`
    /// burst-fires every catch-up tick). (#272)
    fn validate_passenger_spawning(
        spawn: &crate::config::PassengerSpawnConfig,
    ) -> Result<(), SimError> {
        let (lo, hi) = spawn.weight_range;
        if !lo.is_finite() || !hi.is_finite() {
            return Err(SimError::InvalidConfig {
                field: "passenger_spawning.weight_range",
                reason: format!("both endpoints must be finite, got ({lo}, {hi})"),
            });
        }
        if lo < 0.0 || hi < 0.0 {
            return Err(SimError::InvalidConfig {
                field: "passenger_spawning.weight_range",
                reason: format!("both endpoints must be non-negative, got ({lo}, {hi})"),
            });
        }
        if lo > hi {
            return Err(SimError::InvalidConfig {
                field: "passenger_spawning.weight_range",
                reason: format!("min must be <= max, got ({lo}, {hi})"),
            });
        }
        if spawn.mean_interval_ticks == 0 {
            return Err(SimError::InvalidConfig {
                field: "passenger_spawning.mean_interval_ticks",
                reason: "must be > 0; mean_interval_ticks=0 burst-fires \
                         every catch-up tick"
                    .into(),
            });
        }
        Ok(())
    }

    /// Validate the legacy flat elevator list.
    fn validate_legacy_elevators(
        elevators: &[crate::config::ElevatorConfig],
        building: &crate::config::BuildingConfig,
    ) -> Result<(), SimError> {
        if elevators.is_empty() {
            return Err(SimError::InvalidConfig {
                field: "elevators",
                reason: "at least one elevator is required".into(),
            });
        }

        for elev in elevators {
            Self::validate_elevator_config(elev, building)?;
        }

        Ok(())
    }

    /// Validate a single elevator config's physics and starting stop.
    fn validate_elevator_config(
        elev: &crate::config::ElevatorConfig,
        building: &crate::config::BuildingConfig,
    ) -> Result<(), SimError> {
        validate_elevator_physics(
            elev.max_speed.value(),
            elev.acceleration.value(),
            elev.deceleration.value(),
            elev.weight_capacity.value(),
            elev.inspection_speed_factor,
            elev.door_transition_ticks,
            elev.door_open_ticks,
            elev.bypass_load_up_pct,
            elev.bypass_load_down_pct,
        )?;
        if !building.stops.iter().any(|s| s.id == elev.starting_stop) {
            return Err(SimError::InvalidConfig {
                field: "elevators.starting_stop",
                reason: format!("references non-existent {}", elev.starting_stop),
            });
        }
        Ok(())
    }

    /// Validate explicit line/group topology.
    #[allow(
        clippy::too_many_lines,
        reason = "validation reads top-to-bottom; extracting helpers would scatter related rejections across files"
    )]
    fn validate_explicit_topology(
        line_configs: &[crate::config::LineConfig],
        stop_ids: &HashSet<StopId>,
        building: &crate::config::BuildingConfig,
    ) -> Result<(), SimError> {
        // No duplicate line IDs.
        let mut seen_line_ids = HashSet::new();
        for lc in line_configs {
            if !seen_line_ids.insert(lc.id) {
                return Err(SimError::InvalidConfig {
                    field: "building.lines",
                    reason: format!("duplicate line id {}", lc.id),
                });
            }
        }

        // Every line's serves must reference existing stops and be non-empty.
        for lc in line_configs {
            if lc.serves.is_empty() {
                return Err(SimError::InvalidConfig {
                    field: "building.lines.serves",
                    reason: format!("line {} has no stops", lc.id),
                });
            }
            for sid in &lc.serves {
                if !stop_ids.contains(sid) {
                    return Err(SimError::InvalidConfig {
                        field: "building.lines.serves",
                        reason: format!("line {} references non-existent {}", lc.id, sid),
                    });
                }
            }
            // Validate elevators within each line.
            for ec in &lc.elevators {
                Self::validate_elevator_config(ec, building)?;
            }

            // Validate max_cars is not exceeded.
            if let Some(max) = lc.max_cars
                && lc.elevators.len() > max
            {
                return Err(SimError::InvalidConfig {
                    field: "building.lines.max_cars",
                    reason: format!(
                        "line {} has {} elevators but max_cars is {max}",
                        lc.id,
                        lc.elevators.len()
                    ),
                });
            }

            // Validate the explicit topology kind, if any. Linear-only
            // configs (kind = None) are validated by the auto-derived
            // bounds check inside `build_explicit_topology` instead.
            if let Some(kind) = lc.kind
                && let Err((field, reason)) = kind.validate()
            {
                return Err(SimError::InvalidConfig { field, reason });
            }

            // Loop-specific cross-field invariant: every car must fit
            // around the loop with at least `min_headway` between
            // successive cars. Without this guard, the second car
            // configured on a too-short loop would instantly violate
            // the no-overtake invariant the headway clamp is designed
            // to preserve.
            #[cfg(feature = "loop_lines")]
            if let Some(crate::components::LineKind::Loop {
                circumference,
                min_headway,
            }) = lc.kind
            {
                let car_count = lc
                    .max_cars
                    .map_or_else(|| lc.elevators.len(), |max| max.max(lc.elevators.len()));
                if car_count > 0 {
                    #[allow(
                        clippy::cast_precision_loss,
                        reason = "car_count is bounded by usize and the comparison is against a finite f64"
                    )]
                    let required = (car_count as f64) * min_headway;
                    if required > circumference {
                        return Err(SimError::InvalidConfig {
                            field: "building.lines.kind",
                            reason: format!(
                                "loop line {}: {car_count} cars × min_headway {min_headway} = {required} \
                                 exceeds circumference {circumference}",
                                lc.id,
                            ),
                        });
                    }
                }
            }
        }

        // At least one line with at least one elevator.
        let has_elevator = line_configs.iter().any(|lc| !lc.elevators.is_empty());
        if !has_elevator {
            return Err(SimError::InvalidConfig {
                field: "building.lines",
                reason: "at least one line must have at least one elevator".into(),
            });
        }

        // No orphaned stops: every stop must be served by at least one line.
        let served: HashSet<StopId> = line_configs
            .iter()
            .flat_map(|lc| lc.serves.iter().copied())
            .collect();
        for sid in stop_ids {
            if !served.contains(sid) {
                return Err(SimError::InvalidConfig {
                    field: "building.lines",
                    reason: format!("orphaned stop {sid} not served by any line"),
                });
            }
        }

        // Validate groups if present.
        if let Some(group_configs) = &building.groups {
            let line_id_set: HashSet<u32> = line_configs.iter().map(|lc| lc.id.0).collect();

            let mut seen_group_ids = HashSet::new();
            for gc in group_configs {
                if !seen_group_ids.insert(gc.id) {
                    return Err(SimError::InvalidConfig {
                        field: "building.groups",
                        reason: format!("duplicate group id {}", gc.id),
                    });
                }
                for &lid in &gc.lines {
                    if !line_id_set.contains(&lid) {
                        return Err(SimError::InvalidConfig {
                            field: "building.groups.lines",
                            reason: format!(
                                "group {} references non-existent line id {}",
                                gc.id, lid
                            ),
                        });
                    }
                }
            }

            // Check for orphaned lines (not referenced by any group).
            let referenced_line_ids: HashSet<u32> = group_configs
                .iter()
                .flat_map(|g| g.lines.iter().copied())
                .collect();
            for lc in line_configs {
                if !referenced_line_ids.contains(&lc.id.0) {
                    return Err(SimError::InvalidConfig {
                        field: "building.lines",
                        reason: format!("line {} is not assigned to any group", lc.id),
                    });
                }
            }

            // Loop-specific group-level invariants. Run inside the
            // group-validation block so we can iterate `group_configs`
            // without recomputing the lookup. Skipped (compiles to a
            // no-op block) when `loop_lines` is off because no Loop
            // variant could possibly have been constructed.
            #[cfg(feature = "loop_lines")]
            for gc in group_configs {
                let lines: Vec<&crate::config::LineConfig> = gc
                    .lines
                    .iter()
                    .filter_map(|lid| line_configs.iter().find(|lc| lc.id.0 == *lid))
                    .collect();
                let any_loop = lines
                    .iter()
                    .any(|lc| matches!(lc.kind, Some(crate::components::LineKind::Loop { .. })));
                // Positive match against the expected linear variant —
                // including the implicit-Linear case where `kind = None`.
                // Using a negative match against `Loop` would silently
                // absorb any future non-Loop variant (e.g. a hypothetical
                // `LineKind::Shuttle`) into the "linear" bucket and reject
                // intentional Loop+Shuttle mixes as "Linear+Loop", which
                // we wouldn't want.
                let any_linear = lines
                    .iter()
                    .any(|lc| lc.kind.as_ref().is_none_or(LineKind::is_linear));
                // Homogeneity: a group is either all-Linear or all-Loop.
                // Mixing means dispatch and reposition strategies would have
                // to handle both topologies in the same group, which the
                // strategy authors explicitly opted out of supporting.
                if any_loop && any_linear {
                    return Err(SimError::InvalidConfig {
                        field: "building.groups",
                        reason: format!(
                            "group {} mixes Loop and Linear lines; groups must be homogeneous",
                            gc.id,
                        ),
                    });
                }
                // Parking-style reposition strategies don't compose with
                // continuous-patrol Loop semantics. The reposition system
                // already skips Loop cars, but configuring a strategy is
                // almost always a misunderstanding so we reject it up front.
                if any_loop && gc.reposition.is_some() {
                    return Err(SimError::InvalidConfig {
                        field: "building.groups.reposition",
                        reason: format!(
                            "group {} contains Loop lines; reposition strategies are unsupported on Loop",
                            gc.id,
                        ),
                    });
                }
                // Strategy: Loop groups accept `LoopSweep` or
                // `LoopSchedule` only. Linear strategies don't apply
                // (Loop cars are excluded from the Hungarian idle pool
                // by `systems::dispatch::run`), and silently swapping a
                // misconfigured Linear strategy for the Loop default
                // would hide a bug — every other "wrong strategy" case
                // in this file rejects loud, so do the same here.
                if any_loop
                    && !matches!(
                        gc.dispatch,
                        BuiltinStrategy::LoopSweep | BuiltinStrategy::LoopSchedule,
                    )
                {
                    return Err(SimError::InvalidConfig {
                        field: "building.groups.dispatch",
                        reason: format!(
                            "group {} contains Loop lines but uses {} dispatch; \
                             only LoopSweep or LoopSchedule is supported for Loop groups",
                            gc.id, gc.dispatch,
                        ),
                    });
                }
            }
        }

        // Per-line Loop invariants that don't depend on group context:
        // duplicate-position stops and initial car spacing.
        #[cfg(feature = "loop_lines")]
        for lc in line_configs {
            let Some(crate::components::LineKind::Loop {
                circumference,
                min_headway,
            }) = lc.kind
            else {
                continue;
            };

            // Duplicate-position stops on a Loop are ambiguous in cyclic
            // order — `position_a == position_b` mod C means the dispatch
            // strategy can't decide which comes "first" deterministically.
            // Reject so authors notice the conflict explicitly.
            let stop_positions: Vec<f64> = lc
                .serves
                .iter()
                .filter_map(|sid| {
                    building
                        .stops
                        .iter()
                        .find(|s| s.id == *sid)
                        .map(|s| s.position)
                })
                .collect();
            for (i, &pi) in stop_positions.iter().enumerate() {
                for (j, &pj) in stop_positions.iter().enumerate().skip(i + 1) {
                    if (pi - pj).abs() < 1e-9 {
                        return Err(SimError::InvalidConfig {
                            field: "building.lines.serves",
                            reason: format!(
                                "loop line {} has duplicate stop positions at indices {i} and {j} (both at {pi})",
                                lc.id,
                            ),
                        });
                    }
                }
            }

            // Initial car spacing: cars whose `starting_stop` positions
            // are closer than `min_headway` would violate the no-overtake
            // invariant on tick 0. Compare every pair in cyclic distance
            // (the shortest unsigned arc, since we don't know the cyclic
            // order from starting positions alone).
            let car_starts: Vec<f64> = lc
                .elevators
                .iter()
                .filter_map(|ec| {
                    building
                        .stops
                        .iter()
                        .find(|s| s.id == ec.starting_stop)
                        .map(|s| s.position)
                })
                .collect();
            for (i, &a) in car_starts.iter().enumerate() {
                for (j, &b) in car_starts.iter().enumerate().skip(i + 1) {
                    let d = crate::components::cyclic::cyclic_distance(a, b, circumference);
                    if d < min_headway - 1e-9 {
                        return Err(SimError::InvalidConfig {
                            field: "building.lines.elevators.starting_stop",
                            reason: format!(
                                "loop line {}: cars at indices {i} ({a}) and {j} ({b}) are {d} apart \
                                 — below min_headway {min_headway}",
                                lc.id,
                            ),
                        });
                    }
                }
            }
        }

        Ok(())
    }

    // ── Dispatch management ──────────────────────────────────────────

    /// Replace the dispatch strategy for a group.
    ///
    /// Also synchronises `HallCallMode`: `Destination` for DCS, `Classic`
    /// for other built-ins; `Custom` strategies leave the mode untouched.
    ///
    /// The stored snapshot identity is taken from the strategy's own
    /// [`DispatchStrategy::builtin_id`] when it returns `Some(..)`, so
    /// built-in strategies always round-trip as themselves even if the
    /// `id` argument drifts out of sync with the actual impl. Custom
    /// strategies that don't override `builtin_id` fall back to the
    /// caller-supplied `id`, preserving the prior API for registered
    /// custom factories. Mirrors the pattern applied to
    /// [`set_reposition`](Self::set_reposition) in #414.
    ///
    /// # Example
    ///
    /// ```
    /// use elevator_core::prelude::*;
    /// use elevator_core::ids::GroupId;
    ///
    /// let mut sim = SimulationBuilder::demo().build().unwrap();
    /// let strategy = BuiltinStrategy::Look.instantiate().unwrap();
    /// sim.set_dispatch(GroupId(0), strategy, BuiltinStrategy::Look);
    /// ```
    pub fn set_dispatch(
        &mut self,
        group: GroupId,
        strategy: Box<dyn DispatchStrategy>,
        id: crate::dispatch::BuiltinStrategy,
    ) {
        let resolved_id = strategy.builtin_id().unwrap_or(id);
        if let Some(mode) = canonical_hall_call_mode(&resolved_id)
            && let Some(g) = self.groups.iter_mut().find(|g| g.id() == group)
        {
            g.set_hall_call_mode(mode);
        }
        self.dispatcher_set.insert(group, strategy, resolved_id);
    }

    // ── Reposition management ─────────────────────────────────────────

    /// Set the reposition strategy for a group.
    ///
    /// Enables the reposition phase for this group. Idle elevators will
    /// be repositioned according to the strategy after each dispatch phase.
    ///
    /// The stored snapshot identity is taken from the strategy's own
    /// [`RepositionStrategy::builtin_id`] when it returns `Some(..)`,
    /// so built-in strategies always round-trip as themselves even if
    /// the `id` argument drifts out of sync with the actual impl.
    /// Custom strategies that don't override `builtin_id` fall back
    /// to the caller-supplied `id`, preserving the prior API for
    /// registered custom factories.
    ///
    /// ## Retention
    /// Widens [`ArrivalLogRetention`](crate::arrival_log::ArrivalLogRetention)
    /// to the strategy's
    /// [`min_arrival_log_window`](crate::dispatch::RepositionStrategy::min_arrival_log_window)
    /// when that exceeds current retention, never narrows it. This is
    /// monotonic by design — replacing a wide-window strategy with a
    /// narrow one (or [`remove_reposition`](Self::remove_reposition))
    /// leaves retention at the high-water mark rather than recomputing
    /// across the remaining strategies, since shrinking would also
    /// clobber any explicit
    /// [`set_arrival_log_retention_ticks`](Self::set_arrival_log_retention_ticks)
    /// the caller made afterwards. Long-running sims that hot-swap
    /// strategies pay a memory cost equal to the largest historic
    /// window; if that matters, call `set_arrival_log_retention_ticks`
    /// explicitly after the swap.
    ///
    /// # Example
    ///
    /// ```
    /// use elevator_core::prelude::*;
    /// use elevator_core::dispatch::BuiltinReposition;
    /// use elevator_core::ids::GroupId;
    ///
    /// let mut sim = SimulationBuilder::demo().build().unwrap();
    /// let strategy = BuiltinReposition::DemandWeighted.instantiate().unwrap();
    /// sim.set_reposition(GroupId(0), strategy, BuiltinReposition::DemandWeighted);
    /// ```
    pub fn set_reposition(
        &mut self,
        group: GroupId,
        strategy: Box<dyn RepositionStrategy>,
        id: BuiltinReposition,
    ) {
        let resolved_id = strategy.builtin_id().unwrap_or(id);
        let needed_window = strategy.min_arrival_log_window();
        self.repositioner_set.insert(group, strategy, resolved_id);
        // Widen the arrival-log retention if the freshly installed
        // strategy queries a window the pruner would otherwise truncate
        // under it. Without this, `PredictiveParking::with_window_ticks`
        // (or any custom strategy advertising a longer window) silently
        // sees only the last `DEFAULT_ARRIVAL_WINDOW_TICKS` of arrivals.
        if needed_window > 0
            && let Some(retention) = self
                .world
                .resource_mut::<crate::arrival_log::ArrivalLogRetention>()
            && needed_window > retention.0
        {
            retention.0 = needed_window;
        }
    }

    /// Remove the reposition strategy for a group, disabling repositioning.
    ///
    /// Does not narrow
    /// [`ArrivalLogRetention`](crate::arrival_log::ArrivalLogRetention)
    /// — see the retention note on
    /// [`set_reposition`](Self::set_reposition) for why retention is
    /// monotonic across strategy lifecycle changes. Call
    /// [`set_arrival_log_retention_ticks`](Self::set_arrival_log_retention_ticks)
    /// explicitly to shrink retention after removing a wide-window
    /// strategy.
    pub fn remove_reposition(&mut self, group: GroupId) {
        self.repositioner_set.remove(group);
    }

    /// Get the reposition strategy identifier for a group.
    #[must_use]
    pub fn reposition_id(&self, group: GroupId) -> Option<&BuiltinReposition> {
        self.repositioner_set.id_for(group)
    }

    // ── Hooks ────────────────────────────────────────────────────────

    /// Register a hook to run before a simulation phase.
    ///
    /// Hooks are called in registration order. The hook receives mutable
    /// access to the world, allowing entity inspection or modification.
    pub fn add_before_hook(
        &mut self,
        phase: Phase,
        hook: impl Fn(&mut World) + Send + Sync + 'static,
    ) {
        self.hooks.add_before(phase, Box::new(hook));
    }

    /// Register a hook to run after a simulation phase.
    ///
    /// Hooks are called in registration order. The hook receives mutable
    /// access to the world, allowing entity inspection or modification.
    pub fn add_after_hook(
        &mut self,
        phase: Phase,
        hook: impl Fn(&mut World) + Send + Sync + 'static,
    ) {
        self.hooks.add_after(phase, Box::new(hook));
    }

    /// Register a hook to run before a phase for a specific group.
    pub fn add_before_group_hook(
        &mut self,
        phase: Phase,
        group: GroupId,
        hook: impl Fn(&mut World) + Send + Sync + 'static,
    ) {
        self.hooks.add_before_group(phase, group, Box::new(hook));
    }

    /// Register a hook to run after a phase for a specific group.
    pub fn add_after_group_hook(
        &mut self,
        phase: Phase,
        group: GroupId,
        hook: impl Fn(&mut World) + Send + Sync + 'static,
    ) {
        self.hooks.add_after_group(phase, group, Box::new(hook));
    }
}