OFFSET偏移
← 返回作品星系

PROJECT 03 / Agent 工作流

some-NixOS-skills

检查通过,
然后呢?

将求值、构建与现场验证拆开,为编程 Agent 定义有证据边界的 Nix 工作流。

THE QUESTION

配置能求值、软件能构建、服务正在运行,是三种不同结论。自动化协作者若用前一层结果代替后一层证据,就容易把尚未完成的任务报告为成功。

拆开这个系统。

结构示意 · 依据公开源码与文档
验证层次每一步,只证明它自己。
能求值EVALUATE
能构建BUILD
正在运行VERIFY RUNTIME
构建结果与现场结果分开记录;激活需要单独授权。

01 / PROBLEM

问题#

配置能求值、软件能构建、服务正在运行,是三种不同结论。自动化协作者若用前一层结果代替后一层证据,就容易把尚未完成的任务报告为成功。

02 / STRUCTURE

结构#

三套 Skills 分别负责通用打包、上游 Nixpkgs 维护与系统管理。它们配有参考文档、结构检查、评估题和来源时效检查,并提供安装入口与 Home Manager 集成。

03 / TRADEOFF

取舍#

用任务分流和验证边界约束执行,不做一键部署器。要求查看实际锁定源码与接口,把激活和部署保留为单独步骤;代价是文档与外部 API 变化后仍需维护。

04 / RESULT

结果#

仓库交付三套可安装技能和 flake 检查入口。公开审阅记录区分来源核对、结构检查与未执行的现场操作,可以直接追溯结论来自哪一层。

05 / SOURCE

源码与证据#

以上说明对应固定版本 2dc36174a7,不代表对所有运行环境的测试结论。

NEXT ORBIT / 下一个作品myNixOSConfig

一个环境,分层表达。