بوابات التحقق

لا شيء يُعد “منجَزًا” دون فحص يمكنك تشغيله — اختبار، أو رمز خروج من البناء، أو لقطة شاشة. تضيف كل من بوابات التحقق في Forge حاجزًا إضافيًا للاصطياد. مع معدل إخفاق لكل مهمة قدره 1 − p ومعدل اصطياد للبوابة c، تنخفض الإخفاقات الصامتة إلى (1 − p)(1 − c)، وكل بوابة هنا هي c إضافية.

التحقق يُقلِّل الأخطاء، ولا يُشهد بها. مُحقِّقو الفريق (Crew) وعَلَم الرمز المُهلوَس يقلّلان عبء المراجعة؛ لكنهما لا يثبتان صحة الشيفرة. الاختبارات والتصحيحات البشرية تفوز دائمًا.

التحقق المستقل — `forge verify`

بوابة مستقلة: تُشغّل اختبارات المستودع الحقيقية، وتضع علامة على الرموز المُهلوَسة، وتتحقق من المصدر (provenance).

forge verify              # tests + hallucinated-symbol + provenance
forge verify --deep       # multi-lens consensus — several independent checks must agree

يُصعّد --deep (v0.19+) إلى إجماع متعدد العدسات: يجب أن يجتاز التغيير عدة عدسات تحقق مستقلة، لا عدسة واحدة فقط.

عَلَم الرمز المُهلوَس — `forge atlas has`

forge atlas has <symbol> هو فحص الهلوسة: إذا استدعى النموذج رمزًا ليس في الرسم البياني للشيفرة، تضع البوابة علامة عليه.

forge atlas build          # index this repo's symbols → .forge/atlas.json
forge atlas has useAuth    # "not found" = likely hallucinated

الأطلس (atlas) هو JSON عادي عن قصد — يقرأ Codex وCursor وGemini وAider ملف .forge/atlas.json عبر CLI أو jq العادي، دون أي اعتماد على MCP.

المواصفة-كعقد — `forge spec`

ثبِّت السلوك في مواصفة واكتشف الانحراف عنها:

forge spec init            # scaffold an OpenSpec contract
forge spec lock            # lock the current spec as the contract
forge spec check           # report drift against the locked contract

بوابة المهارات — `forge scan`

قبل تثبيت مهارة أو خادم MCP، افحصه بحثًا عن الحقن، أو تنفيذ الشيفرة عن بُعد (RCE)، أو تسريب البيانات:

forge scan <path-to-SKILL.md-or-.mcp.json>

الفحص النظيف ليس شهادة أمان. لا تصطاد الاستدلالات المدمجة سوى أشكال الهجمات المعروفة (الحرجة) وعدد قليل من الأنماط عالية الخطورة؛ اجتيازها يعني “لم يُكتشف توقيع حرج”، وليس “آمن للتثبيت”. راجع دائمًا المصدر، والأذونات، ومصدر الحزمة، وسلوك الشبكة بنفسك. النتيجة عالية الخطورة high لا تُوسم آمنة رغم أنها لا تحجب فعليًا. الماسح الخارجي اختياري ولا يجري أي استدعاء شبكي إلا إذا مكّنتَه.

التصليب — `forge harden`

وصِّل ضوابط الأمان التي تُبقي الأسرار والتغييرات غير الآمنة خارج المستودع:

forge harden               # gitleaks pre-commit + sandbox settings

بوابة على مستوى الالتزام — `forge precommit`

forge precommit (v0.19+) هي بوابة على مستوى الالتزام (commit) — تُشغّل الحد الأدنى للتحقق وقت الالتزام حتى يُصطاد العمل الجزئي أو غير المُتحقَق منه قبل أن يهبط.

فحوصات واجهة المستخدم — `forge uicheck`

فحوصات UI حتمية، دون LLM ودون لقطات شاشة لأول ثلاث عدسات:

forge uicheck contrast <fg> <bg>     # WCAG contrast ratio
forge uicheck fingerprint <file...>  # deterministic design fingerprint
forge uicheck design <file...>       # slop-distance + conformance gate
forge uicheck visual <file-or-url>   # Playwright-rendered check (opt-in tier)

قرن ذلك مع forge taste لاختيار اتجاه بصري واحد (brutalist، corporate، editorial، minimalist، playful) ومعايرة عتبات بوابة design.

ابدأ

المفاهيم الأساسية

بوابات التحقق

التحقق المستقل — `forge verify`

عَلَم الرمز المُهلوَس — `forge atlas has`

المواصفة-كعقد — `forge spec`

بوابة المهارات — `forge scan`

التصليب — `forge harden`

بوابة على مستوى الالتزام — `forge precommit`

فحوصات واجهة المستخدم — `forge uicheck`

​التحقق المستقل — forge verify

​عَلَم الرمز المُهلوَس — forge atlas has

​المواصفة-كعقد — forge spec

​بوابة المهارات — forge scan

​التصليب — forge harden

​بوابة على مستوى الالتزام — forge precommit

​فحوصات واجهة المستخدم — forge uicheck

التحقق المستقل — `forge verify`

عَلَم الرمز المُهلوَس — `forge atlas has`

المواصفة-كعقد — `forge spec`

بوابة المهارات — `forge scan`

التصليب — `forge harden`

بوابة على مستوى الالتزام — `forge precommit`

فحوصات واجهة المستخدم — `forge uicheck`