feat(parser): محاذاة الاستيعابات و«طابق» و«خارجي» مع مصدر الحقيقة (RFC 25 م1)

[SalehKadah]

ملخّص

دفعة م1 من RFC 25 — محاذاة المحلّل النحويّ مع مصدر الحقيقة: ثلاثة تعارضات + إغلاق فجوة وقت تشغيل المترجم للمجموعة.

التعارض 1 (م1ب) — الاستيعابات بترتيب «أنتج» العربيّ

متغير ق = [لكل س في [1، 2، 3، 4] أنتج س * 2]         # [2, 4, 6, 8]
متغير م = {لكل س في [1، 2، 2، 3] أنتج س}              # مجموعة: [1, 2, 3]
متغير د = {لكل س في [1، 2، 3] أنتج نص(س): س * س}      # قاموس: {"1":1,"2":4,"3":9}

• المحلّل فقط تغيّر (كشف مبكّر بـلكل، تمييز قاموس/مجموعة بـ:)؛ عقد AST ثابتة ⇒ المفسّر لم يُمَسّ، تكافؤ محفوظ.
• أنتج = KEYWORD_YIELD السياقيّة الموجودة (لا تعديل keywords).
• +قاعدة gr.adv.set_comprehension ⇒ 105 قواعد؛ حُذفت الدالّتان الميتتان؛ صُحّحت maps_to.
• فجوة المترجم للمجموعة أُغلقت: أُعيد buildExprSetComp على أوكواد ARRAY_* المُلوَّنة + مسح داخليّ لإزالة التكرار على قيمة الناتج (بدل __sad_set_add غير المعرَّفة)؛ تخصيص العلَم/العدّاد في كتلة الدخول (لا تسريب مكدس).

التعارض 2 — نقطتا عندما/افتراضي في طابق اختياريّتان (مطابقةً للـSoT).

التعارض 3 — كتلة خارجي تُغلق بـنهاية لا {} (ebnf/maps_to/ast_node=BlockStmt).

الاختبارات (349، كلّها خضراء)

• 266 سلوك .ص — تكافؤ مزدوج مفسّر/مترجم 100%. اختبارات المجموعة تستعمل خرائط غير حقنيّة (س % 3) + probe قيمة بالفهرسة ⇒ تمنع التغطية الزائفة (محرّك يتجاهل أنتج أو يزيل التكرار على المصدر يفشل).
• 83 وحدة C++ — tests/unit/parser/test_comprehensions_antaj.cpp (عقد AST + تمييز + رفض الترتيب القديم + بنية BinaryExpr)، مُسجَّل في cmake/tests.cmake كـComprehensionAntajTests (وسم Unit).
• مولّد حتميّ في tests/behavior/rules_matrix/_generators/.
• لا انحدار: طابق 86/86، 60_advanced 34/34.

المراجعة

مُراجَع بمنهجيّة Amelia أربع مرّات (المحلّل+SoT · IR المجموعة · الاختبارات · بوّابة ما قبل الدفع)، كلّ الملاحظات مطبَّقة. أبرزها: سدّ تغطية زائفة في المجموعة، إصلاح تسريب مكدس في IR، مواءمة SoT/محلّل، ومتانة السلبيّات.

توثيق مرافق

• sadlang-docs #3 — مرجع المستخدم (صياغة + أمثلة مُتحقَّقة).
• dev-guide #2 — دليل المطوّر (محلّل/AST/SIR + رسوم mermaid).

حدود معروفة موثَّقة

• إزالة التكرار للمجموعة عدديّة (كبقيّة بنية الاستيعابات) — النصوص/العشريّ لاحقًا.
• buildExprGenerator ما زال بالنهج المكسور (خارج نطاق م1).
• تنظيف parser_extern.cpp/parser_comprehension.cpp الميتَين ⇒ م2.

🤖 Generated with Claude Code

[github-actions]

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

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

• src/frontend/parser.md — بسبب: shared/parser/include/parser_core.h، shared/parser/src/core/parser_expressions.cpp، shared/parser/src/core/parser_main.cpp
• src/sot/grammar-sot.md — بسبب: language-truth/grammar
• src/sot/language-truth.md — بسبب: language-truth

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

[github-actions]

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

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

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

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