الميزات

ما الذي تفعله Stella Ops

تدفع Stella Ops إصدارات الحاويات بالأدلة: أي الثغرات يمكن أن تُنفَّذ فعلًا، ولماذا اعتُمد كل إصدار، ودليل يمكن إعادة التحقق منه لاحقًا — على Docker Compose والمضيفين العاديين، متصلًا أو معزولًا عن الشبكة.

‏v1.0-RC1، مرشّح إصدار. الباقات لا تقيّد الوظائف أبدًا — كل قدرة في الإصدار متاحة في كل باقة؛ والحدود هي البيئات وحجم الفحص.

الأساس

النشر وفحص الثغرات مدمجان: تذهب الإصدارات إلى Docker Compose وSwarm ومضيفي SSH/WinRM؛ وتحصل كل صورة على SBOM ومطابقة التنبيهات وبوابات السياسة. كل أداة جادة تغطي هذه الأرضية. ما يلي هو ما لا يستطيعه الأساس وحده.

الخطر المثبت وصوله يوقف الإصدار — وغير المثبت يبقى مرئيًا

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

شاشة التعرض في Stella Ops تعرض سبع نتائج، منها نتيجة واحدة مانعة، ومرشحًا لمجموعة العمل، ووسوم أدلة REACHABLE وNOT OBSERVED
ما يمنع النشر — التعرض REACHABLE وغير المصحح وذي الصلة بالسياسة أولًا. وتبقى القائمة الطويلة على بُعد عامل تصفية واحد. وحدة تحكم المنتج، v1.0-RC1، حيازة نموذجية. سبع نتائج في هذه الصورة؛ منها واحدة مانعة — REACHABLE وغير مصححة.
  • ثلاث طبقات للأدلة: مخطط استدعاء ثابت، ووجود الرموز الثنائية، والمراقبة وقت التشغيل
  • دعم مخطط النداءات الساكن: على مستوى المصرِّف لـ Go و Java و .NET؛ ومن النص المصدري لـ Python و JavaScript و TypeScript و Rust و PHP و Ruby
  • مخططات مختومة بـ DSSE — مسار الاستدعاء الدقيق موقعًا، لا مدعى

كيف تعمل قابلية الوصول →

كل قرار يحمل دليلًا يمكنك إعادة تشغيله

يُحسب كل حكم حتميًا من مدخلات مجمدة — لقطات التغذية وإصدارات أدوات التحليل وقواعد السياسة — ثم يُختم داخل غلاف DSSE موقَّع بمفتاح لا يخرج من منشأتك أبدًا. ويجري التحقق مقابل جذر ثقة تحدده أنت ويفشل مغلقًا من دونه. أعد تشغيله بعد أشهر: إما أن يتطابق المخرج أو يفشل التأكيد بوضوح. DSSEDead Simple Signing Envelope - معيار بسيط ومرن لتوقيع البيانات بتوقيعات تشفيرية Decision Capsuleحزمة أدلة موقّعة وقابلة للتصدير تختم كل مدخل ومخرج لقرار إصدار للتدقيق دون اتصال والإعادة الحتمية

  • مدخلات مجمدة: لقطات تغذية ذات جذور Merkle، وإصدارات أدوات التحليل، وبصمة السياسة
  • أغلفة DSSE للمدخلات والأدلة والمخرجات — كبسولة واحدة معنونة بالمحتوى لكل قرار
  • إعادة التشغيل خطوة تحقق بنتيجة نجاح أو فشل، وليست لقطة شاشة لتقرير قديم

$ stella replay verify --manifest run-manifest.json

ينفّذ الأمر بيان التشغيل مرتين ويقارن digests الحكم. النتائج المتطابقة تنتهي بالرمز 0؛ وأي اختلاف يُسرد ويفشل الأمر.

الأوامر كما تظهر في وحدة تحكم المنتج (v1.0-RC1).

وعند غياب الدليل يقولها الحكم صراحة: تُسجَّل المجهولات كحالات مفتوحة مع نوافذ مراجعة — ولا تُطمس أبدًا. كيف تُتتبع المجهولات →

الأدلة والتدقيق → · Decision Capsule spec →

كل شيء يعمل مع فصل كابل الشبكة

العمل دون اتصال ليس وضعًا متدهورًا. تعبر لقطات المعرفة المختومة — تغذيات التنبيهات والسياسة ومواد الثقة، مع جذور Merkle — الحدود في حزمة واحدة، ويسجل كل حكم اللقطة التي استند إليها، بحيث يُعاد تشغيل القرار المعزول بصورة مطابقة خارج العزل.

  • Offline Update Kit: التغذيات وقوائم الإلغاء ومرآة شفافية محلية
  • تشير الأحكام إلى لقطاتها، لذلك توجد إجابة دقيقة عما كان معروفًا وقت القرار
  • تُشحن التشفيرات الإقليمية كملفات تعريف قابلة للاختيار — FIPS وGOST وSM وeIDAS — لتطابق التوقيعات الولاية القضائية التي يجب أن تقبلها.

التشغيل السيادي ودون اتصال → · Availability and sanctions notice →

أيضًا في المنتج

كل واحدة من هذه قدرة قائمة بذاتها. سطر واحد هنا؛ والقصة الكاملة على بُعد نقرة.

مراقبة البيئات → يُقارن الـ digest العامل على كل مضيف بالـ digest الذي اعتمده قرار موقّع؛ يُكشف الانحراف ولا يُسوَّى بصمت أبدًا.

قرارات VEX → تُوزن بيانات مصدرين كثيرين مع حفظ المصدر؛ يُسجَّل الخلاف كتعارض ولا يُكبت.

Smart-Diff → بين إصدارين يذهب وقت المراجعة إلى ما تغيّر في المعنى، لا إلى إعادة عدّ النتائج.

تتبع المجهولات → تُصنَّف الأدلة الغائبة في نطاقات HOT وWARM وCOLD مع نوافذ مراجعة حتى تُحل.

حزم الامتثال → تُربط أدلة العهدة بالتزامات NIS2 وDORA وCRA — جمع أدلة فقط، مع تمييز الفجوات المعروفة.

هوية قائمة على digests → الإصدار مجموعة ثابتة من digests بمعيار OCI؛ وعدم التطابق عند السحب يُفشل النشر.

استراتيجيات النشر → canary وrolling وblue-green، بوكيل أو بدونه، مع تراجع إلى digests معروفة بسلامتها.

التكاملات → الموصلات قابلة للاستبدال؛ وسلسلة الأدلة ثابتة — استبدال موصل لا يغيّر أبدًا ما تثبته الكبسولة.

التشغيل → نموذج إصدار واحد لأهداف متنوعة، مع إجراءات تعمل دون اتصال وبقاء التحكم داخل بيئتك.

ما تحصل عليه خلال 30 دقيقة

تثبيت

إعداد Docker Compose

فحص

SBOM مع قابلية الوصول

البوابة

حكم السياسة على digest

تصدير

Decision Capsule موقعة

المستوى المجاني: 3 بيئات وحتى 100 عملية فحص لـ digests جديدة خلال 24 ساعة متجددة، مع شمول كل القدرات.

كيف يقارن Stella →

هل أنت مستعد للإصدارات ذات درجة الأدلة؟

التثبيت باستخدام Docker Compose وتشغيل أول ترقية تم التحقق منه.