Périmètre et couverture
SHV peut couvrir toute capacité physique étayée par des preuves et pertinente pour la conception de programmes. Vous contrôlez le profil de couverture via qxctl. La base de datation par défaut est la date d’introduction du modèle, et non une date de fabrication individuelle déduite. Vous pouvez élargir, restreindre, remplacer ou supprimer ce filtre.Moteurs implémentés
La connaissance SHV est fournie par plusieurs moteurs C++ installables indépendamment :shv-engine
Noyau principal (0.4.0-dev) : profils de couverture, construction/rejeu du catalogue à partir des sources conservées, évaluation des exigences, projection déterministe de graphes et validation de graphes adossée aux sources.
shv-source-engine
Identité des sources, plans de relocalisation, liaison de capture d’octets et graphes de provenance rejoués depuis les sources.
shv-profile-engine
Conformité des déclarations, recettes portables et liaison exacte aux sources locales.
shv-partition-engine
Opérations de partitionnement matériel et de mappage des composants.
shv-publication-engine
Têtes de catalogue protégées de l’appelant, rejeu des sources d’origine et récupération durable des instantanés.
shv-graph-adapter
Port de graphe C++ générique et adaptateur de référence portable en mémoire pour un échange sans perte.
shv-graph-duckdb-connector
Projection relationnelle DuckDB facultative des preuves du graphe matériel.
shv-pdf-adapter
Extraction PDF bornée et revalidation des assertions documentaires à partir des octets d’origine.
Révision des sources et provenance
Leshv-source-engine implémente une identité de source stable, des plans de relocalisation explicites, une validation pure des transitions, la liaison à la capture des octets réels et des graphes de provenance rejoués depuis les sources. Ce sont des opérations en lecture seule. La curation de base privilégie l’identité d’origine des composants et les variantes étayées par des preuves. L’activation protégée des sources est gérée séparément ; le moteur de sources pur n’accorde aucune autorité.
Échange et stockage de graphes
Leshv-graph-adapter fournit un port de graphe C++ générique pour l’échange sans perte et les requêtes structurelles. Le stockage durable est implémenté via DuckDB, la base SQL par défaut. Aucune base de données de graphes dédiée n’est actuellement sélectionnée.
Limites des preuves PDF
Leshv-pdf-adapter extrait des assertions documentaires qualifiées à partir de tableaux PDF explicites et les revalide à partir des octets d’origine après l’échange générique de graphes. La couverture PDF générale reste un chantier distinct et délimité.
Travaux restants
Un atlas matériel étendu, l’acquisition automatisée de sources, l’agrégation des conflits entre sources multiples, des pilotes de bases de données supplémentaires propres aux fabricants, le chargement de plugins personnalisés et l’intégration avec Composer restent à réaliser ultérieurement. Les mappages étendus de composants et les pilotes durables propres aux fabricants restent également ouverts.Relations de SHV avec les autres vecteurs
SNV
Consigne les Nodes qui contiennent le matériel décrit par SHV.
SCV
Référence les offres matérielles des fournisseurs que SHV caractérise en détail.
SOV
Peut agir sur les preuves SHV lors du provisionnement ou du conditionnement des Nodes.