// tier: helix-primary · order 14

HelixCluster in-developmentlicense: TBD

Go (1.25 / toolchain 1.26.4)Zig + C/C++gRPC + Protocol BuffersRaft (etcd-raft) + SWIM gossipPostgreSQL 16 / Redis 7 / etcd v3.5 / SQLiteNATS / Kafka / RabbitMQWireGuard + ML-KEM-768/X25519 + AEADSPIFFE + JWT + OPAPrometheus / Grafana / JaegerHashiCorp VaultKubernetes + HelmReact + TypeScript + ViteTLA+

Source

HelixCluster — seven-layer stack 14 control-plane microservices heterogeneous nodes T1–T8 Node tiers T1 (datacenter GPU) → T8 (handheld), unified under one control plane L7 · Federation & Observability L6 · Security & Attestation (SPIFFE, PQ-E2EE) L5 · Sessions & Interactive Terminal L4 · AI Inference Routing L3 · Omega Scheduler (two-level) L2 · Consensus & Membership (Raft + SWIM) L1 · Node Runtime & Transport (gRPC, WireGuard) L0 · Hardware Substrate (GPU → edge SBC)
// architecture

نظام تشغيل موزَّع لأجهزة AI الحاسوبية — من وحدات معالجة الرسوميات في مراكز البيانات إلى الأجهزة المحمولة الطرفية، تحت مستوى تحكم موحَّد.

نظام Helix Cluster OS هو نظام تشغيل موزَّع من الجيل التالي يقوم بتنسيق العمليات الحاسوبية عبر عُقد غير متجانسة — بدءاً من وحدات معالجة الرسوميات في مراكز البيانات وصولاً إلى الحواسيب أحادية اللوحة والأجهزة المحمولة الطرفية — مُوحِّداً جدولة الحوسبة عالية الأداء، وتنسيق الحاويات، والاستدلال عبر AI/ML، وتشغيل المجموعات المتعددة المتعددة، والجلسات الآمنة متعددة المستأجرين تحت مستوى تحكم موحَّد.

نظام تشغيل موزَّع قائم على Go / تجمع حوسبة لمشاركة GPU. يُوحِّد هذا النظام جدولة الحوسبة عالية الأداء (جدولة ثنائية المستوى على نموذج أوميغا)، وتنسيق الحاويات، وتوجيه استدلال AI، والتشغيل الموحَّد للمجموعات، والجلسات الآمنة متعددة المستأجرين عبر عُقد غير متجانسة، بتنسيق عبر بروتوكول SWIM للنميمة وإجماع Raft، مع تشفير شامل مقاوم للحوسبة الكمومية من طرف إلى طرف.

يقوم نظام Helix Cluster OS بتنسيق أعباء العمل الحاسوبية عبر أجهزة غير متجانسة بشكل جذري — من وحدات معالجة الرسوميات في مراكز البيانات إلى الحواسيب أحادية اللوحة الطرفية وحتى الأجهزة المحمولة — تحت مستوى تحكم موحَّد، مُعامِلاً رفاً من وحدات A100 ومجموعة من الحواسيب أحادية اللوحة كوحدة نسيج قابلة للعنونة بدلاً من عشرات الجزر غير المتوافقة. إنه مساحة عمل Go (مستودع أحادي مع وحدات فرعية من Git) تنفذ بنية مكونة من سبع طبقات، بدءاً من الطبقة المادية L0 وصولاً إلى الطبقة السابعة للتوحيد والمراقبة، بتنسيق عبر أربعة عشر خدمة مصغرة لمستوى التحكم. تُتتبَّع العضوية العقدية عبر بروتوكول SWIM للنميمة والاكتشاف بحيث يشفى النسيج تلقائياً عند انضمام العقد أو مغادرتها؛ بينما تعتمد الحالة المتسقة بقوة على إجماع Raft، مُنظَّمةً كمجموعات Raft لكل شريحة مع قراءات محلية للمستأجرين لضمان السرعة، وحماية STONITH لمنع العقد المقسَّمة من إفساد الحالة المشتركة. يتم وضع أعباء العمل عبر جدولة ثنائية المستوى على نموذج أوميغا — التوازي المتفائل، مطابقة ClassAd، الجدولة الجماعية، الإحلال بقيمة مضاعفة، ووضع قائم على القيود — ثم يتخطى ما كانت تقوم به جدولة الحوسبة عالية الأداء التقليدية: توجيه واعٍ للبصمة الكربونية والتكلفة/التكلفة الإجمالية للملكية، والتوسُّع التلقائي نحو السحابة عند الاندفاع، ومحولات الأسواق (Akash، io.net، RunPod، AWS Spot، Chutes) التي تسمح بتسريب الوظائف إلى القدرات المستأجرة عند نفاد العرض المحلي.

لا يرى المستخدمون النهائيون أياً من هذه الآليات مباشرة؛ بل يتفاعلون عبر نموذج جلسات نظيف (تخصيصات الحوسبة)، وطرفية WebSocket/PTY تفاعلية، ومسار داخلي لاستدلال AI، وقراءات استخدام التجمع. تُعتبر الأمان طبقة أساسية وليست إضافة لاحقة: هوية SPIFFE، وإثبات الجهاز (التحدي/الاستجابة، إثبات عمل GPU، الختم)، وبوابة KYC لمراقبة الصادرات، ونقل مشفر شامل مقاوم للحوسبة الكمومية من طرف إلى طرف مبني على تبادل مفاتيح هجين X25519 + ML-KEM-768 مع حماية سجلات AEAD ورفض إعادة التشغيل — مُصمَّم بحيث تظل حركة المرور الملتقطة اليوم سرية حتى أمام الخصوم الكموميين في المستقبل. لا يُفترض الصواب، بل *يُثبت*: اختبار المحاكاة الحتمية (تشغيلات مبرمجة على غرار FoundationDB، وحقن الأخطاء، ومحاكاة الشبكة، وإعادة التشغيل بايتاً ببايت، ومُدقِّق الخطية Porcupine) يعيد إنتاج حالات الفشل الموزَّعة عند الطلب، واختبار الطفرات المزدوج الإلزامي يثبت أن اختبارات الحماية فعَّالة بالفعل. تُحافظ البنية الوثائقية على الدقة عبر أدوات فحص آلية تفشل البناء لحظة انحراف الواقع عن الوثائق.

المحتوى

لتشغيل أعباء عمل AI والحوسبة عالية الأداء عبر مستويات أجهزة متباينة تماماً دون الحاجة إلى تجميع مجدولات ومُنسِّقات ومكدسات استدلال منفصلة — وللقيام بذلك بضمان هندسي بأن كل ميزة تم شحنها تثبت *سلوك المستخدم النهائي الفعلي* (دون الاعتماد على اختبارات وهمية بدلاً من النماذج الحقيقية) وأن كل قدرة خاصة بنظام التشغيل تستخدم مرفقاً أصلياً حقيقياً لكل منصة (دون محاكاة خاصة بنظام لينكس فقط). المشكلة الدافعة، كما وردت في وثائق إدارة المستودع، هي نمط الفشل "الاختبارات تجتاز لكن الميزة لا تعمل فعلياً"، وهو ما صُمِّم المشروع بشكل صريح للقضاء عليه.

إنه يدمج خمسة عناصر كانت عادةً خمسة مكدسات منفصلة — جدولة الحوسبة عالية الأداء، وتنسيق الحاويات، واستدلال AI، والفيدرالية متعددة المجموعات، والجلسات الآمنة متعددة المستأجرين — في مستوى تحكم واحد يمتد من وحدات معالجة الرسوميات في مراكز البيانات وصولاً إلى الأجهزة المحمولة على الحافة. ويحقق ذلك بميزانية دقة تُخصص عادةً للبنية التحتية المتخصصة: ضمانات صحة على مستوى الأساليب الرسمية (مواصفات TLA+، والمحاكاة الحتمية، وفحص الخطية)، ونقل سري ما بعد الكم، وهي نوعية الضمانات التي لا تحاول معظم المُنسِّقات توفيرها أصلاً. وفوق هذا التفوق التقني، فإن وضعية التكاليف والوعي البيئي بالإضافة إلى القدرة على التوسع عبر سوق الحوسبة السحابية تجعل منه أداة *اقتصادية* أيضاً — حيث يمكن للمجدول البحث تلقائياً عن طاقة أرخص أو أكثر استدامة أو احتياطية، مما يجعل نفس عبء العمل يكلف أقل وينبعث منه أقل دون الحاجة إلى إعادة كتابة الوظيفة.

  • اختبار المحاكاة الحتمية (DST) — محاكي مُبذر وقابل لإعادة الإنتاج بالكامل، يحقن الأخطاء، وانحراف الساعة، وتقسيمات الشبكة، ويعيد تشغيلها بايتاً ببايت، ويمرر النتيجة عبر مدقق الخطية "بوركباين"، بحيث يمكن إعادة إنتاج خطأ هايزنبرغ الذي يُكتشف مرة واحدة عند الطلب إلى الأبد.
  • مجدول ثنائي المستوى بنموذج أوميغا — وضعية متفائلة للمزامنة مع مطابقة "كلاس أد"، وجدولة جماعية، وإخلاء مسبق بناءً على مضاعف القيمة، والتصميم المشترك للحالة الذي يسمح للعديد من المجدولات بالالتزام بمجموعة واحدة دون عنق زجاجة مركزي.
  • توصيل الاستدلال السري/التشفير من طرف إلى طرف ما بعد الكم — تبادل مفاتيح هجين باستخدام X25519 وML-KEM-768 مع ربط زوج مفاتيح الاستجابة لكل طلب، والتشفير المصادق عليه مع رفض إعادة التشغيل (المقومات التشفيرية حقيقية ومختبرة؛ بينما يظل الاتصال السري متعدد العقد كامل الدورة قيد التخطيط/الموافقة بشكل صريح).
  • الثقة القائمة على الإثبات — يجب على العقد *إثبات* هويتها: هوية SPIFFE، وإثبات عمل GPU، وختم الجهاز، وبوابة التحقق من الامتثال للرقابة على الصادرات، وتوليد وثائق الامتثال لقانون AI للاتحاد الأوروبي، بحيث تُكتسب الثقة عبر الأدلة بدلاً من افتراضها بناءً على موقع الشبكة.
  • التنسيق الواعي بالتكلفة والكربون — نمذجة التكلفة الإجمالية للملكية، ووضعية واعية بالكربون، والتوسع نحو السحابة، واحتياطي الفشل N+K، ومحولات سوق الحوسبة السحابية، مما يجعل السعر والانبعاثات مدخلات أساسية للجدولة بدلاً من مجرد أفكار لاحقة.
  • إجماع متعدد الرافعات — مجموعات رافعات لكل شريحة مع قراءات محلية لحامل الإيجار لتحقيق اتساق منخفض الكمون، مدعومة بسياج STONITH (IPMI / EC2 / Azure / SBD) بحيث تُزال العقدة المعطلة بشكل حاسم بدلاً من تركها لتخريب الحالة.
  • فحوصات ميكانيكية ضد الانحراف — يفشل archlint البناء فوراً إذا كانت المكونات الموثقة تشير إلى مسار حزمة غير موجود، ومحرك سلسلة الوثائق يحافظ على تماسك البايتات بين Markdown وHTML وPDF وDOCX، بحيث لا يمكن للوثائق أن تكذب بصمت عن الكود.

المحتوى

  • "خدعة النجاح" (اجتياز الاختبارات على ميزات غير وظيفية). نمط الفشل الذي بُني المشروع بأكمله للقضاء عليه: مجموعة اختبارات خضراء فوق محاكيات زائفة. تم حل هذه المشكلة بفرض اختبار الطفرات المزدوج الإلزامي — فكل عنصر عمل يحمل اختبارًا حارسًا محددًا يجب أن يفشل تحت طفرة مستقلة في الكود قبل اعتبار العنصر مكتملاً، وبذلك يثبت نجاح الاختبار أنه يتحقق من سلوك حقيقي وليس مجرد محاكاة.
  • التكافؤ عبر المنصات (عدم الاقتصار على محاكيات لينكس فقط). تم حل هذه المشكلة بواجهة مشتركة مقسمة عبر علامات البناء إلى مرافق أصلية لكل نظام تشغيل — مثل مجموعات التحكم في لينكس (cgroup) و/proc وواجهة نواة WireGuard، وsysctl وvm_stat وIOKit وwireguard-go في نظام macOS — ثم التحقق المتبادل مع مرجع نظام تشغيل مستقل، بحيث يقدم كل نظام حالة أصلية حقيقية بدلاً من افتراضات لينكس.
  • الصحة الموزعة تحت ظروف الأعطال. تم حل هذه المشكلة من خلال اختبار المحاكاة الحتمية وأداة التحقق من قابلية التسلسل الخطي التي تنتج وتعيد تشغيل حالات التقسيم والتعطل وانحراف الساعة، مدعومة بمواصفات TLA+ الرسمية التي تحدد ثوابت التوافق والجدولة قبل كتابة أي سطر من الكود.
  • انحراف الوثائق والبنية المعمارية. تم حل هذه المشكلة باستخدام archlint الذي يفشل عملية البناء عند اكتشاف أي حزمة موثقة ولكنها غير موجودة، وبوابة تحقق docs_chain دون أي استثناءات — فالانحراف يؤدي إلى فشل البناء، وليس مجرد صفحة ويكي قديمة.
  • تحديد نطاق العمل غير المكتمل بصراحة. جولة الاستدلال متعددة العقد السرية مقصودة خلف تذكرة محددة وموسومة بـ"لم يتم التحقق منها من النهاية إلى النهاية بعد" بدلاً من تقديمها على أنها مكتملة — نفس الانضباط المطبق على ما لم يُنجز بعد كما هو مطبق على ما تم إنجازه.

  • Go (go.mod: 1.25 / مجموعة الأدوات 1.26.4) — لغة مستوى التحكم عبر مساحة عمل تضم حوالي 30 وحدة؛ اختيرت لقدرتها على إدارة التوازي عبر الغوروتينات بتكلفة منخفضة، ولإنشاء ملفات تنفيذية ثابتة تنتشر بشكل متماثل من مراكز البيانات إلى الحواف.
  • Zig (0.14+) + C/C++ — تُستخدم حيث تتدخل بيئة تشغيل Go: في العناصر الأولية للنظام منخفضة المستوى ونوى GPU التي تتطلب تحكمًا حتميًا وخاليًا من التخصيص على مستوى العتاد.
  • gRPC + Protocol Buffers — كل اتصال بين الأنظمة الفرعية عبر API (api/v1/) هو عقدة محددة الإصدارات والنوع، مما يسمح لتسعة عشر خدمة مصغرة بالتطور دون كسر بعضها البعض أو الحاجة إلى صياغة تنسيقات نقل يدوية.
  • Raft (etcd-raft) + بروتوكول SWIM للنشر Gossip — تقسيم متعمد: يحمل Raft الحالة التي يجب أن تكون متسقة بقوة، بينما يتعامل بروتوكول SWIM Gossip مع العضوية والاكتشاف على نطاق واسع حيث يكون التوافق ثقيلاً للغاية.
  • PostgreSQL 16، Redis 7، etcd v3.5، SQLite — المتجر المناسب لكل مهمة: Postgres للبيانات العلائقية الدائمة، Redis للذاكرة المؤقتة الساخنة، etcd للتنسيق، وSQLite المضمنة لسجل عناصر العمل المحلي للعقدة HXC.
  • NATS 2.10 (JetStream)، Kafka 4.0 (KRaft)، RabbitMQ 3.13 — ثلاثة أنظمة مراسلة لثلاثة أشكال من حركة البيانات: NATS/JetStream للحدث السريع الداخلي، Kafka للتدفقات عالية الإنتاجية والدائمة، وRabbitMQ لدلالات الوسيط التقليدية.
  • شبكة WireGuard + ML-KEM-768/X25519 + AES-256-GCM/ChaCha20-Poly1305 + HKDF — WireGuard لشبكة خفيفة بين العقد، مغلفة بمصافحة هجينة مقاومة للكمبيوتر الكمي وتسجيلات مصادقة التشفير المصاحبة (AEAD) لضمان سرية النقل ضد المهاجمين التقليديين والكميين.
  • SPIFFE + JWT (HS256) + التحكم في الوصول المستند إلى النطاق + OPA — هوية وتفويض متعدد الطبقات: SPIFFE لهوية الحملات، JWT للرموز، التحكم في الوصول المستند إلى النطاق للوصول العام، وOPA للتعبير عن السياسات الدقيقة ككود.
  • Prometheus v2.50، Grafana 10.4، Jaeger 1.55، تتبع W3C — المقاييس ولوحات التحكم والتتبع الموزع مع انتشار سياق W3C، مما يسمح بتتبع الطلب عبر الخدمات ومستويات العتاد المختلفة.
  • HashiCorp Vault 1.16 — تُحفظ الأسرار والمواد الرئيسية خارج الكود والتكوين وتُصدر تحت المراجعة.
  • Docker Compose، Kubernetes (kustomize، سياق أمان مقوى)، Helm — Compose للإعداد المحلي وKubernetes/Helm بسياقات أمان مقواة للنشر الفعلي، بتعريف واحد يُروج عبر البيئات المختلفة.
  • React + TypeScript + Vite (Node 20+) — واجهة ويب سريعة وآمنة الأنواع للجلسات والمحطات الطرفية واستخدام الموارد.
  • TLA+ — المواصفات الرسمية لثوابت التوافق والجدولة، بحيث تُثبت الخصائص الأصعب في الاختبار على مستوى التصميم قبل التنفيذ.

المحتوى

  • الحالة: قيد التطوير. النسخة مبكرة (0.1.0-dev). العديد من الميزات المتقدمة — مثل الاستدلال متعدد العقد السري الكامل ذهابًا وإيابًا، وتسوية السوق، وملء الجدولة المدفوعة بالشهادات — تم تصنيفها بوضوح كـ مخطط لها / معتمدة على البنية التحتية في المستودع، ولا تُقدّم على أنها مكتملة العمل. أرقام التغطية مُعلنة ذاتيًا.
  • الرخصة: لم تُحدد بعد. لم تُعلن بوضوح؛ عناوين URL في مخطط Helm (HelixCluster/HelixCluster) وhelixcluster.io هي عناصر نائب غير مُتحقق منها ولا تتطابق مع المواقع البعيدة الحقيقية.
  • مشاريع حزمة LLM المرفقة (مثل LLMOrchestrator، LLMProvider، LLMsVerifier) هي وحدات فرعية منفصلة وليست خوادم نماذج مستضافة داخل العنقود.

درجة الأولوية: Helix-أساسية (LLM-عنقود البنية التحتية — الطبقة الحاسوبية التي يمكنها استضافة مهام الاستدلال والحوسبة). تأتي في المرتبة التالية بعد HelixTrack.