pi-heed: قيود وقت التشغيل لـ pi باستخدام TypeSafe Jev
قيود وقت التشغيل لوكيل البرمجة pi: يتحقق من كل استدعاء أداة له آثار جانبية مقابل القواعد التي أعلنها المستخدم، مدعومًا بـ TypeSafe Jev. يتضمن معيارًا مفصلاً وسجل تجارب لتقييم قرارات System One من Jev.