مسجل أصل أساسي بوابة القرار
Docs
وثائق بوابة القرار

تقييم بوابة حتمي وقابل لإعادة التشغيل مع قرارات قابلة للتدقيق.

وثائق Asset Core

مرجع بنية التحقق من المقارنات

نظرة عامة

يطبق Decision Gate صحة المقارنات على ثلاثة مستويات:

  1. Typed import-time synthesis for OpenAPI typed providers derives allowed_comparators from normalized result schemas using the strict type-class matrix and canonical comparator ordering. F:crates/decision-gate-typed/src/openapi/check_synthesis.rs L34-L109 F:crates/decision-gate-typed/src/openapi/comparator_derivation.rs L52-L134
  2. Authoring-time strict validation (default-on) in the MCP layer rejects invalid comparator/type combinations before a scenario or precheck runs. F:crates/decision-gate-mcp/src/validation.rs L36-L673 F:crates/decision-gate-mcp/src/tools/router.rs L3173-L3241 F:crates/decision-gate-mcp/src/tools/router.rs L3808-L3887
  3. Runtime comparator evaluation in the core returns tri-state results and yields Unknown when evidence types do not match expectations. 2) تقييم المقارن في وقت التشغيل في النواة يُرجع نتائج ثلاثية الحالة ويعطي Unknown عندما لا تتطابق أنواع الأدلة مع التوقعات. F:crates/decision-gate-core/src/runtime/comparator.rs L39-L259

المحقق الصارم هو حارس البوابة؛ منطق وقت التشغيل هو الخط الأخير من سلوك الفشل المغلق. F:crates/decision-gate-mcp/src/validation.rs L36-L170 F:crates/decision-gate-core/src/runtime/comparator.rs L39-L197

خريطة مصدر الحقيقة

المنطقةالملفالملاحظات
Comparator enum + EvidenceQueryF:crates/decision-gate-core/src/core/evidence.rs L32-L90قائمة المقارنات القياسية وشكل الاستعلام.
Typed OpenAPI comparator synthesisF:crates/decision-gate-typed/src/openapi/check_synthesis.rs L34-L109 F:crates/decision-gate-typed/src/openapi/comparator_derivation.rs L52-L134يستخرج قوائم السماح لمقارنات التحقق من مخططات النتائج الموحدة.
Runtime comparator semanticsF:crates/decision-gate-core/src/runtime/comparator.rs L39-L308ترتيب مدرك للأرقام العشرية، سلوك lex/deep، غير معروف عند عدم التطابق.
Strict validation engineF:crates/decision-gate-mcp/src/validation.rs L36-L673مصفوفة فئة النوع، تحليل المخططات، تجاوزات المجال.
MCP tool integrationF:crates/decision-gate-mcp/src/tools/router.rs L3173-L3241 F:crates/decision-gate-mcp/src/tools/router.rs L3808-L3887scenario_define + precheck يستدعي التحقق الصارم.
Validation config surfaceF:crates/decision-gate-config/src/config.rs L1469-L1521مفاتيح ValidationConfig ومعرفات الملف الشخصي.
Contract schemasF:crates/decision-gate-contract/src/schemas.rs L1105-L1129مخطط المقارنة والتعليقات التوضيحية.
Tooltips/docsF:crates/decision-gate-contract/src/tooltips.rs L260-L296سلوك المقارنة والتحقق الموجه للجمهور.
Generated docsF:Docs/generated/decision-gate/tooling.md L1-L42 F:Docs/generated/decision-gate/tooltips.json L1-L80تم إعادة توليدها بعد تحديثات المخطط/التعليقات التوضيحية.
MCP validation testsF:crates/decision-gate-mcp/tests/validation.rs L1-L220تغطية الوحدة لوضع التحقق الصارم.
System testsF:system-tests/tests/suites/validation.rs L1-L220سلوك التحقق من البداية إلى النهاية.

خط أنابيب التحقق (MCP)

تعريف السيناريو (scenario_define)

التحقق المسبق (precheck tool)

قواعد التحقق الصارمة (ملخص التنفيذ)

توافق نوع الفئة

عائلات المقارنات الاختيارية

تجاوزات المجال

  • x-decision-gate.allowed_comparators restricts allowed comparators to a subset of the type-class matrix. x-decision-gate.allowed_comparators يقيّد المقارنات المسموح بها إلى مجموعة فرعية من مصفوفة نوع الفئة. F:crates/decision-gate-mcp/src/validation.rs L537-L585
  • x-decision-gate.dynamic_type = true treats the schema as dynamic (no declared type) and allows comparator validation to proceed without a type restriction, subject to config toggles. x-decision-gate.dynamic_type = true يعامل المخطط على أنه ديناميكي (بدون نوع محدد) ويسمح بالتحقق من المقارنات بالاستمرار دون قيود نوع، مع مراعاة إعدادات التكوين. F:crates/decision-gate-mcp/src/validation.rs L400-L414

معالجة الاتحاد

دلالات المقارنات في وقت التشغيل (الأساسية)

واجهة التكوين

توافق العقد + الوثائق

قائمة التغيير

  1. Update comparator semantics in crates/decision-gate-core/src/runtime/comparator.rs.
    1. تحديث دلالات المقارنات في crates/decision-gate-core/src/runtime/comparator.rs. F:crates/decision-gate-core/src/runtime/comparator.rs L39-L308
  2. Update strict validation logic in crates/decision-gate-mcp/src/validation.rs. 2) تحديث منطق التحقق الصارم في crates/decision-gate-mcp/src/validation.rs. F:crates/decision-gate-mcp/src/validation.rs L36-L673
  3. Update config toggles in crates/decision-gate-config/src/config.rs if needed. 3) تحديث مفاتيح التكوين في crates/decision-gate-config/src/config.rs إذا لزم الأمر. F:crates/decision-gate-config/src/config.rs L1469-L1521
  4. Align schemas/tooltips in crates/decision-gate-contract/src/schemas.rs and crates/decision-gate-contract/src/tooltips.rs. F:crates/decision-gate-contract/src/schemas.rs L1105-L1129 F:crates/decision-gate-contract/src/tooltips.rs L260-L296
  5. Regenerate Docs/generated/decision-gate/ artifacts. 5) إعادة توليد العناصر في Docs/generated/decision-gate/. F:Docs/generated/decision-gate/tooling.md L1-L42
  6. Update unit + system tests. F:crates/decision-gate-mcp/tests/validation.rs L1-L220 F:system-tests/tests/suites/validation.rs L1-L220