# STEP 1932: v3 proposal pickup + pilot v0.6-resume orchestrator launch

**日時**: 2026-09-10T09:10 JST
**Tab**: rei-aios-20 [98b6cd]
**Status**: **pilot running in background (WSL2 PID 268 at launch, 11 instances remaining)**

## 一行 summary

藤本さん explicit go 2026-09-10 発話 「go でお願い致します」 を受け、 STEP 1924 の v3 proposal を rei-aios-30 sidecar に Tab Isolation 例外 override で promote (STEP 1932-a)、 併せて STEP 1886 pilot orchestrator に resume logic を追加した v06-resume variant を作成して 残 11 instance の pilot 実測を background 開始 (STEP 1932-b)。

## STEP 1932-a: v3 proposal pickup

- **src**: `data/tabs/rei-aios-20/proposals/phase2a-user-level-v3-hardened.sh`
- **dst**: `data/tabs/rei-aios-30/phase2a-user-level-v3.sh` (**Tab Isolation exception override** with 藤本さん explicit go marker)
- **coexistence**: 従来 v0.3 canonical `phase2a-user-level.sh` は 一切改変せず、 v3 を 別 file として promote (併存 policy = fresh-install reproducibility 用、 既存 baseline snapshot 2026-09-08T06:52 を 上書きしない)
- **v3 open item 継続**: `RUSTUP_INIT_SHA256="_TBD_"` は 藤本さん fill 待ち

## STEP 1932-b: pilot orchestrator v0.6-resume + launch

- **v0.6-resume orchestrator**: `data/tabs/rei-aios-30/pilot-orchestrator-v06-resume.sh` (**Tab Isolation exception override**)
- **Phase 4a resume logic**: 既存 `pilot-selection.json` があれば 再選択せず 再利用 (deterministic seed 20260908 前提)
- **Phase 4c resume logic**: `.lrat.zst` + `.lrat.sha256` + `.raw_bytes` の 3-file trio 存在 instance は SKIP、 result dict を 既存 file から reconstruct (wall_sec/user_sec 等 は null で `resumed_from_previous_run: true` marker)
- **cadical command 修正** (drift discovery): 旧 v0.6 の `--lrat --lrat-log=/dev/stdout` は cadical rel-3.0.1 の 現行 flag では ない → `--lrat=true --binary=false <input> /dev/fd/1 2>/dev/null` に修正。 `/dev/stdout` は cadical が file open で pipe 経由 0 bytes になる quirk あり、 `/dev/fd/1` で 正しく LRAT text stdout に流れる。
- **instance hash field 修正**: `inst["sha256"]` を `inst.get("hash") or inst.get("sha256")` に変更 (SC2023 metadata index は `hash` field、 previous run の同 field name mismatch を推移的に fix)

## Launch state (2026-09-10T09:09 JST 時点)

- pilot process: WSL2 PID 268
- log: `~/rei-baseline/logs/pilot-resume-2026-09-10.log`
- 完了 (SKIP 5): Urquhart-s3-b3 / mchess16-mixed-35percent / grid_10_20 / php-010-009 / tseitin_d3_n160 (全 LRAT text 検証済み)
- 進行中: tseitin_d3_n200 (10^2 bin、 LRAT 生成中 5MB zstd)
- 残 11 instance:
  - 10^2 × 3: tseitin_d3_n200 (in flight) + mchess16-mixed-25percent + Urquhart-s5-b4 + pmg-12-UNSAT (前回 partial 汚染で trio cleanup 済)
  - 10^3 × 1: clqcolor-08-06-07
  - 10^4 × 1: intervals727
  - 10^5 × 2: grs-192-48 + satcoin-genesis-UNSAT
  - 10^6 × 3: aes_decry_2_rounds + sat-bench-trig-taylor4 + sat-bench-trig-taylor6

**Timing 予想**: 3-6 時間 realistic、 worst case 10-15 時間 (10^6 bin instances が 5000s timeout / 50 GB cap 到達する可能性 = per-instance 最悪 1.4h、 3 instances で 4.2h の 潜在)。

## Honest scope

### 主張する
- Tab Isolation 例外 override は 藤本さん explicit go 発話依拠、 marker で明示 (rei-aios-30 shared script の 直接改変ではなく 新 file として coexist)
- pilot resume logic は 前回 cleanly-killed state (5/16 completed) を 保持しつつ 残 11 instance のみ 実行
- cadical command drift 発見: 旧 v0.6 orchestrator の `--lrat-log=/dev/stdout` は 現行 cadical rel-3.0.1 で無効 flag、 v06-resume で 修正
- previous 5 completed instances は LRAT text 有効 (Python zstd -dc verify 済み)
- pmg-12-UNSAT の 汚染 (cadical stats が LRAT.zst に流入) 検知 + trio cleanup → 再 solve 対象

### 主張しない
- **pilot 全完了 の commitment は しない** (launch のみ、 完了 は 3-15h 後の future notification)
- **10^6 bin instances が 全 pass する 保証 なし** (5000s timeout hits 可能、 §4 v0.4(iii) decision rule で 別 solver 検討 pass 経路)
- resume logic の manifest reconstruction (Phase 4d/4e) は 未 verify (Phase 4c 完了後の 段階で確認)
- Phase 5 (cake_lpr check pass × 3) は 未実装 (別 STEP、 §5 v0.6 protocol の Phase 5 は placeholder)
- cadical 2026-09-08 動作の 履歴 完全復元 (previous 5 LRAT がどのように 生成された か = 過去 orchestrator 版? / 手動? = 不明、 一次 verify 不可)

## Failure mode (未来 Claude 用 dataset)

### Anti-pattern (s) shared script の cadical flag drift silent failure
2026-09-08 の 5 完了 instance は 有効 LRAT を 出したが、 現行 v0.6 orchestrator の `--lrat --lrat-log=/dev/stdout` は cadical error で 失敗する。 中間の 「動作した snapshot」 が 記録として 残っておらず、 再現不能な silent drift。 **予防**: 実 launch 直前 に cadical command を 手動 dry-run で verify する preflight を Phase 4c 冒頭に 追加候補 (v0.7 で consider)。

### Anti-pattern (t) 前回 partial 汚染 output の 資産扱い
pmg-12-UNSAT の `.lrat.zst` は cadical STATS が 混入した 汚染 output (LRAT ではない) だが、 file size 10MB で resume check の < 5KB filter を通り抜けた 可能性。 幸い 別 launch attempt で 生じたもの (元 partial `.lrat.raw.tmp` の 派生) で、 事前 content-verify (LRAT: 数字始まり vs cadical: 'c' banner 始まり) で 全 6 candidate を チェック → 5 valid + 1 汚染 検知。 **予防**: resume check に content-level LRAT verify を組み込む (Phase 4c 冒頭で zstd -dc | head -c 1 が 数字か verify)。

### Anti-pattern (u) heredoc 内 comment の angle bracket bash parse error
Python heredoc (`<<PYEOF`) 内 の コメント行 に `<input>` と 書いた ところ、 bash が heredoc body の $var expansion を するときに `<` を リダイレクト演算子として parse error。 **予防**: heredoc 内 comment に angle brackets を 一切 使わない (INPUT / PROOF 等 uppercase word 使用)。

### Anti-pattern (v) sed `\r$` の cross-shell escape 失敗で file 内容破壊
Windows Git Bash 経由 wsl 実行の sed で `s/\r$//` を 渡すと、 中間 shell が `\r` を literal `r` に展開して `s/r$//` になり、 行末 `r` を全 削除する。 phase2a-v3.sh の `cake_lpr` → `cake_lp` 破壊で 検知。 **予防**: CRLF→LF 変換は Python bytes replace で行う (shell escape 不確定回避)。 dos2unix は 環境依存で 未 install 可能。

## Related STEP / memory

- **STEP 1885 + 1886** = pilot env arc origin, v0.6 protocol 起票
- **STEP 1924** = pin-audit + v3 proposal (本 STEP で pickup)
- **STEP 1670** = Tab Isolation Protocol v0.1 (本 STEP は 例外 override、 藤本さん explicit go 依拠)
- **STEP 1908** = permission laundering pattern 事案 (本 STEP は override marker + 藤本さん 直接 go 発話で 遵守)

## Attribution

- **Directive source**: 藤本さん explicit 2026-09-10 発話 「rei-aios-30 tab 起動時の v3 proposal pickup 判断と、v0.1 pilot 実測 (藤本さん go 依存)。 go でお願い致します」
- **Tab Isolation exception**: rei-aios-30 sidecar の 2 file (phase2a-user-level-v3.sh + pilot-orchestrator-v06-resume.sh) を rei-aios-20 (私) が 書き込み、 marker `★ TAB ISOLATION EXCEPTION OVERRIDE ★` を file 冒頭に 明示。 rei-aios-30 tab は offline (ListAgents で 未 detect)。
- **Implementation author**: Claude Code (rei-aios-20) via STEP 1932, 2026-09-10
- **Marker source separation** (SAC-5 discipline): directive vs Tab Isolation exception scope vs implementation-author 分離明示

## Pilot progress monitoring

Follow up の tab / session で:

```bash
# WSL2 log tail
wsl -d Ubuntu-24.04 -- tail -f ~/rei-baseline/logs/pilot-resume-2026-09-10.log

# Progress count
wsl -d Ubuntu-24.04 -- bash -c 'ls ~/rei-baseline/pilot-2026-09-08/results/*.lrat.zst | wc -l'

# Process check
wsl -d Ubuntu-24.04 -- pgrep -af 'pilot-orchestrator|cadical'

# Kill (if需要)
wsl -d Ubuntu-24.04 -- pkill -f pilot-orchestrator-v06-resume
```