;; 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 المشكلة

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

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

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

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

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

الإعداد الافتراضي لكوتوبا

منح ضيق، ثم ترجمة

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

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 إلى SIMD؛ غطى ذيل سكالار الصفوف المتبقية. في ثلاث عمليات مؤهلة لنفس عبء العمل 262,147-عنصر والقطعة، أكملت تلك النواة SIMD أسرع 3.66-3.72x من Wasm السكالاري. هذه نتيجة نواة ومضيف، وليست ادعاء وقت تشغيل عام. يحتفظ نفس مسار العمود المحدود أيضًا بـ ArrayBuffer واحد عبر عروض CPU الخاصة به، يعبر حد ملكية GPU بتحميل WebGPU واحد مقاس، ينفذ على Metal، ويعيد سكالار بأربعة بايت. الأعمدة القابلة للإلغاء، أنواع بيانات Arrow الأخرى، إزالة تحميل الذاكرة الموحدة، النوى الأوسع، والتأهيل الشامل لـ CPU/GPU لا تزال قيد الانتظار.

افتراضي

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

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

الاتجاه

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

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

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

ما لا يمكن أن يطلبه 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 يتجاوز قبول القدرات. لا يمكن تخفيفه عبر منح التفويض: التفاعل لا يصل أبداً إلى guard-component-ability-call، لذا لا يمكن لمنح التقاطع، الإيصالات و الإلغاء رؤية المكالمة. فارغ على 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`	يجب أن تظل جدولة المكونات والموارد تحت سيطرة Tender ومحدودة. لا تقيس معرفات التعريف CIDs ولا المنح المفوضة وحدة المعالجة المركزية أو الجدولة؛ الوقود لكل حالة والخيوط المحيطة ستتجاوزها. القدرة على spawn منظم مع وقود فرعي الميزانية قابلة للتصميم لكنها غير محسومة؛ لا يوجد مسار للتوسيع بعد.
`defmacro`	يجب أن يكون سطح المكون الآمن قابلًا للفحص الثابت قبل التنفيذ. غير قابل للاسترخاء: التوسيع ينفذ الكود داخل المترجم (وقت البناء)، وتجزيئات تعريف CID بعد إزالة السكر لـ KIR المطبقة، لذا فإن الماكروز غير المحدودة تعمل مبكرًا وتجعل هوية المصدر غير قابلة للمراجعة. defdesugar (إزالة السكر النقية المحدودة) تبقى البديل المقبول.
`catch, throw, try`	الرمي/المحاولة/القبض المحيطي هو تدفق تحكم غير محلي غير متتبع: يخرج من النطاقات التي لا يذكر صف التأثير المستنتج أبدًا ويتخطى التزامات فك الالتفاف (سحب جانب مساحة البيانات لا يحتوي على فك التفاف مفحوص بعد). الحظر على الشكل المحيطي. منذ 2026-09-02 تسمح القدرة على الإجهاض المطبقة برؤوس عن طريق التفصيل: يظهر التأثير في الصف المستنتج كـ :abort وتخفض الدالة إلى [:result T E]، لذا الشكل المحيطي لا يوجد بعد التفصيل. شريحة 2 (2026-09-02) جعلت :abort ينتشر عبر الاستدعاءات وA-طبيعت عامل إجهاض أو اختبار إلى ربط let؛ لا يوسع أي منهما الثابتة، لأن الإجهاض المنتشر على صف المتصل و A-الطبيعي هو نفس التفصيل في موضع مختلف. حيث يهم شرط فك الالتفاف، يبقى الإجهاض مرفوضًا -- للنداء الآن وكذلك للرمي.

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

03 الدليل

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

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

أنوية 33

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

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

ادعاءات 8

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

تسميات السلامة تسمي قاعدة الحوسبة الموثوقة الخاصة بها، والأدلة السلبية، والمخاطر المتبقية بدلاً من الانهيار إلى شعار 'غير قابل للاختراق'.

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

لا منحة، لا تأثير مضيف

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

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

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

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

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

سلاسل أدوات 4، 21 تشغيل لكل منها

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

21 عينات باردة لعملية التدوير · الحمل1 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.

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

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

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

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

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

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

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

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

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

وقت جدار البناء البارد للعملية حسب حجم المصدر؛ الوسيطات، مضيف واحد، مسارات متداخلة
سلسلة الأدوات / الهدف	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
راست / rustc · مضيف أصلي	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	راست / rustc · مضيف أصلي	نعم، مؤهل	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	راست / rustc · مضيف أصلي	نعم، مؤهل	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	راست / rustc · مضيف أصلي	لا	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 ليس لديهم حد مكافئ للرفع.
يرفض Amu الوحدة تمامًا بمجرد أن تحتوي على أكثر من 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، لذا يتم توقيت نفس قطعة أمو مرة واحدة لكل عبء عمل ثم تقارن مع كل ذراع بالتتابع. على عكس المعايير الأربعة الأخرى في هذه الصفحة، اجتازت بوابة المضيف الهادئ (تحميل المضيف المؤهل)، لذا هذه أرقام لهذا المضيف وليست ملاحظات فقط. لا يزال الادعاء الأسرع المحدود يحتاج كل 30 أزواج، وهذا ما يهدف إليه الجدول أدناه.

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

الادعاء المحدود هو كل أو لا شيء، لذا فإن زوجًا واحدًا غير مؤهل يجعله خاطئًا. نشر ذلك الحكم فقط سيخفي الأزواج المتنازع عليها، لذا الكل الشبكة هنا. الخلية هي متوسط التحسن في Amu الأصلي مقارنة بذلك المقارن على ذلك العبء؛ الإيجابي يعني أن 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%

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

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

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

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

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

ستة مجالات، جنبًا إلى جنب

كل لوحة تُقاس وفق أبطأ مسار خاص بها، لأن السؤال الذي تطرحه اللوحة الإجابات هي من هو الأسرع في ذلك المجال، وليس كيف تقارن المجالات بعضها البعض آخر. مسار 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× الأسرع هنا
جافا سكريبت / Node.js 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
جافا سكريبت / Node.js 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× الأسرع هنا
جافا سكريبت / Node.js 31.055 ms

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

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

التزامن

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

تطبيق حقيقي

C / Clang 1.294 ms
اذهب 1.964 ms
راست 2.047 ms
JVM / جافا 26.411 ms
جافا سكريبت / Node.js 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
جافا سكريبت / Node.js	31.628 ms	31.818 ms	31.055 ms	94.124 ms	55.105 ms	29.534 ms

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

الوسيطات المجمعة داخل العملية لكل عبء عمل أساسي؛ غير متاح يحافظ على نفس حدود القدرة
مسار وقت التشغيل	سلسلة	مجموعة	تخصيص	إدخال/إخراج الملفات	التزامن	تطبيق حقيقي
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
جافا سكريبت / Node.js	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	نُشرت مجموعات التحقق الدقيقة وعينات باردة العملية بالإضافة إلى عينات مخففة؛ Kotoba I/O والخيوط المستقلة غير متوفرة، بينما يُقاس تطبيق قبول الطلب النقي؛ بوابة التحميل الفاشلة تحجب الترتيب

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

كل تنفيذ يعيد إجابة معروفة تم التحقق منها بشكل مستقل. تدور المجموعة عبر كل زوج من المحركات بترتيب 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

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

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

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

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

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

التأهيل سؤال 1، اعتبارًا من 2026-07-18.

ربط الإصدار

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

اللغة

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

عقد الحزمة 1

التنفيذ

v0.7.0

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

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

تم الإصدار

:docs/release-bound-profile

Kotoba الإصدار 0.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

تشغيل · ويب أسيمبلي

شغّل الأثر الذي تم التحقق منه

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

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

جاهز. لم يتم تشغيل أي كود بعد.

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

عروض تفاعلية: solar-helix (عرض WebGPU مدفوع من الضيف) · kami-survivors (لعبة .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، أو اعتماد واسع، أو اتفاقيات مستوى الخدمة للإنتاج، و 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