Problem
Example tests cover known inputs but do not systematically exercise semantic invariants
across nearby bounded forms or shrink a newly discovered failure to a small reproducer.
Expected behavior
Add the accepted test-only property dependency and no more than three initial properties:
span integrity, newline normalization, and one highest-risk scanner or parser relationship
selected from an active bug family.
PR settings are deterministic and bounded, health checks are not globally suppressed, and
each real failure is reduced into an owner-local regression test before its production fix
merges. Do not add a scheduled deep profile, fuzzer, or mutation workflow in this issue.
Problem
Example tests cover known inputs but do not systematically exercise semantic invariants
across nearby bounded forms or shrink a newly discovered failure to a small reproducer.
Expected behavior
Add the accepted test-only property dependency and no more than three initial properties:
span integrity, newline normalization, and one highest-risk scanner or parser relationship
selected from an active bug family.
PR settings are deterministic and bounded, health checks are not globally suppressed, and
each real failure is reduced into an owner-local regression test before its production fix
merges. Do not add a scheduled deep profile, fuzzer, or mutation workflow in this issue.