ACID 트랜잭션 구현
PROVENDB
START TRANSACTION/COMMIT/ROLLBACK/SAVEPOINT
저장소 증거 (20개)
AION-ts-orchestratorpartial109/111 passing (98.2%)
test_result:90109/111 passing (98.2%)
test_result:90109/111 passing (98.2%)
commit_feat:70docs: Phase 5 최종 상태 보고서
commit_feat:70feat: Phase 5 Step 4 - Complete Kubernetes Deployment
freelang-v4-stdlibpartial56/56 tests passing)
test_result:9056/56 tests passing)
test_result:9056/56 tests passing"
test_result:9056/56 tests passing
test_result:9056/56 tests passing (100%)
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 방지
v9_SQLite_dbpartial[v9-db-replication.fl] 실질 구현 확인: Replication / Consensus
test_result:906/6 PASS
test_result:909/9 PASS
test_result:9015/15 PASS (100%)**
test_result:906/6 PASS
agents-harnesspartialfeat: Claude Code 플러그인 Phase 1 통합 완료
commit_feat:70feat: Claude Code 플러그인 Phase 1 통합 완료
commit_feat:70feat: 에이전트 소집 10기 완성 — 배치 2,3,4 (7개 에이전트)
commit_feat:70feat: 에이전트 소집 10기 배치 1 — 3개 에이전트 구현
commit_feat:70feat: 13개 프로젝트 분석 리포트 생성 및 실행 계획
aion-servicespartialdocs: fault-injector + AION 대시보드 활용법 문서화
commit_feat:70docs: fault-injector + AION 대시보드 활용법 문서화
commit_feat:70feat: fault-injector.fl 추가 + event-bus /publish /history 라우트
commit_feat:70feat: AION 의존 서비스 5개 — FreeLang v11.6.19 구현
readme_kw:30[rollback] …pi/deploy/rollback → PM2 재시작으로 롤백 POST /api/de…
dns-managerpartialfeat: dns.dclub.kr 포털에 FreeLang Blog 카드 추가
commit_feat:70feat: dns.dclub.kr 포털에 FreeLang Blog 카드 추가
commit_feat:70chore: DNS Manager 설정 및 webhook 업데이트
commit_feat:70docs: Add 13 HTTPS REST API endpoints (https-rest-server)
commit_feat:70feat: Add Proof_ai Phase 5 Monitoring API endpoints to API Hub (10 endpoints)
dns-projectpartialfeat: dns.dclub.kr 포털에 FreeLang Blog 카드 추가
commit_feat:70feat: dns.dclub.kr 포털에 FreeLang Blog 카드 추가
commit_feat:70chore: DNS Manager 설정 및 webhook 업데이트
commit_feat:70docs: Add 13 HTTPS REST API endpoints (https-rest-server)
commit_feat:70feat: Add Proof_ai Phase 5 Monitoring API endpoints to API Hub (10 endpoints)
freedocpartialdocs: SPEC.airc phase4-versioning verified=true, hot=done
commit_feat:70docs: SPEC.airc phase4-versioning verified=true, hot=done
commit_feat:70feat: FreeDoc-13 Versioning — PUT /nodes/:id, history, rollback
commit_feat:70docs: SPEC.airc phase3-rag verified=true, hot→phase4-versioning
commit_feat:70feat: FreeDoc-12 RAG Engine — POST /query 컨텍스트 조립
freelang-integrity-enginepartial[integrity_engine_v0.1.fl] 실질 구현 확인: ACID 트랜잭션 구현
file_content:75[integrity_engine_v0.1.fl] 실질 구현 확인: ACID 트랜잭션 구현
file_content:75[integrity_engine_v2_layer1.fl] 실질 구현 확인: Formal Verification
commit_feat:70feat(integrity-engine-v2): Complete Auditable Computing System with 50 Destructive Tests
commit_feat:70feat(layer3): 외부 검증 & 감시 시스템 구현 완료
freelang-ops-codexpartialscore:80
readme_kw:30[rollback] …revision (rollback 금지) - **소비자**: incoming ≤ cur…
readme_kw:30[pre-commit] … hook** — pre-commit + gogs hook ## 🔒 v1.0 freez…
freelang-v4partial[test-phase5-lexer.fl] 실질 구현 확인: Lexer 구현
file_content:75[test-phase5-lexer.fl] 실질 구현 확인: Lexer 구현
commit_feat:70docs: MCTS + 멀티 에이전트 대전 최종 보고서 (성능 분석 포함)
commit_feat:70feat: MCTS + Q-Learning + 멀티 에이전트 대전 (AI 고도화)
commit_feat:70docs: 조정 가능성 문서 작성 (정책/턴/가중치)
freelang-v4-audit-systempartialfeat: FreeLang v4 Audit System - Comprehensive Audit Logging
commit_feat:70feat: FreeLang v4 Audit System - Comprehensive Audit Logging + Change Tracking + Snapshots
readme_kw:30[rollback] …udit.auditRollback('001', 'SUCCESS'); // 대시보드 c…
freelang-v4-migrationpartialdocs: freelang-v4-migration 프로덕션 준비 완료
commit_feat:70docs: freelang-v4-migration 프로덕션 준비 완료
commit_feat:70feat: FreeLang v4 Migration System - Schema Versioning + Rollback
readme_impl:60✅ Applied Migrations:
readme_kw:30[rollback] …gration + Rollback Support** 완벽하게 테스트된 FreeLang…
freelang-v4-transaction-advancedpartialfix: freelang-v4-transaction-advanced 프로덕션 준비 완료
commit_feat:70fix: freelang-v4-transaction-advanced 프로덕션 준비 완료
commit_feat:70feat: Advanced Transaction Manager - Complete Implementation
readme_impl:60- [x] Phase 1: 기본 구조
readme_impl:60- [x] Phase 2: ACID 보장
gogs-cli-flpartial[test_lexer_comments.js] 실질 구현 확인: Lexer 구현
file_content:75[test_lexer_comments.js] 실질 구현 확인: Lexer 구현
commit_feat:70feat: Add bitwise operations for self-hosting support
commit_feat:70feat: Add gogs-cli implementation modules and phase completion reports
commit_feat:70feat: Complete v4.3 implementation - all stdlib extensions and utilities
gogs_pushpartialdocs: Add comprehensive README for GOGS Push project
commit_feat:70docs: Add comprehensive README for GOGS Push project
readme_kw:30[rollback] …- Gradual rollback option - Enhanced alerting se…
readme_kw:30[code generation] … Layer 2: Code Generation & Compilation (Multi-target g…
readme_kw:30[self-healing] … Runtime (Self-healing, auto-optimization) ### 3. *…
mariadb-v2partialfix: mariadb-parse-ok-packet info 필드 경계 초과 버그 수정
commit_feat:70fix: mariadb-parse-ok-packet info 필드 경계 초과 버그 수정
commit_feat:70docs: README.md 작성 (786줄)
readme_kw:30[rollback] … COMMIT / ROLLBACK 자동 처리 | | 파라미터 바인딩 | `?` plac…
readme_kw:30[tcp socket] … │ TCP Socket MariaDB 서…
phase2-agents-harnesspartialfeat: [V9-INTEGRATION] 병렬 검증 시스템 구현 - 정적 + 동적 이중 증명
commit_feat:70feat: [V9-INTEGRATION] 병렬 검증 시스템 구현 - 정적 + 동적 이중 증명
commit_feat:70fix: GitHub Actions 액션 버전 업그레이드 (checkout@v4, upload-artifact@v4)
commit_feat:70feat: [SCALE] 28개 에이전트 규모 검증 완료 - 구조 증명
commit_feat:70fix: [CODE-ANALYZER] proof.fl 파일 재구성 - 0% → 91%
수동 증거
repofreelang_mariadb
4/4 PASS
repofreelang_mariadb
55/55 PASS
repofreelang-ops-codex
발굴됨
repoAION-ts-orchestrator
111/111 PASS
repofreelang-mariadb-v11
발굴됨
repov9_SQLite_db
24/24 PASS
repofreelang-v11-sqlite-crud
발굴됨
repofreelang-postgresql-clone
발굴됨
repofreelang-v6
77/77 PASS
repophase2-agents-harness
발굴됨
repofreelang-bank-system
20/20 PASS
reposovereign-workspace
발굴됨
repofreelang-backend-system
발굴됨
repomoss-state-core
28/28 PASS
repofreelang-v4-stdlib
56/56 PASS
repofreelang-v4-transaction-advanced
발굴됨
repofreelang-v4-sqlite-integration
발굴됨
repofreelang-v4-migration
발굴됨
repofreelang-v4-audit-system
8/8 PASS
repofreedoc
docs: SPEC.airc phase4-versioning verified=true, hot=done
repofreelang_mariadb
55/55 PASS
repofreelang-ops-codex
발굴됨
repoAION-ts-orchestrator
111/111 PASS
repofreelang-mariadb-v11
발굴됨
repov9_SQLite_db
24/24 PASS
repofreelang-v11-sqlite-crud
발굴됨
repofreelang-postgresql-clone
발굴됨
repophase2-agents-harness
발굴됨
repofreelang-v6
77/77 PASS
repofreelang-bank-system
20/20 PASS
repofreelang-backend-system
발굴됨
reposovereign-workspace
발굴됨
repomoss-state-core
28/28 PASS
repofreelang-v4-stdlib
56/56 PASS
repofreelang-v4-transaction-advanced
발굴됨
repofreelang-v4-sqlite-integration
발굴됨
repofreelang-v4-migration
발굴됨
repofreelang-v4-audit-system
8/8 PASS
repofreelang_mariadb
55/55 PASS
repofreelang-ops-codex
발굴됨
repoAION-ts-orchestrator
111/111 PASS
repofreelang-mariadb-v11
발굴됨
repov9_SQLite_db
24/24 PASS
repofreelang-v11-sqlite-crud
발굴됨
repofreelang-postgresql-clone
발굴됨
repophase2-agents-harness
발굴됨
repofreelang-v6
77/77 PASS
repofreelang-bank-system
20/20 PASS
repofreelang-backend-system
발굴됨
reposovereign-workspace
발굴됨
repofreelang_mariadb
55/55 PASS
repofreelang-ops-codex
발굴됨
repomoss-state-core
28/28 PASS
repoAION-ts-orchestrator
111/111 PASS
repofreelang-mariadb-v11
발굴됨
repov9_SQLite_db
24/24 PASS
repofreelang-v4-stdlib
56/56 PASS
repofreelang-v4-transaction-advanced
발굴됨
repofreelang-v4-sqlite-integration
발굴됨
repofreelang-v4-migration
발굴됨
repofreelang-v4-audit-system
8/8 PASS
repofreelang-v11-sqlite-crud
발굴됨
repofreelang-postgresql-clone
발굴됨
repophase2-agents-harness
발굴됨
repofreelang-v6
77/77 PASS
repofreelang-bank-system
20/20 PASS
repofreelang-backend-system
발굴됨
reposovereign-workspace
발굴됨
repomoss-state-core
28/28 PASS
repofreelang-v4-stdlib
56/56 PASS
repofreelang-v4-transaction-advanced
발굴됨
repofreelang-v4-sqlite-integration
발굴됨
repofreelang-v4-migration
발굴됨
repofreelang-v4-audit-system
8/8 PASS
repofreelang-integrity-engine
[integrity_engine_v0.1.fl] 실질 구현 확인: ACID 트랜잭션 구현