From ae1aa6540761e54a76b8f7984cf93cd3a0d011d0 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sun, 3 May 2026 11:55:03 +0900 Subject: refactor: switch internal maps/sets from HashMap to IndexMap Adopt indexmap workspace-wide so iteration order is deterministic and follows insertion order. The non-deterministic order of std HashMap otherwise leaks into resolver decisions when multiple valid solutions exist (e.g. cyclic require pairs under prefer-lowest), making behavior flaky and divergent from Composer's PHP-array semantics. Co-Authored-By: Claude Opus 4.7 (1M context) --- crates/mozart-sat-resolver/src/rule_watch_graph.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'crates/mozart-sat-resolver/src/rule_watch_graph.rs') diff --git a/crates/mozart-sat-resolver/src/rule_watch_graph.rs b/crates/mozart-sat-resolver/src/rule_watch_graph.rs index 1b7604d..202dcca 100644 --- a/crates/mozart-sat-resolver/src/rule_watch_graph.rs +++ b/crates/mozart-sat-resolver/src/rule_watch_graph.rs @@ -2,7 +2,7 @@ use crate::decisions::Decisions; use crate::pool::Literal; use crate::rule::Rule; use crate::rule_set::RuleId; -use std::collections::HashMap; +use indexmap::IndexMap; /// A watch node: tracks which 2 literals a rule watches. /// @@ -24,7 +24,7 @@ struct WatchNode { /// Port of Composer's RuleWatchGraph.php. pub struct RuleWatchGraph { /// Literal → list of watch node indices watching that literal. - watch_chains: HashMap>, + watch_chains: IndexMap>, /// All watch nodes. nodes: Vec, } @@ -32,7 +32,7 @@ pub struct RuleWatchGraph { impl RuleWatchGraph { pub fn new() -> Self { RuleWatchGraph { - watch_chains: HashMap::new(), + watch_chains: IndexMap::new(), nodes: Vec::new(), } } -- cgit v1.3.1