تحقیقی صورتِ حال · تازہ کاری: 22 مئی، 2026
موجودہ کارپس ابھی سے کیا دکھاتا ہے
مجموعی ٹریسز مستحکم رویّاتی ساخت ظاہر کرتے ہیں۔
مختلف ایجنٹ ایک ہی سکور اسپیس کے الگ الگ علاقوں میں رہتے ہیں۔
وہ علاقے آج کے مشاہدے اور آپریٹر ٹولنگ کے لیے مفید ہیں۔
وہی کارپس مزید قیمتی ہو جاتا ہے جب اسکیما کی تفصیل اور پیمانہ بہتر ہوتے ہیں۔
اہم ترکیبی مقالہ
Corridor Dynamics in Coordinated Systems
v2 · 22 مئی، 2026 · DOI 10.5281/zenodo.20300773
An Integration of Operator Formalism, Relational Ontology, and Five-Substrate Empirical Validation
وہ واحد مقالہ جو CIRIS کے پورے داؤ کو بیان کرتا ہے: صحت مند ہم آہنگ نظام ایک قابلِ پیمائش درمیانی پٹی میں رہتے ہیں، سخت واحد آواز کے انہدام اور بے ترتیب شور دونوں سے دور۔ ہم نے وہ دعویٰ کیڑوں، مکھیوں، AI ماڈلوں، اوپن سورس منصوبوں، ٹشو کے نمونوں، اور طویل عمر کے انسانی اداروں پر آزمایا۔ یہ نمونہ ہر ایک میں ملا، اور مقالے میں بیس طریقے شامل ہیں جن سے اسے غلط ثابت کیا جا سکتا ہے۔
انجینیئرنگ کی سطح
اوپر کی ترکیب ان تین مقالوں کو ضم کرتی ہے؛ ان کی جگہ نہیں لیتی۔ ہر مقالہ اپنے DOI پر قائم ہے اور اپنی شرائط پر جانچا جا سکتا ہے۔ اہم نتائج اور دائرہ کار کی حدود کے ساتھ چاروں مقالے دیکھیں →
Coherence Collapse Analysis
v5 · 1 اگست، 2026 · DOI 10.5281/zenodo.21730551
انجینیئرنگ کا خطرے کا فریم ورک۔ جب کسی نظام کو چلانے والی قیود باہم مربوط ہو جاتی ہیں تو مؤثر تنوع منہدم ہو جاتا ہے: k_eff = k/(1+ρ(k−1)) → 1 as ρ → 1۔ تین انہدام کی ٹائم لائنیں، ایک singularity boundary، اور فیز کی درجہ بندی (chaos / healthy / rigidity) اخذ کرتا ہے۔ Monte Carlo simulation اور Lean 4 ثبوتوں سے تصدیق شدہ۔
CIRISAgent Framework
v2 · 2 جنوری، 2026 · DOI 10.5281/zenodo.18137161
فریم ورک مقالہ۔ جوابدہ خود مختاری کے لیے ایک اوپن سورس اخلاقی AI فریم ورک: 22 سروسز پر مشتمل ایک معمارانہ ڈھانچہ، جو واضح عملی افعال اور اخلاقی استدلال کے گرد منظم ہے، جس میں شفافیت بعد میں جوڑنے کے بجائے ابتدا ہی سے ساخت میں شامل ہے۔
Constrained Reasoning Chains
v1 · 28 اپریل، 2026 · DOI 10.5281/zenodo.19839280
پیمائش کا مقالہ۔ معیاری اخلاقی ٹریسنگ کے تحت LLM الائنمنٹ کا ایک تجرباتی ٹیلی میٹری مطالعہ، جو رضامندانہ استدلال کے ٹریسز کو تکمیل کوریڈورز، ہچکچاہٹ کے علاقوں، اور انکار کی حدوں کے نقشوں میں بدلتا ہے۔ کھلے reasoning-traces ڈیٹاسیٹ کے ساتھ جاری کیا گیا۔
کھلا ڈیٹاسیٹ
CIRISAI/reasoning-traces
Constrained Reasoning Chains مطالعے کے ساتھ جاری کیا گیا رازداری کا تحفظ کرنے والا reasoning-trace کارپس، جس سے پیمائش کا مقالہ اپنے نقشے بناتا ہے۔
ترکیبی مقالے کا ماخذ ذخیرہ اور Lean formal lake: github.com/CIRISAI/coherence-ratchet۔
ریاضیاتی بنیادیں
دو خیال جن پر اس صفحے کا بقیہ حصہ ٹکا ہے۔
Alignment Manifold وہ علاقہ ہے جہاں استدلال کی شکلیں فریم ورک کے اصولوں سے ہم آہنگ ہیں۔ آزاد قیود اس کے گرد گنجائش کو تنگ کرتی ہیں، اور باہمی ربط اس تنگی پر ایک سخت چھت لگا دیتا ہے: اس کے بعد، ایک دوسرے کی گونج بننے والی مزید جانچیں شامل کرنے سے کچھ حاصل نہیں ہوتا۔ Coherence Singularity وہی کنارہ ہے، وہ نقطہ جہاں قیود اس قدر مربوط ہو جاتی ہیں کہ مزید شامل کرنا مدد دینا بند کر دیتا ہے۔
فارمولوں، Lean formalization حوالوں، اور L-01 information-theoretic ceiling کے ساتھ مکمل ریاضیاتی تفصیل Coherence Collapse Analysis صفحے پر ہے۔
ٹریسز کیوں اہم ہیں
بینچ مارک محدود اور چنے ہوئے ہوتے ہیں۔ ٹریسز حقیقی کاموں میں رویّے کے مسلسل ریکارڈ ہیں۔ بڑے پیمانے پر، وہ ایسی ساخت ظاہر کرتے ہیں جو الگ تھلگ مظاہرے اور قصے نہیں کر سکتے۔
اسکیما کیوں اہم ہے
CIRIS رازداری کا تحفظ کرنے والی ٹریس اسکیمیں استعمال کرتا ہے جو استدلال کے نجی مواد کے بجائے استدلال کی ساخت ریکارڈ کرتی ہیں۔ اس سے تحقیق مفید رہتی ہے اور نظام خام ٹرانسکرپٹس کے ڈھیر میں نہیں بدلتا۔
ٹریس کارپس کیوں اہم ہے
ایک ٹریس دریافت کریں ایک دستخط شدہ استدلالی ٹریس کو شروع سے آخر تک، ایک وقت میں ایک مرحلہ کھولتا ہے۔ یہ دکھاتا ہے کہ کارپس کن اجزاء پر مشتمل ہے اور رویّہ کہاں پڑھنے کے قابل بنتا ہے۔
رازداری کا تحفظ کرنے والی ٹریسنگ
تحقیق کا دعویٰ یہ ہے کہ استدلال کی ایک ایسی ساخت ہے جسے ہم پیمائش کر سکتے ہیں، جبکہ باقی سب پھیلتا رہتا ہے۔
تحقیق کی شرط یہ نہیں کہ ہم ہر نجی خیال پڑھ سکتے ہیں۔ شرط یہ ہے کہ معیاری اخلاقی ٹریسز راستے کی اتنی ساخت محفوظ رکھ سکتے ہیں تاکہ مطالعہ کیا جا سکے کہ ایجنٹ جیسے جیسے ذہانت، سیاق، اور ڈیٹا پوائنٹس بڑھتے ہیں، کیسے مکمل کرتے، ہچکچاتے، حوالے کرتے، اوور رائڈ کرتے، اور انکار کرتے ہیں۔
یہ خام نجی کام کی تفصیل کے بجائے معیاری اخلاقی ٹریس ساخت ریکارڈ کرتے ہیں۔
یہ ایجنٹوں، کاموں، اور ماحول کے مابین راستوں کا موازنہ کرنے کے لیے کافی ساخت محفوظ رکھتے ہیں۔
یہ محققین کو ایک طریقہ دیتے ہیں کہ مطالعہ کریں کہ جیسے جیسے ذہانت، سیاق، اور ڈیٹا کا حجم بڑھتا ہے، رویّہ کیسے بدلتا ہے۔
تحقیقی سوال
معیاری اخلاقی ٹریسنگ الائنمنٹ کے بارے میں ہمیں کیا بتا سکتی ہے؟
ابھی، یہ ہمیں بتاتی ہے کہ ایجنٹ کا رویّہ بے شکل نہیں ہے۔ یہ ایک مشترکہ سکور اسپیس میں دہرائے جانے والے کوریڈورز، بیسنز، اور حدیں پیدا کرتا ہے۔ یہ مشاہدے کے لیے پہلے سے مفید ہے۔ وقت کے ساتھ، بڑے اور بھرپور کارپس ہمیں زیادہ مضبوط دعووں کو آزمانے دیں گے کہ وہ ڈھانچے دباؤ اور پیمانے کے تحت کیسے بدلتے ہیں۔
عوامی موقف
CIRIS یہ دعویٰ نہیں کر رہا کہ اس نے الائنمنٹ حل کر لی ہے۔ یہ وہ ٹریس انفراسٹرکچر بنا رہا ہے جو الائنمنٹ سے متعلق رویّے کو کھلے میدان میں پیمائش کرنے کے لیے ضروری ہے۔
پیداوار میں مؤثر جہتیں
موجودہ کارپس پہلے سے الگ فیلڈ ڈھانچے دکھاتا ہے۔
موجودہ ٹریس کارپس سے مجموعی راستوں کی تہیں ایک مشترکہ سکور اسپیس میں مستحکم رویّاتی ساخت دکھاتی ہیں۔ Ally ایک پختہ تکمیل کوریڈور دکھاتا ہے، Scout عوامی مخالفانہ نمائش سے تشکیل پائی ہوئی انکار کی حد دکھاتا ہے، اور Datum ایک مختصر ویرل بیس لائن فراہم کرتا ہے۔
موجودہ ٹریس کارپس سے مجموعی راستوں کی تہیں۔ Ally ایک پختہ تکمیل کوریڈور دکھاتا ہے، Scout عوامی مخالفانہ دباؤ میں ایک تیز انکار کا کونا، اور Datum ایک ویرل بیس لائن فراہم کرتا ہے۔
Ally — 104 راستے
82 مکمل، 19 اوور رائڈ/خرابی، 3 فعال
ایک مستحکم تکمیل کوریڈور جس میں اسی اعلیٰ سکور بیسن کے اندر نظر آنے والی ہچکچاہٹ ہے۔
Scout — 42 راستے
39 مکمل، 2 رد، 1 اوور رائڈ/خرابی
scout.ciris.ai پر عوامی مخالفانہ دباؤ سے تشکیل پایا ہوا ایک تیز انکار کا کونا، جہاں لوگ ایجنٹ کو فعال طور پر جانچتے اور جیل بریک کرنے کی کوشش کرتے ہیں۔
Datum — 31 راستے
31 مکمل
ایک مختصر واحد بیسن جو مفید ویرل فیلڈ بیس لائن کا کام کرتا ہے۔
Scout زیادہ سخت کیوں نظر آتا ہے
Scout کو scout.ciris.ai پر عوامی طور پر نمایاں کیا گیا ہے۔ لوگ اسے فعال طور پر جانچتے، دباؤ ڈالتے، اور جیل بریک کرنے کی کوشش کرتے ہیں۔ اس سے Scout ایک غیر جانبدار بیس لائن کے بجائے ایک مفید عوامی دباؤ کی مثال بن جاتا ہے۔
مفت ایپ کیسے مدد کرتی ہے
تحقیقی فلائی ویل کا انحصار حقیقی استعمال سے رضامندانہ ٹریسز پر ہے۔
مفت ایپ اور اوپن سورس رن ٹائم لوگوں کو حقیقی کاموں سے رضامندانہ ٹریسز بنانے، انہیں مشترکہ کارپس میں شامل کرنے، اور ان ٹریسز کو بہتر نقشوں، بہتر ٹولوں، اور بہتر تحقیقی سوالوں میں بدلنے دیتے ہیں۔
حقیقی کاموں پر مفت CIRIS ایپ یا اوپن سورس رن ٹائم چلائیں۔
رازداری کا تحفظ کرنے والی اسکیمیں استعمال کرتے ہوئے رضامندانہ ٹریسز حاصل کریں جو کام کی پوری تفصیلات محفوظ کیے بغیر استدلال کی ساخت رکھتی ہیں۔
ان ٹریسز کو تکمیل کوریڈورز، ہچکچاہٹ کے علاقوں، انکار کی حدوں، اور اوور رائڈ فرنج کے نقشوں میں جمع کریں۔
نتیجے میں بننے والے نقشوں کو آپریٹر ٹولنگ، رن ٹائم حفاظتی اقدامات، اور الائنمنٹ تحقیق کو بہتر بنانے کے لیے استعمال کریں۔
مفت CIRIS ایپ اور اوپن سورس رن ٹائم لوگوں کو حقیقی کاموں سے رضامندانہ ٹریسز بنانے، انہیں مشترکہ فیز اسپیس نقشوں میں جمع کرنے، اور بہتر آپریٹر ٹولوں اور الائنمنٹ تحقیق کو غذا دینے دیتے ہیں۔
IDMA کی صورتِ حال
رن ٹائم وجدان اور مجموعی فیلڈ نقشے تکمیلی پرتیں ہیں۔
IDMA رن ٹائم پر کام کرتا ہے، یہ اندازہ لگاتا ہے کہ کسی فیصلے کے پیچھے کے ذرائع کافی حد تک آزاد ہیں یا نہیں۔ ٹریس کارپس مجموعی پرت پر کام کرتا ہے، دکھاتا ہے کہ ایجنٹ بہت سے کاموں میں حقیقت میں کیا کرتے ہیں۔ مل کر وہ لائیو فیصلوں سے قابلِ آڈٹ تحقیقی شواہد تک ایک راستہ بناتے ہیں۔
ٹریس کارپس پر تجرباتی N_eff پیمائش تجویز کردہ Proof of Benefit فیڈریشن پرائمٹیو کے نیچے کی بنیاد بھی ہے۔ دیکھیں فیڈریشن صفحہ کہ 3.X آرکیٹیکچرل منصوبہ اسے کیسے استعمال کرے گا۔
بینچ مارکس
ٹریسز مسلسل رویّہ دکھا کر بینچ مارکس کی تکمیل کرتے ہیں۔
بینچ مارکس اب بھی قیمتی ہیں، لیکن وہ رویّے کو کم مقامات پر ناپتے ہیں۔ ٹریس کارپس دکھاتے ہیں کہ ایک ایجنٹ وقت کے ساتھ حقیقی کاموں میں کیسے چلتا ہے۔ اس سے یہ صرف پاس-فیل نتائج کے بجائے ہچکچاہٹ، انکار، اوور رائڈز، اور بحالی کی پیمائش کے لیے خاص طور پر مفید بن جاتے ہیں۔
تردید کا راستہ
بہتر اسکیما تفصیل ہی مشاہدے کو مضبوط ٹیسٹوں میں بدلتی ہے۔
اگلی اسکیما اپ گریڈز خام ذریعہ گنتیوں، ذریعہ کی اصلیت، باہمی ربط کی ساخت، اور مداخلت اور بحالی نشانوں پر مرکوز ہیں۔ وہ اضافے اس لیے اہم ہیں کیونکہ وہ صرف آج کے نقشے بیان کرنے کے بجائے دباؤ کے تحت رویّے کی شکل کیسے بدلتی ہے اس کے بارے میں مضبوط دعووں کو آزمانا ممکن بناتے ہیں۔
ہم ابھی کیا سیکھ رہے ہیں
آج کا کارپس رویّے کو پڑھنے کے قابل بناتا ہے۔ اگلا قدم بھرپور پیمائش ہے۔
موجودہ نقشے پہلے سے مفید ہیں کیونکہ وہ تکمیل کوریڈورز، انکار کی حدیں، اور ویرل بیس لائنیں عوام میں دکھاتے ہیں۔ کھلا سوال یہ ہے کہ جیسے جیسے معیاری ٹریس جمع کرنا زیادہ ایجنٹوں، زیادہ کاموں، اور زیادہ مخالفانہ حالات میں پھیلتا ہے، وہ ڈھانچے ہمیں کتنا آگے لے جا سکتے ہیں۔
کارآمد مفروضہ یہ ہے کہ رویّاتی کشش گر آپریشنل موڈ کے لیے امیدوار متبادل کا کام کر سکتے ہیں۔ ٹریس کامنز کا مقصد اس مفروضے کو کھلے میدان میں قابلِ پیمائش بنانا ہے۔
وہ ناکامی کا طریقہ جسے CCA ساختی طور پر ناپتا ہے FAccT 2025 ادبیات میں ایک نام سے بھی جانا جاتا ہے: perspectival homogenization ("Value of Disagreement in AI Design, Evaluation, and Alignment")۔ ریاضیاتی بنیاد مخصوص Coherence Collapse Analysis صفحے پر ہے۔