في عصر الذكاء الاصطناعي، بدأت نماذج اللغة الضخمة (Large Language Models) في الظهور كوكالات قادرة على استدعاء أدوات خارجية، مما أظهر ضرورة ملحة للتحقق الرسمي من بروتوكولات الوكالات. تتسم هذه الفضاءات بأزمتين بارزتين: حوار مدعوم بالهيكل (Schema-Guided Dialogue - SGD) الذي يعد إطارًا بحثيًا يحقق التعميم غير الموجه لواجهة برمجة التطبيقات (API)، وبروتوكول سياق الموديل (Model Context Protocol - MCP) كمعيار صناعي لدمج الوكلاء مع الأدوات.

على الرغم من تمكين كلا النموذجين من الكشف الديناميكي عن الخدمات من خلال أوصاف الهيكل، يبقى العلاقة الرسمية بينهما غير مستكشفة. بناءً على أعمال سابقة تمثل تقاربًا مفاهيميًا بين هذين النموذجين، نقدم أول صياغة حسابية رسمية لكل من SGD وMCP، مثبتين أنهما متساويان هيكليًا تحت خريطة محددة جيدًا (Phi).

ومع ذلك، نوضح أن الخريطة العكسية (Phi^{-1}) جزئية وتفقد بعض المعلومات، مما يكشف عن ثغرات حاسمة في قدرة MCP على التعبير. من خلال التحليل الثنائي الاتجاه، نحدد خمسة مبادئ - الاكتمال الدلالي، حدود العمل الواضحة، توثيق حالات الفشل، توافق الكشف التدريجي، وإعلان علاقات الأدوات - كشرائط ضرورية وكافية لتحقيق التكافؤ السلوكي الكامل.

لقد رسمنا هذه المبادئ كإضافات لنظام الأنواع (MCP+)، مثبتين أن MCP+ متطابق مع SGD. يوفر عملنا الأساس الرسمي الأول لأنظمة الوكلاء الموثقة، ويؤكد جودة الهيكل كخاصية أمنية يمكن إثباتها.