استخدم `/doctor` عندما يبدو الإعداد خاطئًا أو قبل تمكين مزوّد LLM:```text
!decomp /doctor
!decomp /doctor:net

مسار الأمر العادي يقوم بالتحليل المحلي، ويبني حقائق المحلل، ويستدعي اختياريًا نقطة نهاية LLM المكوّنة، ويتحقق من الاستجابة مقابل الأدلة المسترجعة، ويطبع كود C الزائف مع الثقة والتحذيرات وملاحظات عدم اليقين:```text
!decomp ntdll!RtlAllocateHeap
!decomp kernel32!Sleep
!decomp game.exe!CheckIntegrity

- `brief` يطبع الهدف، والثقة، والملخص، وأول تحذير عدم يقين أو تحذير من المُتحقِّق.
- `explain` يضيف أقسام الأدلة، وتدفق التحكم، وتلميحات الأنواع، والسلوك الملاحَظ، وأهداف الاستدعاء.
- `json` يطبع JSON للطلب والاستجابة قابلًا للقراءة آليًا.
- `facts` يطبع حقائق المُحلِّل فقط ويعطّل مسار LLM.
- `prompt` يطبع موجّه النظام وموجّه المستخدم وحقائق الموجّه بالضبط. ويعطّل استدعاء LLM.
- `data` يطبع لقطة JSON ثابتة مخصّصة للأتمتة بأسلوب WinDbg JavaScript/NatVis.
- `analyzer` يعرض مسار الكود الزائف الحتمي الخاص بالمُحلِّل فقط دون استدعاء LLM.
- `plan` ينفّذ تحليلًا محليًا ويطبع خطة فحص مسبق دون استدعاء LLM أو تحديث ذاكرة التخزين المؤقت للنتائج. ويتضمن أعداد الأهداف/الوحدات/النطاقات، وتوفّر PDB، وسياسة الجلسة، والتقسيم التقديري، والأعداد ذات الصلة بحجم الموجّه، وتوصيات عملية.

استخدم `/verbose` عندما يبدو أن أمرًا ما عالقًا أو عندما تريد رؤية دفق التقدّم الكامل:```text
!decomp /verbose module!SlowFunction
!decomp /verbose /view:json module!SlowFunction

- `/view:window` يشغّل مسار النتيجة العادي لـ `!decomp` للهدف ويفتح النتيجة المعروضة بالكامل في عارض منفصل.
- يستخدم العارض نفس مُصيّر الاستجابة المستخدم في مسار الكونسول، ثم يفتح نافذة أدوات Win32 أصلية غير نمطية (modeless) مملوكة لنافذة المُنقّح (debugger) عند العثور على واحدة.
- يُبلغ مُخرج المُنقّح عن مقبض نافذة العارض الأصلية. إذا تعذّر إنشاء نافذة العارض، يطبع الأمر تحذيرًا ويتراجع إلى نتيجة الكونسول العادية.
- تُعرض روابط DML فقط كتسميات نصية مع سلاسل أوامرها في العارض. عند توفر RichEdit، تستخدم النافذة تخطيط RTF بأسلوب GitHub مع عناوين أقسام، وتنسيق بيانات وصفية، وتمييز شبه كود؛ وإلا فإنها تتراجع إلى نص عادي.
- عندما تحتوي الجلسة الحالية على نتائج مخزنة سابقًا، يعرض العارض قائمة سجل على الجانب الأيسر بحيث يمكنك التبديل بين الإخراج الحالي ونتائج التفكيك السابقة دون إعادة تشغيل التحليل.
- تظل `/view:json` و`/view:facts` و`/view:prompt` و`/view:data` مخرجات كونسول قابلة للقراءة آليًا ولا تتم إعادة توجيهها إلى العارض.

دوال كبيرة:```text
!decomp /limit:deep module!LargeFunction
!decomp /limit:huge module!VeryLargeFunction
!decomp /limit:12000 module!VeryLargeFunction
!decomp /timeout:120000 module!SlowFunction

- `/deobf:on` هو الإعداد الافتراضي. ما يزال المحلل يُصدر حقائق أولية، لكن استعادة المُوزِّع عالية الثقة على نمط OLLVM، وإثبات الحواف الميتة المعتمة، وأنماط الاستبدال، وتراكبات CFG الدلالية قد تُوجّه حقائق التوجيه، وسياسة الدمج، وسياسة تعارض المُدقِّق، واستعادة الشبه-سي المنظمة.
- `/deobf:off` يُبقي حقائق `obfuscation` و `semantic_control_flow` و `deobfuscation_readiness` مرئية، لكنه يعطّل إجراءات إعادة الكتابة الآمنة، ويُبقي هيكلة تدفق التحكم على CFG الخام، ويُخبر مسارات التوجيه/الدمج/المدقِّق بالحفاظ على الشكل المعتم الخام.
- استخدم `/deobf:off` عندما تريد فحص المُوزِّع أو الفرع الزائف أو سطح الاستبدال مباشرةً بدلاً من مطالبة الامتداد باستعادة بنية غير معتمة.
- `/deobfuscation:on|off` يُقبل كاسم مستعار أطول.

مساعدات التخزين المؤقت وإعادة التشغيل:```text
!decomp /view:json module!FunctionName
!decomp /last:json
!decomp /view:explain module!FunctionName
!decomp /last:explain
!decomp /view:facts module!FunctionName
!decomp /last:facts
!decomp /view:data module!FunctionName
!decomp /last:data
!decomp /view:prompt module!FunctionName
!decomp /last:prompt
!decomp /history
!decomp /refresh module!FunctionName
!decomp /last:2:explain
!decomp /last:2:json

- `/fix:noreturn:name` يعامل الاستدعاءات المطابقة على أنها لا تُرجع قيمة (no-return) لأغراض التفكيك الاحتياطي، واستعادة مخطط تدفق التحكم (CFG)، وحقائق ABI، وفحوصات المدقق.
- `/fix:type:expr=TYPE` يضيف تلميح نوع مستخدم عالي الثقة.
- `/fix:field:expr=TYPE` يضيف تلميح حقل مستخدم عالي الثقة.
- `/fix:rename:old=new` يضيف تلميح إعادة تسمية ويطبّق إعادة التسمية على معرّفات شبه الكود النهائية.
- `/fix:clear` يمسح جميع تجاوزات التصحيح المستمرة عبر الجلسة.

يبقى متغير البيئة `DECOMP_NORETURN_OVERRIDES` مدعومًا. تُضاف قيم سطر الأوامر `/fix:noreturn:` فوق قيمة البيئة الأصلية لجلسة WinDbg الحالية.

مفاتيح التصحيح مستمرة عبر الجلسة:

- يتم تذكر `/fix:noreturn:` و`/fix:type:` و`/fix:field:` و`/fix:rename:` بواسطة الامتداد المُحمَّل وإعادة استخدامها في تشغيلات `!decomp` اللاحقة.
- يمسح `/fix:clear` جميع التصحيحات المستمرة عبر الجلسة ويعيد تجاوز البيئة الخاص بـ no-return إلى قيمته الأصلية من وقت تحميل الامتداد.
- تبقى الإصدارات القديمة `/noreturn:` و`/type:` و`/field:` و`/rename:` و`/clear-overrides` مدعومة.

يتم تجاهل قيم التصحيح غير الصالحة والإبلاغ عنها في `uncertainties` بدلاً من تخزينها مؤقتًا. على سبيل المثال، يتم تجاهل `/fix:type:rcx` لأنه لا يحتوي على زوج `expr=TYPE`.

سير العمل الموصى به للتحقيق:

1. ابدأ بـ `!decomp /view:facts target` للتأكد من أن نطاق الدالة والكتل والاستدعاءات والواردات وبيانات PDB وحقائق الجلسة تبدو معقولة.
2. استخدم `!decomp /view:plan target` لتقدير التقسيم إلى أجزاء، وحجم المطالبة، وخطر انتهاء المهلة، وجودة الرموز قبل إنفاق طلب LLM.
3. استخدم `!decomp /view:prompt target` عندما يبدو حجم المطالبة أو لغتها أو اختيار الأدلة خاطئًا.
4. شغّل `!decomp target` للحصول على نتيجة شبه-C الكاملة والمتحقق منها.
5. استخدم `!decomp /refresh target` عندما يتم إعادة تشغيل قطعة أثرية مستمرة موجودة ولكنك تحتاج إلى تحليل جديد.
6. إذا بدت النتيجة خاطئة، شغّل `!decomp /view:explain target` وافحص تحذيرات المدقق وتغطية الأدلة والإصلاحات المقترحة.
7. أضف تصحيحات مركّزة مثل `/fix:noreturn:` أو `/fix:type:` أو `/fix:field:` أو `/fix:rename:` وأعد تشغيل الهدف نفسه.
8. استخدم `/history` وإعادة تشغيل `/last:N:*` المفهرسة عند مقارنة عدة نتائج حديثة.
9. التقط `/view:json` أو `/last:json` عند تقديم تقارير الأخطاء أو مقارنة السلوك عبر الإصدارات.

## سطح حقائق المحلل

يتم تمرير حقائق المحلل الأخيرة عمدًا عبر `/view:json` و`/view:facts` و`/view:prompt` ووضع LLM العادي. الحقول عالية القيمة التي يجب فحصها أولاً:

- `stack_pointer` يسجّل فروقات المكدس لكل تعليمة، والأسماء المستعارة المرتبطة بالإطار، ومستوى الثقة.
- `call_arguments` يسجّل وسائط السجلات والمكدس المستعادة عند مواقع الاستدعاء، بما في ذلك تخزينات المكدس عبر الكتل القريبة عندما يكون الدليل قويًا بما يكفي.
- `pdb.prototype_parameters` يسجّل أسماء معاملات النموذج الأولي المهيكلة، وأنواعها، وترتيبها، ومواقع ABI، وثقة المصدر.
- `control_flow` يتضمن متغيرات عدّاد الحلقات، والقيم الأولية، والخطوات، والحدود، والاتجاه، وعنوان جدول التبديل، وأهداف الحالات، والهدف الافتراضي، وحدود النطاق، والإشارة (signedness)، وتعبير الفهرس عند استعادته.
- تتضمن `callee_summaries` وحقائق أهداف الاستدعاء مرشحي الاستدعاء المباشر وغير المباشر والاستدعاء الافتراضي/vtable بالإضافة إلى دلالات الذاكرة والتخصيص والتحرير والحالة المعروفة لـ Win32/NT/Rtl.
- يكشف `obfuscation` عن مرشحي موزّع التسطيح بنمط OLLVM، ومتغيرات الحالة، والحواف الدلالية المستعادة، والمسندات المعتمة، وأشكال استبدال السلميات.
- يكشف `semantic_control_flow` عن الحواف الحية/الميتة المستعادة المشتقة من حقائق التعتيم، وتبقى متاحة للفحص حتى عند استخدام `/deobf:off`.
- يكشف `deobfuscation_readiness` عن `enabled`، وإجراءات إعادة الكتابة الآمنة، والافتراضات المحظورة، ومسارات الحقائق ذات الأولوية، والعدادات، والثقة. وعند تعطيله، يسجّل قرار السياسة ويمنع إعادة كتابة تدفق التحكم بعد إزالة التعتيم.
- يضع اختيار حقائق المطالبة الإدخالات عالية الإشارة أولاً، ثم يحافظ على التوزيع عبر أخذ العينات الموزعة بحيث لا تفقد الدوال الكبيرة جميع الأدلة منخفضة التكرار.

## إعداد dbgeng الموصى به

أسرع مسار هو تضمين ملف الرأس ومكتبة الاستيراد داخل المشروع.
التخطيط المتوقع للتضمين:```text
third_party\dbgeng\inc\dbgeng.h
third_party\dbgeng\lib\dbgeng.lib

### تحضير نسخة المورّد من مسارات الملفات الصريحة```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Prepare-DbgengVendor.ps1 `
    -HeaderPath 'C:\Program Files (x86)\Windows Kits\10\Debuggers\x64\sdk\inc\dbgeng.h' `
    -LibraryPath 'C:\Program Files (x86)\Windows Kits\10\Debuggers\x64\dbgeng.lib'

قم بتحديث أو إنشاء نسخة المورّد:```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Prepare-ZydisVendor.ps1

## البناء

المسار الموصى به هو Visual Studio Developer PowerShell أو Developer Command Prompt.

يضمّن ملف `decomp.dll` المُجمَّع الآن إصدار ملف ويندوز مأخوذًا من `version.txt`.

### البناء العادي```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Build.ps1 -Reconfigure

`decomp_snapshot_tests` يغطي تعاقدات المحلل/البروتوكول/المدقق لوسائط المكدس المستعادة، ومدخلات ABI الخاصة بـ SIMD/FP، وكبت نمط الصفر المتجهي، وتفضيل استقراء الحلقة، وبيانات switch الوصفية، وبيانات الاستدعاء الافتراضي الوصفية، وحقائق التعتيم بأسلوب OLLVM، وسياسة `/deobf:off`، وملخصات API المعروفة، واختيار حقائق الموجّه، وفحوصات إرساء المدقق.

### بناء dbgeng القديم```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Build-Legacy.ps1 -Reconfigure

يزيد هذا السكربت المكوّن الأخير في `version.txt` بمقدار `1`، ويفرض إعادة التهيئة، ثم يبني ملف DLL لإصدار Release. على سبيل المثال، `1.0.0.7` تصبح `1.0.0.8`.

### الخيارات الشائعة

- `-Configuration Release|Debug`
- `-Clean`
- `-Reconfigure`
- `-ConfigureOnly`
- `-Verbose`
- `-ZydisSource Auto|Vendor|Fetch`
- `-ZydisVendorDir 'C:\path\to\zydis'`
- `-DebuggersRoot 'C:\Program Files (x86)\Windows Kits\10\Debuggers\x64'`
- `-DbgengIncludeDir 'E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\inc'`
- `-DbgengLibrary 'E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\lib\dbgeng.lib'`

### مثال البائع أولاً```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Build.ps1 `
    -Configuration Release `
    -ZydisSource Vendor `
    -Reconfigure `
    -Verbose

يحاول سكريبت البناء تلقائيًا تحديد موقع:

- `cmake.exe` من PATH، أو CMake المستقل، أو CMake المرفق مع Visual Studio
- `third_party\dbgeng` تحت جذر المشروع
- `DEBUGGERS_ROOT` من متغيرات البيئة أو المواقع الشائعة لمجموعات Windows Kits

يعمل اختيار مصدر Zydis على النحو التالي:

- `Auto`: يفضّل `third_party\zydis`، وإلا يقوم بجلب `Zydis` أثناء التكوين
- `Vendor`: يتطلب شجرة `third_party\zydis` قابلة للاستخدام أو المسار الممرر عبر `-ZydisVendorDir`
- `Fetch`: يتجاهل شجرة المورّد ويسمح دائمًا لـ CMake بتنزيل `Zydis`

قد يشير `DEBUGGERS_ROOT` إلى جذر مصحّح يستخدم أحد هذه التخطيطات:

- `sdk\inc\dbgeng.h` و `sdk\lib\dbgeng.lib`
- `sdk\inc\dbgeng.h` و `sdk\lib\amd64\dbgeng.lib`
- `sdk\inc\dbgeng.h` و `sdk\lib\x64\dbgeng.lib`
- `sdk\inc\dbgeng.h` و `dbgeng.lib`
- `inc\dbgeng.h` و `lib\dbgeng.lib`
- `inc\dbgeng.h` و `lib\amd64\dbgeng.lib`
- `inc\dbgeng.h` و `lib\x64\dbgeng.lib`
- `dbgeng.h` و `dbgeng.lib`

إذا كان تثبيتك لا يطابق تلك التخطيطات، مرّر مسارات CMake مباشرة:```powershell
cmake -S . -B build-manual -G "Visual Studio 17 2022" -A x64 `
    -DDBGENG_INCLUDE_DIR='E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\inc' `
    -DDBGENG_LIBRARY='E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\lib\dbgeng.lib'
cmake --build build-manual --config Release

مثال على اشتراك ChatGPT:```json
{
  "provider": "chatgpt",
  "model": "gpt-5.5",
  "chatgpt_auth_file": "%USERPROFILE%\\.codex\\auth.json",
  "timeout_ms": 120000,
  "max_completion_tokens": 12000,
  "force_chunked": false,
  "chunk_trigger_instructions": 900,
  "chunk_trigger_blocks": 36,
  "chunk_block_limit": 24,
  "chunk_count_limit": 16,
  "chunk_completion_tokens": 6000,
  "merge_completion_tokens": 12000,
  "reasoning_effort": "medium"
}

فرض اللغة الإنجليزية:```json
{
  "display_language": {
    "mode": "fixed",
    "tag": "en-US",
    "name": "English"
  }
}

إعداد مسبق لتلوين الصيغة الداكن:```json
{
  "syntax_highlighting": {
    "keyword_color": "warnfg",
    "type_color": "emphfg",
    "function_name_color": "srcid",
    "identifier_color": "wfg",
    "number_color": "changed",
    "string_color": "verbfg",
    "char_color": "srcchar",
    "comment_color": "subfg",
    "preprocessor_color": "normfg",
    "operator_color": "srcannot",
    "punctuation_color": "srcpair"
  }
}

مثال لتفاصيل استجابة `/view:json`:

- تتضمن استجابة JSON الحقلين `pseudo_c` و`pseudo_c_tokens`.
- `pseudo_c_tokens` هو دفق رموز حتمي مناسب لتمييز الصيغة البرمجية خارجيًا.
- يتضمن الطلب المُسلسَل الحقلين `preferred_natural_language_tag` و`preferred_natural_language_name`، اللذين يعكسان لغة العرض المُحدَّدة بعد تطبيق `display_language.mode`.
- تتضمن حقائق المحلّل الآن حقول الجودة من المستوى P0: `ir_values` و`block_value_states` و`control_flow` و`abi`.
- يكشف `ir_values` عن معرّفات قيم شبيهة بـ SSA، ومواقع التعريف، والأهداف، والتعبيرات الأساسية، وروابط الاستخدام، وأعلام الثبات/النسخ، وتلميحات التعريفات الميتة.
- يكشف `block_value_states` عن التعريفات الواصلة live-in/live-out لكل كتلة أساسية، والقيم الأساسية، وفئة التخزين، وحالة التقارب، ومستوى الثقة.
- يكشف `stack_pointer` عن فروق المكدس لكل تعليمة، والأسماء المستعارة المرتبطة بالإطار، والقيم الخام للقاعدة/الإزاحات، ومستوى الثقة.
- يكشف `control_flow` عن مرشّحات المناطق المهيكلة مثل `natural_loop` و`if_else_candidate` و`switch_candidate` مع أدلة الكتل، وبيانات استقراء الحلقات، وبيانات جدول switch/الافتراضي/النطاق، والإشارة (signedness)، وتعبيرات الفهرس، ومستوى الثقة.
- يكشف `abi` عن افتراضات مساحة الظل (shadow space) في Microsoft x64، وأدلة فتحات الإيداع (home slots)، والتعرّف على الإطار/التمهيد/الختام (frame/prolog/epilog)، وأدلة استدعاءات no-return، ومرشّحات الاستدعاءات الذيلية، ومرشّحات الـ thunk، ومرشّحات مغلّفات الاستيراد، ووسائط الاستدعاء المستعادة من السجلات وعمليات تخزين المكدس.
- تتضمن حقائق المحلّل الآن أيضًا حقولًا دلالية من المستوى P1: `type_hints` و`idioms` و`callee_summaries`.
- يكشف `type_hints` عن أدلة المؤشرات، والمتغيرات المحلية، وإزاحات الحقول، والأنماط الشبيهة بالمصفوفات، والشبيهة بالتعدادات، والشبيهة بأعلام البت، ومرشّحات vtable، مع المصدر ومستوى الثقة. وعند توفّر بيانات PDB، تُرفع أيضًا الوسائط/المتغيرات المحلية ذات النطاق، وتلميحات الحقول، وثوابت التعداد إلى دفق تلميحات الأنواع الموحّد هذا.
- يكشف `idioms` عن بدائل عالية المستوى لاستدعاءات المساعدين وأنماط المترجم المعروفة، مثل نسخ/تعبئة الذاكرة، ونسخ السلاسل النصية، وفحوصات كعكة الأمان (security cookies)، ومجسّات المكدس (stack probes)، ومساعدي التخصيص/التحرير، ومهيّئات الأنواع التجميعية، وعمليات تحميل العموميات/الاستيراد النسبية إلى RIP.
- يكشف `callee_summaries` عن تلميحات نوع الإرجاع للاستدعاءات المباشرة وغير المباشرة، ونموذج الوسائط، والآثار الجانبية، وتأثيرات الذاكرة، والملكية، والمصدر، ومستوى الثقة؛ وتستبدل أهداف الاستدعاء المُثراة بالرموز/الأنواع الملخصات الاستدلالية الأولية عندما تتمكن WinDbg من حلها، وتتضمن مرشّحات الاستدعاءات الافتراضية تعبيرات الأهداف بالإضافة إلى إزاحات vtable عند استعادتها.
- تصف ملخصات واجهات برمجة تطبيقات Win32/NT/Rtl المعروفة سلوك نسخ/تعبئة/تصفير الذاكرة، والتخصيص، والتحرير، والحالة، والأخطاء عند توفّر أسماء الرموز.
- تتضمن حقائق التلقين `analyzer_skeleton` و`graph_summary` ليصقل النموذج مسودة مدعومة بالأدلة بدلًا من البدء من صفحة فارغة.
- يوفر `graph_summary` كتلة الدخول، ومناطق تدفق التحكم، والشروط المُطبَّعة (normalized)، وكتلًا تمثيلية عالية الإشارة مع سياسة اقتطاع صريحة. ويقوم اختيار حقائق التلقين الآن بترتيب الإدخالات عالية الإشارة ويستخدم أخذ العينات الموزّع للحفاظ على تمثيلية مجموعات الحقائق الكبيرة.
- يكشف `evidence_graph` عن عُقد الحقائق عالية الإشارة وحواف تتبع المصدر (provenance edges) بحيث يمكن تتبّع قيم IR، وحالات قيم الكتل، والوصول إلى الذاكرة، وأهداف الاستدعاءات، وتلميحات الأنواع، وتلميحات PDB، والسلوك المرصود إلى أدلة التعليمة والكتلة.
- تكشف `obfuscation` و`semantic_control_flow` و`deobfuscation_readiness` عن حقائق الاستعادة بأسلوب OLLVM وعن ما إذا كان توجيه إعادة كتابة إزالة التعتيم مفعّلًا للأمر الحالي.
- تتضمن استجابة المدقّق إدخالات `warnings` القديمة بالإضافة إلى إدخالات `issues` المهيكلة. تحمل كل مشكلة `severity` و`code` و`message` و`evidence` اختياريًا، بحيث يمكن للأدوات فصل أخطاء مثل `branch.true_target_not_successor` عن التحذيرات منخفضة الخطورة.
- تقارن فحوصات المدقّق الآن أهداف الفروع الصحيحة/الخاطئة المُطبَّعة مع خلفاء CFG، وتقارن كثافة فروع الكود الزائف مع الفروع الشرطية المستعادة، وتتحقق تبادليًا من ملخصات المستدعَين المباشرة مع تأثيرات استدعاءات الكود الزائف، وتتحقق من إرساء عُقد/حواف evidence_graph، وتفحص مراجع حالات قيم الكتل عائدًا إلى الكتل وقيم IR المستعادة.
- قد يتضمن المخرَج العادي ومخرَج الشرح قسمًا موجزًا باسم `suggested fixes`. وهي أوامر `/fix:*` متحفّظة مستمدة من مشكلات المدقّق، أو فرص إعادة التسمية المدعومة بـ PDB، أو نقاط الذاكرة الساخنة المتكررة المرصودة. ويعرض المخرَج المدرِك لـ DML الاقتراحات القابلة للتطبيق فورًا كروابط إعادة تشغيل قابلة للنقر للهدف نفسه؛ وتبقى اقتراحات نوع الحقل النائبة (placeholder) نصًا عاديًا حتى يتم استبدال `TYPE`.
- في وضع LLM، يُعيد الامتداد تغذية مشكلات المدقّق تلقائيًا في تلقين إعادة محاولة واحد. يُحتفظ بإعادة المحاولة عندما تحافظ على جودة المدقّق أو تحسّنها؛ وإلا يُحتفظ بالاستجابة الأصلية مع إضافة ملاحظة عدم اليقين.
- يكشف `session_policy` و`observed_behavior` عن سياق خاص بـ WinDbg مثل سياسة live/dump/kernel/الشبيهة بـ TTD، وعيّنات وسائط سجلات الإطار الحالي، ونقاط الذاكرة الساخنة، واستعلامات التتبّع المقترحة.
- يتضمن الطلب المُسلسَل الآن أيضًا كائن `pdb` عند توفّر بيانات الرموز/الأنواع.
- يُبلغ `pdb.availability` عن مستوى الإثراء مثل `none` أو `symbols` أو `typed` أو `scoped`.
- تُعد `pdb.params` و`pdb.locals` و`pdb.field_hints` و`pdb.enum_hints` و`pdb.source_locations` تلميحات دلالية قابلة للقراءة آليًا موجهة للأدوات الخارجية أو التحليل دون اتصال.

تجاوزات بيئية اختيارية:

- `DECOMP_LLM_PROVIDER`
- `DECOMP_LLM_ENDPOINT`
- `DECOMP_LLM_MODEL`
- `DECOMP_LLM_API_KEY`
- `OPENAI_API_KEY`
- `DECOMP_LLM_CHATGPT_ACCESS_TOKEN`
- `DECOMP_LLM_CODEX_ACCESS_TOKEN`
- `KERNFORGE_CODEX_ACCESS_TOKEN`
- `DECOMP_LLM_CHATGPT_AUTH_FILE`
- `DECOMP_LLM_CODEX_AUTH_FILE`
- `KERNFORGE_CODEX_AUTH_FILE`
- `DECOMP_LLM_REASONING_EFFORT`
- `DECOMP_LLM_TIMEOUT_MS`
- `DECOMP_LLM_MAX_COMPLETION_TOKENS`
- `DECOMP_LLM_FORCE_CHUNKED`
- `DECOMP_LLM_CHUNK_TRIGGER_INSTRUCTIONS`
- `DECOMP_LLM_CHUNK_TRIGGER_BLOCKS`
- `DECOMP_LLM_CHUNK_BLOCK_LIMIT`
- `DECOMP_LLM_CHUNK_COUNT_LIMIT`
- `DECOMP_LLM_CHUNK_COMPLETION_TOKENS`
- `DECOMP_LLM_MERGE_COMPLETION_TOKENS`
- `DECOMP_NORETURN_OVERRIDES`
  أجزاء أسماء دوال مفصولة بفواصل أو فواصل منقوطة، تُعامَل كأهداف no-return أثناء التفكيك الاحتياطي، واستعادة خلفاء CFG، وحقائق ABI، وفحوصات المدقّق. مثال: `DECOMP_NORETURN_OVERRIDES=MyAbort;PanicAndExit`.

ملاحظة الجودة أولًا:

- يدعم الامتداد الآن التحليل متعدد المراحل المُقسَّم للدوال الكبيرة.
- يرسل المحلّل حقائق قيم IR، وحالات قيم الكتل، ومناطق تدفق التحكم، وحقائق evidence_graph، وأدلة x64 ABI/no-return إلى نموذج LLM قبل مرحلة الصقل، بحيث تتشارك أوضاع `/view:analyzer` و`/view:json` ووضع LLM العادي نفس قاعدة أدلة P0.
- يتحقق المدقّق تبادليًا من الحلقات، وswitch، وno-return، وأهداف الفروع، وسلوك الإرجاع، وتأثيرات استدعاءات المستدعَين، وإرساء evidence_graph، واتساق حالات قيم الكتل، وتغطية الأدلة، وادعاءات المعرّفات المشبوهة، مقابل أدلة المحلّل. ويخفض مستوى الثقة عندما يتجاوز النثر الواثق الحقائق المستعادة، ويسمّي كل مشكلة بزوج مستقر من severity/code.
- عندما تعثر تعليقات المدقّق على أخطاء في المخطط، أو تعارضات في الحقائق، أو ثقة معدَّلة منخفضة جدًا، ينفّذ مسار LLM محاولة إعادة واحدة تلقائيًا مع إلحاق مشكلات المدقّق بالتلقين.
- نقطة بداية جيدة للنماذج السحابية هي `max_completion_tokens=12000` و`chunk_completion_tokens=6000` و`merge_completion_tokens=12000`، مع `force_chunked=false` ومحفّزات تقسيم حول `900 instructions` أو `36 blocks`.
- أبقِ `force_chunked=true` لاختبارات إجهاد خط أنابيب التقسيم فقط. عادةً ما تحتاج إزالة التحويل البرمجي الموجهة بالجودة للدوال المسطَّحة أو كثيفة الموزّعات (dispatchers) إلى تلقين واحد حتى تصبح الدالة كبيرة بما يكفي لتجاوز محفّزات التقسيم المهيأة.
- أبقِ `timeout_ms` مرتفعًا للنماذج السحابية. `120000` نقطة بداية أكثر أمانًا من `15000`.
- إذا كانت الجودة ما تزال ضعيفة على الدوال الضخمة، ارفع `chunk_count_limit` قبل تقليص `/limit:N`.
- إذا لم يتم تكوين أي نقطة نهاية، يتراجع الامتداد إلى مزوّد المحاكاة الحتمي.
- حتى عندما يستخدم الامتداد `/view:analyzer` أو مزوّد المحاكاة، ما يزال `display_language` و`syntax_highlighting` يؤثران على ما يراه المستخدم.

## اختبار دخان WinDbg

1. قم بالبناء باستخدام `Build.ps1` أو `Build-Legacy.ps1`.
2. ضَع `decomp.llm.json` بجوار ملف `decomp.dll` المُبنى.
3. شغّل WinDbg. متغيرات البيئة هي تجاوزات اختيارية فقط.
4. حمّل الامتداد.
5. تحقّق من وضع المحلّل فقط قبل تفعيل مسار LLM.```text
.load C:\path\to\decomp.dll
!decomp /view:analyzer ntdll!RtlAllocateHeap
!decomp /view:facts kernel32!Sleep

الفحوصات المتوقعة:

- يجب أن تُحل `target` و`entry` و`module` بشكل متسق
- يجب أن تكون `regions` غير صفرية للدوال العادية
- يجب أن يستمر `/view:analyzer` في طباعة ثقة المحلل وكعب الكود الزائف
- يجب أن يملأ وضع LLM الحقول `summary` و`pseudo_c` و`pseudo_c_tokens` و`verified`
- يجب أن يتضمن مخرج `/view:json` كلاً من `preferred_natural_language_tag` و`preferred_natural_language_name` في الطلب المتسلسل
- عند تحميل ملفات PDB خاصة أو غنية، يجب أن يتضمن `/view:json` أيضاً `pdb.prototype` و`pdb.params` وربما `pdb.locals`
- بالنسبة إلى البنى والتعدادات المعرّفة، قد يتضمن `/view:json` `pdb.field_hints` و`pdb.enum_hints`

## مثال اشتراك ChatGPT```powershell
$env:DECOMP_LLM_PROVIDER = "chatgpt"
$env:DECOMP_LLM_MODEL = "gpt-5.5"
$env:DECOMP_LLM_CHATGPT_AUTH_FILE = "$env:USERPROFILE\.codex\auth.json"
$env:DECOMP_LLM_TIMEOUT_MS = "120000"

### LM Studio```powershell
$env:DECOMP_LLM_ENDPOINT = "http://127.0.0.1:1234/v1/chat/completions"
$env:DECOMP_LLM_MODEL = "local-model"
$env:DECOMP_LLM_API_KEY = "lm-studio"