Область действия и охват
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.