Raqīb ʿatīd — logging berkelanjutan oleh dua pencatat

Muraqabah: sadar setiap ucapan & amal tercatat rapi → mendorong menjaga lisan dan perbuatan. Bukan pengawasan yang mencekik, tapi kesadaran yang memuliakan — setiap kebaikan pun tak hilang tercatat.

Spesifikasi audit logging untuk agen: SETIAP tindakan & 'ucapan' (output) tercatat oleh observer yang selalu hadir (ʿatīd = always-on), dengan REDUNDANSI dua pencatat (kanan-kiri) sehingga log tak bergantung satu titik. Ini prasyarat akuntabilitas agen autonom: tanpa trace lengkap & tahan-gagal, perilaku tak bisa diaudit atau di-debug. 'Mā yalfizhu min qaulin illā...' = zero untracked actions — tak ada output di luar log.

Write-ahead log dengan dua writer: tiap event (qaul/amal) di-append oleh dua pencatat independen di posisi tetap (kanan=kebaikan, kiri=keburukan → terklasifikasi saat ditulis). Logging yang terstruktur & terkategori di titik tulis, bukan post-hoc.

Invariant liveness: untuk setiap ucapan, EXISTS pencatat yang hadir (∀ qaul ∃ raqīb). Tak ada celah waktu tanpa observer. 'ʿatīd' (siap/hadir) = observer tak pernah offline — coverage 100%, bukan sampling.

Observabilitas total dengan redundansi: dua pencatat = tak ada single point of failure pada audit trail (bandingkan 2 saksi di 2:282). Menariknya tafsir mencatat: pencatatan tetap ada MESKI Yang Mengawasi sudah Maha Tahu — audit trail bernilai untuk pihak yang diaudit & untuk proses, bukan hanya untuk yang mengawasi.

Efek observer terhadap perilaku: kesadaran tercatat menaikkan kehati-hatian (mirip Hawthorne effect) — tapi versi sehatnya bukan paranoia, melainkan integritas yang terlatih sampai perilaku sama baik dengan/tanpa pengawasan (menuju ihsan).

Akuntabilitas berbasis rekaman lengkap = fondasi kepercayaan transaksional: pembukuan yang mencatat tiap arus (bandingkan 2:282) membuat sengketa terselesaikan pada bukti, bukan klaim. Audit trail adalah infrastruktur trust.