وضع المراجعة — EslaM-X/coreguard · بوابة 4.1 · منصة CoreGuard Assurance · engine 2.1.2
شرح بصري شامل للحالة المعتمدة: ما بُني، ما أُثبت بالهاشات، من يقرر، ولماذا يبقى البث على Mainnet غير مصرّح رغم نجاح كل الاختبارات.
الأدلة تتدفق صعودًا، والتفويض ينزل حصرًا بتوقيع بشري صريح في كل بوابة. أي طبقة لا تستطيع منح نفسها الإذن.
دورة v4.2.2-remediation عالجت الملاحظات الثلاث الحاجبة — كل إصلاح بجدول قبل/بعد ودليل قابل للفحص.
سجل التجميد يثبّت SHA-256 لكل ملف من القرص لحظة معينة. قاعدته الملزمة: أي تعديل بعد الالتقاط — حتى توثيقي — يبطل التجميد ويستلزم دورة جديدة. لذلك كل خلاف «هل تغيّرت البايتات؟» يُحسم بأمر واحد.
محتوى العرض = هاش cast الحقيقي. الزر يقلب نibble واحدًا ويعيد حساب SHA-256 فعليًا (في متصفحك) كما يفعل الفاحص على القرص.
| الحقل | القيمة / المعنى |
|---|---|
| recordId / releaseId | cg41-freeze-record-4.2.6 · 4.2.6-overhaul — يعلو 4.2.5 |
| frozenAtUtc | 2026-09-18T09:31:01Z — بعد التقاطه لا تعديل؛ الاستثناء الوحيد: إعادة تثبيت هاش README بعد تحريره (موثقة، والطابع محفوظ) |
| sha256.releaseFiles + quarantineFiles | 27 + 19 = 46 مدخلًا — نموذج مدخل: {file:"README.md", sha256:"0xba265f10…", bytes:1402} |
| excluded | 1 فقط — السجل ذاته (مرجع ذاتي)؛ يُتحقق منه بمقارنة القرص ↔ الأرشيف |
| cycleEvidence | selftest 21/21 · negative 16/16 (precond=0) · مدقق 649 · برهان حتمية (إعادة توليد = بايتات مطابقة) · استنساخ نظيف BLOCKED |
| decision | CONDITIONAL NO-GO — C7=PARTIAL C8=PENDING C9=PENDING; … = NOT AUTHORIZED |
| gitCommit | موجود — التثبيت مُرتكز على commit حتمي (gitCommit = 2cdda4f2…) · وضع --disk للتشخيص فقط وليس دليلًا |
عقد ملزم لمحرك 2.1.2 — اكتُشف تطويره بعد أن عُثر على سيناريو سلبي «يفقد مقدّمته بصمت» ويبقى النجاح معلنًا.
| الحالة | المعنى | تُقبل نجاحًا في سيناريو سلبي إلزامي؟ |
|---|---|---|
| PASS | تحقق الشرط فعليًا بدليل | في توقع النجاح فقط |
| FAIL | رُصدت مخالفة بفحص مغلق | نعم — هذا هو الهدف في expect-fail |
| BLOCKED | استحال الاستمرار بمانع موثق | نعم — بشرط توثيق المانع |
| INCONCLUSIVE | الأدلة غير كافية للحكم | لا |
| NOT_APPLICABLE | غير منطبق بسبب موثق | لا — أبدًا (عيب السيناريو 9 سابقًا) |
| PRECONDITION_FAILURE | مقدمة تشغيل إلزامية غائبة | تُسقط الدورة كاملة: exit 1 |
نصوص الأوامر من الحزمة نفسها (packet 1.2.0) — كل أمر عنصر واحد يُنسخ كاملًا بنقرة (الهاشات كاملة 64 خانة، لا اختصارات ولا التفاف أسطر منفصلة). السطر الأخير عرض سلوك فقط، غير قابل للنسخ.
تعديل بايت · هاش خاطئ · ملف ناقص · مانيفست معدّل/هاشه مختلف (NEG-wrong-manifest-hash)
method خارج القائمة المسموحة · فعل send · قائمة فارغة (كتالوج مغلق POL-002)
spawn مزدوج · استدعاء ديناميكي (scriptblocks/members)
cast خارج جذر الثقة · cast مفقود · صلاحيات ناقصة
IDs مكررة · تعديل تقرير بعد الإنشاء · سياسة قديمة/هاش مختلف · خريطة انحراف متلاعب بها (14)
هذا هو البرهان الميتا على أن الحوكمة تعمل: لا دورة انتهت بدون كشف شيء لم يكن ليُكتشف لولا قاعدة «أي اختلاف غير مُفسَّر يوقف الدورة». كل التواريخ 2026-09-18.
مصفوفة H1–H8 (packet 1.2.0) — كل بند ربط أدلة يتحقق منه المراجع من القرص بنفسه ثم يوقّع. التوقيع يغلق C8 فقط ولا يمنح GO للبث — قرار المالك (C9) منفصل حصرًا.
| بند | ماذا يربط | الهاش المرجعي | التوقيع/التاريخ |
|---|---|---|---|
| H1 | المحرك v2.1.2 — بعد إصلاح SELF-002 (exec=0 net=0 dyn=0) ودلالة PRECONDITION_FAILURE | يُعاد حسابه من القرص | —— بانتظار —— |
| H2 | تقرير التشغيل القياسي: 33/33 PASS · VERIFIED-READONLY-ONLY · ENV-003 داخل الثقة · LEG-001 بدون إصابات | 0xffb7b589…7a1c (46,812B) | —— بانتظار —— |
| H3 | TAP الـSelf-test 21/21 (يشمل ST21 لمنع مواقع التنفيذ مستقبلًا) | 0x1ebf06fa…2209 (705B) | —— بانتظار —— |
| H4 | المجموعة السلبية 16/16 fail-closed · precond=0 — بعد حذف 15 الشكلي (تغطيته: 14) | يُعاد من القرص (أُعيد توليده في 2.1.2) | —— بانتظار —— |
| H5 | مانيفست الأدلة المعتمد v4.2.2 — 8/8 MATCH مع أزواج orig|quarantine (إثبات حفظ البايتات في العزل) | 0x73649ed3…e0dc (1,033B) | —— بانتظار —— |
| H6 | إغلاق V06-2: مسار cast · SHA-256 · الإصدار 1.8.0 · المصدر الرسمي · وحيد في PATH · غياب توقيع Authenticode موثق | 0xeba3df69…91b36 (58,801,152B) | —— بانتظار —— |
| H7–H8 | بقية بنود الحزمة (تُستكمل عند التسليم الفعلي للمراجع — لم تُعرض تفاصيلها هنا بدقة لعدم الادعاء بغير المثبت) | ||
البوابات أُغلق تنفيذها في وضع المشغّل الواحد المعلن (GOVERNANCE-MODE.md + GOVERNANCE-RECORDS.md): كل سجل برأس إفصاح إلزامي، ومصدر اعتماد مسمّى، وفتحة ترقية فارغة — أول توقيع بشري مستقل يرقّي السجل إلى استقلالية كاملة بلا أي إعادة عمل.
| البند | الدليل | الأثر إذا عولج | الجهد |
|---|---|---|---|
| سجل التجميد مُرتكز على الـcommit (أُغلق) | أُغلق في دورة 4.2.6: gitCommit مثبّت والمدقق يجمع الهاشات من شجرة الـcommit (git show) لا القرص — الكشف من وضع عدائي (10 سيناريوهات) | كل ادعاء يتحقق بأمر واحد ومردّه شجرة غير قابلة للتغيير — صنف «هل تغيّرت البايتات بعد التجميد؟» الذي استهلك دورتين مقتول بنيويًا | دقائق |
| الأدلة الخارجية غير معرّفة آليًا | reviews-extra لا تُذكر في السجل (فحص نصي: false) — وثيقة الخيار B حُذفت مع التقليم | مصفوفة requiredExternalEvidence (مسار+هاش+مصدر) تحوّل الخيار B من شرح إلى عقد قابل للفحص | منخفض |
| CI لا يشغّل دورة الـAssurance | ci.yml: npm test فقط — الـSelfTest/السلبية/المدقق تعمل يدويًا | خطوة CI للفرع المستقل عن البيئة + إعادة إثبات الحتمية على كل push: الأدلة تُراقب باستمرار لا لحظيًا | متوسط |
| توليد JSON عبر PowerShell 5.1 | mojibake CP1252 وقع مرتين بنفس الآلية (دورتا 4.2.4/4.2.6) — المحرك 1,013 سطرًا PS | مولّد Node بجوار validate-report.mjs يقتل صنف العيب نهائيًا (PS للفحص، Node للبيانات) | ساعات |
| حالات البوابات مكررة في 4 مستندات | نص C7/C8/C9 في STATUS وREADME وdecision بالسجل وذيل الحزمة | gates.json مصدر وحيد يستهلكه المدقق وREADME ولوحة HTML (تُولَّد بدل أن تُكتب) | نصف يوم |
| الدفع والتحقق الأرشيفي (أُغلق) | HEAD = origin/main = fa15eb2 · شجرة نظيفة · أرشيف GitHub الحقيقي (main.tar.gz) مطابق للـpins 46/46 | الضلع الكهرماني في المثلث أُغلق بقياس فعلي — لا يبقى منه بند مفتوح | منجز |