RFC: عنوان_رمز — أخذ عنوان رمز الرابط (اللبنة 3.13، إطفاء C)

[SalehKadah]

ملخّص

مدمج عنوان_رمز("اسم") يعيد عنوان رمز رابط خارجيّ (دالّة/بيانات/رمز .ld) كـرقم،
موسَّعًا بالأصفار من عرض مؤشّر الهدف. يُطفئ نمط الجالب *_addr (~25 دالّة C في نواة
النحلة) ويصل إلى رموز الرابط البحتة (_kernel_start/_stk) التي لا مخزن C لها.

السياق

اللبنة 3.13 من موجة «إطفاء C» في نواة النحلة. حدّد تقرير أميليا أنّ غياب أخذ
عنوان رمز هو الرافعة الأعلى أثرًا المتبقّية: وحده يُبقي ~25 جالب C وكلّ مخازن
.bss/.rodata حبيسةً في C.

التصميم (خلاصة)

• مدمج بوسيط سلسلة حرفيّة ثابتة، يعيد رقم (i64).
• الخفض (backend): getFunction(sym) أو getOrInsertGlobal(sym, i8) بربط خارجيّ
  ⇒ CreatePtrToInt ⇒ i64. توسيع أصفار من 32-بت (i686) يطابق عقد الجالبات القائم
  (unsigned int)&رمز كـunsigned long long.
• الوضعان: يقبله المترجم (حرّ + مستضاف FFI)، يرفضه المفسّر.
• خطأ جديد SEM_SYMBOL_ADDR_ARG للوسيط غير الثابت/الفارغ.
• 6 نقاط تماسّ تحاكي نمط اقرأ_سجل_تحكم + emitPtrToInt (بلا صياغة/معجم/AST جديد).
• توافق خلفيّ: مدمج جديد باسم غير مستعمَل ⇒ لا كسر.

أسئلة للنقاش (في المسودّة)

1. الاسم: عنوان_رمز (اسم-اسم، مُنتِج قيمة) مقابل فعل-أوّلًا خذ_عنوان_رمز.
2. سلوك المفسّر: رفض صريح (المقترح) أم dlsym.
3. الحصر بالوضع الحرّ أم إتاحته مستضافًا كـFFI.
4. البديل الأنظف نوعيًّا (تصريح رمز خارجيّ مُعرَّف) — مؤجَّل كتحسين مستقبليّ.

🤖 Generated with Claude Code

[SalehKadah]

📌 تحديث تنفيذ: نُفِّذت القدرة ودُمِجت في dev كـ#224 (commit c34b5f8a): مدمج عنوان_رمز + خطأ SEM021 + 9 اختبارات انحدار (17/17 أخضر). واستُهلِكت في نواة النحلة (اللبنة 3.13ب، commit 86b4821) بإطفاء 16 جالب bee_X_addr — بوّابة الإقلاع 16/16. مراجعة أميليا: صفر خطأ صحّة في الطرفين.

الأسئلة غير المحسومة حُسِمت في التنفيذ: (1) الاسم عنوان_رمز؛ (2) المفسّر يرفضه (مدمج نظام)؛ (3) متاح في المترجم (حرّ + مستضاف FFI). البديل «رمز خارجيّ» المُعرَّف يبقى تحسينًا مستقبليًّا فوق نفس الخفض.

هذا التعليق للإحاطة؛ القرار النهائيّ (قبول/دمج الـRFC) لك.