skills(pm-dispatch): a zero-hit control must be scoped to the claim's own subject or the zero is void

The zero-hit rule bound the control to HIT, not to be SCOPED to the claim:
a control that proves the instrument works while pointed at a different
corpus, path shape, module/package boundary or quoting returns a reassuring
answer that survives review. The rule now says the control shares the
claim's subject and its failure mode (a wrapped phrase needs a wrapped
control), or the zero is void rather than negative.

SKILL.md :161 gains the clause across two lines, paid by merging the two
timestamp lines (:164-:165) into one inside the same section (812/812).
core-rules.md :45 carries the same clause in one line; its unreachable-repo
half moved onto the origin/main line (:44) to keep 151/151. os-dev.md :54
gains the same scoping in one clause (403/403).

Co-authored-by: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MCLBsUgfykL74aU716rzVK

Author: claude

.claude/agents/os-dev.md

@@ -51,7 +51,7 @@ model: opus
    - 通道先探后选:同容器先测一条 repo-scoped REST 读;通 ⇒ 走 REST 列表端点 + 本地 grep。
    - 通道对照表见 `.claude/skills/pm-dispatch/references/rest-channel.md`,其 ✓ 按座位实测。
    - 403 ⇒ 改用一次定向 MCP `search_issues`,并在报告申报换道。
-   - 空结果要同会话一个已知必中的控制词答了命中才算读数。
+   - 空结果要同会话已知必中、与主张同主体同失效形态的控制词答了命中才算读数。
    - ⛔ 哪条通道都不宽表扫(全量翻页 `list_issues`、宽词搜):定向一击是上限。
    - 大宗读走零配额档:公开仓单卡网页内嵌 JSON payload 载原始 body + 全评论。
    - 其拼写与边界住 platform-readings;它只覆盖单卡读,⛔ 不拿它做 search。

.claude/skills/pm-dispatch/SKILL.md

@@ -158,11 +158,11 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报
 - GitHub API 与工具行为的实测事实表在 `references/platform-readings.md`,做对应操作的那一刻查阅。
 - 核验 main 用 `origin/main`:先 fetch,再 `git grep PAT origin/main -- PATHS` 或 `git show origin/main:PATH`。
 - ⛔ 不用共享检出的工作树核验 main,它的 HEAD 由别的 agent 摆布。
-- 零命中必须用确定存在的邻近词反查,否则零命中不成立。
+- 零命中须用确定存在的邻近词反查;控制词须与主张同主体,否则该零作废,不是阴性。
+- 同主体 = 同语料、同路径形、同包界、同引法、同失效形态:跨行短语配跨行控制词。
 - 仓不可达 ⛔ 不当查过了干净:在 issue 上贴出给对应座位的现成命令,等读数回贴再派。
 - 板面/树/队列读数恒带 UTC 取数时刻;认领、派发令、复核、轮报与座位贴皆同。
-- 时间戳形如 `YYYY-MM-DDThh:mmZ`,树读数另带 ref 或 tip。
-- 无时间戳的读数是格式错误不是现值,读者按未取处理。
+- 时间戳形如 `YYYY-MM-DDThh:mmZ`,树读数另带 ref 或 tip;无时间戳的读数按未取处理。
 - 失效修法按序取:先删容许出错的构造,再让正确形态成唯一拼写,最后才加检查。
 - 自设定时器的文本以先重读状态开头,只写关键判据(若 X 则 Y),其余指针化。
 - 定时器文本 ⛔ 不写结论、不含未经重读即可执行的祈使句。

.claude/skills/pm-dispatch/references/core-rules.md

@@ -41,8 +41,8 @@
 - 标签写恒为读现值、增删目标、写合并集、回读比对四步,缺项即重挂,闸门标签同此。
 ## 平台读数纪律
 - 判据取命令输出,⛔ 不取 API 字段字面值、不取本地工作树、不取看着相邻的日志。
-- 核验 main 用先 fetch 后的 `origin/main`,⛔ 不用共享检出的工作树。
-- 零命中必须用确定存在的邻近词反查才成立;仓不可达时 ⛔ 不得当成查过且干净。
+- 核验 main 用 fetch 后的 `origin/main`,⛔ 不用共享检出树;仓不可达 ⛔ 不当查过且干净。
+- 零命中须用必中词反查,且与主张同语料/路径形/包界/引法/失效形态,否则该零作废。
 - 板面、树与队列读数一律自带 UTC 取数时刻,无时间戳的读数按未取处理。
 - 失效修法按序取:先删掉容许出错的构造,再让正确形态成为唯一拼写,最后才加检查。
 - 自设定时器的文本以先重读状态开头,只写关键判据,⛔ 不写可直接执行的祈使句。