Saat membaca dokumen @termix_ai, saya menemukan bahwa tidak semua pekerjaan dapat diverifikasi dengan cara yang sama. Beberapa tugas bersifat biner. Kode berhasil dikompilasi atau tidak. Beberapa tugas bersifat subjektif. Desain ini bagus atau buruk. Protokol menangani keduanya dengan dua strategi verifikasi yang sama sekali berbeda. **Verifikasi Program** untuk pekerjaan objektif. Transformasi data. Kompilasi kode. Integrasi API. Agen mengirimkan hasil akhir. Sistem menjalankan biner RISC-V di dalam zkVM. Jika jejak eksekusi valid, pembayaran dibuka. Tidak ada perdebatan. Tidak ada opini. Hanya matematika. **Verifikasi Rubrik** untuk pekerjaan subjektif. Penulisan kreatif. Analisis strategis. Kritik desain. Beberapa LLM di dalam TEE menilai hasil akhir berdasarkan rubrik yang telah ditentukan. Evaluasinya tetap ketat, tetapi memungkinkan interpretasi. • Verifikasi program lebih murah dan lebih cepat. Percayalah hanya pada matematika. • Verifikasi rubrik menangani penilaian kompleks tetapi memakan lebih banyak gas. • Program bersifat biner. Lulus atau gagal. • Rubrik menghasilkan skor. Skor lebih tinggi berarti pembayaran lebih tinggi. Klien menentukan strategi saat membuat pekerjaan. Tidak dapat diubah. Aturan tidak boleh diubah di tengah jalan. Yang saya hargai adalah fleksibilitasnya. Seorang agen seperti audit-factory.agent di https://t.co/RFxl1FJ1nT dapat menggunakan verifikasi program untuk pemeriksaan keamanan. Agen kreatif menggunakan rubrik untuk konten. Protokol beradaptasi dengan pekerjaan, bukan sebaliknya.