E-01근거 기록일: 2026-09-11
DailySafe 기술 보증과 검증 근거
확인 내용: 이벤트 의미, 확인값, 조직별 권한, 기록 유지 등의 불변식과 코드 시험이 문서화되어 있습니다.
검증 범위의 한계: 기술 문서이며 운영 배포의 인증서가 아닙니다.
공개 검증 자료
내부 GitHub 저장소는 비공개입니다. 이 페이지는 외부 공개가 가능한 검증 요약 및 그 한계를 제공합니다. 원본 코드, 전체 CI 로그 또는 제3자 인증을 대신하지 않습니다.
수학적 모델 증명, 프로그램 시험 통과 및 실제 운영 배포 확인은 서로 다른 수준의 근거입니다.
E-02근거 기록일: 2026-09-12
정책 고정과 소급 변경 방지의 형식 정리
확인 내용: Lean 4의 A2_policy_pinning_strict, A3_deny_retroactive_strict 정리를 제품의 정책 버전 문제와 연결합니다.
검증 범위의 한계: 정리는 모델에 대한 것으로, 제품 전체의 형식 검증이 아닙니다.
E-03근거 기록일: 2026-09-12
Lean 4 형식 모델 증명 맵
확인 내용: A5_append_only, A0_event_provenance_strict, pipeline_consistent 등의 모델 정리를 분류합니다.
검증 범위의 한계: 모델과 실제 FastAPI·PostgreSQL 구현 사이에는 추가 검증이 필요합니다.
E-04근거 기록일: 2026-11-04
M4/M5 대조적 공격 시나리오 시험
확인 내용: CI에서 76/76 시험 통과. 변조·삭제·롤백, 별도 HTTP 프로세스, 공개키 검증, 소급 TBM 거절을 다뤘습니다.
검증 범위의 한계: 검증된 것은 소프트웨어 시험 환경이며 독립된 운영 서버의 설치 확인은 포함하지 않습니다.
E-05근거 기록일: 2026-09-11
업무 권한 및 확인 의미의 시험 근거
확인 내용: 다른 조직 접근의 거절, 실제 효력 시점의 권한, 확인 내용 변경 등을 시험합니다.
검증 범위의 한계: 지정된 API/DB 경로의 시험이며 모든 위협을 다루지는 않습니다.
E-06근거 기록일: 2026-09-03
특허 출원 포트폴리오 정합성 자료
확인 내용: DailySafe와 관련된 선별 출원 정보를 비공개 원장과 대조합니다.
검증 범위의 한계: 출원은 특허 등록이 아니며 제품 구현이나 법적 독점 범위를 증명하지 않습니다.
기초 자료는 내부에 보관하고 있으며 적법한 실사 요청에 따라 별도로 검토할 수 있습니다.