GEODE
Autonomous Agent Harness
Nuo stebėjimo iki kito veiksmo.
Vietinis autonominio agento karkasas, kuriam galima patikėti tyrimus, darbą su failais ir suplanuotas užduotis.
Decision Offloading w. Jev
Kuriuos tarpinius sprendimus, kuriuos agentas priima užduoties viduryje, galima perduoti Jev – modeliui, skirtam tik sprendimams? Šis tyrimas tikrina, ar nepriklausomai patikrinta užduočių kokybė išlieka juos perdavus, įskaitant parengimą, pakartotinius sprendimus, taisymą ir galutinį pateikimą. Ankstyvųjų bandomųjų tyrimų nepavyko paaiškinti vien sprendimo iškvietimo pakeitimu, todėl įvesties sutartis, sprendimo sutartis, tikimybių politika ir vykdymo agento sprendimo panaudojimas atskirti į atskirus eksperimentus.
Vykdymo aplinka · galutinis verdiktas
Pasirinkus Jev, galutinė verifikacija vieną kartą kviečia Jev su vienu Choice klausimu, ir praeina tik priimtas supported verdiktas.
judgment_engine · llm | jev
core/config/judgment.pypaleisti · nuspręsti: pasirinkti maršrutągalutinis verdiktas · vienas Choice klausimascore/agent/verify.pyJev maršrutas naudojamas tik tada, kai judgment_engine nustatytas į jev (numatytasis llm). provider auto renkasi TypeSafe, tada OpenRouter – tą, kuriam yra raktas; be rakto lieka LLM judge maršrutas. Tai nėra fallback, kuris nepavykusią užklausą kartotų kitur.
galutinis verdiktas · vienas Choice klausimas
core/agent/verify.pyduomenys: užklausa · kandidatas · stebėjimaiSystemOne · vienas iškvietimas · be fallbackadapters/typesafe.pyOriginali užklausa ir kandidatas išvalomi nuo jautrių duomenų ir apribojami ilgiu, tada siunčiami kartu su įrankių stebėjimais kaip vienas Choice klausimas (supported, contradicted, insufficient_evidence). Sprendimo iškvietimas negauna įrankių (allow_tools=False). Sprendimas, kuriam reikia vaizdų, Jev nesiunčiamas ir tampa verification_error.
SystemOne · vienas iškvietimas · be fallback
adapters/typesafe.pyduomenys: vienas SystemOne iškvietimasTypeSafe SystemOneVienas iškvietimas – tiesiogiai į TypeSafe arba per OpenRouter, be perėjimo pas kitą tiekėją. Jev niekada nenaudojamas kaip pagrindinis teksto generavimo modelis.
priėmimas · sumos paklaida 1e-5
adapters/typesafe.pyduomenys: priimtas Choicepraeina tik supported · tik tekstascore/agent/verify.pyAtsakymas naudojamas tik po priėmimo patikros pagal tipą, intervalą ir tikimybių sumą (paklaida 1e-5). Praeina tik supported; contradicted ir insufficient_evidence tampa pakartojimo signalu su fiksuota kita patikra. Atsakymas, kuris nėra end_turn arba neišlaiko priėmimo patikros, tampa verification_error, o tai nėra pakartojimo signalas (should_retry=False). Balas yra dvejetainė projekcija, o ne kalibruota tikimybė.
praeina tik supported · tik tekstas
core/agent/verify.pyduomenys: passed · reflectionPostVerify · Stop politikaloop/_lifecycle.pyVerdiktas keliauja į skyriaus „Užbaigimas“ PostVerify ir Stop politiką. Verdiktas yra tos politikos įvestis, o ne įgaliojimas; kai laukiama peržiūros, kandidatas lieka tik kaip pending_text, o galutinis atsakymas tuščias, todėl nieko nepateikiama.
PostVerify · Stop politika
loop/_lifecycle.pyįrašas · stebėjimas: verdiktų eilutėstimeline · ledger sprendimų eilutėsmemory · observabilityVerdiktų sprendimai įrašomi į timeline ir evidence ledger: tai vykdymo aplinkos įrašai, atskirti nuo tyrimo artefaktų.
Vykdymo aplinka · refleksija
Tas pats pasirinkimas valdo refleksijos įrodymų klasifikavimą; kitos patikros sakinį nustato kodas.
judgment_engine · llm | jev
core/config/judgment.pypaleisti · nuspręsti: tas pats pasirinkimasrefleksija · įrodymų klasifikavimasloop/_reflection.pyTas pats pasirinkimas taikomas refleksijai.
refleksija · įrodymų klasifikavimas
loop/_reflection.pyduomenys: klasifikuoti įrodymusSystemOne · vienas iškvietimas · be fallbackadapters/typesafe.pyRefleksija naudoja Jev ribotiems įrodymams klasifikuoti ir prideda kodo nustatytą kitą patikrą. Ji nekeičia įsitikinimų hipotezių ar pasitikėjimo savimi.
SystemOne · vienas iškvietimas · be fallback
adapters/typesafe.pyduomenys: vienas SystemOne iškvietimasTypeSafe SystemOneVienas iškvietimas – tiesiogiai į TypeSafe arba per OpenRouter, be perėjimo pas kitą tiekėją. Jev niekada nenaudojamas kaip pagrindinis teksto generavimo modelis.
priėmimas · sumos paklaida 1e-5
adapters/typesafe.pyduomenys: klasifikacijarefleksija · įrodymų klasifikavimasloop/_reflection.pyTik priimta klasifikacija atnaujina refleksijos būseną; nepavykus kitas raundas bando iš naujo nuo tos pačios ankstesnės būsenos.
Tyrimas · fiksuotas rinkinys U3
Be actor Jev ir Astra sprendimai dėl tos pačios būsenos ir klausimo lyginti poromis.
Astra · Jev · tas pats klausimas
U3 · fiksuotų būsenų rinkinysduomenys: Jev sprendimasTypeSafe SystemOneU3 (originalaus eksperimento komitas 2f2b494): 120 fiksuotų būsenų · 27 šaltinių klasteriai · 240 iškvietimų. Kiekviena būsena ir klausimas siųsti Jev ir Astra viena pora; be actor, įrankių ir Harbor.
Astra · Jev · tas pats klausimas
U3 · fiksuotų būsenų rinkinysduomenys: Astra sprendimasAstra: teisėjas · actor modelisTeisingai su ta pačia imtimi: Astra 90/120, Jev 84/120; mediana vienam iškvietimui 10.446 s ir 0.253 s. Tai tik sprendimo iškvietimo delsa, o ne užduoties trukmė ar sąnaudų sutaupymas.
U3 · fiksuotų būsenų rinkinysduomenys: rinkinio rezultatai · ataskaitaJev tyrimo ataskaita
U3 tikslumo ir delsos rezultatai pateikti viešoje techninėje ataskaitoje. Ar šis rinkinys yra E2E viešo paketo dalis, čia neteigiama.
Tyrimas · E/I paleidimai
Su Astra kaip actor keistas tik sprendimo maršrutas, o nepriklausomas taisyklių orakulas atskirai tikrino rezultatus ir pateikimą.
Astra kaip actor · įrankiai · taisymas
E/I · Harbor 0.22duomenys: generavimas · įrankiai · taisymasAstra: teisėjas · actor modelisE/I su Harbor 0.22 actor Astra atsako už generavimą, įrankių iškvietimus ir taisymą; keičiasi tik sprendimo maršrutas.
teisėjo maršrutas · Astra · Jev · Jev-first
E/I · Harbor 0.22duomenys: užbaigimo sprendimo maršrutasTypeSafe SystemOneE7 (originalaus eksperimento komitas 1f65534): 12 autorinių sintetinių užduočių × 3 konfigūracijos × 2 paleidimai = 72 paleidimai, 24/24 kiekvienai konfigūracijai. Jev-first konfigūracija turėjo 0/24 faktinių fallback, todėl jos poveikis neišmatuotas.
E/I · Harbor 0.22įrašas · stebėjimas: nepriklausoma patikrateisingumas · pateikimas atskirai
rule oracleNepriklausomas taisyklių orakulas tikrina galutinį rezultatą, o faktinis galutinis pateikimas skaičiuojamas atskirai. Nutraukto U8n 11 post factum porų kiekvienas kandidatas praėjo orakulą, tačiau pateikimas buvo Astra 11/11 ir Jev Noul 0/11.
E/I · Harbor 0.22duomenys: nesėkmė · taisymų kilmėE2E-DATA · šaltinio ir viešos maišos
jev-v3-20260927E2E viešas paketas išsaugo parengimo, nesėkmių ir taisymų kilmės grandines, o šaltinio ir viešos kopijos maišas laiko atskirai. Išvalyta vieša kopija nepakeičia nepakeisto šaltinio validacijos.
REPRODUCE · model-free
jev-v3-20260927duomenys: perskaičiavimas be modelioJev tyrimo ataskaitaSkaičių perskaičiavimas iš išsaugotų atsakymų ir naujas paleidimas yra skirtingos operacijos. Ataskaita yra vieša techninė ataskaita, o ne recenzuotas straipsnis.
Visi ryšiai vienodo storio. Pasirinkite srautą, kad būtų paryškintas tik jo kelias su sunumeruotais žingsniais.
- Ištisinė · kryptis, kuria keliauja užklausos, kandidatai ir rezultatai
- Brūkšninė · paleisti, nuspręsti, įgalioti, konfigūruoti
- Ilga brūkšninė-taškinė · įrašai ir stebėjimas, atskirai nuo verdikto
- Stora juoda linija · pasirinktas srautas; skaičiai rodo tvarką
- Rėmelis · kodo ar įrašų riba, kelias antraštėje
- Vidinė plokštelė · komponentas toje riboje
- Brūkšninis rėmelis · už tos ribos
- ciklas · vykdymo karkasas
- maršruto pasirinkimas · verdiktas · orakulas
- įrašai · viešas paketas
- transportas · sprendimų rinkinys
Viršutinė ir apatinė dalys yra skirtingos sistemos. Ne visos tyrimo konfigūracijos ir rezultatai įjungti dabartiniame vykdymo aplinkos kelyje; vienintelė bendra jungtis – abi kviečia tą patį Jev modelį (jev-1.13.0).
- Priėmimas vykdymo aplinkoje
- Vykdymo aplinka griežtai laikosi 1e-5 tikimybių sumos paklaidos. Vertinimo kvietėjai perduoda savo užfiksuotą paklaidą, užuot laisvinę vykdymo aplinkos analizatorių.
- Tyrimo apimtis
- U3 matuoja tik sprendimų iškvietimus; E/I apima actor ir taisymą. Jų vardikliai niekada nemaišomi, o U8n 11 porų yra nutraukto tyrimo post factum analizė.
Trys sprendimų sutartys
Choice
- Grąžina
- Tikimybę kiekvienai kategorijai ar parinkčiai
- Nusprendžia
- Užbaigimą; užklausos ketinimą ir taikinį
Noul
- Grąžina
- P(true) kiekvienai sąlygai
- Nusprendžia
- Prieštaravimą; įrodymų trūkumą
Score
- Grąžina
- Tikėtiną reikšmę ir skirstinį fiksuotoje rangų skalėje
- Nusprendžia
- Sugeneruotų kandidatų reitingą
Tikėtina reikšmė nustato kandidato vietą skalėje; kaip pasitikėjimas ji nenaudojama.
Vertinimas ir prijungimas
Kiekviena sutartis vertinta su savo fiksuotu įvesčių rinkiniu, o kai kurios prijungtos prie eksperimentinio karkaso vykdymo kelio, kad būtų matyti, kaip vykdymo agentas naudoja sprendimą. Žemėlapyje aukščiau tyrimo dalis rodo tuos paleidimus; vykdymo aplinkos dalis yra pasirenkamas kelias dabartiniame GEODE.
Stebėjimai, pakeitę dizainą
- I5 → I6 · įvesties sutartis
- Bendros pateikimo nesėkmės atsekimas parodė, kad sprendimo įvestyje trūko užduoties sutarties, o tos pačios užklausos įrankių stebėjimai buvo aprašyti kaip praeities kontekstas
- I6 pateikė 6/6 atskirame paleidime su pataisytu kodu ir nauja paskyra
- U3 · tos pačios 120 būsenų porų
- Mediana vienam iškvietimui Astra 10.446 s · Jev 0.253 s; teisingai su ta pačia imtimi 90/120 · 84/120
- Greitis ir tikslumas kiekvienam sprendimui vertinami kartu, kad būtų nustatyta delegavimo apimtis
- U2 · tikimybės
- Jev tikimybės buvo geriau kalibruotos pagal dydį, bet Astra patikimiau iškeldavo savo klaidingus sprendimus į priekį
- Kalibravimas ir klaidų atranka matuojami atskirai, o slenkstis užšaldomas selection skaidinyje
- U6a · ketinimas ir taikinys
- 40 dizainerio parašytų šeimų: Jev 216/220 · Astra 220/220, atitinka iš anksto užregistruotą −5 pp atsargą
- Fiksuota ketinimo ir taikinio klasifikacija susiaurinta kaip kitas taikymo kandidatas
- U8n · pateikimas
- 11 post factum porų iš nutraukto paleidimo: pataisyti kandidatai abiejose šakose praėjo orakulą; pateikimas Astra 11/11 · Jev Noul 0/11
- Įrodymų trūkumo sprendimai blokavo teisingą pateikimą; dabartinė Noul sąranka neturi pagrindo būti vieninteliu pateikimo teisėju