نظرية حقل السياق (CFT) هي الإطار الرياضي وراء اختيار السياق في LeanCTX. تنمذج كل عنصر سياق كنقطة في حقل جهد، مُقيّمة بدالة سداسية الأبعاد تُحدد ما ينتمي لنافذة انتباه الذكاء الاصطناعي الخاص بك.
دالة الجهد
جوهر CFT هو جهد السياق Φ — دالة تُعيّن درجة ملاءمة لكل عنصر سياق في كل نقطة زمنية. Φ أعلى يعني أولوية أعلى للإدراج في نافذة السياق.
Φ(i,t) = w_R · R(i,t) + w_S · S(i) + w_G · G(i,t) + w_H · H(i) − w_C · C(i,v) − w_D · D(i, selected)
| Factor | Description |
|---|---|
R(i,t) | ملاءمة المهمة R(i,t) — ما مدى ملاءمة هذا العنصر للمهمة الحالية؟ يُحسب عبر تصنيف النية والتشابه الدلالي. |
S(i) | الأهمية الهيكلية S(i) — ما مدى مركزية هذا العنصر في رسم قاعدة الشفرة؟ يُقاس بمركزية البينية و PageRank. |
G(i,t) | تدرج الحداثة G(i,t) — متى تم الوصول إلى هذا العنصر أو تعديله آخر مرة؟ تناقص زمني أسّي. |
H(i) | التردد التاريخي H(i) — كم مرة تم الوصول إلى هذا العنصر عبر الجلسات؟ يتتبع الأهمية طويلة المدى. |
C(i,v) | تكلفة الرموز C(i,v) — كم رمزًا يستهلك هذا العنصر لمُرمّز النموذج الحالي؟ يُعاقب العناصر المكلفة. |
D(i,S) | عقوبة التكرار D(i,S) — ما مقدار التداخل بين هذا العنصر والعناصر المُختارة بالفعل؟ يمنع التكرار. |
سجل السياق الغني
يقوم Rich Context Ledger بترقية سجل الإدخالات المسطح إلى سجل عناصر مُصدَّر. يحصل كل عنصر على معرّف بعنونة المحتوى، وآلة حالة (Candidate, Included, Excluded, Pinned, Stale)، وتجزئة المحتوى للكشف عن التغييرات، ودرجات Phi لكل عنصر، وتتبع كامل للمصدر — مما يتيح الإخلاء الدقيق وإعادة الحقن الذكية واكتشاف تعارضات التراكب.
مقابض السياق
المقابض هي مراجع خفيفة الوزن ومُحددة النوع لعناصر السياق. بدلاً من تحميل ملف بحجم 4,000 رمز، يتلقى العملاء مقبضًا مثل @F1 يمكن توسيعه عند الطلب. هذا النمط من التقييم الكسول يُبقي السياق خفيفًا حتى تكون المحتويات مطلوبة فعلاً.
طبقات السياق
الطبقات هي تغييرات قابلة للعكس تُطبّق على عناصر السياق. تُعدّل كيفية معالجة العناصر دون تغيير المصدر. تستمر الطبقات لكل مشروع ويمكن تكديسها، مما يجعلها مثالية لتبديل التركيز المؤقت أو قمع الضوضاء.
مُجمّع السياق
يأخذ مُجمّع السياق وصف المهمة وميزانية الرموز، ثم يبني أصغر حزمة سياق تُعظّم إجمالي Φ ضمن قيد الميزانية. يستخدم الاختيار الجشع مع عقوبات التكرار لتجنب تكرار المعلومات.
محرك سياسات السياق
السياسات هي قواعد تصريحية تُؤتمت حوكمة السياق. حدد أنماطًا للتثبيت التلقائي والإخفاء وحدود الرموز واكتشاف التقادم في تكوين TOML بسيط. تُطبّق السياسات لكل مشروع وتُقيّم عند كل عملية سياق.
لوحة تحكم Dashboard
يوفر Context Cockpit لوحة تحكم مرئية للمراقبة في الوقت الفعلي. عرض درجات Phi كخرائط حرارية، وفحص المقابض والتراكبات النشطة، وتتبع ميزانيات الرموز، وإدارة السياق من خلال واجهة ويب تفاعلية مع بث مباشر لأحداث Context Bus.
أدوات CLI و MCP
كل عملية CFT متاحة عبر أوامر CLI وأدوات MCP، مما يمنحك تحكمًا كاملاً بغض النظر عن وضع التكامل الخاص بك.
| Command | Description |
|---|---|
lean-ctx control pin <path> | تثبيت ملف لضمان بقائه في كل عملية تجميع سياق |
lean-ctx control suppress <path> | إخفاء ملف لاستبعاده من اختيار السياق |
lean-ctx control list | عرض جميع مقابض السياق النشطة مع درجات Φ الخاصة بها |
lean-ctx compile --budget <tokens> | تجميع حزمة سياق مثالية ضمن ميزانية الرموز |
lean-ctx plan --task <description> | إنشاء خطة سياق مع اكتشاف النقص |
ctx_control action="list" | عرض جميع عناصر السياق المتتبعة مع الحالة ودرجة Phi |
ctx_plan task="fix auth" budget=8000 | إنشاء خطة سياق مرتبة بـ Phi لمهمة معينة |
ctx_compile mode="handles" budget=8000 | تجميع حزمة السياق المثلى للمهمة الحالية |