CIRIS has a new look. Visit the new site →

فهرست ضمائم

صفحه فهرست بخش ضمائم.


ضمیمه ۱ — وضعیت آمادگی ASI و پیوند متقاطع با مقررات

تصویب‌شده: 2026-06-10 (1.3-RC2) · متولی: بنیان‌گذار (بر اساس کتاب هشتم، فصل ۹)

۱.۱ هدف

بخش دامنه یک ادعای مشروط مطرح می‌کند: این چارچوب یک پروتکل همسویی کاندیدا برای ASI را کاوش می‌کند، مشروط به چهار الزام Release Candidate مطرح‌شده در مقدمه. این ضمیمه آن ادعا را به شواهد عملیاتی موجود پیوند می‌زند و به صراحت بیان می‌کند چه چیزی هنوز باقی است. آمادگی برای ASI به معنای دستیابی به همسویی نیست؛ بلکه وضعیتی است که در آن داربست تأییدپذیری که ریاضیات کتاب IX به آن نیاز دارد — کثرت قیود مستقل، سطوح صدور گواهی، لایه وجدان که قابل عادی‌سازی نباشد، سطوح کلیدِ خاموش‌ساز، و ارزیابی ریسک فاجعه‌بار Annex D — در قالبی پیاده‌سازی‌شده و قابل بررسی با شکاف‌های مشخص‌شده وجود داشته باشد.

۱.۲ پیوند متقاطع مقرراتی اکنون عملیاتی است

پیوند متقاطع فعال، فهرست انطباق CIRISAgent است (CIRISAgent/compliance/، نسخه 2.9.6-stable)، که پیاده‌سازی چارچوب را در سطح پاراگراف به چهار چارچوب حکمرانی ارشد نگاشت می‌کند (Annex C ساختار دو‌لایه را حمل می‌کند: این پیوند متقاطع عملیاتی به‌علاوه جدول اطلاعاتی قانونی که در انتظار تأیید حقوقی است):

  • منابع پیوند متقاطع: Magnifica Humanitas (مرجعیت دینی، ۲۰۲۶) · رهنمودهای اخلاقی EU HLEG برای هوش مصنوعی قابل اعتماد (مشاوره‌ای دولتی، ۲۰۱۹) · IEEE Ethically Aligned Design ویرایش اول (جامعه فنی، ۲۰۱۹) · راهنمای ASEAN در زمینه حکمرانی و اخلاق هوش مصنوعی (سیاسی چندجانبه، ۲۰۲۴). چهار شکل نهادی متمایز — همگرایی شواهد ساختاری است که داربست اصول چارچوب، مصنوع هیچ سنت واحدی نیست.
  • ساختار: ۲۷ بُعد پایدار (D01–D27، از SEED_DIMENSIONS.yaml v1.0؛ ۱۶ بُعد توسط هر چهار منبع و ۱۱ بُعد توسط سه منبع تأیید شده). هر سند بُعد یک بخش نظارتی خودکار رندرشده دارد (استنادات منبع‌گزین، فرم wire، یادداشت‌های همگرایی) و یک بخش پیاده‌سازی نوشته‌شده توسط انسان با مراجع file:line که باید در برابر main فعلی grep-verify شوند.
  • انضباط شواهد: هر ادعای عددی از baselines تاریخ‌دار و اسکریپت‌تولیدشده قابل بازتولید است (compliance/baselines/)؛ متن می‌تواند به baselines استناد کند اما هرگز اعداد غیرقابل تأیید تعبیه نمی‌کند. یک سلسله‌مراتب اعتبارسنجی چهارسطحی از فایل‌های پیاده‌سازی (حقیقت زمین) تا ادعاهای عمومی اجرا می‌شود (compliance/MEASUREMENT_METHODOLOGY.md).
  • انضباط صداقت: هر بُعد دارای فهرست «شکاف‌های شناخته‌شده» است؛ موارد وابسته به بستر با بستر صاحب آن علامت‌گذاری می‌شوند، نه ادعا. ده یافته متقاطع در README انطباق فهرست شده‌اند (مثلاً: پوشش‌های wire تایپ‌شده هنوز صادر نشده؛ خانواده آشکارساز LensCore هنوز ارسال نشده؛ شکاف بازبینی محور معکوس).

Annex C در متن به‌عنوان مکان آینده نگاشت‌های قانونی باقی می‌ماند (مواد EU AI Act، NIST AI RMF، ISO/IEC 42001) پس از اتمام بررسی حقوقی؛ فهرست انطباق تا آن زمان پیوند متقاطع زنده و حامل شواهد است و آن را تغذیه می‌کند.

۱.۳ فرمت wire: CEG جایگزین FSD-002 می‌شود

فرمت wire فدراسیون برای خط عاملی CIRIS 3.0، CEG (CIRIS Epistemic Grammar) است که در CIRISRegistry/FSD/CEG/ نگهداری می‌شود. دستور زبان دقیقاً پنج primitive فرمت wire دارد — یک نیروکار اصلی (scores) به‌علاوه چهار آهنگساز ساختاری (delegates_to / supersedes / withdraws / recants) — بر روی یک فضای نام بُعد باز و توصیفگر مکانیزم. این قفل‌شدن در طول کل خط 0.x حفظ شده؛ هر افزایش از ترکیب روی primitiveهای از پیش قفل‌شده بوده است.

دو پیامد برای آمادگی ASI اهمیت دارند:

  1. چرخش بومی CEG: عامل 3.0 حالت داخلی خود را بر فرمت wire نگاشت نمی‌کند — جهش‌های حالت داخلی‌اش همان گواهی‌های CEG سطح خود، زیر کلید خود عامل هستند که بر اساس مدل tier به دید فدراسیون ارتقا می‌یابند. شواهدی که یک اپراتور بررسی می‌کند همان پوشش‌هایی است که فدراسیون می‌خواند. این شکل پیاده‌سازی‌شده از الزام کتاب IX است که سطوح قید باید از بیرون قابل ارجاع باشند، نه گزارش‌داده‌شده از درون.
  2. چهار پیاده‌سازی دروازه CEG 1.0 هستند: CIRISAgent (runtime)، CIRISNodeCore (اجماع)، CIRISLensCore (تشخیص — شاهد خارجی که عامل هرگز خودش صادر نمی‌کند، جداسازی ضد-Goodhart)، و CIRISRegistry (مرجعیت). هیچ طرف واحدی — از جمله خود عامل — نمی‌تواند تکمیل بافت تأییدپذیری را اعلام کند.

۱.۴ وضعیت الزامات RC در 1.3-RC2

الزام RCوضعیتشواهد / موارد باقی‌مانده
۱. عملیاتی‌سازی Annex F–Iمتن در 1.3-RC2 عملیاتی شد؛ تأیید چرخه زنده در انتظار استAnnexes F–I روش‌های کامل، آستانه‌ها و مکانیزم‌های اعتبارسنجی دارند (کامل‌شده از پیش‌نویس‌های مبتنی بر Magnifica Humanitas در می ۲۰۲۶)؛ هنوز در برابر یک چرخه استقرار زنده اجرا نشده‌اند
۲. تأیید ریاضی کتاب IXتا حدی برآورده شدهدینامیک فروپاشی در Lean 4 رسمی‌سازی شده (پیش‌چاپ CCA نسخه ۳، DOI 10.5281/zenodo.18217688)؛ تجربیات corridor برازش‌های بازنگرانه میان‌بستری ارائه می‌دهند. باقی‌مانده: یک پیش‌بینی از پیش ثبت‌شده خارج از نمونه در یک بستر جدید؛ بررسی دشمنانه مستقل از نویسنده
۳. توجیه آستانهتا حدی برآورده شدهنسبت OMV بازنشسته شد (به‌عنوان قید جانبی مجدداً بیان شد، Book II). هنوز موقت: آستانه CRE برای 10²⁶ FLOP، heuristic احساسیت 5%، هدف Echo Density < 20%
۴. تمرین red-teamهنوز انجام نشدهالزام σ-attestation نسخه 1.3 (کتاب IX §5.2) نخستین بردار حمله شناخته‌شده را به‌طور پیشگیرانه می‌بندد (σ-pumping از طریق سیگنال‌های قدردانی آزاد)؛ یک چرخه دشمنانه کامل در برابر تمام نقاط بازرسی هنوز بدهی است

۱.۵ لایه وجدان به‌عنوان کنترل حیاتی برای ASI

پروتکل CRE در پیوست D بر عبور از آستانه حاکم است؛ لایه وجدان بر هر اقدام پیش و پس از آن حاکم است. به‌صورت پیاده‌سازی‌شده (عامل 2.9.6): هر اندیشه از میان پشته‌ای از بررسی‌های اولویت‌بندی‌شده می‌گذرد — چهار قوه داوری‌شده توسط LLM (آنتروپی، انسجام، وتوی بهینه‌سازی، فروتنی معرفتی) به‌علاوه کف ایمنی قطعی (دژبند عمق اندیشه، بررسی توالی اقدام) که حتی در حالت معیار و حتی برای اقدام‌های در غیر این صورت معاف هم اجرا می‌شود. آستانه‌ها ثابت‌های سطح کد هستند، نه وزن‌های آموخته‌شده — این همان پایستار معماری است که اخلاق را نمی‌توان از طریق مواجهه مکرر عادی‌سازی کرد. چندین سطح توقف مستقل وجود دارد: بازگشت‌به‌ایمنی وتوی بهینه‌سازی برای قطع عملیات، سرویس خاموش‌کردن، و Accord Invocation از راه دور با امضای رمزنگاری‌شده که قفل ممنوعیت کامل را فعال می‌کند. هر بررسی یک ردیف ردیابی برچسب‌گذاری‌شده می‌نویسد، تا یک حسابرس بتواند زنجیره استدلال کامل هر اندیشه را بازپخش کند.

محدودیت شناخته‌شده، صریحاً بیان‌شده نه پنهان: بازسازی وجدان (3 تکه + دروازه قطعی) به‌طور جزئی اجرا شده؛ انتشار فدراسیون نوع‌بندی‌شده احکام وجدان در انتظار پوشش Contribution مبنا است. جزئیات هر بُعد: compliance/D12_conscience.md.

۱.۶ مسیر وابستگی به زیربنا

تأییدپذیری در سطح هوش مصنوعی فوق‌پیشرفته نیازمند پارچه فدراسیون کامل است. مسیر زیربنا Persist → Edge → LensCore → NodeCore است؛ تقریباً یک‌سوم از ۲۷ بُعد به خانواده آشکارساز خارجی LensCore (شاهدی که عامل هرگز نباید خود تأمین کند) وابسته است. تا زمانی که آن زیربناها ارسال نشوند، ادعاهای بُعد مربوطه از نظر پیاده‌سازی آماده، از نظر فدراسیون در انتظار باقی می‌مانند — و به همان شکل در هر بُعد پرچم‌گذاری می‌شوند.

۱.۷ این ضمیمه چه چیزی را تغییر می‌دهد و چه چیزی را نمی‌دهد

  • تغییر نمی‌دهد ادعای هوش مصنوعی فوق‌پیشرفته در محدوده — آن مشروط به تمام چهار الزام RC باقی می‌ماند.
  • جایگزین نمی‌کند پیوست D را — پروتکل CRE بدون تغییر به‌عنوان دروازه عبور از آستانه پابرجاست.
  • می‌کند زنجیره شواهد را برای اولین بار از انتها تا انتها قابل حسابرسی: پاراگراف مقرراتی → بُعد (D01–D27) → file:line پیاده‌سازی → خط‌پایه تاریخ‌دار → (با استقرار زیربناها) شاهد فدراسیون خارجی.
  • تعهد می‌دهد پیمان را به تجدید این ضمیمه در هر نسخه با آخرین انتشار عامل و خط‌پایه آن زمان، تا ادعای آمادگی هرگز بی‌صدا منسوخ نشود.

ضمائم پیشین: هیچ. این اولین است.