Screeps 验证覆盖率与 Evidence 优先级

Spawn 不生产 Creep

部分覆盖

目标Console当前4 条 accepted Evidence仍缺ERR_BUSY · ERR_RCL_NOT_ENOUGH

下一步采集优先验证 ERR_NOT_ENOUGH_RESOURCES、ERR_NAME_EXISTS、ERR_BUSY 与一次 OK 路径，不扩大成整套 Spawn 队列长期结论。

SAFE CAPTURE RECIPE

不改变房间策略，补完剩余 spawnCreep() 返回码分支

当前公开 Evidence 已覆盖 Energy 不足与重名分支；这里仅针对仍缺的分支。每个探针都只使用 dryRun，记录限定范围的前后状态，并在真实返回值不是目标分支时 fail-closed 丢弃。

ERR_BUSY自然忙碌 Spawn · 仅 dryRun

安全条件只等待正常房间运行中已经处于 spawning 的 Spawn；不要为了制造该分支额外开始或取消 Creep。代码只执行 dryRun，并在不是 ERR_BUSY (-4) 时直接失败丢弃。

var spawn = Object.values(Game.spawns).find(function (item) {
  return item.my && item.isActive() && Boolean(item.spawning);
});
if (!spawn) throw new Error("No naturally busy owned Spawn; skip this branch for now.");

var name = "LQBusy_" + Game.time;
var body = [MOVE];
var before = EvidenceCapture.snapshot({ spawn: spawn, room: spawn.room });
before.probe = {
  branch: "ERR_BUSY",
  name: name,
  body: body,
  dryRun: true,
  spawnActive: spawn.isActive(),
  spawnBusy: Boolean(spawn.spawning),
  spawningName: spawn.spawning && spawn.spawning.name
};

var rc = spawn.spawnCreep(body, name, { dryRun: true });
if (rc !== ERR_BUSY) {
  throw new Error("Unexpected return code " + rc + "; discard this capture.");
}

var after = EvidenceCapture.snapshot({ spawn: spawn, room: spawn.room });
EvidenceCapture.captureConsole({
  articleSlug: "screeps-spawn-create-creep",
  language: "zh-CN",
  roomName: spawn.room.name,
  apiName: "StructureSpawn.spawnCreep",
  returnCode: rc,
  beforeState: before,
  afterState: after,
  evidenceNote: "A naturally busy owned Spawn returned ERR_BUSY (-4) to an explicit dryRun probe; no additional spawn intent was submitted.",
  label: "SPAWN-BUSY"
});

ERR_RCL_NOT_ENOUGH自然 inactive Spawn · 不为采证降级

安全条件仅在当前房间状态本来就存在 owned 且 inactive 的 Spawn 时采集。不要为了采证主动降级 Controller、unclaim、destroy 或破坏房间；没有自然条件就继续保持 Pending。

var spawn = Object.values(Game.spawns).find(function (item) {
  return item.my && item.isActive() === false;
});
if (!spawn) throw new Error("No naturally inactive owned Spawn; leave ERR_RCL_NOT_ENOUGH pending.");

var name = "LQRcl_" + Game.time;
var body = [MOVE];
var before = EvidenceCapture.snapshot({
  spawn: spawn,
  room: spawn.room,
  controller: spawn.room.controller
});
before.probe = {
  branch: "ERR_RCL_NOT_ENOUGH",
  name: name,
  body: body,
  dryRun: true,
  spawnActive: spawn.isActive(),
  controllerLevel: spawn.room.controller && spawn.room.controller.level
};

var rc = spawn.spawnCreep(body, name, { dryRun: true });
if (rc !== ERR_RCL_NOT_ENOUGH) {
  throw new Error("Unexpected return code " + rc + "; discard this capture.");
}

var after = EvidenceCapture.snapshot({
  spawn: spawn,
  room: spawn.room,
  controller: spawn.room.controller
});
EvidenceCapture.captureConsole({
  articleSlug: "screeps-spawn-create-creep",
  language: "zh-CN",
  roomName: spawn.room.name,
  apiName: "StructureSpawn.spawnCreep",
  returnCode: rc,
  beforeState: before,
  afterState: after,
  evidenceNote: "A naturally inactive owned Spawn returned ERR_RCL_NOT_ENOUGH (-14) to a dryRun probe; no room downgrade or spawn intent was performed for evidence collection.",
  label: "SPAWN-RCL-NOT-ENOUGH"
});

Console 打印出的 bundle 仍然只是 captured material；必须先校验、review，再单独 accept。本 recipe 不会改变任何 Evidence 状态。

Controller 快降级或升级异常

部分覆盖

目标Live multi-tick当前2 条 accepted Evidence仍缺目标证据等级 · ERR_NOT_ENOUGH_RESOURCES · ERR_INVALID_TARGET

下一步采集记录 upgradeController() 返回值、Upgrader Energy、Controller 进度、ticksToDowngrade 与供能侧状态的连续变化。

Creep 不移动

未验证

目标Live multi-tick当前0 条 accepted Evidence仍缺目标证据等级 · ERR_NO_PATH · ERR_TIRED · ERR_NOT_IN_RANGE

下一步采集优先捕获真实 moveTo() 返回值、creep.fatigue、起止位置和至少一个后续 tick。

Creep 不采集资源

未验证

目标Live multi-tick当前0 条 accepted Evidence仍缺目标证据等级 · ERR_NOT_IN_RANGE · ERR_INVALID_TARGET · ERR_NOT_ENOUGH_RESOURCES

下一步采集记录 harvest() 返回值、目标类型、WORK 部件、资源量，以及后续 tick 的 Store/Source 变化。

Link 不传能量

未验证

目标Live multi-tick当前0 条 accepted Evidence仍缺目标证据等级 · ERR_TIRED · ERR_NOT_ENOUGH_RESOURCES · ERR_FULL · ERR_INVALID_TARGET

下一步采集优先采集发送 Link/目标 Link 的 Store、cooldown、返回码和下一 tick 状态，避免只靠截图判断。

VERIFICATION COVERAGE

用已接受的运行时证据衡量验证覆盖

这份 Registry 只决定“下一步最值得验证什么”。当前覆盖由与 Diagnostic Center 相同的 accepted + Markdown accepted 公共边界筛出的结构化 Runtime Evidence 计算，再按 canonical API identity 关联到每条症状路径。

10条计划诊断路径2条已有 accepted Evidence 路径6条结构化 accepted Evidence

Creep 不移动

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据 · 0/3 个返回码分支

覆盖目标

覆盖 moveTo()、fatigue、无路径与距离分支，并证明后续 tick 的位置或状态变化。

下一步应采集的证据

优先捕获真实 moveTo() 返回值、creep.fatigue、起止位置和至少一个后续 tick。

Creep 不采集资源

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据 · 0/3 个返回码分支

覆盖目标

覆盖 harvest() 的目标、距离、WORK 部件与资源变化，并验证实际 Store 或 Source 状态。

下一步应采集的证据

记录 harvest() 返回值、目标类型、WORK 部件、资源量，以及后续 tick 的 Store/Source 变化。

主要错误码分支

ERR_NOT_IN_RANGE-9 ERR_INVALID_TARGET-7 ERR_NOT_ENOUGH_RESOURCES-6

主要 API

creep.harvest(target)

可用工具

Creep 身体计算器 →房间运行诊断 →Controller 降级与 Upgrader 规划器 →Market 与 Terminal 成本计算器 →

Spawn 不生产 Creep

部分覆盖

目标证据Console

当前 accepted 证据Console · 3/5 个返回码分支

覆盖目标

先把 spawnCreep() 的高频返回码、dryRun 与真实调用边界做成可复现 Console 证据。

下一步应采集的证据

优先验证 ERR_NOT_ENOUGH_RESOURCES、ERR_NAME_EXISTS、ERR_BUSY 与一次 OK 路径，不扩大成整套 Spawn 队列长期结论。

主要错误码分支

ERR_BUSY-4 ERR_NOT_ENOUGH_RESOURCES-6 ERR_INVALID_ARGS-10 ERR_NAME_EXISTS-3 ERR_RCL_NOT_ENOUGH-14

主要 API

spawn.spawnCreep(body, name, opts?)

可用工具

Spawn 队列与替换规划器 →Creep 身体计算器 →Market 与 Terminal 成本计算器 →房间运行诊断 →

Controller 快降级或升级异常

部分覆盖

目标证据Live multi-tick

当前 accepted 证据Console · 1/3 个返回码分支

覆盖目标

把 Controller、Upgrader、供能 Link/运输与 ticksToDowngrade 放到同一条多 tick 证据链。

下一步应采集的证据

记录 upgradeController() 返回值、Upgrader Energy、Controller 进度、ticksToDowngrade 与供能侧状态的连续变化。

主要错误码分支

ERR_NOT_IN_RANGE-9 ERR_NOT_ENOUGH_RESOURCES-6 ERR_INVALID_TARGET-7

主要 API

creep.upgradeController(controller)link.transferEnergy(target, amount?)

可用工具

Controller 降级与 Upgrader 规划器 →房间运行诊断 →Creep 身体计算器 →Market 与 Terminal 成本计算器 →

Link 不传能量

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据 · 0/4 个返回码分支

覆盖目标

覆盖 cooldown、发送方库存、接收方容量与真实 transferEnergy() 返回值，并验证下一 tick 两端 Store。

下一步应采集的证据

优先采集发送 Link/目标 Link 的 Store、cooldown、返回码和下一 tick 状态，避免只靠截图判断。

主要错误码分支

ERR_TIRED-11 ERR_NOT_ENOUGH_RESOURCES-6 ERR_FULL-8 ERR_INVALID_TARGET-7

主要 API

link.transferEnergy(target, amount?)

可用工具

房间运行诊断 →运输吞吐规划器 →Creep 身体计算器 →Market 与 Terminal 成本计算器 →

Market 交易失败

未验证

目标证据Console

当前 accepted 证据暂无已接受运行时证据 · 0/2 个返回码分支

覆盖目标

先用受控 Console 场景确认参数、Credits、Terminal 与交易 Energy 成本边界，不把一次交易扩成市场策略结论。

下一步应采集的证据

优先采用低风险、可撤销或只读检查；需要真实交易时只验证明确的最小场景并记录限制。

主要错误码分支

ERR_NOT_ENOUGH_RESOURCES-6 ERR_INVALID_ARGS-10

主要 API

Game.market.deal(orderId, amount, roomName?)Game.market.createOrder(params)terminal.send(resourceType, amount, destination, description?)

可用工具

Market 与 Terminal 成本计算器 →Creep 身体计算器 →房间运行诊断 →

CPU 使用过高

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据

覆盖目标

用多 tick CPU/bucket 与热点测量证明性能问题和改动效果，而不是用单 tick 总量下结论。

下一步应采集的证据

记录 Game.cpu.getUsed() 分段数据、bucket、工作规模与改动前后多个 tick 的对比。

主要错误码分支

这条路径没有单一错误码可以定义。

主要 API

Game.cpu.getUsed()PathFinder.search(origin, goal, opts?)

可用工具

房间运行诊断 →

资源运不过去

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据 · 0/5 个返回码分支

覆盖目标

把 withdraw/pickup、移动、transfer 与源/载体/目标 Store 串成完整多 tick 物流证据链。

下一步应采集的证据

分别保存 withdraw、pickup、moveTo 与 transfer 返回值，并连续记录 source、Creep、destination Store，定位物流链真正断在哪一步。

主要错误码分支

ERR_NOT_ENOUGH_RESOURCES-6 ERR_FULL-8 ERR_NOT_IN_RANGE-9 ERR_NO_PATH-2 ERR_TIRED-11

主要 API

creep.withdraw(target, resourceType, amount?)creep.pickup(resource)creep.transfer(target, resourceType, amount?)creep.moveTo(target, opts)

可用工具

运输吞吐规划器 →房间运行诊断 →Creep 身体计算器 →Market 与 Terminal 成本计算器 →

Builder 不建造或不维修

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据 · 0/4 个返回码分支

覆盖目标

覆盖 build()/repair() 的返回值、WORK、Energy、目标类型与后续 Construction Site progress / structure hits 变化。

下一步应采集的证据

记录 build/repair 返回值、Creep Energy、WORK 部件、目标初始状态和至少一个后续 tick 的 progress 或 hits。

主要错误码分支

ERR_NOT_IN_RANGE-9 ERR_NOT_ENOUGH_RESOURCES-6 ERR_INVALID_TARGET-7 ERR_NO_BODYPART-12

主要 API

creep.build(target)creep.repair(target)

可用工具

Creep 身体计算器 →房间运行诊断 →Controller 降级与 Upgrader 规划器 →Market 与 Terminal 成本计算器 →

Tower 不攻击、治疗或维修

未验证

目标证据Live multi-tick

当前 accepted 证据暂无已接受运行时证据 · 0/2 个返回码分支

覆盖目标

覆盖 Tower attack/heal/repair 的返回值、Energy、目标与后续状态；距离只作为效果计算因素，不替代真实运行证据。

下一步应采集的证据

优先使用可控维修或治疗场景记录动作返回值、Tower Energy、目标 hits 与后续 tick；攻击场景只在自然出现且可明确记录时补充。

主要错误码分支

ERR_NOT_ENOUGH_RESOURCES-6 ERR_INVALID_TARGET-7

主要 API

tower.attack() / heal() / repair()room.getEventLog(raw?)

可用工具

Tower 伤害、治疗与维修计算器 →房间运行诊断 →Creep 身体计算器 →Market 与 Terminal 成本计算器 →

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具

覆盖目标

下一步应采集的证据

主要错误码分支

主要 API

相关对象 Hub

可用工具