# Catatan riset

Canonical HTML: https://aogavrilov.com/id/research-notes/

Document language: id

JAWABAN BERBATAS BUKTI

Jawaban terfokus untuk penelusuran yang berangkat dari masalah. Setiap catatan memisahkan prosedur praktis, bukti yang tersedia saat ini, dan klaim yang tidak dibuktikan oleh karya yang disitasi.

Jawaban terfokus

## Difusi bertopeng ruang-kode vs ruang-token: cara membandingkannya

Protokol perbandingan yang konsisten antar-tahap untuk model bahasa difusi bertopeng dalam ruang kode dan ruang token ketika codec diskret bersifat lossy.

Bagaimana pemodelan bahasa berbasis difusi diskret bertopeng di ruang kode dan ruang token perlu dibandingkan?

Jawaban terfokus

## Modifikasi kode terlokalisasi dengan model generatif

Cara mencegah penulisan ulang seluruh fungsi yang tidak perlu sembari mempertahankan kebebasan yang memadai bagi model generatif untuk menerapkan perubahan kode yang diminta.

Bagaimana model generatif dapat memodifikasi kode tanpa menulis ulang seluruh fungsi?

Jawaban terfokus

## Generasi kode berkendala untuk rekayasa perangkat lunak

Pembedaan praktis antara kendala tata bahasa, kendala tipe, batas pelestarian, dan pemeriksaan penerimaan pada tingkat perilaku untuk kode hasil generasi.

Apa yang dijamin oleh generasi kode terkendala dalam alur kerja rekayasa perangkat lunak?

Jawaban terfokus

## Refaktorisasi berbantuan AI: metode dan bukti

Cara mengevaluasi metode refaktorisasi berbantuan AI mutakhir tanpa menyamakan patch hasil generasi yang tampak masuk akal dengan preservasi perilaku yang telah diverifikasi.

Metode dan bukti apa yang relevan bagi refaktorisasi berbantuan AI yang mempertahankan perilaku?

Jawaban terfokus

## Generasi kode yang dapat diprediksi memerlukan kontrak pelestarian

Mengapa pengambilan sampel deterministik saja tidak memadai, serta bagaimana properti terlindungi yang dapat diamati dan pemeriksaan penerimaan membuat perilaku generasi kode dapat diuji.

Apa yang membuat generasi kode dapat diprediksi, bukan sekadar dapat dikendalikan?

## Hakikat catatan ini

Halaman-halaman tersebut dipelihara sebagai jalur menuju dua studi yang telah dipublikasikan beserta metode terkait, bukan sebagai eksperimen baru, klaim produk, ataupun pengganti makalah resmi. Pernyataan numerik tetap terikat pada lingkungan eksperimen dan keterbatasan yang persis sebagaimana ditampilkan pada tiap halaman.