Skip to content

feat: v0.33.0 — maximize tests and requirements - #40

Merged
SoundMatt merged 2 commits into
mainfrom
feat/maximize-tests-reqs-go-fusa
Jul 26, 2026
Merged

feat: v0.33.0 — maximize tests and requirements#40
SoundMatt merged 2 commits into
mainfrom
feat/maximize-tests-reqs-go-fusa

Conversation

@SoundMatt

Copy link
Copy Markdown
Owner

Summary

Audit-driven improvements addressing all six findings (P0–P2) from the go-FuSa code audit:

  • P0 REQ-TRACE008: cmd/gofusa/cmd_v032_test.go — six CLI-level tests for the runTraceHLRLLR dispatch path: ExitOK with no violations, ExitGateFail for orphaned LLR, ExitGateFail for uncovered HLR, nil-summary path, and two --strict-hlr-llr end-to-end integration tests.
  • P1 REQ-VERIFY006/007: registered in .fusa-reqs.json; //fusa:test annotations added to TestSaveAndLoad_Roundtrip in verify/verify_test.go.
  • P1 REQ-QUALIFY005/006: registered in .fusa-reqs.json; //fusa:test annotations added to TestSaveAndLoad_Roundtrip and TestBuiltinCases_NonEmpty in qualify/qualify_test.go.
  • P2 REQ-COV015: three runCoverage --mcdc cmd-level tests: missing --mcdc-file (ExitUsage), below-threshold (ExitGateFail), fully covered (ExitOK).
  • P2 REQ-QUALIFY007/008: two runQualify cmd-level tests exercising all six new flags; asserts populated fields in saved JSON report.
  • P2 renderMarkdown HLRLLRSummary: TestRender_Markdown_HLRLLRSummary in trace/trace_test.go.
  • P2 coverage.req() false branch: TestRenderText_DALD_ReqHelperNoBranch in coverage/coverage_test.go.

Four new requirements added to .fusa-reqs.json: REQ-VERIFY006, REQ-VERIFY007, REQ-QUALIFY005, REQ-QUALIFY006. Version bumped to v0.33.0.

Test plan

  • go build ./... — clean
  • go vet ./... — clean
  • go test ./... — all 43 packages pass
  • New tests in cmd/gofusa/cmd_v032_test.go cover all P0/P2 paths
  • //fusa:test annotations present on existing tests for P1 requirements

Audit-driven improvements addressing all six findings (P0–P2):

P0 — REQ-TRACE008: cmd/gofusa/cmd_v032_test.go adds six CLI-level tests
for runTraceHLRLLR covering ExitOK with no violations, ExitGateFail for
orphaned LLR, ExitGateFail for uncovered HLR, nil-summary path, and two
end-to-end --strict-hlr-llr integration tests.

P1 — REQ-VERIFY006/007: registered in .fusa-reqs.json (verify.Save and
verify.Load); //fusa:test annotations added to TestSaveAndLoad_Roundtrip
in verify/verify_test.go.

P1 — REQ-QUALIFY005/006: registered in .fusa-reqs.json (qualify.Load and
qualify.BuiltinCases); //fusa:test annotations added to TestSaveAndLoad_Roundtrip
and TestBuiltinCases_NonEmpty in qualify/qualify_test.go.

P2 — REQ-COV015: three cmd-level tests for runCoverage --mcdc: missing
--mcdc-file (ExitUsage), below-threshold (ExitGateFail), fully covered
(ExitOK).

P2 — REQ-QUALIFY007/008: two cmd-level tests for runQualify with new flags;
TestRunQualify_NewFlags_PopulateReport reads the saved JSON and asserts all
six new fields; TestRunQualify_NoFlags_DefaultsPopulateStdout checks default
badge output.

P2 — renderMarkdown HLRLLRSummary: TestRender_Markdown_HLRLLRSummary in
trace/trace_test.go exercises the v0.32.0 HLR/LLR summary table block.

P2 — coverage.req() false branch: TestRenderText_DALD_ReqHelperNoBranch
renders with DAL-D (no required metrics) to cover req(false) → "no".

Four new requirements added to .fusa-reqs.json:
REQ-VERIFY006, REQ-VERIFY007, REQ-QUALIFY005, REQ-QUALIFY006.

Version bumped to v0.33.0.

Signed-off-by: Matt Jones <47545907+SoundMatt@users.noreply.github.com>
Signed-off-by: Matt Jones <47545907+SoundMatt@users.noreply.github.com>
@SoundMatt
SoundMatt merged commit adbc4d4 into main Jul 26, 2026
16 checks passed
@SoundMatt
SoundMatt deleted the feat/maximize-tests-reqs-go-fusa branch July 26, 2026 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant