feat: v0.33.0 — maximize tests and requirements

.fusa-reqs.json

@@ -406,6 +406,20 @@
       "standard": "IEC 61508",
       "level": "SIL-2"
     },
+    {
+      "id": "REQ-QUALIFY005",
+      "title": "qualify.Load reads qualification report from disk",
+      "text": "qualify.Load shall read a qualification report from the given path, returning fusa.ErrNoConfig when the file does not exist and fusa.ErrInvalidConfig when the JSON is malformed.",
+      "standard": "IEC 61508",
+      "level": "SIL-2"
+    },
+    {
+      "id": "REQ-QUALIFY006",
+      "title": "qualify.BuiltinCases returns non-empty test suite",
+      "text": "qualify.BuiltinCases shall return a non-empty slice of qualification test cases, with one positive (expects finding) and one negative (expects no finding) case for each registered engine rule.",
+      "standard": "IEC 61508",
+      "level": "SIL-2"
+    },
     {
       "id": "REQ-RELEASE001",
       "title": "SBOM presence check",
@@ -588,6 +602,20 @@
       "standard": "ISO 26262",
       "level": "ASIL-A"
     },
+    {
+      "id": "REQ-VERIFY006",
+      "title": "verify.Save persists evidence bundle as indented JSON",
+      "text": "verify.Save shall marshal the evidence bundle as indented JSON and write it to the specified path with a trailing newline, returning a non-nil error on marshal or write failure.",
+      "standard": "ISO 26262",
+      "level": "ASIL-A"
+    },
+    {
+      "id": "REQ-VERIFY007",
+      "title": "verify.Load reads evidence bundle from disk",
+      "text": "verify.Load shall read an evidence bundle from the specified path, returning fusa.ErrNoConfig when the file does not exist and a descriptive error when the JSON is malformed.",
+      "standard": "ISO 26262",
+      "level": "ASIL-A"
+    },
     {
       "id": "REQ-E2E001",
       "title": "Full pipeline executes successfully on a minimal Go project",

CHANGELOG.md

@@ -7,6 +7,24 @@ Dates reference the merged commit timestamp.
 
 ## [Unreleased]
 
+## v0.33.0 — 2026-07-26
+
+### Added
+- **Maximize test coverage and requirement annotations** (audit-driven):
+  - `cmd/gofusa/cmd_v032_test.go`: CLI-level tests for `runTraceHLRLLR` (P0 — REQ-TRACE008),
+    `runCoverage --mcdc` (P2 — REQ-COV015), and `runQualify` new flags (P2 — REQ-QUALIFY007/008).
+  - `trace/trace_test.go`: `TestRender_Markdown_HLRLLRSummary` covers the HLR/LLR summary
+    section of `renderMarkdown` introduced in v0.32.0.
+  - `coverage/coverage_test.go`: `TestRenderText_DALD_ReqHelperNoBranch` exercises the `false`
+    branch of the unexported `req()` helper.
+  - `verify/verify_test.go`: `//fusa:test REQ-VERIFY006` and `//fusa:test REQ-VERIFY007`
+    annotations added to `TestSaveAndLoad_Roundtrip`.
+  - `qualify/qualify_test.go`: `//fusa:test REQ-QUALIFY005` on `TestSaveAndLoad_Roundtrip`,
+    `//fusa:test REQ-QUALIFY006` on `TestBuiltinCases_NonEmpty`.
+- **Four new requirements registered** in `.fusa-reqs.json`:
+  REQ-VERIFY006 (`verify.Save`), REQ-VERIFY007 (`verify.Load`),
+  REQ-QUALIFY005 (`qualify.Load`), REQ-QUALIFY006 (`qualify.BuiltinCases`).
+
 ## v0.32.0 — 2026-07-26
 
 ### Added

README.md

@@ -270,7 +270,7 @@ docker build -t go-fusa .
 docker run --rm -v "$(pwd)":/project go-fusa check
 ```
 
-Published tags: `latest`, `0.32`, `0.32.0` (and matching semver for every release).
+Published tags: `latest`, `0.33`, `0.33.0` (and matching semver for every release).
 
 ## Standards coverage