ブラウザネイティブ、瞬時起動。
訪問者のタブの中で WebAssembly が直接実行される。アルゴリズム、パーサ、in-memory なデータベース操作。起動はミリ秒〜数秒。
Vivarium は三層の再現基盤。ミリ秒単位の WebAssembly、忠実度の Docker、そしてそれ以外すべてのための第三のレイヤー。問題が先、技術は後。
PRAGMA foreign_keys が autocommit=False 下でサイレントに無視される。
✕ UNREPRODUCED|fk_off ≠ fk_on並行 UPDATE が、SELECT 後に UPDATE するパターンで行ロックを省略すると書き込みを失う。
実行中 — tx-1 ⨯ tx-2NFD 形式の結合ダイアクリティカル記号における String#unicode_normalize のエッジケース。
✓ REPRODUCED — バグ再現// 出荷済み · 2026
// 三層アーキテクチャ
ユーザーがレイヤーを選ぶ必要はない——レシピが自分に合った層を宣言する。三層あるのは、単一のランタイムですべてのバグに届かないから。
訪問者のタブの中で WebAssembly が直接実行される。アルゴリズム、パーサ、in-memory なデータベース操作。起動はミリ秒〜数秒。
本物のファイルシステム、本物のプロセス、本物のネットワーク。ピン留めした Dockerfile と GHCR イメージのカタログ。訪問者は 1 回の `docker run` でローカル再現。
ハイゼンバグ専用。Vivarium が事前にトレースを録音し、訪問者は再生だけ。GHCR イメージに焼き込み、コモディティ Linux で動作——PMU 不要。
// はじめ方
5 分、5 時間、5 ヶ月——目的によって入り口は違う。
インストール・アカウント不要。レシピをクリックして verdict が pending から確定するのを見る。
開く`.vivarium/manifest.toml` を置いて、再利用可能ワークフローが push のたびに verdict を確認する。
開く`@aletheia-works/vivarium-mcp` が 4 つのツールを公開する。レシピ列挙、verdict 取得、エラー文字列マッチ。
開くLayer 1 のレシピディレクトリをスキャフォールドし、次のデプロイでギャラリーに現れるのを見る。
開く// 実物を見る
Layer 1 の pandas、numpy、CPython、Ruby、PHP、Rust regex。Layer 2 の PostgreSQL、bash、flock、find/xargs。Layer 3 の coreutils sort race。