Aktualizacja: dodano ograniczony czytnik i odpowiedzi EN. Aktualny zakres PL/EN.
Przeczytaj: Anna nie ma mapy, ale Piotr ma książkę.Czy Anna ma mapę?Odpowiedź: zaprzeczenie z cytatem. Obsługiwane są i, oraz, ale, lecz, lub i jawne jeśli …, to … / jeżeli …, to …. Każdy człon musi mieć pełny podmiot oraz konstrukcję osoba–ma–przedmiot, ewentualnie z nie. Przypadki i lematy pochodzą z istniejącego słownika.
Przykłady kontroli:
| Źródło | Pytanie | Wynik |
|---|---|---|
| Anna ma mapę lub Piotr ma mapę. | Czy Anna ma mapę? | U — żadna możliwość nie została osobno potwierdzona |
| Anna ma mapę lub Piotr ma mapę. Anna nie ma mapy. | Czy Piotr ma mapę? | T — wynika z obu warunków |
| Jeśli Anna ma mapę, to Piotr ma książkę. | Czy Piotr ma książkę? | U — brak potwierdzenia przesłanki |
| Anna ma mapę. Jeśli Anna ma mapę, to Piotr ma książkę. | Czy Piotr ma książkę? | T |
| Anna ma mapę, ale Anna nie ma mapy. Piotr ma książkę. | Czy Anna ma mapę? | U — sprzeczność |
| To samo źródło | Czy Piotr ma książkę? | T — sprzeczność w niezależnej grupie nie usuwa tego faktu |
Rozbudowano czytnik, a nie wagi sieci. Gramatyka tworzy drzewo operatorów oraz atomy z rolami. Krótki solver logiczny sprawdza wszystkie wartościowania w każdej połączonej grupie zależności. T/F oznacza zgodność wszystkich dopuszczalnych modeli; U obejmuje brak rozstrzygnięcia lub sprzeczność. Reguły jeśli są interpretowane jako formalne implikacje materialne, a nie dowody przyczyn fizycznych. To osobny odczyt warunków źródła; nie zmiana tabel operatorów logiki natywnego rdzenia.
Sprawdzone stany wracają do macierzy ról. Istniejący wytrenowany transformer porównuje je z pytaniem; niezależny audyt kontroluje jego odpowiedź. Zachowano pełne cytaty, fragmenty atomowe i pozycje znaków. Pusta wiedza nie jest zastępowana fikcyjnym faktem: macierz może zawierać wyłącznie maskowany pusty wiersz.
Limity: 6 zdań, 6 różnych par osoba–przedmiot, 12 członów atomowych, głębokość drzewa 4, 2400 znaków. Niepełne człony (Anna ma mapę i książkę), zaimki, przyczynowe ponieważ, albo i mieszanie i z lub bez jednoznacznego podziału nie są obsługiwane tym modułem. Żaden nierozpoznany człon nie jest w nim pomijany. Pozostaje dotychczasowa obsługa poza tym zakresem.
Poprzedni kod: backups/before-compound-context-2026-10-18. Raporty: docs/compound-context-2026-10-18. Oryginalny materiał do dalszych prac pozostaje w training/compound-curriculum-next. Rdzeń H512 i checkpoint transformera nie zostały zmienione. Brak uczenia w tle.