ci: pin proofcheck to v1.0.0

[bhaskargurram-ai]

proofcheck 1.0.0 is released (PyPI: proofcheck-ai). Pins the reusable workflows and proofcheck-ref from the v1.0 branch to the immutable v1.0.0 tag.

🤖 Generated with Claude Code

https://claude.ai/code/session_017bQP5nwJVPMXqMhewzhQv5

---

Generated by Claude Code

[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, .github/workflows/proofcheck.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 · 3 files (+8/−8), 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

• 3 files changed (+8 / −8 lines)
• ⚠️ Changes CI/workflow configuration; review carefully (runs with repository credentials after merge). .github/workflows/proofcheck-agent.yml, .github/workflows/proofcheck-comment.yml, .github/workflows/proofcheck.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 8fb474b → head b523c9a · proofcheck 1.0.0}