verdict の値リテラルが直感に反する向きを持っている点は、用語集の verdict に詳しく書いた。 「reproduced は赤、unreproduced は緑」のメンタルモデルでよい。

再現一覧 にレシピが一覧表示されている。各カードは 1 つのアップストリームバグに対応し、 対応プロジェクト、Issue 番号、Layer、現時点の verdict、いつキャプチャされた verdict かを示す。

ファセットでフィルタできる: 言語（python / ruby / php / rust）、症状、深刻度、タグ。 具体的なエラーメッセージから候補を絞りたい場合は エラーからレシピを探す が使える（語句マッチでスコアリングして候補を返す）。

初回は何が起きているのか分かりやすいように、cpython-137205 を例に進める。 カードの「Open」ボタンを押すと別タブで該当レシピのページが開く。

ページが読み込まれると、まず Pyodide（CPython の WebAssembly ビルド）と対象ライブラリを jsDelivr CDN からダウンロードする。verdict バッジは pending 状態で 「ランタイムを読み込み中」と表示される。

ロード完了後、ページに埋め込まれた再現スクリプトが実行され、verdict が確定する。 初回ロードは数秒〜十数秒（接続速度とブラウザのキャッシュ状態による）、 2 回目以降は CDN キャッシュが効いてミリ秒〜秒で開く。

Layer 1 はブラウザ完結。ローカルに Python も対象ライブラリも入れる必要はない。 Vivarium が宣言する 3 層アーキテクチャは アーキテクチャ 参照。

reproduced はアップストリームバグが現在も再現することを示す。 unreproduced は再現しなかったこと——つまりランタイムの新しいビルドが 問題を解消した、あるいは再現条件が変わった——を示す。pending は まだ実行中、もしくは初期化中の中間状態。

レシピを開いて少し待つと、現状（Pyodide が出荷しているライブラリ版で再現するかどうか） に応じて値が reproduced か unreproduced に落ち着く。 verdict バッジの下に、その判定の根拠となった出力——レシピ固有の比較値——も表示される。

「pass / fail」ではなく「reproduced / unreproduced」を使う理由: テスト用語の pass / fail はチームによって意味が逆転する。Vivarium の動詞は 「バグが再現したか」一本に固定したい。詳細は contract v1 verdict セマンティクス。

verdict バッジの下に「Evidence」セクションがあり、再現スクリプトの実行結果が まとまっている: stdout、stderr、終了コード、所要時間（ms）。Contract v1 リビジョン 2 により、verdict が出る根拠がページから直接読める。

典型的な Python レシピでは、両者が一致するかどうかの真偽値、不一致を引き起こす実際の値、ライブラリ／インタプリタのバージョンが JSON で出力される。これがそのままevidence として記録される。