أساسيات Arxi

الأنظمة موثوقة عندما يمكنك إعادة تشغيل تاريخها والتحقق من سلامته. الأتمتة قوية، ولكن آثار تنفيذها هشة وصعبة الإثبات. تعيد Arxi إنشاء تلك الضمانات لأي نظام يتجاوز حدود الثقة دون إبطاء النظام.

يتم ذلك من خلال ثلاثة مفاهيم تتراكم على بعضها البعض: تحدد الأظرف ما حدث، وتثبت السلاسل التسلسل، وتجعل الحزم الأدلة قابلة للنقل.

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

الأظرف (كيف يتم تسجيل الأحداث)

يتم التقاط كل حدث حدود كظرف دليل. يحمل كل ظرف نوع الحدث، هوية الفاعل، الطوابع الزمنية، معرفات الترابط، حمولة محددة، والمرفقات الاختيارية. تعتبر الظروف الوحدة الذرية للدليل - منظمة بما يكفي للاستعلام، مكتملة بما يكفي للتحقق.

{
  "envelope_id": "env-a7f3",
  "event_type": "tool.call",
  "actor_id": "agent:planner",
  "capture_time": "2025-01-15T10:30:00Z",
  "payload": { "tool": "run_tests", "exit_code": 0 },
  "prev_hash": "sha256:9c1e..."
}

ظرف الأدلة: من فعل ماذا، ومتى، مع رابط تشفيري إلى السلسلة.

لماذا هذا مهم: تتوقف عن التخمين حول ما حدث وتبدأ في إثباته. تتحول الأظرف إلى أدلة منظمة وقابلة للاستعلام مع إثبات المصدر.

السلاسل (كيف يتم الحفاظ على النزاهة)

لا تطفو الأظرف - فهي مرتبطة بسلاسل هاش. كل ظرف يشير إلى هاش سلفه، لذا فإن التسلسل يظهر أي تلاعب. يتم تنظيم السلاسل في مقاطع يمكن ختمها (جعلها غير قابلة للتغيير). بمجرد ختمها، يمكن التحقق من سلامة المقطع من رأس السلسلة إلى أول ظرف.

{
  "segment_id": "seg-001",
  "status": "sealed",
  "envelope_count": 42,
  "chain_head": "sha256:d4e5...",
  "seal_time": "2025-01-15T11:00:00Z"
}

قطاع مختوم: 42 ظرفًا، يمكن التحقق من سلامته من خلال تتبع سلسلة التجزئة.

لماذا هذا مهم: السلاسل تحول مجموعة من الأحداث إلى تسلسل واضح التلاعب. إذا تم تغيير أي ظرف أو إزالته أو إعادة ترتيبه، فإن السلسلة تنكسر - وتكتشف عملية التحقق ذلك.

الحزم (كيف يتم تبادل الأدلة)

الحزم هي لقطات ثابتة وغير قابلة للتغيير من الأدلة. تحتوي على سلاسل مغلف مختارة، والمرفقات المطلوبة، وبيان تحقق مع تجزئة. الحزم هي وحدة التبادل - يمكنك تسليم واحدة إلى نظام اتخاذ القرار، أو مدقق، أو مخزن أرشيفي ويمكن التحقق منها بشكل مستقل.

{
  "bundle_id": "bun-001",
  "segments": ["seg-001"],
  "attachment_count": 3,
  "manifest_hash": "sha256:f8a1...",
  "verification": { "phases_passed": 7, "verdict": "valid" }
}

حزمة الأدلة: مكتفية ذاتياً، قابلة للتحقق دون اتصال، وقابلة للنقل عبر الأنظمة.

لماذا هذا مهم: تتحول الحزم إلى دليل خارجي من السجلات الداخلية. يمكن التحقق منها دون اتصال، ومشاركتها عبر حدود الثقة، وأرشفتها للامتثال—دون الحاجة إلى الثقة في نظام المصدر.


بعد ذلك، انظر كيف تظهر هذه المفاهيم في سير العمل الحقيقية في أمثلة Arxi.

تعلم المزيد