Skip to content

test: 並走する子の枠が、それぞれの相手を持つことを見る - #9

Open
Rererr wants to merge 1 commit into
mainfrom
test/named-executor-frames
Open

Rererr wants to merge 1 commit into
mainfrom
test/named-executor-frames

Conversation

@Rererr

@Rererr Rererr commented Aug 8, 2026

Copy link
Copy Markdown
Owner

なぜ

本体 ADR-0060(実行者の指名)で、分割の子は相手が違いうるようになった。

それ以前は1つの分割の子が全員同じ相手だったので、枠が相手を取り違えても症状が出なかった — 既存の viewFold.test.ts の例はどれも同じ provider で、当時はそれで正しかった。

畳んだメタ行(GUI ADR-0014)は「誰が答えたか」を言う行なので、取り違えるとそこで嘘を言うことになる。

何を見るか

turn.started が sub ごとに違う provider を運んできたとき、枠がそれぞれの相手を持つこと。本文の行は並走で交互に届くので、text の宛先と provider の宛先が同じ SubtaskFrames の規則に乗っていることも併せて見る。

検出力

ADR-0060 以前の挙動(全子が親の相手を名乗る)を viewFold.ts に注入すると、このテストだけが落ちる:

✖ 並走する子の枠は、それぞれの相手を持つ
  AssertionError: 指名された子は宣言された相手を名乗る
ℹ fail 1

既存テストは1本も落ちない — このバグが今まで検査の外側にあったことの裏返しでもある。

検証

  • go test ./... 通過
  • npx tsc --noEmit 通過
  • node --test src/*.test.ts — 254 tests / 254 pass

補足

本体側では実 claude-code / codex での疎通を確認済み(tomobit#6)。GUI へ届く view に子ごとの相手が乗ることは実出力で確認しているが、画面の目視はまだしていない。本PRはその手前、fold の規則を固定するところまで。

本体 ADR-0060 で分割の子は相手が違いうるようになった。それ以前は1つの
分割の子が全員同じ相手だったので、枠が相手を取り違えても症状が出ず、
既存の例はどれも同じ provider だった。

畳んだメタ行は「誰が答えたか」を言うので、取り違えると嘘を言うことになる。
本文の行は交互に届くため、text と provider が同じ SubtaskFrames の規則に
乗っていることも併せて見る。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Signed-off-by: Rererr <44668651+Rererr@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant