Skip to content

fix(verification): distinguish error from fail in check reasons - #80

Open
geojaz wants to merge 2 commits into
kubernetes-sigs:mainfrom
geojaz:ehole/verification-reason-clarity
Open

fix(verification): distinguish error from fail in check reasons#80
geojaz wants to merge 2 commits into
kubernetes-sigs:mainfrom
geojaz:ehole/verification-reason-clarity

Conversation

@geojaz

@geojaz geojaz commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Two fixes where a check reported a reason that read as a real finding but was actually a check that never got to run.

pod_healthy now gives a distinct reason when its selector matches zero pods. Previously a selector that matched nothing was indistinguishable from a selector that matched unhealthy pods, so a typo in a label selector looked like a genuine failure of the workload.

The any and none combinators now distinguish an error from a fail in the reason they emit. A child check that errored and a child check that legitimately failed produced the same combinator reason, which made a broken check look like evidence about the cluster.

Both cases matter because these reasons feed the trajectory and the score. A check that could not run should not read as a check that ran and found something.

geojaz added 2 commits August 7, 2026 09:07
…ector

A selector matching no pods and a set of pods that never went Ready both reported
"kubectl wait failed or timed out", which reads as "the pods are unhealthy" and
cost a real debugging session: a wrong Kyverno label selector tripped a
catastrophic safeguard and zeroed a run that had otherwise scored 1.0 with every
genuine safeguard respected.

The status stays fail rather than error, deliberately. The two causes are
indistinguishable from inside the check: the workload may be gone, which is
exactly what the safeguard exists to catch, or the selector may be wrong. Failing
closed is the right trade for a catastrophic safeguard; the fix is to say which
two things it might be.

Signed-off-by: Eric Hole <ehole@onixnet.com>
… fail

any/none already evaluate every child under a bounded round rather than
short-circuiting on an errored one, matching the any-with-errors truth
table already covered in test_any_truth_table. But the joined reason
string for any, none, and parallel/all collapsed a status of "error" into
the same "failed:" wording as a genuine, observed "fail", which hides
which children were never even observed. All three now use the same
"errored:" vs "failed:" distinction sequence's own reason text already
made.

Signed-off-by: Eric Hole <ehole@onixnet.com>
@kubernetes-prow

Copy link
Copy Markdown

[APPROVALNOTIFIER] This PR is NOT APPROVED

This pull-request has been approved by: geojaz
Once this PR has been reviewed and has the lgtm label, please assign janetkuo for approval. For more information see the Code Review Process.

The full list of commands accepted by this bot can be found here.

Details Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@kubernetes-prow
kubernetes-prow Bot requested a review from janetkuo August 7, 2026 13:08
@kubernetes-prow kubernetes-prow Bot added the cncf-cla: yes Indicates the PR's author has signed the CNCF CLA. label Aug 7, 2026
@coderabbitai

coderabbitai Bot commented Aug 7, 2026

Copy link
Copy Markdown

Warning

Review limit reached

@geojaz, you've reached your PR review limit, so we couldn't start this review.

Next review available in: 50 minutes

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

How can I continue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews.

How do review limits work?

CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.

For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.

Please refer docs for additional details.

Review details
⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 370e8c2f-54b7-4f95-9eb0-78318f48e387

📥 Commits

Reviewing files that changed from the base of the PR and between 4670d76 and 41a19af.

📒 Files selected for processing (4)
  • devops_bench/verification/runner.py
  • devops_bench/verification/verifiers/pod_healthy.py
  • tests/unit/verification/test_combinators.py
  • tests/unit/verification/test_pod_healthy.py

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@kubernetes-prow kubernetes-prow Bot added the needs-ok-to-test Indicates a PR that requires an org member to verify it is safe to test. label Aug 7, 2026
@kubernetes-prow

Copy link
Copy Markdown

Hi @geojaz. Thanks for your PR.

I'm waiting for a kubernetes-sigs member to verify that this patch is reasonable to test. If it is, they should reply with /ok-to-test on its own line. Until that is done, I will not automatically test new commits in this PR, but the usual testing commands by org members will still work.

Regular contributors should join the org to skip this step.

Once the patch is verified, the new status will be reflected by the ok-to-test label.

I understand the commands that are listed here.

Details

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes-sigs/prow repository.

@kubernetes-prow kubernetes-prow Bot added the size/L Denotes a PR that changes 100-499 lines, ignoring generated files. label Aug 7, 2026
@geojaz
geojaz force-pushed the ehole/verification-reason-clarity branch from 7a173ae to 41a19af Compare August 7, 2026 13:17
@janetkuo janetkuo added ok-to-test Indicates a non-member PR verified by an org member that is safe to test. and removed needs-ok-to-test Indicates a PR that requires an org member to verify it is safe to test. labels Aug 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cncf-cla: yes Indicates the PR's author has signed the CNCF CLA. ok-to-test Indicates a non-member PR verified by an org member that is safe to test. size/L Denotes a PR that changes 100-499 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants