DispatchAtlasبرامج الدراسة
برامج الدراسة الأربعة التي تنظّم مستويات أدلة المنصّة: النطاق، وعائلات المعايير، وتشكيلات الحلّالات، والمنهجية، وحالة بوّابات الادّعاء.
تُنظَّم أدلة المنصّة في أربعة برامج دراسة، واحد لكل مستوى دليل: النواة، والسرعة، والجودة، والمنصّة. تتداخل المستويات: يقبل برنامج النواة أدلة النواة والأدلة العامة؛ ويضيف برنامج السرعة أدلة السرعة؛ ويضيف برنامج الجودة أدلة الجودة؛ ويعرض برنامج المنصّة الحقل العام الكامل. يحدّد كل برنامج بدقّة ما يجوز لمستوى دليله أن يكشفه، بحيث لا يكشف برنامج ذو مستوى أدنى آليةً من مستوى أعلى أبدًا.
تقرأ الواجهة أدناه كل تشكيلة وعائلة معايير وفوج مقارنة وتفصيل منهجي وحالة بوّابة ادّعاء من حزمة البرامج المودعة بالفعل، لذا تبقى الأرقام محدَّثة مع تطوّر المنصّة دون نصّ محرَّر يدويًا. لا يُنشَر أي ادّعاء مقارن حتى تُفتَح بوّابة برنامجٍ ما؛ والتصديرات المنشورة اليوم لا تحمل سوى أدلة تطوير الدخان.
Four study programs organize the platform’s evidence tiers. Every roster, family list, methodology row, and claim-gate status below is build-inlined metadata from the committed catalog; no comparative claim is published until a program’s claim gate opens.
The foundational comparison tier over the baseline solver field.
Publication surface: Evidence-grade exports and the public portal's core catalog.
metadata-only
Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.
Admitted evidence labels: core, public.
Claim gates
- gate closedfoundation track beats the comparison cohort with Holm-corrected significance before any superiority claim
No campaign at the statistical-power floor has produced disclosure-filtered comparative evidence on the public surface; published bundles carry smoke-development evidence only.
Benchmark families
Solver roster & comparison cohort
| Solver roster | Comparison cohort |
|---|---|
| ndso-core | ga-int(registry-internal) |
| — | brkga(registry-internal) |
| — | eda(registry-internal) |
| — | tabu-search(registry-internal) |
Methodology
- Objectives
- makespan
- Statistics
- wilcoxon-signed-rank, friedman-omnibus, holm-post-hoc, nemenyi-critical-difference, vargha-delaney-a12, cliffs-delta, bca-bootstrap-ci
- Run-count floor
- ≥30 independent runs per stochastic cell before comparative analysis.
- Campaign plan
- ablation → comparative → pilot → sensitivity → targeted
Planned figures & tables
Figures
- Convergence trajectory
- Solver rankings
- Critical-difference diagram
Tables
- Solver summary
- Pairwise comparisons
- Effect sizes
Evidence pointers
release-gated
A companion write-up is published only from an approved, disclosure-filtered evidence bundle after this program's claim gate and the release gates open.
The time-bounded comparison tier focused on runtime behavior.
Publication surface: Evidence-grade exports and the public portal's speed catalog.
metadata-only
Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.
Admitted evidence labels: core, speed, public.
Claim gates
- gate closedspeed track reaches matched quality at a smaller budget than the comparison cohort under both stopping protocols
No campaign at the statistical-power floor has produced disclosure-filtered comparative evidence on the public surface; published bundles carry smoke-development evidence only.
Benchmark families
Solver roster & comparison cohort
| Solver roster | Comparison cohort |
|---|---|
| ndso-fast | iterated-greedy(registry-internal) |
| — | alns(registry-internal) |
| — | vns(registry-internal) |
Methodology
- Objectives
- makespan, lateness
- Statistics
- wilcoxon-signed-rank, friedman-omnibus, holm-post-hoc, nemenyi-critical-difference, vargha-delaney-a12, cliffs-delta, bca-bootstrap-ci
- Run-count floor
- ≥30 independent runs per stochastic cell before comparative analysis.
- Campaign plan
- ablation → comparative → pilot → sensitivity
Planned figures & tables
Figures
- Convergence trajectory
- Performance profile
- Solver rankings
Tables
- Solver summary
- Pairwise comparisons
- Budget speedup
Evidence pointers
release-gated
A companion write-up is published only from an approved, disclosure-filtered evidence bundle after this program's claim gate and the release gates open.
The solution-quality comparison tier focused on objective value.
Publication surface: Evidence-grade exports and the public portal's quality catalog.
metadata-only
Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.
Admitted evidence labels: core, speed, quality, public.
Claim gates
- gate closedprecision track beats the comparison cohort on the primary quality indicator with Holm-corrected significance
No campaign at the statistical-power floor has produced disclosure-filtered comparative evidence on the public surface; published bundles carry smoke-development evidence only.
Benchmark families
Solver roster & comparison cohort
| Solver roster | Comparison cohort |
|---|---|
| ndso-summit | memetic(registry-internal) |
| — | nsga3 |
Methodology
- Objectives
- makespan, cost, composite
- Statistics
- wilcoxon-signed-rank, friedman-omnibus, holm-post-hoc, nemenyi-critical-difference, vargha-delaney-a12, cliffs-delta, bca-bootstrap-ci
- Run-count floor
- ≥30 independent runs per stochastic cell before comparative analysis.
- Campaign plan
- ablation → comparative → pilot → sensitivity → targeted
Planned figures & tables
Figures
- Convergence trajectory
- Pareto frontier
- Critical-difference diagram
Tables
- Solver summary
- Quality indicators
- Mechanism ablation
Evidence pointers
release-gated
A companion write-up is published only from an approved, disclosure-filtered evidence bundle after this program's claim gate and the release gates open.
The reproducibility and tooling tier over the full evidence set.
Publication surface: Evidence-grade exports, the public portal, and release notes.
metadata-only
Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.
Admitted evidence labels: core, speed, quality, platform, public.
Claim gates
- gate closedplatform track routes any unsupported platform claim to limitations or future work rather than overclaiming
No campaign at the statistical-power floor has produced disclosure-filtered comparative evidence on the public surface; published bundles carry smoke-development evidence only.
- gate openCoverage and reproducibility statements are supported by artifact inspection.
platform-comparison.json feature rows are artifact-inspected.
Benchmark families
Solver roster & comparison cohort
| Solver roster | Comparison cohort |
|---|---|
| ndso-core | — |
| ndso-fast | — |
| ndso-summit | — |
Comparison basis: the rival-framework matrix published as platform-comparison.json.
Methodology
- Objectives
- makespan, cost
- Statistics
- feature-coverage, distribution-distance-bridge
- Run-count floor
- ≥30 independent runs per stochastic cell before comparative analysis.
- Campaign plan
- comparative → pilot
Planned figures & tables
Figures
- Feature-richness matrix
- Distribution-distance calibration
Tables
- Feature coverage
- Framework comparison
Evidence pointers
release-gated
A companion write-up is published only from an approved, disclosure-filtered evidence bundle after this program's claim gate and the release gates open.
Future program candidates
Candidate programs staged for a future evidence tier — each doubles as a worked example of the add-a-program recipe.
Constraint-and-robustness extension candidate
rcpspflow-shopDefer / retire rule: defer until a robustness-bearing campaign produces a labeled corpus; retire if no advantage clears the gate after one campaign
Top-level policy: Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.
برنامج النواة
يدرس برنامج النواة الأداء الهدفي الأساسي على حقل الحلّالات الأساسي — المقارنة التي تُرسي كل ما عداها. عائلات معاييره هي جدولة الآلات، وورشة المهام، وورشة المهام المرنة، ويقابل التركيبة الأصلية للنواة بفوج مقارنة بنائي وميتاإرشادي. تجمع منهجيته اختبار ويلكوكسون للرتب المُوقّعة، واختبار فريدمان الشامل مع تصحيح هولم البعدي، وتحليل الفارق الحرج لنيمنيي، وأحجام الأثر فارغا–ديلاني A12 ودلتا كليف مع فترات ثقة BCa، على ما لا يقل عن 30 تشغيلًا مستقلًا لكل خلية عشوائية. تبقى بوّابته المقارنة مغلقة حتى تجتاز حملة مقارنة كاملة البوّابات الإحصائية.
برنامج السرعة
يدرس برنامج السرعة كفاءة زمن التشغيل والكفاءة في أي لحظة تحت إنهاءٍ مُطابَق — آثار في أي لحظة، وملفات أداء، وبوّابة جودة مُطابَقة بميزانية أصغر. عائلات معاييره هي ورشة التدفّق وجدولة المشاريع المحدودة الموارد، وفوج مقارنته هو الجشع التكراري، وALNS، وVNS. يطبّق نفس المنهجية اللامعلمية ونفس الحدّ الأدنى للتشغيلات مثل برنامج النواة.
برنامج الجودة
يدرس برنامج الجودة جودة الحل والمؤشّرات متعدّدة الأهداف — فجوات الهدف، وعروض جبهة باريتو والفارق الحرج، وجداول مؤشّرات الجودة، والاستئصال. عائلات معاييره هي جدولة المشاريع المحدودة الموارد وورشة المهام المرنة، وفوج مقارنته هو البحث الميميتي وNSGA-III. يحافظ على نفس الانضباط الإحصائي والحدّ الأدنى للتشغيلات مثل البرامج أعلاه.
برنامج المنصّة
يعرض برنامج المنصّة أوسع حقل تنشره المنصّة — تشكيلة منتقاة عابرة للعائلات تمثّل كل عائلة حلّالات في السجلّ بدلًا من كل حلّال مسجّل، مع تغطية الميزات، وعلامات مسافة التوزيع، وأدلة قابلية إعادة الإنتاج والأدوات. تماشيًا مع عرض فحص المنصّة، يُوجَّه أي ادّعاء غير مدعوم إلى القيود بدلًا من المبالغة. يستند موقف تغطيته وقابلية إعادة إنتاجه اليوم إلى فحص المُخرجات، وهو موقف قدرة لا ادّعاء أداء؛ وتبقى بوّاباته المقارنة مغلقة كغيرها.
إضافة برنامج دراسة
يتبع برنامج الدراسة الجديد نفس مسار الإغلاق عند الفشل الذي تعرضه الواجهة لكل برنامج قائم. صفّ المرشّح المستقبلي في الواجهة هو المثال المُنجَز.
-
سجّل المستوى. أضِف مدخل مستوى واحدًا إلى سجلّ المستويات مع قيمة مستوى دليله؛ اختبارات عقد السجلّ تفرض الاكتمال.
-
صرّح بمسار الدليل. أضِف مسار دليل إلى أطلس التجارب — عائلات معاييره وتشكيلته وفوجه وإحصاءاته وبوّابته وحدّه الأدنى للتشغيلات — أو ابدأه أولًا كمرشّح مستقبلي.
-
جهّز مساحة العمل. أنشئ دليل مساحة عمل البرنامج مع وصفته، إضافةً إلى تهيئة تجريبية وأخرى مقارنة:
New-Item -ItemType Directory -Path .\experiments\programs\<id> Copy-Item .\experiments\configs\core-pilot.json ` .\experiments\configs\<id>-pilot.json Copy-Item .\experiments\configs\core-comparative.json ` .\experiments\configs\<id>-comparative.json -
شغّله. نفّذ الحملة التجريبية للمستوى الجديد، ثم نسّق الحزمة المتدرّجة بأداة سطر الأوامر analytica:
uv run python experiments\scripts\regenerate.py ` --config .\experiments\configs\<id>-pilot.json --tier <id> -
انشر. أعِد توليد البوّابة ليظهر البرنامج هنا تلقائيًا؛ تُفشِل بوّابة الحداثة البناء إذا حُذِف إعادة التوليد:
uv run python tools\build_site_assets.py -
وثّق. أضِف قسم البرنامج إلى هذه الصفحة واعكسه في كل اللغات.
التنقّل
- حزم الأدلة — التصديرات المتدرّجة التي ينسّقها كل برنامج.
- الحملات القابلة لإعادة الإنتاج — مساحة العمل التي تشغّل الحملات وراء كل برنامج.
- مستكشف النتائج — أدلة التشغيل المُرشَّحة بالإفصاح.
- التنزيلات — حزم الأدلة المنشورة.
- الاقتباس — كيفية اقتباس المنصّة وموادّها المرافقة.
- فحص المنصّة — موقف التغطية وقابلية إعادة الإنتاج المفحوص بالمُخرجات الذي يلخّصه برنامج المنصّة.