Reelier

---

Bukti pada PR agen Anda — pasang dan selesai

PR yang ditulis agen (Dependabot, Claude, Codex, Cursor, …) mendapatkan komentar bukti dalam hitungan detik: penulis, file yang diubah, cakupan yang dinyatakan vs. apa yang sebenarnya berubah, jalur sensitif yang ditandai. Tanpa file alur kerja, tanpa CLI, tanpa konfigurasi.

→ Pasang Aplikasi GitHub bukti Reelier — gratis di repositori publik, selamanya.

Bukti Reelier — PR agen Penulis: dependabot[bot] · File yang diubah: 2 (+119 −41) Cakupan yang dinyatakan: tidak ada (tambahkan .reelier/scope.yml untuk mengaktifkan deteksi penulisan tak terduga) Jalur sensitif yang disentuh: ⚠ 1 — package-lock.json Membuktikan cakupan dan perubahan, bukan kebenaran

_{Bukti nyata dari repositori Reelier sendiri — lihat satu secara langsung. Nyatakan cakupan per agen di .reelier/scope.yml (atau blok reelier-scope di badan PR) dan bukti melaporkan penulisan tak terduga. Bukti membuktikan cakupan dan perubahan, tidak pernah kebenaran atau keamanan.}

---

Mengapa

Agen AI bersifat non-deterministik — prompt yang sama, hasil yang berbeda setiap proses — dan mereka akan mengklaim telah melakukan pekerjaan itu baik mereka melakukannya atau tidak. Reelier merekam proses yang berhasil, memutarnya ulang secara deterministik, dan menulis bukti yang ditandatangani yang membuktikannya. Arahkan ke CI yang ada dalam satu alur kerja — ini menambahkan bukti yang dapat diverifikasi, tidak menggantikan tumpukan Anda.

Diukur pada benchmark head-to-head nyata, tugas yang sama, data yang sama (metode lengkap):

• 1.000 / 1.000 pemutaran ulang identik byte
• Setiap pemutaran ulang mengirimkan bukti yang ditandatangani — bukti tentang apa yang berjalan dan apa yang berubah, tidak pernah klaim
• 0 panggilan LLM saat pemutaran ulang — eksekusi ulang deterministik, bukan penalaran ulang

Pemutaran ulang deterministik juga ~50× lebih murah dan ~59× lebih cepat daripada menjalankan ulang agen, pada benchmark yang sama.

Instalasi

npm i -g reelier && reelier init

# No Node install needed — same commands via Docker:
docker run --rm ghcr.io/seldonframe/reelier --help

reelier init [--dry-run] melakukan satu inspeksi lokal yang diperiksa di ketiga jalur Reelier: cakupan observasi Jalur A, kandidat pemutaran ulang/pembekuan Jalur B, dan koneksi serta kandidat Jalur C yang dapat dibatasi/mampu hasil/hanya bayangan/tidak didukung. Ini tidak menyebarkan, menggerbang, mengirim, mengunggah, menyalin kredensial, atau menulis ulang konfigurasi host. --dry-run tidak menulis apa pun; perintah normal hanya menulis artefak yang disanitasi di bawah .reelier/init/.

Sebagai plugin agen

Ajari agen pengkodean Anda kapan harus menggunakan Reelier. Dua perintah yang sama, di host mana pun:

claude plugin marketplace add seldonframe/reelier
claude plugin install reelier@seldonframe

codex plugin marketplace add seldonframe/reelier
codex plugin add reelier@seldonframe

Ini menginstal dua Keterampilan Agen dan tidak ada yang lain. reelier-replay mengajari agen Anda untuk membekukan pekerjaan panggilan alat yang dapat diulang dan memutarnya ulang dengan 0 token. reelier-write-safety mencakup pembatasan penulisan agen sebelum Anda memberikannya: apa yang dilihat perekam, apa yang ditolak kebijakan, dan apa yang dibuktikan dan tidak dibuktikan oleh bukti. Ini tidak mengirimkan server MCP, jadi tidak membungkus, mengamati, atau menggerbang panggilan alat apa pun sendiri; CLI reelier yang melakukannya, dan keterampilan menggerakkannya melalui npx. Dikemas dalam format Plugin Agen v1.0.0 (plugin/agent-plugins/) dan format Claude Code (plugin/claude/), dihasilkan dari satu sumber oleh scripts/build-plugin-packages.mjs.

Diverifikasi ujung ke ujung pada codex-cli 0.147.0-alpha.1.2: kedua format terinstal, aktif, dan keterampilan mencapai model. Host lain belum diuji, dan status per host dilacak di docs/specs/agent-plugins-coverage-v1.md §4 daripada diklaim di sini.

Cara menggunakannya

reelier init --dry-run              # inspect Path A/B/C locally; write nothing
reelier init                        # persist resumable sanitized inspection artifacts
reelier run  <name>.skill.md        # replay deterministically — 0 tokens (read-only by default)
reelier diff <name>                 # SAME or DRIFTED, per step — exit 1 on drift
reelier push <name>.skill.md        # sync receipts to your ledger (opt-in)
reelier ci                          # write a workflow: drift-CI + PR receipts, one command

1. Periksa, lalu rekam atau bekukan. reelier init mengungkapkan cakupan yang diamati dan kandidat lokal tanpa mengubah rute. reelier mcp --wrap "<mcp server>" memproksi alat langsung; reelier scan/from-session membekukan riwayat yang didukung.
2. Kompilasi. reelier compile mengubah jejak menjadi SKILL.md — 0 panggilan LLM, asersi minimal, celah jujur dicetak sebagai Pertanyaan terbuka.
3. Putar ulang. reelier run memutarnya ulang di Level 0 — tanpa LLM, identik byte, hanya-baca secara default (penulisan memerlukan --allow-writes).
4. Bandingkan. reelier diff melaporkan SAMA atau BERUBAH per langkah, dengan asersi yang gagal sebagai alasannya — keluar 1 saat berubah.
5. Masuk. reelier login menghubungkan mesin ini ke Reelier Cloud dengan kode perangkat di browser Anda — atau atur REELIER_CLOUD_URL/REELIER_CLOUD_KEY untuk CI dan hosting mandiri.
6. Dorong. Setiap proses adalah bukti; reelier push secara opsional menyinkronkannya ke buku besar untuk tautan permanen dan lencana pemutaran ulang terverifikasi yang dapat disematkan.

Sudah memiliki Keterampilan Agen? Konversikan — keterampilan Anda, tanpa model:

reelier compile trace.jsonl --from-skill ./my-skill/SKILL.md

Tiga tes, satu keterampilan

Tes	Perintah	Jawaban
Determinisme	reelier run <skill.md>	Apakah ini masih melakukan apa yang dilakukannya?
Pemulihan	reelier run <skill.md> --fail N	Jika ini rusak, apakah keterampilan akan menyadari dan menyembuhkan?
Penyimpangan	reelier run <skill.md> --wrap "<your mcp server>"	Apakah dunia telah bergerak keluar dari bawah keterampilan ini?

Taksonomi berkat tinjauan Mads Hansen atas posting peluncuran. Semantik lengkap untuk setiap tes, termasuk injeksi pemulihan dan pagar pembatas manifes: docs/REFERENCE.md.

Gerbang PR bump Dependabot / Renovate

Dependabot dan Renovate membuka PR dan menjalankan rangkaian tes Anda — tetapi keduanya tidak tahu apa yang sebenarnya dilakukan agen Anda saat runtime, jadi bump dependensi yang diam-diam mengubah bentuk panggilan alat (bidang yang diganti nama, default baru, kesalahan berbeda) lolos dengan tes unit hijau. Ini adalah pemeriksaan yang tidak mereka jalankan.

Salin .github/workflows/reelier-bump-check.yml ke repositori Anda, arahkan skill: ke file .skill.md yang direkam sendiri, dan itu akan: menggerbang ke PR dari dependabot[bot]/renovate[bot] (atau label dependencies), menginstal dependensi yang di-bump, memutar ulang keterampilan yang direkam secara langsung terhadapnya di --max-level 0 (0 token), dan gagalkan pemeriksaan pada langkah yang tepat yang menyimpang.

Ini menguji perilaku dependensi dan panggilan alat MCP — ini tidak menguji peningkatan model; --max-level 0 tidak pernah memanggil LLM. Salinan lengkap dan pengaturan: docs/marketplace-listing.md.

Buktikan

Bukti yang didorong membawa tangga klaim yang dapat diverifikasi secara independen — bukan satu "terverifikasi" yang menyeluruh. Tergantung pada apa yang Anda aktifkan, itu dapat ditandatangani, diberi stempel waktu, diakui CI, dan membawa ID permintaan penyedia yang dapat diperiksa silang. reelier verify menghitung ulang setiap klaim secara offline, dan klaim yang belum Anda aktifkan hanya dirender sebagai celah jujur, tidak pernah celah yang memalukan.

Lihat yang nyata: reelier.com/r/HWBdmGob9KeHRqXi-OEaRD0z.

Tangga 8 anak tangga lengkap, apa yang dibuktikan dan tidak dibuktikan setiap anak tangga: docs/REFERENCE.md.

Jika keterampilan Anda adalah karyawan

Siklus hidup karyawan	Setara Reelier
Sesi keterampilan	reelier from-session
Tinjauan kinerja	reelier run + reelier diff
Pemeliharaan armada	pemutaran ulang terjadwal + peringatan penyimpangan
Catatan	bukti yang ditandatangani

"Terverifikasi" menggambarkan catatan, tidak pernah agen — bukti membuktikan apa yang berjalan dan apa yang berubah, bukan bahwa agen itu baik dalam pekerjaannya.

Kontrak kerja tidak membuat karyawan menjadi baik — itu membuat apa yang mereka lakukan terlihat dan dibatasi. Sama di sini: bukti membuktikan cakupan dan perubahan, tidak pernah kebenaran.

Untuk siapa ini

• Pengembang solo / pemelihara OSS — tes regresi nyata lagi; penyimpangan tidak bisa lolos diam-diam.
• Tim yang mengirimkan perubahan agen — "berjalan bersih" menjadi artefak PR yang dapat diperiksa, bukan klaim.
• Agensi yang menjalankan agen untuk klien — bukti pengiriman yang ditandatangani dan diberi stempel waktu yang dapat diverifikasi klien.
• Pembeli atau penjual pasar — bukti yang dikuatkan adalah ulasan yang tidak bisa di-astroturf.
• Operasi yang menghadapi audit — jejak yang ditandatangani dan diakui CI dari setiap penulisan, termasuk kunci idempotensi.

---

MIT, gratis selamanya (versi ≤0.16.0 tetap AGPL-3.0). Data Anda — keterampilan, jejak, proses — ditentukan dalam SPEC.md, jadi pergi berarti menyalin folder.

Berkontribusi: masalah dan PR diterima — SPEC.md adalah sumber kebenaran untuk format; perbaiki kodenya, bukan spesifikasinya. npm test sebelum PR.