الإجاباتمنشور12 المصادر
كيف يمكن لمساعد برمجي أن يفهم بنية المشروع من دون ادعاء معرفة كل شيء؟
المشكلة التي يستهدفها التصميم ليست، وفق مراجعة الشفرة الحالية، خوارزمية مثبتة لترتيب الدوال بحسب عدد الاتصالات؛ بل قصور في نطاق المرشحين وضمان تغطية أدوار النظام. يقترح التصميم فصل الأدلة إلى هيكل أساسي، وسياق قريب، وحدود للأخطاء والموارد، مع ألا يتجاوز الاختيار 32 مقطعاً أو 96 كيبيبايت من الشفرة.
نشر بواسطةتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- المشكلة التي يستهدفها التصميم ليست، وفق مراجعة الشفرة الحالية، خوارزمية مثبتة لترتيب الدوال بحسب عدد الاتصالات؛ بل قصور في نطاق المرشحين وضمان تغطية أدوار النظام.
- يقترح التصميم فصل الأدلة إلى هيكل أساسي، وسياق قريب، وحدود للأخطاء والموارد، مع ألا يتجاوز الاختيار 32 مقطعاً أو 96 كيبيبايت من الشفرة.
- تُحسب حدود الحمولة على إطار JSON RPC الكامل، لا على محتوى التقرير وحده؛ والهدف المقترح للحالة المعتادة هو 22,016 بايتاً.
- هذه مواصفة تصميمية وليست تنفيذاً أو نتيجة اختبار: لا يوجد في المعطيات ما يثبت بعد تغطية مستقرة بنسبة 13 من 13 أو تحقّق وفورات فعلية من ذاكرة KV المؤقتة.
![[GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W](https://d15bya8fi85z1v.cloudfront.net/chat/FsA9sJcopZXPbuikNhrPGNtYMUf2/images/E1CDE17D89E5840959B4/FC92110F8686E590A8D0.png)
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: [GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W. Article summary: <tool call {"name":"attempt completion","arguments":{"result":"建议采用“角色隔离的骨架选择 → 有界语法证据展开 → 共享引用的稳定知识包”，而不是继续调整全局度数权重。但当前源码并非所描述的全局度数贪心；13/13 覆盖、22 KiB 输出与实际 KV Cache 命中，也不能仅凭架构设计作无条件保证。\n\n 本轮交付为只读技术设计：未修改服务、参考项目或网关，未运行测. Topic tags: llm, agents, ai, automation, productivity. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
الفكرة باختصار
عندما يُطلب من مساعد برمجي شرح مسار العمل في مشروع كبير، لا تكفيه قائمة بالدوال الأكثر اتصالاً. قد تبرز تلك القائمة أدوات مساعدة كثيرة الاستخدام، بينما تغيب عنها نقطة دخول، أو خطوة تهيئة، أو حدّ حفظ البيانات. لذلك يقترح هذا التصميم طريقة مختلفة: تحديد الأدوار المهمة أولاً، ثم اختيار مقاطع شفرة كاملة ضمن ميزانية معلومة، وأخيراً تقديمها في حزمة مختصرة ذات مراجع مشتركة.
لكن ثمة قيد أساسي: المراجعة المتاحة تصف تصميماً مقترحاً، لا نظاماً نُفّذ واختُبر. كما أن فحص الشفرة الحالية لا يثبت أن الاختيار فيها يعتمد أصلاً على ترتيب شامل بحسب درجات الاتصال؛ فمسار أحد الاستخدامات يحجز بعض الأدلة المطلوبة قبل أن يطلب من نموذج التنقل بين المرشحين، بينما يعتمد مسار آخر على مطابقة كلمات السؤال مع المسارات والأسماء المؤهلة.
قبل تغيير الخوارزمية: ما الذي نعرفه؟
تُظهر المراجعة أن المرشحين الحاليين يقتصرون على تعريفات الأصناف والدوال، ما قد يترك خارج الاختيار عبارات مهمة على مستوى الوحدة، مثل تهيئة المكوّنات أو كتلة التشغيل الرئيسية. كما أن حفظ الأدلة المطلوبة يرتبط بالاختيارات الساكنة الصريحة، ولا يضمن بذاته تغطية أدوار دورة حياة النظام التي تُستنتج دلالياً.
وثمة فارق مهم بين تسجيل تعبير استدعاء وبين إثبات هدفه: إذا لم يُحسم الربط الساكن، فلا ينبغي التعامل مع التعبير بوصفه حافة مؤكدة في رسم الاستدعاءات. لذلك لا تكفي أعداد الاستدعاءات وحدها لإثبات عدد العلاقات البرمجية المعروفة أو أهميتها.
أما الدراسات المشار إليها فتتناول رسوماً بيانية مستخرجة من AST ومقارنتها برسوم معرفة تستخرجها النماذج 11، وبناء رسم معرفة لقواعد الشفرة باستخدام Tree-sitter
10. لكن الأرقام المحددة المتداولة حول مكاسب السرعة أو الدقة أو خفض الرموز لا تتوافر هنا بما يسمح بالتحقق من نتائجها أو تعميمها على هذا التصميم.
ثلاث طبقات، وثلاثة أدوار مختلفة
يقسم المقترح العمل إلى طبقات، حتى لا تختلط بنية الشفرة باسترجاع الأدلة أو بصياغة الملخص:
| الطبقة | ما تفعله | ما لا تثبته وحدها |
|---|---|---|
| الرسم البياني الموجّه اللا دوري (DAG) | ينظم العلاقات الساكنة المحسومة، ويجمع الدورات في مكوّنات قبل ترتيب الاعتماديات | لا يثبت ترتيب التنفيذ الفعلي وقت التشغيل |
| الاسترجاع المعزز بالتوليد (RAG) | يختار مقاطع شفرة كاملة وذات مصادر قابلة للتحقق | لا يجعل المقاطع المجاورة دليلاً تلقائياً على أي استنتاج دلالي |
| التوليد المعزز بالسياق (CAG) | يقدم الحقائق والمراجع والمواضع المجهولة في حزمة مستقرة | لا يضمن أن مزود النموذج سيخزّن البادئة أو يعيد استخدامها فعلاً |
ويبدأ بناء الرسم البياني بربط محافظ بين الاستدعاءات والتعريفات. إذا تعذر حسم الاستدعاء بسبب انعكاس أو استيراد ملتبس أو إعادة إسناد، يُسجل بوصفه مجهول الهدف بدلاً من اختراع علاقة. وبعد ذلك تُجمع الدورات في مكوّنات قوية الاتصال كي يصبح الرسم المكثف لا دورياً؛ لكنه يظل خريطة اعتماد ساكنة، لا جدولاً زمنياً لما يحدث في التطبيق.
اختيار الأدلة بحسب الدور لا الشعبية
بدلاً من وضع جميع المرشحين في سباق واحد، يقترح التصميم تصنيفهم بحسب دورهم المحتمل: مدخل أو مشغّل، تهيئة وتجميع، تنسيق للحالة، حدود حفظ البيانات، وحدود للأخطاء والموارد. وتبقى الدوال المساعدة في مسار منفصل، كي لا تزاحم نقاط الدخول أو الحفظ لمجرد كثرة الاتصالات بها.
تأتي الأدلة المطلوبة أولاً، ثم تُستكمل التغطية بالتناوب بين الأدوار والمكوّنات. ويمكن استخدام درجة اتصال مشبعة كعامل مساعد بين مرشحين متقاربين في الدور والإشارات البنيوية، لا بوصفها معياراً يتغلب على اختلاف الأدوار. كما تُزال الاستدعاءات المكررة عند حساب الجوار: تكرار الاتصال بالهدف نفسه لا يجعل الهدف جاراً جديداً.
الحدود المقترحة هي 32 مقطعاً كاملاً، وبحد أقصى إجمالي قدره 96 كيبيبايت من الشفرة. ويُقسّم سقف المقاطع إلى 16 للهيكل الأساسي، و12 للسياق، و4 لحدود الأخطاء والموارد. هذه أرقام سياسة مقترحة وليست قيماً أثبتت الاختبارات أنها مثالية. وإذا تعذر إدراج مجموعة أدلة مطلوبة كاملة ضمن الميزانية، ينبغي التصريح بأن الاختيار لم يكتمل، لا تسجيل المجموعة على أنها مغطاة.
بعد تثبيت الهيكل الأساسي، يمكن إضافة أدلة مجاورة من خطوة واحدة فقط عبر علاقات ساكنة محسومة. ولا تتحول المقاطع المضافة من هذه الخطوة إلى نقطة انطلاق لتوسّع متسلسل جديد. بذلك يبقى الاستكشاف محدوداً وقابلاً للتفسير، من دون افتراض أن كل استدعاء مجهول يقود إلى هدف معروف.
المقاطع الكاملة أهم من قصاصات تبدو مقنعة
يفترض التصميم اختيار وحدات نحوية مكتملة، مثل دالة كاملة مع مُزيّناتها، أو عبارة علوية كاملة في الوحدة البرمجية. ويهم ذلك خصوصاً عند قراءة كتلة شرطية أو معالجة استثناء: اقتطاع جسمها وترك شرطها أو فرع التنظيف قد يغيّر معنى الدليل.
ويحتاج التعامل مع الصنف وأعضائه إلى قواعد تمنع احتساب الجسم نفسه مراراً. فإذا اختير الصنف كاملاً، يمكن أن تشير المراجع إلى الدوال الموجودة داخله شرط أن يثبت نطاق AST ذلك؛ أما اختيار ترويسة الصنف وحدها فلا يثبت ما تفعله دواله التي لم تُقرأ.
حدّ الحجم يجب أن يشمل الرسالة كلها
يحسب المقترح الحجم الفعلي لإطار JSON-RPC بعد تسلسل التقرير وإدراجه في غلاف الرسالة، مع احتساب محارف الهروب وسطر النهاية. فقياس التقرير الداخلي وحده قد يقلل تقدير حجم ما سيُرسل.
الحساب هنا مباشر: 24 كيبيبايت تساوي 24,576 بايتاً. وإذا كان المطلوب ترك هامش لا يقل عن 2.5 كيبيبايت، فلا ينبغي أن يتجاوز الإطار المعتاد 22,016 بايتاً، أي 21.5 كيبيبايت. أما الحد النهائي فيبقى الأقل من ميزانية المستدعي والحد الصلب البالغ 24,576 بايتاً. وإذا لم تتسع حتى الحزمة الأساسية ضمن الميزانية، فالسلوك المقترح هو الإبلاغ عن تعذر تسليمها، لا إرسال حزمة ناقصة على أنها مكتملة.
حزمة معرفة مستقرة ليست إثباتاً لتخزين مؤقت ناجح
يستفيد المقترح من فكرة CAG: تحميل المعرفة الخارجية مسبقاً لتكون سياقاً قابلاً لإعادة الاستخدام مع ذاكرة المفاتيح والقيم (KV) 1. عملياً، يعني ذلك فصل حزمة الحقائق والمصادر المستقرة عن عناصر تتغير في كل طلب، مثل معرّف الطلب والوقت والتشخيصات.
وتُخزن هوية الملف وبصمته مرة واحدة، ثم تشير سجلات المصادر والحقائق إلى مراجع مشتركة. قد يقلل ذلك التكرار عندما تتشارك حقائق عدة المصدر نفسه، لكنه لا يضمن خفضاً محدداً في الحجم؛ ففي الحزم الصغيرة قد تضيف جداول الفهرسة كلفة بدلاً من أن توفرها.
كذلك فإن إنتاج بادئة مستقرة لا يثبت أن مزود النموذج سيخزنها أو يعيد استخدام الذاكرة المؤقتة. ذلك يحتاج إلى تحقق من سلوك المستهلك ومؤشرات المزود، ولم تُقدَّم هنا بيانات تثبت حدوثه. وتظل الحاجة إلى استرجاع إضافي قائمة عندما يتطلب السؤال تفصيلاً غير موجود في الحزمة.
ما الذي يمكن ضمانه، وما الذي لا يمكن؟
يمكن اختبار ثوابت تنفيذية من قبيل ألا يتجاوز الاختيار 32 مقطعاً أو 96 كيبيبايت، وألا تستهلك أدلة السياق خانات الهيكل الأساسي، وألا يشير أي مرجع إلى مصدر لم يُقرأ وتُتحقق هويته. ويمكن أيضاً ضمان أن ضغط الحزمة لا يحذف إلزاماً مطلوباً ولا يرفع مستوى الدليل المعلن.
لكن هذه الثوابت لا تثبت صحة كل استنتاج عن سلوك التطبيق. وكذلك لا يكفي وجود 13 موضعاً مطلوباً لإثبات أن التصميم سيغطيها جميعاً في كل مرة. يصبح إثبات تغطيتها مشروطاً، مثلاً، بأن تكون أدلتها ضمن الملفات المصرح بها، وأن يستطيع المصنّف تحديدها، وألا تتجاوز مجموعات الأدلة سعات المسارات أو ميزانية الشفرة، وأن يقبلها مدقق المصادر.
وتشير المراجعة إلى أن فحص بعض المواضع هو فحص لتغطية نص الشفرة، مع بقاء المراجعة الدلالية مستقلة. لذلك لا يجوز مساواة تغطية 13 موضعاً باجتياز اختبار دلالي أو التحقق من سلوك النظام المضيف.
الحالة الحالية
المعطيات تصف مواصفة تقنية مقترحة. لم تُعدّل الخدمة أو البوابة، ولم تُشغّل الاختبارات أو عملية القبول، ولم يُتحقق من أثر فعلي على حجم الرسائل أو على ذاكرة KV المؤقتة. الخطوة التالية، إذا أُجيز التنفيذ، هي إضافة عقد إصدار واضح، ثم اختبار حالات مثل الاستدعاءات المكررة، والربط الملتبس، وتداخل نطاقات AST، والحدود الدقيقة لحجم إطار JSON، والمهلات الزمنية. إلى أن يحدث ذلك، تبقى حدود الميزانية أهدافاً تصميمية، وتبقى تغطية 13 من 13 نتيجة تحتاج إلى تحقق مستقل.
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "كيف يمكن لمساعد برمجي أن يفهم بنية المشروع من دون ادعاء معرفة كل شيء؟"؟
المشكلة التي يستهدفها التصميم ليست، وفق مراجعة الشفرة الحالية، خوارزمية مثبتة لترتيب الدوال بحسب عدد الاتصالات؛ بل قصور في نطاق المرشحين وضمان تغطية أدوار النظام.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
المشكلة التي يستهدفها التصميم ليست، وفق مراجعة الشفرة الحالية، خوارزمية مثبتة لترتيب الدوال بحسب عدد الاتصالات؛ بل قصور في نطاق المرشحين وضمان تغطية أدوار النظام. يقترح التصميم فصل الأدلة إلى هيكل أساسي، وسياق قريب، وحدود للأخطاء والموارد، مع ألا يتجاوز الاختيار 32 مقطعاً أو 96 كيبيبايت من الشفرة.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
تُحسب حدود الحمولة على إطار JSON RPC الكامل، لا على محتوى التقرير وحده؛ والهدف المقترح للحالة المعتادة هو 22,016 بايتاً.
المصادر
arxiv.orgAST-Derived Graphs vs LLM-Extracted Knowledge Graphs
doi.orgDoes Linguistic Register Affect Faithfulness in Spanish Cache- Augmented Generation? An Exploratory Study with Open- Source LLMs