STEP 1932 · 2026-09-10 · rei-aios-20 · Tab Isolation exception override

Pilot v0.6-resume arc — 待たない工夫

STEP 1886 pilot (compose baseline) の残 11 instance を 5/16 completed 状態から resume する。3-15 時間の worst case を stand-by で寝かせずに済ませるため、10^5 bin 完了時に auto-kill する watchdog と、待ち時間活用の Round 3 material を併走させた工程記録。

Directive: 藤本さん 2026-09-10 「go でお願い致します」→ pilot 実測 + v3 pickup + 打ち切り基準 + 部分結果価値 + disk 事前確認 + tab へ並行指示。
Tab Isolation exception: rei-aios-30 sidecar への 2 file 書き込み (v3 pickup + v06-resume orchestrator) を藤本さん explicit go 依拠で override、file 冒頭に marker 明示。rei-aios-30 canonical (v0.3 phase2a + v0.6 orchestrator) は一切改変せず coexist。
NOT authored by: chat-Claude (無関与) / cowork-Claude (無関与) / rei-aios-30 (audit source のみ).

3 判断の pre-registration

Q1 打ち切り基準: watchdog が 30 秒 poll で 10^5 bin の 2 instance (grs-192-48 + satcoin-genesis-UNSAT) の .raw_bytes 出現を検知 → pilot / cadical / zstd を pkill → auto-report dump → 10^6 auto-proceed を機械的に block。

Q2 部分結果の価値: 10^5 のみで Comparator v0.1 起票判断は完結 (Comparator = Lean method / pilot r_i と直接 dependency 無し)。10^6 は STEP 1886 自身の 10^7+ 外挿精度向上用の科学的追加、Comparator 判断には optional。10^6 は損失ゼロで切れる。

Q3 disk headroom: df -h ~/rei-baseline = 949 GB available / 6.8 GB used (Use% 1%)。10^6 worst 150 GB × 6x 余裕。disk は 10^6 blocker ではない (事前手当て不要)。

v0.6 orchestrator drift 3 件 (実測発見 + 修正)

drift	実測	修正
cadical `--lrat-log=/dev/stdout`	cadical rel-3.0.1 で invalid option → error exit	`--lrat=true --binary=false <input> /dev/fd/1 2>/dev/null` (`/dev/stdout` は pipe 経由 0 bytes になる quirk、`/dev/fd/1` で正しく流れる)
inst["sha256"]	SC2023 metadata index field 名は `hash`、KeyError	`inst.get("hash") or inst.get("sha256")`
Phase 4a 再選択	seed 20260908 で deterministic だが再選択自体が不要	既存 `pilot-selection.json` あれば skip、再利用

前回汚染 output 2 件 (content-verify で検知 → cleanup)

file	症状	対応
pmg-12-UNSAT.*.lrat.zst (10 MB)	先頭が `c ---` banner = cadical STATS mix、LRAT ではない	trio (.lrat.zst + .sha256 + .raw_bytes) 削除 → 再 solve 対象
tseitin_d3_n200.*.lrat.zst (13 bytes)	zstd header のみ、empty pipe に起因	trio 削除 → 再 solve 対象

Pilot 進行 (2026-09-10T09:29 JST 時点)

completed 6 (SKIP 5 + tseitin_d3_n200 in flight):

SKIP Urquhart-s3-b3.shuffled-as.sat03-1556.cnf.xz (LRAT 有効 verify 済)
SKIP mchess16-mixed-35percent-blocked.cnf.xz
SKIP grid_10_20.shuffled.cnf.xz
SKIP php-010-009.shuffled-as.sat05-1185.cnf.xz
SKIP tseitin_d3_n160.cnf.xz (LRAT 7 GB raw compressed to 471 MB zstd)
solve in flight tseitin_d3_n200.cnf.xz

残 10 instance = 10^2 × 3 (tseitin_d3_n200 直後 + mchess16-25 + Urquhart-s5-b4 + pmg-12-UNSAT) + 10^3 (clqcolor) + 10^4 (intervals727) + 10^5 × 2 (grs-192-48 + satcoin-genesis-UNSAT) + watchdog blocks 10^6 × 3 (aes / sat-bench-trig × 2)

Monitoring 手段 (次 session pickup)

wsl -d Ubuntu-24.04 -- tail -f ~/rei-baseline/logs/pilot-resume-2026-09-10.log
wsl -d Ubuntu-24.04 -- bash -c 'ls ~/rei-baseline/pilot-2026-09-08/results/*.lrat.zst | wc -l'
wsl -d Ubuntu-24.04 -- pgrep -af 'pilot-orchestrator|watchdog|cadical'
cat ~/rei-baseline/logs/abort-at-10-5-report.txt  # 10^5 完了時に watchdog が生成

Round 3 material (待ち時間活用)

STEP 1908 chat-Claude debate の BLOCKER-CHECK §4a/§4b/§4d/§4e 実測 evidence + Q1-Q4 判断要請を藤本さん paste 用に整形:

round 3 material (GitHub)
私弱推薦: Q1(B) 制度層 = 単一成果物概念を「OUKC AI ポリシー」= 制度層に置く / Q4(B) 「会話中の再述でのずれ」= 別 section 独立 (grep で捕まる drift とは class が別)

Failure mode (未来 Claude 用 dataset)

(s) shared script の cadical flag silent drift: 2026-09-08 の 5 完了 instance は有効 LRAT を出したが、現行 v0.6 orchestrator の flag は cadical error。動作 snapshot が記録に残っておらず再現不能。予防 = 実 launch 直前の cadical dry-run preflight。
(t) 前回 partial 汚染 output の資産扱い: pmg-12-UNSAT の 10 MB を「complete」と扱う risk。予防 = 3-file trio + content-level LRAT verify (先頭が数字か c banner か)。
(u) heredoc 内 <input> bash parse error: Python heredoc 内 comment の angle bracket は heredoc body 展開時に redirect と誤解釈。予防 = angle bracket を避け INPUT/PROOF のような uppercase word で書く。
(v) sed \r$ cross-shell escape 破壊: Windows Git Bash → wsl → sed で \r が literal r に展開、行末 r 削除で cake_lpr → cake_lp。予防 = Python bytes replace で CRLF→LF (shell escape 不確定回避)。
(w) 「待ちのために stand-by」で tab を遊ばせる: pilot 3-15h 待ちで tab を監視 stand-by させると稼働時間が完全損失。予防 = watchdog を background で走らせ、tab は独立 tasks を並行進行。
(x) 打ち切り基準の事後判断 drift (sunk-cost bias): 「10 時間待ったから続行」の事後合理化。予防 = 事前 pre-registration + auto-kill、事後 override は explicit go 必須。
(y) 部分結果価値の事後確定 drift: 「10^5 だけで判断可能か」を pilot 完了後に検討すると 10^6 も待ちたい bias。予防 = 事前確定 + 明示 documentation。