حدود معاملة واحدة
يتم تنفيذ طفرات SQL والهياكل والبحث ضمن كتالوج واحد ومجموعة جذر WAL وMVCC وتسلسل الالتزام.
النظام البرمجي 01/ البيانات
سلطة محلية واحدة للبيانات التي يجب أن تبقى وتشرح نفسها.
Hyphae هو محرك بيانات Rust حيث تتشارك SQL والهياكل الأصلية والبحث المعجمي/المتجه والمعاملات والاسترداد والإثباتات في وحدة تخزين مملوكة واحدة وركيزة الالتزام.
استبدل مجموعة من قواعد البيانات المحلية وخدمات البحث بسلطة واحدة مقيدة وغير متصلة بالإنترنت ويمكن التحقق من حالتها وإصداراتها.
01 / Benefits
لماذا تستخدم الفرق Hyphae
المحلية الأولى عن طريق البناء
الصدأ المضمن، والمآخذ المحلية أو الأنابيب المسماة، وCLI، وHTTP الاسترجاع الاختياري تعمل بدون حساب سحابي مطلوب.
البحث بدون عربة جانبية
البحث المعجمي، والمتجه الدقيق، وشبكة ANN التزايدية، والبحث المفلتر، والأوجه، والمتري، والهجين موجود في نفس المحرك.
المتانة قابلة للفحص
نقاط التفتيش، والنسخ الاحتياطي، والاستعادة، والاسترداد، وأجيال الفراغ، وتقارير الطبيب، والبراهين، والشهود قد حدت من سلوك الفشل.
العقود العامة
تحدد OpenAPI وJSON Schema وPython وTypeScript SDKs والبروتوكولات المحلية ذات الإصدار حدود السلك.
الافراج عن الأدلة
المحفوظات، والمجاميع الاختبارية، وSBOMs، والتوقيعات، والمصدر، وإيصالات البوابة تربط الإصدارات بالمصدر الدقيق.
02 / Architecture
بنية النظام
تتلاقى جميع الأسطح العامة في منتج محلي واحد وسلطة للمعاملات؛ التخزين والاسترداد والأدلة ليست خدمات منفصلة.
- 01
التطبيقات
الصدأ المضمن، CLI، Python/TypeScript SDK، MCP، البروتوكول المحلي، HTTP /v2 الاختياري
- 02
سلطة المنتج الأصلي
الهوية والتحكم في الوصول والجلسات والحدود والإلغاء والعمليات وجدولة المعاملات
- 03
ثلاثة أسطح البيانات
SQL العلائقية + الهياكل الأصلية + البحث المعجمي/المتجه/المختلط
- 04
ركيزة متينة
الكتالوج، الصفحات، النقط، WAL، MVCC، الفهارس، معرفات الكائنات، نقاط التفتيش، النسخ الاحتياطي، والبراهين
- 05
مخرجات يمكن التحقق منها
الشهود والإيصالات وتقارير الطبيب ومصدر الإفراج والتحقق دون الاتصال بالإنترنت
03 / Surface
ما الذي تقدمه Hyphae
العلائقية
DDL/DML المحدود والاستعلامات المعدة والفهارس الثانوية والصلات والقيود والنوافذ والمعاملات.
الهياكل الأصلية
السلاسل، والعدادات، والتجزئة، والقوائم، والمجموعات، والمجموعات المصنفة، والتدفقات، وTTL، والمسح، والجبر، والدفعات الذرية.
استرجاع
BM25، المتجهات الدقيقة، HNSW ANN، المرشحات، الأوجه، المقاييس، الانصهار الحتمي، والبحث الهجين في نفس اللقطة.
العمليات
ملكية الدليل الفردي، ونقاط التفتيش، والنسخ الاحتياطي/الاستعادة، والتفريغ، والاستيراد/الترويج، والتحكم في الوصول، والتشخيص.
04 / Evidence
ما تم إثباته
تعد سلطة النطاق التشغيلي لمجموعة السبع دليلًا قويًا على الآلة الافتراضية والبروتوكول المسمى، وليس مطالبة بزمن الوصول العالمي.
الملاحظات المقاسة
33 surface/concurrency cells
تم استرداد الالتزامات المنطقية
صفر مفقود أو غير متطابق
تذكر آن @10
في كل خلية مقاسة
بوابات محدودة مغلقة
أدلة الإصدار المرتبطة بالمصدر
تحدد هذه القياسات الصحة المحدودة والمحاسبة والاستدعاء والتزامن والاسترداد في البيئة المنشورة. وهي لا تصادق على الكمون المحمول، أو المعدن العاري، أو العملية الموزعة.
ما يفعله الآن
- يعمل كدليل بيانات Rust ثنائي محلي واحد ودليل بيانات مملوك حصريًا.
- توحيد أعباء العمل العلائقية والهيكلية والاسترجاعية تحت سلطة معاملة واحدة.
- يدعم العملاء المضمنين والمحليين وCLI واستخدام HTTP الاسترجاعي الاختياري.
- يتم شحن الأرشيفات عبر الأنظمة الأساسية والعملاء الذين تم كتابتهم مع التحقق من الإصدار.
ما يطمح إلى فعله
- تقليل تنافس المسار المضمن وإكمال التصفية على مرحلة واحدة.
- أضف SIMD والتسارع الاختياري غير المتجانس خلف بوابات الأدلة فقط.
- التضمينات المعتمدة مسبقًا وإثبات الاسترجاع.
- تعامل مع البرامج المستضافة والموزعة والمبنية على النماذج كعقود منفصلة بدلاً من النمو الصامت للنطاق.
ما هو عمدا ليس كذلك
- ليست مجموعة موزعة، أو SaaS مستضافة، أو مستوى الفوترة/التحكم، أو قاعدة بيانات متعددة المستأجرين.
- لا يوجد تشفير TLS أو تشفير غير مضمن؛ يمتلك المشغلون سياسة الإنهاء عن بعد ونظام الملفات.
- لا يوجد LLM مضمن أو موفر التضمين المطلوب.
- تثبت الأدلة الالتزامات والقواعد الموثقة؛ فهي لا تثبت أن حقائق الإدخال صحيحة.
Hyphae