frankengraphdb

frankengraphdb é um banco de dados de grafo de propriedades ambicioso, criado do zero em Rust, projetado para compor técnicas avançadas que antes existiam apenas isoladamente. Ele visa uma arquitetura unificada onde versionamento MVCC, histórico de viagem no tempo, ramificação estilo git, replicação e assinaturas de mudanças são todas manifestações de um único fluxo de commits append-only, endereçado por conteúdo e com codificação de apagamento (chamado Chronicle). O motor de armazenamento (Strata) usa um design LSM com camadas por temperatura, adjacência inline, blocos delta e execuções CSR comprimidas seladas para equilibrar escritas transacionais e varreduras analíticas. A execução de consultas (Loom) usa uma família unificada de operadores FreeJoin que abrange junções hash binárias, junções multiway ótimas para pior caso e intermediários fatorados, executando de forma vetorizada e paralela por morsel. A computação incremental (Ripple) é baseada em uma álgebra de Z-set no estilo DBSP, impulsionando consultas recursivas, visões materializadas, consultas permanentes e análises incrementais. O sistema enfatiza o determinismo: mesmo estado mais mesma consulta produz resultados byte a byte idênticos, com certificados de plano auditáveis e cartões de decisão reproduzíveis. Ele também inclui um modelo de segurança baseado em capacidades (Warden), um índice vetorial HNSW transacional (Beacon), um grande catálogo de algoritmos de grafos (Prism) e replicação (Aegis). O projeto é escrito em Rust com `unsafe` proibido em todo o workspace, e mantém um universo de dependências fechado com apenas três bibliotecas de base próprias. O README é escrito no presente do indicativo descrevendo o estado-alvo completo da versão 1.0, mas marca claramente o que está atualmente implementado versus trabalho futuro. Na última verificação, a CLI suporta criar bancos de dados, executar consultas GQL, transmitir resultados, confirmar escritas, diferenciar revisões e importação em massa; ramificações, catálogo de grafos e alguns recursos avançados ainda não estão implementados. O projeto é ativo e autônomo, com um documento abrangente de plano de design incluído.