copia

copiaは、ファイル同期のためのライブラリとコマンドラインインターフェースの両方を提供する純粋なRustツールです。C依存やunsafeコードなしで、ローリングチェックサムとBLAKE3デルタ転送エンジンを実装し、rsyncの現代的で依存関係のない代替品として機能します。このツールは、ファイル変更と競合の唯一の真実源としてコンテンツハッシュを使用し、信頼性を重視して設計されています。3つの主要な同期レイヤーをサポートしています：L1は増分単方向ミラーリング（ローカルまたはSSH経由のリモート）、L2は両方のバージョンの発散ファイルを保持する安全な競合解決による双方向同期、L3は複数のクライアントが中央ハブに同時にプッシュできるハブ・アンド・スポークモデルです。すべての書き込みはアトミックで、プロジェクトにはKaniやLean 4などの形式的検証方法を使用した機械証明された安全不変量が含まれており、データが失われないことや同時更新が安全に処理されることを保証します。