Hududullah — batas keras yang tak boleh dilanggar

Penutup ayat berfungsi sebagai invariant/assertion yang wajib dijaga: 'itulah batas Allah, jangan langgar'. Batas ini bukan nilai default yang bisa ditawar oleh optimasi lokal — ia kondisi yang harus tetap benar apa pun tujuan pelaku. Pelanggaran = assertion failure yang ditandai (zalim).

Struktur talak dibingkai sebagai state machine berbatas: pencacah talak raj'i punya plafon keras (maksimum dua sebelum status berubah ba'in). Ruang keadaan sengaja dipagari agar tak bisa dieksploitasi tanpa henti seperti pada praktik jahiliah.

Setiap titik keputusan hanya menyediakan cabang yang sah terbatas: 'imsāk bi-maʿrūf' ATAU 'tasrīḥ bi-iḥsān'. Tidak ada cabang 'ambil kembali pemberian' kecuali lewat jalur pengecualian yang bersyarat (khulu' saat keduanya khawatir tak bisa menegakkan hukum).

Batas ini adalah guardrail anti-penyalahgunaan: mengubah sistem tak-berbatas (yang menindas pihak lemah) menjadi sistem berpagar yang melindungi. Fungsi tepi bukan mengekang demi mengekang, tapi mencegah kerusakan pada node paling rentan.

Mahar diperlakukan sebagai transfer yang tak boleh ditarik balik (no clawback) — kecuali lewat kontrak keluar yang disepakati dua pihak (khulu') dengan syarat jelas. Batas melindungi kepemilikan pihak penerima dari pembatalan sepihak.

Batas dibuat dapat-diperiksa: pelabelan 'zalim' pada pelanggar menunjukkan tepi itu knowable dan checkable — bukan norma kabur. Dari sisi keputusan, garis sah/tak-sah dapat dievaluasi, sehingga pelanggaran menjadi kondisi error yang terdeteksi.

Inilah pola constraint keras di atas fungsi tujuan: sebuah agen boleh mengoptimasi apa pun DI DALAM koridor, tapi ada batas yang tak boleh dilewati berapa pun 'imbalannya'. Hududullah menjadi analogi lapisan konstitusi/hard-constraint yang mengalahkan reward — pagar terhadap reward hacking dan optimasi yang menindas.

Adab menjaga batas: memperlakukan pasangan dengan hormat, tidak mempermainkan, dan menyadari bahwa tepi yang ditetapkan justru melindungi martabat — batas sebagai bentuk perlindungan, bukan sekadar larangan.

Batas yang dikodifikasi melahirkan instrumen peradaban: fiqh munakahat sebagai sistem constraint terdokumentasi — leluhur metodologis dari 'policy as code' yang membuat aturan main dapat diperiksa dan diwariskan.

Kemenag mencatat pola: dari praktik jahiliah tanpa batas (talak-rujuk sekehendak hati) menuju sistem berpagar. Ini pola berulang — peradaban maju dengan memperkenalkan invariant untuk menghentikan penyalahgunaan yang sebelumnya legal secara adat.