[dependabot]

Bumps bhaskargurram-ai/proofcheck/.github/workflows/comment.yml from 1.0.0 to 1.0.2.

Release notes

Sourced from bhaskargurram-ai/proofcheck/.github/workflows/comment.yml's releases.

proofcheck v1.0.2

Changed

• The GitHub Action is listed on the Marketplace as "proofcheck PR evidence" (proofcheck alone is reserved by an existing GitHub account). Workflows that use bhaskargurram-ai/proofcheck@v1.0.2 are unaffected; only the display name changed.

proofcheck v1.0.1

Changed

• Diff evidence map: in Python files, a hunk that changes only comments, docstrings or formatting is marked 📝 docs only and is not run. Before, it was "not exercised" and got a "check it belongs in this PR" scope note, which was noise on PRs that update a docstring next to a fix (seen on 2 of 5 kornia pull requests replayed through proofcheck). The summary counts code hunks: "1/1 changed code hunk is required by the evidence (1 comment/docstring-only)". result.json and the card's data block gain a docs_only count.

Changelog

Sourced from bhaskargurram-ai/proofcheck/.github/workflows/comment.yml's changelog.

[1.0.2] - 2026-10-14

Changed

• The GitHub Action is listed on the Marketplace as "proofcheck PR evidence" (proofcheck alone is reserved by an existing GitHub account). Workflows that use bhaskargurram-ai/proofcheck@v1.0.2 are unaffected; only the display name changed.

[1.0.1] - 2026-10-14

Changed

• Diff evidence map: in Python files, a hunk that changes only comments, docstrings or formatting is marked 📝 docs only and is not run. Before, it was "not exercised" and got a "check it belongs in this PR" scope note, which was noise on PRs that update a docstring next to a fix (seen on 2 of 5 kornia pull requests replayed through proofcheck). The summary counts code hunks: "1/1 changed code hunk is required by the evidence (1 comment/docstring-only)". result.json and the card's data block gain a docs_only count.

Commits

• 196975b Marketplace: unique action name; release 1.0.2 (#9)
• 57a9963 Marketplace: unique action name; release 1.0.2
• 673690d Diff evidence map: docstring/comment-only hunks are docs only (1.0.1) (#8)
• 0b4f017 Test that reusable workflows default to this release
• d25665c Pin the reusable workflows' default proofcheck-ref to v1.0.1
• eed837e Diff evidence map: mark comment/docstring-only hunks as docs only (1.0.1)
• 8495628 Publish on PyPI as proofcheck-ai (#7)
• c0b9195 CI: match the sdist and wheel by extension
• de7e21a Publish on PyPI as proofcheck-ai
• 9c4d3d1 Package metadata and README for PyPI (#6)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[github-actions]

proofcheck: ⚠️ No evidence found for the PR's claims

Warning

This PR modifies files that control how this check runs (.github/workflows/proofcheck-agent.yml, .github/workflows/proofcheck-comment.yml). The results below were produced by the PR's own workflow run and could have been altered by the PR. Re-run proofcheck after reviewing those changes.

no checkable claims in the PR text · no tests added or changed · 2 files (+2/−2), 1 scope note

Claims

No checkable claims (issue references, performance numbers, "adds tests", "no behaviour change", "backwards compatible") were found in the PR title or description.

Tests: do the changed tests fail before the change and pass after it?

⚠️ No test evidence: this PR does not add or change any test.

Projects: rust (cargo): no tests changed · python (pytest in adapters/python): no tests changed

• The PR does not add or modify any test files.

Scope

• 2 files changed (+2 / −2 lines)
• ⚠️ Changes CI/workflow configuration; review carefully (runs with repository credentials after merge). .github/workflows/proofcheck-agent.yml, .github/workflows/proofcheck-comment.yml

---

_{proofcheck judges evidence, not authorship: it runs the PR's tests on the base and head commits, replays issue reproducers and checks claims against what it measured. It does not guess whether a human or an AI wrote the code. ⚠️ means no evidence, not wrong. Base d21705a → head 98399c2 · proofcheck 1.0.0}