Property-Based Test Generator

Design and generate property-based tests for changed files, with self-scoring to ensure quality (24/30+ on the evaluation rubric).

Constraints

• Black-box only — never depend on internal implementation details.
• No trivial properties (type-check-only, no-exception-only are forbidden).
• Minimize assume/filter — express constraints in generators instead.
• Always ensure seed + minimal counterexample reproducibility.

Workflow