معمارية المقارنات وقبول الشروط

الحالي

تستخدم الشروط الخام الحالية نسخًا خاصة بالمقارنات. يقوم بناء سيناريو القبول بإنشاء مجال الملاحظة المغلقة، ويقبل كل عامل في ذلك المجال بالضبط، ويحقق قانونية الاتحاد بشكل شامل، ويغلق سياسة استخدام الأدلة، ويربط الاستحواذ بشكل منفصل. تمثل النسخة المعتمدة تلك العلاقة بشكل مباشر؛ فهي لا تحتوي على مقارن عام، أو عامل اختياري، أو قيمة JSON ديناميكية.

الهدف

ValidatedTypedPredicate يحتفظ بنسخته المغلقة الخاصة بالمقارنات. ConditionDefinition يحتوي فقط على هوية الشرط، مجال الملاحظة المغلقة، الشرط المطبوع، وسياسة استخدام الأدلة. تثبت روابط الاستحواذ بشكل منفصل كيف أن عملية مزود محلي أو مستقبلي تتوقع في ذلك المجال.

تحتوي الأعداد الصحيحة/العشرية الدقيقة، القيم المنطقية، السلاسل/البايتات المحدودة، التواريخ/اللحظات، المصفوفات/السجلات المغلقة، والاتحادات المغلقة على دلالات واضحة. لا يدخل أي تحويل ضمني، أو عدد عائم عام، أو ترتيب غير مسمى، أو احتواء مفرط عبر JSON. تدعم الأعداد الصحيحة الموقعة، والأعداد الصحيحة غير الموقعة، والأعداد العشرية الدقيقة، والتواريخ، واللحظات نطاقات مغلقة شاملة دقيقة، حيث يثبت البناء المغلق أن كلا الطرفين ينتميان إلى المجال المالك وminimum <= maximum.

الحدود الحالية والفضاء المتبقي

PF-01 ينفذ الهدف. عدم تطابق النوع بعد التحقق هو فشل في النزاهة، وليس دلالة دلالية Unknown. تصف إسقاطات dag-v3 العلاقة المطبوع. تظل المجالات المتخصصة IEEE-754 وترتيب المواقع عائلات رياضية مستقبلية منفصلة؛ سلوك بروتوكول التشغيل المقبول مملوك لسلطة PF-04 المنفذة بدلاً من التحقق من المقارنات.