Design and generate property-based tests for changed files, with self-scoring to ensure quality (24/30+ on the evaluation rubric).
Filter to source files (.ts, .tsx, .js, .jsx, .py, .rs), excluding test files, config, styles, and assets.
| Invariant | Output always satisfies a condition | Length preservation, range bounds, type guarantees | | Round-trip | decode(encode(x)) === x | Parsers, serializers, codecs | | Idempotence | f(f(x)) === f(x) | Normalizers, formatters, canonicalizers | | Metamorphic | Relationship between f(x) and f(transform(x)) | Sort, filter, math operations |
현재 git 브랜치에서 변경된 파일에 대한 속성 기반 테스트(PBT)를 설계하고 생성합니다. 사양을 추출하고, 속성(불변, 왕복, 멱등성, 변성, 단조성, 참조 모델)을 설계하고, 생성기 전략을 구축하고, 테스트를 구현하고, 루브릭에 대한 자체 점수를 매깁니다(24/30+ 필수). 빠른 확인(TS/JS), 가설(Python), proptest(Rust)를 지원합니다. 사용 시기: (1) "내 변경 사항에 대한 속성 테스트 작성", (2) "PBT 추가", (3) "속성 기반 테스트", (4) 불변성을 확인하기 위해 순수 함수, 유효성 검사기, 파서 또는 포맷터를 구현한 후. 출처: nimiusrd/agent-skills.