HoDoKu 移植为 PWA 并引入 AI 教练

HoDoKu 数独求解器已用 TypeScript 重写为 PWA，新增 AI 超级求解器与教练功能，无需 Java 或安装即可使用。 AI 教练支持四阶段苏格拉底式提示，可通过假设推理展示矛盾证明；内置 32 项技术指南。 程序完全在浏览器运行，安装后支持离线使用，求解步骤与 HoDoKu 2.2.0 保持一致。