GEODE
Autonomous Agent Harness
Dari observasi ke tindakan berikutnya.
Harness agen otonom lokal yang dapat diserahi riset, pekerjaan berkas, dan tugas terjadwal.
Penerimaan kandidat dan otoritas rilis adalah putusan yang terpisah.
Crucible adalah kernel eksperimen yang terpisah dari pencarian kebijakan. Commit kandidat divalidasi terhadap permukaan yang diizinkan dan kontrak yang dibekukan, tugas berpasangan diagregasi di checkout pengukuran terpisah, dan hasilnya KEEP, REJECT, atau INVALID.
Putusan train
Satu kandidat di dalam permukaan yang diizinkan diukur dengan kontrak tetap di checkout terisolasi, dan aturan yang terdaftar sebelumnya memutuskan KEEP, REJECT, atau INVALID.
propose → preflight
search/supervisor.pyjalankan · putuskan: minta kandidatsearch/producersSupervisor pencarian meminta kandidat dari producer. Kandidat r14 adalah kandidat sebelumnya (r13) yang diterapkan ulang oleh replay producer, bukan kandidat baru buatan LLM.
search/producersdata: satu commit kandidatpropose → preflight
search/supervisor.pyProducer mengembalikan satu commit kandidat di dalam path yang diizinkan.
propose → preflight
search/supervisor.pyjalankan · putuskan: permukaan yang diizinkan · cek diffpermukaan yang diizinkan · diff kandidatcontract.pyDiff kandidat harus berada di dalam permukaan yang diizinkan kontrak, dan frozen evaluator diverifikasi. Pada r14 dan r35, target yang diizinkan adalah satu berkas, tau2_agent_policy.md; core dan implementasi Crucible dikunci sebagai path evaluator.
evaluate → decide → record
search/supervisor.pyjalankan · putuskan: checkout terisolasiterisolasi dari producermeasurement checkoutKandidat diperiksa di checkout pengukuran yang terpisah dari producer.
terisolasi dari producer
measurement checkoutjalankan · putuskan: jalankan dengan kontrak tetapeksekusi tau2 · receiptassays/Baseline dan kandidat berjalan dengan kontrak, seed, dan tugas yang sama.
eksekusi tau2 · receipt
assays/data: dialog actor · userLingkungan tau2Agen GEODE (actor) berbicara dengan pengguna simulasi milik evaluator di lingkungan tugas tau2.
eksekusi tau2 · receipt
assays/data: pemanggilan modelModel actor · userPada r14 dan r35, actor dan pengguna simulasi sama-sama gpt-5.4/high (langganan).
verifier tugas
assays/data: paired evidencepaired · agregat task · familypromotion.pyHasil verifier tugas disimpan sebagai pasangan baseline–kandidat.
frozen evaluator · terdaftar sebelumnya
contract.pyjalankan · putuskan: agregasi terdaftar sebelumnyapaired · agregat task · familypromotion.pyHasil berpasangan diagregasi per task dan family yang terdaftar sebelumnya, dengan kondisi anggaran, cakupan, infrastruktur, dan keamanan diperiksa terpisah.
KEEP · REJECT · INVALID
promotion.pyjalankan · putuskan: KEEP · head berpindahsearch/* headrefs/cruciblePada KEEP, head refs/crucible/search/* berikutnya menjadi kandidat. promotion_authority dari putusan train adalah none.
Tolak · tidak sah · umpan balik
REJECT dan INVALID mempertahankan head, dan kandidat berikutnya hanya mendapat kode kegagalan dan ID tugas train yang tetap. INVALID bukan skor nol.
verifier tugas
assays/data: paired evidencepaired · agregat task · familypromotion.pyHasil verifier tugas disimpan sebagai pasangan baseline–kandidat.
frozen evaluator · terdaftar sebelumnya
contract.pyjalankan · putuskan: agregasi terdaftar sebelumnyapaired · agregat task · familypromotion.pyHasil berpasangan diagregasi per task dan family yang terdaftar sebelumnya, dengan kondisi anggaran, cakupan, infrastruktur, dan keamanan diperiksa terpisah.
KEEP · REJECT · INVALID
promotion.pydata: REJECT · INVALIDkode kegagalan · ID tugas trainattempt/feedback.jsonPada penolakan atau ketidakabsahan, head sebelumnya tetap, dan kandidat beserta catatannya disimpan. Rata-rata INVALID adalah null, bukan nol.
kode kegagalan · ID tugas train
attempt/feedback.jsondata: kode kegagalan · ID tugassearch/producersUmpan balik ke kandidat berikutnya terbatas pada kode kegagalan dan ID tugas train yang tetap; trajectory atau jawaban evaluator tidak diteruskan.
Kelayakan sealed · otoritas terpisah
Train KEEP hanya memindahkan head pencarian. Kelayakan sealed hanya mencapai eligible ref; rilis produk dan deployment adalah otoritas terpisah di luar Crucible.
evaluate → decide → record
search/supervisor.pydata: record · ref receipttrain bundle · KEEP dihitung ulangattestation/bundle.pyTrain bundle hanya sah bila kontrak, bukti baseline dan kandidat, KEEP yang dihitung ulang, silsilah usulan, catatan supervisor, dan receipt ref yang diterapkan semuanya tersambung. Ini bukan nama lain untuk perbaikan.
train bundle · KEEP dihitung ulang
attestation/bundle.pyjalankan · putuskan: hanya train bundle · sekalidisjoint test pack · dipakai sekaliattestation/sealed.pyEvaluasi sealed memakai test pack yang terpisah dari train, sekali, tanpa percobaan ulang infrastruktur.
ELIGIBLE · release_authority none
attestation/sealed.pyjalankan · putuskan: hanya eligible refeligible/*refs/crucibleBahkan ELIGIBLE hanya menulis refs/crucible/eligible/*, dan release_authority dikunci pada none.
Catatan publik · r14 · r35
r14 berstatus train KEEP lalu sealed REJECT; r35 (July 13, 2026) INVALID karena cakupan tidak lengkap dan kontaminasi infrastruktur (0 baris berpasangan, rata-rata null), dengan head tidak berubah.
KEEP · REJECT · INVALID
promotion.pydata: verdict.json publikgeode-eval-artifactsArtefak publik adalah catatan ternormalisasi yang dikunci pada 23e3428. Hash konfigurasi train r14 yang terdaftar sebelumnya berbeda dari byte konfigurasi publik, sehingga seluruh rantai aslinya tidak disertifikasi ulang.
attestation/sealed.pydata: sealed decision.jsonr14 · train KEEP → sealed REJECT
geode-eval-artifactsr14: KEEP pada telecom train, 6 tugas × 1 percobaan (6 baris berpasangan, tanpa otoritas promosi), lalu putusan sealed terpisah REJECT (tanpa otoritas rilis).
Setiap koneksi dengan bobot yang sama. Pilih alur untuk menyorot hanya jalurnya, dengan langkah bernomor.
- Garis utuh · arah aliran permintaan, kandidat, dan hasil
- Garis putus · jalankan, putuskan, otorisasi, konfigurasi
- Garis hitam tebal · alur yang dipilih; angka menunjukkan urutan
- Kotak · batas kode atau catatan, path-nya di bagian kepala
- Chip dalam · komponen di dalam batas itu
- Kotak putus-putus · di luar batas itu
- supervisor pencarian
- kontrak · putusan · atestasi
- ref · catatan
- producer · eksekusi
Crucible adalah kernel yang terpisah dari SIL; kedua pencarian bukan satu pipeline yang saling mempromosikan kandidat. Kotak rilis produk tidak memiliki koneksi masuk.
- Tiga otoritas
- Train KEEP memindahkan head pencarian, sealed ELIGIBLE mencatat eligible ref, dan rilis produk adalah keputusan terpisah di luar Crucible. Putusan sebelumnya tidak pernah memberikan otoritas berikutnya.
- Null bukan nol
- r35 merencanakan 9 tugas × 3 percobaan (27 baris per arm) tetapi memiliki 0 pasangan yang dapat dibandingkan, sehingga rata-rata dan perbaikannya null. Ini bukan 27 tugas gagal atau tingkat keberhasilan 0%.