Skip to content

Add gatecheck to Mutation Testing - #119

Merged
cleder merged 1 commit into
cleder:mainfrom
simin-yuan:main
Sep 16, 2026
Merged

cleder merged 1 commit into
cleder:mainfrom
simin-yuan:main

Conversation

@simin-yuan

@simin-yuan simin-yuan commented Sep 16, 2026

Copy link
Copy Markdown
Contributor

Adds one entry to Mutation Testing.

It is mutation testing, but pointed at a different subject: instead of mutating the program to see whether the tests catch it, it mutates the checker's input to see whether the gate rejects it. That question — "does my validator actually reject anything?" — is the same failure mode mutation testing exists to expose, one level up.

Stdlib only, so it installs with nothing.

Disclosure: this is my own work. If it doesn't clear the bar for this section, closing it is a fine outcome.

Summary by Sourcery

New Features:

  • Add gatecheck to the Mutation Testing resource list as a checker-focused mutation testing tool.

Mutation testing applied to validators and quality gates rather than to source code. Stdlib only, no dependencies.
@semanticdiff-com

Copy link
Copy Markdown

Review changes with  SemanticDiff

@sourcery-ai

sourcery-ai Bot commented Sep 16, 2026

Copy link
Copy Markdown
Reviewer's guide (collapsed on small PRs)

Reviewer's Guide

The PR documents gatecheck in the Mutation Testing section of the README, positioning it as a stdlib-only tool that mutates checker inputs to evaluate gate rejection behavior rather than mutating program code.

File-Level Changes

Change Details Files
Adds gatecheck to the Mutation Testing resource list as a checker-focused mutation testing tool.
  • Links to the gatecheck project and its implementation directory.
  • Describes mutation of known-good checker inputs to test whether validators, linters, or CI gates reject invalid variants.
  • Notes that the tool is implemented using only the Python standard library.
README.md

Tips and commands

Interacting with Sourcery

  • Trigger a new review: Comment @sourcery-ai review on the pull request.
  • Continue discussions: Reply directly to Sourcery's review comments.
  • Generate a GitHub issue from a review comment: Ask Sourcery to create an
    issue from a review comment by replying to it. You can also reply to a
    review comment with @sourcery-ai issue to create an issue from it.
  • Generate a pull request title: Write @sourcery-ai anywhere in the pull
    request title to generate a title at any time. You can also comment
    @sourcery-ai title on the pull request to (re-)generate the title at any time.
  • Generate a pull request summary: Write @sourcery-ai summary anywhere in
    the pull request body to generate a PR summary at any time exactly where you
    want it. You can also comment @sourcery-ai summary on the pull request to
    (re-)generate the summary at any time.
  • Generate reviewer's guide: Comment @sourcery-ai guide on the pull
    request to (re-)generate the reviewer's guide at any time.
  • Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
    pull request to resolve all Sourcery comments. Useful if you've already
    addressed all the comments and don't want to see them anymore.
  • Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
    request to dismiss all existing Sourcery reviews. Especially useful if you
    want to start fresh with a new review - don't forget to comment
    @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

  • Enable or disable review features such as the Sourcery-generated pull request
    summary, the reviewer's guide, and others.
  • Change the review language.
  • Add, remove or edit custom review instructions.
  • Adjust other review settings.

Getting Help

@qodo-code-review

Copy link
Copy Markdown

Code Review by Qodo

🐞 Bugs (0) 📘 Rule violations (0) 📎 Requirement gaps (0)

Grey Divider

Great, no issues found!

Qodo reviewed your code and found no material issues that require review

Grey Divider

Tip of the day
💡 Did you know, you can group findings by type and pick your Finding display, from Minimal to Full

More tips ↗ | Customize Qodo ↗ | Qodo docs ↗

Grey Divider

Qodo Logo

@sourcery-ai sourcery-ai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey - I've reviewed your changes and they look great!

Sourcery assessment

Approved.


Sourcery is free for open source - if you like our reviews please consider sharing them ✨

@qodo-code-review

Copy link
Copy Markdown

PR Summary by Qodo

Add gatecheck to mutation testing resources

📝 Documentation 🕐 Less than 5 minutes

Grey Divider

AI Description

• Add gatecheck to the curated Mutation Testing resource list.
• Describe its checker-focused mutation testing approach and standard-library-only implementation.
High-Level Assessment

The existing Mutation Testing section is the appropriate placement because gatecheck applies mutation-testing principles to validators and quality gates. No architectural alternative is warranted for this documentation-only addition.

Files changed (1) +1 / -0

Documentation (1) +1 / -0
README.mdList gatecheck under Mutation Testing +1/-0

List gatecheck under Mutation Testing

• Adds gatecheck to the curated Mutation Testing resources. The description explains that it mutates valid checker inputs to identify mutations that validators, linters, or CI gates fail to reject, while noting its standard-library-only implementation.

README.md

@mergify

mergify Bot commented Sep 16, 2026

Copy link
Copy Markdown
Contributor

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@llamapreview llamapreview Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LlamaPReview — No blocking issues found

One-line README addition to the curated Mutation Testing list; no executable code, configuration, or public interface changes, so there is no PR-created mechanism that can regress behavior.

Review details and evidence

Material unknowns

  • Whether the external link target https://github.com/simin-yuan/self-auditing-agent/tree/main/gatecheck is reachable. Confirmed unreachability would change the posture from clear to request changes so the broken entry is cleaned up; the absence of a fetch check does not establish a broken link.
    • Check: Optionally open the linked URL once to confirm it resolves.
  • Whether pointing at a subdirectory (self-auditing-agent/tree/main/gatecheck) rather than a repository or package root satisfies this list's curation convention. If the list convention requires a repo/package-root URL, the entry would need a URL edit; this is a maintainer policy question not decidable from the supplied repository evidence.
    • Check: If required by convention, ask the author for a repo/package-root URL; the author has already disclosed ownership of the linked work in the PR description.

LlamaPReview checks

  • Reviewed changed regions in README.md.
  • Read the complete PR-head file README.md.

LlamaPReview is an open-source pull request reviewer. Tell the maintainers where this review got it wrong.

@cleder
cleder merged commit d8302a6 into cleder:main Sep 16, 2026
5 checks passed
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.

2 participants