FK가 보장하는 방향과 남은 assertion

child 존재만으로 parent 완전성이 끝나지 않는다.

DB FK

child가 없는 parent와 child 두 개는 허용한다.

constructor + audit

commit 뒤 type과 맞는 detail 하나만 남긴다.