사건 이력과 정정의 연결
작업 참여, TBM 확인, 근무시간, 이의 제기, 정정 등의 사건을 서로 다른 기록으로 구분합니다. 중요한 것은 화면에 보이는 최종 숫자뿐 아니라 어떤 순서와 근거로 그 결과가 만들어졌는지입니다.
실제 제품과의 관련성
기록의 출처, 정정 근거, 처리 이력에 관한 개발 및 검증 사례가 있습니다.
DailySafe · 기술·연구
기술과 연구
현장 기록을 넘어, 검증할 수 있는 이력을 연구합니다.
매일의 안전 안내와 작업 확인은 실제 사람과 업무에 영향을 줍니다. 따라서 기록의 출처, 당시의 규칙, 정정 과정, 사후 검증 가능성을 체계적으로 다루는 것이 중요합니다.
현장 경험과 수학적 방법을 연결하여, 규칙과 기록의 의미를 명확하게 하고 확인 가능한 근거를 남기려 합니다.
1현장의 사건을 명확히 정의
2규칙과 기록의 관계를 모델링
3시험과 증거로 결과를 확인
6
6개 연구 주제
6
6개 근거 묶음
76
76건 특별 시험 통과
2026년 11월 4일 CI 검증 결과
현장 조사와 근로시간 연구
Vadim Akulenko, PhD의 인터뷰 분석 보고서는 10건의 탐색적 인터뷰를 통해 건설·제조 등 다양한 환경의 근로시간 기록 방식을 비교합니다. 이 결과는 전체 산업을 대표하는 통계가 아닙니다.
조사 결과 보기 →핵심 연구 분야
안전 업무의 실제 문제에서 출발해, 검증 가능한 구조를 만드는 여섯 가지 연구 주제입니다.
당시 적용된 규칙의 버전 보존
오늘 변경된 규칙을 어제의 확인에 소급 적용하면 기록의 의미가 달라집니다. 따라서 규칙의 버전, 내용과 판단 시점을 연결하는 모델을 연구합니다.
실제 제품과의 관련성
Lean 4의 정책 고정·소급 방지 정리와 서버의 정책 스냅샷 무결성·과거 TBM 거절 시험이 각각 존재합니다.
Lean 4를 이용한 형식 검증
핵심 규칙을 수학적 모델로 정의하고 특정 불변식이 모델에서 항상 성립하는지 기계적으로 확인합니다. 정책 고정, 증거 출처, 모델의 사건 추가 보존 및 파이프라인 일관성 등이 포함됩니다.
실제 제품과의 관련성
입증 범위는 수학적 모델입니다. Lean 4 정리만으로 앱 전체, 데이터베이스 또는 운영 서버의 무결성이 증명되지는 않습니다.
암호학적 이력 검증
서명된 체크포인트와 사건의 연결을 재계산하여 기록의 변조, 누락, 과거 상태 복원 등 지정된 공격 상황을 감지하는 기술을 시험합니다.
실제 제품과의 관련성
2026-11-04 CI에서 지정된 M4/M5 시험 76건이 통과했습니다. 이 시험은 별도 프로세스 증인과 검증기를 포함하며, 독립된 운영 사업자나 현장 배포 자체를 증명하지는 않습니다.
권한·대상·확인 내용의 일치
조직 A의 관리 권한이 조직 B에 적용되어서는 안 됩니다. 작업자가 확인한 근무시간이 나중에 달라진 경우에는 이전 확인을 새 값에 대한 동의로 취급할 수도 없습니다.
실제 제품과의 관련성
실제 API 경로 및 데이터베이스 수준의 부정·정상 사례 시험이 기술 근거 문서에 정리되어 있습니다.
공수·근무시간·이의 제기 연구
작업자가 확인한 시간, 관리자의 판단, 이의 제기와 정정이 서로 어떻게 연결되는지 연구합니다. 일부 특허 출원에는 증거에 따른 정산 및 이의 범위 분리라는 주제가 포함됩니다.
실제 제품과의 관련성
출원된 연구 주제와 실제 앱에 제공되는 기능을 구별합니다. 출원은 특허 등록이나 모든 기능의 구현을 의미하지 않습니다.
근거 자료와 검증 범위
각 항목의 근거가 무엇인지, 무엇을 직접 증명하지 않는지도 함께 공개합니다.
E-01 · 구현 검증확인 기준일: 2026-09-11
DailySafe 기술 보증과 검증 근거
이벤트 의미, 확인값, 조직별 권한, 기록 유지 등의 불변식과 코드 시험이 문서화되어 있습니다.
증명 범위: 기술 문서이며 운영 배포의 인증서가 아닙니다.
근거 · E-01 →E-02 · 수학적 모델확인 기준일: 2026-09-12
정책 고정과 소급 변경 방지의 형식 정리
Lean 4의 A2_policy_pinning_strict, A3_deny_retroactive_strict 정리를 제품의 정책 버전 문제와 연결합니다.
증명 범위: 정리는 모델에 대한 것으로, 제품 전체의 형식 검증이 아닙니다.
근거 · E-02 →E-03 · 수학적 모델확인 기준일: 2026-09-12
Lean 4 형식 모델 증명 맵
A5_append_only, A0_event_provenance_strict, pipeline_consistent 등의 모델 정리를 분류합니다.
증명 범위: 모델과 실제 FastAPI·PostgreSQL 구현 사이에는 추가 검증이 필요합니다.
근거 · E-03 →E-04 · 소프트웨어 시험확인 기준일: 2026-11-04
M4/M5 대조적 공격 시나리오 시험
CI에서 76/76 시험 통과. 변조·삭제·롤백, 별도 HTTP 프로세스, 공개키 검증, 소급 TBM 거절을 다뤘습니다.
증명 범위: 검증된 것은 소프트웨어 시험 환경이며 독립된 운영 서버의 설치 확인은 포함하지 않습니다.
근거 · E-04 →E-05 · 구현 검증확인 기준일: 2026-09-11
업무 권한 및 확인 의미의 시험 근거
다른 조직 접근의 거절, 실제 효력 시점의 권한, 확인 내용 변경 등을 시험합니다.
증명 범위: 지정된 API/DB 경로의 시험이며 모든 위협을 다루지는 않습니다.
근거 · E-05 →E-06 · 특허 출원확인 기준일: 2026-09-03
특허 출원 포트폴리오 정합성 자료
DailySafe와 관련된 선별 출원 정보를 비공개 원장과 대조합니다.
증명 범위: 출원은 특허 등록이 아니며 제품 구현이나 법적 독점 범위를 증명하지 않습니다.
근거 · E-06 →연구와 관련된 특허 출원
사건 증거, 규칙 버전, 작업 실적 정산, 독립 검증 등과 관련된 출원번호와 연구 주제를 별도 목록에서 확인할 수 있습니다. 출원은 등록특허나 제품의 전체 기능을 의미하지 않습니다.
관련 출원 목록 보기 →수학적 모델의 증명, 코드 시험, 현장에 배포된 제품 기능은 서로 다른 검증 단계입니다. 이 페이지는 각 주제를 해당 근거의 실제 범위 안에서 설명합니다.