Skip to content

chore(agents): 入口协议块增补 N-8 分歧申报行(DGA-A 并线 A5) - #10

Merged
randypanding merged 1 commit into
mainfrom
dga-a5-fleet
Sep 6, 2026
Merged

chore(agents): 入口协议块增补 N-8 分歧申报行(DGA-A 并线 A5)#10
randypanding merged 1 commit into
mainfrom
dga-a5-fleet

Conversation

@randypanding

Copy link
Copy Markdown
Contributor

按 ADR-0107(DGA-A N-8 分歧申报纪律)与 IR-0009 A5 收编项,AGENTS.md 入口协议块(v2)增补第 7 行:「分歧必须申报;未经 owner 指令不得向共识收敛(ADR-0107,DGA-A N-8)。」旧块 991B 逐字节核验通过后整体替换为 .github@main 权威新块;块外内容零改动。holdout 依 IR-0009 §1 零写禁令豁免(ADR-0109 决策 4 预期漂移)。canary=template-service#51 已验证。

Copilot AI lite review requested due to automatic review settings September 6, 2026 08:08
@qodo-code-review

Copy link
Copy Markdown

ⓘ Qodo reviews are paused because your trial has ended. Ask your workspace admin to add credits to resume reviews. Manage billing

@randypanding
randypanding merged commit 43324e9 into main Sep 6, 2026
11 checks passed
@randypanding
randypanding deleted the dga-a5-fleet branch September 6, 2026 08:08

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

变更仅为文档入口协议补充且不影响运行逻辑,现有反馈为轻微格式一致性问题。

Pull request overview

本 PR 依据 ADR-0107(DGA-A N-8 分歧申报纪律)在 AGENTS.md 的入口协议(entry-protocol v2)中补充一条新规约,用于约束 agent 在出现分歧时的申报与收敛行为,保持入口协议块内容与上游权威版本一致。

Changes:

  • 在入口协议编号列表中新增第 7 条:分歧必须申报、未经 owner 指令不得向共识收敛(引用 ADR-0107 / DGA-A N-8)。
File summaries
File Description
AGENTS.md 在入口协议块新增第 7 条分歧申报纪律说明,完善 agent 工作入口规约。
Review details
  • Files reviewed: 1/1 changed files
  • Comments generated: 1
  • Review effort level: Lite

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread AGENTS.md
4. 开工:`make card-test CARD=<n>`(读卡 AC、测试先行)→ `make gates-pr`(本地复现 CI 关卡)
5. 提 PR:body 必带一行卡元数据 `Card: <owner>/<repo>#<n>`(`bash ghcb card-meta <n>` 生成;缺失=后续关卡 exit 3)
6. front-desk 命令(卡 issue 评论,conductor 转介 arbiter 处理):/claim 认领 · /release 释放租约 · /retry 隔离回流
7. 分歧必须申报;未经 owner 指令不得向共识收敛(ADR-0107,DGA-A N-8)。
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants