{"id":18551,"plugin_id":"plugins_6a86f0bc955881919122c7c2d87da0d9","kind":"skill","collection_source":null,"comparison_source":null,"observed_at":"2026-09-30T23:14:51.397Z","digest":"fa77cafc858baa392561e672ea549f183d9128d8a56da7d4b3b28ccb2725797c","against":null,"payload":{"name":"tester-invariants","description":"Use when a function has stable invariants that can be explored more effectively with generated cases than with a few hand-picked examples.","included_files":[],"skill_md_contents":"---\r\nname: tester-invariants\r\ndescription: Use when a function has stable invariants that can be explored more effectively with generated cases than with a few hand-picked examples.\r\n---\r\n# Tester les invariants\r\n\r\n## Fonction\r\nChercher automatiquement des contre-exemples à des propriétés stables.\r\n\r\n## Procédure\r\n1. Formuler l’invariant indépendamment de l’implémentation lorsque possible.\r\n2. Définir domaine de génération, contraintes et cas pathologiques.\r\n3. Générer des entrées et réduire les contre-exemples trouvés.\r\n4. Reproduire tout échec avec une graine ou un cas minimal stable.\r\n5. Conserver les exemples de régression qui apportent une protection distincte.\r\n\r\n## Preuve\r\nAucun cas généré dans le domaine éprouvé ne viole l’invariant, ou un contre-exemple reproductible est fourni."},"changes":[],"summary":"First saved snapshot. No earlier version is available for comparison.","summary_kind":"deterministic","summary_metadata":{}}