SuperAPI AI 工具集

gm-prd

部署与运维

查看项目

更新于 10-20 09:01

技能介绍

gm-prd 是 gm 工作流下的一个技能,用于关闭单个 PRD 行。其核心模型是“一行一会话”:按固定阶段顺序推进,每个阶段都不是子代理,而是由编排器(orchestrator)在执行器交接后另行派生验证器(verifier)和 CI 通道(lane)。每个阶段会在 .gm/receipts/<row>/NN-<STAGE>.md 写入一个只创建、不覆盖的回执文件;无法运行的阶段必须变成阻塞行 <row>-blocker-<session>,不允许跳过。

用途与定位:gm-prd 是 PRD 解析跟踪器,与节点遍历(gm-orchestrate)相互独立;一行不是节点,也不会改变前沿计数。输入为 row=<id>、session=<SESSION_ID>,可选参数暂未提供。

主要能力与流程:执行器只运行编辑阶段,包括 gm-orient、gm-unknowns、gm-eliminate、gm-edit,并发布自身提交(gm-publish 第 1–2 步),随后交接并结束。验证阶段(gm-validate、PROVE、witness、DECIDE、COMPLETE)和 CI 读取(gm-publish 第 3–5 步)由编排器按交接单独派生,绝不内联执行。SPECIFY(orient)重述行与验收标准,先以字面模式做代码搜索,再做双模式搜索,并对行涉及的函数先做代码洞察;检查引用行是否已失效,并用可变追加方式记录未知项。ELIMINATE 通过实时 JIT 运行逐一消除未知项,只有无未决未知项时才进入 EDIT。EDIT 后经 JIT 运行对照验收标准验证;若出现新未知项或检查失败,则回到 ELIMINATE 再 EDIT。若行主张某原因,需在回执中写入 ACH 矩阵(至少两个假设、证据以派发 id 表示、C/I/N 单元格、领先假设及其探针)。PROVE 运行前置条件、不变式和后置条件;领先假设的探针在此首先运行,若探针无法区分领先假设与次优假设,则记为阻塞行而非通过。EMIT 只做精确匹配编辑,并通过实时入口见证,保留派发 id。STATE、CONC、SEC、RES 分别检查幂等重放、并发写入、安全项和失败模式。DECIDE 对照行文字而非 diff 检查回执与实时见证。COMPLETE 由验证器报告见证;编排器在 witness_dispatch_id_verified 为真且同一 sha 的 CI 通道为绿时调用 prd-resolve。见证必须来自另一会话,自我见证会被拒绝(prd-resolve-self-witness),行保持待处理。

规则要点:写入前先读取;对已存在 id 执行 prd-add 会被拒绝,除非正文带 overwrite:true;见证阻塞行追加到原行文本并保留其主题;绝不用行自身 id 作阻塞行。行 id 必须真实,用 prd-list 查询待处理行,不得臆造。行文件为 .gm/prd/<id>.yml,每行一个文件,可直接人工编辑,写入是对该文件的比较并交换。见证结果不是 PRD 行,每次运行向 .gm/witness-log.md 追加一行(见证、退出码、RESULT 行、UTC、派发 id),父行通过 prd-resolve 引用关闭;同一见证输出 sha256 不得重复绑定。见证默认输入路径不得是机器相关字面量;目标缺失时应打印一行 SKIP/REFUSE 并说明标签、解析路径、来源和配置方法,仅在该显式 SKIP 行存在时以 0 退出,否则属于编造通过。执行器需要行中指明其文件;无文件的行需先以同 id 重新界定范围,找不到文件则记录阻塞行,绝不猜测。阶段回执是证据,工作者结果是到达的阶段、回执或阻塞行、变更文件及后继。执行器在最终 STATUS 行前需关闭自身 Dream-RSI 周期,派发 dream-replay-cycle 并记录派发 id 与状态。执行器不得在行待处理且无阻塞行时返回;最终行为 STATUS: handoff <sha> 或 STATUS: blocked <blocker id>。验证器返回 STATUS: verified <witness dispatch id> 或 STATUS: fix <check id>;CI 通道返回 STATUS: ci-green <sha> 或 STATUS: ci-red <sha> <job>。行仅在编排器同时持有同一 sha 的 verified 与 ci-green 时才解析。

见证经济性:按顺序为最小面、运行消除未知项、定位层、二分、在已提交树上测量、计数单位、大声拒绝、首个通过见证即发布。最小面优先测试能区分假设的最小单元;浏览器最后使用,默认无 GPU 插桩;冷启动和重载是预算,一条回执需说明花费的冷启动与重载次数。永不新增测试文件,用实时见证运行真实模块或 gm 派发并打印其自身结果。浏览器运行需固定适配器、断言 window.__rendererInfo、证明 rAF 不在 16.68 ms 网格上,并执行争用条;受污染运行以 RESULT: REFUSED(退出 3)发布。干净基线用 git archive 而非第二份检出;在争用机器上计数单位优于计时。每个插桩需双向验证:强制条件并显示数字变化后才可引用。无法引用的数字打印 RESULT: FAIL 或 RESULT: REFUSED 并以非零退出;被反驳的原因要写在下一条通道能读到的地方。

限制与缺失事实:该技能深度绑定 gm 工作流及其工具(gm-orient、gm-edit、gm-publish、prd-add、prd-list、prd-resolve、ci-status、gm_codemode 等),依赖 .gm 目录结构和 GitHub Actions;具体安装方式、收费、平台支持范围暂未提供。