copia

copia é uma ferramenta de sincronização de arquivos desenvolvida em Rust, que fornece tanto uma biblioteca quanto uma interface de linha de comando. Ela atua como uma alternativa moderna e livre de dependências ao rsync, implementando um mecanismo de transferência delta baseado em checksums rolantes e BLAKE3, sem depender de código C ou unsafe. A ferramenta é projetada para ser confiável, usando hashes de conteúdo como a única fonte de verdade para mudanças de arquivos e conflitos. Ela suporta três camadas principais de sincronização: L1 para espelhamento incremental unidirecional (local ou remoto via SSH), L2 para sincronização bidirecional com resolução segura de conflitos que preserva ambas as versões de arquivos divergentes, e L3 para um modelo hub-and-spoke onde múltiplos clientes podem enviar dados para um hub central simultaneamente. Todas as gravações são atômicas, e o projeto inclui invariantes de segurança comprovadas por máquina, usando métodos de verificação formal como Kani e Lean 4 para garantir que os dados nunca sejam perdidos e que as atualizações concorrentes sejam tratadas com segurança.