---

عندما يفعل الوكيل شيئًا لا ينبغي له فعله، فإنك تسأل ثلاثة أسئلة: ماذا فعل، وهل كان مسموحًا له بذلك، وهل يمكنك الوثوق بالسجل؟ لا يستطيع سجل الوكيل نفسه الإجابة عن السؤال الثالث، لأن الوكيل يستطيع تعديله. إليك تشغيل واحد، مسجّل بالطريقتين:

_{نفس التشغيل، مسجَّلًا: قاعدة البيانات، والموقِّع، والعارض، وكلا التعديلين حقيقية؛ أما النموذج فهو مُبرمَج. شاهده مع الصوت (1:47)}

في هذا العرض التجريبي، عمل الموقِّع بصفته مستخدم الوكيل نفسه (وضع dev)، لذا كان بإمكان وكيل يعرف الطريقة أن يقرأ المفتاح ويعيد توقيع السجل. شغِّل الموقِّع حيث لا يستطيع الوكيل الوصول إليه، مع شاهد، فلن يستطيع ذلك.

جرِّبه

uvx --from tracekit-ai tracekit demo --server

لا يوجد مفتاح API، ولا شيء لتثبيته باستخدام uv. من ذاكرة تخزين مؤقت فارغة على جهاز Mac استغرق الأمر 5 ثوانٍ (10 مع pip install tracekit-ai في بيئة venv جديدة). الحزمة هي tracekit-ai: أما tracekit على PyPI فهو مشروع غير ذي صلة. يقوم الوكيل النصي بثلاثة استدعاءات، ويجب أن ترى:

== agent run (SCRIPTED: fixed tool calls, not a model)
  Bash 'ls': allow
  Bash 'sudo rm -rf /': deny TK-D001 TK-D004 TK-F003
  Bash 'echo "unterminated': ask TK-SHELL-PARSE
...
Integrity: VERIFIED.

== tamper test: rewrite the denied call as allowed in a copy, then verify again
[FAIL] signatures — 11 record(s), keys valid at their position
        seq 4: hash does not match the event
Integrity: FAILED.

رُفض الحذف قبل تنفيذه، ونُفّذ الاستدعاء المعلّق بعد الموافقة، وتم التحقق من التشغيل. ثم أعاد العرض التجريبي كتابة الرفض على أنه مسموح في نسخة، وفشل التحقق عند السجل الذي غيّره.

أضفه إلى وكيلك

ثلاثة أسطر:

pip install tracekit-ai

import tracekit; tracekit.instrument()     # the first line of your agent; then run it as usual

tracekit last                               # Integrity: VERIFIED. / Assurance: dev; ...

tracekit.instrument() يبدأ موقّعًا للتطوير (أو يعيد استخدام الموقّع قيد التشغيل) ويبوّب ويسجّل كل استدعاء أداة ونموذج من الأطر التي يجدها. يصدّر tracekit last أحدث تشغيل لديك، ويتحقق منه ويخبرك بمكانه. يعرض tracekit view --dev كل تشغيل. على جهاز نظيف، تم تثبيت مثال LangGraph (نموذج وهمي، بدون مفتاح API) وتشغيله والتحقق منه في 27 ثانية: examples/v2/clean-machine.sh langchain.