;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)

(defn double [n]
  (+ n n))

(defn main []
  (double 21))

مصدر CID bafkreiaeohkv2zu… IPFS CIDv1 · خام · sha2-256 من hello.kotoba
المصدر SHA-256 0471d55d668ed5f9… sha-256 للملف المعروض هنا بالضبط
تم التحقق من KIR SHA-256 92635333e1e0da86… التمثيل المكتوب، المتحقق من التأثير اللي اعترف بيه المترجم
هوية القطعة SHA-256 cfea3b89cc022a6b… يربط المصدر، السياسة، عقدة المترجم وABI الهدف

مصدر CID بيفتح hello.kotoba. هضمات SHA-256 بتحدد بايتات المصدر، KIR المتحقق منه، وهوية القطعة؛ مش عناوين IPFS.

آمن + سريع · مبني لبرمجيات مولدة بالذكاء الاصطناعي

كود آمن. مبني لسرعة الماكينة.

Kotoba لغة على شكل Lisp مصممة لبرمجيات آمنة وسريعة جدا مولدة بالذكاء الاصطناعي. برامج قابلة للفحص، قدرات صريحة، وأثار معتمدة على المحتوى بتربط فحوصات المترجم بالتنفيذ المتحكم فيه.

أسرع بناء بارد · 4 من 4 ترتيب مؤهل

أسرع بناء بارد لأي سلسلة أدوات على المضيف ده.

11.75مللي ثانية

Kotoba من المصدر لأرتيفاكت WebAssembly، بارد في العملية — بعدين اتنفذ, والجواب متفحص بعد ما الساعة توقفت.

KotobaCLI متاح · WebAssembly 11.75 msالأسرع هنا
C / Clangالمضيف الأصلي 29.08 ms2.5× Kotoba
راست / راستكWebAssembly 38.99 ms3.3× Kotoba
راست / راستكالمضيف الأصلي 56.02 ms4.8× Kotoba
JVM / javacفئة JVM 171.53 ms14.6× Kotoba

وقت جدار بناء بارد للعملية بالميلي ثانية؛ الأقصر أسرع. K=1 مصدر، خطوط متداخلة على مضيف واحد، 7 عينات لكل واحد.

كل 4 الترتيبات نجحت برج الأداء على سياستها الافتراضية غير المخففة — على الأقل 5% ومنفصلة عن انتشار الأذرع نفسه — عشان الترتيب يثبت حتى لو المضيف كان مشغول. مقيد بالمضيف ده، حجم المصدر ده، والتشغيل ده: وقت البناء مش سرعة التنفيذ، الميزة بتضيق مع كبر المصدر، والإصدار الباينري ليه سقف صرامة صحته. كل الخمسة بنشماركس، بما فيهم اللي اللي بتخالف Kotoba، تحت. مقاسة 2026-08-31 شغال آبل M4.

شوف الخمس اختبارات افحص العينات

لما الذكاء الاصطناعي يولد، يبني، يختبر، ويعيد توليد الكود باستمرار، زمن البناء بيبقى معدل تدفق البنية التحتية.

ثبت وشغل شوف إزاي بيشتغل إعداد وكيل الذكاء الاصطناعي

الرفض افتراضياً

مفيش صلاحيات ضمنية

مفيش نظام ملفات، شبكة، عملية، ساعة، نموذج، أو أسرار ضمنية.

KIR المفحوص

السلطة بتستمر بعد التجميع

الأنواع، التأثيرات، الموارد، ودعم الهدف بيتقبلوا قبل الإرسال.

مفروض من الهوست

المنحة بس هي اللي محددة

المضيف والمزود بيفرضوا نطاق ملموس وبيسجلوا القرار.

الحد الأدنى بعد الكم

مفيش تخفيض كلاسيكي بس

حدود التشفير والنشر الجديدة بتحتاج دليل ML-KEM أو ML-DSA وبترفض مواد PQ المجردة.

01 المشكلة

الذكاء الاصطناعي ممكن يكتب أسرع من البشر لما يراجعوا

الكود المولد ممكن يكون مفيد ولسه يوصل لملف، شبكة، سر، عملية، نموذج، أو سطح دفع الطلب ما كانش ناوي يكشفه.

الإفتراضي القديم

ابني على نطاق واسع، وقيد بعدين

برنامج عام بيبدأ بمعاني محيطة. صناديق الرمل، IAM، الحاويات، السياسة، والتوقيع بيتضافوا حواليه لاسترجاع الحدود المقصودة.

الإفتراضي في KOTOBA

امنح بشكل ضيق، بعدين جمّع

التأثيرات والقدرات جزء من الحساب المعترف بيه. لو الهدف مش قادر يثبت ويربط الإذن، مش هيصدر أو يشغل الأثر.

Kotoba بيكمل عزل وقت التشغيل ونظام التشغيل؛ مش بيخلي الطبقات دي مش لازمة.

فين عقل Lisp و GP 2 بيقابلوا إعادة كتابة الرسم بتاع Rust

Kotoba لغة صغيرة، موجهة للبيانات، وشكلها زي Clojure. تصميمها مستمد من تقليد Lisp في الكود كبيانات و إعادة كتابة الرسم البياني المعتمدة على القواعد لـ GP 2، مع انضباط ثابت حوالين السلطة، التأثيرات، الموارد، الحزم، وهوية القطع.

بديهي

الكود كبيانات قابلة للقراءة

القيم الثابتة، الدوال العادية، البيانات الصريحة، وتركيب نحوي قابل للتكوين سهل للبشر والنماذج للإنتاج والفحص.

تصريحي

قل إيه اللي ممكن يحصل

التأثيرات، القدرات، الموارد، التبعيات، والأهداف مدخلة ظاهرة للقبول—مش مفاجآت بتتكتشف بعد النشر.

الأمان أولاً

لغة أقل، حد أصعب

مفيش تفاعل محيط، تحميل كود وقت التشغيل، تعديل غير محدود، ماكروز معرفها الضيف، أو تزامن غير محدود في سطح المكون المقبول.

آمن + سريع · مبني للبرمجيات المولدة بالذكاء الاصطناعي.
دي توجيه للحصر، مش ادعاء 'مش قابل للاختراق'. المترجم، المدقق، وقت التشغيل، المزودين، جذور السياسة، حفظ المفاتيح، وعزل نظام التشغيل لسه في قاعدة الحوسبة الموثوقة.

02 إزاي الحدود بتشتغل

الأمان في كل الحساب

الحدود بتتنقل من النية للتنفيذ. كل مرحلة بتضيق أو بتتحقق من السلطة؛ مفيش مرحلة لاحقة مسموح لها تخترع تفويض.

1 · المصدر

نية إعلانية

سطح صغير، على شكل Clojure، بيخلي البرامج مقروءة وبيمنع مخارج الهروب المحيطة.

2 · تحقق

KIR المفحوص

الأنواع والتأثيرات العبرية بتتحول لتمثيل مستقل عن الهدف وسهل التفتيش.

3 · قبول

تقاطع السلطة

الطلبات، التفويض، سياسة محلية، الموارد، ومنح الأهداف ممكن تضيق بس.

4 · تحديد

عالج الأثر

الكود، التبعيات، السياسة، عقد الكمبايلر، و ABI الهدف بيربطوا هوية الحساب.

5 · التنفيذ

اربط على المضيف

وقت التشغيل والمزود بيربطوا القدرات المسموح بيها بس، بيفرضوا ميزانيات محدودة، وبيصدروا إيصالات.

هوية المحتوى مش سلطة.
التحقق من CID، التواقيع، الإلغاء، سياسة المضيف، فحوصات الموارد، وعزل نظام التشغيل بتفضل حدود منفصلة.

تقييم Lisp، من غير تقييم مضيف محيط

Kotoba بيقيم الكود المتحقق منه كبيانات موجهة بالمحتوى. المعروف (eval request) الواجهة بتنزل للنوعية :code/eval القدرة؛ عمره ما بيستقبل نص المصدر، أو نموذج القارئ، أو مساحة الأسماء، أو كائن المضيف.

تعريف CID

الكود إيه؟

CID بيختار تعريف KIR متحقق من هاش ومتأكد منه وإغلاق تبعياته الخاص بـ CID فقط.

معرف القبول CID

ممكن يشتغل هنا؟

الواجهة بالظبط، صف التأثير الكامل، السماح الحالي، الوقود، وعمق التقييم اللي بيقل بيتحددوا قبل التنفيذ.

قيمة CID

رجع إيه؟

النتيجة المكتوبة محفوظة كدليل معنون بالمحتوى. هاشها مش بيقدر يجيز تأثير بأثر رجعي.

الهوية، السلطة، ودليل النتيجة تلات حقائق مختلفة.

عقدة الآلة: lang/typed-eval.edn. قدرة سلك المترجم: 30. التطبيق المحدود بيظل تطبيق إغلاق وحدة عادي.

الإعدادات الافتراضية لطبقة حوسبة تركز على الذكاء الاصطناعي

دي مطالبات هندسية مع التأهيل بتاعها. الافتراضي، جاهز للحدود، جزئي، والاتجاه حالات مختلفة؛ مفيش واحدة منهم بتترقى بصمت لكونها عامة.

الاتجاه المقاس

ابني أسرع. شغل أسرع. حافظ على الحدود.

Kotoba بتنشر قياسات بدء الكمبايلر، حلقة المطور، وقت التشغيل الأصلي، ومجال عبء العمل مع شيكسمات دقيقة. ترتيب السرعة الحالي متوقف لحد ما بوابات المضيف الهادئ تعدي؛ قبول الأمان عمره ما اتشال عشان يكسب توقيت.

جاهز ومحدد

تخزين من غير سقف للغة.

Kotobase بيستخدم هوية المحتوى، قراءات النطاق، التاريخ الثابت، وتخزين محايد للمزود. السعة الفيزيائية، الإيجار، الاحتفاظ، التكلفة، التكرار، وميزانيات التنفيذ واضحة؛ ده مش ادعاء قرص غير محدود.

افتراضي

التشفير ما بعد الكمومي بشكل افتراضي.

كل حد تشفير Kotoba جديد لازم يسمي دليل ML-KEM أو ML-DSA ويرفض تخفيض كلاسيكي بس. Passkeys الحالية، النقل، التنفيذات، وحفظ المفاتيح لسه حدود مؤهلة منفصلة.

افتراضي

المصادقة موجودة. السلطة مرفوضة افتراضيًا.

هوية Passkey لازم تكون عند حد التحكم. الهوية المتحققة لسه ما بتاخدش سلطة نظام ملفات، شبكة، تخزين، نموذج، سر، دفع، أو GPU إلا لو منحة محددة صمدت ضد سياسة محلية وفحوصات المضيف.

جاهز ومحدد

تفويض مرن ممكن يضيق بس.

النطاقات المطلوبة، المفوضة، سياسة محلية، الموارد، والأهداف بتتقاطع. التفويض ممكن يتكون ويتقلل، بس ما يقدرش يصنع سلطة محيطة أو يوسع تفويض المصدر.

جاهز ومحدد

جاهز للويب 3، محايد للسلسلة من الأساس.

مبدأ Kotoba مستقر وPasskey المتحكم الأساسي. حسابات CAIP-10، ERC-1271، وERC-6492 إثباتات حساب مرتبطة صريحة؛ عنوان المحفظة عمره ما بيبقى سلطة تخزين أو تنفيذ بصمت.

جزء منفذ

نسخ صفرية لما الملكية تسمح؛ نسخة واحدة لما الحدود تطلبها.

مشاهد البايت العمودية بتحافظ على المتجه، ByteBuffer مباشر، وUint8Array كدعم. إسقاط السهم ممكن يحافظ على المخازن غير المضغوطة عمودية عبر مسار بحيرة Kotobase المصرح به. دخول الشبكة، فك الضغط، رفع GPU، والتحديثات الثابتة المستمرة بتفضل حدود نسخ مسماة.

جزء منفذ

بيانات على شكل سهم. تعليمات CPU SIMD صريحة ونواة GPU أصلية للجهاز.

على Apple M4، عمود Arrow float32 غير مضغوط وغير قابل للنول احتفظ بدعم ذاكرة خطي واحد WebAssembly بينما Num نفذ كيرنل v128 f32x4 صريح على شريحة القيم المستعارة بدون نسخ Arrow-to-SIMD؛ ذيل سكلر غطى الصفوف المتبقية. في ثلاث تشغيلات مؤهلة لنفس عبء العمل 262,147-عنصر والقطعة، الكيرنل SIMD ده خلص 3.66-3.72x أسرع من Wasm السكلر. ده نتيجة كيرنل وهوست، مش مطالبة عامة لوقت التشغيل. نفس مسار العمود المحدود كمان بيحتفظ بـ ArrayBuffer واحد من خلال CPU views، بيعبر حد ملكية GPU برفع WebGPU مقاس واحد، بينفذ على Metal، وبيرجع سكلر بأربع بايت. الأعمدة القابلة للنول، أنواع بيانات Arrow التانية، إزالة رفع الذاكرة الموحدة، الكيرنلات الأوسع، والتأهيل الشامل لـ CPU/GPU لسه قيد الانتظار.

افتراضي

الذكاء الاصطناعي أولاً. آمن للوكيل بشكل افتراضي.

Kotoba معمولة للبرامج المكتوبة أو المشغلة بواسطة وكلاء وبوتات الذكاء الاصطناعي. كل ما النموذج أقوى، كل ما التأثيرات الصريحة، الموارد المحدودة، حجز القدرات، الإيصالات، وفرض المضيف بيبقوا أهم.

الاتجاه

حدود جاهزة للذكاء الاصطناعي العام، مش ادعاء ذكاء اصطناعي عام.

الهيكل معمولة عشان تخلي السلطة واضحة مع تطور قدرات النماذج. Kotoba مش بتقول إن AGI موجود هنا، ولا إن البرامج المولدة موثوق فيها، ولا إن الحجز بيشيل المجمّع، وقت التشغيل، المزود، حفظ المفاتيح، وقاعدة الحوسبة الموثوقة لنظام التشغيل.

سلطة الماكينة: lang/product-defaults.edn. تخزين مادي غير محدود، صفر نسخ في كل مكان، ترتيب سرعة عالمي، تحقيق AGI، وعدم قابلية الاختراق لسه مطالب مطلقة ممنوعة.

إيه اللي AI مكتوب Kotoba مش يقدر يطلبه

واجهة لغة غائبة عمدًا
الحدود	ليه مش موجود
`compile, load, load-file, load-string, ns-resolve, read-string, require, resolve, use`	المكونات ما تقدرش تصنع كود أو صلاحية من حالة العملية المحيطة. سلاسل المصدر، أشكال القارئ، المساحات المحملة، والكائنات المضيفة المترجمة عمرها ما كانت مستنتجة التأثير ومش جزء من تعريف CID. العملية المقبولة `(eval request)` منفصلة: بتختار KIR متحقق منه بالفعل عن طريق CID من خلال :code/eval و المضيف بيقبلها تاني.
`., .., import, new`	الوصول العشوائي لكائن وطريقة JVM/JS بيتجاوز قبول القدرات. مش قابل للاسترخاء عن طريق منح الإرسال: التفاعل عمره ما بيوصل لنداء القدرة-مكون الحراسة، فالتقاطع، الإيصالات و الإلغاء مش بيشوفوا النداء. فارغ على ABI wasm32 (مفيش مسار زي ده)؛ حامِل على portable/trusted، حيث بوابة المجموعة هي الحد الوحيد (مفيش صندوق VM منفصل مطلوب هناك).
`alter-var-root, atom, binding, deref, dosync, ref, reset!, set!, swap!, var, volatile!`	الحالة المتغيرة الخارجية مملوكة للمزود ومتحكم فيها بالقدرات/السياسات؛ الحالة المحلية للمكون لازم تستخدم نموذج محدود صريح. الثابت هو AMBIENT، مش التغيير نفسه. من 2026-09-02 القراءة دي ليها نتيجتين بدل واحدة. الخلية اللي بتخرج، بتستمر، أو بتعدي دالة مملوكة للمزود وبتفضل على مسار :state-kit-desugar (صف التأثير بيظهر :state، مطلوب منحة عند التهيئة، مقابض القدرات مرفوضة كقيم مخزنة). الخلية اللي مش بتعمل كده -- (let [a (atom 0)] (swap! a + 1) @a) -- مش محتاجة هوست خالص: شريحة الحالة المحلية 1 بتفصلها لإعادة ربط let عادية، فمفيش حد بيراقبها غير الكود المستقيم اللي بيمتلكها ومفيش خلية موجودة وقت التشغيل. atom / swap! / reset! / deref مقبولة عبر التفصيل، ومرفوضة أول ما الخلية تخرج. ref / dosync / volatile! / binding / var / alter-var-root / set! مفيهاش نموذج قدرة محدد وبتفضل مرفوضة بفشل مغلق.
`agent, future, locking, pmap, send, send-off`	جدولة المكونات والموارد لازم تفضل تحت تحكم رقيق ومحدود. لا تعريفات CID ولا تفويضات بتقيس CPU أو الجدولة؛ الوقود لكل حالة والخيوط المحيطة هتخرج منه. قدرة spawn منظمة مع وقود فرعي الميزانية ممكن تتصمم لكن مش متقررة؛ مفيش طريق للتوسيع لحد دلوقتي.
`defmacro`	سطح المكون الآمن لازم يكون قابل للفحص الثابت قبل التنفيذ. مش قابل للاسترخاء: التوسيع بينفذ كود جوا المترجم (وقت البناء)، وتعريف CID بيعمل هاش لـ KIR المطبوع بعد إزالة السكر، فالميكروز غير المحدودة بتشتغل بدري وبتخلي هوية المصدر مش قابلة للمراجعة. defdesugar (إزالة السكر النقية المحدودة) بتفضل البديل المقبول.
`catch, throw, try`	الطرح/المحاولة/القبض المحيط هو تدفق تحكم غير محلي غير متتبع: بيخرج من النطاقات اللي صف تأثيرها المستنتج عمره ما اتذكر وبيتخطى التزامات فك الالتفاف (سحب جانب مساحة البيانات مفيش فك التفاف متحقق منه لحد دلوقتي). الحظر على الشكل المحيط. من 2026-09-02 القدرة على الإجهاض المطبّق بتقبل الرؤوس بالتفصيل: التأثير بيظهر في الصف المستنتج كـ :abort والدالة بتنزل لـ [:result T E]، ف الشكل المحيط عمره ما بيظهر بعد التفصيل. شريحة 2 (2026-09-02) خلت :abort ينتشر خلال الاستدعاءات وA-normalized إجهاض عامل أو اختبار في ربط let؛ ولا واحد منهم بيوسع الثابتة، لأن الإجهاض المنتشر على صف المستدعي و A-normalized هو نفس التفصيل في مكان مختلف. لما شرط فك الالتفاف يهم، الإجهاض بيظل مرفوض -- لكول دلوقتي وكمان للطرح.

دول قيود أمان مسماة في lang/surface-status.edn، مش ميزات ناقصة من خارطة الطريق.

03 الدليل

دليل، مع الحدود المرفقة

Kotoba بيفصل أدلة التنفيذ عن جذب السوق وبيحتفظ بالمخاطر المتبقية جنب كل ادعاء أمان.

أنوية 33

استخدام داخلي للإنتاج

مكدس Kotoba الأوسع بيشغل 33 أنوية استدلال داخليًا. ده بيثبت إن الفريق بيشغل مكدسه الخاص؛ مش جذب عملاء، ولا اعتماد مدفوع، ولا إيرادات.

مطالبات 8

الحدود قابلة للقراءة آليًا

ادعاءات الأمان بتسمي قاعدة الحوسبة الموثوقة، الأدلة السلبية، والمخاطر المتبقية بدل ما تتحول لشعار 'مش قابل للاختراق'.

ارفض بشكل افتراضي

مفيش منحة، مفيش تأثير من الهوست

سياسة فاضية مديهاش صلاحية نظام ملفات، شبكة، عملية، ساعة، نموذج، أو سلطة سرية. المزودين لازم كمان يتحققوا من نطاق الموارد المحدد.

الاستخدام الداخلي للإنتاج دليل على تجربة داخلية بس. مش معناه عملاء خارجيين، تجارب مدفوعة، أو إيرادات.

خمسة معايير. خمسة أسئلة مختلفة.

تشغيل المجمّع بيسأل بسرعة إزاي مصدر صغير بيتحول لقطعة. قياس البناء بيسأل إيه اللي بيحصل للرقم ده لما المصدر يبطل صغير—ولو القطعة لسه بترد. دورة المطور بتفصل الحل، الفحص، البناء، والنتيجة الأولى. وقت التشغيل الأصلي بيسأل سرعة تشغيل الكود المبني. مجموعة مجال العمل بتسأل عن سلوك السلاسل، المجموعات، التخصيص، الإدخال/الإخراج، التزامن، وتطبيق حقيقي صغير. النتائج بتخلي كل الأسئلة الخمسة—وحالة الأدلة بتاعتهم—مفصولة.

بدء البناء · الترتيب غير مؤهل

سلاسل أدوات 4، 21 تشغيل لكل واحدة

Kotoba 40.998 مللي ثانية · راست 126.422 مللي ثانية · سي 146.324 مللي ثانية · JVM 961.248 مللي ثانية المتوسط.

21 عينات باردة متغيرة للعملية · load1 30.79 → 39.79 · مطلوب ≤ 1 · 2026-08-29 · Apple M4

وقت التشغيل · التغطية كاملة

أحمال 6 × مقارنات 5

Amu الأصلي بيتجرب ضد Rust، Clang / C11، Zig، Go c-shared، Swift من خلال حد اتصال أصلي مشترك واحد.

أزواج مقارنة/حمل عمل 30/30 · إجابات دقيقة تم التحقق منها

سرعة التشغيل · مؤهل 19/30

19 من 30 أزواج

Amu native كسب 19 من 30 أزواج المقارنات/الأحمال بفارق على الأقل 5%، منفصل عن انتشار الأذرع نفسه. المطالبة الأسرع المحصورة محتاجة كل زوج، فبتفضل غير مؤهلة — العدد هو النص الإعلامي.

على الأقل 2 من الأزواج دي مستحيل تكسبها خالص. في الحساب الضيق، amu، Apple clang -O3 و rustc -O3 بيجمعوا الكيرنل لنفس تسلسل التعليمات 61 — clang و rustc متطابقين بالبايت، و amu مختلف بس في أرقام الريجسترات. مفيش هامش 5% على كود متطابق، فالمطالبة المحدودة دي مش قابلة للتحقيق مش بس مش متحققة.

الوسيط ل5 تشغيلات مؤهلة على المضيف؛ النتيجة كانت بين 19–20 و 19 من 30 الأزواج مؤهلين في كل تشغيل. عينة واحدة مزعجة ممكن تلغي عدة أزواج مرة واحدة، عشان كده نتيجة تشغيل واحد مش دقيقة لزوج واحد.

CPU مشغول 0.090 → 0.069 → 0.076 · مطلوب ≤ 0.10 · 2026-09-07

دورة المطور · تصنيف غير مؤهل

مسارات سلسلة أدوات 11

حل التبعيات، الفحص، البناء النضيف واللي مفيهوش تغييرات، وأول نتيجة باردة للعملية متسجلة بشكل منفصل.

عينات 7 لكل مرحلة مقاسة · load1 20.84 → 24.49 · مطلوب ≤ 1

توسع البناء · تم العثور على الحد الأعلى

أحجام المصدر 8

نفس البرنامج من دالة لدالة 2048، متبني بواسطة كل سلسلة أدوات على المضيف وبعدين منفذ. الملف الثنائي المُصدر عنده أقل تكلفة بدء بارد هنا وصحة الحد الأعلى فوق دوال 128.

الأرتيفاكتات متفحصة بعد ما الساعة توقف · load1 2.73 → 2.73 · مطلوب ≤ 1 · 2026-08-31

مجالات عبء العمل · ترتيب غير مؤهل

نطاقات 6 × مسارات وقت التشغيل 6

سلاسل، مجموعات، تخصيص، إدخال/إخراج ملفات، تزامن بأربع عمال، ونواة تطبيق سياسة قبول الطلبات متأكدين من صحتهم.

عينات 7 في مسارات باردة للعملية ومسارات مخففة · load1 13.87 → 12.38 · الترتيب محتجز

وقت البناء مع زيادة المصدر

المعايير اللي فوق بتبني برنامج صغير يكفي عشان يتعرض على شاشة واحدة, اللي بيقيس سرعة بدء سلسلة أدوات. مش بيقول كتير عن الرقم اللي المطور فعلاً بيستناه، واللي هو الميل. الخامسة دي المعيار بيولد نفس البرنامج بأحجام متزايدة — K دوال مستقلة بأربع عمليات ونقطة دخول واحدة اللي بينادي عليهم كلهم — وبيبنيهم عبر كل سلسلة أدوات على المضيف، في ترتيب دوار.

بعد كده بيشغل اللي كل تولتشين أنتجه، بعد ما الساعة توقفت. التحقق ده مش مجرد تزيين. أسرع طريقة لإصدار قطعة هي يصدر واحد مكسور، فمسار وقف يشتغل كان هيبعت غير كده أفضل أرقامه بالظبط فين وقف يشتغل.

الاتنين محاور لوغاريتمية: المصادر بتغطي ثلاث رتب من الحجم وكمان الأوقات. الخط بينتهي بنقطة لما التشغيل يخلص، بعلامة X لما المسار ده يطلع قطعة مش البرنامج، وبشريط لما سلسلة الأدوات ترفض تبني. التلاتة دول مش نفس الحدث والفشلين تحت مش نفس الفشل.

وقت جدار بناء بارد للعملية حسب حجم المصدر؛ المتوسطات، مضيف واحد، خطوط متداخلة
سلسلة الأدوات / الهدف	K=1	K=32	K=128	K=129	K=512	K=1023	K=1024	K=2048
Kotoba · CLI مُصدر · WebAssembly	11.753 ms	35.84 ms	111.538 ms	قطعة غير صالحة	قطعة غير صالحة	قطعة غير صالحة	البناء فشل	البناء فشل
Kotoba / Amu · WebAssembly	733.255 ms	825.418 ms	1123.04 ms	1123.847 ms	3380.63 ms	9242.463 ms	البناء فشل	البناء فشل
Kotoba / Amu · نيتف aarch64-macos	962.198 ms	1509.84 ms	2973.249 ms	3000.243 ms	10601.87 ms	23725.327 ms	البناء فشل	البناء فشل
راست / راستك · WebAssembly	38.992 ms	45.622 ms	66.066 ms	65.56 ms	151.592 ms	277.88 ms	280.867 ms	595.812 ms
راست / راستك · مضيف أصلي	56.023 ms	62.849 ms	82.107 ms	82.277 ms	159.519 ms	261.586 ms	260.934 ms	469.277 ms
C / Clang · WebAssembly	مفيش سلسلة أدوات	مفيش سلسلة أدوات	مفيش سلسلة أدوات	مفيش سلسلة أدوات	مفيش سلسلة أدوات	مفيش سلسلة أدوات	مفيش سلسلة أدوات	مفيش سلسلة أدوات
C / Clang · المضيف الأصلي	29.078 ms	30.442 ms	35.765 ms	36.581 ms	60.594 ms	104.992 ms	101.728 ms	223.232 ms
JVM / javac · فئة JVM	171.53 ms	197.998 ms	237.582 ms	238.611 ms	316.795 ms	378.252 ms	377.591 ms	454.632 ms

تم القياس 2026-08-31 على judahnoMac-mini.local (Apple M4). K هو عدد الدوال المولدة؛ المصدر Kotoba بيشتغل من 9 لـ 14338 سطر. الأهداف، ABI، مستويات التحسين وعقود وقت التشغيل مختلفة بين المسارات، فالسؤال عن تأخير رد فعل المطور، مش شغل مكافئ. بوابة تحميل المضيف فشلت (load1 2.73–2.73, مطلوب ≤ 1), فدي ملاحظات للتشغيل ده مش أرقام محمولة. عشان المسارات متداخلة، الترتيب مؤهل بشكل منفصل.

أي ترتيب بينجو اختبار الضوضاء

النسبة مش ترتيب. برج الأداء بيرفض أي ترتيب الفجوة بتاعته جوه انتشار الذراعين نفسهم, مهما كانت النسبة كبيرة، وترفض ذراع بعينات قليلة أوي أو ضوضاء كتير. بيشتغل هنا بسياسة افتراضية خاصة بيه، مش مرتاح — تخفيف العتبة عشان يشتغل ده هيكون معيار بيقيس العتبات بتاعته. عشان اللينز متداخلة على هوست واحد، في فجوة اللي بيعدي الاختبار ده بيعدي إن المضيف يكون مشغول.

أصدر Kotoba CLI ضد كل مقارن، في كل حجم لسه بيصدر وحدة صالحة
الحجم	مقارنة مع	Kotoba أسرع؟	الفجوة مقابل الانتشار المدمج	ليه لأ، لو مش
K=1	C / Clang · المضيف الأصلي	أيوة، مؤهل	17.1 مللي ثانية مقابل 1.0 مللي ثانية	—
K=1	JVM / javac · فئة JVM	أيوة، مؤهل	160.8 مللي ثانية مقابل 5.4 مللي ثانية	—
K=1	راست / راستك · مضيف أصلي	أيوة، مؤهل	44.2 مللي ثانية مقابل 0.6 مللي ثانية	—
K=1	راست / راستك · WebAssembly	أيوة، مؤهل	27.1 مللي ثانية ضد 0.5 مللي ثانية	—
K=32	C / Clang · المضيف الأصلي	لا	5.3 مللي ثانية مقابل 1.0 مللي ثانية	تحسين أقل من الحد
K=32	JVM / javac · فئة JVM	أيوة، مؤهل	161.9 مللي ثانية مقابل 1.2 مللي ثانية	—
K=32	راست / راستك · مضيف أصلي	أيوة، مؤهل	26.7 مللي ثانية مقابل 0.7 مللي ثانية	—
K=32	راست / راستك · WebAssembly	أيوة، مؤهل	9.8 مللي ثانية مقابل 0.6 مللي ثانية	—
K=128	C / Clang · المضيف الأصلي	لا	75.8 مللي ثانية مقابل 1.2 مللي ثانية	تحسين أقل من الحد
K=128	JVM / javac · فئة JVM	أيوة، مؤهل	126.2 مللي ثانية مقابل 2.2 مللي ثانية	—
K=128	راست / راستك · مضيف أصلي	لا	29.3 مللي ثانية مقابل 1.4 مللي ثانية	تحسين أقل من الحد
K=128	راست / راستك · WebAssembly	لا	45.8 مللي ثانية مقابل 1.1 مللي ثانية	تحسين أقل من الحد

التحسن تحت العتبة معناه إن مسار Kotoba ماكنش أسرع في الحجم ده خالص. الميزة حقيقية ومؤهلة في البداية الباردة، وبتختفي قدام C عند K=32 وقدام Rust عند K=128. التقاطع ده هو النتيجة، عشان كده متعرض بدل ما يتلخص.

فشلين مختلفين مش نفس الفشل

ثلاث مسارات Kotoba وقفت تشتغل في التشغيل ده، ونشرهم كواحد الصف كان هيبقى غلط. واحد عيب. التانيين معلنين تطبيق الحدود بالضبط زي ما هو محدد، والإبلاغ عنها كعيوب هيعني قياس الحدود بدل المترجم.

إيه اللي وقف، وده معناه إيه
ملاحظة	القراءة
CLI كوتوبا اللي اتصدر بيطلع موديل مش هيتكومبايل فوق 128 دوال	عيب، وده سبب التحقق داخل الحماية. عند K=129 الاستدعاء لازم يحمل مؤشر الدالة 128، أول قيمة محتاجة بايتين LEB128، والمصدر بيكتب واحد. البايتات بتقول مش مشفر مفقود لكن مش مستخدم: local.set 128 مكتوب 80 01، والاستدعاء 128 بعد تعليمة واحدة مكتوب 80. عدد المعاملات المقطوعة بالظبط K ناقص 128. المترجم الحالي معندوش ده — Amu بيبني K=129 صح، والتصليح موجود في فرع المصدر الافتراضي من قبل ما الإصدار يتعلم.
كل مسار Kotoba بيقف عند K=512 لما يتبني بالإعدادات الافتراضية	مش عيب. وحدة Kotoba بتحمل ميزانية وقود استدعاء معلنة والمترجم الافتراضي هو 512 استدعاءات، والعبء ده بيتجاوزها عند K=512 حيث نقطة الدخول بتستدعي 512 أوراق. الحزام بيعلن 1,048,576 وحدات صراحة وبيسجل ده. C، Rust وJava ماعندهمش حد مكافئ للرفع.
أمو بيرفض الموديول تمامًا لما يكون فيه أكتر من 1,024 دالة	ده مش عيب، وعكس السطر الأول. max-functions هو حد اعتراف معلن، عشان كده الكمبايلر بيقف مع kotoba.error/subset-reject وبيسمي اللي رفضه، بدل ما يطلع حاجة مش هتشتغل. سقف عالي وسقف ساكت نتيجتهم مختلفة خالص، ومفيش غير الهارنس اللي بيشغل الآرتيفاكت يفرق بينهم. المقاس 2026-09-07: ده سقف البرنامج كله، مش موديل واحد — max-project-functions كمان 1,024 وبيتراجع على المشروع المرتبط، فمفيش ترتيب للموديلات بيكومبايل برنامج فيه 2,048 دالة النهاردة.

اللي ده بيثبته

إجابات المعيار الخامس، بما فيها اللي مش لصالحه
سؤال	الرد من التشغيل ده
قد إيه بناء Kotoba بارد لوحدة صغيرة سريع؟	أداة CLI اللي اتصدرت بتبني K=1 في 11.753 مللي ثانية في حالة باردة للعملية، تم تنفيذ الأرتيفاكت والتحقق من الإجابة — أسرع نتيجة أولى لأي مسار متقاس هنا.
قد إيه حجم الموديول اللي ممكن الباينري المفرج عنه يبنيه؟	لحد 128 دالة. أكتر من كده مش أبطأ، ده غلط، والاختبار ده بيبلغ عن المسار ده كمسار فشل مش مسار سريع.
هل وقت البناء بيظل تنافسي مع نمو المصدر؟	من خلال K=128، الـ CLI اللي اتصدر اتقاس قدام Rust و C في الجدول اللي فوق. بعد النقطة دي، المترجم الوحيد Kotoba اللي لسه بيطلع موديول صحيح هو Amu، اللي بيشتغل على nbb بدل ما يكون باينري متصدر، وبيكون أبطأ بحوالي ترتيب واحد من الحجم في كل المقاسات اللي اتقست — فبالتالي في الأحجام الكبيرة سرعة البناء مش دلوقتي Kotoba نقطة قوة، والصفحة دي مش هتقول العكس.
المصدر اتبنى بالكامل قد إيه؟	K=1023 عن طريق Amu — 7163 سطر من Kotoba، الأرتيفاكت اتنفذ والإجابة اتأكدت. ده دالة واحدة أقل من سقف 1,024 المعلن، والحجم اللي بعده بيرفض بدل ما يتبنى غلط.
هل الكود اللي اتصدر سريع؟	خارج النطاق هنا — ده بيقيس البناء، مش التشغيل. مجموعة وقت التشغيل المحلي اللي فوق بتسأل السؤال ده.

الخلاصة: في أصغر حجم، الملف التنفيذي الصادر أسرع من كل المنافسين هنا بفارق بيعدي اختبار الضوضاء، وعنده سقف صحة صارم عند 128 دوال. المترجم بدون السقف ده أبطأ بحوالي ترتيب واحد من الحجم في كل حجم مقاس. الحقيقتين دول جايين من نفس التشغيل، والهارنس اللي لقاهم عام. عشان التشغيل ممكن يتعارض عليه.

افحص عينات توسيع البناء شغله تاني على جهازك العيب، مع البايتات بتاعته

مدة كل حمل أصلي فعلاً بياخدها

الشبكة تحت بتبلغ الهامش بين ذراعين. الرقم ده قواعد perfgate شغالة، بس النسبة لوحدها مش بتقول إذا تشغيل العبء في خمس مللي ثانية أو خمسمية، وبيخفي الفرق بين زوج متنازع وزوج غير مهم. اللوحات دي الوسيطات اللي الهامش بيتحسب منها. Amu native هو المسار الملون في كل لوحة — بما فيها اللوحات اللي مش أول واحدة فيها. كل لوحة هي مقاس على أبطأ ذراع ليه، عشان السؤال اللي اللجنة بتجاوب عليه هو مين أسرع في الحمل ده.

الحساب الضيق

Clang / C11 6.41 ms
أمو نيتف 6.53 ms1.02× الأسرع هنا
سويفت 6.55 ms
راست 6.58 ms
زيغ 8.24 ms
جو c-shared 42.84 ms

ضغط على السجلات واسع

أمو نيتف 5.80 msالأسرع هنا
راست 6.19 ms
Clang / C11 6.50 ms
زيغ 6.97 ms
جو c-shared 41.07 ms
سويفت 44.08 ms

ضغط تسرب عميق

أمو نيتف 9.23 msالأسرع هنا
راست 9.61 ms
زيغ 9.71 ms
Clang / C11 10.23 ms
جو c-shared 51.86 ms
سويفت 124.27 ms

حفظ الاستدعاء

راست 4.77 ms
Clang / C11 4.82 ms
أمو نيتف 4.85 ms1.02× الأسرع هنا
سويفت 6.77 ms
زيغ 8.44 ms
جو c-shared 32.49 ms

تدفق التحكم في الفرع والمكالمات

Clang / C11 4.67 ms
راست 4.90 ms
أمو نيتف 4.98 ms1.07× الأسرع هنا
سويفت 6.72 ms
زيغ 8.95 ms
جو c-shared 33.84 ms

حلقة استدعاء رجعية

Clang / C11 139.84 ms
أمو نيتف 140.59 ms1.01× الأسرع هنا
راست 141.73 ms
جو c-shared 169.38 ms
سويفت 186.09 ms
زيغ 207.01 ms

الوسيط بالميلي ثانية على 5 تشغيلات مؤهلة للمضيف؛ الأقصر أسرع. كل ذراع رجع نفس الإجابة المتحققة بشكل مستقل، والوسيط المرشح قيمة واحدة لكل عبء عمل — المجموعة بتبدل كل زوج محرك بترتيب ABBA/BAAB، فنفس قطعة Amu بتتوقيت مرة لكل عبء عمل وبعدين بتتقارن مع كل ذراع بالتوالي. على عكس الأربع اختبارات التانية في الصفحة دي، بوابة المضيف الهادئ دي نجحت (مضيف مؤهل التحميل)، فدي أرقام للمضيف ده مش ملاحظات بس. الادعاء الأسرع المحدود لسه محتاج كل 30 أزواج، وده اللي الشبكة تحت معمولة عشانه.

كل زوج وقت تشغيل، كسب أو خسارة

المطالبة المحدودة كلها أو لا شيء، فزوج واحد غير مؤهل بيخليها خاطئة. نشر الحكم لوحده هيخبي أي أزواج متنازع عليها، فكل الشبكة هنا. الخلية هي متوسط التحسن بتاع Amu native على المقارن ده على عبء العمل ده؛ الإيجابي معناه Amu أسرع، وعلامة الصح على الأزواج اللي بوابة أداء واضحة — على الأقل 5% ومنفصلة عن انتشار الأذرع نفسها.

Amu الأصلي مقابل كل مقارن، 2026-09-07، مؤهل هوست؛ ✓ = ناجح في perfgate
عبء العمل	راست	Clang / C11	زيغ	جو c-shared	سويفت
الحساب الضيق	+0.4%	-0.6%	+20.1%	+84.7%	-0.6%
ضغط على السجلات واسع	+6.5%	+10.9%	+16.9%	+86.0%	+87.1%
ضغط تسرب عميق	+4.2%	+9.3%	+5.1%	+82.2%	+92.6%
حفظ الاستدعاء	-1.0%	-0.3%	+42.9%	+85.2%	+29.6%
تدفق التحكم في الفرع والمكالمات	-2.6%	-7.1%	+43.8%	+85.2%	+25.1%
حلقة استدعاء رجعية	+0.8%	-0.1%	+32.4%	+17.2%	+24.8%

كل خلية عبارة عن بار متكبر من خط مركزي: يمينه Amu native أسرع، شماله أبطأ. الاتجاهين متقاسين بشكل منفصل — المكاسب لحد +93% والخسائر لحد −7%، فمقياس مشترك هيخلي كل زوج متنازع يبان كخط رفيع مش ظاهر. الإشارة كمان بتتحمل على جانب الخط والرقم الموقع، فمفيش قراءة للشبكة دي بتعتمد على تمييز لونين.

19 من 30 الأزواج مؤهلين (الوسيط ل5; 19 في كل تشغيل) · المرشح 42f092ea5b61 · Apple M4، 10 معالجات منطقية، 16 جيجابايت

تسليم التحسين بعد التشغيل المنشور

المعيار المؤرخ فوق ثابت. شرائح التنفيذ الجديدة مدرجة بشكل منفصل لحد ما مجموعة القطع نفسها تعيد التشغيل وتعدي بوابات التأهيل.

واجهات منفذة مش لسه ادعاءات سرعة جديدة
الواجهة	تم التسليم	حد الأدلة
متجهات نيتف / تخصيص	المتجهات المحدودة غير الهاربة مثبتة ضد الهروب ومستبدلة بسكلر على x86-64 و AArch64.	اختبارات خلفية 211 / تأكيدات 2,442; المتجهات الهاربة بتحافظ على ABI المضيف المفحوص. مفيش توقيت مصنف جديد لحد دلوقتي.
سيمد سترينج	مساواة POSIX المتحققة بتستخدم مقارنة NEON أو SSE2 صريحة بطول 16 بايت بعد التحقق من المقبض وصحة UTF-8 الرسمية.	تجميع محسن والتحقق من متجهات ISA الأصلية والدلالية. ويندوز لسه مثبت منفصل؛ ترتيب الكمون قيد الانتظار.
قدرة الإدخال/الإخراج غير المتزامن	الاستخدام النهائي للقراءة/الكتابة/القائمة/الوجود/الحذف المحصور بالجذر بيستخدم CompletableFuture على JVM وfs.promises على Node.	اختبارات نظام الملفات الحقيقي لـ JVM و Node ناجحة. معيار Wasm المستقل العام لسه مفيهوش ربط مضيف معترف بيه، فخلية الإدخال/الإخراج بتاعته لسه N/A.
التزامن الهيكلي	نطاق فشل سريع طفل 32 محدود بيربط، يلغي الأشقاء، ويمنع هروب عمر الطفل كحالة Kotoba معيارية.	تصريحات التكافؤ 996 عبر سلطة .kotoba ومسار تحميل CLJC. دي دلالات عمر مهيكلة، مش نتيجة إنتاجية خيط نظام تشغيل.
Kotoba CLI	اختبار/بناء kotoba بيستخدم دبوس المترجم الجديد؛ تجميع kotoba بيصدر x86-64 وAArch64 KEXE مختومة مباشرة.	دورة حياة CLI عامة وأرتيفاكت متجه AArch64 متحقق منه. Native --run لسه مرفوض لحد ما ييجي إيصال محمل مقاس.

تشغيل المترجم، أربع سلاسل أدوات

KotobaWebAssembly 40.998 msالخط الأساسي
راست / راستكWebAssembly 126.422 ms3.084× Kotoba
C / ClangWebAssembly 146.324 ms3.569× Kotoba
JVM / javacفئة JVM 961.248 ms23.446× Kotoba

وقت الحائط البارد للعملية لمصدر صغير، بالميلي ثانية؛ الأقصر أسرع. 21 عينات دوارة لكل سلسلة أدوات على Apple M4. بوابة تحميل المضيف فشلت في التشغيل ده، فدي ملاحظات لجهاز واحد، مش ترتيب.

قياس بناء بارد صغير من المصدر للأرتيفاكت
سلسلة الأدوات	الإخراج	المتوسط	p95	الوقت النسبي المنقضي
Kotoba	WebAssembly	40.998 ms	240.415 ms	1× Kotoba
راست / راستك	WebAssembly	126.422 ms	770.495 ms	3.084× Kotoba
C / Clang	WebAssembly	146.324 ms	498.618 ms	3.569× Kotoba
JVM / javac	فئة JVM	961.248 ms	2223.49 ms	23.446× Kotoba

كوتوبا 0.7.3 · راستك 1.97.1 · نسخة هومبرو كلانج 22.1.7 · جافاك 24.0.2. Kotoba، راست، و C بيصدروا وازم؛ جافاك بيصدر ملف كلاس. الأهداف المختلفة وشغل الكمبايلر بيخلي ده ملاحظة بداية، مش ترتيب عالمي. بوابة تحميل الهوست المسجلة فشلت، فالجدول مش ترتيب سرعة مؤهل.

ميديانات دورة تطوير مشروع صغير بدون تبعيات؛ N/A معناها مفيش مرحلة منفصلة اتقاسِت
سلسلة الأدوات / الهدف	حل	تحقق	بناء نظيف	بناء بدون تغيير	ابدأ + نفذ	بناء نظيف + أول نتيجة
Kotoba · WebAssembly	غير متاح	231.75 ms	62.906 ms	42.332 ms	57.253 ms	142.644 ms
راست / كارغو · arm64 ماك أو إس محلي	138.018 ms	71.208 ms	896.478 ms	67.764 ms	371.522 ms	1299.171 ms
C / Clang · arm64 macOS أصلي	غير متاح	90.446 ms	121.838 ms	77.905 ms	327.741 ms	453.685 ms
Zig · WebAssembly	غير متاح	387.713 ms	648.665 ms	464.795 ms	67.523 ms	728.007 ms
TinyGo · arm64 macOS أصلي	غير متاح	غير متاح	1059.624 ms	395.305 ms	203.169 ms	1269.918 ms
جو · arm64 ماك أو إس أصلي	43.553 ms	6979.823 ms	3499.277 ms	150.902 ms	247.051 ms	3755.431 ms
Swift / SwiftPM · arm64 macOS نيتف	1017.252 ms	427.372 ms	3695.557 ms	1259.829 ms	431.84 ms	4016.271 ms
JVM / javac · فئة JVM	غير متاح	غير متاح	805.822 ms	739.957 ms	76.252 ms	882.074 ms
AssemblyScript · WebAssembly	غير متاح	1074.197 ms	895.187 ms	1090.658 ms	64.658 ms	954.878 ms
.NET IL · .NET IL	2309.472 ms	غير متاح	4750.407 ms	2141.103 ms	79.248 ms	4851.792 ms
.NET Native AOT · arm64 macOS Native AOT	2236.962 ms	غير متاح	11995.489 ms	2707.907 ms	375.7 ms	12391.54 ms

كل آرتيفاكت صادر أنتج 42 في عملية جديدة. الأهداف وعقود وقت التشغيل مختلفة؛ N/A عمرها ما صفر. بوابة تحميل المضيف فشلت، فدي ملاحظات قابلة لإعادة الإنتاج مش ترتيب سرعة عبر لغات.

ست مجالات جنب بعض

كل لوحة متدرجة حسب أبطأ مسار ليها، عشان السؤال اللي بتطرحه اللوحة الإجابات بتقول مين الأسرع في المجال ده، مش إزاي المجالات بتتقارن مع بعض غيره. خط Kotoba هو الملون في كل لوحة — بما فيها لوحات حيث هو الأخير. قطعة وازم المستقلة بتشتغل على نود المضيف ويدفع بدء التشغيل ده على كل عينة باردة للعملية، بينما Rust، C وGo تشغيل كبرامج أصلية؛ لما الهدف ما عندوش نظام ملفات محيط أو خيط العقدة مش موجودة، المسار غايب مش صفر.

سلسلة

C / Clang 1.463 ms
راست 1.907 ms
اذهب 1.974 ms
JVM / جافا 27.819 ms
Kotoba / Wasm + مضيف JS مكتوب 30.539 ms20.9× الأسرع هنا
جافا سكريبت / نود.جي إس 31.628 ms

مجموعة

C / Clang 1.357 ms
اذهب 1.852 ms
راست 1.92 ms
Kotoba / Wasm + مضيف JS مكتوب 29.98 ms22.1× الأسرع هنا
JVM / جافا 31.42 ms
جافا سكريبت / نود.جي إس 31.818 ms

تخصيص

C / Clang 1.353 ms
راست 1.943 ms
اذهب 1.962 ms
JVM / جافا 26.447 ms
Kotoba / Wasm + مضيف JS مكتوب 29.567 ms21.9× الأسرع هنا
جافا سكريبت / نود.جي إس 31.055 ms

الإدخال/الإخراج

C / Clang 2.539 ms
راست 2.686 ms
اذهب 6.577 ms
JVM / جافا 38.685 ms
جافا سكريبت / نود.جي إس 94.124 ms
Kotoba / Wasm + مضيف JS مكتوب غير متاح — مش في عقد الهدف ده —

التزامن

C / Clang 2.916 ms
راست 3.328 ms
اذهب 3.377 ms
JVM / جافا 34.828 ms
جافا سكريبت / نود.جي إس 55.105 ms
Kotoba / Wasm + مضيف JS مكتوب غير متاح — مش في عقد الهدف ده —

تطبيق حقيقي

C / Clang 1.294 ms
اذهب 1.964 ms
راست 2.047 ms
JVM / جافا 26.411 ms
جافا سكريبت / نود.جي إس 29.534 ms
Kotoba / Wasm + مضيف JS مكتوب 29.652 ms22.9× الأسرع هنا

وسيطات باردة للعملية بالمللي ثانية؛ الأقصر أسرع. بوابة تحميل المضيف فشل في التشغيل ده، فالألواح دي ملاحظات مش تصنيف, والمسار الموزع تحت بيحكي قصة مختلفة تاني.

وسيطات مجال عبء العمل البارد للعملية؛ N/A يعني العقدة المستهدفة مش بتوفر الإمكانية دي
مسار وقت التشغيل	سلسلة	مجموعة	تخصيص	إدخال/إخراج ملفات	التزامن	تطبيق حقيقي
Kotoba / Wasm + مضيف JS مكتوب	30.539 ms	29.98 ms	29.567 ms	غير متاح	غير متاح	29.652 ms
راست	1.907 ms	1.92 ms	1.943 ms	2.686 ms	3.328 ms	2.047 ms
C / Clang	1.463 ms	1.357 ms	1.353 ms	2.539 ms	2.916 ms	1.294 ms
اذهب	1.974 ms	1.852 ms	1.962 ms	6.577 ms	3.377 ms	1.964 ms
JVM / جافا	27.819 ms	31.42 ms	26.447 ms	38.685 ms	34.828 ms	26.411 ms
جافا سكريبت / نود.جي إس	31.628 ms	31.818 ms	31.055 ms	94.124 ms	55.105 ms	29.534 ms

كل عينة رجعت نفس قيمة التحقق المرجعية بالضبط. Kotoba بيستخدم Wasm اللي صدره وABI المكتوب؛ الهدف المستقل ملوش نظام ملفات محيط أو عقدة خيط، فالعناصر دي متعتبرش موجودة. بوابة تحميل المضيف المسجلة فشلت، فالميديان ملاحظات، مش ترتيب.

متوسطات الدُفعات داخل العملية لكل عبء عمل أساسي؛ N/A بتحافظ على نفس حدود القدرة
مسار وقت التشغيل	سلسلة	مجموعة	تخصيص	إدخال/إخراج ملفات	التزامن	تطبيق حقيقي
Kotoba / Wasm + مضيف JS مكتوب	0.351 ms	0.039 ms	0.066 ms	غير متاح	غير متاح	0.048 ms
راست	0.028 ms	0.002 ms	0.003 ms	1.217 ms	1.456 ms	0.002 ms
C / Clang	0.02 ms	0.001 ms	0.003 ms	1.61 ms	1.558 ms	0.001 ms
اذهب	0.023 ms	0.002 ms	0.004 ms	5.071 ms	1.582 ms	0.002 ms
JVM / جافا	0.433 ms	0.051 ms	0.064 ms	17.175 ms	5.589 ms	0.043 ms
جافا سكريبت / نود.جي إس	0.336 ms	0.033 ms	0.067 ms	68.507 ms	7.771 ms	0.032 ms

كل دفعة معالجة أكبر بتتقسم على مضاعف عبء العمل المعلن. ده بيقلل وقت البداية بس مش بيشيل تكلفة إنشاء العملية، VM، أو Wasm بالكامل، فمش مصنفة كنتيجة حالة مستقرة دافئة تمامًا. سلاسل خريطة الزيادة/النقصان النقية لـ Kotoba مدمجة في reduce من غير متجهات وسيطة؛ ردود النداء خارج المجموعة المثبتة دي بتستمر في التهيئة المبكرة.

اللي كل معيار عام بيعمله—واللي ما بيثبتهش
سؤال	التنفيذات المقارنة	الاستنتاج الحالي
ترجمة + تنفيذ Wasm صغير	Kotoba، Rust، C، وسلاسل أدوات JVM	أربع وسائط باردة للعملية منشورة فوق؛ بس Kotoba/Rust/C بيشاركوا هدف Wasm، ومفيش ترتيب سرعة بناء عام مطلوب
دورة مطور مشروع صغير	Kotoba، Rust، C، Zig، TinyGo، Go، Swift، JVM، AssemblyScript، .NET IL، و.NET Native AOT	سبع عينات لكل مرحلة متاحة منشورة؛ اختلافات الهدف وفشل بوابة تحميل المضيف تمنع ترتيب عالمي
تنفيذ الحالة المستقرة الأصلي	أمو نيتف ضد راست، كلانج / C11، زيغ، جو c-shared، سويفت	كل خلايا المقارنة الدلالية 30 كاملة؛ ترتيب السرعة محتجز عشان بوابة الهوست الهادئ فشلت
سلاسل، مجموعات، تخصيص، إدخال/إخراج، تزامن، وتطبيق حقيقي	مسارات وقت تشغيل Kotoba, Rust, C, Go, JVM, و JavaScript	الشيكسمات الدقيقة وعينات باردة ومعممة منشورة؛ I/O وthreads المستقلة Kotoba مش متاحة، بينما تطبيق طلب القبول النقي متقاس؛ بوابة التحميل الفاشلة بتمنع الترتيب

إيه اللي بتغطيه مجموعة النيتف

كل تنفيذ بيرجع إجابة معروفة تم التحقق منها بشكل مستقل. المجموعة بتدور على كل زوج محركات بترتيب ABBA/BAAB وبتقيس بعد التحميل، التعيين، والبحث عن الرموز.

ستة أعباء عمل أصلية مطلوبة لوقت التشغيل
عبء العمل	اللي بيأكده	حالة الدليل
الحساب الضيق		النتيجة الدقيقة متحققة؛ التوقيت غير مؤهل
ضغط على السجلات واسع		النتيجة الدقيقة متحققة؛ التوقيت غير مؤهل
ضغط تسرب عميق		النتيجة الدقيقة متحققة؛ التوقيت غير مؤهل
حفظ الاستدعاء		النتيجة الدقيقة متحققة؛ التوقيت غير مؤهل
تدفق التحكم في الفرع والمكالمات		النتيجة الدقيقة متحققة؛ التوقيت غير مؤهل
حلقة استدعاء رجعية		النتيجة الدقيقة متحققة؛ التوقيت غير مؤهل

فين كل معيار أداء عايش

كل رقم فوق جاي من حزام عام وتقرير ملتزم، فـ التشغيل ممكن يتكرر وممكن تختلف مع الادعاء. المسارات في المستودع في الجدول ده متحقق منه مقابل شجرة العمل لما الصفحة دي اتولدت: أداة بتخلي الفشل في البناء بدل ما تبعت رابط ميت.

الأداة، الطريقة، والتقرير لكل معيار منشور
المعيار	المستودع	الحزام والطريقة	تقرير
بدء الكمبايلر	kotoba-lang/kotoba-lang	scripts/benchmark-public-compile.mjs · bench/public-compile-comparison/README.md · bench/public-compile-comparison/main.kotoba	JSON منشور · bench/public-compile-comparison/latest.json
دورة المطور	kotoba-lang/kotoba-lang	scripts/benchmark-public-end-to-end.mjs · bench/public-end-to-end-comparison/README.md	JSON منشور · bench/public-end-to-end-comparison/latest.json
وقت تشغيل أصلي	kotoba-lang/amu	runtime-multidomain-suite.mjs · multidomain-suite.json · performance.md · scripts/project-runtime-comparison.cljs	JSON منشور · bench/public-runtime-comparison/latest.json
ابني التوسع	kotoba-lang/buildbench	buildbench	JSON منشور · bench/public-build-scaling/latest.json
مجالات عبء العمل	kotoba-lang/kotoba-lang	scripts/benchmark-public-domains.mjs · bench/public-domain-comparison/README.md · bench/public-domain-comparison/probes	JSON منشور · bench/public-domain-comparison/latest.json

البوابة اللي كل ترتيب في الصفحة دي بيعدي منها هي kotoba-lang/perfgate، شغّل بسياسة افتراضية غير مخففة. حد اتسهل عشان يسمح لـ تشغيله هيكون مؤشر بيقيس حدوده الخاصة.

الخلاصة: القطع الأثرية، النتائج الدقيقة والعيّنات حقيقية في كل المعايير الخمسة. ثلاثة منهم — بدء المترجم، حلقة المطور ومجالات العبء — فشلوا بوابة المضيف الهادئ، فمش بيحتلوا ترتيب وبيتُنشروا كملاحظات. مجموعة وقت التشغيل المحلي نجحت في بوابتها وكسبت 19 من 30 أزواجها، أقل من مطالبة كل زوج اللي كانت محتاجاها. توسع البناء بيأهل ترتيب بدء التشغيل البارد ضد كل مقارن على المضيف وبيلاقي سقف صحة في نفس التشغيل. مفيش ترتيب سرعة عالمي مطلوب في أي مكان في الصفحة دي، ومفيش تشغيل من دول بيدي ترخيص لواحد.

افحص عينات التجميع افحص دليل وقت التشغيل افحص عينات حلقة المطور افحص عينات من مجال عبء العمل راجع طريقة وقت التشغيل أعد تشغيل إطار التجميع

مطالبات مع حدودها المرفقة

المطالبات دي متولدة من lang/safety-claims.edn. كل واحد محافظ على قاعدة الحوسبة الموثوقة والمخاطر المتبقية ظاهرة، عشان شعار الأمان من غير حدوده مجرد تسويق.

T1-الذاكرة

المكونات المقبولة مش بتتعامل مع ذاكرة وقت التشغيل/الأصلية وعمليات ذاكرة المكونات محدودة أو بتقف.

قاعدة الحوسبة الموثوقة

قارئ محدود · قبول الواجهة الأمامية · مدقق القطع الأثرية · وقت تشغيل Wasm/محلي

المخاطرة المتبقية

ثغرات وقت التشغيل لسه موجودة في TCB
اللودرز الأصلية بتحتاج حد فاصل عزل نظام تشغيل تاني

T2-التأثير

كل تأثير مكون انتقالي بيتعلن ويتقبل قبل الإرسال، بما في ذلك التأثيرات اللي بيستخدمها المزودين المكتوبين بـKotoba.

قاعدة الحوسبة الموثوقة

استنتاج التأثير · كتالوج القدرات · رسم بياني لاستدعاء الواجهة

المخاطرة المتبقية

لازم نقارن باستمرار بين kotoba وقواعد النحو/تأثير المترجم

تقييد T3

القدرة اللي مش ممنوحة غايبة أو مش مرتبطة ومش بتقدر توصل لمزود أو معالج أصلي.

قاعدة الحوسبة الموثوقة

تقاطع السياسة · استيراد المترجم للإصدار · ربط استيراد العطاء · حراسة الهوست

المخاطرة المتبقية

المزود والتنفيذات الأصلية لازم يتحققوا بشكل مستقل من نطاق الموارد
المنح الفعالة للإنتاج لازم تمنع نطاق البدل

T4-الحتمية

نفس المصدر، الهدف، السياسة والقفل المعترف بيهم بيطلعوا نفس النتيجة النقية والبايتات الأثرية اللي ممكن تتشاف.

قاعدة الحوسبة الموثوقة

قارئ معياري · تخفيض حتمي · سلسلة أدوات مثبتة

المخاطرة المتبقية

تأثيرات الهوست بتكون حتمية بس لما عقدة القدرات بيقول كده

حدود الموارد T5

المصدر، القبول، التنفيذ، الذاكرة والإخراج بيستخدموا حدود محددة صريحة.

قاعدة الحوسبة الموثوقة

حدود القبول · عداد الوقود · حصة وقت التشغيل · مهلة المشرف

المخاطرة المتبقية

مشرفي المنصة لسه ماعندهمش دليل عزل إنتاج متساوي

سلسلة التوريد T6

قبول الإصدار بيربط هوية القطعة، الموقّع الموثوق، الصلاحية وأدلة القابلية لإعادة الإنتاج.

قاعدة الحوسبة الموثوقة

محقق التوقيع · إعداد الموقّع الموثوق · الساعة · مجموعة الإلغاء

المخاطرة المتبقية

حفظ المفاتيح وتوزيع الإلغاء الخارجي بيظل TCB تشغيلي

T7-BACKEND-PARITY

مكون محمول مشترك ليه قبول متساوي، نتيجة وتتبع تأثير عبر الخلفيات المؤهلة.

قاعدة الحوسبة الموثوقة

بيان التوافق المشترك · محولات الخلفية · مشغل المقارنة

المخاطرة المتبقية

ميزات المترجم فقط مش محمولة ولازم تترفض من ملفات التعريف المحمولة

T8-HOST-RESOURCE-SCOPE

استيراد مكون بيوصل لمزوده أو المعالج الأصلي بس بنطاق مورد بعد التقاطع ملموس وبيطلع إيصال.

قاعدة الحوسبة الموثوقة

تقاطع القدرات · حارس المضيف · معالج المزود · حوض الإيصال

المخاطرة المتبقية

مسارات المزود، إعادة التوجيه، الروابط الرمزية وفحوصات المستأجر بتحتاج أطقم Q5

التأهيل سؤال 1، حتى 2026-07-18.

ربط الإصدار

ملف لغة وإصدار تنفيذ منفصلين لحد ما ظرف موقع يربطهم.

اللغة

الملف الشخصي 6

عقدة الحزمة 1

التنفيذ

v0.7.0

ربط الملف الشخصي: تم التحقق

الافتراضي العام

تم الإصدار

:docs/release-bound-profile

Kotoba v0.7.0 لـ darwin-arm64 هو التنفيذ العام المرتبط بملف اللغة 6 وعقدة الحزمة 1. الظرف الموقع بتاعه بيأكد شجرة المصدر، هضم الأرتيفاكت، ونتيجة التوافق مع اختبار 536 / تأكيد 8,580. المنصات التانية لسه مش مرتبطة.

اقرأ دليل الإصدار المتولد

04 ابدأ تستخدمه

ابدأ في ستين ثانية

التثبيت والفحص الذاتي

brew tap kotoba-lang/kotoba
brew trust kotoba-lang/kotoba
brew install kotoba
kotoba selfhost check --json

اقبل رد صحيح بقائمة مشاكل فاضية.

برنامج أول

(defn main []
  (+ 40 2))

البرنامج ده مش بيطلب استيرادات من الهوست؛ الموديول اللي اتصدر مفيهوش استيرادات.

وكيل الذكاء الاصطناعي: بداية سريعة تنفيذية افتح دليل البداية اقرا مرجع CLI

اتعلم، جرب، وبعدين اغوص أعمق

مسار متصل من أول برنامج لعقود اللغة، المكتبات، الأدلة، وأساليب النشر.

اتعلم

توثيق حسب النية

ابدأ بالتثبيت، اتعلم اللغة المقبولة، أو افحص الدلالات المعيارية وبيانات المطابقة.

خريطة التوثيق المفتوحة

اقرأ الكود

مصدر واحد، جواب واحد

المثال اللي تحت هو المصدر بالظبط اللي اتجمع في عرض المتصفح - مش إعادة تنفيذ جافاسكريبت.

اقرأ العينة

شغل

نفذ في الصفحة دي

حمل قطعة أثرية WebAssembly من نفس الأصل ومقيدة بالهضم واستدعي دالة Kotoba الرئيسية المصدرة.

اللعب المفتوح

بناء

المكتبات والعقود

تصفح أسماء النواة المحدودة، المكتبات الأساسية، قواعد الحزم، وحدود نضجهم الحالية.

تصفح المكتبات

برنامج صغير Kotoba، بيشتغل فعلي

أمو بيكمبايل المصدر النقي Kotoba ده لملف wasm32-browser. القطعة المسجلة مفيهاش استيرادات وبترجع 42.

مصدر كوتوبا

;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)

(defn double [n]
  (+ n n))

(defn main []
  (double 21))

تسليط الضوء على السلطة: kotoba-lang/grammar → kotoba.grammar.highlight/tokenize → HTML وقت البناء. عقد نطاق المحرر: source.kotoba. اعتماد مميز المتصفح: مفيش. افحص التبعيات

اجمع محليًا: kotoba compile double-21.kotoba --target wasm32-browser --output double-21.wasm

شغل · WEBASSEMBLY

شغل الأرتيفاكت المتحقق منه

المتصفح بيجيب 344 بايت، بيتأكد من SHA-256، بيرفض كل الاستيراد، بينشئ الموديول، وبينادي main().

النتيجة المتوقعة: 42

جاهز. مفيش كود اشتغل لحد دلوقتي.

ده بينفذ مثال مُسبق الترجمة، ثابت. تعديل مصدر عشوائي في المتصفح مش سطح مترجم متوفر لسه.

عروض تفاعلية: solar-helix (رندر WebGPU مدفوع بالضيف) · ناجون كامي (لعبة .kotoba) · gpu-clear (دخان WebGPU). مستضاف على سطح wasm-webcomponent GitHub Pages؛ التوفر حسب دعم WebGPU/WebAssembly في المتصفح.

المكتبات، من غير ما نخبي حدود الباكيج

مكتبات Kotoba عبارة عن جرافات موجهة بالمحتوى. الأسماء ومستودعات GitHub بتساعد الناس تكتشفهم؛ التعريف وCIDs الإصدار الموقع بيقولوا بالظبط هما إيه.

النواة المحدودة

مرجع رمز مولد

دور على الأسماء المقبولة في عقد مكتبة المعيار المحدود الحالي.

تصفح الرموز الأساسية

أساسي

البيانات، التأثيرات، الإدخال/الإخراج، الأدوات

ابدأ بـ coll، spec، json، text، wit، async، time، fs، http، test، fmt، lint، وعقود LSP.

تصفح خريطة المكتبة

عقد الحزمة

التبعيات المعنونة بالمحتوى

افحص CIDs التبعية الدقيقة، طبقات الهوية، أصل GitHub، وحدود النشر الحالية.

افتح كتالوج المكتبات ونشر التدفق

تصفح المنظمة كلها بالتاج

فيه 2,215 المستودعات العامة في kotoba-lang المنظمة. كل وسم تحت هو موضوع GitHub نفس الاسم، عشان كده فلتر الموقع ومواضيع المنظمة هما نفس المفردات بدل ما يكونوا اتنين بيطفوا. اختار واحد تفتح الكتالوج اللي اتصفى.

أصل خارجي · 1,275 القدرة · 61 تطبيق · 55 ممثل · 7 حلقة · 11 kami — عائلة المحرك · 103 كوتوبا — عائلة اللغة · 51 kotobase — عائلة التخزين · 35 نظام التشغيل والنواة · 41 السواقين والأجهزة · 18 المحاكاة والنمذجة · 31 المترجمات و IR · 45 وقت التشغيل و WebAssembly · 227 التشفير · 45 الهوية والسلطة · 127 الشبكات والبروتوكولات · 58 التخزين والصيغ · 73 قواعد البيانات والاستعلام · 62 توجيه المحتوى · 49 البلوكشين والمحافظ · 17 جرافيكس، 3D و GPU · 118 صوت وفيديو · 27 أنظمة واجهة المستخدم والتصميم · 40 الذكاء الاصطناعي، LLM والوكلاء · 67 EDA، CAD والتصنيع · 29 الروبوتات والمركبات · 29 المالية والمدفوعات · 36 القانون والامتثال · 31 العلوم والصحة · 32 الجغرافيا المكانية · 11 أدوات المطور · 26 مستندات، نص وترجمة · 25

تصفح وفرز كل مستودعات 2,215

المستودع مش حزمة منشورة. بالضبط 1 مكتبة منشورة عبر سجل موجه بالمحتوى؛ الباقي في القائمة دي اكتشاف. تسميات نضج المستودع مش بتعني استقرار API 1.0، أو اعتماد واسع، أو SLOs إنتاجية، ومستودعات 255 مش بتطابق أي قاعدة مجال وبتظهر بدون تسمية بدل ما تاخد أقرب تسمية.

ابحث في المرجع المتحقق

ابحث في الأوامر، أسماء المكتبة القياسية، التشخيصات، وحالة الإصدار. الفهرس متولد من سلطات الآلة وبيفضل في الصفحة دي.

ابحث في توثيق Kotoba

جرب: ترجمة، خيار-بعض، مستندات/رابط-مفقود

إصدار

ربط الإصدار

مرجع مفتوح

cli

`kotoba id`

اعمل خطة تسجيل مبدأ Kotoba محايدة للسلسلة يتحكم فيها مفتاح مرور. الحسابات الذكية روابط CAIP-10 صريحة؛ مفيش سلسلة أو مزود هو جذر الهوية.

مرجع مفتوح

cli

`kotoba run`

كومبايل وشغل نقطة دخول Kotoba.

مرجع مفتوح

cli

`kotoba compile`

ترجم مصدر عائلة Kotoba لقطعة هدف. الويب .kotoba بيستخدم KIR المتحقق وواجهة kotoba-script المحدودة؛ .cljs بتفضل ClojureScript.

مرجع مفتوح

cli

`kotoba check`

تحقق من مصدر Kotoba، العقود، أو بيانات الحزمة من غير تشغيلها. محول المترجم: قبول الواجهة الأمامية + --profile pure-product (T9.2).

مرجع مفتوح

cli

`kotoba graph`

استعلم وتعامل مع مخزن رسم اللغة (kgraph) بعمليات على شكل Datomic.

مرجع مفتوح

cli

`kotoba git`

اعرض عمليات مستودع Kotoba كبيانات، مش سلوك خاص بالشل.

مرجع مفتوح

cli

`kotoba rad`

شغل سير عمل تطوير التطبيقات السريع على حزم Kotoba.

مرجع مفتوح

cli

`kotoba build`

ابني مشروع Kotoba لقطعة الهدف المتحققة بتاعته. ده أمر دورة حياة المشروع المباشر؛ rad build لسه تهجئة توافقية.

مرجع مفتوح

cli

`kotoba test`

افحص وشغل الاختبارات المقبولة لمشروع Kotoba. ده أمر دورة حياة المشروع المباشر؛ rad test لسه طريقة كتابة متوافقة.

مرجع مفتوح

cli

`kotoba deploy`

خطط وطبق حالة الحزمة المطلوبة على إيصال محلي أو هدف أسطول موراكومو.

مرجع مفتوح

cli

`kotoba library`

افحص وانشر مساحة أسماء مكتبة موجهة بالمحتوى من خلال قاعدة كود Kotoba الحالية ومسار نشر IPNS.

مرجع مفتوح

cli

`kotoba hinshitsu`

شغل فحوص جودة البرمجيات (الأدلة، البوابات، التغطية، الانحدار البصري) كبيانات.

مرجع مفتوح

stdlib