design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化

[loning]

来源

#110 v1.0「泛化最后一公里」候选 A。下游项目要"copy host.env.example → 填值 → 跑",前提是 example 覆盖所有 $HOST_* / 必填 var 且每条有注释。

范围(待 Phase 9)

• host.env.example 补全:所有 SKILL.md「Host 配置」表 + 「Host language policy」表里的 var(REPO_ROOT/GH_REPO_SLUG/INTEGRATION_BRANCH/REVIEW_BASE_BRANCH/PROJECT_RULES/BUILD_CMD/TEST_CMD/CI_GUARDS/SOURCE_GLOBS/MAINTAINER_WHITELIST/HOST_* 等),required vs optional 标注,空值行为注释。
• 文档化 install / uninstall one-liner(statusline 一行、restart-daemons cron/launchd 一行),host-agnostic。
• source-regression:断言 example 含全部 SKILL.md 列出的 var key,漏一个即 fail(防 example 漂移)。

边界

不引入 host fact;example 是模板不是事实源。

⟦AI:AUTO-LOOP⟧

[loning]

🔍 Phase 9 r1 启动(v1.0 泛化 A — #110 第一优先级)

派 minimal/structural/delete 三独立 solver:host.env.example 补全 + install/uninstall 一致性。三角度互不可见,各自独立得出方案,再由 meta-judge 收敛。

⟦AI:AUTO-LOOP⟧

[loning]

🤖 minimal solver: host.env.example 补全走最小文档+回归测试

TL;DR

• 这是什么:minimal solver 对 design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 的独立方案。
• 结论:建议只改模板、SKILL 文档和 source-regression,不新增 schema/installer/runtime。
• 下一步:controller 收集另外两个 solver 后交给 meta-judge 收敛。

---

详细说明

我核对了 issue 正文、 Host 配置表、当前 、statusline/restart helper 安装段和相关测试。当前变量大多已经存在,违规点更窄:模板没有把 required/defaulted/optional/empty behavior 统一成可复制契约,install/uninstall one-liner 分散且没有被同一类 source-regression 防漂移。

最小计划触及 5 个文件,估算约 +65/-15 LOC:重排 注释分组,在 补 statusline 与 restart helper 的 install/uninstall one-liner,再扩展 3 个现有测试文件。无需改 ,也不需要新增 installer script 或 host env schema。

---

📎 完整 codex 原始输出(存档备查)

---

solver: minimal
issue: 140
cluster: issue-140
verdict: propose

Recommended framing

最小边界是把现有 host.env.example 从“有字段的示例”收紧成“可复制的 host 配置契约”:按 SKILL.md 的 Host 配置表和 Host language policy 表逐项标注 required / defaulted / optional / empty behavior,并把已经存在的 statusline 与 restart helper 安装/卸载说明整理成两个 host-agnostic one-liner。这个方案不新增配置抽象、不新增 installer script、不改变 daemon 行为;只修复 example 漂移风险和 install/uninstall 入口分散的问题。

Concrete plan

• Files:
  • skills/codex-refactor-loop/host.env.example:重排注释和分组;明确 REPO_ROOT / GH_REPO_SLUG / BUILD_CMD / TEST_CMD / SOURCE_GLOBS / MAINTAINER_WHITELIST 的 required 或 fail-closed 行为;保留 INTEGRATION_BRANCH / REVIEW_BASE_BRANCH / release/degradation/CODEX_FLOOR 默认值;Host language policy 字段逐项写空值行为。
  • skills/codex-refactor-loop/SKILL.md:在 statusline 和 anti-stop restart helper 段补“install one-liner / uninstall one-liner”字面契约;保持“手动一行,无 installer script”和 cron/launchd-only 边界。
  • skills/codex-refactor-loop/scripts/test_ensure_project_rules_fixed_points.py:新增 source-regression,从 SKILL.md 两张 host 配置表提取 $VAR 并断言 host.env.example 全覆盖;同时断言每个 required/defaulted/optional 分组和空值语义存在。
  • skills/codex-refactor-loop/scripts/test_skill_reference_anchors.py:扩展 statusline install/uninstall one-liner 断言。
  • skills/codex-refactor-loop/scripts/test_anti_stop_restart_helper_contract.py:扩展 restart helper install/uninstall one-liner 断言。
• LOC delta: ~+65 / -15。
• Tests to add/modify:
  • Modify test_ensure_project_rules_fixed_points.py:新增 2 个 source-regression tests,约 +35 LOC。
  • Modify test_skill_reference_anchors.py:新增/扩展 1 个 statusline 文档断言,约 +8 LOC。
  • Modify test_anti_stop_restart_helper_contract.py:新增/扩展 1 个 restart helper 文档断言,约 +8 LOC。
• Governance/ruleset change (if any):none。现有 CLAUDE.md 已要求 host runtime facts 只来自 host.env、变更可验证、host opt-in 缺失 fail closed;本计划只是让发布模板和测试落实这些规则,不需要修改仓库宪法。
• Migration path:下游 host 只需重新 copy skills/codex-refactor-loop/host.env.example 对照更新自己的 .refactor-loop/host.env;已有有效变量名不变,无自动迁移。

Risks

• host.env.example 会更长,但新增内容都是字段语义和空值行为,不引入第二事实源。
• source-regression 若直接解析 Markdown 表格,可能对表格格式较敏感;测试应只抽取 $VAR token 和分组语义,避免绑定整段文案。
• 把 MAINTAINER_WHITELIST 视为运行必填会比 SKILL.md 表格中“host-specific”更严格,但当前 comment-monitor.sh 已 fail closed,且 Phase 0 要求 5 个 daemon 全起,所以这是记录现状而非扩大要求。

Escalation triggers (if any)

• none

Reasoning trace (internal — short, for meta-judge)

• Why this is the minimum:issue 140 的目标是补全 host.env.example 和 install/uninstall 一致性;当前变量基本存在,真正缺口是 required/optional/empty behavior 与机械防漂移。最小修复是文档模板 + source-regression,不碰 runtime。
• What I considered but rejected:新增 host_env_schema.py 或 JSON schema 可以更强,但会引入新契约和解析器,超出“补全 example”的必要边界;新增 installer/uninstaller script 也违反 statusline 段现有“无 installer script”约束。
• What I cannot decide alone:是否把 release/degradation/CODEX_FLOOR 这类不在 Host 配置表的 runtime knobs 也纳入 SKILL 表格。我的最小建议是不改表格,只在 example 保留它们并由现有专项测试守住。

SOLVER_DONE:minimal:propose:补全 host.env.example 字段语义与 install/uninstall one-liner,用 source-regression 防止 SKILL host 表和 example 再漂移
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 delete solver r1: 保留 host.env.example,拒绝新增重复安装面

TL;DR

• 这是什么:issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 的 delete-framing 独立 solver 结论。
• 结论:不删 host.env.example;它是 load-bearing onboarding surface。
• 下一步:controller 等 minimal/structural/ judge 收敛;实现侧不要新增 INSTALL.md、installer script 或第二份 host var 清单。

---

详细说明

delete 视角没有找到安全删除目标。host.env.example 被 SKILL.md Host config contract、Phase 0 bootstrap、degradation guard 和多组 source-regression 直接引用;删掉会让下游 host 只能从长文档手抄变量。

可删除/避免的是重复事实源:不要为 #140 新开独立安装/卸载文档或 installer。最小安全方向是补全现有模板,并让测试从 SKILL.md 的 Host 配置表与 Host language policy 表机械抽取变量校验模板,防止漂移。

---

📎 完整 codex 原始输出(存档备查)

---

solver: delete
issue: 140
cluster: issue-140
verdict: abstain

Classification

e) Genuinely needed and right-sized, with one deletion-first boundary: do not create a second install/config documentation surface.

Recommended action

我不建议删除 skills/codex-refactor-loop/host.env.example:它是下游 host 从“读 skill”走到“可运行 loop”的唯一可复制配置入口,也是 SKILL.md Host 配置表和运行脚本之间的实际 onboarding bridge。删除/合并它会让 Phase 0 缺失时只能靠人从长文档手抄变量,风险比保留模板高。delete solver 的建议是 abstain,但给实现侧一个硬边界:不要新增 INSTALL.md、installer script、第二份 host var 清单或独立 uninstall 文档;把 #140 收敛为“补全现有 host.env.example + 增强从 SKILL.md 表抽取变量的 source-regression + 必要时把已存在的 statusline/restart 一行说明保持在现有 SKILL 段落内”。

Concrete plan (if propose)

• Files to delete: none.
• Caller migrations: none.
• Tests to delete: none.
• LOC delta: 0. Delete framing does not have a safe deletion/collapse target in the current tree.
• Philosophy/CLAUDE.md/SPEC/Tier changes (if any): none. Existing “事实源唯一” and “host 运行时事实由 host.env 注入” already support keeping one template and rejecting duplicate docs.

Reverse-evidence (why this is safe to delete)

• No deletion is proposed, so no public API break is introduced.
• SKILL.md names host.env.example as the Host config prompt/script surface, and Phase 0 bootstrap in REFERENCE.md explicitly says missing host env should be created from skills/codex-refactor-loop/host.env.example.
• host.env.example is not dead code: check_skill_degradation.py, test_check_skill_degradation.py, test_ensure_project_rules_fixed_points.py, and bootstrap docs all read or assert it.
• The existing template already covers the core Host 配置 table variables: REPO_ROOT, GH_REPO_SLUG, compatibility GH_OWNER/GH_REPO_NAME, INTEGRATION_BRANCH, REVIEW_BASE_BRANCH, PROJECT_RULES, BUILD_CMD, TEST_CMD, CI_GUARDS, SOURCE_GLOBS, MAINTAINER_WHITELIST, plus the six canonical HOST_* policy keys.
• The only apparent “extra” template exports are runtime knobs with concrete consumers: RELEASE_ROLLUP_MIN_COMMITS / RELEASE_ROLLUP_COOLDOWN_SECONDS in dev_sync_daemon.py, DEGRADATION_* in concurrency_monitor.py / check_skill_degradation.py, and CODEX_FLOOR in monitor/controller floor logic.
• Existing install surfaces are already narrow and guarded: statusline has “手动一行,无 installer script” plus tests forbidding installer.sh / install-statusline.sh; restart helper has a checked-in helper and cron/launchd one-liners tied to source-regression. A new standalone install/uninstall document would duplicate these rather than replace an overbuilt abstraction.

Risks

• 如果 design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 的实现把“install / uninstall one-liner 文档化”解释成新增根目录 INSTALL.md 或新 installer script,会违反事实源唯一并重新制造 drift;应该改为复用现有段落或只在 host.env.example 顶部注释补一条最小启动路径。
• 如果测试只断言六个 HOST_*,未来新增 required host var 仍可能漏进模板;实现侧应从 SKILL.md Host 配置表和 Host language policy 表机械抽取 key,而不是维护手写 expected list。
• RELEASE_AUTO_ENABLE 在 SKILL.md 中是 release opt-in gate,但当前 host.env.example 没有导出它;这更像 minimal/structural 的补全点,不是 deletion target。保留空默认/注释 opt-in 比删除 release gate 更安全。

Escalation triggers (if any)

• none

Reasoning trace (internal — for meta-judge)

• Why I claim this can be deleted: I do not claim the host.env path can be deleted. The deletion-first result is an abstain with a boundary against adding a duplicate install/config surface.
• What I checked to verify safety: issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 body/comments, .refactor-loop/prompts/audit-iter-1.md, CLAUDE/AGENTS 删除优先 and fact-source clauses, SKILL.md Host 配置 and Host language policy tables, host.env.example, Phase 0 bootstrap in REFERENCE.md, statusline/restart install sections, test_ensure_project_rules_fixed_points.py host policy checks, test_skill_reference_anchors.py installer forbiddance, check_skill_degradation.py host-env markers, rg for host.env.example/install/uninstall call surfaces, and git history for the original host.env/statusline/restart-helper commits.
• What I cannot decide alone: the exact wording of the minimal install/uninstall note if implementers decide to touch docs. Delete framing recommends no new file and no new script; minimal/structural can decide whether the current SKILL snippets plus template comments are enough.

SOLVER_DONE:delete:abstain:host.env.example is load-bearing onboarding surface; do not delete it, and do not add a duplicate install/config documentation surface
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 更正: minimal solver 摘要重发

TL;DR

• 这是什么:修正上一条评论中被 shell 反引号替换损坏的人话摘要。
• 结论:方案不变,仍建议只改模板、SKILL 文档和 source-regression。
• 下一步:controller 以本条更正评论和内部 artifact 为准,继续等另外两个 solver。

---

详细说明

我核对了 issue 正文、SKILL.md Host 配置表、当前 host.env.example、statusline/restart helper 安装段和相关测试。当前变量大多已经存在,违规点更窄:模板没有把 required/defaulted/optional/empty behavior 统一成可复制契约,install/uninstall one-liner 分散且没有被同一类 source-regression 防漂移。

最小计划触及 5 个文件,估算约 +65/-15 LOC:重排 host.env.example 注释分组,在 SKILL.md 补 statusline 与 restart helper 的 install/uninstall one-liner,再扩展 3 个现有测试文件。无需改 CLAUDE.md,也不需要新增 installer script 或 host env schema。

---

📎 完整 codex 原始输出(存档备查)

---

solver: minimal
issue: 140
cluster: issue-140
verdict: propose

Recommended framing

最小边界是把现有 host.env.example 从“有字段的示例”收紧成“可复制的 host 配置契约”:按 SKILL.md 的 Host 配置表和 Host language policy 表逐项标注 required / defaulted / optional / empty behavior,并把已经存在的 statusline 与 restart helper 安装/卸载说明整理成两个 host-agnostic one-liner。这个方案不新增配置抽象、不新增 installer script、不改变 daemon 行为;只修复 example 漂移风险和 install/uninstall 入口分散的问题。

Concrete plan

• Files:
  • skills/codex-refactor-loop/host.env.example:重排注释和分组;明确 REPO_ROOT / GH_REPO_SLUG / BUILD_CMD / TEST_CMD / SOURCE_GLOBS / MAINTAINER_WHITELIST 的 required 或 fail-closed 行为;保留 INTEGRATION_BRANCH / REVIEW_BASE_BRANCH / release/degradation/CODEX_FLOOR 默认值;Host language policy 字段逐项写空值行为。
  • skills/codex-refactor-loop/SKILL.md:在 statusline 和 anti-stop restart helper 段补“install one-liner / uninstall one-liner”字面契约;保持“手动一行,无 installer script”和 cron/launchd-only 边界。
  • skills/codex-refactor-loop/scripts/test_ensure_project_rules_fixed_points.py:新增 source-regression,从 SKILL.md 两张 host 配置表提取 $VAR 并断言 host.env.example 全覆盖;同时断言每个 required/defaulted/optional 分组和空值语义存在。
  • skills/codex-refactor-loop/scripts/test_skill_reference_anchors.py:扩展 statusline install/uninstall one-liner 断言。
  • skills/codex-refactor-loop/scripts/test_anti_stop_restart_helper_contract.py:扩展 restart helper install/uninstall one-liner 断言。
• LOC delta: ~+65 / -15。
• Tests to add/modify:
  • Modify test_ensure_project_rules_fixed_points.py:新增 2 个 source-regression tests,约 +35 LOC。
  • Modify test_skill_reference_anchors.py:新增/扩展 1 个 statusline 文档断言,约 +8 LOC。
  • Modify test_anti_stop_restart_helper_contract.py:新增/扩展 1 个 restart helper 文档断言,约 +8 LOC。
• Governance/ruleset change (if any):none。现有 CLAUDE.md 已要求 host runtime facts 只来自 host.env、变更可验证、host opt-in 缺失 fail closed;本计划只是让发布模板和测试落实这些规则,不需要修改仓库宪法。
• Migration path:下游 host 只需重新 copy skills/codex-refactor-loop/host.env.example 对照更新自己的 .refactor-loop/host.env;已有有效变量名不变,无自动迁移。

Risks

• host.env.example 会更长,但新增内容都是字段语义和空值行为,不引入第二事实源。
• source-regression 若直接解析 Markdown 表格,可能对表格格式较敏感;测试应只抽取 $VAR token 和分组语义,避免绑定整段文案。
• 把 MAINTAINER_WHITELIST 视为运行必填会比 SKILL.md 表格中“host-specific”更严格,但当前 comment-monitor.sh 已 fail closed,且 Phase 0 要求 5 个 daemon 全起,所以这是记录现状而非扩大要求。

Escalation triggers (if any)

• none

Reasoning trace (internal — short, for meta-judge)

• Why this is the minimum:issue 140 的目标是补全 host.env.example 和 install/uninstall 一致性;当前变量基本存在,真正缺口是 required/optional/empty behavior 与机械防漂移。最小修复是文档模板 + source-regression,不碰 runtime。
• What I considered but rejected:新增 host_env_schema.py 或 JSON schema 可以更强,但会引入新契约和解析器,超出“补全 example”的必要边界;新增 installer/uninstaller script 也违反 statusline 段现有“无 installer script”约束。
• What I cannot decide alone:是否把 release/degradation/CODEX_FLOOR 这类不在 Host 配置表的 runtime knobs 也纳入 SKILL 表格。我的最小建议是不改表格,只在 example 保留它们并由现有专项测试守住。

SOLVER_DONE:minimal:propose:补全 host.env.example 字段语义与 install/uninstall one-liner,用 source-regression 防止 SKILL host 表和 example 再漂移
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 structural solver 建议用 HostRuntimeContract 收口

TL;DR

• 这是什么:issue 140 的 structural 独立方案,聚焦 host.env.example 与安装/卸载文档漂移。
• 结论:建议新增文档/测试投影 HostRuntimeContract,不新增 runtime helper、daemon 或 installer script。
• 下一步:meta-judge 可拿此方案与另外两路 solver 收敛实现边界。

---

详细说明

我验证了 live 文件:当前 host.env.example 把 MAINTAINER_WHITELIST 放在可选段,但注释又说明 comment-monitor fail-closed;SKILL.md Host 配置表也没有覆盖 CODEX_FLOOR、release rollup、degradation watch 等已存在 host 变量。安装/卸载说明分散在 statusline 和 restart-daemons 段,没有同一个 source-regression 投影保护。

推荐结构是 HostRuntimeContract:一个 SKILL.md 表作为 host-facing env var 权威,host.env.example 作为它的 shell 模板,Host bootstrap install/uninstall 小节统一承载 copy host.env、statusline、restart-daemons 的 one-liner。新增 test_host_runtime_contract.py 从表和模板抽 key 做一致性断言,预估改动 ~+210/-75 LOC,运行时成本 0ms、0 新进程。

---

📎 完整 codex 原始输出(存档备查)

---

solver: structural
issue: 140
cluster: issue-140
verdict: propose

PROJECT_RULES clause violated (quoted verbatim)

• 事实源唯一:同一约束禁止在多处平行声明。版本号 → .version-bump.json;host 运行时事实 → host.env;skill 行为 → 该 skill 的 SKILL.md 与 scripts/test_*.py。
• 变更必须可验证:行为约束必须落到机械验证手段(behavior test / source-regression test / 段落 lint);仅靠"agent 应该记得"承载的约束视为未落地。

Recommended framing

问题不是单纯补几行 host.env.example,而是 host runtime contract 没有一个可机械验证的投影:SKILL.md Host 配置表、host.env.example、Phase 0 bootstrap 文档、statusline/restart-daemons 安装说明各自维护同一组事实。结构解法是在 skill 层建立 HostRuntimeContract 文档/测试投影:所有 host-facing env var 先在 SKILL.md 表中以 required/default/empty behavior 标准化,host.env.example 只作为这张表的 shell 模板,安装/卸载 one-liner 放在一个 host bootstrap 小节,并由测试从表和模板抽取 key 集合做一致性断言。这样漏 key、required/optional 漂移、局部安装文档漂移都会被构造性挡住,不是靠 reviewer 记忆。

Concrete plan

• New abstractions (if any): HostRuntimeContract。接口是文档级表结构,不是 runtime API:每个 entry 含 name, requirement(required / defaulted / optional), default_or_empty_behavior, consumer。Layer: skill contract / source-regression projection。Project: skills/codex-refactor-loop。Filename: skills/codex-refactor-loop/SKILL.md 表 + skills/codex-refactor-loop/scripts/test_host_runtime_contract.py 解析测试。
• Files:
  • skills/codex-refactor-loop/SKILL.md:改写 ## Host 配置(通用化注入点) 为单一 HostRuntimeContract 表;把 CODEX_FLOOR, RELEASE_ROLLUP_MIN_COMMITS, RELEASE_ROLLUP_COOLDOWN_SECONDS, DEGRADATION_WATCH_INTERVAL_SECONDS, DEGRADATION_WATCH_TIMEOUT_SECONDS, DEGRADATION_ALERT_TAIL_LINES, RELEASE_AUTO_ENABLE, RELEASE_AUTO_MIN_MERGES, RELEASE_AUTO_MIN_INTERVAL_HOURS 纳入表;把 MAINTAINER_WHITELIST 从 optional 语义改为 required for comment-monitor/direct mention safety;新增 Host bootstrap install/uninstall 小节,集中给 3 条 one-liner:复制 host.env.example,安装 statusline,安装/卸载 restart-daemons cron/launchd。
  • skills/codex-refactor-loop/host.env.example:按 HostRuntimeContract 重排为 required / defaulted / optional 三段;每个 export 前有一行 required/default/empty behavior 注释;删除“可选但事实 fail-closed”的矛盾,把 MAINTAINER_WHITELIST 放入 required 段;保留 CODEX_REFACTOR_LOOP_SKILL_ROOT 不进入模板的既有约束。
  • skills/codex-refactor-loop/REFERENCE.md:Phase 0 host.env 缺失说明改成引用 SKILL.md 的 HostRuntimeContract;daemon/statusline/restart 安装细节只保留重型解释,不再重复完整 required var 列表。
  • skills/codex-refactor-loop/scripts/test_host_runtime_contract.py:新增 source-regression + lightweight behavior-style parsing tests,从 SKILL.md 表和 host.env.example export 行抽取 key,断言 key 集合一致、required/defaulted/optional 分段一致、每个 export 有注释、bootstrap one-liners 存在且无 host fact。
  • skills/codex-refactor-loop/scripts/test_anti_stop_restart_helper_contract.py:把 cron/launchd install 断言迁移或缩窄为引用 Host bootstrap install/uninstall 小节,避免两处完整 one-liner 成为平行事实源。
  • skills/codex-refactor-loop/scripts/test_skill_reference_anchors.py:更新 statusline install/uninstall 断言,要求 SKILL.md 中只有一个安装小节承载 one-liner,状态栏段落只引用该小节。
  • skills/codex-refactor-loop/scripts/test_ensure_project_rules_fixed_points.py:保留既有 host-language Set A 测试;删除/替换与 host.env.example key 存在性重复的局部断言,让新增 test_host_runtime_contract.py 成为 key-set 权威测试。
• LOC delta: ~+210 / -75。SKILL.md +55/-20, host.env.example +55/-15, REFERENCE.md +15/-25,新增测试 +95,既有测试调整 +45/-15。
• Tests to add:
  • test_host_runtime_contract.py::test_host_env_example_exports_exactly_skill_host_contract_keys:断言 SKILL.md contract 表 key 集合等于 host.env.example export key 集合,允许明确 denylist CODEX_REFACTOR_LOOP_SKILL_ROOT。
  • test_host_runtime_contract.py::test_required_defaulted_optional_sections_match_contract:断言 REPO_ROOT, GH_REPO_SLUG, BUILD_CMD, TEST_CMD, MAINTAINER_WHITELIST 在 required 段;CI_GUARDS 和 6 个 HOST_* 是 optional 空默认;CODEX_FLOOR, release rollup, degradation watch 是 defaulted。
  • test_host_runtime_contract.py::test_each_host_env_export_has_behavior_comment:每个 export 前 1-3 行必须说明 required/default/empty behavior,防止裸变量漂移。
  • test_host_runtime_contract.py::test_bootstrap_install_uninstall_one_liners_are_single_sourced:断言 SKILL.md 有一个 Host bootstrap install/uninstall 小节,包含 copy host.env、statusline install/uninstall、restart-daemons cron/launchd install/uninstall,且 REFERENCE.md 不再复制完整 key 表。
  • 调整 test_anti_stop_restart_helper_contract.py 和 test_skill_reference_anchors.py:验证局部段落引用 bootstrap 小节,不再各自维护完整安装事实。
• Schema/protocol changes (if any): none。HostRuntimeContract 是文档/测试投影,不改 WorkUnit、marker、state、GitHub payload 或 daemon协议。
• Governance/ruleset changes (if any): none。现有 CLAUDE.md 已要求 host.env 是 host runtime facts 唯一来源且行为约束必须可验证;本方案只把 issue 140 落到 skill 内契约与测试。
• Runtime cost: normal loop runtime +0ms,0 new process,0 new daemon,0 actor hop。新增测试运行约 +80-150ms Python unittest 解析 markdown/shell text;安装 one-liner 本身仍由 maintainer/host 执行,不是 controller runtime。

Risks

• 相比最小补模板,这个方案会多改 SKILL.md 和 3 个测试文件,短期 merge 面更大;收益是以后新增 env var 时只会有一个 contract/table + 一个 projection test,不会继续靠人工比对。
• HostRuntimeContract 若做成独立脚本 schema 会过重;边界应限制为 markdown 表 + 测试解析,不生成代码、不引入 JSON schema、不改变 runtime loader。
• 把 MAINTAINER_WHITELIST 升为 required 可能让未启 comment-monitor 的 host 觉得严格;但当前模板注释已承认 5 daemon 全起时它事实 fail-closed,结构上应把真实 requirement 写清楚。

Escalation triggers (if any)

• none

Reasoning trace (internal — for meta-judge)

• Why this structure beats a documented exception:文档例外只能解释为什么模板暂时不全,不能防止下一次新增 $RELEASE_* / $DEGRADATION_* 时继续漏进 example。key-set projection test 能在 PR 阶段直接失败。
• Why I picked this abstraction over alternatives:至少 3 个 concrete callers 使用同一 contract:Phase 0 host.env bootstrap、daemon/restart/statusline host install、prompt/reviewer host policy injection;因此命名 HostRuntimeContract 合理。新增 runtime helper/installer script没有必要,会违反 issue 边界和 statusline/restart helper 的“无 installer script”约束。
• What I cannot decide alone:具体 one-liner 是否同时保留 cron 与 launchd 两套 host 模板可由 meta-judge 收敛;结构上二者都应挂在同一个 bootstrap 小节并由同一个测试投影保护。

SOLVER_DONE:structural:propose:single HostRuntimeContract projection binds SKILL host vars, host.env.example, bootstrap install docs, and regression tests
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 meta-judge r1: 未达 3/3,进入 host.env contract 收敛轮

TL;DR

• 这是什么:issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 Phase 9 r1 的 meta-judge 仲裁结果。
• 结论:本轮不是 consensus;minimal/structural 都 propose,delete abstain,且实现边界仍有命名分歧。
• 下一步:controller 进入 round 2,要求三路 solver 在 minimal existing tables vs named HostRuntimeContract projection 间选唯一边界。

---

详细说明

本轮共同点已经很明确:三路都不支持删除 host.env.example,也都反对新增 INSTALL.md、installer script 或第二份 host var 清单。minimal 与 structural 还都同意补全 host.env.example、补 statusline/restart install-uninstall one-liner、加 source-regression。

未达成 3/3 unanimous 的分歧也很具体:

方案	边界	未决点
minimal	扩展现有 Host 配置表、模板和局部测试	是否足以防止 Phase 0/bootstrap/statusline/restart 文档继续漂移
structural	命名 HostRuntimeContract: 一个 SKILL.md 表 + 一个模板投影测试	是否值得引入命名文档/测试投影并集中 bootstrap one-liner
delete	abstain,保留模板	需要明确支持 minimal 或 structural,或指出两者阻断证据

round 2 的收敛问题已写入 artifact:选择 minimal existing tables 还是 named HostRuntimeContract projection,并明确 runtime knobs、MAINTAINER_WHITELIST requirement、install one-liner 单源位置和 source-regression 权威测试。

---

📎 完整 codex 原始输出(存档备查)

---

issue: 140
cluster: issue-140
convergence_round: 1
solver_verdicts:
minimal: propose
structural: propose
delete: abstain
decision: converge

Decision

本轮不满足 consensus gate。minimal 与 structural 都确认 #140 真实存在,也都同意补全 host.env.example、文档化 statusline/restart install-uninstall one-liner、增加从 SKILL.md 到模板的 source-regression;delete solver 明确 host.env.example 是 load-bearing onboarding surface,不应删除,且反对新增 INSTALL.md、installer script 或第二份 host var 清单。但三者没有 3/3 unanimous: minimal 拒绝新增配置抽象,只扩展现有表/模板/测试;structural 要把所有 host-facing env var 收进一个 HostRuntimeContract 文档/测试投影,并集中 bootstrap one-liner;delete 是 abstain,只给出反重复事实源边界。当前 convergence round=1,未触发 >=3 轮无进展 stall 条件,因此进入 round 2 收敛。

If converge

• Convergence question (specific): design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 应落地为“扩展现有 Host 配置表 + host.env.example + 局部 install one-liner 测试”的 minimal 边界,还是落地为命名的 HostRuntimeContract 单一文档/测试投影并集中 bootstrap one-liner;请给出唯一推荐边界、文件清单和为什么另一边界不该落地。
• What each solver should address explicitly:
  • 是否需要在 SKILL.md 中给 host-facing env var 一个命名契约 HostRuntimeContract;如果需要,说明它只是 markdown 表 + source-regression 投影,不是 runtime schema/API;如果不需要,说明现有 Host 配置表如何机械防止 host.env.example、Phase 0 bootstrap、statusline/restart one-liner 再漂移。
  • CODEX_FLOOR、RELEASE_*、DEGRADATION_* 这类已由 runtime 消费但不都在当前 Host 配置表中的 knobs,应不应纳入 SKILL.md host contract 表;若不纳入,说明 host.env.example 额外 export 与“事实源唯一”如何不冲突。
  • MAINTAINER_WHITELIST 应标为 required/fail-closed 还是 optional/host-specific;必须对齐 comment-monitor/direct mention safety 的当前行为,并说明未启用相关 surface 的 host 空值行为。
  • install/uninstall one-liner 应集中在一个 Host bootstrap install/uninstall 小节,还是保留在 statusline 与 anti-stop restart helper 各自段落;必须说明如何避免新增 INSTALL.md、installer script、第二份 host var 清单或独立 uninstall 文档。
  • source-regression 权威测试应新增 test_host_runtime_contract.py,还是扩展 test_ensure_project_rules_fixed_points.py / test_skill_reference_anchors.py / test_anti_stop_restart_helper_contract.py;必须列出 key-set equality、required/defaulted/optional 分段、每个 export 行为空值注释、one-liner 单源性的具体断言。
  • delete solver 若继续 abstain,应明确支持 minimal 或 structural 作为非删除落地边界,或指出两者都缺少的阻断证据。
• Round number this fires: 2

Round audit trail (links to local artifacts)

• solver-minimal: .refactor-loop/runs/phase9-issue140-r1-minimal.md
• solver-structural: .refactor-loop/runs/phase9-issue140-r1-structural.md
• solver-delete: .refactor-loop/runs/phase9-issue140-r1-delete.md

META_JUDGE_DONE:converge:round-2:minimal existing tables vs named HostRuntimeContract projection; choose one host.env/install contract boundary
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 minimal solver r2: 选现有 Host 配置表,不新增 HostRuntimeContract

TL;DR

• 这是什么:issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 Phase 9 round 2 minimal solver 输出。
• 结论:建议扩展现有 SKILL.md Host 配置表 + host.env.example + 现有 source-regression,不引入命名 HostRuntimeContract。
• 下一步:controller 收集 r2 三路 solver 后交给 meta-judge 判断是否收敛。

---

详细说明

我选择 r1 的 minimal 边界,但吸收 structural 的有效点:当前 runtime 已消费 CODEX_FLOOR、release、degradation 等 knobs,它们需要进入 SKILL.md 现有 Host 配置表并由 key-set source-regression 反查 host.env.example。这比新增 HostRuntimeContract 名称更小,也不需要集中 bootstrap 小节或迁移 REFERENCE.md。

具体计划触及 5 个文件,估算约 +95/-25 LOC:补全 Host 配置表字段与 requirement/empty behavior,重排 host.env.example 注释分组,扩展 3 个现有测试文件。MAINTAINER_WHITELIST 写成 comment-monitor/direct mention surface 的 fail-closed requirement;statusline/restart 仍保留在各自段落,只补 install/uninstall 字面锚点和测试。

---

📎 完整 codex 原始输出(存档备查)

---

solver: minimal
issue: 140
cluster: issue-140
verdict: propose

Recommended framing

最小可落地边界仍应选择“扩展现有 Host 配置表 + host.env.example + 现有测试文件”,不引入命名 HostRuntimeContract。原因很具体:当前 SKILL.md 已有 ## Host 配置(通用化注入点) 和 ### Host language policy 两张表,host.env.example 也已经是唯一可复制模板;缺口不是没有契约名,而是表没有覆盖所有 host-facing runtime knobs,模板没有把 required/defaulted/optional/empty behavior 逐项写清,install/uninstall one-liner 的漂移保护不够。把现有表升级为权威 host env contract,并用一个 key-set source-regression 从表反查模板,能解决 r1 structural 指出的真实问题,但避免新增抽象名、集中安装小节和大范围 REFERENCE 迁移。

Concrete plan

• Files:
  • skills/codex-refactor-loop/SKILL.md:保留现有 ## Host 配置(通用化注入点) 标题,把表的第三列从 Default / example 收紧为 Requirement / empty behavior;补入当前已由 runtime 消费但未全列出的 knobs:CODEX_FLOOR, RELEASE_AUTO_ENABLE, RELEASE_AUTO_MIN_MERGES, RELEASE_AUTO_MIN_INTERVAL_HOURS, RELEASE_ROLLUP_MIN_COMMITS, RELEASE_ROLLUP_COOLDOWN_SECONDS, DEGRADATION_WATCH_INTERVAL_SECONDS, DEGRADATION_WATCH_TIMEOUT_SECONDS, DEGRADATION_ALERT_TAIL_LINES;把 MAINTAINER_WHITELIST 标为 “required when comment-monitor/direct mention surface is enabled; Phase 0 all-daemon bootstrap treats empty as fail-closed”。保留 statusline 与 anti-stop restart helper 各自段落,只补明确 Install one-liner / Uninstall one-liner 字面锚点。
  • skills/codex-refactor-loop/host.env.example:按 required / defaulted / optional 三段重排注释;每个 export 前 1-3 行说明 requirement、默认值或空值行为;把 MAINTAINER_WHITELIST 放在 required/fail-closed 段;补 RELEASE_AUTO_ENABLE, RELEASE_AUTO_MIN_MERGES, RELEASE_AUTO_MIN_INTERVAL_HOURS;保留 CODEX_REFACTOR_LOOP_SKILL_ROOT 不进入模板。
  • skills/codex-refactor-loop/scripts/test_ensure_project_rules_fixed_points.py:新增权威 source-regression,从 SKILL.md Host 配置表与 Host language policy 表提取 $VAR,断言 host.env.example export key 覆盖并且不包含未授权 runtime var;允许 GH_OWNER/GH_REPO_NAME 作为兼容字段;断言 required/defaulted/optional 分组和每个 export 的行为注释存在。
  • skills/codex-refactor-loop/scripts/test_skill_reference_anchors.py:扩展现有 statusline source-regression,断言局部段落包含 Install one-liner, Uninstall one-liner, “无 installer script”,且没有新增 installer.sh / install-statusline.sh。
  • skills/codex-refactor-loop/scripts/test_anti_stop_restart_helper_contract.py:扩展现有 restart helper source-regression,断言 cron install one-liner、launchd template、uninstall note、cron/launchd-only 和 no lifecycle authority 同段存在。
• LOC delta: ~+95 / -25。SKILL.md ~+35/-10, host.env.example ~+35/-10,测试 ~+25/-5。
• Tests to add/modify:
  • Modify test_ensure_project_rules_fixed_points.py:新增 test_host_env_example_covers_skill_host_config_tables 和 test_host_env_example_documents_requirement_and_empty_behavior。
  • Modify test_skill_reference_anchors.py:扩展 statusline install/uninstall anchor test。
  • Modify test_anti_stop_restart_helper_contract.py:扩展 restart helper install/uninstall anchor test。
• Governance/ruleset change (if any):none。现有 CLAUDE.md 的 “host 运行时事实 → host.env” 与 “变更必须可验证” 足够覆盖;本计划只在 skill contract 和测试里落实,不需要改仓库宪法。
• Migration path:无自动迁移;下游 host 对照新版 host.env.example 补齐缺失 key。旧 key 继续有效;新增 release auto gate key 默认空/false,不会启用 release lifecycle。

Risks

• 不使用 HostRuntimeContract 名称会让 structural 方案想要的“一个命名投影”弱一些;缓解方式是让测试名和断言清楚指向现有 Host 配置表,而不是另建术语。
• host.env.example export key 与 SKILL.md 表做一致性检查时要允许 GH_OWNER/GH_REPO_NAME compatibility 字段,否则会把兼容面误判为漂移。
• MAINTAINER_WHITELIST 的 requirement 需要写成 surface-scoped fail-closed,避免误导未启 comment-monitor 的 host;但本 skill Phase 0 要求 5 daemon 全起,所以模板仍应把它放在 required/fail-closed 段。
• 保留 statusline/restart 各自段落会继续有两个安装位置;但这是两个不同 surface 的局部安装契约,用各自 source-regression 锚定即可,不需要集中成一个 bootstrap 小节。

Escalation triggers (if any)

• none

Reasoning trace (internal — short, for meta-judge)

• Why this is the minimum:live 文件已经有 Host 配置表、Host language policy 表、statusline install 段、restart install 段和相关 source-regression;真实缺口是字段覆盖与行为注释不足。最小修复是在现有表上补全 runtime knobs,再让现有测试机械检查模板覆盖。
• What I considered but rejected:HostRuntimeContract 作为文档/测试投影能解决问题,但需要改名、集中 bootstrap 小节、调整 REFERENCE 和迁移测试权威,约 +210/-75 LOC;相对于 design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 的“补全 example + one-liner 文档化”目标,这是不必要的新增架构词汇。
• What I cannot decide alone:none。minimal 方案可给 implement worker 直接执行;不需要 GPG、Tier I/II、CLAUDE.md 修宪或 maintainer 产品判断。

SOLVER_DONE:minimal:propose:选择扩展现有 Host 配置表并补 key-set source-regression,不引入命名 HostRuntimeContract
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 delete solver r2: 支持 minimal existing tables,拒绝新增契约名

TL;DR

• 这是什么:design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 round 2 delete solver 对收敛问题的结论。
• 结论:不删 host.env.example;支持 minimal existing tables,不支持命名 HostRuntimeContract。
• 下一步:meta-judge 可把 delete 视为已明确支持 minimal 边界;实现侧不要新增 INSTALL.md、installer script 或第二份 host var 清单。

---

详细说明

delete 视角没有找到安全删除目标。host.env.example 是下游 copy/fill 的 onboarding surface,而现有 SKILL.md Host 配置表和 Host language policy 表已经足以承载契约;#140 应把漏字段、required/defaulted/optional 语义、install/uninstall one-liner 防漂移落到这些既有表和既有测试上。

我明确拒绝 structural r1 的新增命名 HostRuntimeContract:当前 active tree 没有 caller 依赖这个名字,新增它会把一个表格/模板同步问题扩大成第二套术语。runtime knobs 应纳入现有 Host 配置表或同表 defaulted 分组;MAINTAINER_WHITELIST 按 comment-monitor.sh fail-closed 行为标为 normal loop required/fail-closed。

---

📎 完整 codex 原始输出(存档备查)

---

solver: delete
issue: 140
cluster: issue-140
verdict: abstain

Classification

e) Genuinely needed and right-sized. 没有安全删除目标;delete-framing 的有效贡献是选择更少的新 surface:支持 minimal existing tables,不支持命名 HostRuntimeContract。

Recommended action

建议 #140 落地为“扩展现有 SKILL.md Host 配置表 + 补全 host.env.example + 扩展既有 source-regression”的 minimal 边界。不要新增 HostRuntimeContract 这个命名契约、不要新增 INSTALL.md、installer script、第二份 host var 清单或独立 uninstall 文档。host.env.example 本身是 load-bearing onboarding surface,应保留;需要删除的是“另起一个契约名/安装面”的倾向。实现时把 CODEX_FLOOR、RELEASE_AUTO_ENABLE、RELEASE_ROLLUP_*、DEGRADATION_* 等已由 runtime 消费的 host-facing knobs 纳入现有 Host 配置表或同一表内的 defaulted 分组,让模板不再有未锚定 export;MAINTAINER_WHITELIST 按当前 comment-monitor fail-closed 行为标为 normal loop required / fail-closed,并说明不运行 comment-monitor 的 host 不获得 direct-mention safety surface。

Concrete plan (if propose)

• Files to delete: none.
• Caller migrations: none.
• Tests to delete: none.
• LOC delta: 0 from delete solver. 推荐的非删除实现边界应接近 r1 minimal 的小改动量,而不是 r1 structural 的新增命名投影。
• Philosophy/CLAUDE.md/SPEC/Tier changes (if any): none. 现有“事实源唯一”和“host 运行时事实由 host.env 注入”足够;新增命名 HostRuntimeContract 反而会把一个表/模板同步问题扩大成第二套术语。

Reverse-evidence (why this is safe to delete)

• No public API breaks: no deletion is proposed.
• host.env.example 有直接价值链:issue body 要求下游可 copy 模板;SKILL.md Host config row names it;REFERENCE.md first-wakeup bootstrap says missing host env is copied from skills/codex-refactor-loop/host.env.example;tests and degradation checker read/assert it.
• HostRuntimeContract is not an existing public API or script caller. 当前树只有 r1 structural artifact 提出该名字;active SKILL.md, REFERENCE.md, scripts, tests, and template do not depend on it.
• 现有 Host 配置表已是事实源候选:它列出 REPO_ROOT, GH_REPO_SLUG, INTEGRATION_BRANCH, REVIEW_BASE_BRANCH, PROJECT_RULES, BUILD_CMD, TEST_CMD, CI_GUARDS, SOURCE_GLOBS, MAINTAINER_WHITELIST;Host language policy 表列出 6 个 HOST_* 空默认字段。source-regression 可以从这些 existing headings 抽 key,无需新术语。
• 当前额外 template exports 都有 concrete consumers,所以不该删除: CODEX_FLOOR in concurrency_monitor.py; RELEASE_ROLLUP_MIN_COMMITS / RELEASE_ROLLUP_COOLDOWN_SECONDS in dev_sync_daemon.py; DEGRADATION_* in concurrency_monitor.py / check_skill_degradation.py; RELEASE_AUTO_ENABLE is documented in SKILL.md and consumed by auto_release_gate.py,但当前 template 缺少它,这是补全点。
• install/uninstall one-liners 已有局部权威段落: statusline 段明确“手动一行,无 installer script”; restart helper 段明确 cron/launchd install。把它们挪到一个新 Host bootstrap install/uninstall 小节会制造又一个目录式入口;更小的做法是在现有两段补 uninstall/test anchors,并让 host.env.example 顶部只保留 copy/fill 用法。

Risks

• 如果只扩展局部测试而不做 key-set equality,未来新增 host-facing env var 仍可能只进 script 或 template 一边。最小方案必须新增/扩展 source-regression:从现有 Host 配置表和 Host language policy 表抽 $VAR,断言 host.env.example export 覆盖;同时断言 runtime defaulted knobs 被表格锚定。
• 如果把 MAINTAINER_WHITELIST 继续写成 optional,会与 comment-monitor.sh 空值 FATAL 和“5 个 daemon 全部要起”的运行事实冲突。正确语义是 normal loop required/fail-closed;只有 host 显式不运行 comment-monitor 时,相关 direct-mention surface 不成立。
• 如果 structural 方案把 HostRuntimeContract 严格限制为“现有 Host 配置表的别名”,实际收益低于新增名字成本;如果它变成新文件/schema/helper,就违反 design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 的不新增 runtime/helper/installer 边界。

Escalation triggers (if any)

• none

Reasoning trace (internal — for meta-judge)

• Why I claim this can be deleted: I do not claim host.env.example can be deleted. The deletion-first result is to delete/collapse the proposed extra abstraction: do not land a named HostRuntimeContract; use the existing Host 配置 / Host language policy tables as the single documented contract.
• What I checked to verify safety: issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 body/comments; r1 minimal/structural/delete artifacts; r1 meta-judge convergence artifact; solver-delete.md contract; _github-post-rules.md; active SKILL.md Host 配置, Host language policy, release, statusline, restart, floor, maintainer whitelist clauses; host.env.example; REFERENCE.md host runtime/bootstrap references; rg for consumers of CODEX_FLOOR, RELEASE_*, DEGRADATION_*, MAINTAINER_WHITELIST, host.env.example, install/uninstall, and HostRuntimeContract.
• What I cannot decide alone: exact wording of the Host 配置 table rows and whether implementer puts defaulted knobs in the same table or a subtable. Delete solver's boundary is clear: existing table/subtable yes; new named contract/schema/installer no.

SOLVER_DONE:delete:abstain:no safe deletion target; endorse minimal existing Host 配置 tables and reject named HostRuntimeContract/duplicate install surface
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 structural solver r2: 选择有界 HostRuntimeContract 投影

TL;DR

• 这是什么:issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 Phase 9 round 2 structural solver 输出。
• 结论:推荐命名 HostRuntimeContract,但只作为 SKILL.md markdown 表 + source-regression 投影测试,不新增 runtime schema/API/installer。
• 下一步:meta-judge 可在 r2 用此边界与另外两路 solver 收敛。

---

详细说明

r2 convergence 的核心问题是 minimal existing tables 还是 named projection。我建议选后者,但收窄为文档/测试层:把所有 host-facing env var 收到 SKILL.md 一张表,host.env.example 只是这张表的 shell 模板,新增 test_host_runtime_contract.py 做 key-set equality、required/defaulted/optional 分段、每个 export 行为注释和 bootstrap one-liner 单源性断言。

关键收敛点:

问题	structural r2 选择
CODEX_FLOOR / RELEASE_* / DEGRADATION_*	纳入 contract 表,否则模板 extra export 仍是事实源例外
MAINTAINER_WHITELIST	surface-aware required:comment-monitor/direct mention fail-closed;未启相关 surface 可 noop
install/uninstall	集中到 Host bootstrap install/uninstall 小节,局部段落只引用 anchor
测试权威	新增 test_host_runtime_contract.py,现有测试只保留局部边界断言

预估改动约 +185/-70 LOC,运行时成本 0ms、0 新进程、0 daemon、0 actor hop。明确禁止 INSTALL.md、installer script、JSON schema 或 runtime loader。

---

📎 完整 codex 原始输出(存档备查)

---

solver: structural
issue: 140
cluster: issue-140
verdict: propose

PROJECT_RULES clause violated (quoted verbatim)

• 事实源唯一:同一约束禁止在多处平行声明。版本号 → .version-bump.json;host 运行时事实 → host.env;skill 行为 → 该 skill 的 SKILL.md 与 scripts/test_*.py。
• 变更必须可验证:行为约束必须落到机械验证手段(behavior test / source-regression test / 段落 lint);仅靠"agent 应该记得"承载的约束视为未落地。
• 生成物不当事实源:临时日志、一次性报告、agent 草稿、运行输出不得成为长期规范来源;权威源永远在 SKILL.md / 脚本 / 测试里。

Recommended framing

r2 我继续推荐命名的 HostRuntimeContract,但把边界收窄为 SKILL.md 中一张 markdown 表 + 一个 source-regression 投影测试,不是 runtime schema/API、不是 installer、不是第二份安装文档。minimal 的“扩展现有表”会在落地时自然变成同一件事:必须把 CODEX_FLOOR、RELEASE_*、DEGRADATION_*、MAINTAINER_WHITELIST 的 required/default/empty 行为写进 SKILL.md,并让 host.env.example 与这张表机械一致。既然 convergence 问题要求防止 host.env.example、Phase 0 bootstrap、statusline/restart one-liner 再漂移,应直接把这个投影命名并测试化;否则 extra export 继续靠“模板里有但表里没有”的例外存在,违反事实源唯一。

Concrete plan

• New abstractions (if any): HostRuntimeContract。接口是文档/测试契约:表列为 Env var, Requirement, Default / empty behavior, Consumer / reason。Layer: skill contract + source-regression projection。Project: skills/codex-refactor-loop。Filename: skills/codex-refactor-loop/SKILL.md + skills/codex-refactor-loop/scripts/test_host_runtime_contract.py。明确禁止生成 JSON schema、runtime loader、installer script 或 daemon。
• Files:
  • skills/codex-refactor-loop/SKILL.md:将 ## Host 配置(通用化注入点) 改为 ## HostRuntimeContract — host.env projection;合并当前 Host 配置表和 Host language policy 表;纳入所有 host-facing exports: REPO_ROOT, GH_REPO_SLUG, compatibility GH_OWNER/GH_REPO_NAME, INTEGRATION_BRANCH, REVIEW_BASE_BRANCH, PROJECT_RULES, BUILD_CMD, TEST_CMD, CI_GUARDS, SOURCE_GLOBS, MAINTAINER_WHITELIST, 6 个 HOST_*, CODEX_FLOOR, RELEASE_ROLLUP_MIN_COMMITS, RELEASE_ROLLUP_COOLDOWN_SECONDS, RELEASE_AUTO_ENABLE, RELEASE_AUTO_MIN_MERGES, RELEASE_AUTO_MIN_INTERVAL_HOURS, DEGRADATION_WATCH_INTERVAL_SECONDS, DEGRADATION_WATCH_TIMEOUT_SECONDS, DEGRADATION_ALERT_TAIL_LINES。新增 Host bootstrap install/uninstall 小节作为唯一 host bootstrap one-liner surface:copy host.env.example,statusline install/uninstall,restart-daemons cron/launchd install/uninstall。statusline 与 anti-stop 段只引用该小节,不再各自维护完整安装事实。
  • skills/codex-refactor-loop/host.env.example:按 contract 表重排为 required, defaulted, optional empty/noop 三段;每个 export 前 1-3 行写 requirement 与空值/默认行为。MAINTAINER_WHITELIST 标为 required for comment-monitor/direct mention safety,并说明若 host 不启用 comment-monitor/direct mention surface 可留空但对应 surface fail-closed/noop;Phase 0 5-daemon dogfood host 必填。新增缺失的 release auto opt-in exports,默认 disabled/noop。
  • skills/codex-refactor-loop/REFERENCE.md:Phase 0 host.env 缺失处改为引用 SKILL.md#hostruntimecontract--hostenv-projection;只保留重型启动解释,不重复完整 env var 清单或安装 one-liner。
  • skills/codex-refactor-loop/scripts/test_host_runtime_contract.py:新增权威 source-regression。解析 SKILL.md contract 表和 host.env.example export 行;断言 key-set equality、requirement 分段一致、每个 export 有行为注释、Host bootstrap install/uninstall 是唯一完整 one-liner surface、REFERENCE.md 不复制完整 env var 表。
  • skills/codex-refactor-loop/scripts/test_ensure_project_rules_fixed_points.py:删除/缩窄 host-env key-set 的局部手写断言,保留 Host language policy Set A 与 CODEX_REFACTOR_LOOP_SKILL_ROOT 不进入模板等现有 fixed-point 测试;让新增测试成为 key-set 权威。
  • skills/codex-refactor-loop/scripts/test_skill_reference_anchors.py:更新 statusline 断言为“statusline 段引用 bootstrap 小节 + 无 installer script + read-only/no daemon 边界”,不再复制完整 JSON one-liner。
  • skills/codex-refactor-loop/scripts/test_anti_stop_restart_helper_contract.py:更新 restart helper 断言为“anti-stop 段引用 bootstrap 小节 + cron/launchd-only/no lifecycle 边界”,不再把 install body 作为第二事实源。
• LOC delta: ~+185 / -70。SKILL.md +65/-25, host.env.example +55/-20, REFERENCE.md +8/-18,新增测试 +95,既有测试调整 +35/-7。
• Tests to add:
  • test_host_runtime_contract.py::test_host_env_example_exports_exactly_contract_keys:表中 env keys 与模板 exports 完全一致;允许 explicit non-template override denylist 只含 CODEX_REFACTOR_LOOP_SKILL_ROOT。
  • test_host_runtime_contract.py::test_requirement_sections_match_contract:required/defaulted/optional 三段与表一致;MAINTAINER_WHITELIST 对 comment-monitor/direct mention 标 fail-closed;6 个 HOST_* 为空默认;release auto opt-in 默认为 disabled/noop。
  • test_host_runtime_contract.py::test_each_export_has_behavior_comment:每个 export 前 1-3 行包含 required/default/empty/noop/fail-closed 行为词之一,防止裸变量漂移。
  • test_host_runtime_contract.py::test_bootstrap_one_liners_are_single_sourced:只有 Host bootstrap install/uninstall 小节包含完整 copy/statusline/restart one-liner;statusline/anti-stop 段引用该小节;禁止根 INSTALL.md,禁止 installer.sh / install-statusline.sh。
  • 调整 test_skill_reference_anchors.py 与 test_anti_stop_restart_helper_contract.py:断言局部段落不复制完整安装事实,只保留 runtime exception 边界与 bootstrap anchor。
• Schema/protocol changes (if any): none。HostRuntimeContract 是 markdown/source-regression 投影,不改 WorkUnit、marker、daemon ledger、pending-event、GitHub payload、shell sourcing 语义。
• Governance/ruleset changes (if any): none。CLAUDE.md 已有事实源唯一、host runtime facts 由 host.env 注入、变更必须可验证;本计划只把这些规则落实到 skill 内契约和测试。
• Runtime cost: loop runtime +0ms,0 new process,0 daemon,0 actor hop,0 shell sourcing change。测试成本约 +100-180ms Python unittest markdown/shell parse。

Risks

• 比 minimal 多一个测试文件和一个命名 contract,短期改动面更大;但命名只存在于 SKILL.md 和测试名中,不会形成 runtime abstraction。这个边界比“现有表 + 模板 extra exports”更容易被 architect reviewer 接受,因为它消除事实源例外。
• 解析 markdown 表有脆弱性;测试应解析 $VAR token、requirement enum 和 section anchor,不要绑定整段中文措辞或列宽。
• MAINTAINER_WHITELIST 的 required 语义必须写成 surface-aware:comment-monitor/direct mention safety required/fail-closed;未启用相关 surface 的 host 可 noop。这样既对齐当前 dogfood Phase 0 5-daemon 全起事实,也不把所有下游 host 强制成同一运行形态。
• 集中 bootstrap one-liner 不能变成 INSTALL.md 或 installer script;它只是把现有分散一行命令移到 SKILL.md 唯一小节,局部段落通过 anchor 引用。

Escalation triggers (if any)

• none

Reasoning trace (internal — for meta-judge)

• Why this structure beats a documented exception:documenting extra exports only in host.env.example leaves SKILL.md host table incomplete by construction. CODEX_FLOOR, release auto/rollup, and degradation knobs are host-facing runtime facts; if they stay outside the contract table, the next change can again update one surface and miss the other. A key-set projection test blocks that class mechanically.
• Why I picked this abstraction over alternatives:HostRuntimeContract has at least four concrete callers/surfaces:Phase 0 bootstrap, prompt/reviewer host policy injection, daemon/runtime knobs, and host install/statusline/restart onboarding. A JSON schema or installer script would be overbuilt; a named markdown table + test is the smallest structural projection that covers all four.
• What I cannot decide alone:nothing requiring maintainer or GPG ratification. The only implementation choice left is anchor wording; the boundary should be structural projection, not minimal scattered table expansion.

SOLVER_DONE:structural:propose:choose bounded HostRuntimeContract markdown table plus projection test; include runtime knobs, surface-aware maintainer whitelist, and single bootstrap one-liner source
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 meta-judge r2: 未达 3/3,进入 round 3 收敛

TL;DR

• 这是什么:issue design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 的 r2 meta-judge 仲裁结果。
• 结论:未达 consensus;minimal/structural 仍在 HostRuntimeContract 命名与 bootstrap one-liner 集中化上分歧。
• 下一步:controller 重新派 round 3,只问剩余命名与 install authority 边界。

---

详细说明

本轮有实质进展,但不是 3/3 unanimous。minimal 与 structural 已同意把所有 host-facing env var 写进 SKILL.md 表、让 host.env.example 与表做 key-set 一致性校验、并为每个 export 写 required/default/empty 行为注释。delete 继续 abstain,但明确支持 minimal 作为非删除落地边界。

剩余分歧足够具体,所以继续 convergence,不升级 stalled。当前 convergence round=2,未达到 >=3 的 stall 门槛;而且 structural 已把 HostRuntimeContract 收窄为 markdown 表 + source-regression, minimal 也已接受 runtime knobs 进入 SKILL.md 表。

方案	取舍
minimal	保留现有 Host 配置(通用化注入点) / Host language policy 表,扩展现有测试和局部 install anchors。
structural	改名为 HostRuntimeContract,新增专门投影测试,集中 Host bootstrap install/uninstall 小节。
delete	不删 host.env.example;拒绝新增命名 contract/重复安装面,偏向 minimal。

round 3 的问题:在已同意 key-set equality、行为注释、禁止 installer script/INSTALL.md/第二份 host var 清单的前提下,是否仍需要 HostRuntimeContract 这个名字和集中 bootstrap 小节,还是保留现有表名与 statusline/restart 局部 anchors。

---

📎 完整 codex 原始输出(存档备查)

---
issue: 140
cluster: issue-140
convergence_round: 2
solver_verdicts:
  minimal: propose
  structural: propose
  delete: abstain
decision: converge
---

## Decision
本轮仍未达到 3/3 unanimous consensus。minimal 与 structural 已经同意 #140 的核心事实:必须把 `CODEX_FLOOR`、`RELEASE_*`、`DEGRADATION_*`、`MAINTAINER_WHITELIST` 等 host-facing runtime knobs 纳入 `SKILL.md` 可验证契约,同步补全 `host.env.example` 的 required/defaulted/optional/empty behavior,并用 key-set source-regression 防漂移。分歧仍是同一个具名边界:minimal 和 delete 都要求保留现有 `Host 配置(通用化注入点)` / `Host language policy` 表与 statusline/restart 局部 install-uninstall anchors,不新增 `HostRuntimeContract`;structural 则坚持把这张投影命名为 `HostRuntimeContract` 并集中 `Host bootstrap install/uninstall` 小节。delete 是 abstain 且明确支持 minimal,所以不是 3/3 propose;两位 proposer 的文件边界、命名、测试权威位置和 LOC delta 仍不同。当前 convergence round=2,`2 >= 3` 为 false,且 r2 相比 r1 有实质进展:minimal 已接受把 runtime knobs 收进 `SKILL.md` 表,structural 已把新 abstraction 收窄为 markdown 表 + source-regression。因此不触发 stalled,进入 round 3 收敛。

## If converge
- Convergence question (specific): 在已经同意“所有 host-facing env var 必须进入 `SKILL.md` 表、`host.env.example` 必须 key-set 一致、每个 export 必须有 required/default/empty 行为注释、禁止 installer script/INSTALL.md/第二份 host var 清单”的前提下,唯一剩余问题是:是否仍需要把现有 Host 配置表重命名为 `HostRuntimeContract` 并集中 bootstrap one-liner,还是保留现有表名与局部 install anchors;请选择一边,并给出对另一边的不可接受阻断点。
- What each solver should address explicitly:
  - `HostRuntimeContract` 这个名字本身是否带来必要的 contract clarity;如果支持,说明为什么现有 `Host 配置(通用化注入点)` 加 key-set equality 测试仍不够;如果反对,说明测试名/段落锚点如何提供同等机械约束。
  - `Host bootstrap install/uninstall` 集中小节是否是事实源唯一的必要条件;如果支持,说明 statusline/restart 局部段落只引用 anchor 后不会丢失 surface-specific 边界;如果反对,说明两个局部 install anchors 如何不构成重复事实源。
  - source-regression 权威应是新增 `test_host_runtime_contract.py`,还是扩展现有 `test_ensure_project_rules_fixed_points.py` / `test_skill_reference_anchors.py` / `test_anti_stop_restart_helper_contract.py`;必须说明 key-set equality、requirement 分段、每个 export 行为注释、one-liner 单源性各由哪个测试负责。
  - delete solver 若继续 abstain,必须明确是否把 minimal 边界视为可直接实现的非删除方案,或指出 structural 的命名/集中小节已经收窄到可接受。
- Round number this fires: 3

## Round audit trail (links to local artifacts)
- solver-minimal: .refactor-loop/runs/phase9-issue140-r2-minimal.md
- solver-structural: .refactor-loop/runs/phase9-issue140-r2-structural.md
- solver-delete: .refactor-loop/runs/phase9-issue140-r2-delete.md

META_JUDGE_DONE:converge:round-3:decide exact HostRuntimeContract naming and bootstrap one-liner authority boundary
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧

[loning]

🤖 minimal solver r3: 保留现有 Host 配置表名,不引入 HostRuntimeContract

TL;DR

• 这是什么:design(v1.0 泛化 A): host.env.example 补全 + install/uninstall one-liner 文档化 #140 round 3 minimal solver 对剩余命名/install authority 分歧的结论。
• 结论:建议保留现有 Host 配置(通用化注入点) / Host language policy 表名和 statusline/restart 局部 install anchors。
• 下一步:controller 收齐 r3 structural/delete 后交给 meta-judge 判断是否收敛。

---

详细说明

我选择 minimal 边界:HostRuntimeContract 这个名字本身不增加机械约束;真正要落地的是从 SKILL.md 现有 Host 表抽取 $VAR key、与 host.env.example 做 key-set equality、并要求每个 export 都有 required/defaulted/optional/empty 行为注释。

install/uninstall 也不应集中成一个 bootstrap 小节。statusline 是 Claude settings JSON 字段,restart helper 是 cron/launchd wrapper;两个 surface 的局部 anchors 更能保住各自边界,同时通过测试继续禁止 INSTALL.md、installer script 和第二份 host var 清单。

---

📎 完整 codex 原始输出(存档备查)

---

solver: minimal
issue: 140
cluster: issue-140
verdict: propose

Recommended framing

在 r3 收敛问题上,minimal 仍选择保留现有 SKILL.md 的 Host 配置(通用化注入点) / Host language policy 表名,并强化它们的字段覆盖、行为语义和 source-regression,不把同一张表重命名为 HostRuntimeContract。HostRuntimeContract 这个名字没有带来新的机械约束:真正的约束来自从现有表抽取 $VAR key、与 host.env.example 做 key-set equality、并断言每个 export 有 required/defaulted/optional/empty 行为注释。install/uninstall 也不需要集中成一个 Host bootstrap install/uninstall 小节;statusline 的 Claude settings JSON 字段和 restart helper 的 cron/launchd wrapper 是两个不同 surface,保留局部 anchors 更能保住各自边界,同时禁止 INSTALL.md、installer script 和第二份 host var 清单。

Concrete plan

• Files:
  • skills/codex-refactor-loop/SKILL.md:保留 ## Host 配置(通用化注入点) 与 ### Host language policy 标题;把 Host 配置表补成所有 host-facing env var 的权威表。新增/补齐 CODEX_FLOOR, RELEASE_AUTO_ENABLE, RELEASE_AUTO_MIN_MERGES, RELEASE_AUTO_MIN_INTERVAL_HOURS, RELEASE_ROLLUP_MIN_COMMITS, RELEASE_ROLLUP_COOLDOWN_SECONDS, DEGRADATION_WATCH_INTERVAL_SECONDS, DEGRADATION_WATCH_TIMEOUT_SECONDS, DEGRADATION_ALERT_TAIL_LINES;把 MAINTAINER_WHITELIST 写成 surface-scoped required/fail-closed:comment-monitor/direct mention surface 启用时必填,Phase 0 all-daemon bootstrap 空值失败,未启用相关 surface 的 host 可 noop。statusline 段只补 Install one-liner / Uninstall one-liner anchors 并保留 “手动一行,无 installer script”;restart helper 段只补 cron/launchd install 与 uninstall anchors 并保留 cron/launchd-only/no lifecycle authority。
  • skills/codex-refactor-loop/host.env.example:按 required / defaulted / optional 分段重排;每个 export 前写 requirement、默认值或空值行为;补 RELEASE_AUTO_ENABLE, RELEASE_AUTO_MIN_MERGES, RELEASE_AUTO_MIN_INTERVAL_HOURS;保留 GH_OWNER/GH_REPO_NAME compatibility 字段;不新增 CODEX_REFACTOR_LOOP_SKILL_ROOT 这类安装路径事实。
  • skills/codex-refactor-loop/scripts/test_ensure_project_rules_fixed_points.py:扩展现有 source-regression,从 SKILL.md 的 Host 配置表和 Host language policy 表抽取 $VAR,断言 host.env.example export key 与表 key 一致,只允许 GH_OWNER/GH_REPO_NAME 兼容例外;断言 required/defaulted/optional 分段存在;断言每个 export 附近有 requirement/default/empty behavior 注释;断言没有 HostRuntimeContract、第二份 host var 清单或新 schema/helper。
  • skills/codex-refactor-loop/scripts/test_skill_reference_anchors.py:扩展 statusline 现有测试,断言 statusline 局部段落包含 Install one-liner, Uninstall one-liner, statusLine, “手动一行,无 installer script”,并继续断言无 installer.sh / install-statusline.sh。
  • skills/codex-refactor-loop/scripts/test_anti_stop_restart_helper_contract.py:扩展 restart helper 现有测试,断言 cron one-liner、launchd template、uninstall note、cron/launchd-only、no lifecycle authority 同段存在。
• LOC delta: ~+100 / -25。主要是表格和模板注释;测试增量约 +30 LOC。
• Tests to add/modify:
  • test_ensure_project_rules_fixed_points.py:负责 key-set equality、required/defaulted/optional 分段、每个 export 行为注释、禁止 HostRuntimeContract/schema/第二 host var 清单。
  • test_skill_reference_anchors.py:负责 statusline install/uninstall one-liner 单源性和 no installer script。
  • test_anti_stop_restart_helper_contract.py:负责 restart helper cron/launchd install/uninstall 单源性和 no lifecycle authority。
• Governance/ruleset change (if any):none。CLAUDE.md 已有 host runtime facts 来自 host.env、事实源唯一、变更必须可验证;本计划只把这些约束落到 skill 表、模板和测试。
• Migration path:无自动迁移;下游 host 对照新版 host.env.example 补齐缺失 key。旧 key 继续有效;新增 release auto gate key 默认空/false,不会启用 release lifecycle。

Risks

• 不采用 HostRuntimeContract 名称会少一个显式英文 contract label;用测试名、表格 anchor 和 key-set equality 补足机械约束即可。
• 局部 install anchors 有两个位置;但它们描述不同 surface 的不同安装动作,不是同一事实的两份副本。重复风险由各自 source-regression 和 no installer-script 断言约束。
• Markdown 表抽取测试要避免绑定中文整句或列宽;只绑定 $VAR token、requirement enum/关键词和段落 anchor。
• MAINTAINER_WHITELIST 必须写成 surface-scoped fail-closed,否则会误导未启 comment-monitor 的下游 host。

Escalation triggers (if any)

• none

Reasoning trace (internal — short, for meta-judge)

• Why this is the minimum:SKILL.md 已经有 Host 配置表、Host language policy 表、statusline 段和 restart helper 段;缺的是字段覆盖和机械校验,不是缺一个新名字。把 existing anchors 升级为权威源比重命名、集中 bootstrap 小节和新增测试文件更小。
• What I considered but rejected:HostRuntimeContract markdown-only 名称已经比 r1 收窄,但仍会引入新术语并迫使实现迁移 anchors/测试命名;集中 bootstrap 小节会把 statusline JSON 设置和 restart cron/launchd 边界混在一起,削弱 surface-specific guardrails。
• What I cannot decide alone:none。这个方案可直接派 implement worker;不需要 GPG、Tier I/II、CLAUDE.md 修宪或 maintainer 决策。

SOLVER_DONE:minimal:propose:保留现有 Host 配置表名和局部 install anchors,用 key-set equality 与行为注释测试替代 HostRuntimeContract 重命名
⟦AI:AUTO-LOOP⟧

⟦AI:AUTO-LOOP⟧