البدء مع سيناريوهات Monotone-DAG

ابدأ Decision Gate وشغّل سيناريو أول.

سيناريوهات Decision Gate هي DAGs غير قابلة للتغيير. يبدأ التشغيل بتقدم فارغ؛ الجذور جاهزة ولكن غير مفتوحة. يختار المشغلون صراحةً أي مراحل جاهزة لفتحها وتقييمها.

تأليف سيناريو خام

{
  "scenario_id": "release",
  "namespace_id": 1,
  "spec_version": "dag-v3",
  "value_limits": { "selection": "InheritOperator" },
  "stages": [
    {
      "stage_id": "verify",
      "prerequisite": { "kind": "root" },
      "entry_packets": [],
      "completion_requirement": { "Condition": "checks_green" }
    }
  ],
  "conditions": [
    {
      "condition_id": "checks_green",
      "observation_domain": { "domain": "Boolean" },
      "predicate": {
        "predicate": "Equals",
        "expected": { "value_type": "Boolean", "value": true }
      },
      "evidence_use_policy": {
        "allowed_channels": ["caller_submission"],
        "required_assurance": ["content_integrity", "scope", "schema_compatibility"],
        "integrity": "canonical_content_only",
        "authorization": "embedding_authority",
        "scope": "exact_condition",
        "freshness": { "freshness": "NotRequired" },
        "independence": "distinct_acquisition",
        "combination": { "combination": "AllQualifyingAgree" },
        "retention": "retain_canonical_value",
        "replay": "full_semantic"
      }
    }
  ],
  "acquisition_bindings": [],
  "completion_requirement": { "Condition": "verify" },
  "policies": [],
  "schemas": []
}

استدعِ scenario_define. النجاح يُرجع scenario_law_identity و graph_identity؛ احتفظ بالهوية القانونية الدقيقة لإنشاء التشغيل.

ابدأ تشغيلًا مستقلًا

استدعِ scenario_start مع مساحة الأسماء، السيناريو، معرف التشغيل، الهوية القانونية الدقيقة، معرف العملية المستقر، والطابع الزمني الصريح. تحتوي الاستجابة على المراجعة 0، وملخص السجل المقبول الدقيق، وverify كـ ready_unopened، ولا توجد مرحلة مفتوحة أو نية دخول.

افتح مرحلة جاهزة

استدعِ scenario_open_stage مع معرف المرحلة الصريح، ورأس القبول الدقيق الذي تم إرجاعه بواسطة البداية، ومعرف العملية المستقر. يعني الفتح أن العمل قد بدأ في هذا التشغيل المشترك. لا يتم تعيين وكيل أو تغيير الأشقاء الجاهزين.

تقييم المرحلة المفتوحة

استدعِ scenario_evaluate_stage مع الرأس الدقيق الجديد، معرف المرحلة الصريح، معرف محاولة التقييم المستقر، معرف عملية الالتزام المستقرة، الطابع الزمني، وقيمة واحدة لإثبات المتصل العدائي لـ checks_green. يستمد النقل أصل المتصل؛ المتصل لا يقدم ثقة أو حالة مقارنة.

  • دلالي خاطئ أو غير معروف يضيف محاولة قابلة لإعادة المحاولة؛
  • دلالي صحيح يكمل المرحلة مرة واحدة ويعيد تقييم اكتمال السيناريو؛
  • الفشل في الاستحواذ أو التفويض أو النزاهة أو التقييم لا ينشئ أي اقتراح دلالي.

راقب ونسق

استخدم scenario_status للحصول على الرأس الدقيق، حالة التشغيل، أربع تصنيفات للمرحلة، الحدود، المحاولات، وهويات النية. استخدم scenario_history لسجلات الطلب المقبولة المحدودة. في حالة تعارض الرأس القديم، اقرأ الحالة/التاريخ وأعد الاشتقاق؛ لا تعيد محاولة الاقتراح القديم بشكل أعمى.

الفحص المسبق

scenario_precheck_stage يقبل أدلة المتصل العدائي ويتنبأ بنتيجة مرحلة واحدة دون فتح، محاولات، نوايا، أو تغيير في التقدم.

التفرع والوكالات المتعددة

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