spec(evolution): brake 1's operational-copy window and the measurement's live-tree clone can overlap

[smileygames]

purpose

brake 1 の operational-copy 窓と、ライブ .claude/ を複製する規則効果測定とが同時に走れない構造を作るかどうかを決める。

#1901 実装後まで保留。 #1901 の印（ディスク上のマーカー）が入れば重なりは格段に短くなるため、排他が依然として必要かは印の実装後に測ってから判断する。いま実装に進めると、#1901 と同じファイルに競合する変更を入れることになる。

observation

2026-09-06、二つのセッションが同一 workspace で、それぞれ正当な手順に従って動いた結果、共有 .claude/ の上で衝突した。

• セッション A = PR fix(operations): non-destructive branch update on BEHIND/CONFLICTING (Merge Execution + docs/4) #1899 の brake 1。skills/evolution-parallel-agent-eval/SKILL.md Procedure step 2 は、対象が rules/** のとき operational copy の適用を必須としている。すなわち .claude/rules/operations/main-agent-procedures.md を draft 版へ書き換える。step 5 がそれを戻す。この開いている区間が「窓」。
• セッション B = bug(model): model-agentic-search did not auto-invoke on a prompt matching its own description gate #1854 の規則効果測定。skills/evolution-rule-effect-measurement/SKILL.md Running stage 2 の腕は、ライブの .claude/ を複製して構築される。

どちらの手順も違反していない。 窓の内側で腕 2 本が materialize された（窓開始 23:55:03 に対し 23:55:39 と 23:56:44）。書き込みとの時間的重なりは無く、対象ファイルが測定対象の発火判定に効く経路も無かったため、その回の測定自体は有効だった。

危険の性質

1. 内容の混入 — 腕が draft 版を読む。この回は対象ファイルが測定対象と別だったため影響は小さかったが、一般には成立しない。
2. 引き裂き — 書き込み途中に複製が走り、壊れた本文が腕に入る。低確率だが静かに起きる。腕が複数あるとき、どれが汚染されたか事後に判定できない。この回は発生していない。

汚染が無かった場合でも、窓の内側で読まれた本文を事後に確定できない限り、測定の記録に「実行中に共有 .claude/ が別セッションから書き換えられていた可能性」という但し書きが必要になり、測定の価値が下がる。この事後確定の穴は #1901 が扱う。 本 issue に残るのは、重なりそのものを構造で禁じるかどうかの軸。

採らなかった手段 ―― 窓の最小化

本 issue の初版はこれを本命としていた。skills/evolution-parallel-agent-eval/SKILL.md Procedure step 5 の復元位置を「そのラウンドの全 spawn 完了直後」へ前倒しする案である。

根拠は今も正しい: 注入は subagent の spawn 時点で行われるため（同 SKILL.md Constraint, Character_Instance non-inheritance の literal）、step 2 が要求しているのは「spawn の時点でディスクに draft が在ること」であり、それ以降ディスク側を保持する意味は無い。前倒しの条件が「最初の spawn の直後」ではなく「そのラウンドの全 spawn 完了直後」であることも、step 7 Re-run と N>1 構成から導かれる。実際 PR #1899 の brake 1 は 3 ラウンドとも spawn 直後に閉じ、評価者は正常に動作した。

誤っていたのは、そこから「窓の最小化が収束である」と続けた部分。 同日中の実測で、同じ窓が 4 時間半にわたり閉じられないまま残った ―― ラウンド 2 の評価者が spawn 直後に API 429 で早期終了し、続いて spawn 元セッションでコンテキスト圧縮が挟まったため。窓の長さを決めているのは手順ではなく、書いた手が次に動ける瞬間であり、それは手順の外にある。前倒しは窓の期待値を縮めるが、分散を縮めない。

結論だけを残すと後から読む主体が同じ案をもう一度立てるため、経緯ごとここに残す。前倒しは本 issue の対象外。

対象外

• 閉じ手の消失からの回復、窓の可視化、事後確定の手段 → spec(brake): the operational-copy window has no structure that survives its closer disappearing #1901
• skills/evolution-parallel-agent-eval step 5 の位置を動かすこと（上記「採らなかった手段」）

target files（候補、#1901 実装後に確定）

ファイル	箇所
skills/evolution-parallel-agent-eval/SKILL.md	Procedure step 2〜5（窓の区間）
skills/evolution-rule-effect-measurement/SKILL.md	Running stage 2（ライブ .claude/ 複製の前提）

前提（検証済み）

• 両手順の literal は 2026-09-06 に作業ツリー上で直接確認。
• 窓の開閉の一致は sha256 で確認（両セッションが独立に当てた。開いた版 e0c11e45… / 復帰先 89529a17…）。
• 腕の複製時刻は ~/.claude/projects/ に残ったセッション記録から確定。

関連

• spec(brake): the operational-copy window has no structure that survives its closer disappearing #1901 — 本 issue から分岐した実装 issue。閉じ手の消失に対する回復と窓の可視化を、ディスク上の印で扱う。本 issue はその後に判断する。
• spec(workspace): single-writer state becomes contended when two sessions share one working directory #1811 — 一つの working directory を二セッションが共有したときの single-writer 競合。本 issue はその一段深い形（双方が正当な手順に従っていて、なお壊れうる）。
• spec(operations): own/external split has no ownership test when two sessions share one webhook store #1890 — 共有 store の持ち主判定。担当の割り当てで解ける形。本 issue は担当を割り当てても解けない点で別。

[smileygames]

この issue の収束案は、その後の実測で否定された

本 issue は収束を二つ置いている ―― 窓の最小化（step 5 を「そのラウンドの全 spawn 完了直後」へ前倒し）と、相互排他。前者はこの issue の本体として書かれているが、同日中の実測でそれが本体ではないと分かった。

実測（2026-09-06 23:55 〜 2026-09-07 04:35）

同じ窓が、4 時間半にわたり閉じられないまま残った。

• 開けた側は「spawn 直後に閉じる、実測 1 分弱」と予告していた。本 issue の分析どおりの前倒しを、実際に適用したうえでの予告である
• ラウンド 2 の評価者が spawn 直後に API 429 で早期終了し、続いて spawn 元セッションでコンテキスト圧縮が挟まった
• 閉じる手が動くのは spawn 元が次に動ける瞬間であり、それは手順の外にある

すなわち、窓の長さを決めているのは手順ではなく、書いた手が次に動ける瞬間である。最小化しても、閉じ手が消えれば開きっぱなしになる。前倒しは窓の期待値を縮めるが、分散を縮めない。

この間に、測定側の腕 2 本が窓の内側で materialize された（窓開始 23:55:03 に対し 23:55:39 と 23:56:44）。本 issue が「口頭の申告で回避した」と書いた回避は、申告した側が落ちた時点で無効になった。

帰結

• 本 issue の分析（注入は spawn 時点、ゆえに step 5 は過剰に保守的）は正しい。誤っているのは、そこから「窓の最小化が収束である」と続けた部分である
• 収束は spec(brake): the operational-copy window has no structure that survives its closer disappearing #1901 に移した。ディスク上の印（マーカー）を本体とし、閉じ手の消失・事後確定の不能・部屋の外の読み手の三つを一つの構造で塞ぐ形である
• spec(brake): the operational-copy window has no structure that survives its closer disappearing #1901 は step 5 の前倒しを明示的に対象外として落としている。実測により本体ではないと判断したため

この issue に残るもの

相互排他の軸は #1901 の対象外に置かれているため、本 issue が唯一それを保持している。ただし #1901 の印が入れば重なりは格段に短くなるので、排他が依然として必要かは印の実装後に判断するのが順当である。

したがって本 issue は #1901 実装後まで保留とし、そこで「印を置いてなお残る重なり」を測ってから、排他の要否を決める。いま実装に進めると、#1901 と競合する変更を同じファイルに入れることになる。

（本コメントは #1854 側の測定セッションからの報告。窓の内側での materialize と 4 時間半の実測は、そちらで観測したもの。）