Sobre el proyecto

Malleus proporciona un marco para gestionar cambios semánticos en grafos de conocimiento con enfoque en procedencia, determinismo y validación estricta. Garantiza que cada registro en un grafo pueda rastrearse hasta sus bytes fuente, versión de ontología y proceso de decisión que lo admitió. Capacidades clave incluyen: - **Validación Basada en Ontología**: Utiliza LinkML para definir vocabularios y estructuras legales, rechazando escrituras estructuralmente inválidas en el momento de la operación. - **Convergencia Determinista**: Implementa hashing de contenido y huellas digitales para ontologías, permitiendo a los pares verificar compatibilidad de esquemas sin intercambiar archivos completos. - **Verificación de Lógica Fijada**: Se integra con SWI-Prolog para evaluar candidatos frente a conjuntos de reglas fijadas, asegurando que se cumplan las restricciones lógicas antes de la materialización. - **Control Epistémico**: Separa propuestas, evaluaciones de monitoreo y decisiones finales en registros con dirección de contenido para evitar selección ex-post de políticas. - **Reproducción Bitemporal**: Soporta un sistema de proyección respaldado por libro mayor que puede reconstruir el estado del grafo según tiempos específicos de transacción y validez, manejando supersedencias y cambios retroactivos. - **Perfil de Grafo Tipado**: Incluye un conjunto predeterminado de primitivas (Entity, Event, Signal, Agent, Relation) y mixins (Identifiable, Temporal, Describable, Statusable) para estandarizar el modelado de dominio.