数据验证报告
本站所有算法数据不是「抄来的」，而是「抄来后逐条机械验证」的。验证工具随站附带：_build/verify.cjs（Node 环境运行 node verify.cjs 可复现全部结果）。
验证环境与方法
本站内置一个几何法魔方引擎（cube-core.js）：所有转动由坐标旋转实时生成，不使用任何手抄的转动表，从源头避免转写错误。引擎的转动方向约定已与 Speedsolving Wiki 记号页逐条核对（U = 顶层顺时针 = 朝左；M 跟随 L；宽层 r = R + M'，后者另与 Gilles Roux 官方教程互证）。
自动化校验清单（42 项，全部通过）
| 类别 | 校验内容 | 结果 |
|---|---|---|
| 转动代数 | 18 种转动的 m m' = 恒等；x=R M' L'、y=U E' D'、z=F S B'、r=R M'、u=U E'、f=F S 分解等价；R 的块位移动作符合定义 | ✓ |
| H-perm 基准 | M2 U M2 U2 M2 U M2 保角（与公认公式一致） | ✓ |
| 坏棱规则 | 「好棱 ⟺ U/D 色贴纸朝 U/D 面」在 LSE 六棱子集上与群论定义（<R,L,U,D,F2,B2> 单棱轨道）完全一致（中层位置的差异符合理论预期，与 Roux 官方定义核对无冲突） | ✓ |
| LSE 群 | U 不翻棱、M2 不翻棱、M 恰翻 4 棱；合法 CMLL 出口态恰 11520 个（偶排列 × 偶翻转） | ✓ |
| LSE 求解器 | 带角块 AUF 与中心偏转追踪的三相求解器解出全部 11520 个出口态；4a/4b/4c 查找表全部有解 | ✓ |
| 浏览器版复验 | 网站实际使用的求解逻辑在 11520 出口态 + 2000 个随机 <U,M> 打乱上全部求解并应用验证 | ✓ |
| CMLL 数据 | 42 个 case 的识别图与 SpeedCubeDB 自带 setup 公式两两对照 42/42 吻合（并确定其配色映射 L=红/R=橙）；每个 case 至少 1 条、合计 164 条公式逐条验证「精确复原图中状态 + 不破坏双桥 + 不转动中心」 | ✓ |
| 配色方案 | 默认方案（橙左 / 绿前 / 白顶，即标准配色）及 SpeedCubeDB 方案均为标准配色的整体旋转（非镜像） | ✓ |
数据来源
| 内容 | 来源 | 抓取时间 |
|---|---|---|
| CMLL 42 式 case 图与公式 | speedcubedb.com | 2026-10-24 |
| 转动记号方向约定 | Speedsolving Wiki · 3x3x3 Notation | 2026-10-24 |
| LSE 三步框架 / EO 定义 | Gilles Roux 官方教程 Step 4 + Wiki LSE 条目 | 2026-10-24 |
| 桥式主流程概述 | Wiki · Roux method | 2026-10-24 |
诚实声明
- LSE 的 4a/4b/4c 查找表由引擎对状态空间穷举搜索生成——每条都保证能复原对应状态，但个别写法可能与社区惯用公式略有出入（功能等价，已验证）。
- CMLL 的 167 条原始公式中有 4 条因无法通过验证（不能精确复原图中状态或会破坏中心）被丢弃，每个 case 至少保留了 1 条验证过的主公式。多数公式带 AUF 后缀——这是为了让公式与图中朝向精确对应，实际使用时按自己习惯调整 AUF 即可。
- 本站默认展示标准配色（白顶 · 绿前 · 橙左），可在页头「🎨 配色」里改成你实际魔方的持握方式；配色只影响图示颜色，不影响任何公式与数据。
- FB/SB 教学页的技法与经验数值（步数目标、阶段划分）为社区共识与教学经验总结，标注于此，不作为已核实数据。