Evidrel — ilişkisel örüntüler ve araştırma kayıtları

Bilgiyi dayanaklarıyla birlikte tutmak

Bir kaydın ne söylediğinin yanında hangi ilişkiler, kaynaklar ve geçerlilik koşullarıyla kullanılabildiğini de tutabilir miyiz? Evidrel adı altında ilerleyen çalışmalar bu sorunun farklı parçalarını ele alıyor.

İlişkisel araştırma çekirdeği

14 Eylül durum raporu; tanımlı ilişkisel dillerde örüntü çıkarma, rakip açıklamaları ayıracak kanıtı seçme ve dayanak değiştiğinde kullanımını denetleme mekanizmalarını anlatıyor. Gösterilen sonuçlar dar sentetik görevlerde. Açık uçlu temsil üretimi veya geniş alanlar arası genelleme kanıtı değiller.

Önemli bir olumsuz ders: aday açıklamaların uzlaşması, tek aday kalması veya belirsizliğin azalması dış dünyada doğruluğu garanti etmiyor. Adayların ortak yanlış varsayımları ayrıca sınanmalı.

Araştırma defteri prototipi

Ayrı yerel araç; metin kaynaklarını sürümleriyle tutuyor, aday kayıtları kaynak yanında inceletiyor ve düzeltmeleri ilgili kayda bağlıyor. Kaynak değişince eski sürüm kayıtları yeniden incelemeye düşüyor.

İnceleme onayı bilimsel doğruluk kanıtı değil. Arama bu sürümde metin eşleşmesine dayanıyor; dil bağımsız anlam öğrenimi, ekip yetkileri ve bulut işletimi uygulanmış sayılmıyor.

Ortak adın sınırı

Araştırma çekirdeği, kayıt defteri ve yürütücü tek bir tamamlanmış ürün değil. BMK ile ortak tasarım soruları bulunması, bu farklı mekanizmaların kanıtlarını birbirine aktarmıyor.

Kaynak notu ve açık iş

14 Ekim 2026 kaynak kesimi: Örgü genel durum raporu (14 Eylül) ve araştırma defteri README. Bu giriş için testler yeniden çalıştırılmadı. Ortak sözleşme, dış karşılaştırma ve insan pilotu ayrı değerlendirmeler olarak açık kalıyor.

Adlandırma notu — 18 Ekim 2026: Daha önce Örgü adıyla anılan bu çalışmalar Evidrel adıyla devam ediyor. Tarihsel kaynakların özgün adları korunmuştur. Ad değişikliği, ayrı prototiplerin birleştiği veya yeni bir ürün sürümünün yayımlandığı anlamına gelmez.