pi-heed: ข้อจำกัดรันไทม์สำหรับ pi ด้วย TypeSafe Jev
ข้อจำกัดรันไทม์สำหรับเอเจนต์เขียนโค้ด pi: ตรวจสอบการเรียกใช้เครื่องมือที่มีผลข้างเคียงทุกครั้งกับกฎที่ผู้ใช้ระบุ ขับเคลื่อนโดย TypeSafe Jev มีเกณฑ์มาตรฐานโดยละเอียดและบันทึกการทดลองที่ประเมินการตัดสินใจ System One ของ Jev