[Proof] skip된 예외가 afterStep의 getFailureExceptions에 들어오는가 — 반증
예외 종류별 처리 표준은 벌크·배치 경로에서 예외를 번역하지 않기로 하면서, 대신 로그 자리를 이렇게 정했다.
[Proof] Controller가 던진 AssertionError는 @ExceptionHandler(Exception.class)에 안 잡히는가 — 반증
예외 처리 표준과 예외 종류별 처리 표준은 Error 계열을 잡지 않기로 정했고, 그 근거로 이렇게 적었다.
[Proof] assert false는 -ea가 꺼지면 조용히 통과하는가 — 반증
Service 계층 assert 표준은 도달 불가 분기를 assert가 아니라 throw new AssertionError로 막기로 했고, 근거는 이 대비였다.
[Proof] List.copyOf로 받으면 애그리거트 밖에서 내부를 못 바꾸는가 — 반증
이 실험의 자식 객체는 final이 아닌 필드와 void 변경 메서드를 가진, 표준이 금한 모양이었다. 그래서 이 결과는 표준을 반증하지 않는다. 표준대로 불변 자식으로 다시 잰 실험은 불변 자식 실험에 있다(2026-09-16).
[Proof] 자식까지 불변이면 List.copyOf 루트의 안쪽은 밖에서 못 바꾸는가 — 지지
애그리거트 경계 표준은 자식 컬렉션을 이렇게 다루기로 했다.