Об этом проекте

Malleus предоставляет фреймворк для управления семантическими изменениями в графах знаний с акцентом на прослеживаемость, детерминированность и строгую валидацию. Гарантирует отслеживание каждой записи графа до исходных байтов, версии онтологии и процесса принятия решений. Ключевые возможности: - Ontology-Driven Validation: Использует LinkML для определения допустимых словарей и структур, отклоняя некорректные записи во время операции. - Deterministic Convergence: Применяет контент-хеширование и фингерпринтинг онтологий, позволяя узлам проверять совместимость схем без полного обмена файлами. - Pinned Logic Verification: Интеграция с SWI-Prolog для проверки кандидатов по фиксированным правилам до материализации. - Epistemic Control: Разделение предложений, оценок мониторинга и решений на контент-адресуемые записи для предотвращения ex-post выбора политик. - Bitemporal Replay: Поддержка реестровой проекционной системы, восстанавливающей состояние графа на заданные моменты времени транзакции и актуальности. - Typed-Graph Profile: Набор примитивов (Entity, Event, Signal, Agent, Relation) и миксинов (Identifiable, Temporal, Describable, Statusable) для стандартизации моделирования.