ADG-Lang

لغة النحو العربي المتحقَّق منه

ADG-Lang لغة برمجية عربية آمِنة الأنواع (type-safe)، تستلهم نواتها من أصول النحو العربي المنسوبة إلى أبي الأسود الدُّؤَلي، واضِعِ أوائل هذا العلم وناقطِ المصحف.

وغاية المشروع أن يجعل المنطق النحوي العربي قابلًا للفحص والاختبار، ثم للتنفيذ في نهاية المطاف:

Arabic-inflected .adg source (i'rab-typed)
  => typed ADG AST
  => grammatical contract
  => verifier
  => compiler/backend

مبدأ البرهان الأصيل (Native Proof)

لا يصدر أي ناتج تنفيذي إلا بعد برهان نحوي صحيح؛ فالخطأ يُردُّ تشخيصًا قبل توليد أي شيفرة:

Valid ADG AST
  => VerifiedAdgProgram
  => LLVM IR
  => Native Executable

Invalid ADG AST
  => ADG Diagnostic
  => No LLVM IR
  => No Native Executable

سبب التسمية

• ADG-Lang — تنتسب التسمية إلى النحو المنسوب إلى أبي الأسود الدُّؤَلي؛ ومن ثَمَّ سُمِّي جدول القواعد المرجعي الذي يرتكز عليه المحلِّل باسم «قواعد ADG-Duali». ويفصل المشروع بوضوح بين ما هو منقول متواتر عن هذا الأصل وبين الاستدلال التشغيلي الحديث في المترجم.
• ADS — استوديو تحكيم العربية (Arabic Adjudication Studio) — هو الطبقة البشرية للمشروع: مساحة عمل منضبطة يراجع فيها المحكِّمون من المعلِّمين واللغويين مخرجات المحلِّل النحوي ويفصلون فيها، لإنتاج «بيانات ذهبية» موثَّقة وموقَّعة تُغذِّي ADG-Lang. وسُمِّيت «استوديو» لأنها بيئة محكومة للصناعة اللغوية الدقيقة، لا مجرد نموذج إدخال. عنوانها الرسمي **https://adg.sbay.sa**، والعنوان السابق ads.sbay.sa يحوِّل إليه.

فليعلم المحكِّم قبل أن يشرع: أنه يدخل استوديو تحكيم لغوي لا اختبارًا آليًّا؛ ودوره أن يزن الحكم النحوي بخبرته، وأن يُسهم حكمه — بعد التحقق — في بناء مرجعية عربية مفتوحة.

الغاية من المستودع

هذا المستودع العمومي هو المرجع الرسمي الموجَّه للمجتمع، ويضم:

1. نموذج قواعد ADG-Lang.
2. أمثلة الأشجار المجردة (AST) العمومية.
3. إصدار المترجم المرجعي العمومي.
4. مذكرات تصميم المحلِّل والمترجم.
5. مهام التحقق والبحث المجتمعية.

التحكيم اللغوي البشري (منصة ADS)

يستطيع المعلِّمون واللغويون تقييم المحلِّل النحوي دون حاجة إلى معرفة GitHub أو سطر الأوامر عبر:

https://adg.sbay.sa

المنصة عربية أولًا: تشرح كل معيار، وتُخفي تنبؤات المحلِّل حتى لا تتأثر أحكام المحكِّم، وتحفظ هوية المشارك مشفَّرة خارج GitHub، ولا تُدخل إلى المستودع إلا أدلة لغوية موقَّعة ومُعمّاة الهوية عبر طلب مراجعة (pull request). وتصل الحزم العمياء إلى قائمة مهام الحساب من دليل مستودع محمي ومتحقق منه؛ فلا يحتاج المحكّم إلى تبادل ملفات JSON، وتنتقل أدلة A وB إلى J1 ثم حزمة J1 إلى J2 تلقائيًا. وتتوفر حسابات Passkey، ومراجعات مشفّرة للمسودات، ونسخة استرداد محلية، والأسماء الاجتماعية الخاصة الاختيارية، والإرسال المركزي. ويبقى كل أثر مُرسَل داخلًا إلى المستودع عبر تحقق آلي وطلب مراجعة.

وتظهر عيّنة PILOT التشغيلية أول قائمة المهام بوصفها العيّنة الأساسية التي يتعرّف بها المحكّم إلى الحفظ والإرسال، مع بقائها معزولةً تمامًا عن أدوار الإجماع العلمي. كما تتضمن الواجهة قناة بلاغ مباشرة: يُرسل الحساب وصفًا تقنيًا منقّى إلى مخزن المنصّة، ثم تنشئ GitHub Actions مسألةً عامةً في المستودع دون إرسال اسم المحكّم أو بريده أو مسودته أو قراراته اللغوية.

وواجهة المنصة مصمَّمة على طابع GitHub، متاحة بالوضعين الفاتح والمظلم، واتجاهها من اليمين إلى اليسار. وللاطلاع على إفصاح عمومي مبسَّط عن آلية عملها، والبيانات التي تجمعها، وكيف تُحمى، وحدود ما تدّعيه، انظر tools\msa-adjudication-workbench\TRANSPARENCY.md. ومصدرها ونموذجها الأمني تحت tools\msa-adjudication-workbench.

ابدأ من هنا

الوثيقة	الغرض
docs\ADG-Duali-Rules.md	جدول القواعد المنقَّى الأوحد الذي يرتكز عليه المحلِّل.
docs\Academic-Reading-Key.md	مفتاح الألوان والأدلة للمراجعة الأكاديمية لجدول القواعد.
docs\Mermaid-Rule-Maps.md	مخططات Mermaid تطبِّق مفتاح القراءة الأكاديمية بصريًّا.
docs\Compiler-Components.md	مكوِّنات المترجم المرجعي العمومي.
docs\Project-Model.md	امتدادات الملفات وبنية مشروع تطبيقات ADG.
docs\Portability-and-Targets.md	معنى «المُترجَم» عبر أنظمة التشغيل والأهداف الأصيلة وWebAssembly.
docs\Release-Testing.md	كيفية التحقق من الإصدار العمومي واختباره.
docs\Release-v0.1.0.md	ملاحظات أول إصدار عمومي قابل للاختبار.
docs\Repository-Policy.md	ما تتضمنه الإصدارات العمومية وما تستثنيه.
docs\Language-Overview.md	نظرة عامة على ADG-Lang بوصفه واجهة لغة برمجة.
docs\Verification-Model.md	كيف ينتقل ADG من الشجرة المجردة إلى التحقق وبوابات البرهان الأصيل.
docs\ADG-Wikipedia-Intro-Function.md	عرض دالة تنفيذية عن أبي الأسود منسوب إلى ويكيبيديا.
docs\directives\ADG-WIKIPEDIA-INTRO-DIRECTIVES.md	توجيهات التنفيذ المرتبطة بالشيفرة لعرض ويكيبيديا.
docs\Community-Roadmap.md	مسارات التطوير المفتوحة للمساهمين.
examples\README.md	أمثلة أشجار مجردة صحيحة وغير صحيحة للفحص.
CONTRIBUTING.md	كيفية اقتراح القواعد والأمثلة والتشخيصات والتنفيذ.

المترجم المرجعي العمومي

يتضمن الإصدار العمومي مترجمًا مرجعيًّا قابلًا للاختبار:

src\Adg.Compiler

للتشغيل:

dotnet run --project src\Adg.Compiler -- --self-test
dotnet run --project src\Adg.Compiler -- test-matrix
powershell -ExecutionPolicy Bypass -File scripts\Verify-AdgRelease.ps1

عند عدم توفر LLVM clang:

powershell -ExecutionPolicy Bypass -File scripts\Verify-AdgRelease.ps1 -SkipNative

امتداد ملفات التطبيقات

تُكتب تطبيقات ADG-Lang بمصدر عربي معرَب بامتداد .adg، وهو السطح اللغوي القانوني: جمل نحوية عربية يُفرَض إعرابها عقدًا في زمن الترجمة قبل توليد أي LLVM IR.

اتجاهُ النصِّ: RTL
adg 0.1.1
program "hello-adg"

جملةٌ فعليةٌ "كتبَ" فاعلُها "المبرمجُ" مرفوعٌ مفعولُها "التطبيقَ" منصوبٌ
رابطٌ "ثم" ترتيبٌ
جملةٌ فعليةٌ "شغّلَ" فاعلُها "النظامُ" مرفوعٌ مفعولُها "البرنامجَ" منصوبٌ

فالفاعل لا بد أن يكون مرفوعًا والمفعول منصوبًا؛ وأي مخالفة تُردُّ تشخيصًا في زمن الترجمة. وتستعمل الدوال التنفيذية السطح العربي .adg نفسه عبر دالةٌ واستدعاءٌ.

أما .adg.json فهو الشجرة المجردة المنمَّطة منخفضة المستوى المكافئة التي يبنيها المترجم من المصدر العربي؛ تبقى متاحة للأدوات التي تولِّد الشجرة أو تفحصها مباشرةً، لكنها ليست اللغة التي تُكتب باليد.

أدنى بنية لمشروع تطبيق:

examples\apps\hello-adg
  adg.project.json
  src\main.adg          # المصدر العربي المعرَب القانوني (نقطة الدخول)
  src\main.adg.json     # الشجرة المجردة المكافئة منخفضة المستوى
  scripts\verify.ps1
  scripts\build.ps1
  scripts\run.ps1

نموذج دالة:

examples\apps\hello-adg\src\abu-al-aswad-wikipedia-intro.adg

طبقات القواعد الحالية

يفصل ADG-Lang بين النسبة التاريخية وتصميم المترجم الحديث:

1. النواة النصية: التعريفات المنقولة مثل Ism وFi'l وHarf.
2. الأبواب المنسوبة: الفاعل، والمفعول، والإضافة، وأبواب الإعراب والعوامل، والتعجب.
3. طبقة التدوين: بيانات النقط والتشكيل المبكرة.
4. الاستدلال التشغيلي: قواعد آمنة للمحلِّل مشتقة من النواة المنسوبة.
5. الضوابط التاريخية: ما لا يجوز إسقاطه على عمل أبي الأسود.

حالة التطوير

اجتاز ADG-Lang Native Proof v0.1 تدقيق التحقق من الإصدار:

Total checks: 59
Passed: 59
Failed: 0
Result: PASS

والمستودع العمومي مهيَّأ الآن لمراجعة المجتمع لجدول القواعد والأمثلة والتشخيصات ومسارات التنفيذ القادمة.

---

English: ADG-Lang is a type-safe Arabic grammatical language inspired by the grammar core attributed to Abū al-Aswad al-Duʾalī. This landing page is authored in Arabic by design; English-speaking contributors can start from the documents under docs\ and from the adjudication studio (ADS) sources under tools\msa-adjudication-workbench.