Apple Container技術検証

目的

コンテキスト中の技術的主張を、反証可能なケース行列へ変換する。Apple Containerで各ケースを隔離し、可能な範囲で並列実行する。観察・推論・未検証事項を分離し、再実行可能なMarkdownレポートを1つ残す。

コンテキストから主張、対象実装、比較対象、前提条件、想定利用者を抽出する。
主張を1文の仮説へ変換する。
仮説を棄却する条件を、実行前に列挙する。
各定量値または合否判定に対応する最小オラクルを定義する。
各ケースで、オラクル成立時の仮説との関係を support、falsify、neutral のいずれかに固定する。オラクル成立と仮説支持を混同しない。
オラクルを定義できない論点を「観察的」「未検証」「環境外」のいずれかへ分類する。推測値を合格条件にしない。
検証対象のリポジトリ、コミット、依存バージョン、ホスト情報を記録する。作業ツリーが汚れている場合は差分の有無も記録する。