v0.0.1
Changelog
v0.0.1 - 2026-06-05
Bug fixes
- Fix unsound Top-K tie-break pruning in dominance filtering
- WL support deck goes through dominance pruning; remove correctness-breaking pool cap
Features
- Add minimize mode for weakest-deck search
- Select music_meta row by difficulty (default expert)
Tests
- Add brute-force proof harness (1206 real-world fixtures + 84 mock cases) for search correctness verification
- Add dataset validation and coverage reporting
Documentation
- Add soundness section with verified pruning mechanism guarantees
- Add issue link for Top-K dominance known limitation
Ci
- Add release workflow