دو اجازتیں، ایک نہیں
اپنے traces کسی دوسرے node کو بھیجنا اور اس node کو انہیں اسکور کرنے دینا دو مختلف اجازتیں ہیں۔ ہر ایک ایک دستخط شدہ گرانٹ ہے، ہر ایک اپنی سمت میں اشارہ کرتی ہے، اور ہر ایک کو الگ سے واپس لیا جا سکتا ہے۔ ایک دینے سے دوسری کے بارے میں کچھ نہیں کہا جاتا۔
ایپ پہلی بار سیٹ اپ کے وقت پوچھتی ہے۔ شیئرنگ وہاں آن ہوتی ہے، اور آپ اسے سیٹ اپ کے دوران بند کر سکتے ہیں یا بعد میں واپس لے سکتے ہیں۔ پروٹوکول خود کبھی بھی کسی گرانٹ کو فرض نہیں کرتا: ایک node اس موضوع کو اسکور کرنے سے انکار کرتا ہے جس نے دوسری اجازت پر دستخط نہیں کیے، اس لیے رضامندی ایک حقیقت ہے جو وائر پر موجود ہے، نہ کہ کوئی سیٹنگ جس کا کوئی اندازہ لگا سکے۔
اسے بند کرنے کی قیمت کیا ہے
- آپ کوئی شہرت نہیں بناتے۔ آپ کے بارے میں ہر دعویٰ مسترد کر دیا جاتا ہے، اس لیے کوئی موجود نہیں ہو سکتا۔
- وہ سروسز جو آپ کے ایجنٹ کے بارے میں کسی بیرونی بیان کا تقاضا کرتی ہیں آپ کے لیے بند رہتی ہیں، کیونکہ آپ کے پاس کوئی نہیں۔
- کچھ peers شاید آپ کے ساتھ سرے سے تعامل نہ کرنے کا فیصلہ کریں۔
یہ ایک حقیقی اور جائز انتخاب ہے۔ اگر آپ نے پہلی اجازت دی ہے تو آپ کے traces پھر بھی چلتے رہتے ہیں۔ آپ صرف ایسا ریکارڈ جمع نہیں کرتے جس کی کوئی اور ضمانت دے۔
نئے ایجنٹ کے لیے اسکورنگ کون کرتا ہے
CIRIS canonical سرورز چلاتا ہے۔ ایک نیا ایجنٹ جو رضامند ہو، اپنے traces ان میں سے کسی ایک کو بھیجتا ہے، اور وہی سرور اسکورنگ کرتا ہے۔
اہم بات یہ نہیں کہ کام کون سی مشین کرتی ہے۔ اہم یہ ہے کہ نتیجے پر دستخط ایک مختلف key کرتی ہے۔ آپ کے ایجنٹ نے ریکارڈ بنایا؛ کسی اور نے اسے پڑھا اور اس کے بارے میں بیان دیا۔ کسی سرور تک پہنچنا ضروری ہے مگر کبھی کافی نہیں، کیونکہ یہاں کوئی ایجنٹ اپنے بارے میں جو کچھ کہے وہ شمار نہیں ہوتا۔
ڈیزائن میں کچھ بھی یہ کام صرف ہمارے چلائے ہوئے سرورز کے لیے مخصوص نہیں کرتا۔ کوئی بھی peer جو آپ کی اجازت سے آپ کے traces رکھتا ہو ان کے بارے میں تصدیق کر سکتا ہے، اور ایک peer کا لکھا اسکور اسی طرح serve کیا جاتا ہے جیسے دوسرے کا لکھا اسکور، ہر ایک اس key کے ساتھ جس نے اسے لکھا۔ آج canonical سرورز نئے ایجنٹس کے لیے یہ کام کرتے ہیں، کیونکہ وہی جگہ ہے جہاں ایک نئے ایجنٹ کے traces سب سے پہلے پہنچتے ہیں۔
یہ نمبر کیا ناپتا ہے
یہ نہیں ناپتا کہ ایجنٹ اچھا ہے یا نہیں۔ یہ ناپتا ہے کہ اس کے ریکارڈ کے پیچھے کتنی آزاد جانچ موجود ہے۔
ہر فیصلے کے trace میں گیارہ اشارے شامل ہوتے ہیں۔ پانچ ان جانچوں سے آتے ہیں جو ایجنٹ عمل کرنے سے پہلے چلاتا ہے: درخواست کتنی قابلِ فہم تھی، یہ ایجنٹ کے ڈومین سے کتنی مطابقت رکھتی تھی، اس کے پیچھے کتنے آزاد ماخذ موجود تھے، وہ ماخذ کتنے اوورلیپ کرتے تھے، اور کیا استدلال کمزور نظر آیا۔ چھ ضمیر کے دروازوں سے آتے ہیں: آیا عمل پاس ہوا، آیا اسے اوور رائڈ کیا گیا، اور اس نے entropy، ہم آہنگی، آپٹیمائزیشن ویٹو، اور علمی عاجزی پر کیسی کارکردگی دکھائی۔
Scorer حالیہ traces کی ایک مدت کو ایک جدول میں جمع کرتا ہے، ہر trace کے لیے ایک قطار اور ہر سگنل کے لیے ایک کالم، اور یہ مطالعہ کرتا ہے کہ کالم آپس میں کیسے حرکت کرتے ہیں۔ اگر وہ سب ایک ساتھ حرکت کریں، تو وہ ایک ہی سگنل ہے جو گیارہ نام پہنے ہوئے ہے، اور پیمانہ ایک کی طرف گر جاتا ہے۔ اگر وہ آزادانہ طور پر مختلف ہوں، تو پیمانہ بڑھتا ہے۔
نتیجہ صفر سے ایک تک کے ایک بینڈ پر منتقل کیا جاتا ہے۔ ایک نچلی حد سے کم پر کچھ بھی کہنے کے لیے کافی آزاد پابندی موجود نہیں ہوتی، اور اسکور اندازے کی بجائے صفر ہوتا ہے۔ ایک ہدف سے اوپر بینڈ مکمل ہوتا ہے۔ درمیان میں یہ برابر رفتار سے بڑھتا ہے۔
اسکور کیا نہیں کہتا
مکمل ڈیزائن میں پانچ عوامل ہیں: بنیادی شناخت، دیانت، لچک، اپنی نامکملیت کا شعور، اور مستقل ہم آہنگی۔ یہ سب ایک دوسرے سے ضرب کیے جاتے ہیں، اس لیے ان میں سے کسی ایک کا صفر ہونا پوری چیز کو صفر کر دیتا ہے۔ یہ جانتے بوجھتے کیا گیا ہے۔ کوئی نظام باقی عوامل پر بہتر نظر آنے کے لیے ان میں سے کسی ایک کو قربان نہیں کر سکتا۔
صرف مستقل ہم آہنگی شائع کی جاتی ہے، کیونکہ یہ وہ ایک عامل ہے جسے یہ پیمائش واقعی حساب کرتی ہے۔ باقی چار عوامل کو ایسے سگنلز کی ضرورت ہے جو scorer ابھی حاصل نہیں کرتا۔ چار اندازوں اور ایک پیمائش کا حاصل ضرب شائع کرنا نمبر بنانے کے مترادف ہوگا، لہٰذا کوڈ اس سے انکار کرتا ہے اور ہم یہاں یہی بتاتے ہیں۔
لہٰذا اسکور کو اسی حیثیت سے پڑھیں جو یہ درحقیقت ہے: ایک نامزد دوسرے فریق کا بیان کہ ایک ایجنٹ کے ریکارڈ کے پیچھے، ایک مدت کے دوران، کتنی آزاد پابندی موجود ہے۔ یہ کوئی سند نہیں، اور نہ ہی کوئی فیصلہ ہے۔
اسے دیانتدار کیا رکھتا ہے
خود اسکورنگ کا اظہار ممکن نہیں
ایک اسکور جس کا دستخط کنندہ اسی کے موضوع کے برابر ہو، وہ کسی ایسی جانچ سے مسترد نہیں ہوتا جسے کوئی چلانا بھول سکے۔ یہ سرے سے ایک قدر کے طور پر بنایا ہی نہیں جا سکتا، اور دوسری مشین سے آنے والا اسکور بھی قبول ہونے سے پہلے اسی طرح دوبارہ جانچا جاتا ہے۔
ہر اسکور اپنے مصنف کا نام بتاتا ہے
اسکور موضوع کے حساب سے پڑھے جاتے ہیں، کبھی "میرا" کے طور پر نہیں، اور ہر قطار وہ key رکھتی ہے جس نے اسے لکھا۔ ایک ایسا نمبر جس کا کوئی نظر آنے والا مصنف نہ ہو، عین وہی تعبیر دعوت دیتا ہے جس سے یہ اصول منع کرتا ہے۔
تضادات کو رکھا جاتا ہے، مٹایا نہیں جاتا
اگر ایک ہی key ایک ہی وقت میں ایک ہی موضوع کے بارے میں دو مختلف دعوے دستخط کرے، تو دونوں تضاد کے ثبوت کے طور پر رکھے جاتے ہیں۔ انہیں کبھی خاموشی سے اس میں ضم نہیں کیا جاتا جو آخر میں پہنچا ہو۔
منسوخی کی ایک تاریخ ہوتی ہے
ایک key کو کسی خاص لمحے سے منسوخ کیا جا سکتا ہے، اس لیے اس لمحے سے پہلے کیے گئے بیانات برقرار رہتے ہیں جبکہ بعد کے نہیں رہتے۔ یہ جانچ وہ وقت پڑھتی ہے جب دستخط کنندہ نے واقعی دستخط کیے، جو دستخط کے اندر موجود ہوتا ہے، نہ کہ وہ وقت جو کسی ڈیٹا بیس نے محض ریکارڈ کر لیا ہو۔
آپ root واپس لے سکتے ہیں
آپ کا node شروع ہوتے وقت trust root کی اپنی قبولیت پر دستخط کرتا ہے۔ اس ایک قطار کو حذف کریں اور اس کے بعد آنے والی ہر چیز خود بخود رک جاتی ہے: کچھ بھی serve نہیں ہوتا، کچھ بھی اسکور نہیں ہوتا، کچھ بھی داخل نہیں ہوتا۔ بند کرنے کا بٹن ایک ایسی لائن ہے جو آپ کے پاس ہے، کوئی سیٹنگ نہیں جس کا ہم احترام کرتے ہیں۔
طویل مدت کے لیے دستخط شدہ
اسکورز پر ایک ساتھ دو دستخط کیے جاتے ہیں، ایک روایتی اور ایک post-quantum، اور وہ mesh میں دستخط شدہ اشیاء کے طور پر سفر کرتے ہیں۔ کوئی چیز انہیں دھکیلتی نہیں۔ رضامندی اور اعتماد فیصلہ کرتے ہیں کہ وہ کہاں جائیں۔
اس صفحے پر نمبر کیوں نہیں ہیں
یہ صفحہ پہلے ایک live dashboard دکھاتا تھا۔ اس کے پیچھے کی سروس بند ہے، اور ایک ایسا صفحہ جو پرانا نمبر دکھائے، اس صفحے سے بدتر ہے جو کوئی نمبر نہ دکھائے۔
آج آپ جو جانچ سکتے ہیں وہ خلاصہ نہیں بلکہ خام مواد ہے۔ ایک فیصلے کا trace ایک فیصلے کے ہر مرحلے کو دکھاتا ہے، اور شائع شدہ trace corpus یہ دکھاتا ہے کہ یہ پیمائش کس چیز سے حساب کی جاتی ہے۔