Skip to content

Fix ruff format on AG033 test file - #19

Merged
autonomyproof merged 1 commit into
mainfrom
fix/ruff-format
Aug 4, 2026
Merged

Fix ruff format on AG033 test file#19
autonomyproof merged 1 commit into
mainfrom
fix/ruff-format

Conversation

@autonomyproof

Copy link
Copy Markdown
Owner

The final AG033 test line exceeded the line length; ruff format wraps it. CI runs 'ruff format --check' as a separate gate from 'ruff check', which is what went red on main. Formatting only — no behavior change.

What this changes

Checklist

  • Commits are signed off (git commit -s) — required by CI (DCO)
  • pytest passes (100% branch coverage is enforced)
  • ruff check . and ruff format --check . pass
  • mypy passes

If this adds or changes a detection rule

  • Added a positive test (the rule fires) and a negative test (it does not)
  • Added a positive and negative case to benchmark/corpus.yaml
  • Ran python benchmark/run.py and confirmed no new false positives on the real-repo corpus
  • Registered the rule in rules/registry.py and added standards mappings

The final AG033 test line exceeded the line length; ruff format wraps it. CI runs
'ruff format --check' as a separate gate from 'ruff check', which is what went red on
main. Formatting only — no behavior change.

Signed-off-by: AutonomyProof <info@autonomyproof.io>
@autonomyproof
autonomyproof merged commit 2a236db into main Aug 4, 2026
8 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.

1 participant