GEODE
Autonomous Agent Harness
Vaatlusest järgmise tegevuseni.
Kohalik autonoomse agendi rakis, millele saab anda uurimistööd, failitöid ja ajastatud ülesandeid.
Mudeli peatumisettepanekust saab lõpetamine ainult verifitseerimise kaudu.
Üleantava peatumise korral läbib mudeli peatumissoov siiski lõpetamise verifitseerimise. Tulemus on valmis, jätka eelarve piires või ootab ülevaatust; täitmise piirangud, tühistamine ja vead lõppevad eraldi peatatud olekus.
Verifitseerimine → valmis
Ainult üleantav peatumine läbib teekonna PreVerify → hinnang → PostVerify → Stop. Ei mudeli peatumisettepanek ega hook'i juhis ole iseenesest lõpetamine.
arun · mudeli käik
loop/agent_loop.pyandmed: peatumisettepaneküleantav peatumine · natural jtloop/_guards.py · models.pyKui mudel vastab tekstiga ilma tööriistakutseta, saab käigust natural-peatumiskandidaat (viimasel lubatud ringil forced_text). Mudeli peatumisettepanek ei ole veel lõpetamine.
üleantav peatumine · natural jt
loop/_guards.py · models.pyandmed: lõpetamiskandidaatfinalize_and_return_asyncloop/_lifecycle.pyAinult natural, forced_text ja actionable_partial on üleantavad peatumised ja ainult need lähevad edasi avalikku verifitseerimisse.
finalize_and_return_async
loop/_lifecycle.pykäivitamine · otsustamine: PreVerifyPreVerify · STRENGTHENcore/hooks/public.pySTRENGTHEN-iga saab PreVerify hook ainult lisada nõudeid ja puudumiskoode. See võib verdikti rangemaks muuta, kuid mitte kunagi seda läbi lasta.
finalize_and_return_async
loop/_lifecycle.pykäivitamine · otsustamine: verify_turn_asyncstruktuurikontroll · empty_turncore/agent/verify.pyEsmalt tuleb struktuurikontroll (tühi käik, model_action_required); parandamatu struktuuritõrge jätab semantilise hinnangu vahele. Vanad seaded, nagu off või rule_based, tõlgendatakse väärtuseks llm_judge ega saa verdikti välja lülitada.
semantiline hinnang · LLM või Jev
core/agent/verify.pyandmed: hinnangutaotlusKohtunikmudelValitud kohtunikku (vaikimisi LLM-kohtunik, valimisel Jev Choice) kutsutakse üks kord, ilma tööriistadeta, kuni 120 sekundiks ja mitte kunagi üle allesjäänud ajaeelarve. Kandidaati, mis võib sisaldada isiklikke tähelepanekuid, abikohtunikule ei saadeta.
semantiline hinnang · LLM või Jev
core/agent/verify.pyandmed: passed · rubric_missespolicy_action · verdikti tõlgendamineloop/_lifecycle.pyVerdikt sisaldab läbimist või läbikukkumist, puudumiskoode, refleksiooni järgmiseks katseks ja seda, kas kordamisest on kasu. Semantiline läbimine ei kata kunagi läbikukkunud struktuurikontrolli.
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykäivitamine · otsustamine: PostVerify otsusPostVerify · ACCEPT · REVISE · ESCALATEcore/hooks/public.pyPostVerify hook otsustab ACCEPT, REVISE või ESCALATE. Verifitseerimisel läbi kukkunud kandidaadi ACCEPT muutub väärtuseks escalate. Otsuse puudumisel kehtib käituskeskkonna vaikeväärtus (läbitud → accept, korratav → revise, muidu escalate).
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykäivitamine · otsustamine: Stop · CONTINUEStop · CONTINUEcore/hooks/public.pyAinult siis, kui ei eskaleerita, saab Stop hook'i CONTINUE-juhis taotleda parandusega jätkamist. Hook'i juhis on sisend järgmisele katsele, mitte volitus.
policy_action · verdikti tõlgendamine
loop/_lifecycle.pyandmed: completed · salvestatudcheckpoint · seansi olekmemory · observabilityKui verifitseerimine on läbitud ja otsus on accept, liidetakse jätkukatsed, tulemus salvestatakse ja seanss märgitakse olekuga completed.
finalize_and_return_async
loop/_lifecycle.pyandmed: vastusIPC · CLI-kutsujaTagastab lõpliku vastuse, kui olek on completed; tühja vastuse koos märkega EXTERNAL_VERIFICATION_REQUIRED, kui oodatakse ülevaatust; peatumise põhjuse, kui peatuti ilma verifitseerimiseta.
Parandus eelarve piires
Parandatav tõrge jätkab sama päringut. Vaikimisi eelarve on kaks katset; kui see saab otsa, ootab kandidaat ülevaatust.
semantiline hinnang · LLM või Jev
core/agent/verify.pyandmed: passed · rubric_missespolicy_action · verdikti tõlgendamineloop/_lifecycle.pyVerdikt sisaldab läbimist või läbikukkumist, puudumiskoode, refleksiooni järgmiseks katseks ja seda, kas kordamisest on kasu. Semantiline läbimine ei kata kunagi läbikukkunud struktuurikontrolli.
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykäivitamine · otsustamine: PostVerify otsusPostVerify · ACCEPT · REVISE · ESCALATEcore/hooks/public.pyPostVerify hook otsustab ACCEPT, REVISE või ESCALATE. Verifitseerimisel läbi kukkunud kandidaadi ACCEPT muutub väärtuseks escalate. Otsuse puudumisel kehtib käituskeskkonna vaikeväärtus (läbitud → accept, korratav → revise, muidu escalate).
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykäivitamine · otsustamine: Stop · CONTINUEStop · CONTINUEcore/hooks/public.pyAinult siis, kui ei eskaleerita, saab Stop hook'i CONTINUE-juhis taotleda parandusega jätkamist. Hook'i juhis on sisend järgmisele katsele, mitte volitus.
jätkamise eelarve · vaikimisi 2
loop/_lifecycle.pykäivitamine · otsustamine: parandus · katse +1_arun_once · parandusega jätkamineloop/agent_loop.pyParandusjuhisega ja ainult siis, kui katse number on eelarvest väiksem (vaikimisi kaks), jätkub sama päring. Eelarve täitumisel muutub see olekuks escalate_budget_exhausted ja ootab ülevaatust.
Ootab ülevaatust
Kasutuskõlbmatu verdikt, katse muuta tõrge läbimiseks või ammendatud eelarve peab kandidaadi kinni ja peatab seansi.
verification_error · tõrkel suletud
core/agent/verify.pytõrge · verdiktita: verification_errorpolicy_action · verdikti tõlgendamineloop/_lifecycle.pyPuuduv kohtunik, ajalõpp või kehtetu vastus muutub olekuks verification_error: see pole ei läbimine ega parandussignaal. Kasutuskõlbmatu verdikt ei asenda kunagi edu.
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykäivitamine · otsustamine: PostVerify otsusPostVerify · ACCEPT · REVISE · ESCALATEcore/hooks/public.pyPostVerify hook otsustab ACCEPT, REVISE või ESCALATE. Verifitseerimisel läbi kukkunud kandidaadi ACCEPT muutub väärtuseks escalate. Otsuse puudumisel kehtib käituskeskkonna vaikeväärtus (läbitud → accept, korratav → revise, muidu escalate).
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykäivitamine · otsustamine: ESCALATE · pendingVäline ülevaatajaKandidaat säilitatakse väljana pending_text ja peetakse tavavastustest kinni, checkpoint salvestatakse ja seanss peatatakse. Välise ülevaatajaga automaatselt ühendust ei võeta.
policy_action · verdikti tõlgendamine
loop/_lifecycle.pykirje · vaatlus: verdikt · tõendireadtimeline · ledger otsusereadmemory · observabilityTimeline saab otsuse-, tõendi- ja pending-read ning tõendite pearaamat verification_policy rea. Need on best-effort-kirjed, mitte tõend välise mõju kohta.
Peatumised ilma verifitseerimiseta
Tühistamise, piirangu ja infrastruktuuri peatumised ning control workflow käivitused salvestatakse ilma avaliku verifitseerimiseta.
arun · mudeli käik
loop/agent_loop.pykäivitamine · otsustamine: valvurid · piirangudtõrke · piirangu · tühistamise peatumineloop/_guards.py · models.pyValvurid, nagu ringi-, aja-, kulu- ja kontekstipiirangud, tühistamine ja korduvate tõrgete tuvastamine, lõpetavad käigu ühe suletud TerminationReason-hulga liikmega. Konfiguratsioonis välja lülitatud piirangut ei jõustata alati.
tõrke · piirangu · tühistamise peatumine
loop/_guards.py · models.pytõrge · verdiktita: peatumine: tõrge · tühistaminefinalize_and_return_asyncloop/_lifecycle.pyTühistamise, infrastruktuuri ja piirangu peatumistel pole verifitseeritavat kandidaati, seega salvestatakse need ilma avaliku verifitseerimiseta.
control workflow · avaliku verifitseerimise vahelejätmine
ipc_server/poller.pykäivitamine · otsustamine: avaliku verifitseerimise vahelejätminefinalize_and_return_asyncloop/_lifecycle.pyKui IPC-kutse palub avaliku verifitseerimise vahele jätta või control workflow on aktiivne, on avalik verifitseerimine välja lülitatud ainult selle käivituse ajaks ja hiljem taastatakse eelmine väärtus.
finalize_and_return_async
loop/_lifecycle.pyandmed: ainult salvestamine · verifitseerimisetacheckpoint · seansi olekmemory · observabilityKa verifitseerimiseta peatumine salvestab oma tulemuse ja checkpoint'i ning väljastab seansi lõpu sündmused.
finalize_and_return_async
loop/_lifecycle.pyandmed: vastusIPC · CLI-kutsujaTagastab lõpliku vastuse, kui olek on completed; tühja vastuse koos märkega EXTERNAL_VERIFICATION_REQUIRED, kui oodatakse ülevaatust; peatumise põhjuse, kui peatuti ilma verifitseerimiseta.
Kõik ühendused sama kaaluga. Vali voog, et tõsta esile ainult selle tee koos nummerdatud sammudega.
- Pidevjoon · päringute, kandidaatide ja tulemuste liikumissuund
- Kriipsjoon · käivitamine, otsustamine, volitamine, seadistamine
- Pikk kriips-punktjoon · kirjed ja vaatlus, verdiktist eraldi
- Lühike kriipsjoon · tõrge või kasutuskõlbmatu verdikt
- Paks must joon · valitud voog; numbrid näitavad järjekorda
- Kast · koodi või kirjete piir, tee päises
- Sisemine silt · komponent selle piiri sees
- Kriipsjoonega kast · sellest piirist väljas
- tsükkel · lõpuleviimine
- peatumised · hook'id · verdikt
- salvestamine · kirjed
- IPC-sisenemine
Joonistatud on ainult fikseeritud commiti 9e2c041 kutseteed. Kohtuniku läbimisotsus on eraldi välise võrdlustesti kontrollija õnnestumisest; lõpetamine on siin käituskeskkonna sisene otsus.
- Kohtunikumootor
- Vaikimisi on LLM-kohtunik; Jev Choice teeb verdikti ainult siis, kui judgment_engine on seatud väärtusele jev. Mõlemal juhul annab kasutuskõlbmatu kohtunik tulemuseks verification_error, mitte kunagi õnnestumise.
- Mida hook'id tohivad teha
- PreVerify saab verdikti ainult rangemaks muuta, PostVerify ei saa läbi lasta läbikukkunud kandidaati ja Stop saab jätkamist taotleda ainult siis, kui ei eskaleerita.
- Ootab ülevaatust
- Olek „Ootab ülevaatust“ salvestab, et on vaja välist otsust. See ei teavita kedagi ega tähenda, et tulemus on heaks kiidetud.