GEODE
Autonomous Agent Harness
Fra observation til næste handling.
En lokal harness til autonome agenter, som research, filarbejde og planlagte opgaver kan overdrages til.
Decision Offloading w. Jev
Hvilke af de mellemliggende beslutninger, en agent træffer undervejs i en opgave, kan overlades til Jev, en model, der kun træffer beslutninger? Forskningen undersøger, om uafhængigt verificeret opgavekvalitet holder, når de er overladt, medregnet forberedelse, gentagne vurderinger, reparation og endelig levering. De tidlige piloter kunne ikke forklares ved alene at udskifte vurderingskaldet, så inputkontrakten, beslutningskontrakten, sandsynlighedspolicyen og udførelsesagentens forbrug blev skilt ud i hver sine eksperimenter.
Runtime · endelig dom
Når Jev er valgt, kalder endelig verifikation Jev én gang med ét Choice-spørgsmål, og kun en godkendt supported-dom består.
judgment_engine · llm | jev
core/config/judgment.pykøre · afgøre: vælg stienendelig dom · ét Choice-spørgsmålcore/agent/verify.pyJev-stien bruges kun, når judgment_engine er sat til jev (standard llm). provider auto vælger TypeSafe og derefter OpenRouter, alt efter hvilken der har en nøgle; uden nøgle bliver LLM-judge-stien. Det er ikke en fallback, der prøver en mislykket forespørgsel igen andetsteds.
endelig dom · ét Choice-spørgsmål
core/agent/verify.pydata: forespørgsel · kandidat · observationerSystemOne · ét kald · ingen fallbackadapters/typesafe.pyDen oprindelige forespørgsel og kandidaten maskeres og afgrænses og sendes derefter sammen med værktøjsobservationerne som ét Choice-spørgsmål (supported, contradicted, insufficient_evidence). Vurderingskaldet får ingen værktøjer (allow_tools=False). En vurdering, der kræver billeder, sendes ikke til Jev og bliver til verification_error.
SystemOne · ét kald · ingen fallback
adapters/typesafe.pydata: ét SystemOne-kaldTypeSafe SystemOneÉt kald, direkte til TypeSafe eller via OpenRouter, uden skift til en anden udbyder. Jev bruges aldrig som rodmodel til tekstgenerering.
adgangskontrol · sumtolerance 1e-5
adapters/typesafe.pydata: godkendt Choicekun supported består · kun tekstcore/agent/verify.pyEt svar bruges først efter kontrol af type, interval og sandsynlighedssum (tolerance 1e-5). Kun supported består; contradicted og insufficient_evidence bliver til et signal om nyt forsøg med en fast næste kontrol. Et svar, der ikke er end_turn eller ikke består kontrollen, bliver til verification_error, som ikke er et signal om nyt forsøg (should_retry=False). Scoren er en binær projektion, ikke en kalibreret sandsynlighed.
kun supported består · kun tekst
core/agent/verify.pydata: passed · reflectionPostVerify · Stop-policyloop/_lifecycle.pyDommen går til PostVerify- og Stop-policyen i kapitlet Fuldførelse. En dom er input til policyen, ikke en autoritet; når der afventes gennemgang, forbliver kandidaten kun som pending_text, og det endelige svar er tomt, så intet leveres.
PostVerify · Stop-policy
loop/_lifecycle.pylogge · observere: domsrækkertimeline · beslutningsrækker i ledgermemory · observabilityDomsbeslutninger registreres i tidslinjen og evidence ledger: runtime-logs, adskilt fra forskningsartefakterne.
Runtime · refleksion
Samme valg styrer refleksionens klassificering af belæg; sætningen om næste kontrol fastsættes af koden.
judgment_engine · llm | jev
core/config/judgment.pykøre · afgøre: samme valgrefleksion · klassificering af belægloop/_reflection.pySamme valg gælder for refleksion.
refleksion · klassificering af belæg
loop/_reflection.pydata: klassificér belægSystemOne · ét kald · ingen fallbackadapters/typesafe.pyRefleksion bruger Jev til at klassificere afgrænset belæg og tilføjer en næste kontrol, som koden fastlægger. Den ændrer ikke hypoteser om overbevisninger eller selvtillid.
SystemOne · ét kald · ingen fallback
adapters/typesafe.pydata: ét SystemOne-kaldTypeSafe SystemOneÉt kald, direkte til TypeSafe eller via OpenRouter, uden skift til en anden udbyder. Jev bruges aldrig som rodmodel til tekstgenerering.
adgangskontrol · sumtolerance 1e-5
adapters/typesafe.pydata: klassifikationrefleksion · klassificering af belægloop/_reflection.pyKun en godkendt klassifikation opdaterer refleksionstilstanden; ved fejl prøver næste runde igen fra samme forudgående tilstand.
Forskning · fast panel U3
Uden en actor blev Jevs og Astras vurderinger af samme tilstand og spørgsmål sammenlignet parvis.
Astra · Jev · samme spørgsmål
U3 · panel med fast tilstanddata: Jev-vurderingTypeSafe SystemOneU3 (oprindelig eksperiment-commit 2f2b494): 120 faste tilstande · 27 kildeklynger · 240 kald. Hver tilstand og hvert spørgsmål gik til Jev og Astra som ét par; ingen actor, værktøjer eller Harbor.
Astra · Jev · samme spørgsmål
U3 · panel med fast tilstanddata: Astra-vurderingAstra-bedømmer · actor-modelKorrekte på samme stikprøve: Astra 90/120, Jev 84/120; median pr. kald 10.446 s mod 0.253 s. Det er kun vurderingskaldets latens, ikke opgavetid eller omkostningsbesparelser.
U3 · panel med fast tilstanddata: panelresultater · rapportJev-forskningsrapport
U3's resultater for nøjagtighed og latens indgår i den offentlige tekniske rapport. Om dette panel er en del af den offentlige E2E-pakke, påstås ikke her.
Forskning · E/I-kørsler
Med Astra som actor blev kun vurderingsstien ændret, og et uafhængigt regelorakel kontrollerede resultater og levering separat.
Astra-actor · værktøjer · reparation
E/I · Harbor 0.22data: generering · værktøjer · reparationAstra-bedømmer · actor-modelI E/I på Harbor 0.22 står actoren Astra for generering, værktøjskald og reparation; kun vurderingsstien ændres.
vurderingssti · Astra · Jev · Jev-first
E/I · Harbor 0.22data: sti for fuldførelsesvurderingTypeSafe SystemOneE7 (oprindelig eksperiment-commit 1f65534): 12 selvskrevne syntetiske opgaver × 3 konfigurationer × 2 kørsler = 72 kørsler, 24/24 pr. konfiguration. Jev-first-konfigurationen havde 0/24 faktiske fallbacks, så dens effekt blev ikke målt.
E/I · Harbor 0.22logge · observere: uafhængig kontrolkorrekthed · levering separat
rule oracleEt uafhængigt regelorakel kontrollerer slutresultatet, og den faktiske endelige levering tælles separat. I de 11 efterfølgende par fra den afbrudte U8n bestod alle kandidater oraklet, men leveringen var Astra 11/11 og Jev Noul 0/11.
E/I · Harbor 0.22data: afstamning for fejl · reparationE2E-DATA · kilde · offentlige hashes
jev-v3-20260927Den offentlige E2E-pakke bevarer afstamningen for forberedelse, fejl og reparation, med hashes for kilde og offentlig kopi holdt adskilt. En maskeret offentlig kopi træder ikke i stedet for validering af den uændrede kilde.
REPRODUCE · model-free
jev-v3-20260927data: modelfri genberegningJev-forskningsrapportAt genberegne tal ud fra gemte svar og at køre på ny er forskellige operationer. Rapporten er en offentlig teknisk rapport, ikke en fagfællebedømt artikel.
Alle forbindelser med samme tykkelse. Vælg et flow for kun at fremhæve dets vej med nummererede trin.
- Fuldt optrukket · den retning, forespørgsler, kandidater og resultater flyder
- Stiplet · køre, afgøre, autorisere, konfigurere
- Lang streg-prik · logs og observation, adskilt fra dommen
- Kraftig sort linje · det valgte flow; tal angiver rækkefølgen
- Boks · en kode- eller loggrænse med stien i overskriften
- Indre chip · en komponent inden for grænsen
- Stiplet boks · uden for grænsen
- løkke · udførelsesharness
- valg af sti · dom · orakel
- logs · offentlig pakke
- transport · vurderingspanel
Den øvre og den nedre del er forskellige systemer. Forskningens konfigurationer og resultater er ikke alle slået til i den nuværende runtime-sti; den eneste fælles forbindelse er, at begge kalder den samme Jev-model (jev-1.13.0).
- Runtime-adgangskontrol
- Runtimen holder tolerancen for sandsynlighedssummen stram på 1e-5. Evalueringskaldere sender deres egen registrerede tolerance i stedet for at løsne runtimens parser.
- Forskningens omfang
- U3 måler kun vurderingskald; E/I omfatter actor og reparation. Deres nævnere blandes aldrig, og U8n's 11 par er en efterfølgende analyse af et afbrudt studie.
Tre beslutningskontrakter
Choice
- Returnerer
- Sandsynlighed pr. kategori eller valgmulighed
- Afgør
- Fuldførelse; en forespørgsels hensigt og mål
Noul
- Returnerer
- P(true) for hver betingelse
- Afgør
- Modsigelse; manglende belæg
Score
- Returnerer
- Forventet værdi og fordeling på en fast ordnet skala
- Afgør
- Rangering af genererede kandidater
Den forventede værdi placerer en kandidat på skalaen; den bruges ikke som konfidens.
Evaluering og tilkobling
Hver kontrakt blev evalueret på sit eget faste inputpanel, og nogle blev koblet ind i eksperimentharnessens udførelsessti for at se, hvordan udførelsesagenten forbruger vurderingen. På kortet ovenfor viser forskningsdelen de kørsler; runtime-delen er tilvalgsstien i den nuværende GEODE.
Observationer, der ændrede designet
- I5 → I6 · inputkontrakt
- Sporing af en fælles leveringsfejl viste, at vurderingsinputtet manglede opgavekontrakten og beskrev værktøjsobservationer fra samme forespørgsel som tidligere kontekst
- I6 leverede 6/6 i en separat kørsel med den reviderede kode og en ny konto
- U3 · samme 120 tilstandspar
- Median pr. kald Astra 10.446 s · Jev 0.253 s; korrekte på samme stikprøve 90/120 · 84/120
- Hastighed og nøjagtighed vejes sammen for hver beslutning for at fastlægge delegeringens omfang
- U2 · sandsynligheder
- Jevs sandsynligheder var bedre kalibreret i størrelse, men Astra rangerede sine forkerte vurderinger forrest mere pålideligt
- Kalibrering og fejludvælgelse måles separat, og tærsklen fastfryses på selection-opdelingen
- U6a · hensigt og mål
- På 40 familier skrevet af designeren: Jev 216/220 · Astra 220/220, inden for den forhåndsregistrerede margin på −5 pp
- Fast klassificering af hensigt og mål indsnævret som næste kandidat til anvendelse
- U8n · levering
- 11 efterfølgende par fra en afbrudt kørsel: reparerede kandidater bestod oraklet i begge arme; levering Astra 11/11 · Jev Noul 0/11
- Vurderinger af manglende belæg blokerede korrekt levering; den nuværende Noul-opsætning mangler grundlag for at fungere som eneste bedømmer af levering