観測不能な差を狙う検知器は無力 — 振る舞いテストが実装詳細を固定していないか疑う / PaPut