Search Performance Optimization

CombatSolver 搜索质量与性能优化

适用边界

先证明同一起点、同一动作的 actual/simulated 状态一致。存在根快照、语义或续用偏差时转 combat-semantic-change，不要调搜索掩盖。

读取 docs/ARCHITECTURE.md 的 Search 章节。当前搜索职责已拆开：

• Expansion 产生候选；
• ParallelExpansion 准备并物化原始候选；AdmittedExpansion 用固定 lane 调度已准入父节点内的动作/选择/药水作业，PrimaryChoiceReplay 保存原预算必经的首层回放，EndTurnChoiceReplay 将同一保证用于回合尾部的首层挂起选择；嵌套预算及实例补充由唯一续接原序消费，再按输入顺序提交；
• StandPatJobs 复用当前 lane 评估保路必经的 EndTurn 探针，原序缓存与选择仍由 coordinator 完成；
• RetentionJobs 复用已排空的 lane 计算保路只读元数据，按索引交回独占结果，观察请求及计数仍串行写入；
• StateEvaluation 计算快照、威胁和评分特征；
• PredictionCoverage 可以在原四字段去重后物化gap，但仍须逐项执行原补偿判定，并保持SourceId/Method稳定排序及同键先遇到者；不能把本地去重扩展成跨历史/分支回调缓存。
• BeamRetentionPolicy 决定中间候选保留；
• FinalPlanOrdering 决定终局路线；
• 最终续用戳由 Terminal 冻结选中路线的动作索引／回合边界，在既有完整标注回放的动作作用域退出后捕获。保持 EndTurn／强制结束、非死非胜且无边界、有该回合后续动作的原资格，准备根只回放一次已选 setup。只保存纯值，不 Fork 带遗物记录器的模拟器；结尾核对全部边界与最终状态。旧独立前缀回放只作测试 oracle；减少的物理 replay／setup transition 计数须如实报告，不伪加计数，不把长路线收尾收益外推为整搜提速。
• SearchRunContext 拥有单次运行指标、转置和缓存；
• 就绪负缓存实验已因正式对照两对更慢而撤回，生产不含该缓存。它只省去同父状态未变化时的重复选择数组扫描；coordinator派发/接收时失效，不减少父槽轮询或邮箱次数。诊断命中时重扫可验证失效覆盖，不能把数组扫描减少率当作整搜提速。
• CombatBeamSolver.Transpositions 保持原六维支配关系与接纳顺序；单标签内联，多标签才分配List，重新缩为单标签时释放容器。只改变存储形态，不能清空仍有消费者的判重表来追求GC指标。
• CombatSearchCoordinator 组织主搜索与药水反事实。

不要把所有问题重新塞回 Solve 或用一个总分同时承担保路与终局政策。

1. 建立可比较基线

固定同一源码版本、快照、预设和测试模式，记录：

• phase / boundary、searched turns / shuffles；
• expanded、transitions、choice branches；
• dominance / transposition / repeatable pruned；
• elapsed、allocated bytes、bytes/transition；
• GC 次数、总/最大暂停、最大帧和 >50ms 帧；
• 战损、药水、结束回合、动作序列和 unexpected replans。

快速内环只保留目标质量和一个不可退化哨兵。固定长线性能基线只在最终候选、准备给出性能数字或用户明确要求完整门禁时运行；当前稳定场景从 docs/TEST_MATRIX.md 选择，不把历史数字硬编码成永久阈值。

路线质量的首要基线是同一起点、同牌序与 RNG 下的整场战损。回合数、击杀速度和展开深度只作次级信息，除非用户明确把它们设为目标；不得用更少回合替代更低战损宣称优化。

-VerifyIncrementalSearch（PowerShell）/ --verify-incremental-search（Bash）会逐转移执行完整回放，只用于正确性，不能与性能门槛组合，也不能引用其时间或分配作为生产性能。

正常搜索使用单一 SearchPolicySnapshot.Profile，不再有 Short/Deep 阶段或检查点；进度只表达搜索工作阶段。测试用 FixedBudget 与显式小节点/时间预算，统计请求总工作量与总耗时。历史 Short/Deep 日志只能按其原实现解释，不可当成当前阶段或固定工作量字段。

2. 判断瓶颈所在职责

• 预算不足：更高预算找到更好合法路线，低预算有明确时间/节点边界。
• 展开截断：目标动作或选牌未进入 frontier，检查 Expansion 和单节点分支预算。
• 中间候选丢失：候选出现后被状态去重、Beam 通道、配额、Pareto 或转置淘汰，检查 BeamRetentionPolicy / Retention。
• 终局政策：完整候选存活但未被选择，检查 SearchFeatures 与 FinalPlanOrdering。
• 模拟成本：质量稳定，但 fork/action/round/snapshot/fingerprint 阶段过重。
• GC / 主线程卡顿：分别检查 No-GC 是否保持、堆分区、其他 Mod 分配、worker yield 和主线程回调。

先定位候选在哪一层消失，再修改该层。终局政策问题不能通过提高 Beam 分数偷偷解决。

可选 SearchPathObserver 只提供纯值诊断：状态键用于便宜过滤，完整动作/选择路线和政策标签分别匹配；TT 接受不等于动作准入，保留不等于实际展开。Prune 比较完整仲裁后的最终集合，回合注释允许 clone 与政策标签变化；不能把父节点开始展开当作全部出边已枚举，也不能把同状态不同历史当作原路线仍然存活。初始 Start 选牌枚举与固定前缀逐步观察不在当前入口覆盖内。

需要解释首次裁剪时，可显式启用命中状态所在外层 Prune 的整池观察：未去重输入、真实 RankBest 去重排序/必保/路由/选中位置，以及全部后续仲裁后的最终集合共用边界编号。索引从0开始；路由位置进入 quota 不等于最终必保，option leader 也可能被路由上限阻挡。父排名在原 AssignRetentionRanks 之前记录；估值诊断只复制该节点已有快照中的标量，不重算评分。真实局部选择结果直接复制，不为诊断重跑选择器或对内层 RankBest 扩大采样。

同战斗状态和同转置标签不保证保留特征或循环/有序操作调度历史相同。若原动作排列被合并，先追踪实际保留代表；测试侧严格回放“实际观察前缀 + 已知后缀”可以证明战斗合法性，但不能代替真实搜索中的生成、准入及最终保留证据。

调整普通同分截线前，区分原排序、必保置换后的实际普通截线与最终药水仲裁。组内战术排序须核对当前回合和完整政策标签；若承诺不改各标签席数，应把同族成员写回其原位置，不能按族拼接或跨族全排序。静态候选池选中目标只证明局部选择，仍须检验实际后缀是否继续存活及目标质量。 BaseScoreTacticalTies 单进展值组战术细化实验默认关闭，显式开启也只作用于基础分精炼成员；广泛作用于普通/能力成员曾让独立根搜索到上百回合并超时，不能把局部同分置换当作免费改进。保留必保/路由位置与药水席数，复核完整协调器、训练外根及请求总展开/转移；最终质量由原比较器决定。

3. 保路与终局规则

• 普通、精英和首领均不再设置固定累计卖血门槛，也不以开战HP减一限制跨回合累计卖血；回血后的可生存路线仍必须可以参与搜索。卖血统计/排序与真实死亡判断各自保留，不恢复旧5/10/15门槛或超额候选配额。

• 主结果战损下界只在根牌组、遗物、Power、药水与扩展来源落入 StrategicHpRecoveryBound 已核对的无治疗封闭集合时收紧；固定战后遗物回血仍计入。未知来源、治疗牌、生成牌、可重复回血及药水沿用完整缺血余量。精神过载在下个玩家回合开始施加灾厄，灾厄致死只在该玩家回合结束结算；不能将当前灾厄值当作提前损血或死亡下界。

• 组合回复证书逐来源准入并锁定原生审计版本；初始所有牌堆、待返回牌、永久牌组及全局监听前缀独立检查，未知初始来源不能因离场重新认证。根只冻结资格，分支重新计算有效再生和合法剩余剂量；禁药与额度耗尽保留已生效再生。Smart 节血界只消费完整合规无药胜利及无保命资源消耗的基线，通过现有请求传给精确用药层和开局后续搜索；不得改评分或跳过审核。未知分支保持原搜索，成长、遗物目标、强制用药与资源追回目标不能使用该特化。 2026-10-03 用户追加的原版已知来源策略由 KnownSources 单独实现：随机炼药尚未生成时不分配回血余量；分支实际持有的回血药水、已有再生、固定战后回血继续计入，时候未到、狂宴、可重复遗物回血及保命来源继续保留完整余量。该策略不是随机生成下的严格语义证书，不更改旧证书的证明口径。共用 Retention 及宽度/能力成员的外部胜利界准入均消费根冻结的策略资格，不只作用于首个成员；不共享可变战斗状态、转置或前沿。 用户随后明确要求五角色、全部原版怪物：当前持有的修书刀保留，未持有时不给回血余量。零 HP 额度遗物目标使用 CanUseStrictHpRelicBound(root, policy) 的共同门槛，不按角色或遭遇特化；无有效卡牌成长、所有遗物额度0时只剪严格较差HP，等血量的后续回合保留。正额度目标继续按原收益政策保路。开局及后续组合成员可以消费已有纯值界，不能因此新增成员预算或跨成员共享可变状态。已知来源策略资格不扩大主搜之前的计划搜索资格：未认证根的四个前置计划曾额外耗时且没有取得胜利，使储君女王从胜利退化为未完成路线；仅保留原闭包认证根的提前计划安排，其他原版根沿原阶段执行计划搜索。

• 多样性用有上限的显式通道：防守、进攻、能力铺垫、资源、控制、药水状态、集火、复活窗口、破坏性选择等。

• 只有真正独立的目标进入全局 Pareto；增加维度前比较支配剪枝、节点与分配。

• 药水/无药配额替换候选时保护已标记代表；最终药水价值仍由反事实与 FinalPlanOrdering 决定。

• 保牌/保钱策略在存活获胜前提下先比较未追回资源，再比较战损、成长与药水；候选展示、终局保路和跨搜索审计保持一致。未追回资源时不能按纯 HP 早停，HP-only incumbent 不适用于此目标。放走不应用强制追回排序；保策略允许为追回资源增加战损和用药，但继续遵守显式药水保护。

• 持续能力、未来资源和延迟伤害可帮助中间保路；终局比较实际胜负、战损、药水、卖血和敌方状态。

• 成长策略由主线程冻结每次成功收益的 HP 额度。完整胜利后比较扣除额度的战略战损，同分优先已实现成长再比较回合；零额度也优先免费收益。有实际成长目标时不可使用纯 HP 的早停或 incumbent 下界；有限击杀来源只在冻结的收益目标已经兑现后允许战损早停，混合/第三方来源继续成长搜索。早停还必须满足必要用药数量，不能用多药零损抢先结束仍有更少药可能的搜索；只有本场持有对应卡牌才算有目标，保存非零额度本身不算。默认开启的战损目标早停在合法完整胜利候选提交时触发，排空当前父节点/并行批次后收尾，补充搜索同样检查；增量回放须核对收益次数和额度，Pareto 不得以较少收益支配较多收益。

• 通用上下文可按单敌/多敌、普通/Boss 调整；不要按具体 encounter 或单卡硬编码路线。

• 纯启发式特征不进入战斗状态键或 ContinuationStamp。

4. 性能所有权

• 转置表的百万上限统计两个字典的条目数，不是标签数或字节数。触顶和峰值属于单次 SearchRunContext，标签分布在搜索结束采集；比较请求时保留各通道数据，不把顺序运行通道的标签总和当作同时驻留峰值。

• 生成选项的最新历史查询沿现有尾表／前缀段反向扫描，返回与原正向 LastOrDefault 相同的事件实例；来源仍按 Original／Preview 引用匹配，不能限制为当前动作或换成同名卡牌。查询不存跨调用结果，未匹配仍为全历史扫描；验证父子Fork后分别追加、空来源及重复生成。内存自适应并行批次数单列为调度指标，实际工作量与完整路线仍严格对账。

• StrategicEffectContext.Build 的消耗关键字只按实际需求读取，可空布尔缓存严格限于单张牌的当前只读循环体；下次Build必须重新读。保留完整 Keywords 来源，不能换成本地关键字；技能因效果消耗与牌自身消耗继续区分，第三方类型的生成器旁路不变。不要把这个局部复用扩展到动作、快照或Fork之间。

• 淘汰快照按 SimulationSnapshot 引用身份保留，不按 SearchNode 身份或值相等判断；多个节点可共享同一快照。ReleaseDroppedSnapshots 的局部集合只替代成员查询，不能改变释放调用顺序、次数或时点，不能跨调用持有模拟器图。小池保持原扫描；阈值不是全局最优承诺。

• SortByBeamRank 只在单次排序内预计算分数，临时列表保持节点引用和原 CompareBeamRankOrder，不缓存可变父排名、不跨排序复用、不增加长期节点字段。公式输入在排序期间必须冻结；修改表示或排序入口时核对完整同分顺序，不能用 top-k 集合相同代替。额外临时分配与实际搜索耗时一并报告。

• 遗物优先级只作用于既有 HP/额度轴后的达标偏好，默认 1；3 高于所有低档内置目标之和。新增半血目标时，阈值内/外的目标掩码必须参与原 Pareto，不能让高生命未达标状态支配低生命已达标状态。MeatOnTheBone 仅在用户开启目标且完整获胜时补入实际回血与原单调回血的差额，并沿首领 HP 价值折算，禁止再向实际回血或生命值重复加一次。该差额单独存入 HealingHpCredit，仅抵扣净战损，不作为同分成长奖励；带骨肉不附带额外额度或优先级奖励。比较其他目标一致的路线间收益，不能要求最终 HP 超过搜索根 HP。

• 遗物卡数只针对本场实际持有且总/单项开关开启的跨战斗计数；每项达标额度只记一次，范围覆盖全周期不创建目标。早停要求完整胜利中的所有计数目标已满足，并保留原实际扣血、成长、偷窃与用药条件，不能因开关开启而一律禁用达标早停。保路 Pareto 比较达标掩码的包含关系，不能只比较总数。后续动作探针须保留完整前缀父链，增量回放不能从空历史验证非空前缀状态。

• BeamRetentionPolicy.RoutingChoiceScratch 只复用空字典桶；每次 RankBest 的 RoutingChoiceNodes 独占候选列表和五项代表，按原比较规则聚合，归还时清空引用，不跨调用缓存组。组填满后用原 Max/Min 冻结最高 Beam 分、最高父分和最低父排名；只在本次 routing block 中使用，全部消费早于 AssignRetentionRanks，下一次调用重新建立。不得把该组统计扩展成单节点父链或跨调用排名缓存；新统计必须证明有效期并对比包括 deferred-round 诊断在内的相关非时序指标。

• SearchRunContext 是单次运行可变指标、转置和缓存的所有者；不要把这些字段退回 solver 入口或静态全局。

• 请求工作归因复用 SearchRequestWorkTotals 原总账本：经续搜调度器的 solver 用 ContinuationPurpose 标记，主搜、宽度精炼及直接审计／侦察成员用 DirectSearchPurpose 标记，仍未标记的直接成员记 UnattributedDirect，协调器开销另列。各分项之和须与原展开、转移和选择总计一致；阶段名不能替代候选丢失证据，旧超时包没有进度快照时保持未归因。

• 混沌药生成链成员只在根药水确有生成源、原路线尚有可改善战损且请求账本有余量时运行。候选来自已选路线早期前缀及合法进攻跟进，生成药的免费身份从分支状态读取；最多两条前缀，每条共享请求节点／时间，完整结果由既有用药政策取优。强制用药按原政策验证，不以包 ID 或预定卡牌顺序提名。

• 无完整胜利追加搜索位于请求级、主搜索与药水审计之后，消耗请求剩余时间。每轮分配/转移采样从该轮开始计；采用或应用结果直接交还调用者。饱和判断比较上一轮全部搜索维度，预设节点调整与动态恢复倍数分别记录。

• 并行 worker 只能拥有 lane-local 模拟、缓存、节流和原始候选；transposition、dominance、fallback、预算与最终接收顺序仍由 coordinator 独占。固定 lane 应在一次 Solve 内复用，禁止回到每父节点 Task.Run / 新建 solver。

• 外层最多预约 2×DOP 父节点，已准入作业内同时模拟最多 DOP；自然 singleton 也使用同一调度器。准备动作表后，每父节点独立 Fork gate 串行生成 seed，lane 在 gate 外独占模拟。动态选择预算及 occurrence collector 属于一条完整动作链，不并发消费同一个预算。药水/目标是独立作业，初始动作/药水均已派发后可独立计算 EndTurn，仍使用同父 Fork gate，结果与基线值归私有批次；全部卡牌/选择/药水及 EndTurn 都完成后才按原边界移交结果并发布父节点 stand-pat 基线。coordinator 归并 worker 指标后才能复用 lane，按动作/药水原序聚合，只提交完成父节点的连续前缀。内部不能新准入父节点或做 GC checkpoint；父节点高水位预约覆盖所有在途结果，数量界不当作硬字节界。冷启动按每父节点64 MiB再乘1.5预约；完整观测后保留整次搜索最大实测父分配的1.5倍，并在每批另加96 MiB突发余量。不得在新深度重置高水位、删除整批突发余量，或把预测说成未知分配的硬保证。纯串行后备仍按原有单父节点冷下限/实测高水位预约，不叠加并行窗口的整批余量。异常停止派发、排空全部 lane 后才释放 probe/batch/root；高分支场景必须同时看峰值图和分配。

• 保路元数据并行必须冻结本次候选、父排名、已选集合和 lease 账本，逐索引或逐组独占写回；分组与最终拼接不得按完成次序进行。观察请求先收集、再按原组序应用，不能让 worker 修改共享统计或保留账本。复用已经排空的固定 lane，不使用未限并发的 Parallel.For；取消和错误也须等待所有已派发作业，完整记入其分配并传播原 token/异常。合同覆盖双 lane、逐槽一次写入、失败后复用和实际 NoGC 回收边界。

• 待命探针并行只覆盖原保路会访问的未缓存状态，保留首次原代表；不扩大候选集合。固定代表可按探针独占分配高水位及 Runtime 剩余内存分批，每批排空后才通过注入入口回收；非探针元数据按已排空的全局排名/探针及资源、开局、有序变异保路完成边界分段观测与预约，不在CycleRegion仲裁事务中回收，保留每输入高水位及原安全系数；不能用整段元数据或整组瞬时模拟之和预约一个不可分割区间。剪枝内回收保留已用作去重依据的 StandPatCache，离开该作用域才恢复清理。复用同一固定 lane，coordinator 独占缓存，worker 只交出标量；临时快照在发布前释放，失败和取消必须排空。最终固定节点合同同时覆盖 DOP1/DOP2、在途取消/失败和原根复用，普通单线程小预算合同不能代替这一边界。

• 只有容器进入 SearchRunContext 的有界空闲池；每个发布批次必须持有独立 lease，归还前清空引用，旧 Dispose 不得触碰后来租户。不得池化 simulator/model。

• 首层回放并行必须先证明原动态预算必定覆盖这些物理回放：N≥2 且语义最终额度和回放额度都≥N、选择非空时，原 ceil 租约递推保证每个兄弟的第一次回放必经。frontier 只暂存这 N 次结果，原序续接消费逻辑额度；嵌套选择与实例补充不并发。不能把各兄弟预先固定为平均总配额，也不能在预算不足时猜测准入；合同覆盖饱和、无效、混合消耗与512上限。

• Snapshot 临时牌列表只由当前 _run / lane 租用，维持 Discard → Draw → Hand 拼接顺序和原稳定洗牌。归还清空引用，只留一个容量不超过 4096 的列表；租用代次防止复制的旧 lease 清空新租户，禁止把列表存入返回快照或策略上下文。

• GC 生命周期计数由 Runtime 在准入 Gate 内冻结。普通 GC 的共享进程窗口不得称为独占请求归因；总暂停、observed max 与 trace max 必须区分。Smart 预测只决定可选层间回收，不能改层预算或候选策略。

• RitsuLib 0.6.0 已拥有 BaseLib 目标类型的外部登记查询、ConditionalWeakTable 弱所有权和动态程序集旁路。CombatSolver 不再修补该桥的私有闭包或另建缺失缓存；性能工作不得恢复这组重复补丁，目标类型语义继续走框架公开入口。

• Hook 分发优化只省略已核对为原版默认空操作的回调，不能删除原生/领域监听成员。MirroredHookListenerFilter 的布局只含 Type/位图，按原位置对应当前分支模型；同根有界共享表必须逐项核对完整类型顺序，哈希碰撞或并发替换只允许降低命中率。表不持有 Model，普通监听失效清空派生视图，根结束后共享表可回收。每个新根重新检查基方法和原生关键字 Hook 补丁，第三方/动态类型与不透明 CardModifier 旁路；新回调同步两端位图门禁。原生关键字调用只能在确认全体接收者为空操作时省略。记录缓存命中/碰撞/旁路，根累计指标不能把主搜与恢复相加。

• 监听前段只含阵容/遗物/药水/根 Power，卡牌/球变化不得修改已发布前段；阵容/药水变化仍完整失效。有效 Power 插入缺少前段锚点时回退原完整列表，不透明 CardModifier 也保持完整列表及追加器上下文。只有不可变已发布段才能冻结拼接长度；Fork 经同一上下文重映射，复用后段不得保留父分支可变模型。有效/活动前段及 Power 投影只在成功分段时跨卡牌/球变化保留；Power、阵容、药水失效必须同时清空，Fork 也要重映射已失去完整后段的保留前段。测试覆盖无前段锚点、卡牌变化后前段复用和 Fork 引用。

• worker 阶段 ticks 来自 Stopwatch，合并后是各段经过时间之和，包含被抢占、锁等待与 GC 暂停，既不是实际 CPU 时间，也不是墙钟占比。实际 CPU 使用 perf on-CPU 样本或线程调度运行时间；同时记录 parallel_waves、parallel_work_items、parallel_max_concurrency 和平均用核数，避免只凭峰值并发宣称已充分并行。

• BaseLib 3.4.5 的克隆扩展会以非原子的“先查后加”访问全局弱表。并行搜索必须保留 BaseLibCloneConcurrencyPatch 对原版 MutableClone 第三方扩展段的窄串行边界；不要删除该边界，也不要把它扩大到候选生成、模拟、剪枝或提交阶段。

• 原生 PowerModel.GetTypeForAmount 的枚举装箱优化只能替换精确匹配的两段同 int 枚举比较；保留所有虚 getter、decimal 判断、标签与异常区域，内部控制流或未知 IL 旁路。生产 transpiler 必须以真实游戏方法核对输出、getter 次数/顺序、未定义枚举值与分配；不能用跳过 getter 的类型缓存代替。

• 游戏 0.111.0 的 LocManager.SmartFormat 复用同一个 SmartFormat 实例及对象池，不支持并发调用。PowerDynamicVarWarmup 必须在主线程根捕获时物化规范 Power 与当前战斗 Power 的显示变量；PowerDynamicVarMaterializationGuardPatch 保证 worker 不再惰性创建 Power 显示变量。命中 guard 时补齐主线程物化边界，不给全局格式化器加锁，也不在 worker 内提供默认文本。LocManager.SmartFormat 本身含异常过滤器，禁止直接用 Harmony 改写。

• Runtime 拥有 SearchGcPolicy，Search 只通过 SearchFramePressureSignal / SearchWorkPacer 消费节流信号。

• 层间预测不能要求整层必须容纳于单一区域。预测超过新区域容量或区域新分配很少时，使用原每批内存准入，不能反复重置刚完成回收的区域。普通 GC 的自动回收请求后台收集；需要重建 NoGC 的排空检查点直接请求一次压缩完整回收，确认新完成信息和释放后的弱引用哨兵后重建区域。手动释放继续使用自己的完整回收入口。实机曾证明按高碎片比例自动压缩会造成数秒停顿；生命周期合同只证明完成与所有权，可见暂停和平台性能另行取证。保持确认、取消与引用释放的所有权。

• 手动释放先通过完整、阻塞、压缩的 GCCollectionMode.Aggressive 归还游戏空闲堆页面，再按用户明确要求调用管理员辅助程序清空全系统进程工作集与待机列表，保留系统和其他进程清理能力。工作集移出后的低占用不能当作堆已释放，恢复执行或下次 GC 会重新载入页面。核对 private/committed 与工作集各自的变化；manual-release 真实 CLR 合同及储君生成路线部署合同只覆盖游戏进程回收，不覆盖管理员系统清理，也不证明全部内存耗尽已解决。

• 动态变量空元数据优化只针对已核对 null 默认值的 BaseLib 提示/升级字段和 Ritsu 提示工厂复制入口，在模拟隔离域使用不创建条目的查询；保留非空值、父子隔离及 live 路径，不改通用字段工厂或清空全局表。以真实 Clone 验证空值基线、自定义提示和升级值跨两代传播。

• 原版 NodePool 信号清理只释放自己取得的 Array/Dictionary/Variant 与新转换的名称包装，不释放节点或持久 Callable 目标。修改该补偿时分别验证 NCard/NGridCardHolder 的真实泛型入口、入站/出站/递归/离树条件及包装登记数；不能把登记无增长当作全部旧战斗对象已释放。

• 搜索内回收只等待自己发起的收集，不加入要求该搜索退出的 deferred 完成链。后台 GC 请求不等于回收完成：核对最新已完成 Gen2 与释放后哨兵，取消不能提前交还所有权，超时/异常必须排空未确认请求。手动完成、引用释放 epoch 与搜索取消各有独立语义；请求后台模式与 CLR 实际 Concurrent 结果分开记录，生命周期合同不当作暂停收益证据。

• 优先避免无价值候选、Fork 和快照产生；No-GC 区内释放引用不会返还预算。

• 组合补搜入口消费基线完成情况及原节点、时间余量；内存由成员执行期间的逐批预约和 Runtime 检查点处理。成员可跨多个回收区域完成，累计分配量用于成本诊断。新增成员的工作会影响后续审计余量，必须比较完整请求的质量与实际总成本。

• 区分 transitions 增长与 bytes/transition 增长，用阶段指标定位实际热点。

• No-GC 同时观察配置预算、SOH/LOH、是否保持到搜索退出和首次长帧时的 expanded。

• 准入必须有下限：区域只吸收本次搜索相当一部分分配时才值得进入。TryStartNoGcRegionWithSizeFallback 是对半砍到 MinimumNoGcRegionBudgetBytes，任何 Started 都会被建立，因此只在尺寸回退循环之前捕获 Capped（该标志等价于「机器给不出配置预算」）并在系统余量缩水到配置的一半以下时拒绝进入、改走默认 GC。平台 SOH 上限造成的缩水是合法机制，不能因此取消区域。拒绝后必须确认分配限额被释放（RemainingBytes == long.MaxValue），否则检查点仍会为不存在的区域付拆除成本。检查用 tools/testing/checks/CombatSolver.GcPolicyChecks -- admission，它直接编译生产 SearchGcPolicy.cs，不需要游戏进程。

• 修 GC 策略前先确认保留集是否有界：SearchRunContext 的转置、StandPat、Coverage、ThreatProjection 等结构无裁剪、无上限，托管堆 52% 碎片时非紧凑回收中位只能拿回 0 MiB。这类问题改 GC 策略治不了，把内存从「输出」变成「输入」要落到 BeamRetentionPolicy 的容量维度，属语义改动，需完整等价性门禁。不要用准入/回收的复杂度去补保留集的无界。

• 收益小且扩大语义验证面的微优化保留简单实现。

• 按类型归因时必须取该类型的调用栈，不能从类型名猜调用点。 分配 trace 只给出「哪个类型分配了多少」；Func<CardPile,bool> 这类泛型名会误导人去找同名形态的代码。先对目标类型取栈定位文件与行号，再改；改完必须用同一类型的前后字节数验证是否真的下降（总分配可能被其它来源淹没而看不出变化）。凭类型名推断曾把 PredictedCard 谓词当成 CardPile 谓词，改错文件：213 行改动换来总分配 +0.069%，只能回退。仓库自带的 tools/performance/GcTraceAnalysis 每类型条目不带栈，需要加大 --top 后在 topSearchStacks 里按类型过滤，或按类别条目交叉核对。

• 反编译核对游戏类型用 .local/decompiled-tmp/sts2/（按命名空间分目录）；ilspycmd 在本机安装失败（NuGet 包缺 DotnetToolSettings.xml），不要重复尝试。核对该目录时要用「实测调用栈里的方法链」交叉验证版本一致性。