pi-heed: pembatasan runtime untuk pi dengan TypeSafe Jev
Batasan runtime untuk agen pengkodean pi: memeriksa setiap panggilan alat yang memiliki efek samping terhadap aturan yang dinyatakan pengguna, didukung oleh TypeSafe Jev. Termasuk benchmark terperinci dan log eksperimen yang mengevaluasi keputusan System One Jev.