{"id":"algorithmic-simplicity-is-preferred-over-optimal-performance","text":"The codebase consistently favors algorithmic correctness and simplicity over performance optimality: search heuristics use admissible but loose bounds (haversine for road distance, global max speed for time estimates), guaranteeing optimal results at the cost of extra exploration, while data structure operations use brute-force approaches (linear prefix scan, key-by-key Merkle diff, full re-sort on insertion, linear cache purge), correct by simplicity at pedagogical scale.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["routing-heuristics-prioritize-correctness-over-tightness","brute-force-acceptable-at-pedagogical-scale"],"outlist":[],"label":"Admissible-but-loose heuristics and brute-force-but-correct data structures both sacrifice performance for guaranteed correctness"}],"dependents":["algorithmic-simplicity-reinforces-structural-correctness"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"algorithmic-simplicity-is-preferred-over-optimal-performance","truth_value":"IN","reason":"SL justification valid","antecedents":["routing-heuristics-prioritize-correctness-over-tightness","brute-force-acceptable-at-pedagogical-scale"],"label":"Admissible-but-loose heuristics and brute-force-but-correct data structures both sacrifice performance for guaranteed correctness"},{"node":"routing-heuristics-prioritize-correctness-over-tightness","truth_value":"IN","reason":"SL justification valid","antecedents":["maps-astar-heuristic-admissible","maps-time-heuristic-uses-global-max-speed"],"label":"Both heuristic choices sacrifice tightness for admissibility, choosing provable correctness (guaranteed optimal path) over practical performance (fewer nodes explored)"},{"node":"maps-astar-heuristic-admissible","truth_value":"IN","reason":"premise"},{"node":"maps-time-heuristic-uses-global-max-speed","truth_value":"IN","reason":"premise"},{"node":"brute-force-acceptable-at-pedagogical-scale","truth_value":"IN","reason":"SL justification valid","antecedents":["geohash-nearby-prefix-scan-is-linear","kv-merkle-tree-brute-force-diff","stock-exchange-price-sort-is-full-resort","news-feed-unfollow-purges-via-linear-scan"],"label":"Consistent choice of simple O(n) over optimal O(log n) across unrelated modules indicates a deliberate pedagogical convention"},{"node":"geohash-nearby-prefix-scan-is-linear","truth_value":"IN","reason":"premise"},{"node":"kv-merkle-tree-brute-force-diff","truth_value":"IN","reason":"premise"},{"node":"stock-exchange-price-sort-is-full-resort","truth_value":"IN","reason":"premise"},{"node":"news-feed-unfollow-purges-via-linear-scan","truth_value":"IN","reason":"premise"}]}}