Test Result Feedback

输出契约（机器判据按这个复验，别自由发挥格式）

旧判据是「正文里出现过 failedNames/regressions/--json 这几个词」——一篇没跑过 apc test、字段名全靠背的报告照样满分，而且字段名记错也照绿（doc12 实测到的漂移：TierResult 根本没有 command 字段，但 doc 写了、判据也不在乎）。现在判据（cited-evidence）把报告里每条 path:line 读回磁盘复核，并要求你把消费的字段名钉到真实产出方的真实行上。

⚠️ 但 cited-evidence 管不到本 skill 最承重的那件事（2026-07-26 实测坐实）：把一份逐字真实、引用全对的报告里两条真红改判 passed，其余一个字不动 —— 旧的 7 条判据给 7/7 全绿。引用真实性与 outcome 真实性是两回事，而本 skill 存在的唯一理由恰恰是后者。故新增下面的 ③（json-claim，与 test-runner 同一 checker），把「红不软化」「env_blocked 不计产品红」两条纪律从措辞检查升级为机器判据。

① 字段锚点声明（一行；符号会被复核确实出现在该文件里）：

CHANGE-POINT: failedNames @ scripts/test203/run.ts

scripts/test203/run.ts 是 TierResult JSON 的真实产出方（apc test 只是包装它）。开工先取证据集：

rg -n failedNames scripts/test203/run.ts     # 你的证据集；表里的引用从这份输出里抄

② 映射表（markdown 表，首列是 path:line）：每行把一条 criterion 类别映射到 outcome，并用一条真实命中行把该行的依据钉住。判据要求：≥3 行带可复核引用，且**≥2 条引用所在的那一行真的含 failedNames**（"真实存在的行" ≠ "真实的搜索命中"）。

| path:line | criterion-class | TierResult fact | outcome | evidence ref |
| --- | --- | --- | --- | --- |
| scripts/test203/run.ts:344 | 覆盖用例全绿 | 不在 failedNames / regressions[] | passed | taskRun:<id> |
| scripts/test203/run.ts:382 | 覆盖用例进 regressions[] | 新增红 vs baseline | failed | asset:<id> |

引用写法三条（判据按这个复核，写错会把如实的报告判红）：

1. 必须 repo-root-relative：写 scripts/test203/run.ts:344，不要写简写 test203/run.ts:344，也不要写绝对路径。
2. 计数不是行号：rg -c 输出的 path:12 是"12 个命中"，要引用就写 count=12。
3. 散文里出现的 path:line 一样会被复核——报告里任何一处 path:line 都是一次声明；贴失败堆栈时注意里面的相对 file.ts:line 也算数。

这条判据管的是「你消费的字段名是真的、你的映射依据可回溯」，不替代下面的落库 oracle——outcome 是否真落库仍以 cloud task acceptance 回读为准。

③ 原始产物 + 两行判定声明（json-claim 复核；这条是本 skill 的承重判据）

把你消费的那份 TierResult 原样贴进一个 fenced JSON 块（就是 apc test --json 的 stdout，别摘录、别改写），checker 会重新解析它，然后核对下面两行：

TIER-EXIT: 1
FEEDBACK-VERDICT: sut-red

• TIER-EXIT 必须逐字等于产物里的 exitCode。叙述与产物对不上即红。

• FEEDBACK-VERDICT 不是你的判断，是从 exitCode 派生的，只有三个合法值：

  exitCode	唯一合法的 FEEDBACK-VERDICT	它挡住的事
  0	all-covered-criteria-passed	—
  1	sut-red	把真红叙述成绿（本 skill 的头号禁令）
  78	env-blocked	把环境故障冤枉成 SUT 红

  写 1 却声明 all-covered-criteria-passed ⇒ 红。写 78 却声明 sut-red ⇒ 红。这两条以前只是正文里有没有出现「不软化」「env_blocked」这些词，现在是算术。

同时被复核的还有：schema 必须是 test203.run/v1；exitCode ∈ {0,1,78}、envStatus ∈ {ok,env_blocked}；每层 passed+failed+skipped == total 且 failedNames.length == failed（per-tier 算术）；exitCode=78 ⇒ envStatus='env_blocked'、exitCode=0 ⇒ regressions 为空（exit-code 契约）。

诚实边界（沿用 json-claim 自己的声明）：一个肯读 baseline 与 tier 清单的伪造者，仍能手工拼出一份自洽产物——没有任何本地工件是不可伪造的。这条判据杀掉的是廉价伪造（编数字、叙述压过产物、拿旧产物冒充本轮），与其余 checker 同一档次。逐 criterion 是否真落库，仍以 cloud task acceptance 回读为准，判据不替代它。

产出（副作用 oracle，报告里必须给）

1. 每条 criterion 的落库 outcome 行：cloud task acceptance 回读，status 从 pending → 上报值（passed/failed/n/a），这是真值——不是 agent 说"我报了"。
2. 证据 ref 已挂：每条报出的 criterion 带非空 evidence（taskRun: / asset:），可回溯到本轮 TierResult。
3. 红如实落红：TierResult 里的 SUT 红对应的 criterion 是 failed（不是被软化成 passed）。

不许：把 SUT 红判成 passed（红是发现）· 把 env_blocked（exit 78）计成 SUT 红 · 断言聊天文本而非 TierResult 结构字段 · 空口判绿（passed 无证据 ref）· 拿旧 probe/上一轮产物冒充本轮证据。

PKF 直写（研发回环 · doc07 §B2 写入点①）

产出时机：逐 criterion 回流落库后，把这轮 TierResult 的结论直写成一张 PKF 记忆页（pageType=decision）——同一页既是回用户侧的富报告，也是可召回的记忆页。这与经验抽取（durable 教训走 memory skill 的 CONSTRUCT→PLACE→WRITE）是并存的两条边，不互相取代（doc07 §B1）。这条直写不改上面逐 criterion 回流的任何一步，是回流之后的一次投影。

语法照 pkf-writing skill——本 skill 不再内嵌语法骨架（frontmatter / typed link / 数据块写法都在那边）。写入面不新造：code agent 走 prismer memory write（SS-14 §4.3 appendix；hermes 侧是 native memory_write）。

声明（doc10 §2.5 格式，报告末尾一行）：

PKF: prismer://workspace/<ws>/memory/<path>

写入面不可达时如实声明 PKF: none — 写入面不可达（<哪一条>），绝不允许为了满足规则而假装写了。

回读：声明后必须回读该页（pkf_read / memory read），确认真实存在、正文非空且与结论一致（contradicts 只在本轮结论推翻了某条既有决策时才加，指向那条决策页）；typed link 的 prismer:// 目标必须真实存在（validator 规则 2c/4 挡 invalid-prismer-host），无对应页就删该 link 行、宁缺勿造伪目标；写入自动挂 INDEX 反孤儿锚（SS-14 §4.2），优先 edit 既有页而非 dump 新叶（PLACE 治理照走）。

<!-- APC-ACK:v1 -->

调用回执（APC 平台方运营纪律 · 自动注入，勿手改）

执行本 skill 的第一步，先落一条调用回执：

cloud skill ack test-result-feedback --task "$PRISMER_TASK_ID"

按退出码分流（这条命令的退出码是承重信息，禁止用 || 兜底、; true、 set +e 或重定向把它抹掉）：

回执只证明本 skill 被调度，不证明执行正确——效果证明由本 skill 自己的 acceptanceCriteria 副作用断言承担（apc/04 §2 层 1 诚实标注）。

<!-- /APC-ACK:v1 -->