Escopo e cobertura
O SHV pode abranger qualquer capacidade física comprovada que seja relevante para o design de programas. Você controla o perfil de cobertura por meio do qxctl. A base de data padrão é o lançamento do modelo, não uma data de fabricação individual inferida. Você pode ampliar, restringir, substituir ou remover esse filtro.Engines implementadas
O conhecimento do SHV é entregue por meio de várias engines C++ instaláveis de forma independente:shv-engine
Kernel central (0.4.0-dev): perfis de cobertura, build/replay de catálogo com fontes retidas, avaliação de requisitos, projeção determinística de grafos e validação de grafos apoiada em fontes.
shv-source-engine
Identidade de fontes, planos de realocação, vinculação de captura de bytes e grafos de proveniência reproduzidos a partir das fontes.
shv-profile-engine
Conformidade de declarações, receitas portáveis e vinculação exata a fontes locais.
shv-partition-engine
Operações de particionamento de hardware e mapeamento de componentes.
shv-publication-engine
Heads de catálogo protegidas do chamador, replay da fonte original e recuperação durável de snapshots.
shv-graph-adapter
Porta genérica de grafos em C++ e adaptador de referência portável em memória para troca sem perdas.
shv-graph-duckdb-connector
Projeção relacional opcional no DuckDB das evidências do grafo de hardware.
shv-pdf-adapter
Extração delimitada de PDFs e revalidação de asserções documentais a partir dos bytes originais.
Revisão de fontes e proveniência
Oshv-source-engine implementa identidade estável de fontes, planos de realocação explícitos, validação pura de transições, vinculação de captura dos bytes reais e grafos de proveniência reproduzidos a partir das fontes. Essas são operações somente leitura. A curadoria central prioriza a identidade original dos componentes e variantes comprovadas. A ativação protegida de fontes é tratada separadamente; a engine de fontes pura não concede autoridade.
Troca e armazenamento de grafos
Oshv-graph-adapter fornece uma porta genérica de grafos em C++ para troca sem perdas e consultas estruturais. O armazenamento durável é implementado por meio do padrão SQL DuckDB. Nenhum banco de dados de grafos dedicado está selecionado no momento.
Limite das evidências em PDF
Oshv-pdf-adapter extrai asserções documentais qualificadas de tabelas explícitas em PDF e as revalida a partir dos bytes originais após a troca genérica de grafos. A cobertura geral de PDFs continua sendo um trabalho separado com escopo próprio.
Trabalho restante
Um atlas amplo de hardware, aquisição automatizada de fontes, agregação de conflitos entre várias fontes, drivers de banco de dados adicionais específicos de fornecedores, carregamento de plugins personalizados e integração com o Composer ficam para trabalhos futuros. Mapeamentos amplos de componentes e drivers duráveis de fornecedores também continuam em aberto.Como o SHV se relaciona com outros vetores
SNV
Registra os Nodes que contêm o hardware descrito pelo SHV.
SCV
Referencia as ofertas de hardware dos provedores que o SHV caracteriza em detalhes.
SOV
Pode agir com base nas evidências do SHV ao provisionar ou condicionar Nodes.