题目方法
Legen 如何生成、验证并发布数独题目。
每道公开题目都经过一条确定性流程：候选棋盘、稳定题目 ID、唯一解、验证后的逻辑轨迹、有版本的难度分数和永久来源页。
“Legen Puzzle Engine verified”表示这组已知数只有一个解，并且页面声称的每个逻辑步骤都由当前引擎版本的独立 proof verifier 验证通过；它不表示每道题都由真人专家逐题审核。
1. 题目会在发布前生成并检查。
题目在出现在网站前就已准备并完成检查。每道题在永久页面中保持不变，刷新网页不会重新生成或改变题目。
2. 先检查格式与唯一解。
引擎验证全部 81 格，拒绝互相冲突的已知数，并在固定搜索预算内计数解。只有恰好一个解的题目才能进入公开目录。
3. 每个逻辑步骤都会再次验证。
页面显示落子或候选删除前，会再次检查目标格、数字、行、列、宫、图形、候选数和当前棋盘状态。
4. 难度有版本，不靠线索数猜测。
LDI v0 使用最难的已验证技巧、加权逻辑工作和明确的候选删除。分数绑定具体引擎与 LDI 版本，历史值不会静默重写。
5. 只公开理解题目所需的事实。
网站会公开题目和理解验证结果所需的信息。私有生成数据和未公开诊断不会出现在网页或下载文件中。
6. 更正保持可追溯。
确认后的事实更正会附带日期并重新验证。引擎、评分公式、数据格式或题目事实发生变化时会发布新版本，而不是静默改写。
这套方法不声称什么
- 不衡量智力、真人完成时间或所有数独求解器通用的“绝对难度”。
- 完整的引擎路径是一条合法逻辑路径；其他求解器可能选择另一条合法路径。
- LDI v0 不使用完成时间、提示、错误、账号、地区或其他玩家行为数据。
- 可下载样本是一份精简的公开数据集，不包含私有生成数据或未公开的逐题诊断。