इस प्रोजेक्ट के बारे में

Lithoglyph (ग्रीक lithos "पत्थर" + glyphein "खोदना") को एक narrative-first, reversible, audit-grade डेटाबेस कोर के रूप में वर्णित किया गया है। इसका कथित सिद्धांत यह है कि schemas, constraints, migrations, blocks और journals एक अपारदर्शी substrate के बजाय narrative artefacts हैं, और डेटा पत्थर में खुदा हुआ है: स्थायी, auditable और reversible। परियोजना की स्थिति सक्रिय लेकिन द्वितीयक प्राथमिकता घोषित की गई है। README कहता है कि यह पत्रकारिता, narrative arts और media/communications में विशेषज्ञ उपयोग के लिए production की ओर काम कर रहा है, जबकि VeriSimDB को वर्तमान प्राथमिक परियोजना नामित किया गया है। यह सुझाव देता है कि Lithoglyph और इसकी GQL query language अधिकांश पत्रकारिता, storytelling और media workflows के लिए सही विकल्प होने की संभावना है, जबकि VeriSimDB और VCL/VCL-UT cross-source investigative verification, बड़े पैमाने पर entity tracking, दीर्घकालिक identity consistency, या यह साबित करने के लिए प्रासंगिक हो जाते हैं कि databases के बीच डेटा drifted नहीं हुआ है। बताए गए प्राथमिक मूल्य auditability को performance से ऊपर, meaning को features से ऊपर, और reversibility को throughput से ऊपर रखते हैं, जिसमें agent understanding की आवश्यकता होती है। लक्षित domains में investigative journalism, governance/compliance, agentic ecosystems और multi-repo handover, और दीर्घकालिक सांस्कृतिक या संस्थागत archives शामिल हैं। रिपॉजिटरी को spec (AsciiDoc format specs और rationale), core-forth (Form.Blocks और Form.Model, जिसे truth core कहा गया है), core-zig (Form.Bridge, ABI और port framing), core-factor (Form.Runtime, GQL और introspection), control-plane (एक वैकल्पिक Elixir/OTP gateway), tools (render/inspect/doctor utilities), test-vectors (golden bytes और golden renders) और stories (narrative examples और onboarding artefacts) में व्यवस्थित किया गया है। वास्तुकला भाषा और जिम्मेदारी के अनुसार layered है। Forth में Form.Blocks deterministic storage, journal और reversibility primitives प्रदान करता है: प्रतीकात्मक headers के साथ fixed-size blocks, एक append-only journal, crash recovery और integrity checks, और repair guidance। Forth में Form.Model बहु-मॉडल logical layer है जो document collections, edge collections, schema और constraint metadata, और migration artefacts को कवर करता है। Zig में Form.Bridge बिना C निर्भरता के एक स्थिर Zig ABI प्रदान करता है, जिसमें opaque handles, byte buffers और स्पष्ट error codes होते हैं, केवल marshalling करता है और C toolchain के बिना FFI संगतता के लिए callconv(.C) का उपयोग करता है। Factor में Form.Runtime GQL parse/plan/exec, explain और introspection, planner step introspection, constraint explanation surfaces और provenance surfaces को संभालता है। Form.Normalizer स्वचालित functional dependency discovery (DFD/TANE/FDHits), GQL-DT में FDs की type encoding, 1NF से BCNF तक normal form predicates, proof-carrying schema evolution और normalization निर्णयों के लिए narrative explanations के लिए Factor और Lean 4 को जोड़ता है। Form.ControlPlane Elixir/OTP में वैकल्पिक है और port के माध्यम से out-of-process core engine, sessions, supervision और cluster edge coordination प्रदान करता है। मुख्य invariants को गैर-परक्राम्य प्रस्तुत किया गया है: on-disk truth block/journal layer के स्वामित्व में है और उच्च layers इसे bypass नहीं करते हैं; प्रत्येक mutating operation को committed माने जाने से पहले journaled किया जाता है; प्रत्येक committed operation का एक परिभाषित inverse होना चाहिए या स्पष्ट रूप से irreversible-with-story चिह्नित होना चाहिए; blocks और journal entries को मानव/agent-पठनीय रूप में deterministically renderable होना चाहिए; query results वैकल्पिक रूप से journal और blocks के लिए provenance pointers शामिल कर सकते हैं; और constraints explainable हैं, जिसमें rejections reasons, pointers और narrative rationale लौटाते हैं। GQL (Glyph Query Language) मूल query interface है। proof-of-concept subset में collection में document का INSERT, from, to, type और props के साथ edge का INSERT, सरल predicates के साथ SELECT, plan और reasons लौटाने वाला EXPLAIN, schema और constraints का INTROSPECT, और वैकल्पिक provenance output शामिल है। स्पष्ट non-goals में drop-in Postgres replacement होना, microbenchmarks जीतना, और पहले PoC में पूर्ण distributed consensus शिप करना शामिल नहीं है। PoC acceptance criteria में single-node open/close, deterministic rendering के साथ append-only journal, document और edge insert/select, explain payload लौटाने वाला constraint rejection, एक रिकॉर्डेड और reversible migration artefact, पासिंग golden test vectors, और freeze पर seam checks (B↔M, M↔R, B↔R) पास करना शामिल है। खुले प्रश्न एक machine-readable handover file में ट्रैक किए जाते हैं, जिसमें minimal block header layout, minimal journal entry schema, ABI blob encoding choice, GQL PoC grammar, Elixir/OTP introduction timing, और कई self-normalizing विषय जैसे default FD discovery algorithm, approximate FD handling, denormalization scope, GQL-DT proof integration और query rewriting शामिल हैं। README quickstart, versioning, changelog, architecture, roadmap, philosophy, GQL specification, GQL dependent types, self-normalizing database, block और journal formats, deployment, observability, security और auth, API reference, RDBMS से migration, integration patterns, और एक interactive documentary/journalism work package के लिए documentation लिंक करता है। संबंधित परियोजनाओं में GQL-DT, Lithoglyph Studio, BoFIG, Zotero-Lithoglyph, Lithoglyph Debugger और FormBase शामिल हैं। कोड MPL-2.0 है और documentation CC-BY-SA-4.0 है।