منصوبے کے بارے میں

copia ایک خالص-Rust ٹول ہے جو فائل سنکرونائزیشن کے لیے ایک لائبریری اور کمانڈ-لائن انٹرفیس دونوں فراہم کرتا ہے۔ یہ rsync کا ایک جدید، انحصار-مُکت متبادل کے طور پر کام کرتا ہے، جو C انحصار یا غیر محفوظ کوڈ کے بغیر ایک رولنگ-چیکسم اور BLAKE3 ڈیلٹا-ٹرانسفر انجن کو نافذ کرتا ہے۔ یہ ٹول قابلِ اعتبار ہونے کے لیے ڈیزائن کیا گیا ہے، فائل کی تبدیلیوں اور تنازعات کے لیے واحد سچائی کے ماخذ کے طور پر مواد ہیشز کا استعمال کرتا ہے۔ یہ سنکرونائزیشن کی تین اہم تہوں کی حمایت کرتا ہے: L1 ایک طرفہ بڑھتی ہوئی آئینہ کاری کے لیے (مقامی یا SSH کے ذریعے دور)، L2 دو طرفہ دو-طرفہ سنکرونائزیشن کے لیے محفوظ تنازعہ حل کے ساتھ جو مختلف فائلوں کے دونوں ورژن کو محفوظ رکھتا ہے، اور L3 ایک حب-اور-اسپوک ماڈل کے لیے جہاں متعدد کلائنٹس ایک مرکزی حب پر بیک وقت دھکیل سکتے ہیں۔ تمام لکھائیاں جوہری ہیں، اور پروجیکٹ میں مشین-ثابت شدہ حفاظت کے اصول شامل ہیں جو Kani اور Lean 4 جیسے رسمی تصدیق کے طریقوں کا استعمال کرتے ہیں تاکہ یہ ضمانت دی جائے کہ ڈیٹا کبھی ضائع نہیں ہوتا اور بیک وقت اپ ڈیٹس کو محفوظ طریقے سے ہینڈل کیا جاتا ہے۔