lithoglyph

Lithoglyph(그리스어 lithos "돌" + glyphein "새기다")는 내러티브 우선, 가역적, 감사 등급 데이터베이스 코어로 설명됩니다. 그 명시된 논지는 스키마, 제약, 마이그레이션, 블록, 저널이 불투명한 기반이 아니라 내러티브 산출물이며, 데이터는 돌에 새겨진 것처럼 영구적이고 감사 가능하며 가역적이라는 것입니다. 프로젝트 상태는 활성으로 선언되었지만 부차적 우선순위입니다. README는 저널리즘, 내러티브 예술, 미디어/커뮤니케이션 분야의 전문가 용도로 프로덕션을 향해 작업 중이라고 밝히며, VeriSimDB가 현재 주요 프로젝트로 명명됩니다. Lithoglyph와 그 GQL 쿼리 언어가 대부분의 저널리즘, 스토리텔링, 미디어 워크플로에 적합한 선택일 가능성이 높으며, VeriSimDB와 VCL/VCL-UT는 교차 소스 탐사 검증, 대규모 엔티티 추적, 장기 신원 일관성, 또는 데이터베이스 전반에 걸쳐 데이터가 드리프트하지 않았음을 증명하는 데 관련된다고 제안합니다. 명시된 주요 가치는 감사 가능성을 성능보다, 의미를 기능보다, 가역성을 처리량보다 우선시하며, 에이전트 이해가 요구됩니다. 나열된 대상 도메인은 탐사 저널리즘, 거버넌스/규정 준수, 에이전트 생태계 및 다중 저장소 핸드오버, 장기 문화 또는 기관 아카이브입니다. 저장소는 spec(AsciiDoc 형식 사양 및 근거), core-forth(Form.Blocks 및 Form.Model, 진실 코어로 설명됨), core-zig(Form.Bridge, ABI 및 포트 프레이밍), core-factor(Form.Runtime, GQL 및 내성), control-plane(선택적 Elixir/OTP 게이트웨이), tools(렌더/검사/진단 유틸리티), test-vectors(골든 바이트 및 골든 렌더), stories(내러티브 예제 및 온보딩 산출물)로 구성됩니다. 아키텍처는 언어와 책임에 따라 계층화됩니다. Forth의 Form.Blocks는 결정론적 저장, 저널 및 가역성 기본 요소를 제공합니다: 기호 헤더가 있는 고정 크기 블록, 추가 전용 저널, 충돌 복구 및 무결성 검사, 복구 지침. Forth의 Form.Model은 문서 컬렉션, 엣지 컬렉션, 스키마 및 제약 메타데이터, 마이그레이션 산출물을 포괄하는 다중 모델 논리 계층입니다. Zig의 Form.Bridge는 C 의존성 없는 안정적인 Zig ABI, 불투명 핸들, 바이트 버퍼 및 명시적 오류 코드를 제공하며, 마샬링만 수행하고 C 툴체인 없이 FFI 호환성을 위해 callconv(.C)를 사용합니다. Factor의 Form.Runtime은 GQL 파싱/계획/실행, explain 및 내성, 플래너 단계 내성, 제약 설명 표면 및 출처 표면을 처리합니다. Form.Normalizer는 Factor와 Lean 4를 결합하여 자동 함수 종속성 발견(DFD/TANE/FDHits), GQL-DT의 FD 타입 인코딩, 1NF부터 BCNF까지의 정규형 술어, 증명 운반 스키마 진화, 정규화 결정에 대한 내러티브 설명을 제공합니다. Elixir/OTP의 Form.ControlPlane은 선택 사항이며 포트, 세션, 감독 및 클러스터 엣지 조정을 통해 프로세스 외부 코어 엔진을 제공합니다. 핵심 불변성은 양보할 수 없는 것으로 제시됩니다: 디스크상의 진실은 블록/저널 계층이 소유하며 상위 계층은 이를 우회하지 않습니다. 모든 변경 작업은 커밋된 것으로 간주되기 전에 저널링됩니다. 모든 커밋된 작업은 정의된 역을 가지거나 명시적으로 스토리가 있는 비가역으로 표시되어야 합니다. 블록과 저널 항목은 인간/에이전트가 읽을 수 있는 형태로 결정론적으로 렌더링 가능해야 합니다. 쿼리 결과는 선택적으로 저널 및 블록에 대한 출처 포인터를 포함할 수 있습니다. 제약은 설명 가능하며, 거부는 이유, 포인터 및 내러티브 근거를 반환합니다. GQL(Glyph Query Language)은 네이티브 쿼리 인터페이스입니다. 개념 증명 하위 집합은 컬렉션에 문서 INSERT, from, to, type 및 props가 있는 엣지 INSERT, 단순 술어가 있는 SELECT, 계획 및 이유를 반환하는 EXPLAIN, 스키마 및 제약의 INTROSPECT, 선택적 출처 출력을 다룹니다. 명시적 비목표에는 드롭인 Postgres 대체, 마이크로벤치마크 우승, 첫 PoC에서 완전한 분산 합의 제공이 포함됩니다. PoC 수용 기준에는 단일 노드 열기/닫기, 결정론적 렌더링이 있는 추가 전용 저널, 문서 및 엣지 삽입/선택, explain 페이로드를 반환하는 제약 거부, 기록되고 가역적인 마이그레이션 산출물, 골든 테스트 벡터 통과, 동결 시 통과하는 이음새 검사(B↔M, M↔R, B↔R)가 포함됩니다. 미해결 질문은 기계 판독 가능한 핸드오버 파일에 추적되며, 최소 블록 헤더 레이아웃, 최소 저널 항목 스키마, ABI 블롭 인코딩 선택, GQL PoC 문법, Elixir/OTP 도입 시기, 그리고 기본 FD 발견 알고리즘, 근사 FD 처리, 비정규화 범위, GQL-DT 증명 통합 및 쿼리 재작성과 같은 여러 자기 정규화 주제를 다룹니다. README는 빠른 시작, 버전 관리, 변경 로그, 아키텍처, 로드맵, 철학, GQL 사양, GQL 종속 타입, 자기 정규화 데이터베이스, 블록 및 저널 형식, 배포, 관찰 가능성, 보안 및 인증, API 참조, RDBMS에서의 마이그레이션, 통합 패턴, 대화형 다큐멘터리/저널리즘 작업 패키지에 대한 문서를 링크합니다. 나열된 관련 프로젝트에는 GQL-DT, Lithoglyph Studio, BoFIG, Zotero-Lithoglyph, Lithoglyph Debugger 및 FormBase가 포함됩니다. 코드는 MPL-2.0이고 문서는 CC-BY-SA-4.0입니다.