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

التدفق الدائم

hostile source material
  -> source-specific acquisition constructor
  -> acquisition witness
  -> source admission
  -> condition-specific evidence-use-policy satisfaction
  -> canonical admitted-evidence snapshot
  -> pure typed predicate and RET evaluation
  -> candidate semantic attempt/completion
  -> accepted-run exact-head admission

كل سهم له مالك واحد ويقوم بصك قيمة تحمل العلاقة التي أثبتها. التقييم النقي لا يقوم بأي مزود، أو ساعة، أو بيئة، أو نظام ملفات، أو شبكة، أو تفويض، أو تخزين، أو إدخال/إخراج.

خمسة أسئلة منفصلة

1. هل القانون السيناريو هيكليًا صالح ومعرف بشكل كنسي؟
2. هل أنشأ القبول المحدد للمصدر الحقائق الدقيقة للاكتساب؟
3. هل يفي مجموعة الأدلة بسياسة الاستخدام الدقيقة لهذه الحالة؟
4. هل تقوم العبارة المكتوبة ومرحلة RET بتقييم True، False، أو Unknown؟
5. هل قبلت سلطة التشغيل المعتمدة المرشح ضد رأس الهوية التشغيلية الثابتة والدقيقة؟

لا إجابة تعوض عن أخرى.

تصنيف الفشل

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

المدخل المفقود ليس غيابًا ملحوظًا. حالة الدلالة المقدمة من المتصل ليست أبدًا ذات سلطة.

الاستحواذ على الهدف الأولي

الهدف الأولي يسمح بتقديم المتصل المقيد، وملاحظة الوقت المسماة، ولقطة بيئية غير قابلة للتغيير مدرجة في القائمة، وملاحظة مستند JSON/YAML متجذر. يتم استبعاد HTTP/REST، وMCP عن بُعد، وstdio subprocess/MCP، ومزودي التنفيذ العشوائي، والمقيّمين عن بُعد.

التنفيذ الحالي

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

حقائق عبر السيناريوهات

حقيقة عن تشغيل آخر تدخل فقط كدليل معتمد مرتبط بالقانون الخارجي الدقيق، RunKey، الرأس المقبول، السجل، الحداثة، وعلاقات التفويض. التقييم لا يبدأ أو يقيم ذلك التشغيل بشكل تكراري.

الفحص المسبق

يمكن أن يقوم الفحص المسبق بتشغيل نفس دلالة الدالة النقية/RET على مدخلات دلالية معتمدة متطابقة. لا يقوم بتغيير أي شيء ولا يثبت أي اكتساب حي أو تقدم مقبول.