malleus-dev

O Malleus fornece um framework para gerenciar mudanças semânticas em grafos de conhecimento com foco em proveniência, determinismo e validação rigorosa. Garante que cada registro no grafo possa ser rastreado até seus bytes de origem, versão da ontologia e processo de decisão que o admitiu. Principais capacidades incluem: - Validação Orientada por Ontologia: Utiliza LinkML para definir vocabulários e estruturas válidos, rejeitando gravações estruturalmente inválidas no momento da operação. - Convergência Determinística: Implementa hashing de conteúdo e fingerprinting para ontologias, permitindo que pares verifiquem compatibilidade de esquema sem trocar arquivos completos. - Verificação de Lógica Fixada: Integra-se com SWI-Prolog para avaliar candidatos contra conjuntos de regras fixadas, garantindo que restrições lógicas sejam atendidas antes da materialização. - Controle Epistêmico: Separa propostas, avaliações de monitoramento e decisões finais em registros endereçados por conteúdo para evitar seleção ex-post de políticas. - Replay Bitemporal: Suporta sistema de projeção baseado em ledger capaz de reconstruir o estado do grafo em momentos específicos de transação e validade, gerenciando supersedições e alterações retroativas. - Perfil de Grafo Tipado: Inclui conjunto padrão de primitivos (Entity, Event, Signal, Agent, Relation) e mixins (Identifiable, Temporal, Describable, Statusable) para padronizar modelagem de domínio.