Pentru cod Go critic, nu vă opriți la teste.
Pentru logica Go critică ce gestionează bani, precum rambursări, comisioane, solduri și rezerve, verificăm mecanic dacă proprietățile specificate sunt valabile în ipotezele și domeniul stabilite explicit. Gemini generează candidați pentru demonstrație, iar nucleul MPK independent dă verdictul final.
Asigurare dincolo de teste
Verificați proprietatea specificată în întregul domeniu vizat, nu doar pe date de intrare selectate.
Începeți cu o funcție Go
Porniți de la o funcție care aplică reguli critice, nu de la un limbaj special de demonstrație.
Nu aveți încredere directă în IA
IA pregătește candidații; acceptarea finală aparține nucleului independent.