typesafe-minesweeper

TypeSafe Minesweeper 是一个由 JEV 自主完成扫雷的实验。浏览器保存隐藏雷区，本地推理引擎根据已经公开的信息生成候选操作，再由 TypeSafe System One 选择下一步。

主要特点

• 支持初级、中级和高级三种棋盘难度。
• 使用基础约束、子集推理、精确枚举和有限风险估计寻找候选操作。
• 只有被严格证明为地雷的格子才会被标记，无法确定时才进入概率决策。
• 展示候选概率、置信度、响应延迟和完整决策历史。
• API 请求失败时暂停当前棋盘，可以在不改变局面的情况下重试。

公平边界

TypeSafe 只能看到已经翻开的数字、未打开的格子、旗帜、剩余雷数和本地引擎给出的合法选项。隐藏雷的位置与未公开数字始终留在浏览器中，模型也不能自行编造坐标。