メニュー
认领并执行三年规划台账（3Y-BET-LEDGER）里的 bet。当你要开始一项工程/治理任务、需要知道现在该做什么、或被要求「领一个 bet」时使用。Triggers on: bet, 台账, ledger, BET-Y1Q1, bet-ledger, 认领任务, claim bet, 三年规划, 我该做什么, what should I work on, 下一步做什么。
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/starlink-awaken/omostation --skill bet-executionコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
多 agent 并行下的 git 纪律：隔离工作树、交付三段式（add/commit/tag）、逃生口、子模块、僵尸锁、合并型交付补 claim、agent 自身 git 写能力自检。当你要提交代码、切换分支、碰子模块、做分支合并、遇到门禁拦截或 claim 冲突、或发现自己的文件消失 / git 行为诡异时使用。Triggers on: git commit, git merge, git checkout, 合并, 分支被切走, 文件消失, 提交丢了, claim 失败, 锁被占, index.lock, Operation not permitted, no-verify, 门禁拦截, D3, swarm-d3, submodule, 子模块, worktree, PASW, swarm-git, escape, unbound variable。
Coordinate tasks between multiple AI agents using the A2A (Agent-to-Agent) protocol via Agora MCP. Covers Agent Card registration, task delegation, status tracking, and swarm node discovery. Use when multiple agents need to collaborate, delegate work, or discover each other's capabilities.
Onboard a new AI agent into the omostation workspace. Covers agent profile registration, MCP connection setup, BOS URI discovery, cockpit CLI orientation, and first workflow lifecycle run. Use when adding a new agent (Claude Code, Codex, Cursor, custom) or re-onboarding after a major architecture change.
| name | bet-execution |
| description | "认领并执行三年规划台账（3Y-BET-LEDGER）里的 bet。当你要开始一项工程/治理任务、需要知道现在该做什么、或被要求「领一个 bet」时使用。Triggers on: bet, 台账, ledger, BET-Y1Q1, bet-ledger, 认领任务, claim bet, 三年规划, 我该做什么, what should I work on, 下一步做什么。" |
① 这个仓库有多个 agent 并行，你的文件会被别人删掉。
写完一个文件立刻 git add。详见 skill git-discipline。
② 主要矛盾是表面积超限，不是能力不够。 Y1 唯一硬目标是让系统变小。所以每个 bet 收尾都要回答"我让系统变大还是变小了"。 推论：不要顺手新增文件、规则、脚本、ADR、文档。
③ 最常见的失败模式是"声明 ≠ 事实"。 不要用文件存在、schema 通过、模拟 harness 代替真实完成。
# 看现在能领什么（按窗口排序，优先做靠前的）
uv run --with pyyaml python bin/plan/bet-ledger.py status
# 挑一个不带 ★ 的（★ 需人类到场，你领不了），检查能否认领
uv run --with pyyaml python bin/plan/bet-ledger.py claim-check <BET-ID>
claim-check 检查四件事——状态可认领、依赖已 done、无冲突轨道在跑、未超并行上限（4）——
通过则直接打印后续所有命令，照抄执行即可。
不通过就换一个 bet，不要强行开工。
uv run --with pyyaml python bin/plan/bet-ledger.py show <BET-ID>
重点看四个字段：
| 字段 | 含义 |
|---|---|
goal | 一句话目标 |
non_goals | 硬边界，不是建议。想做里面的事 → 另开 bet |
done_when | 验收条件，逐条都要能被 verify 里的命令验证 |
circuit_breaker | 超 appetite × 1.5 时怎么降级。到点就执行，不要硬扛 |
evidence | 若有，是这个 bet 的立项实测依据，读完再动手 |
# ① 隔离工作树（强制，防止和其他 agent 互删）
bash bin/gac/gac-worktree.sh claim <bet-id 小写>
# ② 起 workflow（ADR-0203：先 start 再改文件；必须 --bet，见 chain-bind-check）
uv run --with pyyaml python bin/agent-workflow.py start <workflow-id> \
--profile <agent-profile> --bet <BET-ID> --objective "<BET-ID> <标题>"
# ③ claim 每一个写面
uv run --with pyyaml python bin/agent-workflow.py claim <run-id> --path <每个 write_surface>
workflow-id 与 agent-profile 在 claim-check 的输出里，也在 bet 的 workflow 字段
和轨道的 agent_profile_hint 里。
链门指针：start --bet 把 bet_id 写入 run（wrapper 与 omo CLI 同一谓词）；缺北极星/绑定/retro 时 closeout 与 bet-ledger complete halt。感知：bootstrap/status 的 chain: 行取最近关闭绑定（updated_at/created_at，不是文件名第一），显示 BET-ID (closed)。bet-ledger verify --execute 看命令退出码。执行器 bin/plan/chain-bind-check.py，红线 redlines.yaml::vision-to-retro-chain（见 docs/generated/agent-redlines.md），对照 docs/architecture/wave-gate-bet-map.md。
write_surfaces 列出的路径。改别的 = 越权（D3）。git add（D0）。done_when 有条目无法验证，这本身是一个发现，写进 Q3，不要自行放宽标准。# ① D0 优先：先入库再验证
git add <所有 deliverable>
# ② 台账验收（同时跑 D0 检查）
uv run --with pyyaml python bin/plan/bet-ledger.py verify <BET-ID> --execute
# ③ 表面积记账（D2）
uv run --with pyyaml python bin/plan/bet-ledger.py surface
# ④ workflow 验证与关闭
uv run --with pyyaml python bin/agent-workflow.py verify <run-id> --from-diff --execute
make agent-workflow-closeout RUN_ID=<run-id>
# ⑤ 门禁
make gac-local-gate && make ssot-guardian
# ⑥ 写复盘（D5：无 retro 不得置 done）
# .omo/_knowledge/retros/<BET-ID>.md
# ⑦ 钉死 + 提交
git tag -a "bet/<BET-ID>-$(date -u +%Y%m%dT%H%M%SZ)" -m "<BET-ID> deliverable"
bash bin/gac/gac-worktree.sh submit <bet-id 小写>
第 ⑦ 步的 tag 不是可选项。 commit 只是暂时安全——共享分支被 rebase 时 提交会脱离历史、内容从工作树消失（2026-08-06 实测发生）。tag 的 ref 不随分支重写消失。
| 编号 | 铁律 | 检查 |
|---|---|---|
| D0 | 交付物在 git add + tag 之前不算交付 | git ls-files --error-unmatch <file> |
| D1 | 采集不到的指标显示"未接入"，禁止代理量顶替 | review 抽查 |
| D2 | closeout 必须报告净增减（行/文件/规则/ADR/脚本） | bet-ledger.py surface |
| D3 | 先 claim 后写，未 claim 的写面视为越权 | bet-ledger.py claim-check |
| D4 | 走 ADR-0203 workflow，先 start 再改文件 | agent-workflow.py start |
| D5 | 无 retro 不得置 done | bet-ledger.py retro-due |
| D6 | 指标设立前先问「最便宜的达标路径是什么」，有害则指标不成立 | 已知有害路径写进 non_goals |
2026-08-06 复盘：自设的三个减法指标全部可被有害优化，已全部改判据。
| 类型 | 存在成本 | 删除收益 | 该不该删 |
|---|---|---|---|
| 测试代码（占全仓 33%） | 低 | 负 | ❌ 保护量，下降即违规 |
| advisory 规则（105/136） | ≈0（不阻断） | 零 | ❌ 删了没收益 |
| required 但无违规历史的规则 | 有误伤成本 | 高 | ✅ |
| 休眠项目 / 无消费者模块 | 认知与维护成本 | 高 | ✅ |
| 重复的知识栈（gbrain × kairon） | 维护成本 | 高 | ✅ 但只删去重部分 |
| 历史 ADR | 检索噪音 | 中 | ⚠️ 分层即可，不必删 |
规则：减法必须逐项指名道姓，不接受百分比目标。 每个数量目标都要配一个保护量。
python3 bin/plan/bet-ledger.py surface # test_loc 下降会直接 rc=1
.omo/_knowledge/retros/<BET-ID>.md）五问固定，因为要跨 bet 比较。不要改问题，不要少答。
# <BET-ID> 复盘
## Q1 实际耗时 vs appetite？超出比例？
## Q2 done_when 是否全部通过？哪条没过，为什么？
## Q3 过程中发现的与 plan 不符的事实（打假）？
## Q4 净增减：代码行 / 文件 / GaC 规则 / ADR / 脚本？（贴 surface 输出）
## Q5 下一个认领本 track 的 agent 需要知道什么？
Q3 空着通常说明没认真找。 台账是基于 2026-08-06 快照写的，执行时一定有偏差。 Q4 是 Y1 主目标的下沉。 若净增，必须说明为什么必要、配套删了什么。
BET-ID: <id>
状态: done / blocked / failed
耗时: <实际> vs <appetite>
done_when: <n>/<total> 通过（未过的逐条说明）
表面积净变化: 代码 <±行> / 文件 <±n> / 规则 <±n> / ADR <±n> / 脚本 <±n>
D0 入库: <已 git add 的文件清单> + tag
打假发现: <Q3 摘要，一到三条>
需要人拍板的: <若有>
复盘: .omo/_knowledge/retros/<BET-ID>.md
不要写长篇总结。
claim-check 不过，但你认为应该能领done_when 有条目无法验证write_surfaces 之外的路径circuit_breaker 且降级方案也做不到停下来问，比按自己的理解改计划要好。 这个项目的历史教训是：agent 自行调整计划的速度，超过了人类核对的速度。
3y-bet-ledger.yaml，不改 3Y-BET-LEDGER.md（后者是视图）bet-ledger.py lintgoal / non_goals / done_when / verify / write_surfaces / circuit_breaker