Darkoza

EXISTENTIAL POSSIBILITY ENGINEERING · ROBUST DECISION v0.2 · 3 NOVEMBER 2026

امکان‌هایی را بساز که حتی در شرایط سخت هم باقی بمانند.

EPC v0.2 موتور گسترش امکان‌ها را از برآورد نقطه‌ای به برنامه‌ریزی مقاوم سناریومحور ارتقا می‌دهد. تنها گزینه‌هایی ارزش آینده می‌گیرند که در تمام سناریوهای اعلام‌شده قابل‌دستیابی باشند؛ هزینهٔ فرصت منابع و پیامدهای منفی نیز وارد تصمیم می‌شوند. نسخهٔ بنیادی v0.1 در دسترس می‌ماند.

نسخهٔ اجرایی منتشرشده۳۴ آزمون واحد موفق · ۳۰۰ اجرای benchmark · CPU-only

تفاوت واقعی v0.2 با نسخهٔ قبلی

بُعدv0.1v0.2
برآورد اثرنقطه‌ایبازهٔ کمینه / پایه / بیشینه
آیندهگزینه‌های تازهٔ فوریگزینه‌هایی که در تمام سناریوها پایدار می‌مانند
عدم‌قطعیتconfidence نقطه‌ایconfidence و سناریوهای فشار
انتخاب مقاومامتیاز واحدبدترین امتیاز سناریویی + پشیمانی بیشینه
هزینهٔ منابعنسبت مصرف بودجهنسبت بودجه + قیمت سایهٔ هر منبع
پیامد منفیمحدود به ریسک کلیexternality مستقل و حد سخت

سه سازوکار اصلی ارتقا

۱. جبههٔ پایدار گزینه‌های آینده

گزینهٔ بعدی فقط در صورتی ارزش پایدار می‌گیرد که پس از برنامه در همهٔ سناریوهای مشخص‌شده فعال بماند. گزینه‌هایی که فقط در برخی شرایط فعال‌اند جداگانه به‌عنوان شکننده گزارش می‌شوند و امتیاز پایداری نمی‌گیرند.

۲. انتخاب با پشیمانی بیشینه

هر برنامه در هر سناریو امتیاز مستقل می‌گیرد. موتور کمترین امتیاز میان سناریوها را محاسبه می‌کند و سپس بیشترین فاصلهٔ آن را با بهترین برنامهٔ همان سناریو جریمه می‌کند. این کار از انتخاب صرفاً خوش‌بینانه جلوگیری می‌کند.

۳. هزینهٔ فرصت و آثار منفی

مصرف CPU، دیسک و پول با قیمت سایهٔ تعیین‌شده به امتیاز تبدیل می‌شود. آثار منفی محیطی/اجتماعی/سیستمی به‌صورت جداگانه محاسبه و در صورت عبور از حد مجاز، اقدام مسدود می‌شود.

مدل سناریو؛ بدون احتمال ساختگی

هر سناریو انتخاب می‌کند که برای اثر مثبت، externality، هزینه، ریسک و confidence از کدام مقدار low/base/high استفاده شود. سناریوها وزن احتمالاتی ندارند. بنابراین میانگین امتیاز آن‌ها پیش‌بینی یا expected value نیست؛ فقط خلاصه‌ای توصیفی است.

امتیاز مقاوم:

RobustScore(plan) =
  min(score(plan, scenario))
  - regret_weight * max_regret(plan)

«بدترین حالت» فقط بدترینِ سناریوهای ورودی است، نه کران ریاضی همهٔ جهان‌های ممکن. پوشش سناریو را باید انسان و شواهد واقعی تعیین کنند.

نتیجهٔ اجرای نمونهٔ مصنوعی

Fixture شامل سه سناریو—کمبود منابع، مرجع و مساعد—و هفت اقدام پیشنهادی است. این داده‌ها اندازه‌گیری عملیاتی یا اطلاعات واقعی کاربران نیستند.

  1. قرارداد شواهد قابل‌اندازه‌گیری
  2. محیط بازپخش ایزوله با مرز بازگشت
  3. آزمون بازتولید مستقل

خروجی نمونه

  • هدف: target_reached
  • پایداری رتبهٔ برنامهٔ منتخب: ۱۰۰٪ در سه سناریوی همین fixture
  • پشیمانی بیشینه: ۰ در همین fixture
  • دو گزینهٔ پایدار بعدی: داوری مستقل و بسته‌بندی قابلیت قابل‌استفادهٔ مجدد
  • گزینهٔ شکننده: تحلیل عمیق پرهزینه، فقط در سناریوهای مرجع و مساعد؛ بدون اعتبار گزینهٔ پایدار
  • اجرای واقعی: انجام نشده — PLAN_ONLY_NO_EXECUTION

نتیجهٔ ۱۰۰٪ پایداری فقط ویژگی این fixture است و به همهٔ مسائل یا آینده تعمیم داده نمی‌شود.

اعتبارسنجی و کارایی

Python compileموفق
آزمون واحد۳۴ از ۳۴ موفق
تعداد سناریو۳
تعداد اقدام۷
حالت جست‌وجو در fixture۴
Benchmark۳۰۰ اجرا پس از ۲۰ warm-up
میانه۱٫۷۳۹۹ میلی‌ثانیه
صدک ۹۵۱٫۹۲۰۴ میلی‌ثانیه
صدک ۹۹۱٫۹۷۰۴ میلی‌ثانیه

این benchmark فقط زمان محاسبهٔ محلیِ همان fixture را اندازه می‌گیرد؛ نه بار هم‌زمان، I/O، شبکه، مدل، کیفیت تصمیم یا عملکرد تولیدی.

کد و بازتولید

نیازمندی: Python 3.10+ و کتابخانهٔ استاندارد؛ بدون GPU و سرویس بیرونی.

python3 existence_possibility_compiler_v02.py example_problem_v02.json \
  --now 2026-11-03T12:00:00Z --output example_result_v02.json

python3 -m unittest -v test_existence_possibility_compiler_v02.py
python3 benchmark_existence_engine_v02.py

پیشینهٔ پژوهشی و مرز نوآوری

بهینه‌سازی مقاوم چندمرحله‌ای و چندسناریویی، real options و تحلیل حساسیت دارای پیشینهٔ پژوهشی‌اند. این انتشار آن حوزه‌ها را به‌عنوان اختراع بی‌سابقه معرفی نمی‌کند.

تمایز طراحی این نسخه، ترکیب جبههٔ گزینه‌های پایدار با امتیازدهی بدترین سناریو/پشیمانی بیشینه و قیود صریح externality و قیمت سایهٔ منابع است. این ادعای تمایز در سطح پیاده‌سازی است؛ نه اثبات تقدم جهانی یا قابلیت ثبت اختراع. جست‌وجوی کامل پتنت و مقالات و داوری مستقل هنوز انجام نشده است.

آنچه هنوز انجام نشده است

نسخهٔ ۰٫۲ هنوز به OERSI، عامل‌های تولیدی، صف job یا ابزارهای واقعی وصل نیست. سناریوها، بازه‌ها و قیمت‌های سایه توسط نویسندهٔ مسئله تعیین می‌شوند و مستقل کالیبره نشده‌اند. هیچ تصمیم تولیدی، پرداخت، انتقال داده یا اقدام برگشت‌ناپذیری را اجرا نمی‌کند. خروجی یک برنامهٔ پیشنهادی است، نه تضمین موفقیت یا اثبات اثر واقعی.

گام بعدی

ارتقای بعدی باید پوشش سناریوها را ممیزی کند، حساسیت رتبه‌ها نسبت به حذف یا اضافه‌کردن سناریو را اندازه بگیرد، بازه‌ها را با دادهٔ تاریخی کالیبره کند و externalityهای غیرقابل‌تبدیل به یک عدد را نوع‌بندی کند. اتصال به اجرا فقط با هویت معتبر، اختیار محدود، تأیید دقیق، sandbox، راستی‌آزمایی پس از اجرا و ثبت ممیزی امکان‌پذیر است.