context-infra 检查与复盘infra.guiming.net · 全内容自包含呈现 · 生成于 2026-07-21 16:28 UTC

workflow_landing_to_production

Z3 全文↑ Z2 条目

道-方法 · 道层 skill 全文

← 返回道层 skill 索引 · 返回方法论区

本页是 <code>rules/skills/drafts/workflow_landing_to_production.md</code> 的逐字投影（仅隐私清洗，零改写）。

时点提示：本页是仓内文件 rules/skills/drafts/workflow_landing_to_production.md 的逐字投影（仅做隐私清洗：仓库根绝对路径→相对路径、家目录→~/；除此零改写）。若源文件后续有修订，以仓内真源为准。

报告元数据（frontmatter）
name: workflow_landing_to_production
status: draft (Beta) — 2026-06-04 吸收 landing 诊断 + DL-02 创建协议; 晋级前需真实 PROMOTE-ONE 跑通 ≥1 个 draft
description: 把『设计了 / 半成品 / draft』状态的资产(skill / 工具 / 方法 / 调研结论)真正推到 production 级，并判断一个产物到底有没有 landed(而非仅文件存在)。也讲『道(判断)与术(技术实现)如何配合完成整个工作』。触发场景：用户说『把 X 落到实处 / 推到生产级 / 创建一个能用的 X』、或要判断某产物是否真完成、或要把一堆 draft/bounded 收口。

落到实处：draft/partial → production

道 skill。结果确定性优先；实现交 Codex；工具按名引用(路径查 tools/INDEX.md)，skill 按名引用(查 rules/skills/INDEX.md)。

这个 skill 本身就是『落到实处』的样本——所以它短、讲怎么做、用真实例子，不堆背景/正交性 boilerplate。

目标（一句话）

让一个产物从『设计/半成品』经一个可机械验证的晋级门真正进入 production，且『landed』的判据是消费链被真实走通，不是文件生成了或命令返回 0。

验收（无上下文 agent 可自判 landed 没 landed）

一个产物算 landed，当且仅当：

任一不满足 → 还没 landed，按下面的 next reaction 走，不许声称完成。

确定层 ↔ 语义层（吸收 2026-06-04 诊断）

2026-06-04 诊断 adhoc_jobs/landing_requirement_decomposition_20260531/meta_analysis_20260604/DIAGNOSIS_order_intake_insight.md 给出的根因是：agent 稳定地建确定层（有机械完成信号的东西：文件存在、exit 0、注册行、骨架生成），也稳定地跳过语义层（没有机械完成信号的东西：何时用、怎么填、填到什么算完、有没有被消费）。没有外部误差信号时，agent 会朝有信号的一侧 satisfice，所以空骨架也能过形式闸门。T660 / T631 是样本。

因此，落地一个语义层资产时，必须同时配一个机械、独立、可操作的误差信号。形态通常是共生检测器：确定性壳检查结构层，第二 agent regulator 检查语义层，失败安全地把 UNKNOWN 当 FLAG。landed 不是心算清单，而是 landing_gate 对四条件的验证结果：运行证据、注册、git-tracked、下游引用，且 regulator 判引用是真消费边、claim 没偷换 frame。

Part 1 — 怎么把 draft 推到 production

状态机：raw draft → tested(真实条件 A/B 判 D/I/W) → beta/candidate(候选池+棘轮) → production(rules/skills/ 顶层，人确认 + 走 workflow_version_evolution)。

过渡期缺口登记纪律（横切 XC-46，与 UP-17「严禁交付 MVP」正交——UP-17 约束终态交付，本条约束过渡期使用策略）：未到 production 的资产（MVP / bounded / partial）可用即用，不必等做完才让下游用；但必须显式登记缺口，不允许缺口隐性污染下游消费方。可机械核验的登记面：① 缺口进 todo intake（缺口原文入 --verbatim、锚入 --source-anchor、--label 隔离；注：todo.py 的 gap_refs 是 design-register 事件的内部字段，intake CLI 无 --gap-refs 参数，不要照此写命令）；② 状态用 contracts.py 的 GapState（satisfied/partial/unmet/blocked/deferred）与 MaturityLifecycle（draft/beta/candidate/…）如实标；③ 记分牌 gap / todo intake 列 surface 给下游；④ claim ceiling 收到 bounded，收口报告显式列残差，禁以「complete/landed」冒充。判据：一个下游消费方在不读实现代码的情况下，能否从上述任一登记面看到这个资产还缺什么——看不到 = 缺口隐性污染，违反本条。

PROMOTE-ONE 优先（最重要的一条）：不要先建全套 eval lab。先挑一个真实资产端到端推过线，机械件作为副产物长出来。理由是实测的反模式：建完 lab 就停——rules/skills/drafts/ 下 117 本书 0 晋升、3110 个 test-prompts 从没被任何 runner 执行，正是『停在设计不收口』。先 PROMOTE-ONE 天然避开它。

晋级门（→production 前必过；机械实现见 skill_promotion_promote_one，已在真实 loop4 A/B 上跑出 verdict）。判定序，每步可机械执行：

  1. frame 检查——『landed』的靶没被偷换成易过窄靶。真实反例：把『真实触发率』换成『合成 prompt 能触发』(过拟合)、把真实测试搬进 INDEX description(泄题)。
  2. 真实入口重放——按 harness 真实路由(_DAO_ROUTING/INDEX/description)触发，不用为通过构造的友好 prompt。
  3. 读隔离——执行 arm 看不到 judge-only oracle / 答案 / 后续纠错 / reviewer 结论 / 成功叙事。
  4. 确定性 oracle + actionable 信号（承重）——能机械核验的写成 verify_citations.py 式硬 gate(源真相 vs 产物断言)。reject 必须返回可定位反例(source_path + line + 期望 vs 实际 + 复现命令)，不是布尔/评分。1-bit『有错』≈无误差信号，迭代不收敛(实测粗信号 0.444 无改善 vs 具体反例 0.82/0.94)。
  5. 取最弱证据类 → 映射 claim ceiling。只有 solid/cross_validated_task_complete 支持 →production。
  6. 独立 verifier 裁定——判定者是第二个独立智能体(非实现 arm；Codex 实现→另一 agent 或确定性 gate 验收)。综合多源套防从众封顶：不可验证综合 ≤ bounded。
  7. next reaction——未达则 continue_next_case / redesign_test / rerun_without_leakage / downgrade_claim / await_user / block。禁止单个 primary case 自动升级成 closure/promotion。
  8. 镜像条款——判『没 landed/blocked』也要对称举证：单负信号 ≤ observational；broad fail 需第二信号或 live 全仓 find/grep 核验。

棘轮：只升不降，退步用 git revert(不用 reset)。自动 keep/revert 只在 beta/候选层动；production 写入永远经人 + SOP。
单一可编辑资产：一次只改一处，改进可归因。

落地 skill 创建协议（DL-02 / 横切 XC-14：分步、多 prompt、结合思考）

后续创建具体落地 skill 时，按下面的有序多步引导执行。这是 DL-02 要求的「涉及很多各自 prompt 的分步引导」，位置必须靠前，因为后续 phase 要消费它；如果信息不足，先补新调研再写 skill。

横切需求锚 XC-14（cross_cutting.md，provenance REQUIREMENTS_ORIGINAL_TEXT.md:403 DL-02 session 1e6fa3cc）三分句在本节各有落点：(a)「单独记录为需求」= 已记为 XC-14；(b)「放 Execution Order 靠前 phase」= 本协议自带一条排序纪律：创建落地 skill 时要把它排在靠前 phase（表述见本节开头「位置必须靠前，因为后续 phase 要消费它」）。这是协议里的纪律声明、意图达成，不是指某个 EXECUTION_ORDER 文件 §X 的字面放置——落地 skill 一旦按本协议创建即照此纪律排前，审计请核这条纪律在场、勿按字面去 EXECUTION_ORDER 追行；(c)「互相联动形成 Solid 处理机制」= 本节末尾把晋级门 / landing_gate / dispatch / 报告 / 检测器串成一个 Solid 机制那段。

  1. 先聚知识 / 调研：读本轮诊断、相关旧需求原文、既有资产和已验证实例。信息不够时先做新调研，不直接写 skill。
  2. 写语义层 skill：定义判断纪律和完成判据。判据要具体到一个无上下文 agent 能判断完没完；区分道 / 术，别只写愿望词。
  3. 配确定性检测器：确定性壳判结构，第二 agent regulator 判语义，输出可操作反例并 fail-safe FLAG。检测器遵循 workflow_complexity_drift_detection V1-V6：V1 确定性判别力，V2 硬负样本，V3 可操作反例，V4 第二独立 agent，V5 通用谓词，V6 诚实边界。
  4. 交 Codex 实现：实现全部代码和文件编辑，结构照已验证检测器，不让执行者自评当 oracle。
  5. 主 agent 亲跑亲读：亲跑确定性 exit code，亲读代码核 V4/V5，再用一个 Codex 没写过的 held-out 场景独立核 regulator。
  6. 注册 + 落盘 + RPT-01 + landing_gate 收口：更新 _DAO_ROUTING / INDEX / tools/INDEX.md，写报告，最后用 landing_gate 检查四条件。通过前只说 bounded 实现，不声称 landed。

这套协议把晋级门、landing_gate、dispatch、报告和检测器串成一个 Solid 机制：语义 skill 负责怎么想，确定性工具给误差信号，第二 agent 给语义反例，报告留下证据，landing_gate 收口。

Part 2 — 道→术 怎么配合完成整个工作

区分判据（两条正交轴，都要用）：

配合机制（用现成的，别重造）：单点路由查 _DAO_ROUTING.md(L1)；多环节编排查 workflow_guidance_skill_matrix(L2，7 工位首尾相接 + 共享状态对象 + reviewer roster)。5 个道 skill 填这 7 个工位，workflow_real_task_test_case_design 横切验证环节。

已知缺口（北极星，本 skill 不建）：matrix 是静态路由表，不做调度执行。从『道层出 judgment』到『术层 runtime 接手』之间缺一个可执行 adapter(把道层的 per-role 注入契约自动实例化成 workflow_controller_loop 的任务卡)。那是通用 Phase 编排层(Layer 3 北极星)，不在本 skill。本 skill 只给区分判据 + 指明这个缺口，配合仍靠人/Opus 按 L1/L2 路由手动接。

已知陷阱（真实发生过的，不是臆测）

边界（不做什么）

工具 / skill（按名引用）

跨域根与联系

← 返回道层 skill 索引 · 返回方法论区