# ‎/lagune-verify: أثبت أن الضوابط الأمنية تصمد

> أثبت أن كل إصلاح مطبّق يصمد، ثم أغلق نهائيًا ما يصمد منها.

Canonical: https://lagune.ai/ar-AE/docs/commands/verify
اللغة: ar-AE
الأصل: https://lagune.ai/docs/commands/verify
آخر تحديث: 2026-11-09

⚖️ أثبت أن كل إصلاح مطبّق يصمد، بقراءة الكود ومقابلته بما سجّلته مرحلة harden، ثم أغلق نهائيًا ما يصمد منها.

## طريقة الاستخدام

**تحقق من كل شيء**

```prompt
/lagune-verify
```

**حدّد المسارات**

```prompt
/lagune-verify src/routes/upload.ts
```

**حسب الأولوية**

```prompt
/lagune-verify Critical و High
```

## آلية العمل

تقرأ الكود في كل موضع سجّلته مرحلة harden وتتأكد من أنه يطابق الادعاء فعلًا. والإثبات هو تلك المقابلة، الكود مقابل السجل. ويحصل كل ضابط على واحد من ثلاثة أحكام:

| الحكم                        | المعنى                                           |
| ---------------------------- | ------------------------------------------------ |
| ✅ Risk closed               | يفعل الكود بالضبط ما يدّعيه السجل.               |
| ❌ Risk not closed           | ما زال الضابط مفتوحًا. وتعيدك verify إلى harden. |
| ❓ Cannot tell from the code | الدليل غير ظاهر في الكود وحده.                   |

ثم يُخرَج الخطر الذي ثبت إغلاقه من السلسلة، بعد تأكيدك. على سبيل المثال:

- **رفع الملفات** (الحكم: **✅ Risk closed**)
  - _كيف أُثبت:_ قُرئ الـ handler الخاص بالرفع، وتبيّن أنه يكتشف النوع الحقيقي للملف من محتواه، ويفرض حدًا للحجم، ويرفض أي شيء آخر، تمامًا كما يدّعي السجل.
  - _الدليل:_ الدالة `handleUpload`، التي تكتشف النوع الحقيقي للملف من محتواه.

وإن لم يُغلق الخطر، تقول verify ذلك بوضوح وتعيدك إلى [`/lagune-harden`](https://lagune.ai/ar-AE/docs/commands/harden)، لأن الإصلاح ما زال مفتوحًا.

**نصيحة**

- تبني بالكامل على سجل التحصين.
- لا تقرأ الكود إلا للحكم عليه، ولا تُضعف ضابطًا أبدًا ولا تعيد كتابة الكود ليجتاز الحكم.
- تشغيلها مجددًا يوائم الأحكام مع الواقع الحالي: تختفي الأحكام القديمة، ويُنبَّه مجددًا إلى الخطر الذي لم يعد مغلقًا.
- حين يثبت إغلاق خطر، تسأل مرة واحدة، ثم تزيل تلك الملاحظة من السلسلة كلها (detect و plan و harden والتتبع).
- لا تكتب تقريرًا خاصًا بها: يبقى كل حكم في كتلة ضابطه داخل `.lagune/memory/harden.md`، حيث تقرؤه مرحلة harden في التشغيل التالي.

**تعتمد على harden**

تبني مرحلة verify على [`/lagune-harden`](https://lagune.ai/ar-AE/docs/commands/harden).

## الدورة تُغلق

حين يُخرَج كل ما هو ضمن النطاق من السلسلة، تستقر الدورة. ولا تُفتح مجددًا إلا عند تغيّر الكود. الأمان قابل للإغلاق، لذلك للمسار حالة نهائية، لا حلقة لا تنتهي.

## الأسئلة الشائعة

### كيف يتحقق Lagune من الإصلاح؟

يقرأ ‎/lagune-verify الكود ويقابله بما سجّلته مرحلة harden، ويعيد واحدًا من ثلاثة أحكام: Risk closed أو Risk not closed أو Cannot tell from the code.

### ما معنى إخراج الملاحظة من السلسلة؟

حين تُثبت verify إغلاق خطر، تُخرَج الملاحظة: تُزال من السلسلة كلها، بعد تأكيدك، فلا يُعاد معالجتها.

### هل يمكن أن ينتهي العمل الأمني يومًا؟

نعم. منهجية SDH قابلة للإغلاق: الملاحظة التي ثبت إغلاقها تُخرَج من السلسلة، لذلك للمسار حالة نهائية، لا حلقة لا تنتهي.