مترجم+مفسّر: وحدة تشفير جديدة — بلايك3 + هاش_مفتاح (BLAKE3) (المرحلة ١)

[SalehKadah]

الملخّص

المرحلة ١ من RFC توسيع مكتبة التشفير:
وحدة تشفير جديدة (منفصلة عن تأكيدات، بلا كسر توافق — استورد تشفير
يحمّل الآن الحزمتين معًا) بدالّتين ذاتيّتَي التنفيذ بالكامل (بلا
OpenSSL/libsodium):

• بلايك3(نص) — هاش BLAKE3-256، نصّ ست عشريّ 64 حرفًا.
• هاش_مفتاح(نص، مفتاح) — مصادقة رسالة عبر نمط BLAKE3 المُفتاح الرسميّ (لا
  HMAC تقليديّ — لا حاجة لحماية من هجمات امتداد الطول، النمط جزء أصيل من
  التصميم). مفتاح 32 بايت يُستعمَل مباشرة؛ غير ذلك يُشتقّ منه مفتاح 32 بايت
  عبر بلايك3(مفتاح) أوّلًا.

التحقّق (BLAKE3 خوارزميّة غير تافهة — شجرة Merkle مجزّأة، لا SHA-256 بسيط)

نُفِّذت في ثلاث نسخ مستقلّة يجب أن تتّفق حرفيًّا: المفسّر (C++)، وقت
تشغيل المترجم (C)، ونسخة أندرويد المنفصلة (تعلّم من درس PR #212 — لا تُنسى
هذه المرّة). التحقّق قبل الدمج:

1. تنفيذ مرجعيّ بايثون مقابل 35 شعاعًا رسميًّا كاملًا من test_vectors.json
   (مستودع BLAKE3-team) — 0 فشل (نمطا hash وkeyed_hash).
2. تنفيذ مرجعيّ C محمول مقابل نفس الشعاعات الـ35 عبر أطوال من 0 إلى 16384
   بايت (كتلة واحدة/عدّة كتل/عدّة قطع شجرة) — 0 فشل.
3. الدوال الفعليّة في sad_embedded_runtime.c وbuiltin_module_crypto.cpp
   اختُبِرت تفاضليًّا مقابل المرجع المُتحقَّق — 0 تباين.
4. اختبار طرفيّ: برنامج .ص مُشغَّل بالمفسّر ومُصرَّف بالمترجم — ناتج
   مطابق حرفيًّا، بلايك3("") يطابق الشعاع الرسميّ.

عائق بناء عولج

إضافة كتلة BLAKE3 (~360 سطرًا) لحرف Android الخام (R"(...)") أفشلت MSVC
بـC2026 "string too big" رغم أنّ الحرف ~21.7KB فقط (تحت حدّ 65535 المُوثَّق)
— يبدو أنّ MSVC يفرض حدًّا عمليًّا أدنى للحروف الخام تحديدًا. الحلّ: تقسيمه
إلى نداءين << منفصلين بدل حرف واحد ضخم — تحقّقت أميليا بايتيًّا أنّ محتوى
الملفّ المكتوب لم يتغيّر.

التغييرات

• language-truth/builtins/crypto.yaml (جديد) + _index.yaml — SoT لوحدة تشفير.
• interpreter/src/builtins/builtin_module_crypto.cpp (جديد) — BLAKE3 C++.
• tools/compiler/runtime/sad_embedded_runtime.c — BLAKE3 C + sad_blake3_hash/sad_blake3_keyed_hash.
• tools/compiler/compiler_driver_android_linker.cpp — نفس الدوال لأندرويد (+إصلاح C2026).
• compiler/src/frontend/builders/builtins_crypto.cpp (جديد) + SIR opcodes جديدة + مولِّد LLVM.
• interpreter/src/builtins/builtin_registry.cpp — استورد تشفير يحمّل الحزمتين (قديمة+جديدة).
• اختباران جديدان 04_تشفير/155،156 (شعاعات BLAKE3 رسميّة + BLAKE3 keyed_hash رسميّ) + تحديث COVERAGE.md.

خطة الاختبار

• python x.py build --config Debug نجح.
• 04_تشفير/ كاملًا (6 ملفّات) 100% تكافؤ مزدوج، burn-in 5 جولات نظيف.
• 01_مدمج/ (21 ملفًّا) بلا انحدار.
• python x.py gen --check نظيف.
• مراجعة أميليا المستقلّة قبل الدفع — تحقّقت من صحّة خوارزميّة BLAKE3 بنيويًّا (لا الثقة بالاختبارات فقط) وبايتيّة تقسيم الحرف الخام — لم تجد علّة.

[github-actions]

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

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

• src/backend/llvm.md — بسبب: compiler/src/backend/llvm
• src/backend/sir.md — بسبب: compiler/include/frontend/sir_types.h
• src/sot/codegen.md — بسبب: scripts/codegen
• src/sot/language-truth.md — بسبب: language-truth
• src/sot/philosophy.md — بسبب: scripts/codegen
• src/systems/builtins.md — بسبب: interpreter/src/builtins، language-truth/builtins

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