Skip to content

validation.md

Latest commit

 

History

History
33 lines (24 loc) · 4.26 KB

validation.md

File metadata and controls

33 lines (24 loc) · 4.26 KB
Raw

实际验证（2026-09-07）

Rigor 2 已在本地重建，核心是标准库 CLI、五个按需 Skill、短生命周期 Hooks、共享工程/文献/记忆细则，以及全局与深度学习项目 AGENTS 模板。没有覆盖现有全局配置、DualCMP、旧副本或已安装插件。

已执行

  • PYTHONDONTWRITEBYTECODE=1 python3 -m unittest discover -s tests -v：28 个场景通过。覆盖真实 subprocess 退出/断言、source/output 变动、旧指标和 NaN、冻结检查、session 迁移、输出归属冲突、SIGKILL 后恢复、HTTP 实际取源、search 非 fetch、预留后清理、原有/未知/symlink/hardlink/被引用权重保留、agent cap/fresh argv/native binding、非验收型任务不报告验证通过、Hook JSON 协议、记忆初始化不覆盖、包与链接。
  • 分发包 build/rigor-2.0.0.tar.gz 已实际解压；其小写 rigor 根目录通过官方插件校验。临时解压目录已清理。
  • 官方 plugin-creator/scripts/validate_plugin.py：通过；五个 Skill 均通过官方 skill-creator/scripts/quick_validate.py。校验器在系统 Python 3.12 + PyYAML 6.0.1 运行；核心不依赖 PyYAML。
  • scripts/check_skill_trace.py --self-test：通过。它是行为轨迹评分器，不是语义正确性证明。
  • PaperMeld --help：本机存在 search/verify/bootstrap/ingest/link-code 等入口；没有修改真实论文库，也未把真实 PDF 转换列为已验证。
  • 一次新 codex exec，请求 Luna/medium、无父会话、关闭本次 memories/multi_agent，在临时项目发现并读取 rigor-task，修改已知 off-by-one，真实断言通过，未创建 HANDOFF/MEMORY。临时项目由测试工具清理。见 host-smoke.json。这是本地 Skill 发现测试，不是插件安装或自动 Hook 激活测试。

新会话回执：input 78,280，cached input 68,352，output 880（其中 reasoning output 156）。这是该次调用的返回字段；没有无 Rigor 的同验收基线，也没有 Lead 全程成本，因此不能据此宣称节省 token。新会话仍可能加载系统/项目/插件元信息，不能称“零上下文”。请求的模型/effort 与服务端实际执行身份分开描述。

独立审查后的修正

  • 用准确路径预留和跨任务输出归属代替“启动时不存在即属于本任务”的推断；未知外部文件不被自动接管。
  • Linux 恢复核查控制进程与进程组，孤儿 run 只标失败，不能恢复成成功。
  • 搜索结果不能登记成已打开来源；缺 Hook 取源回执时使用受控 HTTP fetch。
  • Native implementer 有明确请求参数、bind 与 close；误用只读 exec 路线不遗留未关闭 assignment。
  • 已验证后精确清理的可丢弃输出保留指标/指纹回执，完成流程可以正常终止；未知删除仍使验收失效。
  • 普通断言检查允许没有文件输出；无声明 checks 的管理型 task 关闭时明确 validation: not-verified，不伪称验收完成。

尚未建立的保证

  • 没有在本轮替换已安装插件或验证宿主自动加载所有 Hook 事件；已验证的是 Hook 程序真实 JSON 协议与场景输入。Code-mode 内部工具、未知 MCP/任意 shell 内部操作不构成完整拦截面。
  • Native 子智能体请求与记录不能替代 OS 权限或后端模型回执。实际自动绑定事件的 host ID 差异仍需安装环境回归。
  • 控制器在记录子进程身份前异常退出时，自动恢复拒绝猜测；核查 OS 与日志后可显式 --confirm-stopped 恢复为失败，回执区分人工确认。清理是 POSIX 精确文件操作；Linux /proc 才支持进程身份恢复。外部进程不受 Rigor 预留机制沙箱限制；预留不证明任意外部写入的创建者。native close 依赖 Lead 先核实宿主完成/中断，不能冒充自动存活检测。
  • 本地测试证明通用任务机制，不替代项目真实训练、完整 split/DDP 指标验收、真实 PDF converter 或语义记忆审计。
  • CI 配置保留为 Ubuntu/Python 3.10、3.12；本轮未执行远端 GitHub Actions。完整插件自动触发与跨平台运行不能从本地单测推导。

后续安装应使用当前官方 plugin CLI/UI，确认 Hook 信任，开新会话验证启用路径。不要为让测试变绿而修改全局配置或隐藏上述边界。