Domeniu și acoperire
SHV poate acoperi orice capabilitate fizică susținută de dovezi, relevantă pentru designul programelor. Controlați profilul de acoperire prin qxctl. Baza implicită de dată este lansarea modelului, nu o dată de fabricație individuală dedusă. Puteți extinde, restrânge, înlocui sau elimina acest filtru.Motoare implementate
Cunoașterea SHV este livrată prin mai multe motoare C++ instalabile independent:shv-engine
Nucleul de bază (0.4.0-dev): profiluri de acoperire, construirea/redarea catalogului din surse păstrate, evaluarea cerințelor, proiecția deterministă a grafurilor și validarea grafurilor susținută de surse.
shv-source-engine
Identitatea surselor, planuri de relocare, legarea capturii de octeți și grafuri de proveniență redate din surse.
shv-profile-engine
Conformitatea declarațiilor, rețete portabile și legarea exactă a surselor locale.
shv-partition-engine
Operații de partiționare hardware și de mapare a componentelor.
shv-publication-engine
Capete de catalog protejate ale apelantului, redarea surselor originale și recuperarea durabilă a instantaneelor.
shv-graph-adapter
Port generic C++ pentru grafuri și adaptor de referință portabil în memorie pentru schimb fără pierderi.
shv-graph-duckdb-connector
Proiecție relațională DuckDB opțională a dovezilor din grafurile hardware.
shv-pdf-adapter
Extragere PDF delimitată și revalidarea afirmațiilor documentare din octeții originali.
Revizia surselor și proveniența
shv-source-engine implementează identitatea stabilă a surselor, planuri explicite de relocare, validarea pură a tranzițiilor, legarea capturii octeților reali și grafuri de proveniență redate din surse. Acestea sunt operații doar în citire. Curatoriatul de bază prioritizează identitatea componentelor originale și variantele susținute de dovezi. Activarea protejată a surselor este gestionată separat; motorul de surse pur nu acordă autoritate.
Schimbul și stocarea grafurilor
shv-graph-adapter furnizează un port generic C++ pentru grafuri, pentru schimb fără pierderi și interogări structurale. Stocarea durabilă este implementată prin DuckDB SQL ca valoare implicită. În prezent nu este selectată nicio bază de date dedicată pentru grafuri.
Limita dovezilor PDF
shv-pdf-adapter extrage afirmații documentare calificate din tabele PDF explicite și le revalidează din octeții originali după schimbul generic de grafuri. Acoperirea PDF generală rămâne o lucrare separată, cu domeniu propriu.
Lucrări rămase
Un atlas hardware amplu, achiziția automată a surselor, agregarea conflictelor din surse multiple, drivere suplimentare de baze de date specifice furnizorilor, încărcarea de pluginuri personalizate și integrarea cu Composer rămân lucrări ulterioare. Mapările ample ale componentelor și driverele durabile specifice furnizorilor sunt, de asemenea, încă deschise.Cum se raportează SHV la alți vectori
SNV
Înregistrează Node-urile care conțin hardware-ul descris de SHV.
SCV
Face referire la ofertele hardware ale furnizorilor pe care SHV le caracterizează în detaliu.
SOV
Poate acționa pe baza dovezilor SHV la provizionarea sau condiționarea Node-urilor.