033 ねずみ会議 — 検証区分
実装・機能検証済み。人による面白さ、初見理解、Windows実機、音は未確認。

自動モデル/表示検査
14 unittest。全6真相×3面の残券以内可解性、合法質問列の全探索で真相保持と候補単調減少、観測の有限性、無効/再質問無料、undo、全候補/決め打ち拒否を確認。
Cは全6真相で全6質問を与えても二匹が残る。同じ観測では証言が一定。
情報集合oracleは真相を変更しても同じ結果。質問数が減少する真の有限探索。
全描画モード/証言最大数/補助on-off/メッセージの文字範囲とglyph存在を検査。
750フレームのデモ更新/描画も通過。合成キーは開始、staggeredな持越し入力、停止、undo、resetを確認。ネイティブキー確認とは別。
solver_results.jsonに実真相の短い成功列、状態hash、minimax保証と単純方策監査。
どれも質問を全部使い切る必要はない。全員順番質問、同じ証人だけ、最初を反復は面により候補が違う。正当な短い解を削っていない。

独立検査（監査担当からの中間報告）
別表現で264証拠状態と2,112候補部分集合の判定一致、全6真相でCの曖昧さを確認。最終承認は別の監査結果を参照。

Linuxネイティブ実操作 2026-10-02 UTC
共有クラウドLinuxの実Pyxelウィンドウで150msの実キーを使った機能確認。
A: Space開始→BへAを質問→候補A→結論Aで成功。
C: AへCを質問→停止中Zで証言不変→復帰→A単独を拒否→ABを選び成功。
その後X/Rで復帰、Escで終了し033ウィンドウ不在を確認。
F12の実描画native_runtime.pngは最後のCリセット状態。会話UIの観察でA/C成功も確認。
GUI操作ログは比較画像生成時の保存先衝突を避けるため最終成果に採用せず、この観察記録と実画像で区別する。自動リプレイは別途再計算一致。
人が遊んだという意味ではありません。

メディア
実Pyxelで30Hzの750更新デモを実行。実際に採れたGIFは748フレーム。
全748枚を一度ずつ30fpsへ写像したMP4は24.933333秒。GIFの量子化遅延をfps変換して間引く方式ではない。音声streamなし、ffprobe計数と全体decodeを検証。
media/replay.jsonのapp/model hashと、イベントごとの純粋モデル再生hash一致。
比較画像は実Pyxelの同一初期状態、補助一行の有無だけ。過去版との比較ではない。

移植/単体性
cp932既定のread模擬、日本語空白のパスへコピー、/tmpから起動してglyph読込を確認。
ASCIIのWindows bat、引用符、失敗pauseを検査。全ファイル読書きはUTF-8明示。
Linux/Windowsのstandalone setup/play、requirements、glyphとライセンスを同梱。
video再生成にはPillow/ffmpegが追加で必要。遊ぶだけなら不要。
