実データを持ち込めない領域は判定ロジックを純粋関数へ切り出して合成データでCI化する / PaPut