범위와 커버리지
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++ 그래프 포트를 제공합니다. 영구 저장은 기본값인 DuckDB SQL을 통해 구현됩니다. 현재 선택된 전용 그래프 데이터베이스는 없습니다.
PDF 증거 경계
shv-pdf-adapter는 명시적인 PDF 표에서 검증된 문서 주장을 추출하고, 범용 그래프 교환 후 원본 바이트로부터 이를 재검증합니다. 일반적인 PDF 커버리지는 별도로 범위가 지정된 작업으로 남아 있습니다.
남은 작업
광범위한 하드웨어 아틀라스, 자동화된 소스 수집, 다중 소스 충돌 집계, 추가 벤더별 데이터베이스 드라이버, 사용자 정의 플러그인 로딩, Composer 통합은 이후 작업으로 남아 있습니다. 광범위한 구성 요소 매핑과 영구 벤더 드라이버도 아직 미해결 상태입니다.SHV와 다른 벡터의 관계
SNV
SHV가 설명하는 하드웨어를 포함하는 Node를 기록합니다.
SCV
SHV가 상세히 특성화하는 제공자 하드웨어 상품을 참조합니다.
SOV
Node를 프로비저닝하거나 구성할 때 SHV 증거를 바탕으로 작동할 수 있습니다.