صادرات التحليل

يحوّل dispatchatlas.analytica مستودعات الحملات المكتملة إلى ملخّصات إحصائية، وأشكال حتمية، وحِزَم أدلّة، ومجموعات بيانات جاهزة للبوابة. تستهلك الحزمة بيانات JSON مستقرّة ولا تستورد زمن تشغيل الحملة.

مثال قابل للتنفيذ: examples/analyze_results.py يُلخّص مجموعة نتائج بإحصاء لا معلمي، وأحجام أثر، وفترات ثقة، وجداول حتمية، وأشكال مزدوجة الصيغة.

📥 المدخلات

يتوقّع مُحمِّل التحليل دليل حملة واحدًا يحوي:

• checkpoint.json بمعرّفات التشغيل المكتملة والفاشلة والمعلّقة.
• plan.json بترتيب التشغيل ووسوم الإفصاح.
• environment.json بحقائق بيئة غير سرّية.
• results/*.json صفوف التشغيل المكتملة.
• failures/*.json صفوف المحاولات الفاشلة عند وجودها.

نقاط التفتيش أو تجزئات المحتوى أو قيم الأهداف أو وسوم الإفصاح المفقودة تُفشِل الاستيعاب قبل بدء التحليل.

📊 الطرائق الإحصائية

يُعلِن سجلّ طرائق مُسمّى كلَّ طريقة تحليل مع افتراضاتها عن البيانات، وقاعدة العيّنة الدنيا، ونمط الفشل، وأدنى طبقة أدلّة لها. تتطلّب كل طريقة استدلالية ومؤشّر جودة ما لا يقلّ عن 30 تشغيلًا مستقلًّا لكل خلية حلّال-نسخة عشوائية؛ والعيّنة دون-الحدّ تُوجَّه إلى سطح القيود بدلًا من إنتاج نتيجة باطلة.

لكل هدف، تُبلِّغ طبقة التلخيص أعداد الحلّالات، والأعداد المجدية، والمتوسّط، والوسيط، والانحراف المعياري، وفترات ثقة بوتستراب مُصحَّحة-التحيّز ومُسرَّعة (BCa)، واختبار رتب الإشارة لـ Wilcoxon مع أحجام أثر A12 لـ Vargha-Delaney ودلتا Cliff للمقارنة الزوجية، واختبار Friedman الشامل مع لاحق فرق-حرج لـ Nemenyi على حقل متعدّد-الحلّالات، وتصحيح Holm أو Hochberg على العائلة الزوجية، والرتب المتوسّطة لكل مسألة نسخة مرجعية. وتُبلِّغ الجبهات متعدّدة الأهداف إضافةً مؤشّرات الجودة: الحجم الفائق (الأساسي)، وIGD+، ومؤشّر إبسيلون الجمعي، والتشتّت.

الهدف الافتراضي هو makespan بدلالة التصغير. يستخدم اختبار Wilcoxon التوزيع الصفري الدقيق للعيّنات الصغيرة بلا تعادلات، والتقريب الطبيعي المُصحَّح-للتعادلات خلاف ذلك. تستخدم فترات الثقة إعادة عيّنة بوتستراب حتمية ببذرة مُسجَّلة؛ وهي تصف عيّنة الحملة المرصودة وليست بمفردها ادّعاءات حملة كاملة.

إلى جانب اختبار الإشارة البايزي المُغلَق-الصيغة، يسحب bayesian_signed_rank_test توزيعًا لاحقًا لعملية Dirichlet مُبذَّرًا على متوسّطات Walsh للفروق الزوجية، فتحوز المقاييسُ المتّصلة المقارنةَ البايزية الواعية-بالمقدار لـ Benavoli وCorani وDemšar وZaffalon (2017)؛ ويظلّ اختبار الإشارة الافتراضَ المُغلَق-الصيغة. وتُضيف عائلةُ المقارنات المتعدّدة إجراءَ Shaffer الساكن للتنازل خطوةً-خطوة، الذي يستثمر القيود المنطقية لعائلة مقارنات كل-الأزواج الكاملة ويفشل إلى الإغلاق على العائلة الجزئية (Shaffer 1986)، وتعديلَ Finner للتنازل خطوةً-خطوة، وهو كسبُ قوّة أبسط يقبل أي عائلة (Finner 1993)؛ ويظلّ Holm الافتراضَ المُهيَّأ. وينضمّ الانحرافُ بالنسبة المئوية إلى طرائق فجوة-المثالية: يُقيّم arpd_rows كل تشغيل مجدٍ إزاء قيمة مرجعية أفضل-معروفة يُورِّدها المُستدعي بأصل صريح، ويتحقّق ensure_equal_budgets من بروتوكول الميزانية-المتساوية المُقاسة-بالحجم خلفه — ميزانية واحدة متطابقة لكل مسألة عبر الحلّالات، وميزانيات حرّة النموّ مع حجم النسخة (Vallada وRuiz وFramiñan 2015). وتؤرشِف مقارناتُ الحجم الفائق متعدّدة الأهداف نقطتها المرجعية المشتركة: يشتقّ multiobjective_indicator_report النقطة وفق قاعدة مُسمّاة — افتراض كسر-الهامش أو تحجيم ishibuchi-h — ويُسجّل المثالي والأسوأ والقاعدة والمَعلَمة ومفرداتِ أصلٍ تفشل إلى الإغلاق في ReferencePointRecord، ويرفض ensure_shared_reference_points مقارنةَ مُنتَجات تختلف نقاطها المؤرشَفة (Ishibuchi وImada وSetoguchi وNojima 2018؛ وتبقى الإزاحة المنشورة الدقيقة موسومةً APPROXIMATE ريثما يُراجِع المُشغّلُ النصَّ الكامل). وقاعدةٌ صارمة واحدة تحرس كل جدول مُصدَّر: لا تُشحَن قيمة p قطّ دون حجم أثر وفترة إلى جانبها. ويفحص ensure_effect_sizes_beside_p_values الترويسات داخل بُناة الجداول ومرّةً أخرى وقت كتابة الحزمة، فيفشل إلى الإغلاق على أي عمود دلالة عارٍ (Carrasco وGarcía وRueda وDas وHerrera 2020).

🖼️ الأشكال والجداول

تتضمّن حِزَم الأدلّة جداول Markdown لملخّصات الحلّالات والمقارنات الزوجية والترتيبات وتغطية النسخ المرجعية والصفوف غير المجدية. وتحمل أشكال SVG بيانات وصفية ميسورة الوصول title وdesc لأعمدة الترتيب، وملامح الأداء، واتّجاهات الهدف وفق ترتيب التشغيل، ومخطّط الفرق-الحرج لـ Nemenyi، ومقايضات زمن التشغيل-الجودة، ومسارات التقارب، وتوازن الاستكشاف-الاستثمار، وقابلية توسّع زمن التشغيل وفق حجم النسخة، واستقرار البذرة (معامل الاختلاف)، والمتانة (مخاطر ذيل CVaR)، وتوصيف النسخ المرجعية. ويُسجّل بيان أشكال دور كل شكل وأصله وملاحظة وصوله. والأشكال المعتمِدة على تشخيصات لم تُسجِّلها الحملة (زمن التشغيل، أثر التقارب، تنوّع المجتمع، حجم النسخة) أو على عدّة بذور (استقرار البذرة) تعرض إشعار قيود. ويجمع supplement/limitations.md كل طريقة وُجِّهت إلى القيود.

تُنتِج إعادةُ تشغيل التصدير نفسه إزاء المدخلات نفسها حمولات JSON وجداول وأشكال متطابقة.

يسافر ملمح أداء Dolan-Moré برفقة رفيقه Moré-Wild: يرسم data_profile_svg وdata_profile_tex حصّةَ خلايا (الحلّال، المسألة) المحلولة إلى دقّة هدف ضمن ميزانية من مجموعات التقييم — التكييف بمجموعات التقييم لوحدة تدرّج-البسيط — من مسارات التقارب نفسها التي تستهلكها أشكال التقارب، وتُوجَّه مجموعةُ بيانات دون مسارات إلى شكل القيود. وملامح الأداء التي تقارن أكثر من حلّالَين تحمل تحفّظًا تفسيريًّا في صيغتَي المخرَج كلتيهما: يرتّب الملمحُ كلَّ حلّال إزاء الأفضل-لكل-مسألة فحسب، فلا يُستدَلّ على الترتيب النسبي للحلّالات غير-الأفضل (Gould وScott 2016).

⚖️ مقارنة المنصّات

تَعرِض صادرات مقارنة المنصّات صفوف قدرات الأطر المنافِسة، ومصفوفة تغطية ثراء-الميزات، وتقييم جسر فجوة-الواقع، وصفوف فحص المُنتَجات. ويحمل كل صفّ وسم مصدر-دليل (documented، measured، artifact-inspected، vendor-claim، أو unsupported)، ويُوجَّه أي صفّ غير مدعوم إلى سطح قيود-وأعمال-مستقبلية. ويحمل التصدير سطر حراسة دائمًا: تقارن الجداول قدرات المنصّات وميزاتها ومُنتَجاتها، وليست ادّعاءات أداء مباشرة — أدلّة الأداء تعيش في صادرات التحليل الإحصائي.

🥊 مسار المقارنة وجهًا لوجه

يقارن مسار وجهًا لوجه حلّالًا محوريًّا واحدًا بمجموعة أساس مُسمّاة باستخدام الاختبارات اللامعلمية المُسمّاة نفسها، ويُوجِّه كل صفّ نحو الحلّال المحوري، ويقيّد ادّعاء يتفوّق-على-المجموعة بأن يحوز الحلّال المحوري أفضل رتبة متوسّطة وأن يفوز بكل مقارنة زوجية عند مستوى الدلالة المُصحَّح وحجم الأثر في صالحه. ويرافق المسار بانو جداول التعقيد-الخوارزمي وتهديدات-الصلاحية البنائية/الداخلية/الخارجية لاستهلاك التقارير.

🔒 سياسة الإفصاح

تُرشَّح الصادرات عبر سياسات إفصاح قابلة للتنفيذ:

• core يسمح بالأدلّة الأساسية/العامة فقط.
• speed يسمح بالأدلّة الأساسية وأدلّة السرعة والأدلّة العامة.
• quality يسمح بالأدلّة الأساسية وأدلّة السرعة والجودة والأدلّة العامة.
• platform يسمح بأدلّة المنصّة مع استمرار حجب المصدر المُنقَّح ومصطلحات السرد-البائت.

تُستبعَد الصفوف الممنوعة من الأدلّة ومجموعات بيانات البوابة وتُكتَب في بيان استبعادات تكميلي مع السبب.

🗂️ تخطيط الحزمة

evidence-bundle/
  bundle.json
  tables/
    solver-summary.md
    pairwise-comparisons.md
    rankings.md
    benchmarks.md
    infeasible-rows.md
  figures/
    performance-profile.svg
    solver-rankings.svg
    run-order-trend.svg
    critical-difference.svg
    runtime-quality.svg
    convergence.svg
    characterization.svg
    exploration-exploitation.svg
    scalability.svg
    stability.svg
    robustness.svg
    figure-manifest.json
  supplement/
    exclusions.json
    limitations.md

يَسرد bundle.json كل ملف مُولَّد ويُجزّئ حمولة البيان المعيارية، فيبقى كل جدول وشكل وملحق داخل بيان واحد مُتعقَّب ومُعنوَن-بالمحتوى.

⌨️ الأمر

uv run dispatchatlas export `
  --campaign-dir .\experiments\results\smoke-pilot `
  --target-dir .\exports\smoke-pilot `
  --authorized-output-root .\exports `
  --tier core `
  --objective makespan `
  --portal

يكتب الأمر حزمة أدلّة إضافةً إلى مجموعة بيانات بوابة اختيارية. تتضمّن حزمة الأدلّة جداول وأشكالًا واستبعادات تكميلية. ويتضمّن JSON البوابة وسومًا قابلة للبحث، ووسوم إفصاح، وقيم أهداف، ومعرّفات تشغيل، وبيانات حملة وصفية مرتبطة بالتجزئة. ويجب أن يُحَلّ --target-dir داخل --authorized-output-root؛ والجذر المُصرَّح الافتراضي هو دليل العمل الحالي.

شغّل uv run dispatchatlas export --help للحصول على أوصاف الخيارات والأمثلة. تطبع أخطاء الإدخال وقت التشغيل رسالة استرداد افتراضيًّا؛ ومرّر --debug قبل الأمر الفرعي حين يلزم تتبّع Python للتطوير.

📝 هياكل التقارير

تحوّل طبقة التحليل أيضًا حزمة أدلّة مُرشَّحة وفق الإفصاح إلى هيكل تقرير حتمي مُفهرَس بطبقة الأدلّة. يُعلِن ReportScaffoldSpec ادّعاء الإسهام، ومسوّغ التصميم، وبوّابات الادّعاء؛ ويكتب write_report_scaffold حزمة الأدلّة إضافةً إلى خطة أقسام شاملة، وادّعاء إسهام، وسجلّ بوّابات-الادّعاء، وتقرير تنقيح، تحت report/. ويُرسي كل قسم إلى مُنتَج دليل مُرشَّح، ويُفحَص الهيكل المُولَّد بحيث تُفشِل آليةُ طبقة لاحقة أو علامةٌ داخلية مقيّدة الكتابةَ إلى الإغلاق.

بوّابات الادّعاء تفشل إلى الإغلاق: يُفتَح ادّعاءُ مستوى-التصميم بلا شرط، بينما يظلّ الادّعاء المقارِن مغلقًا حتى تتفوّق مقارنةٌ وجهًا لوجه على المجموعة بكل عدّ مقترن عند حدّ القوة الإحصائية أو فوقه. ويُثبِت contribution_partition عبر طبقات الأدلّة إسهامًا بتداخل-صفري لكل طبقة، ويقبل redaction_report سجلًّا يُورِّده المُستدعي بحيث يمكن فحص مسوّدة غير عامة دون أن يدخل ذلك السجلّ أبدًا في المصدر المشحون.

uv run dispatchatlas report `
  --campaign-dir .\experiments\results\smoke-pilot `
  --target-dir .\scaffolds\smoke-pilot `
  --authorized-output-root .\scaffolds `
  --tier core