أدلة قياسية وشروط DAG أحادية للسطح العام الحالي.
AcceptedRunHead
التعديل المقبول الدقيق وملخص السجل المقبول القياسي لعملية واحدة.
AcquisitionBinding
علاقة مملوكة للسيناريو من عملية استحواذ واحدة منفذة إلى شرط نوعي دقيق واحد.
AcquisitionBindingCompatibilityWitness
دليل مختوم يثبت أن عملية استحواذ واحدة وإسقاط تقع في مجال الشرط المستهدف الدقيق.
AdmittedEvidence
مرشح الأدلة الذي تم إثبات أن بناءه المحدد بالمصدر وحالة الاكتمال الخاصة به قد تم إثباتهما.
CanonicalAdmittedEvidenceSnapshot
حل الأدلة المرتبطة بقانون الرسم البياني، مرتبة بشكل قياسي، والتي تم استهلاكها من خلال التقييم البحت.
ClosedObservationDomain
قانون مختوم موقع، غير موقع، عشري دقيق، منطقي، نص، بايت، تاريخ، لحظة، مصفوفة، سجل، أو اتحاد مُعَلَّم.
DgValueFormatV1
أسقف محايدة معمارياً غير قابلة للتغيير للقيم المخصصة، الأدلة، لقطات البيئة، والمستندات الجذرية.
EffectiveLimitWitness
دليل على أن ملف تعريف حد السيناريو الواحد يضيق ملف تعريف مشغله وسقوف V1 غير القابلة للتغيير.
EvidenceCandidate
ملاحظة محددة بالمصدر مع نطاق دقيق، فترة، سياق السلطة، احتفاظ، وهوية قياسية.
EvidenceUsePolicyWitness
دليل مختوم على أن مجموعة المرشحين المؤهلين تلبي كل إحداثيات سياسة استخدام الأدلة المستقلة.
GraphIdentity
الهوية القياسية ل DAG اعتماد Xarxa المعتمد، المستقل عن ترتيب المدخلات العدائية.
Insufficient
توجد مرشحين لكنهم يفشلون في القبول أو الاتفاق أو النصاب؛ هذا يختلف عن الفشل التشغيلي وغياب المدخلات.
Missing
لا يوجد مرشح لشرط؛ المدخلات المفقودة لا تُفسر أبداً على أنها غياب ملحوظ.
MonotoneRequirement
تحسين RET المغلق الذي لا يمكن أن يتغير من صحيح إلى خاطئ مع زيادة مجموعة الذرات الصحيحة.
NotReady
مرحلة لم يتم استيفاء شرطها الطوبولوجي بواسطة التقدم المكتمل المقبول.
ObservedAbsent
دليل إيجابي مقبول يثبت أن ملاحظة المصدر الكاملة أثبتت الغياب.
OpenIncomplete
مرحلة مفتوحة صراحة لم تقبل دلتا الإكمال؛ هذه الحالة لا تحمل ملكية وكيل.
Present
قيمة واحدة مقبولة من نوع محدد؛ JSON null ليست قيمة موجودة ضمن العائلة الأولية.
RawScenarioSpec
بناء جملة سيناريو dag-v3 العدائي الذي يتطلب التحقق القائم على المُنشئ قبل الاستخدام الدلالي.
ReadyUnopened
مرحلة جاهزة للتوبولوجيا لم يتم فتحها بشكل صريح.
SatisfiableRequirement
تحسين RET المغلق الذي يثبت أن هناك على الأقل تقييم واحد كامل للعبارة المنطقية يقيم إلى صحيح.
ScenarioLawIdentity
الهوية القياسية للطوبولوجيا، الشروط المطبقة، روابط الاستحواذ، الحدود الفعالة، وقوانين الإكمال.
SubmissionScope
نطاق تقديم العناصر المغلقة: على مستوى التشغيل أو مرتبط بسجل مرحلة مفتوح دقيق.
TopologyFrontier
مجموعة مرتبة قياسية من العقد غير المكتملة التي تكون قوانينها المسبقة صحيحة بالنسبة للتقدم المكتمل المقبول.
TopologyReadyWitness
إثبات مرتبط بالرسم البياني يثبت أن عقدة غير مكتملة واحدة تنتمي إلى حدود الطوبولوجيا الحالية.
ValidatedDependencyDag
DAG نهائي مختوم مع متطلبات مسبقة موثقة، ترتيب قياسي، تجميع مجاورات، وهوية الرسم البياني.
ValidatedScenarioLaw
ربط سلطة السيناريو المختوم Xarxa، RET، شروط محددة، توافق الاستحواذ، الحدود، والهوية.
ValidatedTypedPredicate
عبارة مغلقة محددة لمقارنات معينة بدون أي مجموعة غير صالحة من المقارنات والعمليات.
accepted_head
مراجعة دقيقة وملخص سجل يتم اشتقاقه منه قراءة أو تغيير.
accepted_run_store
سلطة الالتزام المشروطة المختارة للنشر التي تأمر بالتعديلات المقبولة بالضبط لكل RunKey.
acquisition_bindings
مجموعة السيناريو القياسية للمتصل، الوقت المسمي، لقطة البيئة، وعلاقات المستندات الجذرية.
caller_evidence
ملاحظات المتصل العدائي التي لا يمكنها تعيين الثقة، سلطة الأصل، الغياب، أو الحالة الدلالية بنفسها.
completed
مرحلة تحتوي على دلتا إكمال واحدة مقبولة؛ ترفض المراحل المكتملة أي تغيير تقييم إضافي.
completion_requirement
قانون RET الصريح لإكمال المرحلة أو السيناريو.
condition_id
هوية محلية للسيناريو لمجال ملاحظة مغلق واحد، وفرضية محددة، وسياسة استخدام الأدلة.
decision_gate_docs_search
البحث في موارد وثائق Decision Gate المراجعة.
graph_identity
هوية رسم بياني قياسية مسلسلة من Xarxa تستخدم لرفض استبدال الرسم البياني.
local_acquisition
توجيهات محددة صريحة للوقت المسمي، لقطات بيئية غير قابلة للتغيير، أو مستندات محلية جذرية.
operation_id
هوية عدم التكرار الثابتة المحددة بواسطة عائلة العمليات وRunKey.
run_id
هوية 128 بت التي تم سكها من قبل السلطة لعملية مستقلة مقبولة واحدة على قانون سيناريو غير قابل للتغيير.
runpack_export
نشر بادئة مقبولة متماسكة من runpack-v6 إلى المستودع المحلي الثابت الجذري القابل للتكوين.
runpack_verify
تحقق من موضوع runpack-v6 المقدم في وضع عدم الاتصال وأعد كل مطالبة دقيقة دون جلب، ساعة، مزود، أو سلطة نجاح/فشل خشنة.
scenario_define
قبول بناء جملة السيناريو العدائي dag-v3 في قانون سيناريو موثق غير قابل للتغيير.
scenario_evaluate_stage
الحصول على أدلة صريحة، بناء لقطة قياسية، وتقييم مرحلة OpenIncomplete بشكل بحت.
scenario_history
إرجاع السجلات المقبولة المحدودة بالترتيب الدقيق للإلتزام للتدقيق والتنسيق الخارجي.
scenario_id
رمز سيناريو مؤلف مستقر؛ كل عملية تربط أيضًا هوية قانون السيناريو بالضبط.
scenario_law_identity
ملخص متسلسل لقانون السيناريو المعتمد غير القابل للتغيير.
scenario_open_stage
فتح مرحلة ReadyUnopened واحدة صراحة دون تعيين، إلغاء شقيق، أو انتشار ضمني.
scenario_precheck_stage
قبول الأدلة للقراءة فقط وتنبؤ نقي دون أي تغيير مقبول.
scenario_resolve_creation
حل إنشاء غير محدد من خلال سلطة إيصال الإنشاء المقبولة دون افتراض عدم القبول أثناء انقطاع السلطة.
scenario_resolve_mutation
حل تغيير غير محدد من خلال إيصالها المقبول بالضبط دون إعادة تشغيل الاستحواذ أو التقييم.
scenario_start
إنشاء تقدم مرتبط بالرسم البياني فارغ لقانون سيناريو دقيق؛ تظل الجذور ReadyUnopened.
scenario_status
إرجاع الحالة الحالية المحدودة، تصنيفات المرحلة، الحدود، ملخصات المحاولات الأخيرة، وعدد النوايا الملتزمة.
scenario_submit
التزام عنصر تدقيق؛ هذه الأداة ليست اعترافًا بالأدلة الدلالية.
scenarios_list
قائمة قوانين السيناريو غير القابلة للتغيير المرئية في مساحة اسم واحدة مع هوياتها الدقيقة.
schemas_get
استرجاع مراجعة واحدة من مخطط شكل البيانات غير القابل للتغيير.
schemas_list
قائمة مراجعات مخطط شكل البيانات غير القابلة للتغيير في مساحة اسم.
schemas_register
تسجيل مراجعة مخطط شكل البيانات غير القابلة للتغيير في نطاق مساحة الاسم.
stage_id
مفتاح العقدة الثابتة ضمن DAG اعتماد السيناريو.
xarxa
دليل مستقل عن المجال يحمل إثباتات أحادية من نوع DAG.