Scope og dækning
SHV kan dække enhver dokumenteret fysisk kapabilitet, der er relevant for programdesign. Du styrer dækningsprofilen via qxctl. Standarddatogrundlaget er modellens introduktion, ikke en udledt individuel fremstillingsdato. Du kan udvide, indsnævre, erstatte eller fjerne dette filter.Implementerede motorer
SHV-viden leveres gennem flere uafhængigt installerbare C++-motorer:shv-engine
Kernemotor (0.4.0-dev): dækningsprofiler, build/replay af katalog fra bevarede kilder, kravevaluering, deterministisk grafprojektion og kildebaseret grafvalidering.
shv-source-engine
Kildeidentitet, flytningsplaner, binding af byteindsamling og kildegenafspillede provenansgrafer.
shv-profile-engine
Deklarationsoverensstemmelse, portable opskrifter og nøjagtig lokal kildebinding.
shv-partition-engine
Operationer for hardwarepartitionering og komponentkortlægning.
shv-publication-engine
Beskyttede katalog-heads for kaldere, genafspilning af originale kilder og varig gendannelse af snapshots.
shv-graph-adapter
Generisk C++-grafport og portabel referenceadapter i hukommelsen til tabsfri udveksling.
shv-graph-duckdb-connector
Valgfri relationel DuckDB-projektion af hardwaregrafevidens.
shv-pdf-adapter
Afgrænset PDF-udtræk og genvalidering af dokumentariske påstande ud fra de originale bytes.
Kilderevision og proveniens
shv-source-engine implementerer stabil kildeidentitet, eksplicitte flytningsplaner, ren overgangsvalidering, binding af indsamling af faktiske bytes og kildegenafspillede provenansgrafer. Disse er skrivebeskyttede operationer. Kernekurateringen prioriterer original komponentidentitet og dokumenterede varianter. Beskyttet kildeaktivering håndteres separat; den rene kildemotor tildeler ikke autoritet.
Grafudveksling og lagring
shv-graph-adapter leverer en generisk C++-grafport til tabsfri udveksling og strukturelle forespørgsler. Varig lagring er implementeret via DuckDB SQL som standard. Der er i øjeblikket ikke valgt nogen dedikeret grafdatabase.
Grænse for PDF-evidens
shv-pdf-adapter udtrækker kvalificerede dokumentariske påstande fra eksplicitte PDF-tabeller og genvaliderer dem ud fra de originale bytes efter generisk grafudveksling. Generel PDF-dækning forbliver et separat afgrænset arbejde.
Resterende arbejde
Et bredt hardwareatlas, automatiseret kildeindsamling, aggregering af konflikter mellem flere kilder, yderligere leverandørspecifikke databasedrivere, indlæsning af brugerdefinerede plugins og Composer-integration er fortsat fremtidigt arbejde. Brede komponentkortlægninger og varige leverandørdrivere er også åbne.Hvordan SHV forholder sig til andre vektorer
SNV
Registrerer de Nodes, der indeholder den hardware, SHV beskriver.
SCV
Refererer til udbydernes hardwaretilbud, som SHV karakteriserer i detaljer.
SOV
Kan handle på baggrund af SHV-evidens ved provisionering eller klargøring af Nodes.