只列还没完成的工作，完成后从这里删掉。
- 所有目标和场景在时间预算内给出精确证明：撃奏谱的中间层上界继续收紧、叶子精确评估降本（出场顺序共享相同的开头）、由快速启发式提供初始卡组。
- 撃奏谱的上界继续收紧（连击谱的加成）。
- Maximum 聚合的节点上界按“五人角色互异”收紧：其他项的加成按已放角色取值，增益列与分差包络只取未用角色。
现在每个激走段都按第一名计算，以后改成由请求给出的参数。名次加成是“本段得分 × 百分比”，日服的百分比随名次差得很多（例如某一任务组合下，第 1 名 +250%，第 4、5 名 +100%）。名次会改变段内得分的权重，最优卡组也会跟着变。
要改的地方：
- 模拟器：段结束时的名次加成，以及喂给“达到第 N 名以内”技能条件（7012）的确认名次，都用请求给出的名次。
- 上界：各段的名次百分比用同一个名次。7012 条件在上界里的处理要单独核对。
- 结果与缓存：名次是请求身份的一部分。
- 对照：按不同名次补有限域 oracle，与穷举比较 Top-K。
- 与撃奏 PT 的多人名次输入（
multiplayerRanks）保持一致。
分三步：
- 一个名次用于全部激走段，和谱面页的名次选项一致。
- 每段各给一个名次。
- 给出名次的分布，与成员顺序、抽签一起求期望。
真实名次取决于同房间的其他玩家，所以这个参数是玩家声明的假设，结果里要写明。
- 紧凑的搜索数据结构：卡牌用稠密的小整数索引，按列存放；已用的角色和 Snap 用位集合表示；每个成员与 Snap 的综合力和各位置增益打包成定长表；中间节点需要的前缀和预先算好，查表即得。
- nnnotes 预先产出只取决于谱面的数据，绑定模型与数据的身份，不符就报错。
- 可选后备方案：多 Worker 并行搜索，适用于单线程的上界、剪枝与精确评估优化仍难以满足搜索预算的场景。按设备资源配置并行度，支持搜索域分片、动态任务分配和共享由互异合法候选支撑的已认证 Top-K 下界，保留完整候选域、规范并列顺序与完成证明。
- 谱面与卡组联合搜索，需求见下节。
目标是同时选择谱面（含难度）和成员／Snap 编成，固定谱面只是可选约束。四种用法：
- 固定谱面、固定编成：精确评估（已有）。
- 固定谱面、可变编成：在持有卡池内精确推荐（已有）。
- 可变谱面、固定编成：对这个编成精确排序谱面。现有的固定编成歌曲排序逐谱评估，还没有全局证明。
- 谱面与编成都可变：谱面＋编成的全局精确 Top-K。
要求：
-
跨谱面共用同一目标、玩家事实与培养、活动与 LB 消耗、打法假设和均匀出场顺序目标。每张谱面各自解析场景、歌曲属性与标签、任务、时序、综合力因子和评级／PT 规则；一张谱面的判定序列不能挪给另一张。可选卡牌是显式的域事实，缺少解锁信息不等于可用。
-
结果同时标识谱面和队伍，同一队伍在不同谱面上是不同的结果。全局规范顺序要明确，并保留谱面内的平局约定；PT 仍按每个出场顺序先算再平均。
-
外层可以优先有预备数据和可采纳上界的谱面，但不能用静态歌曲排名或目前最好分截断谱面。内层只能通过已证明的下界契约共享全局截止值，未完成的内层结果只是可行解，不是证明。
-
全局 Complete 要求每个纳入的谱面域都穷尽，或被同时保留次级排序与规范平局的可采纳上界排除。超时、不支持的输入、数值或容量失败、未完成的谱面都要明确报告剩余的谱面域及其证明状态。 做法：
-
一次分支定界，第一层按谱面分支：每张谱面先给出整个队伍域的可采纳根上界（所有技能效果按现有上界计入，不搜索），按上界从高到低展开；全局只有一份（谱面，队伍）Top-K。
-
根上界低于全局第 K 名的谱面整张排除；未排除的谱面，内层只需证明没有队伍超过全局第 K 名（门槛搜索），不必求自己的 Top-K。
-
卡池与综合力表跨谱面共用；一张谱面上找到的好队伍作为其他谱面的初始卡组。
-
提供只编译上界、只给出根上界的入口，覆盖撃奏、PT 与分段搜索的谱面。
-
活动 PT、CP、道具这类目标的上界要随谱面的分数上界变化；奖励饱和时按综合力等次级排序做门槛搜索。
-
获胜的组合一律完整重放算分。
-
验证：有界夹具上的谱面＋编成联合穷举对拍、固定编成的跨谱面对照、任务／加成／评级阈值不同的谱面、规范平局，以及本机与 WASM 对照。