형식 검증 자료 접수표 — 테크독해
설명용 검토 양식. 공식 인증서나 실행 결과가 아닙니다.

1. 서비스의 실제 질문:
   예: 외부 JSON 파싱에서 특정 메모리 오류를 배제할 수 있는가?
2. 대상:
   진입점 / 실행 파일 SHA-256 / 소스 커밋 / 빌드 기록:
3. 증명:
   명제 이름 / 명제 본문 위치 / 증명 상태 / 증명 커밋:
   무충돌 / 기능 정확성 / 종료 중 보장하는 것:
4. 전제:
   입력 / 메모리 / CPU / OS 모델 / 스레드 / 호출자 조건:
   우리 배포 환경과 다른 점:
5. 재검사:
   검사기·모델 버전 / 허용 공리 / 실행 일시 / 로그 / 판정:
   미실행이면 미실행으로 표시:
6. 남은 기능:
   출력 정확성 / 응답 시간 / 권한 / 동시성 / 패치 전후 변화:
7. 결정:
   이번에 사용할 보장 / 유지할 테스트 / 다음 검토 조건:

주의: 명제가 존재하는 것과 증명이 검사된 것은 다릅니다.
무충돌만으로 종료·지연·정확한 출력까지 보장하지 않습니다.
새 바이너리나 모델에 기존 증명이 적용되는지 별도 확인합니다.