Serverio valdomi vartai
Klientas negali pervadinti, praleisti ar padaryti neprivaloma būtinos patikros vien tam, kad gautų READY.
Pateiktas Build Week prototipas · Developer Tools
Pasitikėjimas leidimu tampa patikrinamais įrodymais.
ProofLatch vieną apribotą leidimo paketą įvertina pagal serverio valdomą politiką. Deterministinis kodas nusprendžia BLOCKED arba READY; GPT-5.6 gali paaiškinti rezultatą ir parengti mažą Codex taisymo užduotį jo nekeisdamas.
BūsenaPateikta Devpost; veikia viešas neprisijungusio teisėjo kelias ir v1.0.0 kodo leidimas.
ProblemaAgentų sukurtas kodas gali atrodyti baigtas dar nesurinkus privalomų leidimo įrodymų.
MechanizmasGriežtas paketas → deterministinė politika → paaiškinimas → apribota taisymo užduotis.
SprendimasTik deterministinis vertintojas gali nustatyti BLOCKED arba READY.
Problema ir mechanizmas
Modelis gali aiškinti leidimo įrodymus netapdamas leidimo savininku.
Vertintojas pirmiausia tikrina privalomus vartus ir šaltinio švarą. Tik tuomet modelis gali faktus paversti suprantama rizika ir Codex užduotimi, susieta su tiksliais blokuojančių patikrų ID.
- ĮvestisVersijuota politika ir apribotas vieno pateikto commit įrodymų paketas.
- SprendimasGrynas deterministinis vertinimas, išliekantis galiojantis neveikiant modeliui.
- ModelisSchema apribotas paaiškinimas be verdikto lauko ir teisės silpninti vartus.
- KartojimasPakeisti įrodymai arba commit sukuria naują santrauką ir kvitą.
Patikrinti vieši įrodymai
Tą patį produktą galima patikrinti keturiais būdais.
Viešas teisėjo kelias veikia neprisijungus. Papildomas autentifikuotas modelio kelias yra atskiras ir niekada nekeičia deterministinio verdikto.
Ką parodo šis darbas
Tiesa, interpretacija ir taisymas yra atskiri sluoksniai.
Dėl šio atskyrimo produktas naudingas veikiant AI keliui ir išlieka saugus jam sugedus.
Apribota modelio vertė
GPT-5.6 įrodymus paverčia aiškia rizikos santrauka, o kiekviena nuoroda lieka pririšta prie tikro blokatoriaus.
Įrodymai privalo pasikeisti
Codex gauna fokusuotą užduotį, bet taisymas priimamas tik naujiems įrodymams iš naujo atvėrus vartus.
Sprendimo teisės riba
Kvitas aptinka pokytį, bet nėra tiesos sertifikatas.
SHA-256 santrauka susieja veikiančią politiką, pateiktą paketą, vertintojo versiją ir vertinimą po surinkimo. Ji nėra parašas, patikima laiko žyma, šaltinio patvirtinimas ar įrodymas, kad komanda tikrai vykdyta. Demo taisymas aiškiai pažymėtas kaip pavyzdžio pakeitimas.
Modelis galiPaaiškinti įrodymus ir pasiūlyti su patikromis susietus taisymo žingsnius.
NegaliSukurti, pagerinti, pabloginti ar pakeisti leidimo verdikto.
Build Week 2026
Peržiūrėkite dar tris apribotos AI sprendimo teisės eksperimentus.
Gatehold valdo agentų leidimus, ExitCanary tikrina SaaS išėjimą, o AccessCrash — ar procesas lieka pasiekiamas žmogui.