Assessment Summary
33
Passed
0
Failed
0
Inconclusive
36
Requirements
Overall Verdict: PASS
| Spec: vnvspec-self v0.3.0
| Assessed: 2026-04-17 20:01 UTC
| Coverage: 33/36 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 20:00 |
| REQ-SELF-PYDANTIC-001 | All core models shall use Pydantic v2 BaseModel with full type annotations. | blocking | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-SPEC-001 | The Spec model shall validate uniqueness of requirement IDs and hazard IDs at co... | blocking | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-TRACE-GRAPH-001 | The build_trace_graph() function shall reject cyclic traceability links. | high | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-GTWR-001 | The GtWR quality checker shall implement at least 8 INCOSE-derived rules (R1 thr... | high | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-REGISTRIES-001 | vnvspec shall ship at least 5 built-in standards registries loadable by name. | high | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-EXPORT-001 | vnvspec shall export reports in at least 5 formats (HTML, JSON, Markdown, GSN/Me... | high | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-ERRORS-001 | All vnvspec exceptions shall inherit from VnvspecError and carry a help_url attr... | medium | 0.1.0 | pass | 2026-04-17 20:00 |
| 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 20:00 |
| 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 20:00 |
| REQ-SELF-TYPES-001 | The vnvspec source code shall pass mypy --strict with zero errors. | blocking | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-LINT-001 | The vnvspec source code shall pass ruff format and ruff check with zero errors. | blocking | 0.1.0 | pass | 2026-04-17 20:00 |
| REQ-SELF-COV-001 | The test suite shall achieve at least 95 percent code coverage. | blocking | 0.1.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-DOCS-001 | The documentation site shall build with mkdocs --strict and zero warnings. | high | 0.1.0 | pass | 2026-04-17 20:01 |
| 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 20:01 |
| 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 20:01 |
| 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 20:01 |
| REQ-SELF-CLI-002 | The vnvspec CLI validate command shall accept YAML, JSON, and TOML spec files, a... | high | 0.3.1 | inconclusive | — |
| REQ-SELF-IO-002 | Spec.from_file(path) shall auto-detect format by file extension and delegate to ... | high | 0.3.1 | inconclusive | — |
| REQ-SELF-COLLECTOR-001 | The EvidenceCollector shall validate requirement IDs against the spec and raise ... | high | 0.2.0 | pass | 2026-04-17 20:01 |
| 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 20:01 |
| REQ-SELF-GAP-001 | The standard_gap_analysis() function shall correctly identify covered and uncove... | high | 0.2.0 | pass | 2026-04-17 20:01 |
| 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 20:01 |
| 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 20:01 |
| 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 20:01 |
| REQ-SELF-DIFF-001 | The compare_reports() function shall correctly identify regressions (pass to fai... | high | 0.2.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-DEP-001 | The deprecated() decorator shall emit a DeprecationWarning with the target versi... | medium | 0.2.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-VERDICT-001 | The Report.verdict() method shall return "inconclusive" when any evidence has an... | blocking | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-SOURCE-001 | The Requirement.source field shall accept both str and list[str], auto-normalizi... | high | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-COMPAT-002 | Every public symbol exported by vnvspec v0.2.0 shall remain importable in v0.3.0... | blocking | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-CATALOG-PYT-001 | The PyTorch training catalog shall provide at least 30 requirements across repro... | high | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-SHIELDS-001 | The Shields.io endpoint exporter shall produce valid JSON with schemaVersion, la... | high | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-CATALOG-001 | The vnvspec catalog CLI shall provide list, show, audit, and import subcommands. | high | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-FORMAL-001 | The VerificationMethod type shall accept "formal_proof" as a valid value. | medium | 0.3.0 | pass | 2026-04-17 20:01 |
| REQ-SELF-PKG-001 | All third-party packages imported at runtime in src/vnvspec/ shall be declared i... | blocking | 0.3.1 | inconclusive | — |
| 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 20:01 |