;; 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 پتے نہیں ہیں۔

محفوظ + تیز · AI-تخلیق شدہ سافٹ ویئر کے لیے بنایا گیا

محفوظ کوڈ۔ مشین کی رفتار کے لیے بنایا گیا۔

Kotoba ایک Lisp نما زبان ہے جو محفوظ، انتہائی تیز AI-جنریٹڈ سافٹ ویئر کے لیے ڈیزائن کی گئی ہے۔ قابل معائنہ پروگرام، واضح صلاحیتیں، اور مواد پر مبنی آرٹیفیکٹس کمپائلر چیکس کو کنٹرول شدہ ایگزیکیوشن سے جوڑتے ہیں۔

تیز ترین سرد بلڈ · 4 میں 4 آرڈرز کی تصدیق شدہ

اس میزبان پر کسی بھی ٹول چین کی سب سے تیز سرد تعمیر۔

11.75ملی سیکنڈ

Kotoba ماخذ سے WebAssembly آرٹیفیکٹ، پراسیس-ٹھنڈا — پھر چلایا گیا، اور گھڑی رکنے کے بعد جواب چیک کیا گیا۔

Kotobaریلیز شدہ CLI · WebAssembly 11.75 msیہاں سب سے تیز
C / Clangمقامی میزبان 29.08 ms2.5× Kotoba
Rust / rustcWebAssembly 38.99 ms3.3× Kotoba
Rust / rustcمقامی میزبان 56.02 ms4.8× Kotoba
جے وی ایم / جاواکJVM کلاس 171.53 ms14.6× Kotoba

پروسس-کولڈ بلڈ وال ٹائم ملی سیکنڈز میں؛ کم وقت تیز ہے۔ K=1 ماخذ، ایک میزبان پر لائنیں مداخلت شدہ، 7 نمونے ہر ایک۔

تمام 4 ترتیبیں پاس ہوئیں پرفگیٹ اپنی غیر نرم شدہ ڈیفالٹ پالیسی پر — کم از کم 5% اور الگ تھلگ ہتھیاروں کی اپنی حد — لہٰذا آرڈر برقرار رہتا ہے اگرچہ میزبان مصروف تھا۔ اس میزبان، اس ماخذ کے سائز اور اس رن کے لیے محدود: بلڈ ٹائم نہیں ہے عمل درآمد کی رفتار، جیسے جیسے ماخذ بڑھتا ہے فائدہ کم ہوتا جاتا ہے، اور ریلیز شدہ بائنری کی سخت درستگی کی حد ہوتی ہے۔ تمام پانچ بینچ مارکس، بشمول وہ جو Kotoba کے خلاف جاتے ہیں، نیچے ہیں۔ ماپا گیا 2026-08-31 چالو ایپل M4.

پانچ بینچ مارکس دیکھیں نمونوں کا معائنہ کریں

جب AI مسلسل کوڈ تیار، تعمیر، ٹیسٹ، اور دوبارہ تیار کرتا ہے، تو تعمیر کی تاخیر انفراسٹرکچر کی تھروپٹ بن جاتی ہے۔

انسٹال کریں اور چلائیں دیکھیں یہ کیسے کام کرتا ہے AI ایجنٹ سیٹ اپ

ڈیفالٹ کے طور پر انکار

کوئی محیط اختیار نہیں

کوئی ضمنی فائل سسٹم، نیٹ ورک، پراسیس، گھڑی، ماڈل، یا راز نہیں۔

چیک شدہ KIR

اتھارٹی کمپائلیشن کے بعد بھی برقرار رہتی ہے

اقسام، اثرات، وسائل، اور ہدف کی حمایت اخراج سے پہلے قبول کی جاتی ہے۔

میزبان نافذ کردہ

صرف اجازت محدود ہے

میزبان اور فراہم کنندہ ٹھوس دائرہ اختیار نافذ کرتے ہیں اور فیصلہ ریکارڈ کرتے ہیں۔

POST-QUANTUM FLOOR

صرف کلاسیکی ڈاؤن گریڈ نہیں

نئی انکرپشن اور اشاعت کی حدود ML-KEM یا ML-DSA ثبوت کی ضرورت رکھتی ہیں اور چھنی ہوئی PQ مواد کو مسترد کرتی ہیں۔

01 مسئلہ

AI انسانوں کے مقابلے میں تیزی سے لکھ سکتا ہے

تخلیق شدہ کوڈ مفید ہو سکتا ہے اور پھر بھی ایک فائل، نیٹ ورک، راز، عمل، ماڈل، یا ادائیگی کی سطح تک پہنچ سکتا ہے جسے درخواست نے کبھی ظاہر کرنے کا ارادہ نہیں کیا۔

پرانا ڈیفالٹ

وسیع تعمیر کریں، بعد میں محدود کریں

ایک عام مقصد پروگرام ماحولیات کے معنی سے شروع ہوتا ہے۔ سینڈ باکسز، IAM، کنٹینرز، پالیسی، اور دستخط اس کے گرد شامل کیے جاتے ہیں تاکہ مطلوبہ حد بحال کی جا سکے۔

THE KOTOBA DEFAULT

محدود اجازت دیں، پھر کمپائل کریں

اثرات اور صلاحیتیں تسلیم شدہ کمپیوٹیشن کا حصہ ہیں۔ اگر ہدف گرانٹ کو ثابت اور باندھ نہیں سکتا، تو یہ آرٹیفیکٹ کو جاری یا چلانے نہیں دیتا۔

Kotoba رن ٹائم اور OS علیحدگی کی تکمیل کرتا ہے؛ یہ ان تہوں کو غیر ضروری نہیں بناتا۔

جہاں Lisp کا ذہن اور GP 2 کا گراف ری رائٹنگ Rust کی نظم و ضبط سے ملتے ہیں

Kotoba ایک چھوٹی، ڈیٹا پر مبنی، Clojure نما زبان ہے۔ اس کا ڈیزائن Lisp کے کوڈ-بطور-ڈیٹا روایت پر مبنی ہے اور GP 2 کا قاعدہ پر مبنی گراف ری رائٹنگ، اتھارٹی، اثرات، وسائل، پیکجز، اور آرٹیفیکٹ شناخت کے گرد جامد نظم و ضبط کے ساتھ۔

بصیرت بخش

کوڈ بطور قابل پڑھائی ڈیٹا

ناقابل تبدیلی اقدار، عام افعال، واضح ڈیٹا، اور ایک قابل ترکیب نحو انسانوں اور ماڈلز کے لیے پیدا کرنے اور معائنہ کرنے میں آسان ہیں۔

اعلانیہ

کہیں کیا ہو سکتا ہے

اثرات، صلاحیتیں، وسائل، انحصارات، اور اہداف داخلے کے قابل دید ان پٹ ہیں — تعیناتی کے بعد دریافت ہونے والے حیرت انگیز نہیں۔

سیکیورٹی-پہلے

کم زبان، سخت حد

داخل شدہ جزو کی سطح پر کوئی ماحول انٹروپ، رن ٹائم کوڈ لوڈنگ، غیر محدود تبدیلی، مہمان کی تعریف کردہ میکروز، یا غیر محدود ہم وقت سازی نہیں۔

محفوظ + تیز · AI-تخلیق شدہ سافٹ ویئر کے لیے بنایا گیا۔
یہ ایک پابندی کی ہدایت ہے، 'ناقابل ہیک' دعویٰ نہیں۔ کمپائلر، ویریفائر، رن ٹائم، فراہم کنندگان، پالیسی روٹس، کلید کی حفاظت، اور OS علیحدگی قابل اعتماد کمپیوٹنگ بیس میں رہتے ہیں۔

02 حد کیسے کام کرتی ہے

پورے حساب کتاب میں سیکیورٹی

حد نیت سے عمل تک لے جائی جاتی ہے۔ ہر مرحلہ اتھارٹی کو تنگ یا تصدیق کرتا ہے؛ بعد کا کوئی مرحلہ گرانٹ ایجاد کرنے کی اجازت نہیں دیتا۔

1 · ماخذ

اعلانی ارادہ

ایک چھوٹا، Clojure نما سطح پروگراموں کو پڑھنے کے قابل رکھتا ہے اور ماحول سے فرار کے راستے خارج کرتا ہے۔

2 · چیک کریں

چیک شدہ KIR

اقسام اور عبوری اثرات ایک ہدف سے آزاد، قابل معائنہ نمائندگی بن جاتے ہیں۔

3 · ADMIT

اختیار کا تقاطع

درخواست شدہ، تفویض شدہ، مقامی پالیسی، وسائل، اور ہدف کی اجازتیں صرف تنگ کر سکتی ہیں۔

4 · شناخت کریں

آرٹیفیکٹ کو ایڈریس کریں

کوڈ، انحصارات، پالیسی، کمپائلر معاہدہ، اور ہدف ABI حساب کتاب کی شناخت کو باندھتے ہیں۔

5 · نفاذ

میزبان پر بائنڈ کریں

رن ٹائم اور پرووائیڈر صرف منظور شدہ صلاحیتوں کو باندھتے ہیں، محدود بجٹ نافذ کرتے ہیں، اور رسیدیں جاری کرتے ہیں۔

مواد کی شناخت اختیار نہیں ہے۔
CID تصدیق، دستخط، منسوخی، میزبان پالیسی، وسائل کی جانچ، اور OS علیحدگی الگ حدود رہتی ہیں۔

لِسپ ایوال، بغیر ماحول میزبان ایوال کے

Kotoba چیک شدہ کوڈ کو مواد کی بنیاد پر ڈیٹا کے طور پر جانچتا ہے۔ معروف (eval request) سطح ٹائپ شدہ پر نیچے آتی ہے :code/eval صلاحیت؛ یہ کبھی ماخذ متن، قاری فارم، نام کی جگہ، یا میزبان آبجیکٹ وصول نہیں کرتا۔

تعریف CID

کون سا کوڈ؟

CID ایک ہیش-ویریفائیڈ چیکڈ-KIR تعریف اور اس کی CID-صرف انحصاری بند کو منتخب کرتا ہے۔

داخلہ CID

کیا یہ یہاں چل سکتا ہے؟

بالکل درست انٹرفیس، مکمل اثر کی قطار، موجودہ اجازت، ایندھن، اور کم ہوتی ہوئی تشخیص کی گہرائی عمل درآمد سے پہلے محدود ہوتی ہے۔

ویلیو CID

کیا واپس آیا؟

ٹائپ شدہ نتیجہ مواد پر مبنی ثبوت کے طور پر محفوظ کیا جاتا ہے۔ اس کا ہیش اثر کو بعد میں مجاز نہیں بنا سکتا۔

شناخت، اختیار، اور نتیجہ کے ثبوت تین مختلف حقائق ہیں۔

مشین معاہدہ: lang/typed-eval.edn. کمپائلر وائر صلاحیت: 30. محدود اطلاق عام بند ماڈیول بند اطلاق رہتا ہے۔

AI-فرسٹ کمپیوٹنگ اسٹیک کے لیے ڈیفالٹس

یہ انجینئرنگ دعوے ہیں جن کے ساتھ ان کی اہلیت منسلک ہے۔ ڈیفالٹ، محدود-تیار، جزوی، اور سمت مختلف حالتیں ہیں؛ کوئی بھی خاموشی سے عالمی نہیں بنتا۔

سمت ماپی گئی

تیزی سے بنائیں۔ تیزی سے چلائیں۔ حد کو برقرار رکھیں۔

Kotoba کمپائلر-اسٹارٹ اپ، ڈویلپر-لوپ، مقامی رن ٹائم، اور ورک لوڈ-ڈومین پیمائشیں صحیح نتائج کے چیکس کے ساتھ شائع کرتا ہے۔ موجودہ رفتار کی درجہ بندی تب تک روکی جاتی ہے جب تک ان کے خاموش میزبان گیٹس پاس نہ ہوں؛ سیکیورٹی کی قبولیت کبھی بھی ٹائمنگ جیتنے کے لیے ہٹائی نہیں جاتی۔

تیار محدود

زبان کی حد کے بغیر اسٹوریج۔

Kotobase مواد کی شناخت، رینج ریڈز، ناقابل تبدیلی تاریخ، اور فراہم کنندہ غیر جانبدار اسٹوریج استعمال کرتا ہے۔ جسمانی صلاحیت، کرایہ داری، برقرار رکھنے، لاگت، نقل، اور عمل درآمد کے بجٹ واضح رہتے ہیں؛ یہ لامحدود ڈسک کا دعویٰ نہیں ہے۔

ڈیفالٹ

پوسٹ-کوانٹم کرپٹوگرافی بطور ڈیفالٹ۔

ہر نیا Kotoba کرپٹوگرافک حد کو ML-KEM یا ML-DSA ثبوت کا نام دینا چاہیے اور کلاسیکی-صرف ڈاؤن گریڈ کو مسترد کرنا چاہیے۔ موجودہ Passkey، ٹرانسپورٹ، نفاذ، اور کلید کی حفاظت الگ الگ مصدقہ حدود رہتی ہیں۔

ڈیفالٹ

تصدیق موجود ہے۔ اختیار ڈیفالٹ کے طور پر مسترد ہے۔

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 کرنل نے اسکیلر Wasm سے 3.66-3.72x تیزی سے مکمل کیا۔ یہ کرنل اور میزبان کا نتیجہ ہے، عمومی رن ٹائم دعویٰ نہیں۔ وہی محدود کالم راستہ ایک ArrayBuffer کو اس کے CPU ویوز کے ذریعے برقرار رکھتا ہے، GPU ملکیت کی حد کو ایک ماپا گیا WebGPU اپلوڈ کے ساتھ عبور کرتا ہے، Metal پر چلتا ہے، اور ایک چار بائٹ اسکیلر واپس کرتا ہے۔ نل ایبل کالمز، دیگر Arrow ڈیٹا ٹائپس، متحدہ میموری اپلوڈ ہٹانا، وسیع کرنلز، اور یونیورسل CPU/GPU مجازیت زیر التواء ہیں۔

ڈیفالٹ

AI پہلے۔ ایجنٹ-محفوظ بذات خود۔

Kotoba ایسے پروگراموں کے لیے ڈیزائن کیا گیا ہے جو AI ایجنٹس اور بوٹس کے ذریعے لکھے یا چلائے جاتے ہیں۔ ماڈل جتنا مضبوط ہوگا، واضح اثرات، محدود وسائل، صلاحیت کی قید، رسیدیں، اور میزبان نفاذ اتنا ہی اہم ہو جائے گا۔

سمت

AGI کے لیے تیار حدود، AGI کا دعویٰ نہیں۔

یہ فن تعمیر اس بات کو یقینی بنانے کے لیے بنایا گیا ہے کہ ماڈلز کے زیادہ قابل ہونے کے ساتھ اختیار واضح رہے۔ Kotoba یہ دعویٰ نہیں کرتا کہ یہاں AGI موجود ہے، کہ تیار کردہ پروگرام قابل اعتماد ہیں، یا کہ قید کمپائلر، رن ٹائم، فراہم کنندہ، کلید کی حفاظت، اور OS کے قابل اعتماد کمپیوٹنگ بیس کو ختم کر دیتی ہے۔

مشین اتھارٹی: lang/product-defaults.edn. لامحدود فزیکل اسٹوریج، ہر جگہ صفر نقول، عالمی رفتار کی درجہ بندی، AGI حاصل، اور ناقابل ہیک رہنا ممنوع مطلق دعوے ہیں۔

وہ کیا Kotoba نہیں پوچھ سکتا جو AI نے لکھا ہو

جان بوجھ کر غیر موجود زبان کی سطح
حد	کیوں یہ غائب ہے
`compile, load, load-file, load-string, ns-resolve, read-string, require, resolve, use`	اجزاء محیط پراسیس کی حالت سے کوڈ یا اختیار تیار نہیں کر سکتے۔ ماخذ سٹرنگز، ریڈر فارم، لوڈ شدہ نیم اسپیسز، اور مرتب شدہ میزبان اشیاء کبھی اثر-معلوم نہیں کی گئیں اور تعریف CID کا حصہ نہیں ہیں۔ داخل شدہ `(eval request)` آپریشن اس لیے الگ ہے: یہ پہلے سے چیک شدہ KIR کو CID کے ذریعے :code/eval سے منتخب کرتا ہے اور میزبان کے ذریعہ دوبارہ داخل کیا جاتا ہے۔
`., .., import, new`	من مانی JVM/JS آبجیکٹ اور طریقہ تک رسائی قابلیت کی منظوری کو بائی پاس کرتی ہے۔ گرانٹ ڈسپیچ سے غیر نرم: انٹروپ کبھی نہیں پہنچتا گارڈ-کمپونینٹ-قابلیت-کال تک، لہٰذا گرانٹ انٹرسیکشن، رسیدیں اور منسوخی کال کو نہیں دیکھ سکتے۔ wasm32 ABI پر خالی (ایسا راستہ نہیں موجود)؛ پورٹیبل/معتبر پر بوجھ برداشت کرنے والا، جہاں سب سیٹ گیٹ واحد حد ہے (وہاں کوئی الگ 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 کو اس لیے elaboration کے ذریعے منظور کیا جاتا ہے، اور وہ لمحہ مسترد کر دیے جاتے ہیں جب سیل بچ نکلے۔ ref / dosync / volatile! / binding / var / alter-var-root / set! کے پاس کوئی صلاحیت ماڈل نہیں ہے اور وہ مسترد کر دیے جاتے ہیں۔
`agent, future, locking, pmap, send, send-off`	جزو کی شیڈولنگ اور وسائل نرم کنٹرول اور محدود رہنے چاہئیں۔ نہ تو تعریف CIDs اور نہ ہی تفویض شدہ گرانٹس CPU یا شیڈولنگ کو ناپتے ہیں؛ ایندھن فی مثال ہے اور ماحول کے دھاگے اسے چھوڑ دیں گے۔ ایک ساختہ-اسپان صلاحیت ذیلی بجٹ والے ایندھن کے ساتھ ڈیزائن کی جا سکتی ہے لیکن فیصلہ نہیں ہوئی؛ ابھی تک کوئی توسیعی راستہ نہیں۔
`defmacro`	محفوظ جزو کی سطح کو عمل درآمد سے پہلے جامد طور پر معائنہ کیا جانا چاہیے۔ ناقابل نرم: توسیع کمپائلر کے اندر کوڈ چلاتی ہے (بلڈ ٹائم)، اور تعریف CID ہیشز پوسٹ-ڈیسوگر ٹائپڈ KIR ہوتے ہیں، لہٰذا غیر محدود میکروز جلدی چلتے ہیں اور ماخذ شناخت کو ناقابل جائزہ بناتے ہیں۔ defdesugar (محدود خالص ڈیسوگر) تسلیم شدہ متبادل رہتا ہے۔
`catch, throw, try`	ماحول میں throw/try/catch غیر مقامی کنٹرول فلو ہے جو ٹریک نہیں ہوتا: یہ اسکوپس سے باہر نکلتا ہے جو اندازہ شدہ اثر کی قطار میں کبھی ذکر نہیں ہوتے اور unwind کی ذمہ داریوں کو چھوڑ دیتا ہے (dataspace facet کی واپسی میں ابھی کوئی چیک شدہ unwind نہیں ہے)۔ پابندی ماحول کی شکل پر ہے۔ چونکہ 2026-09-02 سے ٹائپ شدہ abort صلاحیت elaboration کے ذریعے سرخیاں قبول کرتی ہے: اثر اندازہ شدہ قطار میں :abort کے طور پر ظاہر ہوتا ہے اور فنکشن [:result T E] میں نیچے آتا ہے، اس لیے ماحول کی شکل elaboration کے بعد کبھی موجود نہیں رہتی۔ Slice 2 (2026-09-02) نے :abort کو کالز کے ذریعے پھیلایا اور abort کرنے والے آپریٹر یا ٹیسٹ کو let binding میں A-normalized کیا؛ دونوں invariant کو وسیع نہیں کرتے، کیونکہ پھیلایا گیا abort کالر کی قطار پر ہوتا ہے اور A-normalized وہی elaboration ہے مختلف مقام پر۔ جہاں unwind کی شرط اہم ہوتی، abort مسترد رہتا ہے — اب CALL کے لیے بھی اور throw کے لیے بھی۔

یہ lang/surface-status.edn میں نامزد حفاظتی پابندیاں ہیں، روڈ میپ سے غائب خصوصیات نہیں۔

03 ثبوت

ثبوت، حد کے ساتھ منسلک

Kotoba نفاذ کے ثبوت کو مارکیٹ کی گرفت سے الگ کرتا ہے اور ہر حفاظتی دعوے کے ساتھ باقی خطرہ رکھتا ہے۔

33 کورز

اندرونی پیداواری خود استعمال

وسیع Kotoba اسٹیک اندرونی طور پر 33 انفرنس کورز چلاتا ہے۔ یہ ثابت کرتا ہے کہ ٹیم اپنا اسٹیک چلاتی ہے؛ یہ صارف کی گرفت، ادا شدہ اپنانے، یا آمدنی نہیں ہے۔

8 دعوے

حدود مشین-قابلِ پڑھائی ہیں

حفاظتی دعوے اپنے معتبر کمپیوٹنگ بیس، منفی شواہد، اور باقی خطرے کو نام دیتے ہیں بجائے اس کے کہ 'ناقابل ہیک' نعرے میں ضم ہو جائیں۔

ڈیفالٹ کے طور پر انکار کریں

کوئی گرانٹ نہیں، کوئی میزبان اثر نہیں

خالی پالیسی کوئی فائل سسٹم، نیٹ ورک، عمل، گھڑی، ماڈل، یا خفیہ اختیار نہیں دیتی۔ فراہم کنندگان کو ٹھوس وسائل کے دائرہ کار کی بھی توثیق کرنی چاہیے۔

اندرونی پیداواری استعمال صرف ڈاگ فوڈنگ کا ثبوت ہے۔ اس کا مطلب بیرونی صارفین، ادائیگی والے پائلٹس، یا آمدنی نہیں ہے۔

پانچ بینچ مارکس۔ پانچ مختلف سوالات۔

کمپائلر کا آغاز پوچھتا ہے کہ ایک چھوٹا سا ماخذ کتنی تیزی سے ایک آرٹیفیکٹ بن جاتا ہے۔ بلڈ اسکیلنگ پوچھتا ہے کہ جب ماخذ چھوٹا ہونا بند ہو جائے تو اس نمبر کا کیا ہوتا ہے—اور کیا آرٹیفیکٹ اب بھی جواب دیتا ہے۔ ڈیولپر لوپ حل، جانچ، بلڈز، اور پہلے نتیجے کو الگ کرتا ہے۔ نیٹیو رن ٹائم پوچھتا ہے کہ پہلے سے بنے ہوئے کوڈ کی رفتار کیا ہے۔ ورک لوڈ-ڈومین سوئٹ پوچھتا ہے کہ سٹرنگز، کلیکشنز، الاٹمنٹ، I/O، ہم وقت سازی، اور ایک چھوٹی حقیقی ایپلیکیشن کیسے کام کرتی ہے۔ نتائج پانچوں سوالات اور ان کی ثبوت کی حالت کو الگ رکھتے ہیں۔

BUILD STARTUP · RANK UNQUALIFIED

4 ٹول چینز، 21 ہر ایک چلتا ہے

Kotoba 40.998 ملی سیکنڈ · رسٹ 126.422 ملی سیکنڈ · سی 146.324 ملی سیکنڈ · جے وی ایم 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

امو نیٹیو 30 موازنہ/ورک لوڈ جوڑوں میں سے کم از کم 5% کے فرق سے 19 جیتتا ہے، ہتھیاروں کی اپنی حد سے الگ۔ محدود تیز ترین دعویٰ ہر جوڑے کی ضرورت رکھتا ہے، لہٰذا یہ غیر اہل رہتا ہے — گنتی معلوماتی نصف ہے۔

کم از کم 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 رن ٹائم راستے

اسٹرنگز، مجموعے، الاٹمنٹ، فائل I/O، چار-ورکر ہم وقت سازی، اور درخواست-داخلہ پالیسی ایپلیکیشن کرنل کی درستگی چیک کی جاتی ہے۔

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	بلڈ ناکام	بلڈ ناکام
Rust / rustc · 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	Rust / rustc · 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	Rust / rustc · 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	Rust / rustc · WebAssembly	نہیں	45.8 ملی سیکنڈ بمقابلہ 1.1 ملی سیکنڈ	بہتری-نیچے-حد

بہتری-نیچے-حد کا مطلب ہے کہ Kotoba لین اس سائز پر بالکل بھی تیز نہیں تھا۔ فائدہ حقیقی اور سرد آغاز پر اہل ہے، اور C کے خلاف K=32 اور رسٹ کے خلاف 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، رسٹ اور جاوا کے پاس بڑھانے کے لیے کوئی مساوی حد نہیں ہے۔
امو ماڈیول کو مکمل طور پر مسترد کر دیتا ہے جب یہ 1,024 سے زیادہ فنکشنز رکھتا ہے	یہ بھی کوئی نقص نہیں ہے، اور پہلی قطار کے برعکس ہے۔ میکس-فنکشنز ایک اعلان شدہ حد ہے، اس لیے کمپائلر kotoba.error/subset-reject کے ساتھ رک جاتا ہے اور وہ چیزیں بتاتا ہے جنہیں اس نے مسترد کیا، بجائے اس کے کہ کچھ ایسا جاری کرے جو لوڈ نہ ہو۔ ایک بلند حد اور ایک خاموش حد بالکل مختلف نتائج ہیں، اور صرف وہ ہارنس جو آرٹیفیکٹ کو چلاتا ہے انہیں الگ کر سکتا ہے۔ ناپا گیا 2026-09-07: یہ پورے پروگرام کی حد ہے، نہ کہ کسی ایک ماڈیول کی — میکس-پروجیکٹ-فنکشنز بھی 1,024 ہے اور لنک کیے گئے پروجیکٹ کے خلاف چیک کی جاتی ہے، اس لیے آج کوئی ماڈیولز کا انتظام 2,048-فنکشن پروگرام کمپائل نہیں کرتا۔

جو یہ قائم کرتا ہے

پانچویں بینچ مارک کے جوابات، بشمول وہ جو غیر موافق ہیں
سوال	اس رن سے جواب
ایک چھوٹے ماڈیول کی سرد Kotoba بلڈ کتنی تیز ہے؟	ریلیز شدہ CLI 11.753 ملی سیکنڈ میں K=1 کو پراسیس-کولڈ بناتا ہے، آرٹیفیکٹ چلایا گیا اور جواب چیک کیا گیا — یہاں ناپے گئے کسی بھی لین کا سب سے تیز پہلا نتیجہ۔
کتنا بڑا ماڈیول جاری شدہ بائنری بنا سکتا ہے؟	128 تک فنکشنز۔ اس سے آگے یہ سست نہیں ہوتا، یہ غلط ہوتا ہے، اور یہ ہارنس اسے تیز لین کی بجائے ناکام لین کے طور پر رپورٹ کرتا ہے۔
کیا سورس بڑھنے کے ساتھ بلڈ کا وقت مقابلہ برقرار رکھتا ہے؟	K=128 کے ذریعے جاری کردہ CLI کو اوپر دی گئی جدول میں Rust اور C کے مقابلے میں ماپا گیا ہے۔ اس نقطہ سے آگے واحد Kotoba کمپائلر جو اب بھی درست ماڈیول جاری کرتا ہے وہ Amu ہے، جو nbb پر چلتا ہے نہ کہ جاری شدہ بائنری کے طور پر، اور ہر ماپے گئے سائز پر تقریباً ایک درجہ کی رفتار سے سست ہے — لہٰذا بڑے سائز پر تعمیر کی رفتار فی الحال Kotoba کی طاقت نہیں ہے، اور یہ صفحہ اس کے برعکس دعویٰ نہیں کرے گا۔
کتنا بڑا ماخذ سرے سے سرے تک بنایا گیا ہے؟	K=1023 Amu کے ذریعے — 7163 لائنیں Kotoba کی، آرٹیفیکٹ چلایا گیا اور جواب چیک کیا گیا۔ یہ اعلان شدہ 1,024 حد سے ایک فنکشن کم ہے، اور اگلا سائز غلط تعمیر ہونے کی بجائے مسترد کر دیا جاتا ہے۔
کیا جاری کردہ کوڈ تیز ہے؟	یہاں دائرہ کار سے باہر — یہ بلڈنگ کو ماپتا ہے، چلانے کو نہیں۔ اوپر دی گئی نیٹو رن ٹائم سوئٹ وہ سوال پوچھتی ہے۔

نیچے کی لائن: سب سے چھوٹے سائز پر جاری کردہ بائنری یہاں ہر موازنہ کنندہ سے تیز ہے ایک حد سے جو شور کے ٹیسٹ میں زندہ رہتی ہے، اور اس کی سخت درستگی کی حد 128 فنکشنز پر ہے۔ وہ کمپائلر جس کے پاس وہ حد نہیں ہے ہر سائز پر تقریباً ایک آرڈر آف میگنیٹیوڈ سست ہے ناپا گیا۔ دونوں حقائق ایک ہی رن سے آئے ہیں، اور ہارنس جو انہیں ملا ہے عوامی ہے، تاکہ رن سے اختلاف کیا جا سکے۔

بلڈ-اسکیلنگ نمونے معائنہ کریں اپنے مشین پر دوبارہ چلائیں نقص، اس کے بائٹس کے ساتھ

ہر مقامی کام کے لیے اصل میں کتنا وقت لگتا ہے

نیچے کا گرڈ دو بازوؤں کے درمیان مارجن رپورٹ کرتا ہے۔ وہ نمبر ہے perfgate قواعد چالو ہیں، لیکن صرف فیصدی خود یہ نہیں بتاتی کہ آیا ورک لوڈ پانچ ملی سیکنڈ یا پانچ سو میں چلتا ہے، اور یہ چھپاتا ہے متنازعہ جوڑے اور غیر متعلقہ جوڑے کے درمیان فرق۔ یہ پینلز ہیں وہ میڈینز جن سے وہ مارجن حساب کیے جاتے ہیں۔ امو نیٹیو رنگین لین ہے ہر پینل میں — بشمول وہ پینل جہاں یہ پہلا نہیں ہے۔ ہر پینل ہے اپنے سب سے سست بازو کے مطابق اسکیل کیا گیا، کیونکہ ایک پینل کا جواب دینے والا سوال یہ ہے کہ کون ہے اس کام کے بوجھ میں تیز تر۔

تنگ حسابی

کلینگ / C11 6.41 ms
Amu نیٹیو 6.53 ms1.02× یہاں سب سے تیز
Swift 6.55 ms
رسٹ 6.58 ms
Zig 8.24 ms
Go c-shared 42.84 ms

وسیع رجسٹر پریشر

Amu نیٹیو 5.80 msیہاں سب سے تیز
رسٹ 6.19 ms
کلینگ / C11 6.50 ms
Zig 6.97 ms
Go c-shared 41.07 ms
Swift 44.08 ms

گہری سپل پریشر

Amu نیٹیو 9.23 msیہاں سب سے تیز
رسٹ 9.61 ms
Zig 9.71 ms
کلینگ / C11 10.23 ms
Go c-shared 51.86 ms
Swift 124.27 ms

کال کی حفاظت

رسٹ 4.77 ms
کلینگ / C11 4.82 ms
Amu نیٹیو 4.85 ms1.02× یہاں سب سے تیز
Swift 6.77 ms
Zig 8.44 ms
Go c-shared 32.49 ms

برانچ + کال کنٹرول فلو

کلینگ / C11 4.67 ms
رسٹ 4.90 ms
Amu نیٹیو 4.98 ms1.07× یہاں سب سے تیز
Swift 6.72 ms
Zig 8.95 ms
Go c-shared 33.84 ms

لوپ کال بیک ایج

کلینگ / C11 139.84 ms
Amu نیٹیو 140.59 ms1.01 یہاں سب سے تیز سے ×
رسٹ 141.73 ms
Go c-shared 169.38 ms
Swift 186.09 ms
Zig 207.01 ms

میڈین ملی سیکنڈز 5 میزبان اہل رنز پر؛ کم وقت تیز ہے۔ ہر بازو نے ایک ہی آزادانہ طور پر چیک شدہ جواب دیا، اور امیدوار میڈین ہر ورک لوڈ کے لیے ایک قیمت ہے — سوٹ ہر انجن جوڑے کو ABBA/BAAB ترتیب میں گھماتا ہے، لہٰذا ایک ہی Amu آرٹیفیکٹ ہر ورک لوڈ پر ایک بار ٹائم کیا جاتا ہے اور پھر ہر بازو کے خلاف باری باری موازنہ کیا جاتا ہے۔ اس صفحے کے دیگر چار بینچ مارکس کے برعکس، اس کا خاموش میزبان گیٹ پاس ہوا (اہل-میزبان-لوڈ)، لہٰذا یہ اعداد و شمار اس میزبان کے لیے ہیں نہ کہ صرف مشاہدات۔ محدود تیز ترین دعویٰ کو اب بھی تمام 30 جوڑوں کی ضرورت ہے، جو نیچے گرڈ کے لیے ہے۔

ہر رن ٹائم جوڑا، جیت یا ہار

محدود دعویٰ سب یا کچھ نہیں ہے، اس لیے ایک غیر مجاز جوڑا اسے غلط بنا دیتا ہے۔ صرف اس فیصلے کو شائع کرنا یہ چھپائے گا کہ کون سے جوڑے متنازع ہیں، اس لیے پورا گرڈ یہاں ہے۔ ایک سیل امو نیٹو کی اس موازنہ کار پر اوسط بہتری ہے اس کام پر؛ مثبت مطلب Amu تیز ہے، اور چیک نشان ان جوڑوں کو نشان زد کرتا ہے جو صاف پرفگیٹ — کم از کم 5% اور بازوؤں کی اپنی تقسیم سے الگ۔

Amu مقامی بمقابلہ ہر موازنہ کار، 2026-09-07، میزبان-مجاز؛ ✓ = perfgate پاس کرتا ہے
ورک لوڈ	رسٹ	کلینگ / C11	Zig	Go c-shared	Swift
تنگ حسابی	+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 · ایپل M4، 10 منطقی CPUs، 16 GiB

شائع شدہ رن کے بعد اصلاح کی فراہمی

اوپر دیا گیا پرانا بینچ مارک ناقابل تبدیلی رہتا ہے۔ نئے نفاذ کے ٹکڑے الگ سے درج کیے جاتے ہیں جب تک کہ وہی آرٹیفیکٹ سوئٹ دوبارہ نہ چلے اور اپنی اہلیت کے گیٹ پاس نہ کرے۔

ایسے نفاذ جو ابھی نئے رفتار کے دعوے نہیں ہیں
سطح	پہنچایا گیا	ثبوت کی حد
نیٹیو ویکٹرز / الاٹمنٹ	محدود غیر فرار ویکٹر لٹریلز x86-64 اور AArch64 پر فرار سے محفوظ اور اسکیلر سے تبدیل کیے گئے ہیں۔	211 بیک اینڈ ٹیسٹ / 2,442 دعوے؛ فرار ہونے والے ویکٹرز چیک شدہ میزبان ABI کو برقرار رکھتے ہیں۔ ابھی تک کوئی نیا رینکڈ ٹائمنگ نہیں ہے۔
اسٹرنگ SIMD	POSIX چیک شدہ مساوات ہینڈل اور کینونیکل UTF-8 کی توثیق کے بعد واضح 16-بائٹ NEON یا SSE2 موازنہ استعمال کرتی ہے۔	بہتر شدہ اسمبلی اور دونوں مقامی ISA معنوی ویکٹرز کی تصدیق کی گئی۔ ونڈوز علیحدہ طور پر پن کیا گیا ہے؛ تاخیر کی درجہ بندی زیر التواء ہے۔
ایسنک I/O صلاحیت	جڑ-محدود حتمی پڑھ/لکھ/فہرست/موجودگی/حذف CompletableFuture JVM پر اور fs.promises Node پر استعمال کرتا ہے۔	JVM اور Node کے حقیقی فائل سسٹم ٹیسٹ کامیاب ہو گئے ہیں۔ عوامی اسٹینڈ اکیلے Wasm بینچ مارک کے پاس ابھی کوئی تسلیم شدہ میزبان بائنڈنگ نہیں ہے، لہٰذا اس کا I/O سیل N/A رہتا ہے۔
ساختہ ہم وقت سازی	ایک محدود 32-چائلڈ فیل-فاسٹ دائرہ شامل ہوتا ہے، بہن بھائیوں کو منسوخ کرتا ہے، اور چائلڈ کی زندگی کے فرار کو بطور معیاری Kotoba حالت روکتا ہے۔	996 مساوات کے دعوے .kotoba اختیار اور CLJC لوڈ راستے کے درمیان۔ یہ ساختہ عمر کی معنویت ہے، OS-تھریڈ تھروپٹ کا نتیجہ نہیں۔
Kotoba CLI	kotoba ٹیسٹ/بلڈ نئے کمپائلر پن کو استعمال کرتا ہے؛ kotoba کمپائل براہ راست سیلڈ x86-64 اور AArch64 KEXE خارج کرتا ہے۔	عوامی CLI لائف سائیکل اور AArch64 ویکٹر آرٹیفیکٹ کی تصدیق شدہ۔ نیٹیو --run تب تک مسترد رہے گا جب تک کہ ناپا گیا لوڈر رسید منسلک نہ ہو۔

کمپائلر کا آغاز، چار ٹول چینز

KotobaWebAssembly 40.998 msبیس لائن
Rust / rustcWebAssembly 126.422 ms3.084× Kotoba
C / ClangWebAssembly 146.324 ms3.569× Kotoba
جے وی ایم / جاواکJVM کلاس 961.248 ms23.446× Kotoba

ایک چھوٹے ماخذ کے لیے پروسیس-ٹھنڈی وال ٹائم، ملی سیکنڈ میں؛ کم وقت تیز ہے۔ Apple M4 پر ہر ٹول چین کے لیے 21 گھومتے نمونے۔ میزبان لوڈ گیٹ اس رن میں ناکام رہا، لہٰذا یہ مشاہدات ایک مشین کے ہیں، درجہ بندی نہیں۔

چھوٹا ماخذ سے آرٹیفیکٹ پراسیس-ٹھنڈا بلڈ پیمائش
ٹول چین	آؤٹ پٹ	میڈین	p95	نسبتی گزرے ہوئے وقت
Kotoba	WebAssembly	40.998 ms	240.415 ms	1× Kotoba
Rust / rustc	WebAssembly	126.422 ms	770.495 ms	3.084× Kotoba
C / Clang	WebAssembly	146.324 ms	498.618 ms	3.569× Kotoba
جے وی ایم / جاواک	JVM کلاس	961.248 ms	2223.49 ms	23.446× Kotoba

KOTOBA 0.7.3 · RUSTC 1.97.1 · Homebrew clang ورژن 22.1.7 · javac 24.0.2. Kotoba, Rust، اور C Wasm جاری کرتے ہیں؛ javac کلاس فائل جاری کرتا ہے۔ مختلف ہدف اور کمپائلر کام اسے ایک ابتدائی مشاہدہ بناتے ہیں، نہ کہ ایک عالمی درجہ بندی۔ ریکارڈ شدہ میزبان لوڈ گیٹ ناکام ہوا، لہٰذا جدول ایک مستند رفتار درجہ بندی نہیں ہے۔

انحصار سے آزاد چھوٹے منصوبے کے ڈویلپر-لوپ میڈین؛ N/A کا مطلب ہے کہ کوئی علیحدہ مرحلہ ماپا نہیں گیا
ٹول چین / ہدف	حل کریں	چیک کریں	صاف تعمیر	کوئی تبدیلی نہیں بلڈ	شروع + عمل درآمد	صاف بلڈ + پہلا نتیجہ
Kotoba · WebAssembly	N/A	231.75 ms	62.906 ms	42.332 ms	57.253 ms	142.644 ms
Rust / Cargo · arm64 macOS مقامی	138.018 ms	71.208 ms	896.478 ms	67.764 ms	371.522 ms	1299.171 ms
C / Clang · arm64 macOS مقامی	N/A	90.446 ms	121.838 ms	77.905 ms	327.741 ms	453.685 ms
Zig · WebAssembly	N/A	387.713 ms	648.665 ms	464.795 ms	67.523 ms	728.007 ms
TinyGo · arm64 macOS مقامی	N/A	N/A	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
سوئفٹ / SwiftPM · arm64 macOS مقامی	1017.252 ms	427.372 ms	3695.557 ms	1259.829 ms	431.84 ms	4016.271 ms
JVM / javac · JVM کلاس	N/A	N/A	805.822 ms	739.957 ms	76.252 ms	882.074 ms
AssemblyScript · WebAssembly	N/A	1074.197 ms	895.187 ms	1090.658 ms	64.658 ms	954.878 ms
.NET IL · .NET IL	2309.472 ms	N/A	4750.407 ms	2141.103 ms	79.248 ms	4851.792 ms
.NET نیٹو AOT · arm64 macOS نیٹو AOT	2236.962 ms	N/A	11995.489 ms	2707.907 ms	375.7 ms	12391.54 ms

ہر جاری کردہ آرٹیفیکٹ نے 42 کو ایک تازہ عمل میں پیدا کیا۔ ہدف اور رن ٹائم معاہدے مختلف ہیں؛ N/A کبھی صفر نہیں ہوتا۔ میزبان-لوڈ گیٹ ناکام رہا، لہٰذا یہ قابل تکرار مشاہدات ہیں نہ کہ زبانوں کے مابین رفتار کی درجہ بندی۔

چھ ڈومین، ساتھ ساتھ

ہر پینل کو اس کی اپنی سب سے سست لائن کے مطابق اسکیل کیا جاتا ہے، کیونکہ سوال ایک پینل جوابات یہ ہیں کہ اس ڈومین میں کون تیز ہے، نہ کہ ڈومینز ایک دوسرے سے کیسے موازنہ کرتے ہیں دیگر۔ Kotoba کی لائن ہر پینل میں رنگین ہے — بشمول پینلز جہاں یہ آخری ہے۔ اس کا اسٹینڈ اکیلا Wasm آرٹیفیکٹ ایک نوڈ کے ذریعے چلتا ہے میزبان اور ہر عمل-سرد نمونے پر وہ اسٹارٹ اپ ادا کرتا ہے، جبکہ Rust، C اور Go مقامی بائنریز کے طور پر چلائیں؛ جہاں ہدف کے پاس کوئی ماحول فائل سسٹم یا تھریڈ نہیں ہے معاہدہ بالکل نہیں، لین غیر موجود ہے نہ کہ صفر۔

سٹرنگ

C / Clang 1.463 ms
رسٹ 1.907 ms
جائیں 1.974 ms
JVM / جاوا 27.819 ms
Kotoba / وسم + ٹائپڈ JS میزبان 30.539 ms20.9× یہاں سب سے تیز
JavaScript / Node.js 31.628 ms

مجموعہ

C / Clang 1.357 ms
جائیں 1.852 ms
رسٹ 1.92 ms
Kotoba / وسم + ٹائپڈ JS میزبان 29.98 ms22.1× یہاں سب سے تیز
JVM / جاوا 31.42 ms
JavaScript / Node.js 31.818 ms

تقسیم

C / Clang 1.353 ms
رسٹ 1.943 ms
جائیں 1.962 ms
JVM / جاوا 26.447 ms
Kotoba / وسم + ٹائپڈ JS میزبان 29.567 ms21.9× یہاں سب سے تیز
JavaScript / Node.js 31.055 ms

ان پٹ/آؤٹ پٹ

C / Clang 2.539 ms
رسٹ 2.686 ms
جائیں 6.577 ms
JVM / جاوا 38.685 ms
JavaScript / Node.js 94.124 ms
Kotoba / وسم + ٹائپڈ JS میزبان N/A — اس ہدف کے معاہدے میں نہیں —

ہم وقت سازی

C / Clang 2.916 ms
رسٹ 3.328 ms
جائیں 3.377 ms
JVM / جاوا 34.828 ms
JavaScript / Node.js 55.105 ms
Kotoba / وسم + ٹائپڈ JS میزبان N/A — اس ہدف کے معاہدے میں نہیں —

حقیقی درخواست

C / Clang 1.294 ms
جائیں 1.964 ms
رسٹ 2.047 ms
JVM / جاوا 26.411 ms
JavaScript / Node.js 29.534 ms
Kotoba / وسم + ٹائپڈ JS میزبان 29.652 ms22.9× یہاں سب سے تیز

پراسیس-کولڈ میڈین ملی سیکنڈ میں؛ کم وقت تیز ہے۔ میزبان-لوڈ گیٹ اس رن میں ناکام، لہٰذا یہ پینلز مشاہدات ہیں نہ کہ درجہ بندی، اور نیچے دیا گیا اوسط لین پھر ایک مختلف کہانی بتاتا ہے۔

پروسیس-ٹھنڈا ورک لوڈ-ڈومین میڈین؛ N/A کا مطلب ہے کہ ہدف معاہدہ وہ صلاحیت فراہم نہیں کرتا
رن ٹائم راستہ	سٹرنگ	مجموعہ	تقسیم	فائل I/O	ہم وقت سازی	حقیقی ایپ
Kotoba / وسم + ٹائپڈ JS میزبان	30.539 ms	29.98 ms	29.567 ms	N/A	N/A	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
JavaScript / Node.js	31.628 ms	31.818 ms	31.055 ms	94.124 ms	55.105 ms	29.534 ms

ہر نمونہ نے بالکل درست حوالہ چیکسم واپس کیا۔ Kotoba اپنے خارج کردہ Wasm اور اعلان شدہ ٹائپڈ ABI کا استعمال کرتا ہے؛ اس کا اسٹینڈ الون ہدف کوئی ماحول فائل سسٹم یا تھریڈ کنٹریکٹ نہیں رکھتا، لہٰذا وہ خلیے N/A سمجھے جاتے ہیں۔ ریکارڈ شدہ ہوسٹ-لوڈ گیٹ ناکام ہوا، اس لیے میڈین مشاہدات ہیں، درجہ بندی نہیں۔

بنیادی کام کے بوجھ کے لیے عمل کے دوران اوسط بیچ میڈین؛ N/A وہی صلاحیت کی حد برقرار رکھتا ہے
رن ٹائم راستہ	سٹرنگ	مجموعہ	تقسیم	فائل I/O	ہم وقت سازی	حقیقی ایپ
Kotoba / وسم + ٹائپڈ JS میزبان	0.351 ms	0.039 ms	0.066 ms	N/A	N/A	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
JavaScript / Node.js	0.336 ms	0.033 ms	0.067 ms	68.507 ms	7.771 ms	0.032 ms

ہر بڑا ان-پروسیس بیچ اپنے اعلان کردہ ورک لوڈ ملٹی پلائر سے تقسیم کیا جاتا ہے۔ یہ اسٹارٹ اپ کو کم کرتا ہے لیکن مکمل طور پر پروسیس، VM، یا Wasm کی تخلیق کی لاگت کو ختم نہیں کرتا، لہٰذا اسے مکمل گرم شدہ مستحکم حالت کا نتیجہ نہیں کہا جاتا۔ Kotoba کے خالص inc/dec میپ چینز بغیر درمیانی ویکٹرز کے reduce میں ضم ہوتے ہیں؛ اس ثابت شدہ ذیلی سیٹ کے باہر کال بیکس جلدی مواد سازی کو جاری رکھتے ہیں۔

ہر عوامی بینچ مارک کیا کرتا ہے—اور کیا نہیں کرتا—اس کا تعین
سوال	موازنہ شدہ نفاذ	موجودہ نتیجہ
چھوٹا Wasm مرتب کریں + چلائیں	Kotoba، Rust، C، اور JVM ٹول چینز	چار پراسیس-کولڈ میڈینز اوپر شائع کیے گئے؛ صرف Kotoba/Rust/C Wasm ہدف شیئر کرتے ہیں، اور کوئی عمومی بلڈ-رفتار درجہ بندی کا دعویٰ نہیں کیا گیا
چھوٹے منصوبے کے ڈویلپر کا لوپ	Kotoba، Rust، C، Zig، TinyGo، Go، Swift، JVM، AssemblyScript، .NET IL، اور .NET Native AOT	ہر دستیاب مرحلے کے لیے سات نمونے شائع کیے جاتے ہیں؛ ہدف کے اختلافات اور ناکام میزبان لوڈ گیٹ ایک عالمی درجہ بندی کو روکتے ہیں
مقامی مستحکم حالت کی عمل کاری	Amu نیٹیو بمقابلہ Rust، Clang / C11، Zig، Go c-shared، Swift	تمام 30 معنوی موازنہ سیلز مکمل ہیں؛ رفتار کی درجہ بندی روکی گئی کیونکہ خاموش میزبان گیٹ ناکام ہوا
اسٹرنگز، مجموعے، الاٹمنٹ، I/O، ہم وقت سازی، اور حقیقی ایپ	Kotoba، رسٹ، سی، گو، JVM، اور جاوا اسکرپٹ رن ٹائم راستے	صحیح چیکسمز اور پراسیس-کولڈ کے ساتھ ساتھ اوسط نمونے شائع کیے گئے ہیں؛ اسٹینڈ اکیلے Kotoba I/O اور تھریڈز N/A ہیں، جبکہ اس کی خالص درخواست-قبولیت کی درخواست ناپی گئی ہے؛ ناکام لوڈ گیٹ درجہ بندی کو روکتا ہے

نیٹیو سوئٹ کیا کور کرتا ہے

ہر نفاذ ایک آزادانہ طور پر چیک شدہ معروف جواب دیتا ہے۔ سوئٹ ہر انجن جوڑے کو 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
اسکیلنگ بنائیں	کوٹوبا-لینگ/بلڈبینچ	buildbench	شائع شدہ JSON · bench/public-build-scaling/latest.json
ورک لوڈ ڈومینز	kotoba-lang/kotoba-lang	scripts/benchmark-public-domains.mjs · bench/public-domain-comparison/README.md · بینچ/عوامی-ڈومین-موازنہ/پروبز	شائع شدہ JSON · bench/public-domain-comparison/latest.json

اس صفحے پر ہر آرڈرنگ کو جو گیٹ سے گزارا جاتا ہے وہ ہے kotoba-lang/perfgate، اپنے غیر نرم شدہ ڈیفالٹ پالیسی پر چلائیں۔ ایک حد کو نرم کیا گیا تاکہ ایک اس کے اپنے حدود کو ماپنے والا بینچ مارک ہوگا۔

نیچے کی لائن: آرٹیفیکٹس، بالکل درست نتائج اور نمونے تمام پانچ بینچ مارکس میں حقیقی ہیں۔ ان میں سے تین — کمپائلر اسٹارٹ اپ، ڈویلپر لوپ اور ورک لوڈ ڈومینز — نے اپنے خاموش میزبان گیٹ میں ناکامی کی، اس لیے وہ کچھ درجہ بندی نہیں کرتے اور مشاہدات کے طور پر شائع کیے گئے ہیں۔ نیٹو رن ٹائم سوئٹ نے اپنا گیٹ پاس کیا اور 19 میں سے 30 جوڑوں میں جیتا، ہر جوڑے کے دعوے سے کم جو اسے چاہیے تھا۔ بلڈ اسکیلنگ نے اپنے سرد آغاز کی ترتیب کو میزبان پر ہر موازنہ کار کے خلاف مجاز کیا اور ایک درستگی کی چھت اسی رن میں پائی۔ اس صفحہ پر کہیں بھی کوئی عالمی رفتار کی درجہ بندی کا دعویٰ نہیں کیا گیا، اور ان میں سے کوئی بھی رن اسے اجازت نہیں دیتا۔

مرتبہ نمونوں کا معائنہ کریں رن ٹائم ثبوت کا معائنہ کریں ڈیولپر-لوپ نمونوں کا معائنہ کریں کام کے بوجھ کے دائرہ کار کے نمونے معائنہ کریں رن ٹائم طریقہ کا جائزہ لیں کمپائل ہارنس دوبارہ چلائیں

دعوے جن کے ساتھ ان کی حدیں منسلک ہیں

یہ دعوے سے تیار کیے گئے ہیں lang/safety-claims.edn. ہر ایک اپنا معتبر کمپیوٹنگ بیس اور باقی خطرہ ظاہر رکھتا ہے، کیونکہ ایک حفاظتی نعرہ بغیر حد کے صرف مارکیٹنگ ہے۔

T1-میموری

تسلیم شدہ اجزاء رن ٹائم/مقامی میموری کو ایڈریس نہیں کر سکتے اور جزو میموری آپریشنز محدود یا پھنس جاتے ہیں۔

معتبر کمپیوٹنگ بیس

محدود ریڈر · فرنٹ اینڈ داخلہ · آرٹیفیکٹ ویریفائر · وسم/نیٹو رن ٹائم

باقی ماندہ خطرہ

رن ٹائم انجن کی کمزوریاں TCB میں باقی ہیں
مقامی لوڈرز کو دوسرے OS آئسولیشن بارڈر کی ضرورت ہوتی ہے

T2-اثر

ہر عبوری جزو کا اثر اجراء سے پہلے ظاہر اور تسلیم کیا جاتا ہے، بشمول Kotoba-لکھے گئے فراہم کنندگان کے استعمال کردہ اثرات۔

معتبر کمپیوٹنگ بیس

اثرات کی استنتاج · صلاحیت کی فہرست · فرنٹ اینڈ کال گراف

باقی ماندہ خطرہ

kotoba اور کمپائلر گرامر/اثرات کی ہم آہنگی کو مسلسل موازنہ کرنا چاہیے

T3-قید

ایک غیر دی گئی صلاحیت غائب یا غیر منسلک ہوتی ہے اور فراہم کنندہ یا مقامی ہینڈلر تک نہیں پہنچ سکتی۔

معتبر کمپیوٹنگ بیس

پالیسی کا تقاطع · کمپائلر درآمد اخراج · ٹینڈر درآمد بائنڈنگ · میزبان گارڈ

باقی ماندہ خطرہ

پرووائیڈر اور مقامی نفاذ کو آزادانہ طور پر وسائل کے دائرہ کار کی تصدیق کرنی چاہیے
پیداواری موثر اجازتیں وائلڈ کارڈ دائرہ کار کی اجازت نہیں دیتیں

T4-تعین پذیری

ایک ہی تسلیم شدہ ماخذ، ہدف، پالیسی اور لاک ایک ہی قابل مشاہدہ خالص نتیجہ اور آرٹیفیکٹ بائٹس پیدا کرتے ہیں۔

معتبر کمپیوٹنگ بیس

معیاری قاری · متعین نیچے لانا · پن شدہ ٹول چین

باقی ماندہ خطرہ

میزبان اثرات صرف وہاں متعین ہوتے ہیں جہاں ان کے صلاحیت کے معاہدے میں ایسا کہا گیا ہو

T5-وسائل-حدود

ماخذ، داخلہ، عمل درآمد، میموری اور آؤٹ پٹ واضح محدود حدود استعمال کرتے ہیں۔

معتبر کمپیوٹنگ بیس

داخلہ کی حدیں · ایندھن میٹر · رن ٹائم کوٹا · سپروائزر ٹائم آؤٹ

باقی ماندہ خطرہ

پلیٹ فارم سپروائزرز کے پاس ابھی تک مساوی پیداواری تنہائی کا ثبوت نہیں ہے

T6-سپلائی-چین

ریلیز کی منظوری آرٹیفیکٹ شناخت، معتبر دستخط کنندہ، درستگی اور دوبارہ پیدا کرنے کے ثبوت کو باندھتی ہے۔

معتبر کمپیوٹنگ بیس

دستخط کنندہ کی تصدیق · معتبر دستخط کنندہ کی ترتیب · گھڑی · منسوخی سیٹ

باقی ماندہ خطرہ

کلید کی تحویل اور بیرونی منسوخی کی تقسیم عملی TCB رہتی ہے

T7-BACKEND-PARITY

ایک مشترکہ پورٹیبل جزو کو مساوی قبولیت، نتیجہ اور اثر ٹریس حاصل ہے جو اہل بیک اینڈز میں یکساں ہے۔

معتبر کمپیوٹنگ بیس

مشترکہ تعمیل کا مینیفیسٹ · بیک اینڈ اڈاپٹرز · موازنہ رنر

باقی ماندہ خطرہ

صرف کمپائلر خصوصیات قابل منتقلی نہیں ہیں اور قابل منتقلی پروفائلز کی طرف سے مسترد کی جانی چاہئیں

T8-HOST-RESOURCE-SCOPE

ایک جزو درآمد اپنے فراہم کنندہ یا مقامی ہینڈلر تک صرف ایک ٹھوس بعد از تقاطع وسائل کے دائرہ کار کے ساتھ پہنچتا ہے اور رسید جاری کرتا ہے۔

معتبر کمپیوٹنگ بیس

صلاحیت کا تقاطع · میزبان گارڈ · فراہم کنندہ ہینڈلر · رسید سنک

باقی ماندہ خطرہ

فراہم کنندہ مخصوص راستہ، ری ڈائریکٹ، سِملِنک اور کرایہ دار چیکز کے لیے Q5 کٹس کی ضرورت ہے

اہلیت Q1، کی حیثیت سے 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))

یہ پروگرام کوئی میزبان درآمدات نہیں مانگتا؛ جاری کردہ ماڈیول میں کوئی درآمدات نہیں ہیں۔

AI ایجنٹ: قابل عمل فوری آغاز شروع کرنے کی گائیڈ کھولیں CLI حوالہ پڑھیں

سیکھیں، کوشش کریں، پھر گہرائی میں جائیں

پہلے پروگرام سے زبان کے معاہدے، لائبریریز، ثبوت، اور تعیناتی سطحوں تک جڑا ہوا راستہ۔

سیکھیں

ارادے کے مطابق دستاویزات

انسٹالیشن سے شروع کریں، منظور شدہ زبان سیکھیں، یا معیاری معنی اور تعمیل کے ڈیٹا کا معائنہ کریں۔

کھلا دستاویزی نقشہ

کوڈ پڑھیں

ایک ماخذ، ایک جواب

نیچے دیا گیا مثال وہی ماخذ ہے جو براؤزر ڈیمو میں کمپائل کیا گیا ہے—جاوا اسکرپٹ کی دوبارہ عمل کاری نہیں۔

نمونہ پڑھیں

چلائیں

اس صفحہ پر چلائیں

ایک ہی ماخذ، ہضم بند WebAssembly آرٹیفیکٹ لوڈ کریں اور اس کا برآمد شدہ Kotoba مین فنکشن کال کریں۔

کھلا کھیل

تعمیر

لائبریریز اور معاہدے

محدود بنیادی ناموں، بنیادی لائبریریوں، پیکیج قواعد، اور ان کی موجودہ پختگی کی حد کو براؤز کریں۔

لائبریریاں براؤز کریں

ایک چھوٹا Kotoba پروگرام، حقیقی طور پر چل رہا ہے

Amu اس خالص 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/گرامر → 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 بتاتے ہیں کہ وہ کیا ہیں۔

محدود کور

تخلیق شدہ سمبل حوالہ

موجودہ محدود معیاری لائبریری معاہدے کے ذریعہ منظور شدہ نام تلاش کریں۔

کور سمبلز براؤز کریں

بنیادی

ڈیٹا، اثرات، I/O، ٹولنگ

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 kotoba — زبان خاندان · 51 kotobase — اسٹوریج فیملی · 35 OS اور کرنل · 41 ڈرائیورز اور ہارڈویئر · 18 سمولیشن اور ماڈلنگ · 31 کمپائلرز اور IR · 45 رن ٹائم اور WebAssembly · 227 کرپٹوگرافی · 45 شناخت اور اختیار · 127 نیٹ ورکنگ اور پروٹوکولز · 58 ذخیرہ اور فارمیٹس · 73 ڈیٹا بیس اور سوالات · 62 مواد کی نشاندہی · 49 بلاک چین اور والٹس · 17 گرافکس، 3D اور GPU · 118 آڈیو اور ویڈیو · 27 UI اور ڈیزائن سسٹمز · 40 AI، LLM اور ایجنٹس · 67 EDA، CAD اور مینوفیکچرنگ · 29 روبوٹکس اور گاڑیاں · 29 مالیات اور ادائیگیاں · 36 قانونی اور تعمیل · 31 سائنس اور صحت · 32 جیو اسپیشل · 11 ڈیولپر ٹولنگ · 26 دستاویزات، متن اور i18n · 25

تمام 2,215 ریپوزٹریز کو براؤز اور فلٹر کریں

ایک ذخیرہ شائع شدہ پیکیج نہیں ہے۔ بالکل 1 لائبریری مواد کی بنیاد پر رجسٹری کے ذریعے شائع کی جاتی ہے؛ اس فہرست کا باقی حصہ دریافت ہے۔ ذخیرہ کی پختگی کے لیبلز 1.0 API استحکام، وسیع اپنانے، یا پیداواری 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