Hatókör és lefedettség
Az SHV a programtervezés szempontjából releváns bármely bizonyítékkal alátámasztott fizikai képességre kiterjedhet. A lefedettségi profilt a qxctl-en keresztül szabályozhatja. Az alapértelmezett dátumalap a modell bevezetése, nem pedig egy kikövetkeztetett egyedi gyártási dátum. Ezt a szűrőt bővítheti, szűkítheti, lecserélheti vagy eltávolíthatja.Megvalósított motorok
Az SHV-tudást több, függetlenül telepíthető C++ motor szolgáltatja:shv-engine
Alapkernel (0.4.0-dev): lefedettségi profilok, megőrzött forrású katalógus építése/visszajátszása, követelményértékelés, determinisztikus gráfvetítés és forrással alátámasztott gráfvalidálás.
shv-source-engine
Forrásidentitás, áthelyezési tervek, bájtrögzítési kötés és forrásból visszajátszott eredetgráfok.
shv-profile-engine
Deklarációs megfelelőség, hordozható receptek és pontos helyi forráskötés.
shv-partition-engine
Hardverpartíciós és komponens-hozzárendelési műveletek.
shv-publication-engine
Védett hívói katalógusfejek, eredeti forrás visszajátszása és tartós pillanatkép-helyreállítás.
shv-graph-adapter
Általános C++ gráfport és memóriabeli hordozható referenciaadapter a veszteségmentes cseréhez.
shv-graph-duckdb-connector
A hardvergráf-bizonyítékok opcionális DuckDB-alapú relációs vetülete.
shv-pdf-adapter
Korlátozott PDF-kinyerés és dokumentumalapú állítások újravalidálása az eredeti bájtokból.
Forrásrevízió és eredet
Ashv-source-engine stabil forrásidentitást, explicit áthelyezési terveket, tiszta átmenetvalidálást, tényleges bájtrögzítési kötést és forrásból visszajátszott eredetgráfokat valósít meg. Ezek csak olvasó műveletek. Az alapválogatás az eredeti komponensidentitást és a bizonyítékkal alátámasztott változatokat részesíti előnyben. A védett forrásaktiválás külön történik; a tiszta forrásmotor nem ad hatáskört.
Gráfcsere és tárolás
Ashv-graph-adapter általános C++ gráfportot biztosít a veszteségmentes cseréhez és a strukturális lekérdezésekhez. A tartós tárolás az alapértelmezett DuckDB SQL-lel valósul meg. Jelenleg nincs kiválasztva dedikált gráfadatbázis.
PDF-bizonyítékhatár
Ashv-pdf-adapter minősített dokumentumalapú állításokat nyer ki explicit PDF-táblázatokból, és az általános gráfcsere után az eredeti bájtokból újravalidálja őket. Az általános PDF-lefedettség továbbra is külön, hatókörrel rendelkező munka.
Hátralévő munka
Egy átfogó hardveratlasz, az automatizált forrásbeszerzés, a többforrású ütközések összesítése, további gyártóspecifikus adatbázis-illesztőprogramok, egyéni bővítménybetöltés és a Composer-integráció későbbi munka marad. Az átfogó komponens-hozzárendelések és a tartós gyártói illesztőprogramok szintén nyitottak.Hogyan kapcsolódik az SHV más vektorokhoz
SNV
Rögzíti azokat a Node-okat, amelyek az SHV által leírt hardvert tartalmazzák.
SCV
Hivatkozik azokra a szolgáltatói hardverajánlatokra, amelyeket az SHV részletesen jellemez.
SOV
Node-ok kiépítésekor vagy kondicionálásakor az SHV-bizonyítékok alapján cselekedhet.