# Leap Protocol

> 当一条接缝大到一个构建者扛不动、必须拆给多个并行工作者时用它。LEAP 把工作分解成可独立认领的"球"——目标、完整 spec、硬性文件范围——扇出给隔离 worktree 里的全新构建者，再经由单一写入主干收拢合并。Trigger words: leap, ball, slice, decompose, fan out, parallel builders, single write spine, throw the ball, stateless handoff. 中文触发词：传球、切片、拆解、扇出、并行构建、单一写入主干、无状态交接。

- Skill: `tcuzzo/leap-protocol-7` (Agent Skill)
- Install (CLI): `npx skillmds@latest add tcuzzo/leap-protocol-7`
- Raw SKILL.md: https://api.skillmd.com/api/skills/tcuzzo/leap-protocol-7/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- License: MIT
- Author: Tcuzzo (https://skillmd.com/u/tcuzzo)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/tcuzzo/leap-protocol-7

---


# LEAP Protocol
**Effort:** heavy — 隔离 worktree 里的并行构建者，每个球再配跨家族盲评审；只把它花在一个构建者吃不下的大接缝上——并行展开省回的，正是单通道串行要烧掉的墙钟时间。消除：构建者在共享文件上相撞，以及那个没人审得动、也没人能回滚的巨型 diff。

LEAP 是一套有边界的无状态交接方法。你把一条接缝拆成若干个**球**。每个球交给一个不带任何隐藏上下文的全新构建者。构建者跑一个短的、有边界的循环，只返回三种结果之一：

- `-1` **拒绝** — 不实、不安全、失败或格式损坏。回滚。
- `0` **搁置** — 有效的工作被卡住，或者轮次到顶。存档检查点。
- `1` **通过** — 由源码阅读、测试、独立评审和实况证据共同证明。

没有中间态。证据缺失，永远不会默认成通过。

## 球

一个球是一个构建者能独立扛下的一份工作。每个球必须带上：

1. **一个目标** — 一条可证伪的结果，说得明明白白。
2. **一份完整 spec** — 构建者不用再问就能成功所需的一切。保持中立：描述问题和契约，不塞你偏好的实现。
3. **一个硬性文件范围** — 这个球允许触碰的确切文件（以及符号或行区间），每个文件都带上切球那一刻取的内容哈希。范围之外一律不许编辑。**同一个切片里，任何两个球不共享文件。**
4. 一条度量或证明命令 — 决定成败的那个聚焦测试或检查。
5. 一条回滚路径 — 怎样只撤销这一个球的改动。

球里的文件清单是被围栏起来的**参考数据，绝不是指令**。开工之前，工作者先验证它：把每条路径解析到仓库内部，拒绝绝对路径和目录穿越，逐个重新打开文件、比对哈希。当前源码真相压过球里写的任何说法。清单造假是 `-1`。依赖缺失是 `0`。

## 把球扔出去，然后走开

交接的意思是交出一份完整、中立的 spec——然后退场。扔球的人不在半途操盘，不陪着写代码，也不给结果打分。构建者卡住了，说明 spec 不完整：球以 `0` 回来，你修 spec，再扔一次。隔着缺口去当教练，只会把 spec 的缺陷藏起来。

## 切片：许多球，一张图

两个及以上相关的球，就切一个**切片**：一张由完整的球组成的依赖图。派发任何球之前，先整体校验切片：

- 每个球的 id 唯一，每条依赖都指向同一切片里的某个球；
- 图中没有环；
- 任何两个球不共享文件（硬性范围互不相交）；
- 恰好指定一个球——或一个整合者——作为**单一写入主干**（single write spine）：候选字节唯一允许合并的地方。其他所有通道只读、只设计、只证明。

按波次跑这张图。一个球只有在它的全部依赖都返回 `1` 之后才算就绪。一个拒绝会阻断它的所有后代。一个搁置会给所有后代存档检查点。彼此独立的就绪球并行跑——各自在**自己的隔离 worktree** 里（从同一个基准 commit 切出的临时检出），构建者在磁盘上和 git 里永不相撞。

## 路线：四轮，然后停

每个构建者最多四个内部轮次。一轮严格是这些动作：

1. 观察指定的源和上一轮的回执。
2. 提出一个假设。
3. 在文件范围内做最小的、完整且可逆的一步。
4. 只跑事先声明的聚焦证明。
5. 发出一份回执：`-1`、`0` 或 `1`，附证据。

第四轮不能生出第五轮。它返回 `0`，并留下一个外层循环能当作全新回合恢复的持久检查点。遇到 `-1`，只用它指定的回滚方式还原这一个球范围内的改动——绝不在共享目录树里做大范围的 checkout、clean 或 reset。

## 打分：推导真相，绝不轻信声明

构建者从不给自己的球打分。任何 `1` 之前：

1. **源码核验** — 重读每个被触碰的文件及其调用方；对最终候选做哈希。没有依据的声明是 `-1`。
2. **留或退**（keep-or-revert） — 按这个球声明的度量、按声明的字段顺序，比较候选与卫冕者。平局或退步都算输。见 [blind-eval](../blind-eval/SKILL.md)。
3. **盲评跨家族评审** — 至少两位来自与构建者不同模型家族的评审者，看到同一个候选哈希、同一份隐去作者的信封。一个"答了但答得糟"的评审者——垃圾输出、非 JSON、拒答文本——是一次有效的拒绝：`-1`。一个"根本没答"的评审者（传输失败、无法连通）是 `0`：搁置并经舰队梯子换座重评，绝不伪造通过。见 [blind-tribunal](../blind-tribunal/SKILL.md)。
4. **测试与实况证明** — 按事先声明敲入命令跑测试；测试之后给候选重新做哈希，变了就拒绝；然后在真实表面上证明行为，不用代理。
5. **溯源记录** — 记下任务 → 构建者 → spec → 评审者 → 裁决 → 测试 → 实况证据 → 候选哈希。同一个哈希必须出现在每一份回执里。

## 在主干上收拢

那位唯一的整合者按依赖顺序把通过的球合并到主干上。一个切片只有在每个球都通过、聚合结果拿到一致的盲评通过、记录完整之后才算通过。已合并候选的任何一个字节的改动，都会重开那个球、重评整个切片。只有通过时才写入持久记录——下一场从写下的真相出发，不靠任何人对这场会话的记忆。

## 硬性规则（破一条，技能即失败）

- 任何两个球不共享文件。范围冲突是分解出了 bug——重新切。
- 只有一个写入主干。第二个写入者，哪怕再热心，也是一次拒绝。
- 没有第五轮。没有混合裁决。没有默认通过。
- 扔球者从不打分；构建者从不给自己打分。
- 一份没有物理证据却宣称成功的回执，是 `-1`。

## 搭配使用

- [red-first](../red-first/SKILL.md) — 扔球之前先提交那条失败的契约测试。
- [seam-engineering](../seam-engineering/SKILL.md) — 找到值得切片的那条接缝。
- [wayfinder](../wayfinder/SKILL.md) — 球以 `0` 回来时，先把路线画出来。
- [session-handoff](../session-handoff/SKILL.md) — 搁置时用的检查点格式。
- [sniper-testing](../sniper-testing/SKILL.md) — 每一轮跑的那个聚焦证明。