Repository navigation
task: S01 — skill-eval 四文件族按 D008 拆分并删除残差 #410
Description
已确认实施方案：用户于 2026-11-12 11:35–11:36（北京时间）确认综合推荐，并要求快速、干净切换。
- 目的：按函数归属拆
skill_evaluation、skill_eval_diagnostic、skill_eval_engineering、improvement；删除唯一残差边，并去掉门禁里的残差豁免机制。 - 迁入或删除：H 保留宿主适配、执行/留存/事实解析；B 接收
valid_checks/task_verdict/summarize及同族纯判定；Apps 接收export_bundle与组合式入口。同步 tools、CONTROLLERS、tests 与文档。删除REGISTERED_RESIDUALS及豁免代码，测试改为断言“没有残差”。不在harness/留会形成 H→B/Apps 的壳。 - 前置：H02；main 上已有
apps/（Publish standardized Apps run output #397）。benchmark/由 B01 或本 PR 先到者创建。 - 验收：残差边消失；
skill_evaluation → infra.artifacts及经 improvement 的路径消失；在 B01 与 H02 都已合入时，harness reaches model/infrablocker 消失；同一夹具下 trial 记录字节不变；skill-eval workflow 与历史回放通过；overall 仍为 false（allowlist 仍在）。 - 明确不做：只删注解的捷径、改 K 代码、删壳、B 正式生产协议。
- 沙箱 helper：归本 S01，在 H02 已迁入的进程控制域上构建，不扩入 H02。
合入后 overall isolation_complete 必须仍为 false。
关联架构总题 #387、Apps 设计 #371；#389 是当前清单与 observability 来源，#398 为已合入 H01，#397 保持纯 Apps 标准输出且只读不扩范围。
Activity
amy-why-3459 commentedon Nov 12, 2026
谢谢，S01 的拆分边界写得很具体。有一处前置事实需要更正，另有两点建议：
apps/（Publish standardized Apps run output #397）"与现状不符。 Publish standardized Apps run output #397 目前仍是 Draft，未合入。我核对了当前 main（e2f4cd1e），src/inferrsi/apps/不存在。S01 要把export_bundle和组合式入口放进 Apps，就依赖 Publish standardized Apps run output #397 合入以及 task: Apps 应用层详细设计与迁移计划（CLI / Python / Plugin） #371 接受 Apps 路径。请把这条改成显式前置条件。REGISTERED_RESIDUALS目前在tests/_gate_policy_support.py。删除豁免后，建议在门禁测试里保留一个反例：人为加回一条skill_evaluation → infra.artifacts边时，门禁必须失败。这样"没有残差"才不是空断言。valid_checks/task_verdict/summarize之后，如果判定结果的字段顺序或浮点格式有任何变化，都会体现在字节比对里，这正是这条验收要守住的。Merge branch 'main' into impl/s01-skill-eval-split
skill-eval: split the four-file family by function owner and drop the…
docs: add a reviewer-reproducible S01 evidence pack for PR 437
docs: attach PASS-host preflight-diag output for PR 437
docs: make S01 trial-bytes acceptance portable and record failing-hos…
Dong1017 commentedon Nov 14, 2026
S01 验收范围决定：接受拆分后收窄的
grader_sha256覆盖范围，以及对拆分前旧 bundle 的明确拒绝。历史版本 PASS、当前版本拒绝旧 bundle、非官方探索回放须分别记录，不互相替代。正式新计划导出及 main-only 回放安排在合入后执行；合前不触发，不宣称 410 已完成。通过主机与受 NETLINK_ROUTE 权限限制主机的资格结果继续分开记录，不放宽 sandbox。
请基于这一明确范围复审 PR 437。
Dong1017 commentedon Nov 14, 2026
补充决定人与时间记录：上述 S01 验收范围决定（https://github.com/InferMatrixLab/InferRSI/issues/410#issuecomment-6883445793）由我（@Dong1017）于 2026-11-15 04:04（北京时间，Asia/Shanghai）在本聊天中明确批准，并于同日 04:04:23（北京时间）发布。我于同日 04:19（北京时间）再次明确同意补记此记录。
此条只补记决定人与时间，不修改该决定内容，不宣称 #410 已完成。
skill-eval: split the four-file family by function owner and drop the…
Dong1017 commentedon Nov 15, 2026
Closing the bounded S01 migration slice delivered by PR #437. Fresh post-merge baseline/candidate captures were generated once each on the separately authorized native Windows Fable producer and exported as data-only evidence.
The main-only replay passed on unchanged main
36440109. The retained hosted receipt confirms sandbox qualification PASS, the bad-starter negative control rejected as expected, and both parsers passing all 19 public checks.Historical PASS, rejection of the old bundle and this fresh replay remain separate evidence. This closes the bounded migration/replay delivery, not a claim of skill efficacy or production qualification. Overall
isolation_completeremains false.