Dapatkan AX Code · GratisDokumentasi
AX Code.
id
English繁體中文简体中文日本語한국어FrançaisDeutschBahasa IndonesiaItalianoPortuguês (Brasil)РусскийEspañolTürkçeTiếng Việt
Mulai

Halaman ini diterjemahkan dari dokumentasi bahasa Inggris. Perintah, pengenal, dan contoh tidak diubah. Runtime 7.24.4 · SDK 2.6.7. Sumber bahasa Inggris

Perubahan multi-model yang terverifikasi

Status: Aktif Cakupan: kondisi terkini Terakhir ditinjau: 2026-08-21 Pemilik: runtime AX Code

Halaman alur kerja untuk pekerjaan “Saya punya perubahan yang berkonsekuensi, saya ingin lebih dari satu percobaan, dan saya ingin pemeriksaan milik repositori sendiri yang memutuskan percobaan mana yang layak dipertahankan.”

Untuk referensi mode — bendera, kunci konfigurasi, masukan peringkat — lihat Mode eksekusi. Halaman ini adalah tugas dari ujung ke ujung.

Kapan ini sepadan

Menjalankan beberapa model berharga beberapa kali lipat dibanding menjalankan satu. Ia terbayar bila perubahan berkonsekuensi dan kegagalan mahal untuk ditemukan kemudian: refaktor lintas batas modul, migrasi, perbaikan di kode yang sensitif keamanan, atau perubahan yang benar-benar belum Anda ketahui pendekatannya yang tepat.

Ini tidak sepadan untuk suntingan satu baris, penggantian nama, atau apa pun yang dapat Anda verifikasi dengan membaca.

Dua alat yang berbeda

Alat Yang dihasilkannya Menulis berkas?
council opini tinjauan independen, diagregasi Tidak
arena implementasi kandidat, diperingkat Hanya di pohon kerja terisolasi

Pakai council untuk memutuskan apa yang dilakukan — ia menyebarkan pertanyaan desain atau tinjauan ke beberapa penyedia yang tersambung dan mengagregasi jawaban menjadi temuan konsensus, mayoritas ketat, minoritas, dan tunggal, dengan putaran debat anonim opsional. Ini bersifat nasihat. Kesepakatan antar model bukan bukti kebenaran; itu sinyal tentang seberapa diperdebatkan pertanyaannya.

Pakai arena untuk memutuskan implementasi mana yang dipertahankan.

Alur kerja implementasi arena

1. Siapkan

Mode implementasi membutuhkan proyek Git dengan setidaknya satu komit dan pohon kerja utama yang bersih. Pohon kerja kontestan dibuat dari komit basis yang persis dan tidak dapat mewarisi perubahan yang belum di-commit, jadi commit atau stash terlebih dahulu.

Anda juga membutuhkan setidaknya dua model berbeda yang dapat dipilih pada penyedia yang tersambung (gateway bersama didukung), dan modes.arena.enabled: true.

2. Jalankan

/arena <task description>

Setiap kontestan mendapat pohon kerja Git sendiri yang dibuat dari komit basis tercatat, dan agen implementasi berjalan di dalamnya. Pohon kerja utama Anda tidak diubah oleh kontestan.

3. Yang dilakukan AX Code pada setiap kandidat

  • Mengambil cuplikan perubahan terlacak dan tidak terlacak kontestan ke komit cabang yang tahan lama, termasuk komit apa pun yang dibuat agen sendiri.
  • Menjalankan perintah verifikasi proyek yang terdeteksi — pemeriksaan tipe, uji, lint — tetapi hanya setelah patch yang tidak kosong tertangkap. Patch kosong tidak dapat menang.
  • Memeringkat verifikasi-dahulu secara bawaan: hanya patch selesai dan tidak kosong yang lulus verifikasi yang layak menang. Di antara kandidat yang lulus, ia mengutamakan risiko lebih rendah dan patch yang lebih beragam.

4. Putuskan

Laporan memberi Anda jalur pohon kerja, nama cabang, dan rentang komit.

AX Code tidak menggabungkan pemenang. Periksa, gabungkan, atau cherry-pick sendiri. Itu disengaja: verifikasi berarti “pemeriksaan yang Anda konfigurasi lulus pada patch ini,” yang merupakan sinyal nyata tetapi bukan pengganti tinjauan.

5. Tinjau dan, bila perlu, balikkan

Setelah kandidat berada di pohon Anda, perintah bukti berlaku seperti biasa:

ax-code graph <sessionID>       # what the winning run actually did
ax-code risk <sessionID>        # heuristic risk signals for the change
ax-code session rollback <sessionID> --dry-run

Lihat Bukti eksekusi.

Apa arti "terverifikasi" di sini, secara tepat

Artinya: perintah pemeriksaan tipe, lint, dan uji proyek yang terdeteksi dijalankan terhadap patch kandidat itu, dan mereka lulus.

Itu tidak berarti perubahan benar, lengkap, aman, atau dirancang dengan baik. Jika rangkaian uji Anda tidak mencakup perilaku yang berubah, kandidat yang lulus hanya membuktikan bahwa tidak ada yang sudah tercakup yang rusak. Verifikasi menaikkan lantai; ia tidak mensertifikasi langit-langit.

Ia juga tidak meluas ke penyuntingan interaktif biasa. Kandidat arena dan penerapan refaktor yang dikunci menjalankan pemeriksaan; edit atau write biasa dalam sesi reguler tidak otomatis. Jalankan verify_project bila Anda ingin bukti itu tercatat untuk jalankan biasa.

Biaya dan mode kegagalan

  • Biaya berskala menurut kontestan. Masing-masing menjalankan agen implementasi penuh.
  • Pohon kerja kotor menghentikan jalankan sebelum hal lain terjadi, secara desain.
  • Kurang dari dua model yang berbeda membuat perbandingan tidak bermakna, dan alat melaporkan alih-alih mengarang peringkat.
  • Semua kandidat dapat gagal verifikasi. Itu hasil yang berguna: biasanya berarti tugas kurang terperinci atau pemeriksaan repositori lebih ketat daripada yang diasumsikan agen.