Skip to content

RFC: رموز سبب الهلع المسمّاة (ABI نداء __sad_panic في الوضع الحرّ) + تمييز فشل التأكيد#49

Merged
SalehKadah merged 4 commits into
mainfrom
rfc/panic-reason-codes
Jul 22, 2026
Merged

RFC: رموز سبب الهلع المسمّاة (ABI نداء __sad_panic في الوضع الحرّ) + تمييز فشل التأكيد#49
SalehKadah merged 4 commits into
mainfrom
rfc/panic-reason-codes

Conversation

@SalehKadah

Copy link
Copy Markdown
Contributor

ملخّص

عقد ABI لوسيط __sad_panic في الوضع الحرّ: استبدال الثابت السحريّ 1 بثوابت مسمّاة، ومنح فشل عامل التأكيد اللاحق «مؤكَّد» (نظير RUN056) رمزًا مميَّزًا (kSadPanicNullAssert=2) كي تُصنّفه النواة الحرّة بدقّة («تأكيد على عدم») لا كـ«تجاوز حدّ»، وكبت سطر RUN056 العربيّ السابق للّافتة حرًّا (اللافتة السياديّة هي التشخيص الوحيد).

الحالة

مقترَح. يواكب PR المترجم المُنفِّذ: sadlang/s-programming-language#248 (منفَّذ ومُختبَر ومُراجَع).

أبرز ما فيه

  • عقد رمزين مستقرّ في sir_constants.h + static_assert تمايز + ثابت رسالة kNullAssertRun056Msg.
  • دالّة موحّدة emitFreestandingPanicCall تبني نداء الهلع الحرّ عبر المواقع الخمسة.
  • فصل حرّ/مستضاف نظيف؛ استقرار ABI (1 يبقى 1، 2 توافقيّ أماميّ).
  • 65 اختبار وضع حرّ خضراء يوثّقها القسم «الاختبارات».

المتابعة

المرحلة ب: استهلاك nahla للرمز 2 (كتالوج خطأ_تأكيد_عدم).

🤖 Generated with Claude Code

SalehKadah and others added 4 commits July 22, 2026 17:21
…تمييز فشل التأكيد

يوثّق عقد ABI لوسيط __sad_panic في الوضع الحرّ: استبدال الثابت السحريّ 1
بثوابت مسمّاة (kSadPanicCheckViolation=1، kSadPanicNullAssert=2)، ومنح فشل
عامل التأكيد «مؤكَّد» (نظير RUN056) رمزًا مميَّزًا كي تُصنّفه النواة الحرّة
بدقّة، وكبت سطر RUN056 العربيّ السابق للّافتة في الوضع الحرّ. يواكب PR المترجم
sadlang/s-programming-language#248.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
يضيف الأقسام التي يشترطها فاحص البنية (lint_rfcs.py): الشرح التوجيهيّ،
السلبيات، أعمال سابقة، أسئلة غير محسومة، أعمال مستقبلية. ويحدّث حقل الحالة
ليعكس دمج المترجم (#248) واستهلاك النواة (المرحلة ب). الفاحص أخضر لهذا الملفّ.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
فاحص البنية (lint_rfcs.py) صار يشترط الأقسام التسعة؛ مقترح #37 المدموج سبق
تشديده فبات يفشل ويحجب كلّ PR. يضيف: السلبيات، أعمال سابقة، أعمال مستقبلية،
ويُلحق «غير محسومة» بعنوان الأسئلة المفتوحة. لا تغيير في مضمون القرار. الفاحص
أخضر لكلّ المقترحات الـ17.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@SalehKadah
SalehKadah merged commit 7522fa4 into main Jul 22, 2026
2 checks passed
@SalehKadah
SalehKadah deleted the rfc/panic-reason-codes branch July 22, 2026 18:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant