Обсяг і охоплення
SHV може охоплювати будь-яку задокументовану фізичну можливість, що стосується проєктування програм. Ви керуєте профілем охоплення через qxctl. Базою дати за замовчуванням є дата представлення моделі, а не виведена дата виготовлення окремого екземпляра. Ви можете розширити, звузити, замінити або вилучити цей фільтр.Реалізовані рушії
Знання SHV надаються через кілька незалежно встановлюваних рушіїв на C++:shv-engine
Основне ядро (0.4.0-dev): профілі охоплення, побудова/відтворення каталогу зі збережених джерел, оцінка вимог, детермінована проєкція графа та валідація графа на основі джерел.
shv-source-engine
Ідентичність джерел, плани переміщення, прив’язка захоплення байтів і графи походження, відтворені з джерел.
shv-profile-engine
Відповідність деклараціям, портативні рецепти та точна прив’язка локальних джерел.
shv-partition-engine
Операції апаратного розбиття та зіставлення компонентів.
shv-publication-engine
Захищені голови каталогу викликача, відтворення з оригінальних джерел і довговічне відновлення знімків.
shv-graph-adapter
Загальний графовий порт на C++ і портативний еталонний адаптер у пам’яті для обміну без втрат.
shv-graph-duckdb-connector
Необов’язкова реляційна проєкція доказів апаратного графа в DuckDB.
shv-pdf-adapter
Обмежене вилучення даних із PDF і повторна валідація документальних тверджень з оригінальних байтів.
Ревізія джерел і походження
shv-source-engine реалізує стабільну ідентичність джерел, явні плани переміщення, чисту валідацію переходів, прив’язку захоплення фактичних байтів і графи походження, відтворені з джерел. Це операції лише для читання. Основне курування надає пріоритет оригінальній ідентичності компонентів і задокументованим варіантам. Захищена активація джерел обробляється окремо; чистий рушій джерел не надає повноважень.
Обмін і зберігання графів
shv-graph-adapter надає загальний графовий порт на C++ для обміну без втрат і структурних запитів. Довговічне зберігання реалізовано через SQL-базу DuckDB за замовчуванням. Спеціалізовану графову базу даних наразі не обрано.
Межа доказів із PDF
shv-pdf-adapter вилучає кваліфіковані документальні твердження з явних таблиць PDF і повторно перевіряє їх за оригінальними байтами після загального обміну графами. Загальне покриття PDF залишається окремою роботою з власним обсягом.
Подальша робота
Широкий апаратний атлас, автоматизоване отримання джерел, агрегація конфліктів між кількома джерелами, додаткові драйвери баз даних для конкретних постачальників, завантаження власних плагінів та інтеграція з Composer залишаються на пізніші етапи. Широкі зіставлення компонентів і довговічні драйвери постачальників також залишаються відкритими.Як SHV пов’язаний з іншими векторами
SNV
Фіксує Node, що містять обладнання, описане SHV.
SCV
Посилається на апаратні пропозиції провайдерів, які SHV детально характеризує.
SOV
Може діяти на основі доказів SHV під час розгортання або підготовки Node.