Evidence Exhibition
KLT и Reper(R,I,U;D)
ФОРМАЛЬНОЕ ЯДРОПредставить утверждение, объект или событие через типизированный репер R/I/U с явным основанием D и областью допустимости Dom.
NAPG / FOS
ФОРМАЛЬНАЯ ГЕОМЕТРИЯПостроить неассоциативную пакетную реперную геометрию и проективно-гармонический язык для сложных связностей.
Неассоциативная пакетная алгебра R⋆R
ОТКРЫТЫ ДОКАЗАТЕЛЬНЫЕ ОБЯЗАТЕЛЬСТВАСвязать пакетное умножение, ассоциатор и структурные координаты с геометрической реперной архитектурой.
Теорема Дезарга—Курпишева
ТЕОРЕМНЫЙ ПАКЕТСвязать классическую проективную конфигурацию Дезарга с авторской реперно-пакетной интерпретацией.
ПН.2 / PN.2
МАТЕМАТИКА + ОТКРЫТАЯ ФИЗИКАРазделить строгий математический пакет и физические интерпретации принципа неопределённости ПН.2.
V*P-физика и стратифицированное время
ИССЛЕДОВАТЕЛЬСКАЯ ПРОГРАММАИнтерпретировать физические и космологические процессы через пакетную геометрию и стратифицированную временную структуру.
KLT-RBD / RPD / PredRep
ВЫЧИСЛИТЕЛЬНОЕ ЯДРОПреобразовать реперный анализ в машинную память, граф оснований и типизированный предсказательный контур.
KLT-RBD-CHEM / Evidence-D
ПРОТОТИП + ОТКРЫТЫЕ ТЕСТЫПеренести реперную доказательную модель в химию: объект, источник, Dom, единицы, неопределённость и связанный Evidence-D.
KLT-MATDES
РАБОЧИЙ ИНЖЕНЕРНЫЙ ПРОТОТИПРешать обратную задачу материаловедения: заданные свойства → кандидат соединения → ограничения → путь получения.
KLT-RBDv6 Analyzer
РАБОЧИЙ ИНЖЕНЕРНЫЙ ПРОТОТИПАвтоматически находить реперы, нечёткие основания, разрывы и варианты фальсифицируемого уточнения в текстах.
Антропология познания и «Что есть Истина?»
ФИЛОСОФСКИЙ КОРПУССвязать формальное понятие основания с историческими типами восприятия, логикой, онтологией и вопросом истины.