Fail-closed Verification
실패 폐쇄형 검증
검증에 필요한 증거가 부족하면 성공으로 처리하지 않고 명시적인 실패나 미검증 상태를 반환하는 방식이다. Breakcheck는 비교할 호출이나 결정적인 관찰값을 확보하지 못하면 NOT_EXERCISED를 내보내 에이전트가 불완전한 결과를 완료 상태로 오인하지 못하게 한다.
실패 폐쇄형 검증
검증에 필요한 증거가 부족하면 성공으로 처리하지 않고 명시적인 실패나 미검증 상태를 반환하는 방식이다. Breakcheck는 비교할 호출이나 결정적인 관찰값을 확보하지 못하면 NOT_EXERCISED를 내보내 에이전트가 불완전한 결과를 완료 상태로 오인하지 못하게 한다.
