题目方法
Legen 如何生成、验证并发布数独题目。
每道公开题目都经过一条确定性流程：候选棋盘、稳定题目 ID、唯一解、验证后的逻辑轨迹、有版本的难度分数和永久来源页。
“Legen Puzzle Engine verified”表示这组已知数只有一个解，并且页面声称的每个逻辑步骤都由当前引擎版本的独立 proof verifier 验证通过；它不表示每道题都由真人专家逐题审核。
1. 候选题离线生成。
候选棋盘只由显式离线命令生成。普通网站构建不会临时造题、读取私有生成器，也不会因为时间或随机种子改变页面。
2. 先检查格式与唯一解。
引擎验证全部 81 格，拒绝互相冲突的已知数，并在固定搜索预算内计数解。只有恰好一个解的题目才能进入公开目录。
3. 逻辑结论必须重放 proof。
detector 提议一次落子或候选删除；独立 verifier 再检查目标格、数字、区域、图形、候选、棋盘 revision 和不可变 proof 结构，之后才允许应用。
4. 难度有版本，不靠线索数猜测。
LDI v0 使用最难的已验证技巧、加权逻辑工作和明确的候选删除。分数绑定具体引擎与 LDI 版本，历史值不会静默重写。
5. 发布采用单向公开投影。
公开网站只消费字段白名单化目录。私有 corpus、生成器状态、seed、内部 commitment 和 holdout diagnostics 都不进入客户端与干净构建依赖图。
6. 更正保持可追溯。
事实更正会附带日期并产生新的验证产物。引擎、评分公式、schema 或题目事实变化必须显式升级版本，不能隐形修改。
这套方法不声称什么
- 不衡量智力、真人完成时间或所有数独求解器通用的“绝对难度”。
- 完整的引擎路径是一条合法逻辑路径；其他求解器可能选择另一条合法路径。
- LDI v0 不使用完成时间、提示、错误、账号、地区或其他玩家行为数据。
- 公开数据样本不暴露完整 proof、私有 seed 或 holdout 逐题 diagnostics。