Update to Continuum

{
  "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."
}