Skip to content

RFC (مسودّة): بدائيّة تحميل/تخزين عبر مؤشّر خامّ — ف-٣ لرسوميات ص خالصة#35

Draft
SalehKadah wants to merge 1 commit into
mainfrom
rfc/f3-raw-pointer-load-store
Draft

RFC (مسودّة): بدائيّة تحميل/تخزين عبر مؤشّر خامّ — ف-٣ لرسوميات ص خالصة#35
SalehKadah wants to merge 1 commit into
mainfrom
rfc/f3-raw-pointer-load-store

Conversation

@SalehKadah

Copy link
Copy Markdown
Contributor

مسودّة لقرار المالك اللغويّ (لا التزام)

الاكتشاف المركزيّ

الفجوة ف-٣ (مؤشّر خامّ من ص — الحلقة المفقودة لكتابة بكسل إلى /dev/fb0) ليست فجوة مفتوحة كما افترضت مذكّرة رسوميات ص: عائلة ذاكرة_اكتب/ذاكرة_اقرأ (8/16/32/64 بت) موجودة ومربوطة طرفًا لطرف في المترجم:

  • SoT: language-truth/builtins/{kernel_cpu,compiler_system}.yamlstatus: stable.
  • SIR: BUILTIN_MEM_WRITE/READ_8/16/32/64.
  • codegen: CreateIntToPtr + CreateStore/Load متطاير (= *(volatile u32*)addr = val).

إثبات المفهوم اكتب_بكسل يُترجَم اليوم عبر sad-build --حرّ.

فيتحوّل المقترح إلى «رسملة الموجود + حسم فجواته»

  1. تشتّت الفضاء الاسميّ: 8 بت في KernelCpu، 16/32/64 في CompilerMem باستراتيجيّتين.
  2. تباعد المحرّكين: المفسّر يحاكي 8 بت صوريًّا ([OS-SIM]، يعيد 0) و16/32/64 غير مسجّلة ⇒ نفس البرنامج يرسم بكسلًا في sad-build ويطبع محاكاة/يسقط في sad-run.
  3. غياب ضوابط أمان/توثيق: لا بوّابة، لا توصيف لأمان null/المحاذاة.

التوصية

رسملة العائلة عقدًا رسميًّا (أقلّ كلفة — لا توليد جديد) + توحيد التسمية + رفض صريح في المفسّر بدل المحاكاة المُوهِمة + إتاحة عامّة (باطن fb0 حالة userspace لا نواة).

خمسة أسئلة تحتاج قرارك اللغويّ

رفع العقد · التسمية/الفضاء · سلوك المفسّر · بوّابة --حرّ · التوقيع (ثنائيّ مقابل إزاحة صريحة).

مسودّة نصّيّة فقط — لا كود لغة عُدِّل ولا SoT وُسِّع. الأدوات لا توسّع مصدر حقيقة اللغة. الرقم يُحدَّث لرقم الـPR عند الدمج.

🤖 Generated with Claude Code

مسودّة مقترح لقرار المالك اللغويّ. الاكتشاف المركزيّ: الفجوة ف-٣ (مؤشّر خامّ من ص)
**ليست فجوة مفتوحة** — عائلة ذاكرة_اكتب/ذاكرة_اقرأ (8/16/32/64) موجودة ومربوطة طرفًا
لطرف في المترجم (SoT status:stable، codegen inttoptr + store/load متطاير). فيتحوّل
المقترح من «بناء بدائيّة» إلى «رسملة الموجود + حسم فجواته الحقيقيّة»:
(١) تشتّت الفضاء الاسميّ (KernelCpu مقابل CompilerMem)، (٢) تباعد المفسّر (8 بت محاكاة
صوريّة، 16/32/64 غير مسجّلة ⇒ يعمل في sad-build ويسقط/يحاكي في sad-run)، (٣) غياب
ضوابط أمان/توثيق. التوصية: رسملة العائلة عقدًا رسميًّا + توحيد التسمية + رفض صريح في
المفسّر + إتاحة عامّة (باطن fb0 حالة userspace). خمسة أسئلة مفتوحة لقرار المالك.

مسودّة نصّيّة فقط — لا كود لغة عُدِّل ولا SoT وُسِّع. الأدوات لا توسّع مصدر حقيقة اللغة.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
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