共有基盤からの卒業条件は負荷でなく事業イベントで事前定義し、卒業手順が安いままかを設計不変条件として維持する / PaPut