İspatlardan üretilmiş bilgi graafı
Alınan kaynaklar hash-adresli saklanır ve güven için puanlanır; sonra LLM ajanı iddia graafını üretir. Hiçbir şey el ile düzältmez, ve üreten ajan, model, değerlendirme ve ispat hepsi çıkartılır.
Bir kaynağın bir alması bir gözlemdir. Bir ispat, bir güven puanı, bir üreten ajan ve bir projeksiyon sonucu gözleminindir, her iddianin değil — o yüzden burada birim gözlemdir.
Çalışma durumu
Son gözlemler
Durum kontrol edilir…