테스트·배포 · 권장
불변식Invariant
어떤 실행에서도 항상 참이어야 하는 조건.
불변식은 어떤 순서나 타이밍으로 실행해도 반드시 참이어야 하는 조건입니다. 예를 들어 은행 계좌 사이에서 돈을 어떻게 옮기고 쪼개든 전체 잔액 합계는 늘 맞아야 한다는 조건이 불변식입니다. AI의 결과는 실행마다 조금씩 달라질 수 있어, 특정 값 하나가 아니라 늘 참인 조건을 검증해야 흔들리지 않는 안전장치가 됩니다.
“출력 순서 말고 총합이 맞는지, 그 불변식만 검사해요.”
다른 이름invariant · 결정론적 계약