التخطيط والقيود

ملخص سريع

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

التعريف

تخطيط هو إنتاج خطة بفترات زمنية صالحة، محصورة داخل مجموعة قيود صلبة معلنة (مواعيد ثابتة، ساعات متاحة، حدود مالية، صلاحيات) لا يجوز تجاوزها.

لماذا يهم

أكثر ما يفقد الثقة في الأنظمة الذكية هو خرق قيد واضح: موعد فات، أو مهمة في وقت غير متاح. الفصل بين الحتمي والتوليدي يجعل هذا الخرق مستحيلًا بنيويًا لا احتمالًا.

مثال بسيط

مثال عددي على قيد صلب: لديك مهمتان — الأولى تحتاج ساعتين وتسليمها الخميس، والثانية تحتاج ساعة وتسليمها الأربعاء. ولديك يوميًا 3 ساعات متاحة. النموذج قد يقترح «ابدأ بالأكبر»؛ الكود الحتمي يرفض أي خطة تضع المهمة الثانية بعد الأربعاء.

الشرح العملي

يعرض النظام قائمة أولويات مبرَّرة: كل ترتيب مصحوب بسبب قابل للعرض. وعند تعارض الأسباب، تُعرض المفاضلة للمستخدم بدل فرض اختيار صامت.

الشرح التقني

المكوّن	النوع	الوظيفة
المرتّب (Prioritizer)	توليدي + قواعد	ترتيب المهام بقواعد معلنة وإظهار السبب
القيود الصلبة (Hard Constraints)	حتمي	فرض المواعيد والحدود والصلاحيات بكود
المخطِّط (Planner)	توليدي داخل الحدود	بناء فترات زمنية صالحة

قاعدة صلبة: أي قيد (موعد، صلاحية، حد مالي) يُفرض بكود حتمي، والنموذج يقترح داخلها فقط.

المدخلات والمخرجات

المدخلات	المخرجات
المهام + القيود الصلبة + التقويم + التفضيلات	خطة بفترات صالحة + قائمة أولويات مبرَّرة + سجل رفض لأي خطة تخالف قيدًا

العلاقات والاعتماديات

تعتمد على: الذاكرة (المهام والقيود) ودورة العمل (مرحلة Prioritize). تغذّي: الوكلاء (مهمة قابلة للتنفيذ) والأدوات (حدود الصلاحيات).

حالات الفشل والمخاطر

قيود ناقصة → خطة هشّة؛ تُعالج بطلب إكمال القيود بدل التخمين. تعارض قيود (مستحيل زمنيًا) → إعلان تعارض لا خطة وهمية. تجاوز حد → رفض حتمي وإعادة اقتراح.

الحالة المعرفية

PROPOSED: بنية المكونات مقترحة؛ أما «القيود تُفرض حتميًا» فهو متطلب تصميمي مؤكد في الحزمة.

مفاهيم ذات الصلة

تُولَّد آليًا من related في الاتجاهين وقت البناء (FR-011).

المصادر

لا مصادر خارجية؛ المفهوم من وثيقة الحزمة رقم 10 §3 و§5.

سؤال تحقق من الفهم

س: لماذا لا يُعتمد على النموذج اللغوي وحده لضمان موعد تسليم؟ ج: لأن مخرجات النموذج احتمالية؛ القيود الصلبة تُفرض بكود حتمي نتيجة متوقعة تمامًا.