Skip to content

test: align grammar parity coverage - #273

Merged
rlippmann merged 1 commit into
mainfrom
hopefully_last_test_change
Sep 7, 2026
Merged

test: align grammar parity coverage#273
rlippmann merged 1 commit into
mainfrom
hopefully_last_test_change

Conversation

@rlippmann

Copy link
Copy Markdown
Owner

What changed

  • Enforced ASCII-only case-insensitive grammar matching for directive syntax.
  • Added shared conformance coverage for full Unicode casefolding in decision messages.
  • Added shared grammar coverage for opaque change premise values and newline-separated compound attempts.
  • Added shared coverage proving Unicode casefold-equivalent inſtead of is not treated as the replacement delimiter.

Why

The current 0.9 grammar contract uses exact English literals with ASCII-only case-insensitive matching. These tests and the implementation keep Python behavior aligned with that portable contract while preserving Unicode case folding for policy identity and decision messages.

Checklist

  • pre-commit run (uv run pre-commit run --all-files)
  • tests pass (uv run pytest)

@codecov

codecov Bot commented Sep 7, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (01cac9c) to head (483a385).

Additional details and impacted files
@@            Coverage Diff            @@
##              main      #273   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            6         6           
  Lines          783       784    +1     
=========================================
+ Hits           783       784    +1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@rlippmann
rlippmann merged commit fa6075c into main Sep 7, 2026
20 checks passed
@rlippmann
rlippmann deleted the hopefully_last_test_change branch September 7, 2026 18:07
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