테크독해 · 설계서 검토 기록 양식
직접 작성한 가상 사례. Google 제품의 출력·스키마·실행 결과가 아님.

[가상 설계서 v0.1]
R1 고객 요구: 생성 후 30일 이내의 모든 보고서는 장애 신고 후 24시간 안에 재생성할 수 있어야 한다.
D2 복구 설계: 재생성에는 최초 입력 원본이 필요하다. 완성 보고서나 집계값만으로 원본을 복원할 수 없다.
P3 보관 정책: 최초 입력 원본은 생성 후 7일에 삭제한다. 별도 사본이나 외부 재취득 경로는 없다.

[작성자 분석 C1]
원문 위치: R1 / D2 / P3
주장: 30일 복구 약속과 7일 원본 삭제를 함께 만족할 수 없다.
성립 조건: 원본 필수, 별도 사본 없음, 재취득 불가
최소 반례: 생성 10일 뒤 장애 신고 → 원본 부재 → 재생성 불가
기각 조건: 복구 대상 제한 또는 D2를 충족하는 유효한 복구 사본
선택지: 요구 범위 조정 / 승인된 보관 정책 변경 / 다른 복구 표현 설계
결정: 해당 요구·보관·복구 담당자가 선택. 이 양식은 자동 수정하지 않음.
수정 후 확인: 새 약속의 경계 날짜, 실제 입력 확보, 복구 가능 여부

[복사용 빈 양식]
문서 버전·확인일:
지적 ID:
원문 위치·필요한 구절:
주장:
성립 조건:
최소 반례:
기각할 반대 근거:
상태: 채택 / 기각 / 추가 확인
담당자·결정 근거:
변경 위치·새 버전:
수정 후 확인할 동작·증거:

[평가 설계 제안 — 이번 글에서는 모델 미실행]
충돌 문서와 충돌을 해소한 대조 문서를 함께 검토한다.
유효한 오류 지적뿐 아니라 정상 조건에서 잘못된 지적이 남는지도 기록한다.
채택한 수정과 이를 확인하는 데 든 시간을 별도로 기록한다.
숫자상 기간이 같아져도 경계 시점의 신고 접수·삭제 순서는 따로 정한다.