SKVI ne yapar
SKVI üç sınırlı işlem gerçekleştirir:- İnceleme ve kontrol: Manifestte bildirilen her gerekli yüzeyin; kararlı bir sahip, gerçek rolü, ilişkiler, tüketiciler ve projeksiyon uygunluğuyla tam olarak bir kez dizinlendiğini doğrular.
- Önerme: Dizin değişiklikleri için çağıran tarafından bildirilen değiştirilemez önerileri, onları uygulamadan kabul eder.
- Projeksiyon: Sonraki tüketiciler için mevcut dizinin atılabilir, özete bağlı projeksiyonlarını üretir.
SKVI neler yapmaz
SKVI hiçbir zaman özellik değerine veya manifest üyeliğine karar vermez. Sahiplik her vektörün Contract Quad’ında kalır. SKVI ayrıca şunları yapmaz:- Kanonik Markdown yazmak veya yeniden yazmak
- Genel bir projeksiyona herhangi bir şey yayımlamak
- Yalnızca kanıt ürettiği için yetki vermek
Ne zaman kullanılır
Bir kaynak değişikliği önermeden önce bir deponun tamamen kapsandığını doğrulamak veya belirli bir yüzeyin hangi sahibe ve gerçek rolüne sahip olduğunu görmek için SKVI’yi kullanın. Projeksiyonları öneri inceleyicilerini, ajan bağlamını ve doğrulayıcı temel çizgilerini besler.SKVI, okuma, sorgulama, doğrulama ve önerme engine’lerinden biridir. Kanonik uygulama, her engine’in SSIAG, beklenen durum işlemi, qxctl güvencesi, STAV olayı, kurtarma ve negatif test sözleşmeleri tamamlanana kadar onaylanmış vektör engine’lerinin tamamında devre dışı kalmaya devam eder.
İlgili yüzeyler
SKV'ye genel bakış
SKVI’yi yöneten çatı çerçeve.
SCLV
Tamamlanmış önemli kaynak değişikliklerini kaydeden yalnızca eklemeli değişiklik defteri.
qxctl vektör komutları
İnceleme, kontrol ve önerme işlemlerini çağırmak için
qxctl skvi ... komutunu çalıştırın.Doğrulayıcı
SKVI kapsamını tamamlayan bağımsız, salt okunur kontroller.