통합 논리 계산실
논리 체계 선택
논리식 편집실열기
논리식·증명·관계도 자유 작성
한국어 · English · Français언어 확장열기
한국어·영어·독일어·프랑스어·스페인어·이탈리아어·포르투갈어·네덜란드어·일본어·중국어
L1~L12 · 직접 분석·의미 검증·출력 복원복합 논리열기
분해·복수 태깅·기호 공유·실행 계획
37~46단계 · v3.0 RC실행 오케스트레이터열기
실행·증거·인증서·최소 반례
47~60단계 · v3.2 알파배치 실행열기
다중 작업·외부 비교·설명 품질·RC 검증
61~66단계 · v3.2 RC외부 연동열기
TPTP·QMLTP·독립 증명 검사·모호성 병렬 실행
67~70단계 · v4.0 외부 검증 알파대규모 운영현재
실행 시각화·영속 캐시·작업 큐·shard 배치
71~73단계 · v4.1 운영 확장 알파v4 검증열기
감사·사람 검토·조정·RC 동결
74~80단계 · 사람 검토 운영·RC 동결한국어 입력열기
문장 분석·형식화 후보·의미 분기·엔진 연결
25~29 + 58~59단계 · 의미 확인 강화논리학 훈련실열기
형식화·증명·오류 진단·맞춤 재훈련
학습 엔진 1~22단계 · 대규모 운영·공개 베타·RC명제논리열기
진리값·반례·진리표·자연연역
완전 의미론 판정술어·관계·동일성열기
양화사·동일성·유한 반모형
부분 증명 + 제한 반모형양상논리열기
K·T·S4·S5 타블로·크립키 모형
부분 증명 + 제한 반모형시간논리열기
LTLf X·F·G·U·진행 오토마톤
오토마톤 판정 + 반례 시간흐름의무논리열기
O 의무·P 허용·F 금지
30단계 · D 직렬 프레임다치논리 K3열기
참·미정·거짓의 3값 의미론
32단계 · 첫 확장 플러그인퍼지논리열기
0~1 연속 진리도
33단계 · Zadeh + KD확률논리열기
사건 확률·조건부확률
34단계 · 명시 확률모형교차 논리열기
고전·K3·퍼지·확률 비교
35단계 · 비교·안전 변환4차 2묶음 · v4.1 운영 확장 알파
보이는 실행, 끊기지 않는 작업, 큰 배치를 한 계층으로 묶습니다
실행 흐름을 그래프로 확인하고, 캐시와 작업 상태를 재시작 뒤에도 복원하며, 수백·수천 건의 요청은 작은 shard로 나누어 처리합니다.
67~70단계의 외부 연동·독립 검증 계층은 그대로 유지하고 71~73단계를 운영 확장 계층으로 추가했습니다.
71실행 결과 시각화72영속 캐시·작업 큐73대규모 shard 배치
71~73단계
4차 2묶음 검증 현황
71단계
실행 흐름 시각화
현재 화면은 240건 배치 중 앞의 8건만 표시합니다. 실제 계산과 캐시 재사용을 구분하며 숨겨진 작업은 집계값으로 보존합니다.
72단계
영속 캐시와 작업 큐
캐시PASS
결정적 실행 키를 저장하고 TTL·LRU·버전 경계·재시작 복원을 유지합니다.
운영 테이블 logic_execution_cache_v41작업 큐PASS
queued → leased → done/failed와 lease 만료 복구·제한 재시도를 적용합니다.
운영 테이블 logic_execution_jobs_v41두 운영 테이블은 RLS가 켜져 있고 익명·일반 사용자 권한을 제거했습니다. 서비스 역할 키는 서버에서만 사용합니다.
73단계
대규모 shard 배치
shard-00180 jobs
계산 1 · 재사용 79 · 오류 0
shard-00280 jobs
계산 0 · 재사용 80 · 오류 0
shard-00380 jobs
계산 0 · 재사용 80 · 오류 0
shard 사이에서도 하나의 캐시를 공유하므로 동일 계산은 다시 수행하지 않습니다. 작업 순서와 개별 오류 정보는 그대로 보존합니다.