Paket bukti

Paket bukti adalah direktori yang mendeskripsikan dirinya sendiri berisi tabel statistik, figur SVG yang dapat diakses, dan suplemen baris yang dikecualikan atau ditahan, semuanya berasal dari satu kampanye yang selesai dan difilter ke satu tingkat bukti. DispatchAtlas menyusun bukti yang diekspor ke dalam paket berjenjang ini sehingga setiap paket hanya mengekspos data yang diizinkan tingkat buktinya.

🪜 Tingkat paket

Keempat pengenal tingkat berasal dari kosakata tetap yang aman-untuk-publik. Setiap tingkat adalah kebijakan pengungkapan yang dapat dieksekusi, bukan label editorial:

Setiap paket dihasilkan dari kumpulan data yang difilter-tingkat yang sama dengan tabel dan figurnya, sehingga ekspor tingkat lebih rendah tidak dapat menampilkan mekanisme tingkat lebih tinggi, klaim penyebaran, atau baris yang ditahan. Filter gagal-menutup: alih-alih bocor, ekspor yang akan mengekspos mekanisme tingkat lebih lanjut di bawah tingkat lebih rendah akan memunculkan kesalahan. Baris yang dilarang sebuah kebijakan dikecualikan dan ditulis ke manifes pengecualian tambahan beserta alasannya.

📁 Isi paket

Sebuah paket berisi:

• tabel statistik (ringkasan solver, perbandingan berpasangan, peringkat, cakupan benchmark, baris tak-layak),
• figur SVG yang dapat diakses dengan manifes figur yang mencatat peran, provenans, dan catatan aksesibilitas setiap figur,
• suplemen yang mencatat baris yang dikecualikan atau ditahan dan setiap metode yang dirutekan ke keterbatasan,
• bundle.json, manifes yang mendaftar setiap berkas yang dihasilkan dan mem-hash muatan manifes kanonik.

Lihat ekspor analisis untuk tata letak paket lengkap dan metode statistik di balik setiap tabel dan figur.

⚙️ Bagaimana paket diproduksi

Satu kampanye mengekspor ke satu paket per tingkat melalui perintah ekspor:

uv run dispatchatlas export `
  --campaign-dir .\experiments\results\smoke-pilot `
  --target-dir .\experiments `
  --authorized-output-root .\experiments `
  --tier core

Paket mendarat di evidence-bundles/{campaign_id}-{tier}/ di bawah ruang kerja target — lapisan kurasi dari ruang kerja eksperimen. Pada skala besar, tools/build_campaign_evidence.py membangun katalog benchmark kandidat, menjalankan kampanye yang dikonfigurasi, melakukan analisis, dan menulis paket untuk setiap tingkat plus sebuah kumpulan data portal dari satu konfigurasi yang terekam:

uv run python tools/build_campaign_evidence.py `
  --output-root .\experiments `
  --problem-count-per-profile 30 `
  --stochastic-seeds 10 `
  --campaign-suffix local

Pembangun memancarkan kemajuan fase ke stderr untuk materialisasi katalog, perencanaan kampanye, eksekusi, analisis, ekspor paket, dan penulisan laporan, dan dengan sengaja menulis bukti yang dihasilkan di luar pohon sumber yang dilacak Git.

✅ Bagaimana paket diverifikasi

• Hashing manifes. bundle.json mendaftar setiap berkas yang dihasilkan dan mem-hash muatan manifes kanonik, sehingga isi sebuah paket dapat diperiksa terhadap manifesnya sendiri.
• Determinisme. Menjalankan ulang ekspor yang sama terhadap input yang sama menghasilkan muatan JSON, tabel, dan figur yang sama.
• Derivasi, bukan otoritas. Sebuah paket selalu berasal dari catatan tingkat eksekusi di lapisan reprodusibilitas — tidak pernah sumber kebenaran independen — dan catatan-catatan itu sendiri di-hash konten dan dapat diverifikasi-ulang melalui mesin kampanye.
• Promosi bergerbang. Paket mencapai permukaan publik hanya melalui gerbang rilis dan pengungkapan yang dijelaskan dalam kesiapan rilis.

Tingkat bukti dipetakan ke kosakata ACM Artifact Review and Badging, versi 1.1 (2020), dibaca bersama panduan optimisasi-stokastik dari López-Ibáñez, Branke, dan Paquete (2021). Paket tingkat mana pun dengan bundle.json ter-hash-konten dan manifes figurnya siap untuk lencana Artifacts Evaluated — Functional; sebuah paket yang dipublikasikan melalui portal publik siap untuk Artifacts Available; sebuah paket kampanye penuh yang manifes reprodusibilitasnya menyematkan benih, lingkungan, lantai eksekusi, serta paritas anggaran dan penyetelan siap untuk Results Reproduced. Results Replicated menuntut implementasi independen yang dibangun dari deskripsi metode tertulis saja, yang tidak dapat diberikan platform mana pun tentang dirinya sendiri — dinyatakan di sini agar pemetaan tetap jujur.

🌐 Apa yang dikonsumsi portal

Portal hasil mengonsumsi kumpulan data portal yang dihasilkan jalur ekspor yang sama (portal-results.json plus indeks CSV) — tag yang dapat dicari, label pengungkapan, nilai tujuan, id eksekusi, dan metadata kampanye tertaut hash — dirender menjadi aset situs statis oleh tools/build_site_assets.py. Portal tidak pernah membaca ruang kerja eksperimen atau menjalankan kampanye; ia hanya menyajikan ekspor yang telah di-commit dan difilter pengungkapan.