تحقق أول من KLM

يمكن البدء باستكشاف KLM دون تشغيل نموذج لغة. تكشف أمثلة المستودع متطلبات العقد والتناقضات التي يرفضها. يستخدم الدليل النسخة العامة المفحوصة في 9 أكتوبر 2026: يتحقق من السجلات، لا من سلوك نموذج كامل.

1. الحصول على المستودع

مع توفر Python 3 وGit:

git clone https://github.com/omasim/KLM.git
cd KLM
git checkout 459aa899c42d27afcbaf475546542b7d17d2cc29

تتيح النسخة المثبتة إعادة هذه الفحوص. يُتابَع التطوير اللاحق في الفرع الرئيسي بصورة منفصلة. يستخدم مسار التحقق مكتبة Python القياسية.

2. التحقق من المثال المكتمل

python3 schema/validate_attestation.py --level 4 \
  schema/examples/attestation-worked-example.json

أعاد المدقق لهذا المثال KLM-4 Attributable. يحتوي السجل ادعاءين ودليلين وإجراءً واحدًا وست علاقات. يعلن klm-attestation/0.1، أي إن السجلات القديمة تحتفظ بقواعدها.

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

3. تشغيل سجل يجب أن يفشل

python3 schema/validate_attestation.py \
  schema/examples/invalid/attestation-violations.json

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

4. تغيير وسم الدعم

احتفظ بالأصل وأنشئ نسخة:

cp schema/examples/attestation-worked-example.json \
  /tmp/klm-supported-without-evidence.json

في النسخة، غيّر فقط قيمة support_status في الادعاء المعني من unsupported إلى supported، دون إضافة علاقة دليل. ثم شغّل:

python3 schema/validate_attestation.py --level 2 \
  /tmp/klm-supported-without-evidence.json

الوسم وحده لا يثبت الدعم. يُبلغ المدقق عن غياب علاقة supports ويرفض المستوى المطلوب KLM-2.

قراءة النتيجة

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

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

المصادر والنسخة

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

• البدء السريع
• المدقق
• المثال المكتمل
• المثال غير الصالح