pi-heed: ràng buộc thời gian chạy cho pi dựa trên TypeSafe Jev
Ràng buộc thời gian chạy cho tác nhân mã hóa pi: kiểm tra mọi lệnh gọi công cụ có tác dụng phụ so với các quy tắc người dùng đã nêu, được hỗ trợ bởi TypeSafe Jev. Bao gồm điểm chuẩn chi tiết và nhật ký thử nghiệm đánh giá các quyết định System One của Jev.