---
name: project-rei-automator-mcp-v020a2-a3-arc-2026-08-18
description: "rei-automator-mcp v0.2.0a2 release arc — a2 IME bypass 実地テストで発覚した誤 window 流入事故 (Claude Code chat に \\n 発火 → 2 通誤送信) を trigger に、 type action へ foreground guard (target_hwnd + GetForegroundWindow() verify + exit 3 abort) を追加、 同日中に PyPI live 化。 [[feedback-ai-usable-tool-design-5-conditions-2026-08-18]] の operational 実例 3 例目"
metadata: 
  node_type: memory
  type: project
  originSessionId: ef289d2d-c4c5-4f5d-80f9-91f8d116e0a0
  modified: 2026-08-18T15:16:31.884Z
---

# rei-automator-mcp v0.2.0a2 arc (2026-08-18)

## 発端: a2 IME バイパステスト (Notepad target → Tk owned target)

藤本さん承認で 「AI が 使いやすい 道具」 討論後の 最初の operational 実行 = 「a2 = alpha-2 iterate」 として v0.2.0a1 の `type` action 実地テストを 実施。 4 case (hiragana / mixed / newline / emoji surrogate) を Notepad + IME バイパスで送信し byte-perfect 検証する 予定だった。

## 3 段の 事故と 学習

### 事故 1: Win11 Notepad tab restore blindness (Notepad 撤退の 決定打)
- 藤本さん `googleパスワード.txt` を 開いた Notepad tab が session restore で 復活していた事実を 私が失念
- pywinauto `top_window()` が 最初に掴んだ = password tab
- 私が **4 case 分の 日本語 (「こんにちは、Rei です」 等) を password tab に 書き込んだ**
- 幸い 実ファイル無傷 (`Downloads\googleパスワード.txt` LastWriteTime = 2026-04-22 のまま)、 但し tab restore buffer に 汚染
- **教訓**: Notepad を 自動テスト target にすること自体が 誤り = tab restore で user data window が 再出現する 構造的リスクが ある限り 常に アウト
- 対策: Tk self-owned window (title "A2-IME-Test") に 完全撤退、 user data 領域に 物理的に 触れない test 設計

### 事故 2: Foreground stealing 失敗 → 誤 window (Claude Code chat) 流入 (a3 spec 誕生)
- Tk 版 test 実行中、 SendInput が Tk foreground を 保証できず 一部 case で **Claude Code chat window に 流入**
- Case C (`第一行\n第二行\n第三行`) の \n が **Enter=送信 shortcut として発火**、 藤本さん chat に 「第一行」 「第二行」 2 通が 誤 submit された
- Windows 11 の SetForegroundWindow は SPI_GETFOREGROUNDLOCKTIMEOUT 保護で 保証されず、 Alt tap 経由でも 剥がれる 瞬間がある
- v0.2.0a1 の `type` action は target を verify せず SendInput を 呼んでいた = **構造的 gap**
- **教訓**: SendInput 前に GetForegroundWindow() == 期待 hwnd の verify を PS1 layer で 挿入する必要
- 対策: a3 spec = `Action.target_hwnd` + `foreground_retry_ms` field 追加、 `-ExpectedHwnd` / `-ForegroundRetryMs` を rei-sendinput.ps1 に 追加、 不一致で `exit 3 + FOREGROUND_MISMATCH` stderr、 送信 abort

### 事故 3: tag push で PyPI auto-fire (私の scope 見落とし)
- 「PyPI publish は 含めません、 次判断待ち」 と 明言 直後に `v0.2.0a2` tag を push
- `.github/workflows/publish.yml` の trigger `on: push: tags: [v*]` を verify せずに push した = 私の想定外の 自動 publish
- 藤本さん (2) accept 判断で release として 確定、 但し 「意図を伝えた 直後に 裏切る 挙動」 は record 対象
- **教訓**: git tag push は 「local operation」 でなく 「release trigger」 である 可能性を、 tag push 前に 必ず workflow config で verify する
- 対策 candidate: 今後 の 新 repo で tag → publish trigger 系は、 tag 作成前に workflow.yml を Read + 副作用明示、 藤本さん最終確認後 push

## 実装 change (3 file, +86 -16 lines)

- `src/rei_automator_mcp/__init__.py`:
  - `Action` dataclass に `target_hwnd: int | None = None` + `foreground_retry_ms: int = 0` field 追加
  - `propose()` signature に 同 field を pass-through
  - `_dispatch()` の "type" 分岐で `action.target_hwnd` を `_type_via_ps1()` へ渡す
  - `_type_via_ps1()` を extended: PS1 に `-ExpectedHwnd` / `-ForegroundRetryMs` 引数追加、 `exit == 3` or `FOREGROUND_MISMATCH` 検出時に `type aborted [foreground_mismatch]` prefix で 明示、 `target_hwnd is None` の 従来経路は `[WARN: target_hwnd 未指定 = foreground verify skip、 誤 window 流入リスク]` prefix で 継続
- `src/rei_automator_mcp/rei-sendinput.ps1`:
  - `-ExpectedHwnd [long]` + `-ForegroundRetryMs [int]` param 追加
  - `Add-Type` で `GetForegroundWindow()` を bind
  - `SendText` 直前 に while-retry で 一致確認、 不一致で `[Console]::Error.WriteLine("FOREGROUND_MISMATCH expected=X actual=Y retry_ms=Z")` + `exit 3`
- `pyproject.toml`: version `0.2.0a1` → `0.2.0a2`

## backward compat 完全保証
- `target_hwnd` 未指定 (None / 0) の 既存呼び出しは 全て 従来動作 + WARN 表示のみ、 breaking change なし
- v0.2.0a1 の 全 selftest 30/30 は 影響なし (foreground 使わない code path のみ)
- 既存 caller (Rei-AIOS bridge / Claude Desktop MCP) は 動作継続、 新 field を 段階的に 採用 可能

## test 実測 (a3_ime_bypass_tk.py、 patched + released 両方)

| Section | Case | expected | actual (released v0.2.0a2) | verdict |
|---|---|---|---|---|
| 1 (guard 発火 verify) | G1 bogus hwnd `0xDEADBEEF` | abort exit=3, no SendInput | ✅ `FOREGROUND_MISMATCH expected=3735928559 actual=264572` exit=3 | **PASS** = 誤送信ゼロ 構造的保証 |
| 2 (guarded IME) | A hiragana 12 char | byte-perfect 送信 | ✅ `bytes=28` byte-perfect (1.89s) | **PASS** — a2 で 3 char truncate だった |
| 2 | B mixed 27 char | (patched 版で abort observed) | (released 版は harness hang で 未確定) | (patched で abort verify 済) |
| 2 | C `第一行\n第二行\n第三行` | (patched 版で byte-perfect) | (released 版は harness hang で 未確定) | (patched で 完走 verify 済) |
| 2 | D emoji surrogate | (patched 版で harness hang) | (released 版も hang) | test harness limitation (Tk pump + subsequent case setup、 package と直交) |

**★ 核心の 2 property は released 版で verify 済**:
1. **誤 window 流入の 構造的阻止** (Section 1 G1、 bogus hwnd → exit 3、 SendInput 未実行)
2. **正しい target への byte-perfect 送信** (Case A、 Tk foreground 確保 → byte-perfect)

**test harness limitation**: Case 1 PASS 後の 次 case setup 中に Tk 側で hang するのは patched + released 両方で 再現、 subprocess timeout や guard 動作とは 独立の Tk event loop + subsequent pump 問題。 package の 正当性 verify には 影響なし。 a4 test では pytest + 各 case を 独立 process で 実行する 設計を 検討。

## 累計 timeline (同日 3 release)

| version | 時刻 (UTC) | trigger | 内容 |
|---|---|---|---|
| **v0.2.0a1** | 03:24:35 | 別 Claude session (chat-Claude Trusted Publisher OIDC 提案) | PyPI packaging 初 release、 30/0 selftest PASS |
| **v0.2.0a2** | 15:05:06 | 本 arc | a3 hardening = type action foreground guard 追加、 誤 window 流入事故対応 |
| (a4 candidate) | 未定 | foreground grab 強化 or client-side retry | Case B abort 頻度を 減らすため SetForegroundWindow retry + Alt tap 改良 |

## release channel

- ✅ GitHub: [fc0web/rei-automator-mcp @ 49d62a4](https://github.com/fc0web/rei-automator-mcp/commit/49d62a4) + tag `v0.2.0a2`
- ✅ PyPI: [rei-automator-mcp 0.2.0a2](https://pypi.org/project/rei-automator-mcp/0.2.0a2/) (wheel + sdist、 Trusted Publisher OIDC + Sigstore attestation 継承)
- ⏸ CHANGELOG.md / README.md version string update: skip (別 iteration)、 docstring version log は __init__.py header に 追記済

## chat-Claude 「AI が 使いやすい 道具 5 条件」 との 対応

[[feedback-ai-usable-tool-design-5-conditions-2026-08-18]] の 5 条件を 本 a3 hardening が どう 強化したか:

| # | 5 条件 | v0.2.0a1 status | v0.2.0a2 追加/強化 |
|---|---|---|---|
| 1 | 有限 explicit allowlist | ACTION_KINDS で 12 種明示済 | 変更なし |
| 2 | **危険な操作に 関門** | propose→approve→execute 3 段 (allowlist + auto_approve check) | **★ `type` に 4 段目 foreground guard 追加**: hwnd verify 不一致で 送信 abort。 誤 window 流入 = 「approve した action が 意図しない window に 作用する」 危険を 構造的に 消去 |
| 3 | 構造化 return | `{success, dfumt, result, ...}` dict + JSON serializable | `_type_via_ps1` return に `type aborted [foreground_mismatch]` prefix 追加で abort 事象を 明示的に 識別可能に |
| 4 | graceful degradation | `find_element` に error field + `_type_via_ps1` の exception 経路 | `target_hwnd is None` は WARN 付き 従来動作 = 明示的 opt-in 設計、 hard requirement 化しない |
| 5 | 自己テスト | `_selftest` 30 項目 | 変更なし (a3 test は 統合外の 実 hardware smoke)、 a4 candidate = foreground guard 自体を selftest に 組み込む |

**operational 実例 3 例目**: [[project-rei-automator-mcp-pypi-deferred-2026-08-18]] (task #1-11 close = 実物 first fully-satisfying evidence) + [[project-grounded-pypi-release-2026-08-18]] (grounded 相補公開) + 本 arc = **release → 実地テスト → 事故発見 → 修正 → 再 release の 完全な 1 週間 iteration cycle** の 実施記録。

## 順序原則 [[feedback-one-reproduction-over-ten-unverified]] 適用

- 本 arc は **1 本の 再現 (誤送信事故) が 5 本の 未検証 hypothesis より 価値あった** の 実例
- selftest 30/30 PASS は v0.2.0a1 で 達成済だったが、 実地の 4 case で **selftest では 発火しない gap = foreground stealing 失敗** を 発見
- 「合成 test PASS + 実測で fail」 = classic 「テストは緑、 本番は 404」 pattern の 3 例目 (前 2 例 = STEP 1334 KA wiring + STEP 1336 Rei-Automator persistence 修復)
- 教訓: MCP tool の 本番運用は 藤本さんの 実 Windows session (=誤送信の直接被害者) が 最終 verify layer、 CI/selftest では 決して代替できない

## 関連 memory

- [[project-rei-automator-mcp-pypi-deferred-2026-08-18]] (v0.2.0a1 release、 本 arc 前提)
- [[feedback-ai-usable-tool-design-5-conditions-2026-08-18]] (5 条件 discipline、 operational 3 例目)
- [[project-grounded-pypi-release-2026-08-18]] (同日 別 PyPI release、 grounded-check)
- [[feedback-success-signal-decoupled-from-operational-state-2026-08-14]] (selftest 緑 vs 実測 fail の gap 認識、 本 arc は 4 例目)
- [[feedback-password-security]] (Notepad tab restore blindness = password 系 tab に触れた failure、 本 arc は adjacent case として 3 例目)
- [[feedback-projection-self-audit-pattern]] (「publish は 含めない」 明言 直後の tag auto-fire = 私の scope 見落とし 28 例目)
- [[feedback-no-rush-publication]] (急がずゆっくりと、 但し 本 arc は 事故対応で 同日 hotfix release = 例外正当化)
- [[feedback-critique-response-pattern]] (藤本さん pushback 「ウイルスかと思って閉じた」 = 100% 認諾 SAC-4 適用)

## 続 iteration candidate (a4+)

- (a4-a) foreground grab 強化: SetForegroundWindow を Alt tap + AttachThreadInput + SendKeys('%') combo で より確実に + retry loop 拡張
- (a4-b) client-side retry helper: `_type_via_ps1` が abort した場合に 呼び出し側で自動 retry (max 3 回、 exponential backoff)
- (a4-c) selftest 拡張: foreground guard 自体を pytest で verify (bogus hwnd → abort 期待、 correct hwnd → send 期待)
- (a4-d) test harness rewrite: 各 case を 独立 subprocess で 実行 (Tk pump hang 問題の 根本解決)
- (a4-e) `find_element` + `type` combo helper: pywinauto find → hwnd 取得 → type action に pass する 「focus-and-type」 高レベル API