۱. ارزش مستقیم
اثر پیشنهادی اقدام بر کشف، آفرینش، حفظ و تکامل با وزن‌های تعیین‌شده جمع‌بندی می‌شود.
EXISTENTIAL POSSIBILITY ENGINEERING · SOFTWARE INVENTION · 3 NOVEMBER 2026
فقط نتیجه را بیشینه نکن؛ امکان‌های بعدی را هم بساز.
Darkoza Existence Possibility Compiler (EPC) v0.1 یک موتور محاسباتیِ قابل‌اجراست که پیشنهادهای تغییر را بر اساس ارزش مستقیم، گزینه‌های آینده‌ای که باز می‌کنند، محدودیت منابع، شواهد، ریسک و برگشت‌پذیری ارزیابی می‌کند. خروجی آن یک برنامهٔ آزمایشِ قابل‌ممیزی و قابل‌بازگشت است، نه فرمان اجرای خودکار.
اختراع چیست؟
بسیاری از روش‌های اولویت‌بندی فقط می‌پرسند «این اقدام چه نتیجه‌ای می‌دهد؟». EPC یک پرسش دوم را به‌صورت صریح وارد محاسبه می‌کند: «این اقدام کدام گزینه‌های بعدی را برای ما ممکن می‌کند؟»
موتور، قابلیت‌های فعلی را به‌عنوان وضعیت آغازین می‌گیرد؛ هر مداخله، پیش‌نیازها، خروجی‌های قابلیتی، هزینه، اثرهای چهارگانهٔ مأموریت، سطح اطمینان، ریسک، شواهد موردنیاز و روش بازگشت خود را اعلام می‌کند. سپس زنجیره‌های مجاز را در یک فضای جست‌وجوی محدود بررسی می‌کند.
۲. ارزش گزینه‌ای
موتور تفاوت گزینه‌های فوراً قابل‌اجرای پیش از برنامه و گزینه‌هایی را که با برنامهٔ پیشنهادی تازه فعال می‌شوند محاسبه می‌کند. فقط گزینه‌های تازه‌گشوده‌شده امتیاز می‌گیرند.
۳. جبههٔ پارتو
به‌جای پنهان‌کردن همهٔ انتخاب‌ها پشت یک عدد، گزینه‌های غیرمغلوب از نظر ارزش مستقیم، گزینهٔ آینده، پیشرفت هدف، ریسک و مصرف منابع نیز گزارش می‌شوند.
۴. قرارداد آزمایش
برای هر مرحله پیش‌شرط، مشاهدهٔ لازم، معیار موفقیت، روش راستی‌آزمایی و مسیر بازگشت تولید می‌شود.
الگوریتم چگونه تصمیم می‌گیرد؟
- Observe: قابلیت‌های موجود، شواهد منبع‌دار، بودجهٔ منابع و هدف‌ها را دریافت می‌کند.
- Compose: اقدام‌هایی را می‌سازد که پیش‌نیازهایشان در وضعیت فعلی برآورده شده است.
- Search: زنجیره‌های وابستگی‌سازگار را تا سقف ۸ مرحله و ۵۰٬۰۰۰ حالت بررسی می‌کند؛ نسخهٔ ۰٫۱ حداکثر ۱۶ اقدام ورودی می‌پذیرد.
- Evaluate: ارزش مستقیم، گزینه‌های تازه، ریسک، عدم‌قطعیت، مصرف بودجه، برگشت‌پذیری و پیشرفت هدف را با فرمول آشکار محاسبه می‌کند.
- Preserve: برای برنامهٔ منتخب، قرارداد آزمایش و digest ورودی/تصمیم را ارائه می‌دهد.
امتیاز یک شاخص اولویت‌بندی است، نه احتمال موفقیت یا ارزش اقتصادی. اثر، هزینه، ریسک و confidence ورودی‌هایی هستند که نویسندهٔ مسئله اعلام می‌کند؛ موتور آن‌ها را مستقلاً اندازه‌گیری یا اثبات نمی‌کند.
آزمون زندهٔ نرم‌افزار روی یک سناریوی مصنوعی
این fixture دادهٔ واقعی Darkoza یا مشتری نیست؛ فقط برای اثبات رفتار نرم‌افزار ساخته شده است.
| گام | اقدام | قابلیت جدید |
|---|---|---|
| ۱ | تعریف قرارداد شواهد قابل‌اندازه‌گیری | evidence_contract و reproducible_measurement |
| ۲ | ساخت محیط بازپخش ایزوله | isolated_replay و rollback_boundary |
| ۳ | آزمون بازتولید مستقل | independently_replicated_result |
هدف سناریو با سه اقدام کامل شد. در همان نقطه دو گزینهٔ بعدی تازه فعال شدند: داوری فنی مستقل و بسته‌بندی قابلیت قابل‌استفادهٔ مجدد. انتشار عمومیِ یک ادعای بررسی‌نشده نیز به دلیل ریسک بالا، غیرقابل‌برگشت‌بودن و نیاز به مجوز انسانی مسدود شد.
خروجی محاسباتی همان fixture
- وضعیت: target_reached
- زنجیره: evidence_contract → isolated_replay_lab → independent_replication
- امتیاز ارزش مستقیم: 18.835
- ارزش گزینه‌های تازه: 9.6742
- اقدام اجرایی: انجام نشده — PLAN_ONLY_NO_EXECUTION
اعتبارسنجی و کارایی اندازه‌گیری‌شده
| آزمون واحد | ۲۱ از ۲۱ موفق |
|---|---|
| Python compile | موفق |
| جست‌وجوی نمونه | ۴ حالت برای ۶ اقدام در fixture |
| Benchmark | ۳۰۰ بار اجرا پس از ۲۰ بار warm-up |
| میانهٔ زمان | ۰٫۶۶۶۷ میلی‌ثانیه |
| صدک ۹۵ | ۰٫۷۵۷۷ میلی‌ثانیه |
| صدک ۹۹ | ۰٫۷۸۴۰ میلی‌ثانیه |
این benchmark زمان اجرای محلیِ برنامه‌ریز روی یک نمونهٔ مصنوعی شش‌اقدامی را اندازه می‌گیرد؛ نه زمان پاسخ انتهابه‌انتها، نه بار هم‌زمان، نه شبکه/پایگاه‌داده، نه استنتاج مدل و نه کیفیت تصمیم در دنیای واقعی.
کد، دادهٔ نمونه و بازتولید
پیاده‌سازی به Python 3.10+ و کتابخانهٔ استاندارد نیاز دارد؛ سرویس بیرونی یا GPU نمی‌خواهد.
python3 existence_possibility_compiler.py example_problem.json \
--now 2026-11-03T12:00:00Z --output example_result.json
python3 -m unittest -v test_existence_possibility_compiler.pyمرز نوآوری و prior art
این انتشار یک پیاده‌سازی و ترکیب طراحیِ اصیل در Darkoza است؛ اما ادعا نمی‌کند که برنامه‌ریزی گزینه‌محور، گراف وابستگی، حاکمیت عامل یا تصمیم‌گیری چندمعیاره در جهان بی‌سابقه است.
- Kadyrbek & Mansurova, Proof carrying agent actions enable verifiable licensing of language model tool use, Scientific Reports, 13 October 2026. این پژوهش مجوزدهیِ کنش و پشتیبانی نوع‌دار آن را بررسی می‌کند؛ EPC به‌جای مجوزدهی/اجرا، ارزش گزینه‌های بعدی در برنامه‌های ساخت قابلیت را محاسبه می‌کند.
- Li et al., XFlow: An Executable Protocol Programming System for Reliable Multi-Agent Workflows, 11 June 2026. XFlow تعهدهای گردش‌کار را به پروتکل اجرایی تبدیل می‌کند؛ EPC یک برنامه‌ریز محدود برای پیشنهاد و اولویت‌بندی است، نه هماهنگ‌کنندهٔ عامل‌ها.
- United Nations University, Engineering and Governing the Agent Harness, 2026. این گزارش بر مجوز، توقف‌پذیری، بازیابی و برگشت‌پذیری در سامانه‌های عامل‌محور تأکید دارد.
تمایز فنی EPC در این نسخه، امتیازدهی صریح به «جبههٔ فوریِ گزینه‌های تازه‌گشوده‌شده» در کنار جست‌وجوی وابستگی‌سازگار و قرارداد آزمایش است. این توصیفِ طراحی است، نه اثبات تقدم جهانی یا قابلیت ثبت اختراع. جست‌وجوی کامل مقالات، پتنت‌ها و ارزیابی مستقل هنوز انجام نشده است.
چه چیزی هنوز ادعا نمی‌شود؟
EPC هنوز به OERSI، ابزارهای تولیدی، صف job، کنترل هویت، موتور مجوز، broker منابع، پایگاه‌داده یا رابط کاربری محصول متصل نیست. اجرای خودکار ندارد. تأثیر واقعی آن بر درآمد، کیفیت تصمیم، علم یا بقای سیستم اندازه‌گیری نشده است. این یک نمونهٔ پژوهشیِ قابل‌اجرا و آزموده‌شده است، نه ASI خودمختار، آگاهی، کشف علمی مستقل یا گواهی امنیتی.
گام بعدی
نسخهٔ بعدی باید حساسیت امتیازها به بازهٔ عدم‌قطعیت را محاسبه کند، اثرهای منفی و پیامدهای بیرونی را typed کند، و ورودی‌های ظرفیت و وضعیت را از telemetry امضاشده و تازه دریافت کند. اتصال به اجرا فقط پس از هویت معتبر، مجوز کوتاه‌عمر، approval دقیق، sandbox، ثبت ممیزی و آزمون rollback مستقل مجاز خواهد بود.