v1.12.0 · 精确预算规划

v1.12.0 · 精确预算规划

预算规划不再只看“当前这一步最省”，而是在候选树里找步数最少、成本最低的达标路径。

变更

• plan()（web/budget-core.js / software/modkit/optimizer.py）从贪心改为
  深度受限穷举：
  • 优先步数最少的达标路径；
  • 同一步数再选成本最低；
  • 默认最多 4 步（CLI --max 可到 8），候选树节点上限 200；
  • 超限返回 truncated=true 和当前最优，不假装搜完。
• 网页“规划达标”和 CLI --goal 自动使用精确搜索，接口不变。
• m1 目标 ¥1000 仍是一步 ¥968；目标 ¥900 仍显示 ¥964.4 / 差 ¥64.4。
• 测试 275 → 276（新增节点上限/truncated 回归）。

边界

• “精确”只相对于当前替换候选表和深度/节点上限，不是无限制全局最优。
• 仍是软件装配验证；没有动力学/网格碰撞/运动后干涉。
• 没有采购/打印/装配/上电/标定；物理闸门 0/5。

验证

• make check 全绿；276 项 pytest；7 个装配预设 PASS。
• 发布包 SHA256 见 SHA256SUMS。

详细说明：docs/68-预算优化器.md