verify-proof

Amaç

Donmuş bir planın uygulandığının mekanik kanıtı: her kabul ölçütünün başarılı bir testi veya kayıtlı komut kanıtı vardır, değişen yollar kapsam içinde kalır ve build, test ve lint komutları geçer.

Kaynak Skill amacı

Ne zaman kullanılır

Uygulamadan sonra dondurulmuş planın kod, test ve komutlarla karşılandığını mekanik olarak kanıtlamak için verify-proof kullanılır. Her kabul ölçütü onu çalıştıran bir iddia veya izinli komut kanıtı ister. Build, test ve lint sırayla yürütülür; değişen yollar kapsamla, bağımlılıklar ve sözleşmeler planla karşılaştırılır. Temel sürümde de bulunan hata değişikliğe yüklenmez, önceden var diye işaretlenir. Uygunsa tasarım belgeleri eşzamanlama denetimi alır. Rapor tahmini değil validator'ın hesapladığı kararla biter.

Kaynak Skill amacı

Nasıl çalışır

Becerinin adımları, kaynak sırasıyla

Kaynak Skill akışı

Dondurulmuş girdileri oku Ölçütleri, kapsamı, eşlenmiş testleri ve beklenen komutları görev ile plandan oku.
Kaynak Skill akışı
Komutları bul Build, test ve lint komutlarını ve kaynaklarını bul; ardından runtime-versions.sh ile yerel ve CI çalışma zamanı sürümlerini kaydet.
Kaynak Skill akışı
Sıralı denetimleri çalıştır Build, lint ve testi değişmemiş çalışma ağacında birer birer çalıştır.
Kaynak Skill akışı
Temel sürüm hatalarını denetle Hata veren her komutu temel sürümde yineleyerek önceden var olan davranışı belirle.
Kaynak Skill akışı
Ölçüt kapsamını eşle Her kabul ölçütünü geçen iddialı teste veya izinli komut kanıtına bağla.
Kaynak Skill akışı
Kapsamı denetle Göreve ait yollara karşı mekanik kapsam ve dondurma denetimini çalıştır.
Kaynak Skill akışı
Sözleşmeleri denetle Bağımlılık ve sözleşme değişikliklerini dondurulmuş plan bölümleriyle karşılaştır.
Kaynak Skill akışı
Tasarım belgelerini eşitle Yapılandırılmış belgeler ve görev sınıfı gerektiriyorsa tasarım belgesi denetimini çalıştır.
Kaynak Skill akışı
Doğrulamayı yaz Komutları, ölçüt kapsamını, kapsamı, tasarım eşitlemesini ve eski hataları kaydet.
Kaynak Skill akışı
Kararı doğrula Doğrulama denetleyicisini görev ve dondurulmuş plana karşı çalıştır.
Kaynak Skill akışı
Temel ağacı temizle Karşılaştırma bitince kaydedilmiş temel çalışma ağacını kaldır.
Kaynak Skill akışı

Temel kurallar

Her doğrulama satırını komut çıktısı veya denetlenmiş kaynak konumuyla destekle.
Kaynak Temel kurallar
Kararı rapor satırlarından validator'ın hesaplamasına bırak.
Kaynak Temel kurallar
Ölçütü yalnız gerçek iddia veya izinli komut kanıtlıyorsa say.
Kaynak Temel kurallar
Değişen yolları gözle değerlendirmek yerine kapsam denetleyicisini kullan.
Kaynak Temel kurallar
Başarılı doğrulama elde etmek için ürün kodunu veya testleri düzenleme.
Kaynak Temel kurallar

Çıktı ve gate

Çıktı

Komut sonuçları, kapsam ve hesaplanmış son kararla doğrulama raporu yaz.
Kaynak Çıktı tanımı
Bağımsız işte kararı ve tamamlanmayı engelleyen satırı bildir.
Kaynak Çıktı tanımı

gate

Beceri tanımı bir gate kuralı belirtmiyor.

Kaynak Skill tanımı

Kaynak