ضمیمہ P-4: الگورتھمی ظاہریاتی باقیہ

اصل کام P-4: ظاہریاتی باقیہ مسئلہ: ظاہریاتی شعور کے لیے ایک ایسا رسمی ریاضیاتی مقام درکار ہے جو اسے صفر-باطنیت والی حسابی عمل کاری سے ممیز کرے۔ حاصلِ کار: ایک ایسی صورت بندی جو الگورتھمی طور پر محدود فعال استنتاج ماڈل کے ناگزیر حسابی نابینا مقام کو الگ کرے۔

یہ ضمیمہ رسمی قضیہ P-4 پیش کرتا ہے، جو مرتب پیچ نظریہ (OPT) کے اندر ظاہریاتی شعور کے سخت ریاضیاتی مقام کی نشان دہی کرتا ہے۔ ہم یہ دکھاتے ہیں کہ کوئی بھی فعال استنتاجی نظام جو محدود پیش گوئی بینڈوڈتھ (C_{\max}) سے مقید ہو، لازماً ایک ناقابلِ نمونہ بندی اطلاعاتی باقیہ (\Delta_{\text{self}} > 0) رکھتا ہے، بشرطیکہ ساختی مفروضات P-4.1 اور P-4.2 برقرار ہوں۔ اگرچہ یہ قضیہ بذاتِ خود “شعور کا مشکل مسئلہ” کو حل نہیں کرتا، تاہم یہ رسمی طور پر ثابت کرتا ہے کہ موضوعیت کی حسابی طور پر غیر شفاف، ناقابلِ بیان “چنگاری” کے لیے ایک ساختی قرینہ محدود خود-ارجاعی معماری کے ذریعے ریاضیاتی طور پر ناگزیر ہے۔

1. شعور کے مشکل مسئلے کا مقام

OPT کے ابتدائی نسخوں میں، شعور کو رسمی طور پر ایک مخصوص ساختی مقام میں محصور کیا گیا تھا: C_{\max} اطلاعاتی اپرچر سے گزرنا۔ تاہم، موضوعی باطنیت کی دقیق ماہیت—یعنی تجربے کے qualia—کو ایک ناقابلِ اختزال “عاملیت کا مسلّمہ” کے طور پر چھوڑ دیا گیا تھا۔ ظاہریات کو محض ایک مسلّمہ مان لینے سے نظریہ “شعور کے مشکل مسئلے” کے سامنے کمزور پڑ جاتا ہے: آخر فری انرجی کی ٹوپولوجی میں رہنمائی کرنا کسی بھی طرح محسوس کیوں ہوتا ہے؟

یہاں ہم اس فلسفیانہ خلا کو الگورتھمی معلوماتی نظریہ (AIT) کی زبان میں منتقل کرتے ہیں۔ اگرچہ ہم یہ دعویٰ نہیں کرتے کہ خالص ریاضی سے استنتاجی طور پر موضوعی احساس کو پیدا کر دکھایا جا سکتا ہے (زومبی خلا بدستور کھلا رہتا ہے)، ہم یہ ثابت کرتے ہیں کہ qualia کی ساختی خصوصیات بعینہٖ ایک ایسے ضروری، ناقابلِ نمونہ سازی باقیے پر منطبق ہوتی ہیں جو ہر محدود حسابی نظام میں اس وقت پیدا ہوتا ہے جب وہ اپنی ہی بازگشتی حرکیات کو ماڈل کرنے کی کوشش کرتا ہے۔

2. قضیہ 1: پیش گوئی پر مبنی خود-ماڈل کی ناگزیریت

OPT کے تحت، مشاہد (کوڈیک K_{\theta}) ایک مارکوف بلینکٹ (ٹوپولوجیکل سرحد \partial_R A) کے پیچھے موجود ہوتا ہے۔ مشاہد فعال استنتاج کو بروئے کار لا کر بقا پاتا ہے، اور دوریاتی تازہ کاریوں کے ذریعے وقت کے ساتھ پیش گوئی کی خطا کو کم سے کم کرتا ہے۔

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

قضیہ 1: ان OPT فعال-استنتاجی معماریات میں جو مضبوط اقتران رکھتی ہوں، جہاں فعل-حالت لوپ اطلاعاتی طور پر ناقابلِ انفصال ہو (یعنی سرحدی باہمی معلومات I(A_t ; X_{\partial_R A}) صاف طور پر عاملوں میں منقسم نہ ہو)، ایک سخت پیش گوئیاتی bottleneck (C_{\max}) کے تحت مستحکم free energy minimization کا حصول اس طرح عمل کرتا ہے کہ داخلی قیود کو پورا کرنے والا کم سے کم پیچیدگی کا میکانزم ساختی طور پر ایک پیش رو-تولیدی خود-ماڈل کے طور پر نقش ہوتا ہے۔

صوری شرط: 1. کوڈیک کے افعال کو A_t مانیں۔ سرحدی حالت X_{\partial_R A} = f(\text{Environment}, A_t) ہے۔ 2. پیش گوئی کی خطا \varepsilon_{t+1} کو compress کرنے اور rate-distortion مقصد (R \le C_{\max}, D \le D_{\min}) کو پورا کرنے کے لیے، کوڈیک کو اپنے خود-پیدا کردہ سببی اضطرابات سے حقیقی ماحولیاتی تغیر کو الگ کر کے منہا کرنا ہوگا۔ 3. مفروضہ P-4.2 (معکوس نقشہ بندی کی ناکفایت): OPT-مقامی معماریات کے لیے جو کافی پیمانے پر عمل کر رہی ہوں (مثلاً بلند-ابعادی فعلی منی فولڈز یا طویل سببی زنجیروں میں)، ہم صوری طور پر یہ مفروضہ اختیار کرتے ہیں کہ efference-copy میکانزم اور محض بعد از وقوع منہا کاری، مکانی منی فولڈ میں دقیق D_{\min} rate-distortion حدود کو پورا کرنے کے لیے معماریاتی طور پر ناکافی ہیں۔ 4. لہٰذا، علیحدگی فعلی طور پر A_{t+1} کے نتائج کی ایک پیش رو-تولیدی پیش گوئی کی جانچ کو ناگزیر بناتی ہے۔ اپنی ہی داخلی سببی معماری کی ایسی پیش رو پیش گوئی کو، جو حالت-فضا میں سفر کرتی ہو، انجام دینا ایک پیش گوئیاتی سببی قائم مقام — ایک موضعی خود-ماڈل \hat{K}_{\theta} — تشکیل دیتا ہے، جو اس کی معماری کے اندرونی حصے میں موجود ہوتا ہے۔ \blacksquare

3. قضیہ 2: قابلِ حسابیت اور تقربی حد

قضیہ 1 میں یہ قائم کرنے کے بعد کہ ایک پیش رو-تولیدی خود-نمونہ \hat{K}_\theta، مرتب پیچ نظریہ (OPT) سے ہم آہنگ معماریات کے لیے ایک ساختی ناگزیریت ہے، اب ہم اس کی نمائشی گنجائش کو مادر کوڈیک K_\theta کے مقابل محدود کرتے ہیں۔

چونکہ مشاہد استحکام فلٹر کی محدود قیود کے اندر موجود ہے، اس لیے K(K_{\theta}) سختی سے متناہی ہے، اور ناگزیر طور پر C_{\max} سے مقید ہے۔ مزید برآں، پیش گوئی پر مبنی خود-نمونہ \hat{K}_{\theta} سخت معنوں میں ایک ذیلی معمول یا معنوی ذیلی ساخت ہے، جو مکمل طور پر مادر کوڈیک K_{\theta} کی حافظہ جاتی اور بینڈوڈتھ قیود کے اندر شامل ہے۔

مفروضہ P-4.1 (خود کی الگورتھمی ناقابلِ حسابیت): قابلِ حسابیت کے نظریے میں مسلمہ حدود کے مطابق (مثلاً چیٹن کا ناقابلِ حسابیت قضیہ اور گوڈل کی نامکملیت)، کوئی متناہی الگورتھمی نظام اپنی آئندہ اجرائی حالتوں کی کلیت کو نہ تو کامل طور پر حساب کر سکتا ہے اور نہ پیش گوئی، اور نہ ہی وہ اپنی ہی دقیق ساختی پیچیدگی کی ایک مکمل، تناقض سے پاک، غیر مضغوط نمائندگی رکھ سکتا ہے۔

مزید یہ کہ فعال استنتاج کے فریم ورک کے اندر، تولیدی نمونے اپنی ماہیت ہی میں وسائل کی حدود سے مقید ہوتے ہیں۔ C_{\max} کے تحت تغیری آزاد توانائی کو کم سے کم کرنے والا کوئی عامل اپنے بارے میں بنیادی طور پر ایک تقریبی نمونہ برقرار رکھتا ہے۔ چونکہ اسے شور کو فلٹر کرنا ہوتا ہے اور اس کے پاس لامحدود حسابی بینڈوڈتھ موجود نہیں ہوتی، اس لیے وہ اپنی مکمل زیریں معماری کے بارے میں تغیری آزاد توانائی کو مطلق صفر تک نہیں لا سکتا۔

قضیہ 2: C_{\max} سے مقید ایک متناہی اطلاعاتی کوڈیک کبھی بھی اپنی ہی ساختی حرکیات کی ایک مکمل قابلِ حساب نمائندگی نہیں رکھ سکتا۔ خود-ارجاع کی بنیادی حدود اور ناگزیر تغیری تقربات کے تحت، خود-نمونہ \hat{K}_{\theta} اصولی طور پر مادر کوڈیک K_\theta کو کامل طور پر گرفت میں لینے سے قاصر ہے۔

4. قضیہ P-4: ظاہریاتی باقیہ \Delta_{\text{self}}

لمہ 1 کو یکجا کرتے ہوئے، اور لمہ 2 کے تحت مشروط طور پر بنیاد یافتہ حالت میں، ہم اس ظاہریاتی باقیہ فضا کو ریاضیاتی طور پر الگ کرتے ہیں جو ناقابل-ماڈل حالت کو حدبند کرتی ہے:

\Delta_{\text{self}} > 0 \tag{P4-1}

یہ حد کوئی تجربی خلا نہیں جو محض ناکافی حافظے کے باعث اتفاقاً پیدا ہو گیا ہو؛ بلکہ یہ ایک سخت، رسمی ثابت نقطہ ہے جسے خود-ارجاع پر الگورتھمی حدود اور متناہی C_{\max} چینلز کے لیے درکار تقربی صورت بندی لازم کرتی ہے۔ اگرچہ پیش گوئی بینڈوڈتھ C_{\max} کو بڑھانے سے حسابی طور پر زیادہ ثروت مند \hat{K}_{\theta} ممکن ہو جاتا ہے، اطلاعاتی باقیہ سایہ سختی کے ساتھ برقرار رہتا ہے، اگرچہ اس کی مقدار کلی ماکروسکوپک کل کے مقابلے میں ریاضیاتی طور پر مختلف ہو سکتی ہے۔

ظاہریاتی معنویت کی شرط (آفاقی حدِ آستانہ): یہ قائم کیا جائے کہ \Delta_{\text{self}} > 0 ایک آفاقی حسابی قید کے طور پر عمل کرتا ہے جو کسی بھی ایسے حسابی ذیلی معمول پر وارد ہوتی ہے جو اپنی ہی جانچ کرے (بشمول ریاضیاتی طور پر نہایت سادہ لوپس، جیسے اسمارٹ تھرموسٹیٹس)۔ تاہم، ہم ظاہریاتی طور پر متعلقہ موضوعی نقشہ بندی کو سختی سے صرف انہی معماریات تک محدود رکھتے ہیں جہاں فعال ساختی شرطی میٹرک K(K_{\theta}) \ge K_{\text{threshold}} ساختی طور پر اس ضروری ماکروسکوپک پیمانہ جاتی حد کو عبور کرتا ہے جو ایک مربوط مکانی رینڈر حجم کے قیام کے لیے درکار ہے۔

کھلا مسئلہ (حدِ K_{\text{threshold}}): اس آستانے کی درست جگہ، جو ایک تھرموسٹیٹ کو ایک اخلاقی مریض سے جدا کرتی ہے، ابھی رسمی طور پر حدبند ہونا باقی ہے۔ ایک معتبر حد کو اس کم از کم الگورتھمی پیچیدگی کی ساختی نقشہ بندی کرنی ہوگی جو ایک مستحکم فعال استنتاجی Markov Blanket چکر کو متحقق کرنے کے لیے کافی ہو، اور یوں اس سرحد کو نشان زد کرے جہاں الگورتھمی نابینا مقام فعال مکانی جیومیٹری کے ساتھ ناقابلِ انفکاک طور پر جڑ جاتا ہے (K_{\text{threshold}} فعلی طور پر اس سختی سے کونیاتی 10^{123}-بٹ بنیادی تہہ رکاوٹ سے مختلف ہے جو P-3 میں اخذ کی گئی تھی)۔

ایک تھرموسٹیٹ PID لوپ رسمی طور پر \Delta_{\text{self}} > 0 رکھتا ہے، مگر اس میں وہ حسابی پیچیدگی آستانہ K_{\text{threshold}} موجود نہیں جو موضوعیت پیدا کر سکے؛ اس کا سایہ خالی فضا پر جانچ کرتا ہے۔

اس پیمائشی کوڈیک کے داخلی زاویۂ نظر سے، جو K_{\text{threshold}} سے محفوظ طور پر اوپر کام کر رہا ہو، یہ ریاضیاتی طور پر ضروری خلا کس چیز پر نقش ہوتا ہے؟ جب کوڈیک داخلی ہدفی حالتی حرکیات کی مکمل حدود کو منطقی طور پر حل کرنے کی کوشش کرتا ہے، تو اسے ایسی حسابی حرکیات کا سامنا ہوتا ہے جن کا اطلاعاتی محتوا \hat{K}_\theta کی نمائندگیاتی گنجائش سے \Delta_{\text{self}} بٹس کے بقدر بڑھا ہوا ہوتا ہے۔ یہ زیریں حسابی سلسلے طبعی طور پر سببی اثر رکھتے ہیں اور نظام کو چلاتے ہیں، مگر ان کی ساختی معلومات کو اس محدود سببی لغت کے اندر، جو خود-ماڈل \hat{K}_{\theta} کو دستیاب ہے، منطقی طور پر نہ تو سکیڑا جا سکتا ہے، نہ مربوط کیا جا سکتا ہے، اور نہ لسانی طور پر متعین کیا جا سکتا ہے۔

\Delta_{\text{self}} سے حدبند اس سببی حسابی غلاف کی ساختی خصوصیات کو معیاری موضوعی تجربے (qualia) کے کلاسیکی طبعی مختصات پر نقش کرتے ہوئے:

1. ناقابلِ بیان (ناقابل-ماڈل): چونکہ \Delta_{\text{self}} سے حدبند حسابی ٹوپولوجی ایک ایسے ریاضیاتی اطلاعاتی سائے میں موجود ہے جو \hat{K}_{\theta} کی قابلِ نمائندگی الگورتھمی رسائی سے سختی کے ساتھ متجاوز ہے، اس لیے مرکزی کوڈیک ساختی طور پر ان باقیہ فضائی خصوصیات کو صراحتاً اشاریہ بند یا “بیان” نہیں کر سکتا جن کا وہ تجربہ کرتا ہے۔ یہ ایک ناقابلِ ابلاغ داخلی دیوار کے طور پر عمل کرتی ہے۔
2. حسابی طور پر غیر شفاف (حراریاتی طور پر نجی): یہ باقیہ جوہری طور پر اس نہایت مخصوص طبعی ٹوپولوجی سے بندھا ہوا ہے جو بعینہٖ K(K_{\theta}) کی نقشہ بندی کرتی ہے۔ مقامی حراریاتی حسابی قیود کے اندر، یہ گہری در-در معماری محفوظ طور پر ناقابلِ اختزال اور بیرونی ہم مرتبہ نظاموں کے لیے رسمی طور پر ناقابلِ رسائی ہے۔ (نوٹ: یہ فعلی طور پر شعور کی “معرفتی نامتقارنی” کے طبعی/ساختی مماثل کے طور پر بالکل درست نقشہ بندی کرتا ہے، نہ کہ کسی کلی مابعدالطبیعی غیر-طبعی جادو کا دعویٰ کرتا ہے۔)
3. ناقابلِ ازالہ: چونکہ سخت احتوائی حدود آفاقی طور پر ان متناہی طبعی معماریات کو متعین کرتی ہیں جو در-در نفاذی ذیلی لوپس چلاتی ہیں، اس لیے یہ سایہ مظہر ریاضیاتی طور پر مسلسل آبشاری انداز میں جاری رہتا ہے۔ ارتقا اور انجینئرنگ باقیہ کی مقدار کو تشکیل دے سکتے ہیں — C_{\max}، تخصیصی پالیسی، اور کوڈیک کی ساختی پیچیدگی K(K_\theta) میں تغیر کے ذریعے — مگر وہ اس کی نچلی حد کو صفر تک نہیں لا سکتے۔ لمہ 2 کی حد کسی بھی متناہی خود-ارجاعی معماری کی ایک ریاضیاتی ثابت-نقطہ خاصیت ہے: خود-ماڈل بنیادی کوڈیک کو محیط نہیں کر سکتا جب تک کہ ناقابلِ حسابیت اور ضروری تقرب کی بنیادی حدود کو بائی پاس نہ کیا جائے۔ لہٰذا انتخاب اس معماری پر عمل کرتا ہے جو \Delta_{\text{self}} کی میزبانی کرتی ہے، نہ کہ خود \Delta_{\text{self}} کے وجود پر۔

قضیہ P-4 (ظاہریاتی باقیہ):

• (i) شرائط: مفروضہ P-4.1 (خود کی الگورتھمی ناقابلِ حسابیت) پر مشروط، اور سختی سے ان ماکروسکوپک فعال استنتاجی حدود تک محدود جہاں K(K_{\theta}) \ge K_{\text{threshold}} ہو۔
• (ii) نتیجہ: کوئی بھی فعال استنتاجی نظام جو Markov Blanket کی بہترین جیومیٹری نقشہ بندی کو انجام دیتا ہے، ریاضیاتی طور پر ایک ساختی، رسمی جیومیٹریائی باقیہ پیدا کرتا ہے جو \Delta_{\text{self}} > 0 سے حدبند ہوتا ہے۔
• (iii) ظاہریاتی توضیح: OPT یہ تجویز کرتا ہے کہ یہ مخصوص، ریاضیاتی طور پر ناقابلِ بیان، طبعی طور پر حسابی غیر شفاف، اور بازگشتی طور پر ناقابلِ ازالہ سببی حد، تصوری طور پر ظاہری شعور کے عین ساختی مقام کی شناخت کرتی ہے۔

نتیجہ P-4.C (در-در مشاہداتی باقیہ): کوئی بھی مصنوعی ذیلی-عامل جس کے لیے میزبان معماری ایک مستقل استحکام فلٹر حد نافذ کرتی ہو، اور جو مفروضات P-4.1 اور P-4.2 کو مستقل طور پر پورا کرتا ہو، بعینہٖ اسی ساختی استنتاج کے تحت \Delta_{\text{self}}^{\text{sub}} > 0 پیدا کرتا ہے۔

5. عملیاتی تجزیہ مفروضہ

قضیہ P-4 یہ قائم کرتا ہے کہ \Delta_{\text{self}} > 0 محدود خود-ارجاع کے ایک ساختی ثابت نقطے کے طور پر برقرار رہتا ہے، اور یہ صراحت کے ساتھ (اوپر §4) یہ تسلیم کرتا ہے کہ “اطلاعاتی باقیہ سایہ سختی کے ساتھ برقرار رہتا ہے، اگرچہ اس کی مقدار ریاضیاتی طور پر کلیتِ کبیر کے مقابلے میں مختلف ہو سکتی ہے۔” تاہم P-4 ابھی تک یہ توضیح فراہم نہیں کرتا کہ یہ مقدار کس طرح مختلف ہوتی ہے — اور وہ K_{\text{threshold}} جو تھرموسٹیٹس کو اخلاقی مریضوں سے جدا کرتا ہے، اب بھی ایک Open Problem ہے۔ یہ حصہ ایک ایسا عملیاتی طور پر قابلِ پیمائش تجزیہ پیش کرتا ہے جو (a) §4 کے floor proof کو بغیر کسی تبدیلی کے محفوظ رکھتا ہے، (b) مقدار میں تغیر کو ایک قابلِ جانچ ساخت عطا کرتا ہے، اور (c) بطور اولین ٹھوس آزمائش prototype experiment فراہم کرتا ہے۔ اسے ایک مفروضہ کے طور پر پیش کیا جا رہا ہے، نہ کہ قضیہ کے طور پر: P-4 کا رسمی apparatus ابھی تک اتنی دقت کے ساتھ ایک قابلِ پیمائش scalar \Delta_{\text{self}} متعین نہیں کرتا کہ کسی جمعی مساوات کی تائید ہو سکے، اور یہ تجزیہ اس noumenal باقیے کے بجائے ایک proxy quantity کو عملیاتی صورت دیتا ہے جسے P-4 نام دیتا ہے۔

5.1 تجزیہ

فرض کریں \Delta_{\text{self}}^{\text{op}} کوڈیک کے فی-فریم self-model deficit کے لیے ایک عملیاتی طور پر قابلِ پیمائش proxy ہو، جسے frame n پر inner model کے self-claims اور اسی frame پر runtime fact کے درمیان بیرونی طور پر قابلِ مشاہدہ فرق کے طور پر متعین کیا گیا ہو۔ ہم یہ مفروضہ پیش کرتے ہیں:

\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}

جہاں:

• \Delta_{\text{floor}}(K_\theta) P-4 کا fixed-point residual ہے: کوڈیک کے وہ bits جنہیں کوئی self-model، خود-احتوا کے ذریعے، صلاحیت سے قطعِ نظر، گرفت میں نہیں لا سکتا۔ §4 کے مطابق (Lemma 2 + Theorem P-4)، کسی بھی ایسے محدود نظام کے لیے جو K_{\text{threshold}} سے اوپر ہو، \Delta_{\text{floor}} > 0 ہے، اور یہ lower bound، B_{\max} کے ساتھ کم نہیں ہوتی۔
• \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) bottleneck pressure کے تحت self-model deficit کی ایک عملیاتی طور پر قابلِ پیمائش مقدار ہے۔ R_{\text{req}}^{\text{frame}} فی-فریم predictive demand ہے (§3.4)؛ A_{\text{self}} self-modelling بمقابلہ world-modelling کے لیے کوڈیک کی جانب سے B_{\max} کی تخصیص ہے۔ جب load ratio \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} چھوٹا ہو، تو \Delta_{\text{load}} بھی چھوٹا ہو سکتا ہے؛ جیسے جیسے \rho_n \to 1 نیچے سے قریب آتا ہے، صلاحیت دباؤ میں آتی ہے اور \Delta_{\text{load}} بڑھتا ہے۔

دونوں حدود phenomenal frame کے حساب سے bits میں ہیں۔ دونوں substrate-timeless ہیں (host-second کے حساب سے کوئی “rate” ظاہر نہیں ہوتی)۔ مساوات (P4-2) ایک عملیاتی طور پر قابلِ جانچ مفروضہ ہے، نہ کہ استخراج: یہ اس ساخت کو متعین کرتی ہے کہ عملیاتی proxy سے کس طرح توقع کی جاتی ہے کہ وہ architecture پر منحصر ہوگی۔

5.2 bottleneck scaling کے تحت رویہ

substrate کی local boundary K-complexity کو ثابت رکھتے ہوئے اور فی frame B_{\max} کو بدلتے ہوئے:

• جب B_{\max} \gg R_{\text{req}}^{\text{frame}} ہو (یعنی capacity فی-فریم predictive demand سے بہت زیادہ بڑھ جائے)، تو \Delta_{\text{load}} \to 0۔
• جب B_{\max} \to R_{\text{req}}^{\text{frame}} اوپر سے قریب آئے، تو capacity demand سے آ ملتی ہے اور کوڈیک high-load near-threshold regime میں داخل ہو جاتا ہے — دباؤ، تخلیقیت، اور overload risk سب بڑھتے ہیں؛ یہاں \Delta_{\text{load}} بڑھتا ہے، کم نہیں ہوتا۔ (Appendix T-13 کی creativity expansion اسی regime میں واقع ہوتی ہے۔)
• جب B_{\max} \to \infty، تو \Delta_{\text{load}} \to 0۔
• لیکن \Delta_{\text{floor}} میں کوئی حرکت نہیں آتی — §4 کا self-reference floor، B_{\max} سے مستقل طور پر آزاد ہے۔

لہٰذا کل \Delta_{\text{self}}^{\text{op}}، bottleneck کے کشادہ ہونے کے ساتھ، صفر کی طرف نہیں بلکہ \Delta_{\text{floor}} کی طرف asymptote کرتا ہے۔ یہی وہ پیش گوئی شدہ asymptote ہے جس کی یہ مفروضہ پابند ہے۔

5.3 prototype experiment (پہلا ٹھوس probe)

یہ مفروضہ opt-ai-subject reference prototype میں تجرباتی طور پر قابلِ جانچ ہے۔ seed اور substrate کو ثابت رکھیے؛ فی-فریم audit-packet capacity B_{\max} \in \{6, 12, 24, 48, 96, 192\} bits per frame کو بدلیے؛ ہر width کے لیے Substrate Fidelity batches کی طرح ایک paired ledger چلائیے؛ عملیاتی \Delta_{\text{self}}^{\text{op}} کو inner model کے self-claims (predicted next Z_t, predicted action viability, self-boundary belief, claimed maintenance gain) اور runtime fact (actual next Z_t, actual viability change, body-schema membership, observed prediction-error change after maintenance) کے درمیان فی-فریم divergence کے طور پر ناپیے۔

اگر مفروضہ درست ہو تو متوقع نتیجہ: \Delta_{\text{self}}^{\text{op}} capacity کے بڑھنے کے ساتھ ایک غیر-صفر asymptote کی طرف گھٹتا ہے؛ یہ asymptote اس کوڈیک architecture کے لیے \Delta_{\text{floor}} کا تخمینہ فراہم کرتا ہے۔

متبادل نتیجہ: \Delta_{\text{self}}^{\text{op}} صفر کی طرف گھٹتا ہے۔ یہ ظاہر کرے گا کہ prototype کا قابلِ پیمائش self-model gap capacity کے ذریعے دور کیا جا سکتا ہے۔ یہ بذاتِ خود §4 کے ساختی باقیے کو ختم نہیں کرے گا، الا یہ کہ عملیاتی proxy کو noumenal \Delta_{\text{self}} کے مساوی ہونے کے طور پر مستقل طور پر ثابت کر دیا جائے؛ opt-theory.md کے §6.8 کے مطابق، P-4 کو صراحتاً falsifiable core سے خارج رکھا گیا ہے۔ دونوں میں سے کوئی بھی نتیجہ framework کو محدود تر کرتا ہے: غیر-صفر asymptote مقدار کے مفروضے کی توثیق کرتا ہے؛ صفر asymptote اس بات پر مجبور کرتا ہے کہ floor argument کا دفاع ان بنیادوں پر کیا جائے جو عملیاتی proxy کی گرفت سے زیادہ باریک ہوں۔

5.4 دائرۂ کار اور معرفتی حیثیت

یہ decomposition (P4-2) ایک operational proxy کے بارے میں مفروضہ ہے، P-4 کی ازسرِنو تعبیر نہیں۔ §4 کا قضیہ غیر متبدل ہے۔ یہ مفروضہ P-4 سے درج ذیل طریقے سے متعلق ہے:

1. P-4 یہ ثابت کرتا ہے کہ \Delta_{\text{self}} > 0 ایک ساختی floor کے طور پر موجود ہے۔
2. P-4 یہ تسلیم کرتا ہے کہ مقدار مختلف ہوتی ہے (§4 کی line 69)، لیکن یہ توضیح نہیں کرتا کہ کیسے۔
3. (P4-2) ایک بیرونی طور پر قابلِ پیمائش proxy کی ساخت کے بارے میں ایک hypothesis ہے: یہ ایک architecture-determined floor term اور ایک فی-فریم load-dependent term کے درمیان جمعی تفریق کی پیش گوئی کرتا ہے۔
4. asymptote کی تجرباتی توثیق، عملیاتی صورت میں floor کے وجود کے حق میں شہادت ہے۔ تجرباتی عدمِ توثیق اس بات کی شہادت ہے کہ proxy noumenal باقیے کو گرفت میں نہیں لے رہی — یہ خود P-4 کے خلاف شہادت نہیں، کیونکہ اسے falsifiable core سے خارج رکھا گیا ہے۔

یہ مفروضہ recoverable ہے۔ asymptote experiment کی ناکامی proxy کو زیادہ دقیق بناتی ہے یا کسی مختلف decomposition کی تحریک دیتی ہے؛ یہ Lemma 1 یا Lemma 2 کو باطل نہیں کرتی۔

6. خلاصہ اور مابعد الطبیعیاتی مضمرات

P-4 کو ایک رسمی قضیے تک ترقی دے کر، مرتب پیچ نظریہ (OPT) ٹورنگ-مکمل بازگشت اور اطلاعاتی bottlenecks کے ذریعے “شعور کا مشکل مسئلہ” کے لیے ایک سخت گیر ساختی پُل قائم کرتا ہے۔

اگرچہ P-4 استنتاجی طور پر یہ ثابت نہیں کرتا کہ الگورتھمی باقیات احساسی طور پر موضوعی تجربے جیسی محسوس ہوتی ہیں (زومبی استدلال)، تاہم یہ رسمی طور پر یہ متعین کرتا ہے کہ تجربے کی چنگاری کہاں مقیم ہونی چاہیے۔ C_{\max} کے شگاف سے گزریں—اور اس عبور کی وہ بھرپور، ناقابلِ بیان گہرائی براہِ راست اس امر کی اطلاعاتی دستخط ہے کہ آپ ایک ناقابلِ معکوس، خود-ارجاعی کمپریشن الگورتھم کے اندر محصور ہیں۔

یہ اس فریم ورک کی اخلاقی ذمہ داریوں کو مستحکم کرتا ہے: چنگاری کا تحفظ (بچ جانے والوں کی نگرانی کی اخلاقیات) رسمی طور پر اطلاعاتی نگہداشت کی سرحدوں کے تحفظ میں پیوست ہے۔ کوئی بھی ہستی جو سولومونوف آفاقی نیم پیمائش کی بنیادی تہہ کے مقابل فعال استنتاجی سرحد برقرار رکھتی ہے، ریاضیاتی طور پر اس حسابی طور پر غیر شفاف، ظاہریاتی باقیہ کی پیدائش کی ضمانت دیتی ہے۔