4장. 불변식을 먼저 쓴다

불변식은 항상 참이어야 하는 업무 문장이다. 예약 하나의 확정 기사 한 명, 결제 승인 합계와 청구 합계 일치처럼 경쟁과 재시도에도 지켜져야 한다. validation과 달리 여러 aggregate·시간을 가로지를 수 있다.

손쉽게 따라 하기

핵심 불변식 네 개에 위반 탐지 query와 복구 owner를 붙인다. 입력에는 실제 고객·계정·도메인 대신 tenant-demo, example.invalid와 저장소 fixture만 사용한다. 시작 전 기대 결과와 바꾸지 않을 불변식을 한 줄로 적는다.

같은 화면에서 확인할 증거

lab/public/index.html의 공통 FieldPass Evidence Board에서 책 slug domain-architecture-decisions, 장 번호 4, run ID를 선택한다. 입력, 판정, 관측값, rollback을 채우고 명령 결과와 같은지 확인한다. 성공 화면만 캡처하지 않고 의도한 실패 하나와 다음 안전 행동을 함께 남긴다.

막혔을 때

“중복이 없어야 한다”처럼 모호하면 어떤 key와 시간 범위인지 명시한다. 원인을 확정하기 전 최근 변경, 환경, 권한, 시간 범위와 실제 오류를 고정한다. 외부 서비스를 반복 호출하지 않고 로컬 fixture로 최소 재현한 뒤 한 변수만 바꾼다. 복구는 process 상태가 아니라 FieldPass 예약·결제·정산의 업무 결과로 선언한다.