Skip to content

Commit 5676515

Browse files
os-steveclaude
andcommitted
skills(pm-dispatch): hard serial across rounds applies to the same claimed REGION, not the same file — SKILL.md :441 and its core-rules twin, one word each
Clause-②: no The 候选与批次 section gave two opposite serial rules for every shared path but `.objectui-sha`: :437 (「共享其它路径是普通并发,后落地方解冲突」) and :441 (「同文件单跨轮硬串行」). Ruling 甲 narrows :441 to the REGION the claim declared: hard serial across rounds only where the two claims' declared file surfaces overlap; the same file in different regions is ordinary concurrency and the later lander resolves the conflict — which is what :437 already says for every non-single-writer path once :441 stops claiming the whole file. - SKILL.md :441 — 同文件 → 同区域 (107 B → 107 B); the 「延后不是搁置…」 half stays byte-verbatim; :437 untouched; `SINGLE_CLAIM_PATHS` stays the only whole-file single-writer set; 813 / 813. - references/core-rules.md :105 — 同文件硬串行 → 同区域硬串行 (119 B → 119 B), the twin SKILL.md:44 orders; 151 / 151. The ruling's own :441 sentence (「同区域(认领申报的文件面重叠)单跨轮硬串行; 同文件不同区域是普通并发,后落地方解冲突。」) measures 123 B alone and 198 B with the deferral half, against the ratchet's 120-byte line cap and a 813-line ceiling with zero headroom; measured red on the gate in both one-line and two-line forms. The one-word narrowing is the rendering that keeps the deferral half verbatim, net 0, no script, no gate — the PR body carries the measurements and the alternative (a ceiling raise under the ratchet's own maintainer exit). Claude-Session: https://claude.ai/code/session_017ETYWqMQD4qMtZzAGovWNi Co-authored-by: Claude <noreply@anthropic.com>
1 parent 801415a commit 5676515

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎.claude/skills/pm-dispatch/SKILL.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -438,7 +438,7 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报
438438
- 第 N 单派发前读 `scripts/pm/os-verify-lock.sh --status`:到达深度 ≥ `LOCK_DEPTH_HOLD`(= 2)即等。
439439
- 到达深度 = `queue N:` 行数 + 1(待派 dev 的运行算作到达);`state:` holder 与 `parked` 行不计。
440440
- 有效上限是锁宽的函数,⛔ 不是第二个 `batch`;`priority:p0` 可超 `batch`,⛔ 不越过深度等待。
441-
- 同文件单跨轮硬串行;延后不是搁置,被延后那一刻就把已知的坑记到该 issue 上。
441+
- 同区域单跨轮硬串行;延后不是搁置,被延后那一刻就把已知的坑记到该 issue 上。
442442
- 家族派发是范围澄清不是豁免:一个 dev 有意覆盖 N 张同区域已裁卡,可折叠为一次派发。
443443
- 折叠准入五门全过才可折:① 同缺陷形态同修法(⛔ 不是同关键词/同子系统)。
444444
- ② 同包/区域(一 worktree、一 changeset、一队列位)。

‎.claude/skills/pm-dispatch/references/core-rules.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@
102102
- 每轮巡检先读半状态巡查锚上点名本车道的行并逐行处置,未处置 ⛔ 不开新派发。
103103
- 候选整车道一次读全再本地求交,每张读全文与全部评论并把裁决逐字引入派发词。
104104
- 派发前做前提过时检查,动作面、卡引用面与工作项面三面都对树核验。
105-
- 同批独立性按文件面不相交判,⛔ 不按包;同文件硬串行,冲突交合并队列仲裁 ⛔ 不手排。
105+
- 同批独立性按文件面不相交判,⛔ 不按包;同区域硬串行,冲突交合并队列仲裁 ⛔ 不手排。
106106
- 家族派发须过五门:同缺陷同修法、同包区域、成员皆已裁、逐成员可核、点名排除清单。
107107
- 两张以上排队卡共享热文件时,必须以五门为判据显式回答折叠还是串行。
108108
- 取卡全序:插队卡、有下游依赖者的卡、板上项、p1、p2、p3、无级;同级缺陷卡先再卡龄。

0 commit comments

Comments
 (0)