Editorial ilmu komputer
Open AccessOA2026
Supervisi Change-Provenant: Mengatur Artefak Terpelajar di Bawah Perubahan Kebijakan
Memisahkan garis keturunan tercatat dari revalidasi kontrak terkini yang independen untuk penerimaan artefak terpelajar yang sehat
Jesus Salas· 2026· DOI 10.48550/arXiv.2609.28574
Masalah inti
Artefak terpelajar seperti adapter yang disetel halus semakin banyak diatur oleh grafik dependensi tercatat yang menghubungkan byte model ke data pelatihan, catatan otoritas, dan target hilir. Masalah utama memotivasi karya ini: grafik dependensi yang tercatat tidak dapat mensertifikasi bahwa grafik tersebut tidak mengandung sisi yang terlewat. Untuk artefak terpelajar, invalidasi berskala grafik karena itu tidak dapat dengan sendirinya membenarkan penerimaan setelah perubahan otoritas, terutama ketika pengujian keluaran melewatkan derivasi yang basi secara provenans. Makalah ini mengatasi kesenjangan ini dengan memisahkan dua hal yang sering dicampuradukkan. Pertama, garis keturunan tercatat mengusulkan cakupan dampak dan penjelasan dependensi. Kedua, revalidasi kontrak terkini yang independen untuk setiap target yang dipertahankan menyediakan kesehatan relatif terhadap kontrak yang dideklarasikan. Desain dievaluasi dalam dua lapisan bukti: satu set empat paket LoRA Qwen3-14B yang mengikat 1,028 GB byte adapter ke catatan pelatihan dan otoritas, dan harness terkendali dengan enam amandemen yang dipisahkan peran. Kontribusi yang dinyatakan adalah mekanisme tata kelola yang sifatnya
Inovasi
Hasil dilaporkan pada dua lapisan bukti. Pada lapisan adapter, adapter basi dan full-fresh yang dilatih pada supervisi berversi yang saling eksklusif mengeluarkan rencana identik pada semua 80 input netral otoritas yang diuji. Meskipun ada kesetaraan perilaku ini, rekonstruksi turunan byte dan ledger kontrak terkini yang tersegel menolak paket basi dan naive-append serta menerima paket full-fresh dan lineage-selective. Pada harness terkendali dengan enam amandemen yang dipisahkan peran, garis keturunan transitif memulihkan semua 40 pasangan amandemen-target yang tidak valid secara semantik sambil menominasikan 56 kandidat dampak, dibandingkan dengan 120 pada invalidasi seluruh dokumen. Semua 56 kandidat yang dinominasikan memiliki jalur yang dideklarasikan ke klausa yang diamandemen, meskipun 16 tetap valid secara konten. Menghilangkan satu sisi penopang per amandemen menurunkan recall semantik menjadi 34/40, sedangkan revalidasi independen menolak semua enam paket yang terpengaruh. Hasil ini menetapkan sifat-sifat mekanisme tata kelola terkendali, bukan tingkat invalidasi perusahaan, hasil unlearning, alur kerja yang optimal secara operasional, atau pengurangan biaya total yang te
Artefak terpelajar seperti adapter yang disetel halus semakin banyak diatur oleh grafik dependensi tercatat yang menghubungkan byte model ke data pelatihan, catatan otoritas, dan target hilir. Masalah utama memotivasi karya ini: grafik dependensi yang tercatat tidak dapat mensertifikasi bahwa grafik tersebut tidak mengandung sisi yang terlewat. Untuk artefak terpelajar, invalidasi berskala grafik karena itu tidak dapat dengan sendirinya membenarkan penerimaan setelah perubahan otoritas, terutama ketika pengujian keluaran melewatkan derivasi yang basi secara provenans. Makalah ini mengatasi kesenjangan ini dengan memisahkan dua hal yang sering dicampuradukkan. Pertama, garis keturunan tercatat mengusulkan cakupan dampak dan penjelasan dependensi. Kedua, revalidasi kontrak terkini yang independen untuk setiap target yang dipertahankan menyediakan kesehatan relatif terhadap kontrak yang dideklarasikan. Desain dievaluasi dalam dua lapisan bukti: satu set empat paket LoRA Qwen3-14B yang mengikat 1,028 GB byte adapter ke catatan pelatihan dan otoritas, dan harness terkendali dengan enam amandemen yang dipisahkan peran. Kontribusi yang dinyatakan adalah mekanisme tata kelola yang sifatnya ditetapkan dalam kondisi terkendali, bukan tingkat invalidasi perusahaan, hasil unlearning, alur kerja yang optimal secara operasional, atau pengurangan biaya total yang terukur.
Metodologi ini menginstansiasi supervisi change-provenant sebagai desain bukti dua lapis. Lapisan pertama terdiri dari empat paket LoRA Qwen3-14B yang mengikat 1,028 GB byte adapter ke catatan pelatihan dan otoritas. Adapter basi dan full-fresh dilatih pada supervisi berversi yang saling eksklusif. Evaluasi menguji apakah adapter ini mengeluarkan rencana identik pada semua 80 input netral otoritas yang diuji, dan apakah rekonstruksi turunan byte plus ledger kontrak terkini yang tersegel dapat menolak paket basi dan naive-append sambil menerima paket full-fresh dan lineage-selective. Lapisan kedua adalah harness terkendali dengan enam amandemen yang dipisahkan peran. Garis keturunan transitif digunakan untuk memulihkan pasangan amandemen-target yang tidak valid secara semantik dan untuk menominasikan kandidat dampak, dibandingkan dengan invalidasi seluruh dokumen. Harness juga menguji efek menghilangkan satu sisi penopang per amandemen pada recall semantik, dan apakah revalidasi independen menolak paket yang terpengaruh. Secara formal, misalkan adalah grafik dependensi tercatat dan kontrak terkini yang dideklarasikan. Garis keturunan tercatat menghasilkan cakupan dampak dan himpunan jalur penjelasan . Revalidasi independen adalah predikat
yang diterapkan pada setiap target yang dipertahankan . Penerimaan mensyaratkan untuk semua yang dipertahankan, sedangkan kesehatan bersifat relatif terhadap , bukan terhadap . Desain diringkas dalam alur berikut.
Mengapa penting
Temuan mendukung pemisahan kepentingan yang jelas. Garis keturunan tercatat berguna untuk mengusulkan cakupan dampak dan memberikan penjelasan dependensi, tetapi tidak sehat dengan sendirinya karena grafik tidak dapat mensertifikasi tidak adanya sisi yang terlewat. Revalidasi kontrak terkini yang independen untuk setiap target yang dipertahankan menyediakan kesehatan relatif terhadap kontrak yang dideklarasikan, dan revalidasi inilah yang menolak paket basi dan naive-append bahkan ketika pengujian keluaran menunjukkan rencana identik pada input netral otoritas. Hasil harness mengukur trade-off: garis keturunan transitif memulihkan semua 40 pasangan amandemen-target yang tidak valid secara semantik sambil menominasikan 56 kandidat alih-alih 120 pada invalidasi seluruh dokumen, dan semua 56 memiliki jalur yang dideklarasikan ke klausa yang diamandemen, meskipun 16 tetap valid secara konten. Hasil sensitivitas sama pentingnya: menghilangkan satu sisi penopang per amandemen menurunkan recall semantik menjadi 34/40, dan revalidasi independen menolak semua enam paket yang terpengaruh. Ini menunjukkan bahwa kualitas garis keturunan memengaruhi recall, sedangkan revalidasi menyediakan jaring pengaman yang tidak bergantung pada kelengkapan garis keturunan. Penulis secara eksplisit membatasi klaim: hasil ini menetapkan sifat-sifat mekanisme tata kelola terkendali, bukan tingkat invalidasi perusahaan, hasil unlearning, alur kerja yang optimal secara operasional, atau pengurangan biaya total yang terukur. Arsitektur dapat diringkas sebagai berikut.
Siapa yang sebaiknya membaca
Praktisi dan peneliti ilmu komputer
Membuka konten member…