Kapsam ve içerik
SHV, program tasarımıyla ilgili kanıtlanmış herhangi bir fiziksel yeteneği kapsayabilir. Kapsam profilini qxctl aracılığıyla siz denetlersiniz. Varsayılan tarih esası, çıkarımsanan bireysel üretim tarihi değil, modelin piyasaya sürülme tarihidir. Bu filtreyi genişletebilir, daraltabilir, değiştirebilir veya kaldırabilirsiniz.Uygulanmış engine’ler
SHV bilgisi, bağımsız olarak kurulabilen birden çok C++ engine’i aracılığıyla sunulur:shv-engine
Çekirdek (0.4.0-dev): kapsam profilleri, saklanan kaynaktan katalog oluşturma/yeniden oynatma, gereksinim değerlendirmesi, deterministik grafik projeksiyonu ve kaynak destekli grafik doğrulaması.
shv-source-engine
Kaynak kimliği, yer değiştirme planları, bayt yakalama bağlaması ve kaynaktan yeniden oynatılan köken grafikleri.
shv-profile-engine
Bildirim uygunluğu, taşınabilir tarifler ve kesin yerel kaynak bağlaması.
shv-partition-engine
Donanım bölümleme ve bileşen eşleme işlemleri.
shv-publication-engine
Korumalı çağıran katalog başları, orijinal kaynak yeniden oynatması ve kalıcı anlık görüntü kurtarması.
shv-graph-adapter
Kayıpsız değişim için genel C++ grafik portu ve bellek içi taşınabilir referans bağdaştırıcısı.
shv-graph-duckdb-connector
Donanım grafik kanıtının isteğe bağlı DuckDB ilişkisel projeksiyonu.
shv-pdf-adapter
Sınırlı PDF çıkarımı ve belgesel iddiaların orijinal baytlardan yeniden doğrulanması.
Kaynak revizyonu ve köken
shv-source-engine; kararlı kaynak kimliğini, açık yer değiştirme planlarını, saf geçiş doğrulamasını, gerçek bayt yakalama bağlamasını ve kaynaktan yeniden oynatılan köken grafiklerini uygular. Bunlar salt okunur işlemlerdir. Çekirdek derleme, orijinal bileşen kimliğine ve kanıtlanmış varyantlara öncelik verir. Korumalı kaynak etkinleştirmesi ayrıca ele alınır; saf kaynak engine’i yetki vermez.
Grafik değişimi ve depolama
shv-graph-adapter, kayıpsız değişim ve yapısal sorgular için genel bir C++ grafik portu sağlar. Kalıcı depolama, varsayılan DuckDB SQL aracılığıyla uygulanır. Şu anda özel bir grafik veritabanı seçilmemiştir.
PDF kanıt sınırı
shv-pdf-adapter, açık PDF tablolarından nitelikli belgesel iddiaları çıkarır ve genel grafik değişiminden sonra bunları orijinal baytlardan yeniden doğrular. Genel PDF kapsamı ayrı ve kapsamı belirlenmiş bir çalışma olarak kalır.
Kalan çalışmalar
Geniş bir donanım atlası, otomatik kaynak edinimi, çok kaynaklı çakışma birleştirme, ek satıcıya özgü veritabanı sürücüleri, özel eklenti yükleme ve Composer entegrasyonu sonraki çalışmalar olarak kalmaktadır. Geniş bileşen eşlemeleri ve kalıcı satıcı sürücüleri de açık konulardır.SHV’nin diğer vektörlerle ilişkisi
SNV
SHV’nin tanımladığı donanımı içeren Node’ları kaydeder.
SCV
SHV’nin ayrıntılı olarak nitelendirdiği sağlayıcı donanım tekliflerine başvurur.
SOV
Node’ları hazırlarken veya koşullandırırken SHV kanıtına göre hareket edebilir.