Bir kontrolcüdeki hatayı incelemek, aynı girdilerden aynı karar yeniden oluşturulabildiğinde kolaylaşır. RecoverTick bu fikri küçük bir Rust motoruyla araştırıyor: uygulama saf bir model sağlarken motor mantıksal zamanı, kurtarma politikasını ve dinamik bellek ayırmayan karar günlüğünü yönetiyor. Mevcut depo, üçüncü taraf Cargo bağımlılığı olmayan bir 0.1.0 MVP sürümü.
Temel ayrım, bir eylemi seçmek ile onu gerçekleştirmek arasında. Model, türleri açıkça tanımlanmış durum ve olayları alıyor; ardından bir durum geçişi ve isteğe bağlı bir etki niyeti öneriyor. Motor bu niyeti haricî bir sürücüye döndürüyor. Motor sürücüsü, sensör adaptörü veya asenkron kuyruk, karar çekirdeğinin dışında kalıyor. Böylece model incelenebilir oluyor; başarılı bir kararın fiziksel eylemin de başarıyla gerçekleştiğini garanti ettiği varsayılmıyor.
Kurtarmanın açık bir bütçesi var. Model değerlendirmesi başarısız olursa olay korunuyor, uygulamanın mevcut durumu ise değişmiyor. Yeniden deneme komutu, bu olayı belirlenen mantıksal son tarihte veya sonrasında tekrar değerlendirebiliyor. Yeni olaylar, bekleyen işin yerini sessizce alamıyor. Deneme bütçesi tükendiğinde yapılandırılmış yedek geçiş uygulanıyor ve motor duruyor. Geriye giden zaman adımları ve diğer geçersiz komutlar, durum veya günlük değişmeden reddediliyor.
Kabul edilen her komut bir kayıt üretiyor. Yeniden oynatma; özgün durum, aynı model, politika ve yedek geçiş ile başlıyor. Kararlar tekrar hesaplanıyor; sıra numaraları, durum görüntüleri ve sonuçlar karşılaştırılıyor. Bu, kriptografik kimlik doğrulama değil, anlamsal bir tutarlılık kontrolü. Geçerli bir kayıt dizisinin yalnızca başlangıç kısmı da kontrolü geçebilir. Bu nedenle sondan eksilen kayıtları tespit etmek için dışarıdan beklenen kayıt sayısı veya bir bildirim dosyası gerekiyor.
Bu sınırlar, sonraki soruları da açıkça ortaya koyuyor. Kalıcı arşivleme çağıran uygulamanın sorumluluğunda; etki iletimi kendi onay stratejisine ihtiyaç duyuyor ve donanım zamanlaması hedef cihaz üzerinde ölçülmeyi bekliyor. RecoverTick, öngörülebilir karar yönetimini incelemek için bir deney sunuyor. Güvenlik sertifikasyonu veya otomatik donanım kurtarması iddiasında bulunmuyor.