منصوبے کے بارے میں

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 ایک مستحکم Zig ABI پیش کرتا ہے جس میں C پر انحصار نہیں، مبہم ہینڈلز، بائٹ بفرز اور واضح ایرر کوڈز، صرف مارشلنگ کرتا ہے اور C ٹول چین کے بغیر FFI مطابقت کے لیے callconv(.C) استعمال کرتا ہے۔ Factor میں Form.Runtime GQL پارس/پلان/ایگزیکٹ، وضاحت اور خود شناسی، پلانر مرحلہ خود شناسی، پابندی کی وضاحت کی سطحیں اور پروویننس کی سطحیں سنبھالتا ہے۔ Form.Normalizer خودکار فنکشنل انحصار کی دریافت (DFD/TANE/FDHits)، GQL-DT میں FDs کی ٹائپ انکوڈنگ، 1NF سے BCNF تک نارمل فارم کی پیش گوئیاں، ثبوت لے جانے والی اسکیمہ ارتقا اور نارملائزیشن کے فیصلوں کے لیے بیانیہ وضاحتیں فراہم کرنے کے لیے Factor اور Lean 4 کو یکجا کرتا ہے۔ Elixir/OTP میں Form.ControlPlane اختیاری ہے اور پورٹ، سیشنز، نگرانی اور کلسٹر ایج کوآرڈینیشن کے ذریعے آؤٹ-آف-پروسیس کور انجن فراہم کرتا ہے۔ بنیادی غیر متغیرات کو ناقابلِ گفت و شنید کے طور پر پیش کیا گیا ہے: ڈسک پر سچائی بلاک/جرنل تہہ کی ملکیت ہے اور اعلیٰ تہیں اسے نظر انداز نہیں کرتیں؛ ہر تبدیل کرنے والا عمل کمٹ سمجھے جانے سے پہلے جرنل میں درج ہوتا ہے؛ ہر کمٹ شدہ عمل کا ایک متعین معکوس ہونا چاہیے یا واضح طور پر ناقابلِ واپسی-کے-ساتھ-کہانی کے طور پر نشان زد ہونا چاہیے؛ بلاکس اور جرنل اندراجات کو انسانی/ایجنٹ کے پڑھنے کے قابل شکل میں ڈیٹرمنسٹک طور پر رینڈر کرنے کے قابل ہونا چاہیے؛ استفسار کے نتائج اختیاری طور پر جرنل اور بلاکس کی طرف پروویننس پوائنٹرز شامل کر سکتے ہیں؛ اور پابندیاں قابلِ وضاحت ہیں، مسترد ہونے پر وجوہات، پوائنٹرز اور بیانیہ دلیل واپس آتی ہے۔ GQL (Glyph Query Language) مقامی استفسار انٹرفیس ہے۔ تصور کے ثبوت کا ذیلی مجموعہ ایک مجموعے میں دستاویز کے INSERT، from، to، type اور props کے ساتھ کنارے کے INSERT، سادہ پیش گوئوں کے ساتھ SELECT، پلان اور وجوہات واپس کرنے والے EXPLAIN، اسکیمہ اور پابندیوں کے INTROSPECT، اور اختیاری پروویننس آؤٹ پٹ کا احاطہ کرتا ہے۔ واضح غیر اہداف میں ڈراپ-ان Postgres متبادل ہونا، مائیکرو بینچ مارکس جیتنا، اور پہلے PoC میں مکمل تقسیم شدہ اتفاق رائے بھیجنا شامل ہے۔ PoC قبولیت کے معیار میں سنگل-نوڈ کھولنا/بند کرنا، ڈیٹرمنسٹک رینڈرنگ کے ساتھ صرف شامل کرنے والا جرنل، دستاویز اور کنارہ داخل/منتخب، وضاحتی پے لوڈ واپس کرنے والی پابندی کی مستردگی، ایک ریکارڈ شدہ اور الٹ پلٹ کرنے کے قابل مائیگریشن نمونہ، گزرتے ہوئے گولڈن ٹیسٹ ویکٹرز، اور فریز پر گزرتے ہوئے سیون چیکس (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 ہیں۔