samirliu/goal-loop

**EN** — goal-loop combines the DRIVE of the harness /goal (never stop until done) with the CREW of /team (parallel teammates on one deliverable) plus the layer both lack: an external acceptance gate with a frozen contract. **/goal 的驱动 + /team 的 crew + 一道谁都不能绕过的验收门。**
**v3.0.0** — legal-surface compaction only. The always-on law is five invariants (GATE / BIND / PROVE / GRADIENT / FENCE); depth lives in references/packs/. Mechanical gate checks are unchanged from 2.9.0.
**v2.8.0** — two execution backends (default one-shot subagents; opt-in Agent Teams), one judge (the gate). 执行面两档、判命面一档。 v2.8 新增：评估驱动归因（--strategy 策略标签 + ctl status 的 EFFICIENCY 斜率 / eval-gap / promote advisory，纯旁路不改门控）、worker 间 peer-notes 共享发现池（claim-not-instruction 铁律）、复杂目标契约三层形状（patterns §12）。
**中文** — 一个 Claude Code skill，把两个开源项目的纪律融合进一条循环：*ralph-claude-code* 的双条件退出门控 + *fable-mode* 的对抗式检查员面板。核心承诺：**模型永远不能自我宣布完成** —— 只有外部 shell 门控（goal_gate.sh）能发 GO，且门控**亲自重跑每条确定性检查**（信任链零模型参与）；判断类质量声明交冷席终验。对"尽可能完美"类开放目标，forge 退出以**验证穷尽**收尾（连续 K 轮挖不出有证据的新缺陷），而非仅凭地板达标。
---
Install / 安装
Two pieces, both required / 两件套，缺一不可：
- Windows（git-bash）路径同上：C:\Users\ \.claude\skills\goal-loop\ 与 C:\Users\ \.claude\agents\。
- 依赖：grep / sed / gawk / sha1sum|cksum，**无 jq**；CR 与 LC_ALL 已内置处理。有 coreutils timeout 时每条门控重跑检查限时（默认 120s）。
- **macOS**：系统 bash 是 3.2，系统 awk 是 BSD —— 脚本已兼容 bash 3.2；gawk 必装且会自动发现 ~/.local/bin/gawk、Homebrew 路径。brew install gawk（可选 coreutils 提供 timeout/gtimeout）。
- **Linux**：apt install gawk（通常已带）。
- Smoke test / 冒烟验证（不耗 API）：
Quick start — in-session / 快速开始 — 会话内
Four steps, no fifth / 四步循环，没有第五步：
1. **Contract / 契约** — decompose into AC-1..N, each a yes/no statement
**plus the exact command that settles it** (a check must be able to FAIL).
You approve with one word → AC section frozen by a sha1 stamp (R3).
每条 AC = 可判定陈述 + 能让它失败的指名检测命令；你回一个字即盖章冻结。
2. **Dispatch / 派工** — concurrent workers on disjoint file scopes (width fits the work; no default cap);
interfaces frozen in .goal/interfaces.md first.
默认一波 subagent；--teams 换 Agent Teams 队友（见下）。
3. **Join + gate** — merge review, then bash scripts/goal_gate.sh --check
re-runs every deterministic check. This is the **only** completion authority.
合并审阅后门控重跑全部确定性检查——唯一的完成判定。
4. **Branch / 分岔** — GO → deliver. NO-GO → fix and take the next wave
(the loop does not stop). BLOCKED → stop under the four parking rules.
GO 交付；NO-GO 继续派工；BLOCKED 停车上报。
Judged quality claims are reviewed **once** by a fresh cold seat before you
claim exit — never by the producers. 判断类 AC 在 claim 前由全新冷席终验一次，
生产者不自裁。
Flags / 参数
| flag | meaning / 含义 |
|---|---|
| --auto | still show the full contract summary, stamp immediately, ledger records approval=auto / 仍展示摘要，随即盖章记 auto |
| --time-budget=N | whole-loop wall-clock fuse; on expiry deliver best-so-far / 墙钟保险丝，到期优雅交付 |
| --teams | swap dispatch for an Agent Teams crew (see below) / 换 Agent Teams 后端 |
Exit policy is a **contract field**, not a mode: exit: threshold (default,
delivery/build) or exit: forge (maximization). No modes matrix. 退出策略写在
契约里（exit: threshold|forge），不再有 quick/standard/deep 模式矩阵——
exit 策略/预算/基线由控制器在摘要中推断声明，旗标只是覆写。
**forge** (optimization objectives / 优化类目标): GO requires floors **plus** a
K-round dry streak (dry_limit, default 3 — critic finds no new evidence-backed
finding) **plus** an empty completeness-critic answer; max_iterations is a pure
fuse (rc=3 budget-fuse). Metric ACs default to baseline: delta — stamping
requires .goal/baseline.md (smoke run = baseline measurement, repeats≥2).
forge 退出 = 地板全过 ∧ dry_streak≥dry_limit ∧ critic 空答案；盖章前必须有基线。
In-session bookkeeping is one Bash call: scripts/goal_ctl.sh close-iteration ...
(forge contracts require --dry yes|no). 会话内记账一条命令。
Teams backend / Teams 后端（opt-in，native first）
**Native first.** --teams 的选择靠**工具面探测**，不靠 flag 内容：当前
harness 有原生 TeamCreate/TeamPlan/SendMessage 就直接用原生（持久队友 +
面板，一次 roster 审批）；没有才跑便携层。flag 只决定「要不要 team」，
工具列表决定「用哪种」。
**Native first.** Selection is by detection: if TeamCreate/TeamPlan/