Skip to content

Harden zero-test validation evidence - #313

Merged
yyjeqhc merged 2 commits into
mainfrom
fix/zero-test-validation-evidence
Sep 5, 2026
Merged

Harden zero-test validation evidence#313
yyjeqhc merged 2 commits into
mainfrom
fix/zero-test-validation-evidence

Conversation

@yyjeqhc

@yyjeqhc yyjeqhc commented Sep 5, 2026

Copy link
Copy Markdown
Owner

Summary

  • Treat reliably identified generic cargo test executions that ran zero tests as inconclusive validation proof without changing process success.
  • Preserve explicit Cargo validation execution policy (require_tests / no_run) durably through Runner Job lifecycle and reconciliation behind the additive structured_cargo_test_execution_policy capability.
  • Clarify the public cargo_test contract for omitted/false/true require_tests and no_run=true.

Review

Fresh independent review checked the three prior findings, historical failure reconciliation, rolling-upgrade fail-closed behavior, durable Some(false) round-trip, capability inference/sticky downgrade classification, and model-facing schema wording. No remaining correctness blocker found.

Rebased cleanly onto latest main (70527035, #312); #312 only changes Plugin docs/example files and does not overlap this range.

Validation

  • cargo test -p webcodex-validation — 90 passed
  • cargo test -p webcodex-runner-registry — 240 passed
  • cargo test -p webcodex-tool-contracts — 88 passed
  • implementation handoff also reports affected package checks, cargo fmt --all -- --check, and git diff --check passing

No deploy/restart/release changes.

@yyjeqhc
yyjeqhc merged commit 4d56e38 into main Sep 5, 2026
2 checks passed
@yyjeqhc
yyjeqhc deleted the fix/zero-test-validation-evidence branch September 5, 2026 11:59
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