property-test-generator

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 |

تصميم وإنشاء اختبارات قائمة على الخصائص (PBT) للملفات التي تم تغييرها في فرع git الحالي. يستخرج المواصفات، ويصمم خصائص (الثوابت، ذهابا وإيابا، الاختلال، المتحولة، الرتابة، النموذج المرجعي)، ويبني استراتيجيات المولدات، وينفذ الاختبارات، والنتائج الذاتية مقابل نموذج تقييم (يتطلب 24/30+). يدعم الفحص السريع (TS/JS)، والفرضية (Python)، والبروستست (Rust). يُستخدم عندما: (1) "كتابة اختبارات الخصائص لتغييراتي"، (2) "إضافة PBT"، (3) "اختبار قائم على الخاصية"، (4) بعد تنفيذ وظائف خالصة أو أدوات التحقق من الصحة أو المحلل اللغوي أو المنسقات للتحقق من الثوابت. المصدر: nimiusrd/agent-skills.