خلفيّة سياديّة م٠: هيكل backend/ + ٤ مخطّطات SoT + جداول x86-64 + عقد Target

[SalehKadah]

الغرض

أوّلُ مرحلةٍ تنفيذيّة (م٠) للخلفيّة الأصليّة بلا LLVM متعدّدةِ المعماريّات — تنفيذًا لـRFC الخلفيّة السياديّة متعدّدة المعماريّات. النهجُ الجدوليّ: خطٌّ خلفيٌّ واحدٌ مشترك، والـISA بياناتٌ في جداول لا كودًا.

م٠ يُثبت الهيكلَ ومخطّطاتِ SoT وعقدَ واجهة Target — لا كودَ توليدٍ فعليّ بعد (ذلك م١+).

المُضاف

٤ مخطّطات JSON في _schemas/ (بأسلوب assembly_mnemonics القائم):

المخطّط	يصف
backend_encoding	جدول التعليمات — عائلتا variable (x86) وfixed32 (ARM64/RISC-V)
backend_register_file	جدول السجلّات — num/role/reserved
backend_isel	أنماط اختيار sir → match → emit + cost
backend_abi	اصطلاح النداء + نداء النظام لكلّ (ISA×نظام)

جداول x86-64 (الهدف المرجعيّ): instructions.yaml (٥ منمنمات بترميزٍ حقيقيّ) + registers.yaml (١٦ gpr، rsp/rbp محجوزان) + isel.yaml (٣ أنماط) + abi/x86_64-linux.yaml (SysV: e_machine=62، red_zone=128، write=1/exit=60/exit_group=231).

backend/README.md: عقد واجهة Target (الحواجز) + الحدّ الفاصل مشترك/بيانات — دون كود C++ ميت (مؤجَّل لـم١ حين يستهلكها المحرّك).

البوّابة والتشديد

• صنف TestBackendTables في test_schema_validation.py — ٩ تحقّقات إيجابيّة (jsonschema.validate فعليّ، لا مجرّد وجود ملفّ).
• تشديد المخطّط: if/then يربط encoding_family بشكل encode المسموح (يمنع خلط opcode+fields) + اختبارَان سلبيّان يُثبتان الرفض.
• ١١/١١ PASS.

المعيار والتحقّق

• ✅ معيار قبول م٠ في الـRFC محقَّق: المخطّطات تُتحقَّق في CI + جدول x86-64 صغير يمرّ التحقّق + الحواجز قائمة.
• ✅ أميليا CLEAR: الترميزات صحيحةٌ بايتًا ببايت (mov/add/syscall/ret)، المخطّطات صارمة، الاختبار بوّابةُ تحقّقٍ فعليّة.
• ✅ صفر انحدار: الإخفاقات الثلاثة الأخرى في test_schema_validation (عدّ builtin_types + حقول V5 في error/type) سابقةٌ على dev وغيرُ متعلّقة (ديونٌ قائمة).

🤖 Generated with Claude Code

[github-actions]

📚 تذكير مزامنة دليل المطوّرين

هذا الـPR يلمس مصادر موثَّقة في دليل المطوّرين. راجع الفصول الآتية وحدّثها إن تغيّر سلوكها، ثم ثبّت البصمات هناك (python scripts/check_sync.py --update):

• src/sot/language-truth.md — بسبب: language-truth، language-truth/_schemas
• src/sot/philosophy.md — بسبب: language-truth/_schemas

_{بندٌ في معيار الإنجاز. تذكيرٌ آليّ — لا يحجب الدمج.}

[github-actions]

📘 تذكير مزامنة التوثيق التقنيّ

هذا الـPR يلمس مصادر يعرضها التوثيق التقنيّ. الصفحات المُولَّدة تُعاد بناؤها آليًّا عند الدمج/الإصدار؛ راجع الصفحات النثريّة إن تغيّر سلوكها:

• src/reference/sot.md — بسبب: language-truth/_schemas

_{تذكيرٌ آليّ — لا يحجب الدمج.}