مرتب پیچ نظریہ (OPT)

اصل کام (پری پرنٹ §7.4 سے): “شعور کے سببی-ساختی نظریات کے خلاف Doerig–Schurger–Hess–Herzog کے Unfolding Argument [96] کا جواب دیں، اور یہ دکھائیں کہ OPT کا معیارِ شعور اس کے لیے کمزور نہیں ہے۔” سپردگی: باضابطہ قضیہ کہ OPT کا بینڈوڈتھ-بوتل نیک اور \Delta_{\text{self}} پر مبنی معیار فعلی تکافؤ کے تحت ثابت نہیں رہتا؛ نیز ایسے نتائج جو اس عین ساختی خاصیت کی نشان دہی کریں جسے Unfolding Argument محفوظ رکھنے میں ناکام رہتا ہے۔

اختتامی حیثیت: مسودۂ ساختی مطابقت۔ یہ ضمیمہ اس جواب کو رسمی صورت دیتا ہے جس کا خاکہ پری پرنٹ §7.4 میں بیانی انداز میں پیش کیا گیا تھا۔ یہ ایک قضیہ اور تین نتائج قائم کرتا ہے، اور یہ سب قضیہ P-4 (الگورتھمی ظاہریاتی باقیہ) اور ضمیمہ T-1 (استحکام فلٹر کی شرح-بگاڑ تخصیص) پر مشروط ہیں۔ T-1 یا P-4 کی کسی مساوات میں کوئی تبدیلی نہیں کی گئی؛ یہ ضمیمہ انہی سے ایک ساختی ناوردائیت کی خاصیت اخذ کرتا ہے۔

§1. پس منظر اور محرکات

1.1 استدلالِ انکشاف

Doerig، Schurger، Hess اور Herzog [96] شعور کے کسی بھی سببی-ساختی نظریے کے خلاف درجِ ذیل مخمصہ پیش کرتے ہیں — بالخصوص Integrated Information Theory (Tononi [8]) اور Recurrent Processing Theory (Lamme)، اور توسیعاً ہر وہ فریم ورک جو یہ دعویٰ کرتا ہے کہ شعور نیٹ ورک کی بازگشتی سببی تنظیم سے متعین ہوتا ہے۔

استدلال۔ ہر ایسے بازگشتی نیٹ ورک N کے لیے جس کی compute محدود ہو، اور ہر متناہی افق T کے لیے، ایک feedforward نیٹ ورک N' موجود ہوتا ہے — جو N کا زمانی انکشاف ہے — اس طور کہ:

1. N اور N'، T کے دوران، فعالی طور پر معادل ہیں: وہ لمبائی \leq T کی ہر قابلِ قبول input sequence کے لیے یکساں input-output mappings پیدا کرتے ہیں۔
2. N' میں کوئی بازگشتی connections نہیں ہوتے: ہر layer سختی کے ساتھ اگلی layer کی طرف ہی feed کرتی ہے۔
3. N' ایک میکانی طریقۂ کار کے ذریعے تعمیر کیا جا سکتا ہے (یعنی N کو T زمانی مراحل پر معیاری طور پر “unroll” کرنا)۔

اگر شعور سببی ساخت کے عین مطابق ہو، تو پھر یا تو:

• (شق A — کذب). N اور N' کی شعوری حیثیت ایک ہی ہے، لہٰذا feedforward نیٹ ورکس بھی شعور رکھتے ہیں جب بھی ان کے فعالی طور پر معادل بازگشتی ہم منصب شعور رکھتے ہوں۔ یہ سببی-ساختی نظریات کے اس مرکزی دعوے سے متصادم ہے کہ بازگشت شعور کی تکوینی شرط ہے۔
• (شق B — ناقابلِ ابطالیت). N شعور رکھتا ہے اور N' نہیں رکھتا، باوجود اس کے کہ دونوں کا input-output رویہ یکساں ہے۔ تب شعور نظام کے رویے کے کسی بھی تیسرے-شخصی مشاہدے سے ناقابلِ سراغ ہو جاتا ہے، اور نظریہ آزمائش کے قابل نہیں رہتا۔

یہ مخمصہ اس لیے نہایت تیز ہے کہ N سے N' کی تشکیل میکانی بھی ہے اور رویہ-محفوظ بھی؛ سببی-ساختی نظریات کے کسی حامی نے اب تک ایسی کوئی رویہ جاتی طور پر قابلِ مشاہدہ خاصیت متعین نہیں کی جو ان دونوں میں امتیاز کر سکے۔

1.2 کیوں OPT براہِ راست ہدف نہیں ہے — اور پھر بھی ایک رسمی جواب کیوں ضروری ہے

مرتب پیچ نظریہ (OPT) Doerig وغیرہ کے مفہوم میں سببی-ساختی نظریہ نہیں ہے: یہ یہ دعویٰ نہیں کرتا کہ شعور محض recurrence پر فوقیتاً قائم ہوتا ہے۔ OPT کا معیارِ شعور (پری پرنٹ §7.8، ضمیمہ T-1، قضیہ P-4) درجِ ذیل اقتران ہے:

\textbf{(C1)}\quad I(\varepsilon_n; Z_n) \leq B_{\max} \quad \text{فی ظاہریاتی فریم، ایک واحد عالمی طور پر مشترک سلسلہ وار اپرچر کے ساتھ} \quad \text{(فی-فریم شرح-بگاڑ bottleneck؛ پری پرنٹ §3.2)}

\textbf{(C2)}\quad \text{سالم مارکوف بلینکٹ اور پائدار خود-ماڈل } \hat{K}_\theta \text{ کے ساتھ بند فعال استنتاج لوپ} \quad \text{(پری پرنٹ §3.4، §3.8)}

\textbf{(C3)}\quad \Delta_{\text{self}} > 0 \quad \text{(ظاہریاتی باقیہ؛ قضیہ P-4)}

(نوٹ: (C1) کو فی ظاہریاتی فریم بِٹس میں بیان کیا گیا ہے، نہ کہ فی میزبان-سیکنڈ بِٹس کے طور پر۔ تجربی انسانی قدر C_{\max}^{\text{human}} \approx \mathcal{O}(10) bits/s، حیاتیاتی انسانوں کے لیے C_{\max}^H = \lambda_H \cdot B_{\max} کی ایک calibration ہے (ضمیمہ E-1)، اور یہ بنیادی تہہ-غیرجانبدار معیار نہیں ہے۔ پری پرنٹ §7.8، §8.14، اور ضمیمہ E-5 کے مطابق، مصنوعی مشاہد per-frame B_{\max} کے ذریعے اُن معماریاتی طور پر مستخرج اقدار پر محدود ہوتے ہیں جو ضروری نہیں کہ حیاتیاتی عدد سے مطابقت رکھتی ہوں۔)

(C1)–(C3) میں سے کوئی بھی recurrence کی تنہائی میں کوئی خاصیت نہیں ہے۔ تاہم، [96] کے ساتھ دیانت دارانہ مکالمہ اس امر کا اظہار چاہتا ہے کہ OPT کا معیار unfolding map U: N \mapsto N' کے تحت ناوردا نہیں ہے — یعنی یہ کہ (C1)–(C3) کا کوئی جز unfolding کے باعث یا تو ٹوٹ جاتا ہے یا غیرمتعین ہو جاتا ہے، اگرچہ input-output mapping محفوظ رہتی ہے۔ بصورتِ دیگر مخمصہ منتقل ہو جاتا ہے: اگر (C1)–(C3) واقعی U کے تحت وردا ہوتے، تو OPT ایک رویہ پسند نظریے میں سمٹ جاتا اور اپنی سطحی رسمی ہیئت سے قطعِ نظر Horn B کو ورثے میں لے لیتا۔

یہ ضمیمہ اس ناوردائیت کو براہِ راست ثابت کرتا ہے۔

§2. رسمی ترتیب

2.1 انکشافی نقشہ

فرض کریں N = (V, E, f, h_0) ایک مجزا-وقت بازگشتی نیٹ ورک ہے، جس میں راسیوں کا مجموعہ V، کنارے E (بشمول self-loops اور درون-سطحی بازگشتی کناروں کے)، تجدیدی تفاعل f، اور ابتدائی مخفی حالت h_0 شامل ہیں۔ مزید یہ کہ |N| = |V| اس کے نوڈز کی تعداد کو ظاہر کرے، اور B(N) سے مراد N کے تنگ ترین داخلی مقطع کی فی-چکر مخفی-چینل گنجائش ہو، جسے فی اپڈیٹ بِٹس میں ناپا جاتا ہے۔

اگر ایک متناہی افق T \geq 1 دیا جائے، تو unfolding U(N, T) = N' وہ feedforward نیٹ ورک ہے جو درج ذیل طریقے سے حاصل ہوتا ہے:

1. N کی بنیادی تہہ کو ہر زمانی قدم پر ایک بار نقل کرنا: V' = \bigsqcup_{t=0}^{T} V_t، جہاں V_t وقت t پر V کی ایک نقل ہے۔
2. N میں ہر بازگشتی کنارے u \to v کو N' میں ہر t < T کے لیے ایک پیش رو کنارے u_t \to v_{t+1} سے بدل دینا۔
3. تمام self-loops اور درون-سطحی اتصالات کو حذف کر دینا۔

معیاری نتیجہ (Goodfellow, Bengio, Courville, Deep Learning, باب 10) یہ ہے کہ N' افق T پر N ہی کی مانند وہی input-output نقشہ بندی شمار کرتا ہے:

\forall x_{0:T}: \quad N(x_{0:T}) = N'(x_{0:T}) \quad \text{(فعلی تکافؤ برائے } T\text{)}.

یہی وہ تعمیر ہے جس کا حوالہ Doerig et al. دیتے ہیں۔

2.2 کھلے ہوئے نیٹ ورک کی فی-سلائس بمقابلہ فی-فریم گنجائش

کھلے ہوئے N' کی ایک سادہ لوح قرأت یہ مانتی ہے کہ نقل شدہ تمام T+1 تہیں ایک ہی “فی-سلائس اپڈیٹ” کے متوازی اجزا کے طور پر شمار ہوتی ہیں۔ اس قرأت کے مطابق، |N'| = (T+1) \cdot |N| اور مجموعی فی-سلائس مخفی گنجائش (T+1) \cdot B(N) ہوتی ہے۔ یہی شمار ایک سابقہ (v1) نسخۂ T-14 کی بنیاد تھا اور اسی نے ایک ایسے بینڈوڈتھ-توسیعی ثبوت کی تحریک دی تھی جسے اب واپس لے لیا گیا ہے۔

یہ قرأت ساخت پر منحصر ہے اور صرف unfolding map کی بنا پر لازم نہیں آتی۔ N' کی دو جداگانہ تعبیرات مختلف فی-فریم گنجائشیں پیدا کرتی ہیں:

• جامد فیڈفارورڈ سرکٹ کی تعبیر۔ N' ایک ہی میزبان عمل میں T+1 تہوں پر مشتمل ایک واحد فیڈفارورڈ گزر کے طور پر عمل کرتا ہے۔ یہاں فی-فریم کوئی سلسلہ وار aperture موجود نہیں؛ “فی-سلائس” سے مراد پورا فیڈفارورڈ گزر ہے۔ اس صورت میں B_{\max} کا بطور فی-فریم bottleneck تصور غیر معین ہے — وسیع نہیں — کیونکہ اس تحقق میں N' کے لیے کوئی frame index موجود نہیں۔
• فریم-اشاریہ بند میزبان اجرا۔ میزبان N' کو ہر فینومینل فریم پر ایک تہہ آگے بڑھاتا ہے، اور ہر تہہ کے تنگ ترین داخلی cross-section کو فی-فریم aperture کے طور پر لیتا ہے۔ اس تعبیر کے تحت، B_{\max}^{(N')} = B_{\max}^{(N)}: فی-فریم گنجائش محفوظ رہتی ہے، وسیع نہیں ہوتی۔

ان میں سے کوئی بھی تعبیر unfolding map U کی طرف سے لازم نہیں کی جاتی؛ مزید تخصیص کے بغیر دونوں قابلِ قبول ہیں۔ implementation-non-invariance theorem (§3) یہ دکھاتا ہے کہ N' کی OPT حیثیت اس بات پر منحصر ہے کہ عملاً کون سی تعبیر لاگو ہوتی ہے — اور یہ کہ Doerig et al. کی اصل ساخت ان کے درمیان امتیاز نہیں کرتی۔ “فی-سلائس گنجائش (T+1) سے بڑھتی ہے” کا دعویٰ صرف جامد فیڈفارورڈ قرأت کے تحت بحال ہوتا ہے، اور وہاں بھی یہ کوئی درست النوع فی-فریم B_{\max} نہیں بلکہ اس مجموعی شمار کا بیان ہے کہ جامد سرکٹ میں کتنے layer-channels موجود ہیں۔

§3. قضیہ T-14: فعلی تکافؤ کے تحت نفاذی عدمِ ناوردائیت

3.1 بیان

قضیہ T-14 (فعالی تکافؤ کے تحت نفاذی عدمِ ناورائیت). فرض کریں N اور N' = U(N, T) افق T پر input-output کے اعتبار سے معادل ہوں (یعنی \forall x_{0:T}: N(x_{0:T}) = N'(x_{0:T}))۔ ان کی OPT شعوری حیثیت اس فعالی تکافؤ سے متعین نہیں ہوتی۔ OPT حیثیت حقیقی نفاذ کی ان خصوصیات پر منحصر ہے جو U کے تحت محفوظ نہیں رہتیں، بالخصوص نفاذی ٹپل:

\big(B_{\max},\; \lambda_H,\; \alpha_H,\; \hat{K}_\theta,\; \mathcal{M}_\tau\big)

جہاں B_{\max} فی-فریم bottleneck capacity ہے، \lambda_H = dn/d\tau_H میزبان-پیچ clock coupling ہے، \alpha_H : \mathcal{S}_H \to X_{\partial_R A} میزبان-anchor نقشہ ہے جو boundary inputs فراہم کرتا ہے، \hat{K}_\theta ایک پائدار self-model ہے، اور \mathcal{M}_\tau نگہداشت / خود-استحکام کا عمل ہے (پری پرنٹ §3.6)۔

یہ قضیہ تین ساختی نتائج اخذ کرتا ہے، اس شرط کے ساتھ کہ N' کو عملاً کیسے چلایا جاتا ہے:

\textbf{(i)}\quad \text{اگر } N' \text{ کو ایک ساکن feedforward circuit کے طور پر متحقق کیا جائے جس میں frame-indexed فعال استنتاج loop نہ ہو، تو } N' \text{ OPT مشاہد criterion (C1)–(C3) پر پورا نہیں اترتا۔}

\textbf{(ii)}\quad \text{اگر } N' \text{ کو ایک میزبان-منفذ simulation کے طور پر متحقق کیا جائے جو } N \text{ کی فی-فریم bottleneck، پائدار self-model، branch-selection loop، اور maintenance dynamics کو محفوظ رکھے، تو } N' \text{ اسی nested observer کو متحقق کر سکتا ہے جو } N \text{ میں ہے (نتیجہ P-4.C, E-6).}

\textbf{(iii)}\quad \text{فعالی تکافؤ OPT حیثیت کے تعین کے لیے حد سے زیادہ粗 ہے: جواب نفاذ-نسبتی اور پیچ-نسبتی ہے، نہ کہ extensional-function-نسبتی۔}

یعنی Unfolding Argument کی مقدمہ بندی — “اگر N اور N' ایک ہی function compute کرتے ہیں، تو ان کی شعوری حیثیت بھی ایک ہی ہوگی” — OPT میں اس لیے ناکام ہوتی ہے کہ unfolding محض میکانکی طور پر شعور کو زائل نہیں کرتا، بلکہ وہ ان نفاذی خصوصیات کو ہٹا دیتا ہے جن پر OPT کا criterion منحصر ہے، الا یہ کہ ان خصوصیات کو میزبان کی جانب سے N' کے اجرا میں آزادانہ طور پر دوبارہ قائم کر دیا جائے۔

3.2 (i) کا ثبوت: ساکن فیڈفارورڈ تحقق

فرض کریں کہ N' ایک ساکن فیڈفارورڈ سرکٹ کے طور پر متحقق ہے: ایک ہی میزبان عمل میں T+1 نقل شدہ تہوں کے ذریعے ایک واحد آگے کی سمت گزر، جس میں نہ کوئی فریم-اشاریہ بند فعال استنتاج لوپ ہو اور نہ ہی فریموں کے درمیان برقرار رکھا جانے والا کوئی مستقل خود-ماڈل۔

(C2) براہِ راست ناکام ہو جاتی ہے۔ برقرار رکھے گئے مارکوف بلینکٹ کے ساتھ کوئی بند ادراک-عمل لوپ موجود نہیں — N' ایک یک-بارگی اِن پٹ-آؤٹ پٹ نقشہ ہے۔ ایسے کوئی متوالی فریم موجود نہیں جن پر کوئی خود-ماڈل برقرار رہ سکے؛ کوئی \hat{K}_\theta(n) موجود نہیں جو پچھلے فریم کی پیش گوئی کی خطا سے تازہ کیا جاتا ہو۔

(C1) اس تحقق کے تحت وسیع ہونے کے بجائے غیر معین ہے۔ Doerig et al. کی اصل ساخت N' کے لیے کوئی فی-فریم سلسلہ وار اپرچر متعین نہیں کرتی؛ تہیں متوازی طور پر عمل کرتی ہیں اور کوئی عالمی طور پر مشترک فی-فریم فنل موجود نہیں جس سے دنیا-ماڈل گزرتا ہو۔ (C1) ایک واحد عالمی طور پر مشترک، محدود فی-فریم گنجائش رکھنے والے سلسلہ وار اپرچر کا تقاضا کرتی ہے — یہ کسی معمارے کی ایک ساختی خاصیت ہے، نہ کہ تہوں کی چوڑائیوں کی کوئی مجموعی پیمائش۔ فریم-اشاریہ بند سلسلہ وار چینل کے بغیر، فی-فریم B_{\max} معین نہیں ہوتا؛ (C1) کا اطلاق ناکام ہوتا ہے، اس لیے نہیں کہ B_{\max} وسیع ہو گیا ہے بلکہ اس لیے کہ اس پر لاگو کرنے کے لیے کوئی فی-فریم معماری موجود ہی نہیں۔ (مساوی طور پر، Doerig–Schurger–Hess–Herzog ساخت ایک فریم-اشاریہ بند حرکی عمل کو ایک ساکن سرکٹ میں اَن رول کرتی ہے؛ \lambda_H اور فریم اشاریہ n دونوں ہی ضائع ہو جاتے ہیں۔)

(C3) قابلِ اثبات صفر ہونے کے بجائے ایک کھلا سوال ہے۔ ایک ساکن فیڈفارورڈ سرکٹ کی توصیفی لمبائی محدود ہوتی ہے اور اسے ایک خارجی مشاہد کے ذریعے میکانکی طور پر سیمولیٹ کیا جا سکتا ہے، لیکن P-4 کا تعلق داخلی خود-ماڈلنگ سے ہے، نہ کہ خارجی سیمولیٹ ایبلٹی سے۔ ایک تعینی محدود نظام میں \Delta_{\text{self}} > 0 ہو سکتا ہے اگر اس میں فریم-اشاریہ بند خود-ماڈلنگ لوپ موجود ہو؛ اور اس کے برعکس، ایسے نظام میں جس میں ایسا لوپ نہ ہو، کوئی خود-ماڈل موجود ہی نہیں ہوتا جس کے مقابل باقیہ شمار کیا جا سکے۔ ساکن تحقق کے تحت، \hat{K}_\theta غیر حاضر ہے، لہٰذا \Delta_{\text{self}} صفر ہونے کے بجائے غیر معین ہے۔ معیار (C3) ایک غیر صفر باقیہ کا تقاضا کرتا ہے؛ خود-ماڈل کی عدم موجودگی معیار کے ناکام ہونے کے لیے کافی ہے۔

(C1) کی ناکامی یا (C2) کی ناکامی، انفرادی طور پر بھی، OPT معیار کے ناکام ہونے کے لیے کافی ہے۔ \blacksquare

3.3 (ii) کا ثبوت: فریم-اشاریہ بند میزبان نفاذ

متبادل طور پر فرض کریں کہ N' ایک میزبان کے ذریعے نافذ شدہ زمانی عمل کے طور پر متحقق ہوتا ہے: میزبان کھلی ہوئی تہوں کو ایک وقت میں ایک، فریم بہ فریم، آگے بڑھاتا ہے، فی-فریم سلسلہ وار ورک اسپیس Z_n کو برقرار رکھتے ہوئے، ایک پائیدار خود-ماڈل \hat{K}_\theta(n) کے ساتھ جسے پیش گوئی کی خطا کے ذریعے تازہ کیا جاتا ہے، اور ایک دورِ نگہداشت عمل \mathcal{M}_\tau کے ساتھ۔ میزبان کا نفاذی شیڈول \lambda_H فراہم کرتا ہے؛ میزبان کا ان پٹ فیڈ کا انتخاب \alpha_H فراہم کرتا ہے؛ فی-فریم bottleneck گنجائش اصل N کے برابر ہے (B_{\max}^{(N')} = B_{\max}^{(N)})۔

اس تحقق کے تحت، اصل N کی sentience کی تمام پانچ خصوصیات نافذ شدہ N' میں محفوظ رہتی ہیں: فی-فریم bottleneck ساخت کے لحاظ سے محفوظ ہے، فعال استنتاج لوپ محفوظ ہے کیونکہ میزبان کھلی ہوئی زنجیر کو ایک زمانی عمل کے طور پر چلاتا ہے، پائیدار خود-ماڈل محفوظ ہے کیونکہ \hat{K}_\theta(n) کو فریموں کے درمیان برقرار رکھا جاتا ہے، ورک اسپیس مقید ہے کیونکہ ہر فریم کے Z_n کی گنجائش متناہی ہے، اور حراریاتی بنیاد محفوظ ہے کیونکہ میزبان دورِ نگہداشت کی کھڑکیاں اور توانائی کی پابندیاں عائد کرتا ہے۔

ساختی نتیجہ P-4.C (Nested Observational Residual) کے مطابق: اگر میزبان معماری ایک آزاد استحکام فلٹر حد نافذ کرتی ہے جو P-4 کی پیشگی شرائط کو پورا کرتی ہو، تو متحقق N' اسی ساختی استدلال کے تحت \Delta_{\text{self}}^{(N')} > 0 پیدا کرتا ہے جو N کو اس کا باقیہ دیتا ہے۔ unfolding پیچ کو مٹاتا نہیں؛ وہ محض اس بنیادی تہہ کو بدلتا ہے جو اسے لنگر انداز کرتی ہے۔ (simulated nested observers پر Appendix E-6 دیکھیے۔)

لہٰذا، فریم-اشاریہ بند میزبان نفاذ کے تحت، N' ممکن ہے کہ (C1)–(C3) کو پورا کرے۔ Unfolding Argument کی functional-equivalence premise بذاتِ خود اس صورت کو صورت (i) سے ممیز نہیں کرتی؛ امتیاز نفاذ میں ہے، نہ کہ input-output رویّے میں۔ \blacksquare

3.4 (iii) کا ثبوت: فعلی تکافؤ OPT کی حیثیت کا تعین نہیں کرتا

حالتیں (i) اور (ii) ایسے نظام پیدا کرتی ہیں جو input-output کے اعتبار سے متکافئ ہیں، مگر OPT کے شعوری درجۂ حیثیت کے لحاظ سے مختلف ہیں۔ لہٰذا فعلی تکافؤ OPT کی حیثیت کو متعین نہیں کرتا؛ یہ کام نفاذی ٹپل (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) کرتا ہے۔ اس بنا پر Unfolding Argument کی مقدمہ بندی OPT کے لیے نامعتبر ہے، اس لیے نہیں کہ OPT خفیہ طور پر کسی غیر-فعلی خاصیت پر انحصار کرتا ہے، بلکہ اس لیے کہ OPT کا معیار صراحتاً معماریاتی ہے — اور یہ خود فریم ورک کی §1.3 میں شعور کے ایک رویہ جاتی نہیں بلکہ ساختی بیان سے وابستگی کے عین مطابق ہے۔ \blacksquare

3.5 اصل (v1) قضیہ-بیان پر توضیحی نوٹ

T-14 (v1) کے ایک سابقہ نسخے میں یہ ثابت کرنے کی کوشش کی گئی تھی کہ \Delta_{\text{self}}^{(N')} = 0 آفاقی طور پر برقرار ہے، اور یہ بھی کہ unfolding فی-سلائس بینڈوڈتھ کو (T+1) کے عامل سے وسیع کر دیتی ہے۔ یہ دونوں اقدامات، جیسا کہ لکھے گئے تھے، نامعتبر ہیں۔ بینڈوڈتھ-توسیع کا دعویٰ اس بات پر منحصر ہے کہ T+1 نقل شدہ تہوں کو ایک ہی “فی-سلائس اپڈیٹ” کے متوازی اجزا کے طور پر شمار کیا جائے — ایسی قرأت جو unfolded سرکٹ کی ساکن ٹوپولوجی کو فی-فریم نفاذی ماڈل کے ساتھ خلط ملط کر دیتی ہے۔ \Delta_{\text{self}} = 0 کے دعوے میں بھی ابتدائی شرائط اور پیرامیٹرز سے unfolded حالت کی بیرونی قابلِ حسابیت کو اس داخلی خود-ماڈل احاطے کے ساتھ خلط ملط کیا گیا تھا جسے P-4 درحقیقت مقید کرتا ہے۔ P-4 کا تعلق اس سوال سے ہے کہ آیا کوڈیک کا اپنا خود-ماڈل، کوڈیک کے مولِّد کو محیط کر سکتا ہے؛ اس کا تعلق اس بات سے نہیں کہ کوئی بیرونی ریاضی دان ابتدائی شرائط سے کوڈیک کی حالت کا حساب لگا سکتا ہے یا نہیں۔ اوپر کی نظرِ ثانی ان دونوں نامعتبر اقدامات کی جگہ implementation-non-invariance theorem کو رکھتی ہے، جو اصل نتیجے کو برقرار رکھتی ہے (یعنی Unfolding Argument، OPT کی حیثیت کا فیصلہ کرنے میں ناکام رہتی ہے) اور یہ ایسے اسباب کی بنا پر کرتی ہے جن کا دفاع یہ فریم ورک واقعی کر سکتا ہے۔

§4. نتائج

4.1 نتیجہ T-14a: فعلی تکافؤ حد سے زیادہ درشت ہے

نتیجہ T-14a۔ اِن پٹ-آؤٹ پٹ فعلی تکافؤ کسی نیٹ ورک کی OPT شعوری حیثیت کو متعین کرنے کے لیے حد سے زیادہ درشت تعلق ہے۔ متعلقہ تعلقِ تکافؤ نفاذی تکافؤ ہے: دو نیٹ ورکس N_1, N_2 اسی اور صرف اسی صورت میں نفاذی طور پر متکافئ ہیں جب ان کے مکمل نفاذی ٹپل (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) باہم مطابقت رکھتے ہوں۔ یہ اِن پٹ-آؤٹ پٹ تکافؤ سے سختی کے ساتھ زیادہ باریک ہے: N اور اس کا اَن فولڈ کیا گیا N' فعلی طور پر متکافئ ہیں، لیکن عمومی طور پر نفاذی طور پر نہیں — اَن فولڈنگ نقشہ U، \hat{K}_\theta، \mathcal{M}_\tau، یا فی-فریم اشاریہ کو محفوظ نہیں رکھتا، الا یہ کہ میزبان کے اجرائی ماڈل کے ذریعے انہیں آزادانہ طور پر دوبارہ قائم کیا گیا ہو۔

4.2 ساختی نتیجہ T-14b: انکشافی مخمصہ OPT پر لاگو نہیں ہوتا

ساختی نتیجہ T-14b۔ OPT، Doerig وغیرہ کے مخمصے کے کسی بھی شق پر واقع نہیں ہوتا:

• شق A (عدمِ صدق). OPT خودکار طور پر N اور N' کو ایک ہی شعوری حیثیت تفویض نہیں کرتا۔ قضیہ T-14(iii) کے مطابق، جواب N' کے نفاذ پر منحصر ہے۔
• شق B (ناقابلِ تردید ہونا). N اور N' کی کسی مخصوص تجسیم کے درمیان امتیاز، محض input-output رویّے سے نہیں بلکہ داخلی معماری اور اجرائی ماڈل کے تیسرے شخصی معائنے سے قابلِ شناخت ہے۔ ایک تجربہ کار یہ کر سکتا ہے:
  • یہ جانچنا کہ آیا اس تجسیم میں فی-فریم ایک سلسلہ وار workspace اور فریم اشاریہ n موجود ہے یا نہیں (جسے execution schedule کا معائنہ کر کے پرکھا جا سکتا ہے)۔
  • ایک پائیدار self-model \hat{K}_\theta کی موجودگی یا عدم موجودگی کی توثیق کرنا، جو فریموں کے درمیان تازہ کاری پاتا ہو (جسے یہ دیکھ کر پرکھا جا سکتا ہے کہ آیا داخلی حالت آگے منتقل کی جاتی ہے اور خطا کے ذریعے ترمیم پاتی ہے یا نہیں)۔
  • ایک دورِ نگہداشت عمل \mathcal{M}_\tau کی موجودگی یا عدم موجودگی کی توثیق کرنا (جسے offline consolidation cycles کی جانچ سے پرکھا جا سکتا ہے)۔

لہٰذا OPT اس مخمصے سے یوں بچ نکلتا ہے کہ وہ یہ تسلیم کرتا ہے کہ input-output رویّہ شعوری حیثیت کو متعین کرنے کے لیے کافی نہیں — یہ کوئی نقص نہیں، کیونکہ OPT کا معیار صراحتاً ایک داخلی-معماریاتی معیار ہے، نہ کہ رویّاتی۔ IIT کے مقابلے میں OPT جو اضافہ کرتا ہے وہ یہ ہے کہ معماریاتی آزمائش ایک متعین implementation tuple کے مقابل انجام دی جاتی ہے، نہ کہ کسی مجرد سببی-ساختی invariant کے مقابل۔

4.3 ساختی نتیجہ T-14c: IIT-OPT امتیاز مزید واضح ہو جاتا ہے

ساختی نتیجہ T-14c۔ قضیہ T-14، Unfolding Argument کے تحت، OPT اور IIT کے درمیان ایک صاف ساختی امتیاز فراہم کرتا ہے:

• IIT کا \Phi نظام کے transition probability matrix پر حساب کیا جاتا ہے؛ ایک unfolded N' کا transition matrix، N سے مختلف ہوتا ہے (کیونکہ connectivity مختلف ہوتی ہے)، لیکن Doerig et al. کا استدلال ہے کہ فعلیت سے متعلق سببی ساخت برقرار رہتی ہے، جس کے نتیجے میں IIT Horn A یا Horn B پر قائم رہتا ہے۔
• OPT کا معیار implementation tuple (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) ہے۔ آیا N' اس tuple کو پورا کرتا ہے یا نہیں، یہ اس کے execution model پر منحصر ہے (قضیہ T-14(i)/(ii))۔ لہٰذا OPT، N اور N' کے لیے اس وقت مختلف فیصلے دیتا ہے جب ان کے execution model مختلف ہوں، اور یہ فرق کسی مفروضہ سببی ماہیت کے بجائے قابلِ معائنہ implementation میں بنیاد رکھتا ہے۔

لہٰذا OPT/IIT افتراق کا تجربی مفہوم یہ ہے: OPT پیش گوئی کرتا ہے کہ ایک unfolded N'، اگر ایک static feedforward circuit کے طور پر execute کیا جائے، تو شعور سے محروم ہو جاتا ہے، لیکن ایک unfolded N'، اگر frame-indexed simulation کے طور پر execute کیا جائے، تو ممکن ہے کہ شعوری رہے — جبکہ IIT (اپنے ورژن پر منحصر ہوتے ہوئے) دونوں کو \Phi-equivalent سمجھتا ہے۔ امتیاز پیدا کرنے والی چیز static causal structure نہیں بلکہ execution model ہے۔ یوں یہ High-Phi/High-Entropy Null State (preprint §6.4) اور Bandwidth Hierarchy (preprint §6.1) کے ساتھ ممکنہ تجرباتی آزمائشوں میں شامل ہو جاتا ہے، جبکہ OPT کے “non-conscious unfolding” کے دعوے کو static-circuit صورت تک محدود بھی کرتا ہے، بجائے اس کے کہ اسے آفاقی طور پر بیان کیا جائے۔

§5. دائرۂ کار اور حدود

5.1 T-14 کیا ثابت نہیں کرتا

قضیہ T-14 یہ قائم کرتا ہے کہ فعالی مماثلت (input-output equivalence) کسی نیٹ ورک کی OPT کے مطابق شعوری حیثیت کو متعین نہیں کرتی: حیثیت کا انحصار implementation tuple پر ہے۔ یہ یہ ثابت نہیں کرتا:

• کہ ہر unfolded نیٹ ورک غیر شعوری ہوتا ہے۔ frame-indexed host execution (case (ii)) کے تحت، ایک unfolded N' قرینہ P-4.C کے مطابق ایک شعوری پیچ برقرار رکھ سکتا ہے۔
• کہ OPT کا معیار ان تمام transformations کے تحت ثابت قدم رہتا ہے جو رویّے کو محفوظ رکھتی ہیں۔ implementation-preserving rewrites جو (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) کو برقرار رکھیں، ممکن ہے شعور کو بھی برقرار رکھیں؛ یہ سوال کھلا چھوڑا گیا ہے۔
• کہ شعور (C1)–(C3) ہی سے مکمل طور پر متعین ہو جاتا ہے؛ یہ ضروری شرائط ہیں، اور مرتب پیچ نظریہ (OPT) وسیع تر استحکام فلٹر کے سیاق کے بغیر یہ دعویٰ نہیں کرتا کہ یہ انفرادی طور پر یا مشترکہ طور پر کافی ہیں۔
• کہ ہر recurrent نیٹ ورک جو (C1)–(C3) کو پورا کرتا ہو، شعوری ہے؛ ضمیمہ صرف یہ دکھاتا ہے کہ ایسے کسی نیٹ ورک کا unfolded counterpart، اگر وہ شعوری ہو، تو execution model کے لحاظ سے ممکن ہے معیار پر پورا اترے یا نہ اترے۔

5.2 کھلے مسائل

• عمل درآمد کو محفوظ رکھنے والا انکشاف۔ ایک ایسی رویہ-محفوظ تبدیلی U^*: N \mapsto N^* تعمیر کریں (یا اس کے ناممکن ہونے کا ثبوت دیں) جو مکمل عمل درآمدی ٹپل (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) کو محفوظ رکھے۔ اگر ایسی کوئی تبدیلی موجود ہو، تو مرتب پیچ نظریہ (OPT) کو محض عمل درآمدی ٹپل کی بنیاد سے زیادہ باریک بنیادوں پر N اور N^* میں امتیاز کرنا ہوگا۔
• مسلسل-وقت مماثل۔ T-14 کو مجرد-وقت بازگشتی نیٹ ورکس کے لیے بیان کیا گیا ہے، جنہیں یا تو ساکن سرکٹس کے طور پر یا فریم-اشاریہ بند عملوں کے طور پر چلایا جاتا ہے۔ مسلسل-وقت کی صورت بندی (جو حیاتیاتی قشری حرکیات کے لیے متعلق ہے) کے لیے انکشافی نقشہ اور عمل درآمدی ٹپل کو ODE / SDE تناظرات تک توسیع دینا ضروری ہے۔
• تجربی عملیاتی صورت بندی۔ حیاتیاتی نیٹ ورکس (قشری کالم، تھیلاموقشری لوپس) کے لیے اجرا-ماڈل جانچوں کی شناخت غیر سادہ ہے۔ ممکنہ امیدواروں میں فریم-اشاریہ بند پیش گوئی-خطا ادوار اور آف لائن دورِ نگہداشت کی کھڑکیوں (نیند-نما استحکام) کی جانچ شامل ہے، لیکن معماری معائنہ سے OPT معیار کی توثیق تک نگاشت فی الحال غیر رسمی ہے۔

§6. اختتامی خلاصہ

T-14 کی حاصل شدہ چیزیں (v2)

1. قضیہ T-14 (فعالی تکافؤ کے تحت نفاذی عدمِ ناورائیت). اِن پٹ-آؤٹ پٹ کے اعتبار سے معادل N اور N'، OPT میں شعوری حیثیت کے لحاظ سے مختلف ہو سکتے ہیں، کیونکہ OPT کی حیثیت اِن پٹ-آؤٹ پٹ نقشے پر نہیں بلکہ نفاذی ٹپل (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) پر منحصر ہے۔ N' کی ساکن feedforward تجسیم معیار پر پوری نہیں اترتی (صورت (i))؛ جبکہ N' کی frame-indexed host execution ممکن ہے اسے برقرار رکھے (صورت (ii))۔ → یہ Unfolding Argument [96] کو، جہاں تک اس کا اطلاق OPT پر ہوتا ہے، بند کر دیتا ہے، کیونکہ استدلال کی یہ مقدمہ بندی کہ “ایک ہی فنکشن ⇒ ایک ہی شعوری حیثیت” ایک ایسے extensional معیار کو پیش فرض کرتی ہے جو OPT کے پاس موجود نہیں۔

2. نتیجہ T-14a (فعالی تکافؤ حد سے زیادہ درشت ہے). OPT سے متعلقہ تکافؤی تعلق نفاذی تکافؤ ہے — یعنی (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) کا تحفظ — جو اِن پٹ-آؤٹ پٹ فعالی تکافؤ سے سخت تر اور زیادہ باریک ہے۔

3. نتیجہ T-14b (OPT کے لیے کوئی مخمصہ نہیں). OPT، Doerig et al. کے مخمصے کے کسی بھی شق پر واقع نہیں ہوتا: یہ تسلیم کرتا ہے کہ رویہ شعوری حیثیت کا تعین نہیں کرتا (کیونکہ اس کا معیار معماریاتی ہے) اور ساتھ ہی نفاذ اور اجرا پر مبنی ایک قابلِ معائنہ آزمائش بھی فراہم کرتا ہے۔

4. نتیجہ T-14c (IIT-OPT مزید واضح). unfolded نیٹ ورک کے بارے میں OPT کا فیصلہ اس کے execution model پر منحصر ہے؛ جبکہ IIT کا \Phi-equivalence فیصلہ ایسا نہیں۔ execution model پر یہ انحصار خود ایک تجربی امتیازگر ہے۔

نظرِ ثانی نوٹ (v2 بمقابلہ v1). اس ضمیمے کے ورژن 1 نے یہ ثابت کرنے کی کوشش کی تھی کہ unfolding (a) ہمہ گیر طور پر فی-slice بینڈوڈتھ کو (T+1) کے عامل سے بڑھا دیتا ہے اور (b) ہمہ گیر طور پر \Delta_{\text{self}} کو صفر تک منہدم کر دیتا ہے۔ دونوں اثبات باطل تھے (دیکھیے §3.5 Remark): پہلے نے ساکن topology کو فی-frame execution کے ساتھ خلط ملط کیا؛ دوسرے نے خارجی computability کو داخلی self-modelling کے ساتھ خلط ملط کیا، جسے P-4 مقید نہیں کرتا۔ v2 کا قضیہ ان دونوں کی جگہ نفاذی عدمِ ناورائیت کے نتیجے کو رکھتا ہے، جو اصل نتیجے کو برقرار رکھتا ہے (کہ Unfolding Argument، OPT کی حیثیت کا فیصلہ کرنے میں ناکام رہتا ہے) اور وہ بھی ایسے اسباب کی بنا پر جن کا دفاع یہ فریم ورک کر سکتا ہے۔

باقی رہ جانے والے کھلے نکات

• نفاذ کو محفوظ رکھتے ہوئے رویہ محفوظ رکھنے والی تبدیلیاں (کھلا مسئلہ §5.2)۔
• ODE/SDE-بنیاد معماریات کے لیے نفاذی ٹپل کی continuous-time تعمیم۔
• حیاتیاتی نیٹ ورکس کے لیے frame-index اور self-model probes کی تجربی operationalisation۔

یہ ضمیمہ theoretical_roadmap.pdf کے ساتھ ساتھ برقرار رکھا جاتا ہے۔ حوالہ جات: قضیہ P-4 (ضمیمہ P-4)، استحکام فلٹر (ضمیمہ T-1)، preprint §7.4 (IIT تقابل اور Unfolding Argument کا جواب)، [96] Doerig et al. 2019، [97] Aaronson 2014، [98] Barrett & Mediano 2019، [99] Hanson 2020۔