MVCC 구현
PROVENDB
Multi-Version Concurrency Control
저장소 증거 (5개)
freelang_mariadbpartial46/55 통과 (84% 성공률)
test_result:9046/55 통과 (84% 성공률)
test_result:9046/55 통과 (84%), 부분 FAIL은 jest 프레임워크 타임아웃
test_result:9046/55 PASS)
test_result:9016/16 PASS ✅)
moss-state-corepartial18/18 통과
test_result:9018/18 통과
test_result:9028/28 통과
test_result:9013/16 통과
readme_impl:60✅ **완벽한 격리**: MVCC 스냅샷 격리로 Dirty Read 방지
capability-proofspartial[verify.fl] 실질 구현 확인: Test Framework 구현
file_content:75[verify.fl] 실질 구현 확인: Test Framework 구현
commit_feat:70feat: Evidence-Handoff v1 — capability-proofs를 증인(Evidence Writer)으로
commit_feat:70feat: capability-proofs — PROVEN=재실행 증거 (MVCC/gRPC-wire/native ✅, LLVM BLOCKED)
readme_kw:30[mvcc] …ap.js run mvcc/mvcc.fl node /root/kim/freela…
freelang-postgresql-clonepartialdocs: PostgreSQL Clone v5.0 완전 문서 (Phase 1-35, 10대 스텁 해결, 성능
commit_feat:70docs: PostgreSQL Clone v5.0 완전 문서 (Phase 1-35, 10대 스텁 해결, 성능 지표)
commit_feat:70docs: PostgreSQL Clone v5.0 최종 문서 및 테스트
commit_feat:70feat: PostgreSQL Clone v5.0 — Phase 31-35 완성 (진짜 프로덕션 DB)
commit_feat:70feat: PostgreSQL Clone v4.5 — Phase 25-30 구현 (2,000+ 줄 추가)
freelang-zero-copy-dbpartialperf: Zero-Copy-DB 필터링 및 정렬 성능 최적화
commit_feat:70perf: Zero-Copy-DB 필터링 및 정렬 성능 최적화
commit_feat:70feat: Phase 11 통합 쿼리 파이프라인 완성
commit_feat:70fix: Phase 10 result_set.fl 중복 괄호 제거
commit_feat:70feat: Phase 10 쿼리 실행 엔진 완성
수동 증거
repofreelang_mariadb
2/2 PASS
repofreelang_mariadb
55/55 PASS
repofreelang-postgresql-clone
발굴됨
repomoss-state-core
28/28 PASS
repofreelang-zero-copy-db
perf: Zero-Copy-DB 필터링 및 정렬 성능 최적화
repofreelang_mariadb
55/55 PASS
repofreelang-postgresql-clone
발굴됨
repomoss-state-core
28/28 PASS
repofreelang_mariadb
55/55 PASS
repofreelang-postgresql-clone
발굴됨
repofreelang_mariadb
55/55 PASS
repomoss-state-core
28/28 PASS
repofreelang-postgresql-clone
발굴됨
repomoss-state-core
28/28 PASS
repocapability-proofs
feat: Evidence-Handoff v1 — capability-proofs를 증인(Evidence W