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.
SprendimasTik deterministinis vertintojas gali nustatyti BLOCKED arba READY.
Viešai saugus sintetinis Atlas Checkout pavyzdys su BLOCKED leidimu. Jis nepatvirtina, kad reali komanda iš tikrųjų buvo paleista.
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.
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.
Politika
Serverio valdomi vartai
Klientas negali pervadinti, praleisti ar padaryti neprivaloma būtinos patikros vien tam, kad gautų READY.
Paaiškinimas
Apribota modelio vertė
GPT-5.6 įrodymus paverčia aiškia rizikos santrauka, o kiekviena nuoroda lieka pririšta prie tikro blokatoriaus.
Taisymas
Į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.
Kitas žingsnis
Ką norėtumėte sukurti?
Papasakokite, ko reikia ar kas šiandien trukdo. Detales galime išsiaiškinti kartu.
