Un grafo de saver generà da prove
Le fonti recuperae xe archiviae co indise hash e scoraee par fidusa; un atore LLM po ła genera el grafo de afermasion. Nisuna cossa xe modifegada a man, e l'atore generador, el modeło, ła vałutasion e ła prova i resta traciàbiłi.
Na recuperasion de na fonte xe na oservasion. Na prova, un puntejo de fidusa, un atore generador e un rexultado de proiesion i apartien a l'oservasion, mìa a ogni afermasion — quindi łe oservasion xe l'unità qua.
Stato del run
Oservasion resenti
Verifega de lo stato…