Новый движок корпусного анализа для KLT-RBDv6: от нескольких трудов одного автора к графу его концепции. Первый проверенный корпус — Кант: 145 вхождений, 55 кандидатов и четыре кандидата структурного ядра.
ARBD и корпус КантаPython 0.1.0 · SCIENCE=ABSTAIN · truth_layer_promotion=0
C3.8T: кандидатная оценка проверена при явных предпосылках. Подготовлены полное доказательство, точные примеры и контрпримеры. Канонический патч не применён.
Открыть строгий аудит16 формул ПН.2, расчёт нижних границ, контроль c-разделения и переход к точным страницам доказательства.
Открыть рабочий блок формулСтарые сборки не удалены: они сохранены как rollback ZIP. Текущий интерфейс использует их содержательные достижения без параллельных конкурирующих «главных страниц».
Авторство, новизна, архитектура знания, Атлас Томов и перспективы внедрения.
Единообразные доказательные карточки и навигация RESULT→SOURCE→PO→TEST→STATUS.
Интерактивный граф, Теорема 7.1, PO-1–12, F-1–14, Appendix A/B, Physical Bridge и V0–V6.
712 working route records и связь с каноническим kurpishev.com без заявления о полном серверном зеркале.
Единый сайт сохраняет статусный firewall: формальная теорема, программная реализация и независимая физическая проверка не смешиваются.