القيود عقود

أول وعد في تاريخ البشرية

قبل مئة ألف عام، أشار أحدهم بإصبعه نحو شيء ما وأصدر صوتاً. سمع آخر ذلك الصوت فتبادر إلى ذهنه الشيء ذاته.

هذه هي بداية اللغة.

الاتفاق على تسمية “ذلك الشيء” بـ"الأسد". بدون هذا الاتفاق، يعيش الشخصان في عالم واحد لكنهما يريان عالمين مختلفين. بوجوده، تنتقل تجربة شخص إلى آخر.

اللغة هي أول عقد في تاريخ البشرية.


الكتابة عقد يتجاوز الزمن

قبل خمسة آلاف عام، نقش أحد سكان بلاد ما بين النهرين علامات إسفينية في لوح طين رطب. كان الهدف تسجيل مخزون الحبوب.

الكلام يزول، لكن الكتابة تبقى. بقاء الكتابة يتيح البيروقراطية والقانون والدولة.

الكتابة أداة تنقل وعود الحاضر إلى المستقبل. كي يظل العقد المبرم اليوم سارياً غداً، لا بد من الكتابة.

الكلام أوجد القبيلة. الكتابة أوجدت الدولة.


سيادة القانون: وعد مكتوب بالدم

المجتمع البشري مسألة كثافة.

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

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

لذلك كان القانون ضرورة.

القانون توثيق للوعود. “من يفعل كذا تترتب عليه نتيجة كذا.” الجميع تحت القواعد ذاتها. القواعد قابلة للتحقق الآلي. المخالفة معرَّفة. المخالفة تستتبع عواقب.

استغرق عمل هذا النظام آلاف السنين. ثورات وحروب ومجازر وتسويات. كتبت البشرية هذا الوعد بالدم.

والنتيجة: ثمانية مليارات إنسان يتعايشون على كوكب واحد. ليس مثالياً. لكنه يعمل. بدون سيادة القانون لما أمكنت هذه الكثافة.


الشروط الثلاثة لسيادة القانون

سيادة القانون لا تعمل لأن القانون ذكي. بل لأنها تستوفي ثلاثة شروط.

١. قابل للتحقق. يمكن الحكم على ما إذا كان القانون قد انتُهك أم لا. ليس بحدس القاضي، بل بالنصوص والأدلة. إجراءات الحكم معرَّفة.

٢. المخالفة معرَّفة. ما هو مسموح وما هو محظور واضح صراحةً. ليس “لا تتصرف بشكل سيئ”، بل “لا ترتكب الفعل المنصوص عليه في المادة الخمسين، الفقرة الأولى”. ثنائي: إما مخالفة أو لا.

٣. قابل للإنفاذ. المخالفة تستتبع عواقب. وعد بلا عاقبة ليس وعداً بل أمنية.

هذه الشروط الثلاثة عالمية بشكل لافت.


النمط ذاته، مجالات مختلفة

المجالالوعدالتحققتعريف المخالفةالإنفاذ
المجتمع البشريالقانونالمحاكمنصوص القانونالعقوبة/التعويض
البرمجةنظام الأنواع (type system)المُصرِّف (compiler)أخطاء الأنواع (type errors)رفض التصريف
تنسيق الكودgofmtgofmt -dعدم تطابق التنسيقفشل CI
بنية الكودfilefuncvalidateانتهاك 22 قاعدةERROR
تمثيل المعرفةمواصفات GEULmechanical verificationعدم مطابقة المواصفاترفض دخول context

كل نظام يعمل يحتوي على وعد. الوعد قابل للتحقق، والمخالفة معرَّفة، وقابل للإنفاذ.

النظام الخالي من هذا — فوضى.


LLM بلا وعود

في عام ٢٠٢٦، حين تأمر عميل كود مدعوماً بالذكاء الاصطناعي بـ"تحسين الكود"، يُجري العميل تغييراً ما.

لكن:

  • متى ينتهي؟ لا أحد يعلم.
  • هل النتيجة كافية؟ لا معيار للحكم.
  • هل التشغيل مرة أخرى يعطي النتيجة ذاتها؟ لا.

هذا كمجتمع بلا قانون. كل فرد يتصرف وفق حكمه الخاص، ولا معيار للنتائج، وتتغير في كل مرة.

“جودة الكود” طيف. الطيف لا يملك شرط انتهاء. بلا شرط انتهاء لا يمكن ضمان التقارب.

هذا حكم الأفراد. الاعتماد على الملك الحكيم (النموذج الذكي). إن كان الملك حكيماً سارت الأمور، وإلا فلا.


القيود تحقق التقارب

حدَّد filefunc اثنين وعشرين وعداً.

ملف واحد لكل دالة. عمق لا يتجاوز ٢. التوثيق (annotations) إلزامي. بنية التحكم إما sequence أو selection أو iteration.

هذه الوعود:

  • قابلة للتحقق. يحكم عليها filefunc validate آلياً. لا حاجة لـLLM.
  • المخالفة معرَّفة. إما ERROR أو نجاح. ليس طيفاً.
  • قابلة للإنفاذ. يجب تعديل الكود حتى تصبح قيمة ERROR صفراً.

حين تتوفر هذه الشروط الثلاثة، يستطيع LLM بحلقة while ERROR > 0: fix وحدها أن يجعل أي قاعدة كود تتقارب نحو حالة تُحترم فيها الوعود.

دور LLM ليس الحَكَم. بل المُنفِّذ. الوعد (validate) هو من يقول ما هو المخالَف، والوعد (validate) هو من يقول إن المخالفة قد أُزيلت. LLM لا يفعل إلا إصلاح المخالفات التي يشير إليها الوعد.

لا الملك يحكم بل القانون. هذه هي سيادة القانون.


النسبة الذهبية بين الفوضى والنظام

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

بوعود مفرطة يسود القمع. إن نظّمت كل شيء اختفت المرونة. إجبار دالة من ثلاثة أسطر على توثيق من عشرة أسطر يقلب الأولويات.

وجد filefunc بـ٢٢ قاعدة المكان بين الاثنين. نقطة قيد كافٍ دون إفراط.

الدليل: ١٢٧٥ دالة تتقارب نحو ثلاث بنى تحكم. sequence وselection وiteration. الثلاثة التي أثبتها Böhm-Jacopini عام ١٩٦٦. أن ٢٢ وعداً يتقارب نحو تصنيف رياضي دليل على أن الوعود لا مفرطة ولا منقوصة.

لا فوضى ولا قمع. نظام كافٍ داخل حرية كافية. هذه هي النسبة الذهبية.


اللغة الثالثة

الكلام أوجد القبيلة. وعد بين إنسان وإنسان. الكتابة أوجدت الدولة. وعد بين الحاضر والمستقبل.

ماذا ستوجد اللغة الثالثة؟

GEUL وعد بين ذكاء اصطناعي وذكاء اصطناعي. وأيضاً وعد قابل للتحقق بين الذكاء الاصطناعي والإنسان.

SIDX وعد المعنى. نمط البتات ذاته يحمل المعنى ذاته. تدفق ١٦ بتاً وعد الشكل. الشبكة والتخزين والذكاء الاصطناعي تتشارك الوحدة ذاتها. source وconfidence وtime وعد الثقة. البيانات الوصفية مدمجة في البنية لا يمكن حذفها. mechanical verification هو التحقق من الوفاء بالوعود. المعلومات التي تنتهك المواصفات لا تدخل context.

في اللغة الطبيعية لا يوجد مفهوم “الجملة الباطلة”. في GEUL يوجد. وجود تعريف للبطلان دليل على وجود وعد.


الإثبات يبدأ من الكود

ينطبق المبدأ ذاته على الكود والمعرفة معاً.

لكن الكود يأتي أولاً.

في الكود مُصرِّف (compiler). وAST. ونظام أنواع (type system). الحدود بين “الكود الصالح” و"الكود الباطل" موجودة بالفعل. إضافة ٢٢ وعداً فوق هذا أمر طبيعي.

في المعرفة باللغة الطبيعية هذا الأساس غائب. مفهوم “الجملة الصالحة” ذاته غير موجود. GEUL يجب أن يبني هذا الأساس من الصفر.

الإثبات يبدأ من الأسهل ثم يمتد نحو الأصعب. filefunc يثبت في الكود، وGEUL يمتد نحو المعرفة.

هذه هي الهندسة.


تذكير للبشرية

المسألة بسيطة.

لقد اخترعنا سيادة القانون بالفعل. وعد كُتب بالدم. بفضل ذلك الوعد يتعايش ثمانية مليارات إنسان رغم هذه الكثافة الهائلة.

LLM لا يختلف.

القيود المنطقية وعود. لا بد من الوعود كي تتحقق النسبة الذهبية بين الفوضى والنظام. إذا كان الوعد قابلاً للتحقق، والمخالفة معرَّفة، والإنفاذ ممكناً، فأي نظام كان سيتقارب.

كما فعل المجتمع البشري. كما فعل الكود. كما ستفعل المعرفة.

لا حاجة إلى اختراع جديد. بل تطبيق ما اختُرع بالفعل على مجالات جديدة.

صمِّم الوعود. إذن ستتقارب.