Assessment Summary
23
Passed
0
Failed
0
Inconclusive
26
Requirements
Overall Verdict: PASS
| Spec: vnvspec-self v0.2.0
| Assessed: 2026-04-17 14:08 UTC
| Coverage: 15/26 requirements covered
Version Traceability
v0.1.0 12 requirements v0.2.0 14 requirements
Requirements
| ID | Statement | Priority | Since | Verdict | Last Checked |
|---|---|---|---|---|---|
| REQ-SELF-FROZEN-001 | The core models (Spec, Requirement, Evidence, Hazard, ODD, IOContract, TraceLink... | blocking | 0.1.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-PYDANTIC-001 | All core models shall use Pydantic v2 BaseModel with full type annotations. | blocking | 0.1.0 | inconclusive | — |
| REQ-SELF-SPEC-001 | The Spec model shall validate uniqueness of requirement IDs and hazard IDs at co... | blocking | 0.1.0 | inconclusive | — |
| REQ-SELF-TRACE-GRAPH-001 | The build_trace_graph() function shall reject cyclic traceability links. | high | 0.1.0 | inconclusive | — |
| REQ-SELF-GTWR-001 | The GtWR quality checker shall implement at least 8 INCOSE-derived rules (R1 thr... | high | 0.1.0 | inconclusive | — |
| REQ-SELF-REGISTRIES-001 | vnvspec shall ship at least 5 built-in standards registries loadable by name. | high | 0.1.0 | inconclusive | — |
| REQ-SELF-EXPORT-001 | vnvspec shall export reports in at least 5 formats (HTML, JSON, Markdown, GSN/Me... | high | 0.1.0 | inconclusive | — |
| REQ-SELF-ERRORS-001 | All vnvspec exceptions shall inherit from VnvspecError and carry a help_url attr... | medium | 0.1.0 | inconclusive | — |
| REQ-SELF-COMPAT-001 | Every public symbol exported by vnvspec v0.1.0 shall remain importable in v0.2.0... | blocking | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-FROZEN-002 | The Spec.extend() method shall return a new Spec instance without mutating the o... | blocking | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-TYPES-001 | The vnvspec source code shall pass mypy --strict with zero errors. | blocking | 0.1.0 | inconclusive | — |
| REQ-SELF-LINT-001 | The vnvspec source code shall pass ruff format and ruff check with zero errors. | blocking | 0.1.0 | inconclusive | — |
| REQ-SELF-COV-001 | The test suite shall achieve at least 85 percent code coverage. | high | 0.1.0 | inconclusive | — |
| REQ-SELF-DOCS-001 | The documentation site shall build with mkdocs --strict and zero warnings. | high | 0.1.0 | inconclusive | — |
| REQ-SELF-ERGO-001 | The Evidence.details field shall accept both str and dict values, auto-wrapping ... | high | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-ERGO-002 | The Report.summary field shall accept both str and dict values, with the same au... | medium | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-CLI-001 | The vnvspec CLI shall use structured exit codes (0 through 5) as defined by Exit... | medium | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-COLLECTOR-001 | The EvidenceCollector shall validate requirement IDs against the spec and raise ... | high | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-IO-001 | The Spec YAML and TOML serialization shall be lossless — from_yaml(to_yaml()) an... | high | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-GAP-001 | The standard_gap_analysis() function shall correctly identify covered and uncove... | high | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-PROFILE-001 | The web-app rule profile shall demote R6 (unit-bearing) and R7 (shall-language) ... | medium | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-TRACE-001 | The auto_trace() function shall use word-boundary matching to prevent partial ID... | high | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-BADGE-001 | The badge SVG exporter shall produce valid SVG with correct color coding (green=... | medium | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-DIFF-001 | The compare_reports() function shall correctly identify regressions (pass to fai... | high | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-DEP-001 | The deprecated() decorator shall emit a DeprecationWarning with the target versi... | medium | 0.2.0 | pass | 2026-04-17 14:08 |
| REQ-SELF-META-001 | The vnvspec self-spec shall be loadable by Spec.from_yaml() and shall pass struc... | blocking | 0.2.0 | pass | 2026-04-17 14:08 |