The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=master 2026-11-08T17:24:35Z 2026-11-08T17:24:35Z Sebastiano Tronto sebastiano@tronto.net 2026-11-08T17:24:35Z urn:sha1:ecee6895458d8e06934c95b687a133eddd754dad There was a small (but kinda silly) error in the prunin table generation for H48 solvers, resulting in some positions showing a higher lower bound than they actually had. This means that the solvers where in theory broken and could have skipped some solutions - but we have not found any example, as this would be an extremely rare situation. This affected all tables from H48h2 to H48h11. This bug was found by LLM-based coding analysis in the context of the development of egg-solver: https://github.com/ArhanChaudhary/egg-solver Thanks to Arhan Chaudhary for reporting the bug.