وثائق كيل: المسرد والأساس الفقهي وكتب التشغيل
هذه مستندات محرّك كيل نفسها، تُعرض هنا وقت البناء من CodeGateSoftware/keel. لا شيء في هذه الصفحة معادٌ كتابتُه أو ملخَّصٌ يدويًّا: إذا انتقل مستندٌ مثبَّتٌ أو اختفى في الأعلى، فشل بناءُ هذا الموقع فشلًا صريحًا بدل عرض محتوًى متقادم.
كيف يعمل هذا
ملفُّ بيانٍ (engine-docs.manifest.json) يثبّت مسار كل مستندٍ في مستودع المحرّك. وفي كل بناء — بما فيه إعادة البناء الساعية — ينزّل سكربتُ الجلب كلَّ مستند، ويعيد كتابة الروابط النسبية لتشير إلى مصادرها على GitHub، ثم يعرضها البناء. ويفشل البناء عمدًا إذا أرجع أيُّ مسارٍ مثبَّتٍ الخطأ 404.
عن الطبعة العربية
تُنشر وثائق المحرّك بالإنجليزية، وهي النصّ المرجعي. وتُلخّص الطبعةُ العربية أدناه المسردَ والأساس الفقهي، وتربطك بالمستندات الأصلية كاملةً بلغتها الأولى.
البداية
أدلة
-
Installing the desktop app
لماذا يحذّرك حاسوبك من نسخ كيل لسطح المكتب — غير موقَّعة لأن شهادات التوقيع تكلف مالًا لا يملكه المشروع — وماذا يعرض كلٌّ من macOS وWindows، وطريقُ التثبيت الذي لا يثير أيّ تحذير.
-
Operator runbook
تشغيل النشر: الالتزامات على مستوى الحساب التي لا يراها أي سكة أمان، والترقيات، وأنماط النشر الثلاثة.
-
Go-live runbook
الطريق إلى أول أمر حقيقي خاضعٍ لإشراف بشري — الترقية، والتجريبي، وخطوات الإشراف.
مرجع
-
Glossary
المصدر الوحيد لمصطلحات كيل — كل مصطلح يمكن أن يعرضه سطر الأوامر معرَّفٌ هنا وحده.
-
The fiqh basis
الاستدلال الفقهي الذي يشفّره كيل، حكمًا حكمًا، مع مصدره داخل المستودع — نُشر ليُدقَّق ويُعترَض عليه.
-
Software Architecture Record
النظامُ كما جرى التحقّقُ منه، لا كما يُتصوَّر — ما هو كيل، والحزمُ التي يُشحن بها، والقراراتُ الحاملةُ له، وما لم يُبْنَ بعدُ، مسألةً مسألةً.
-
The read-only MCP server
keel mcp: الأدوات الثماني للقراءة فقط التي يستطيع المساعدُ الذكي استدعاءها — doctor وcapabilities وprofiles وorders وveto_log وpurification وtrials وreports — والسياجُ الذي يُبقيها للقراءة فقط.
سجلّات القرارات
-
Decision 0001: the desktop update path
لماذا لا يُحدِّث تطبيقُ سطح المكتب نفسَه أبدًا: التحديثُ يعني تنزيلَ المُثبِّت الجديد عن قصد — موقفُ ثقةٍ اختير على قناةِ تحديثٍ تحتاج هي نفسها إلى تحصين.
-
Decision 0002: SQLite persistence
لماذا هي مكانُ البيانات SQLite بكاتبٍ واحد لكل ملف — قاعدةٌ حاملةٌ لا قيدًا مؤقتًا، مع مُحفِّزاتٍ مسمّاةٍ وحدها تفتح السؤالَ من جديد.
-
Decision 0003: the commands-layer survey
المسحُ القياسيُّ الأوّل لطبقة الأوامر — ما دورُ كلِّ وحدةٍ، ولماذا ذاب وصفُ «أكبر من المحرّك» قبل أن يبدأ المسح.
-
Decision 0004: monetisation is not now
لماذا لا يُحصِّل كيل مالًا الآن، ولماذا روابطُ الإحالة رفضٌ دائمٌ لا «ليس بعد»: فعائدُ الإحالة حصّةٌ مباشرةٌ في جدول الرسوم نفسِه الذي تقوم مصداقيةُ كيل على تقييمه بلا مصلحةٍ فيه.
-
Decision 0005: options
لماذا لا يتداول كيل الخيارات — رُفضت لأسبابٍ تشغيلية، مع الامتناع صراحةً عن الخوض في مسألة الجواز، والحقائق الأربع التي تعيد فتحها.
البحث والتجارب
-
The research toolkit
وحداتُ الأدلّةِ الثلاث عشرة التي يقف عليها أمرُ keel research — كلٌّ منها بالسؤال الذي تجيب عنه، وبالسؤال الذي ترفض الإجابةَ عنه، وهذا الثاني يُقرأ بالعناية نفسِها.
-
Experiment: the honest result, restated
السجل الكامل للنتيجة المقيسة: لا عائلة قواعد مُصدَّرة تحقق ربحًا صافيًا عند رسوم الآخذ الفعلية — بكل أرقامها والعيوب التي فرضت إعادة البيان.
-
Experiment: the hourly backtest
لماذا يوجد النمط الساعي: القواعد نفسها على شموع الساعة تُطلق 49.4 إشارة لكل أصل-سنة بدل 2.15.
-
Experiment: rule-family significance
هل تنفصل أفضليةُ أيِّ عائلةِ قواعد عن الصفر عند الرسوم المدفوعة فعلًا؟ قياسٌ على كامل التاريخ المخزَّن لكلِّ منتج: لا تنفصل أيٌّ منها في أيّ نظام رسوم — والغاية من الأداة أن تستطيع قولَ لا، فتقول لا.
-
Experiment: the Optuna parameter study
وجِّه مُحسِّنٌ نحو عائلات القواعد ليرى إن كان أيُّ مرشَّحٍ يستحقّ المسارَ العقابيّ: رفضت بوابةُ الترقية كلَّ خلية، وسُجِّل الفائزون المُواءَمون للتشخيص وحده — لا حياةً مضبوطةً آليًّا أبدًا.
-
Experiment: trailing vs static exits
سياسةُ الخروج ذاتُ السقّاطةِ وحدها — وُصِلت ثم قيست مقابل الخروج الثابت عند الرسوم المدفوعة فعلًا: التتبُّع يجعل العائلتين أسوأ بوضوح، فتبقى الإعدادات الافتراضية موقوفة. القدرةُ موجودة، والقياسُ يقول لا تُشغِلها.
-
Research: speculation risk sources (Lahlou)
مراجعة مصادر حول منابع خطر المضاربة — من سجل البحث الذي يقف خلف الأساس الفقهي.
-
Research: money management & fiqh sources
مراجعة مصادر حول إدارة المال في التداول ومعالجتها الفقهية.
ملخّصان بالعربية
ملخّص المسرد
المسرد هو المصدر الوحيد لمصطلحات كيل: فكلُّ مصطلحٍ يمكن أن تعرضه واجهةُ كيل النصية معرَّفٌ فيه وحده، وتُحيل إليه الوثائقُ بدل إعادة تعريفٍ قد يتقادم. وهو يحمل قاعدتَي صدقٍ ورثهما عن الأساس الفقهي: فالمصطلحات الفقهية مُسنَدةٌ إلى مصادرها لا مؤلَّفة — إذ تعريفُها اقتباسٌ حرفيٌّ من الأساس الفقهي مع سطرِ مصدرٍ يسمّي المستندَ والقسمَ بدقّة — وحيثما لم ينصّ الأساس على مصطلحٍ (كالغرر)، قال المسرد ذلك صراحةً بدل ردم الفجوة بصياغةٍ تُشبه الفتوى.
أمّا وسائط القواعد فلا تُعرَّف في المسرد: فمعنى entry_lookback في turtle_breakout يسكن في صنف القاعدة الذي يُعرّفه، ويعرضه نظام المساعدة من هناك — إذ إنّ جدولًا ثانيًا هنا كان سيتقادم يوم يتغيّر ذلك الصنف.
ملخّص الأساس الفقهي
مستندُ الأساس الفقهي مكتوبٌ لمطوّرٍ مسلمٍ يقرّر أن يأتمن كيلًا على ماله. وهو يبيّن، حكمًا حكمًا، الاستدلالَ الشرعي المُشفَّر في المستودع، وأين يسكن مصدرُ كلِّ حكمٍ داخله — ليكون الأساس قابلًا للتدقيق ممّن لا يعرف أين يبحث. وهو علمٌ بالإحالة: فكلُّ حكمٍ يحمل استشهادًا بمصدرٍ داخل المستودع، والشيفرةُ المُنفِّذة تحمل الاستشهادات نفسها في تعليقاتها.
وما ليس عليه: فليس فتوى، ولا ادّعاءً بقدرة كيل على إنتاجها. ولم يراجع المستندَ عالمٌ؛ وهل تجري مراجعةٌ كهذه سؤالٌ مفتوحٌ عن قصد (#289)، وليس في المستند ما يُقرأ على أنها قد حدثت. وحيثما سكت مصدرٌ عن شيء، قيل «غير منصوص عليه» — فالفجوةُ لا تُردم أبدًا بصياغةٍ توهم حكمًا.
تُرجمت هذه الصفحة عن المراجعة الإنجليزية 2026-08-19.2.