ما يتم شحنه في المستودع العام
- متطلبات RET والجبر الخاص بها وطبقة رسم الاعتماد Xarxa، مع تحسينات متطلبات موثوقة وقابلة للإرضاء و monotone.
- سيناريوهات مكتوبة، وشروط، ومجالات مراقبة مغلقة؛ نموذج الأدلة المفككة مع سياسات استخدام الأدلة الصريحة ودلالات الحاضر / الملاحظ الغائب / المفقود / دقة غير كافية.
- تقييم دلالي خالص بدون إدخال/إخراج مع نتائج ثلاثية القيم (صحيح / خطأ / غير معروف).
- بروتوكول التشغيل المقبول: هويات التشغيل المصدرة من قبل السلطة، قبول الرأس الدقيق، عدم التكرار الأول للوصلات، وعائلات النتائج المخصصة.
- عملية محلية مع حالة التشغيل المقبولة المدعومة في الذاكرة وSQLite.
- MCP، CLI، العقود المولدة، وتوقعات SDK للتكامل.
- أدوات تصدير runpack والتحقق المستقل غير المتصل بالإنترنت.
- الوثائق، الاختبارات، والأدلة الرسمية، بما في ذلك نماذج التحقق من النموذج المحدود مع حدودها المحددة.
الضمانات، مع حدودها
- التقييم الحتمي. القانون المعتمد المتطابق، التقدم المقبول، والأدلة المعترف بها تنتج نتائج دلالية متطابقة. الحتمية تغطي التقييم - وليس توفر الاكتساب، الجدولة، أو التأثيرات الخارجية.
- قرارات الفشل المغلقة. الإثبات المفقود أو غير الكافي أو الغامض يمنع التقدم. عدم اليقين لا يعزز سير العمل بشكل افتراضي.
- سجلات قابلة لإعادة التشغيل. يتم تصدير الجولات المقبولة إلى حزم قابلة للتحقق؛ يمكن للمراجع إعادة التحقق من النزاهة وإعادة تقييم البوابات من الأدلة المسجلة دون الحاجة إلى الثقة في وقت التشغيل الذي أنتجها.
- حدود المطالبات الصادقة. سلامة السجل، أصالة المصدر، وصدق الأدلة الأصلية هي خصائص منفصلة، يتم التحقق منها بشكل منفصل. لا يوجد ضوء أخضر واحد يمثل الثلاثة جميعًا.
الحالة الحالية
تتبع مطالبات القدرات أدناه ثلاثة تسميات: متاحة الآن في المستودع العام، معمارية الهدف المصممة، ومؤجلة بشكل صريح.
| القدرة | الحالة |
|---|---|
| النواة الدلالية: RET، Xarxa، شروط محددة، حل الأدلة، التقييم النقي | متاح الآن |
| عملية التشغيل المقبولة محليًا (في الذاكرة وSQLite) | متاح الآن |
| الأدلة المقدمة من المتصل؛ الوقت المسجل، لقطة البيئة، واكتساب الوثيقة المحلية المتجذرة | متاح الآن |
| MCP، CLI، العقود المولدة، إسقاطات SDK | متاح الآن |
| تصدير runpack والتحقق المستقل | متاح الآن |
| تكامل المؤسسات الذي يديره العميل (الهوية، الحوكمة، أنظمة التخزين الدائمة) | مستهدف مصمم |
| مقدمو أدلة الشبكة المسجلة (HTTP/REST، MCP عن بُعد) | مؤجل |
| مقدمو التنفيذ الفرعي والمحلي؛ المقيمون عن بُعد | مؤجل |
| توزيع التوزيع متعدد العقد وملفات الفشل | مؤجل |
يمكن لجهاز الاستضافة أن يحصل بالفعل على بيانات الشبكة أو بيانات الأوامر الخاصة به ويقدمها كدليل على المتصل؛ ثم تسجل السجل تلك القناة بصدق بدلاً من تزيينها بشيء أقوى.
الترخيص التجاري
السطح التجاري هو حقوق وهندسة، وليس نظرية مختلفة. نفس النواة الدلالية التي هي عامة بموجب SSPL يمكن ترخيصها لـ:
- نشر تجاري مستضاف ذاتيًا في بيئتك، على بنيتك التحتية.
- الاستخدام المدمج وOEM داخل منصات المنتجات والوكلاء.
- نشر استراتيجي على نطاق المزود، بما في ذلك التكامل مع أنظمة أدلة العملاء، وهندسة ملف النشر، والتأهيل، والدعم على المدى الطويل.
لا تدير Arxiu سحابة Decision Gate المدارة. يتم تنفيذ النشر من قبل العملاء حسب التصميم: أدلتك، بنيتك التحتية، سيطرتك.
التراخيص
- مستودع Decision Gate: SSPL 1.0.
ret-logicوxarxacrates: Apache 2.0، مرخصة بشكل منفصل داخل المستودع.
ترخيص SSPL هو ترخيص متاح المصدر، وليس ترخيص مفتوح المصدر معتمد من OSI؛ قم بتقييم شروطه مقابل استخدامك المقصود. تزيل التراخيص التجارية التزامات SSPL عن أسطح النشر المذكورة أعلاه.
اتصل
لأسئلة الترخيص التجاري، والتوافر، أو النشر: license@arxiu.io.