--- name: pruebas-propiedades description: Formula invariantes que deben mantenerse con muchas entradas. Úsalo cuando la consulta trate pruebas propiedades. --- # pruebas propiedades Formula invariantes que deben mantenerse con muchas entradas. ## Comprobación decisiva Busca contraejemplos útiles. ## Conexiones - Si necesitas la comprobación vecina, abre [pruebas-integracion](../../ingenieria-software/pruebas-integracion/SKILL.txt). - Para validar premisas, abre [evidencia-y-fuentes/identificar-afirmaciones](../../evidencia-y-fuentes/identificar-afirmaciones/SKILL.txt). - Aplica el [protocolo de evidencia](../../PROTOCOLO-EVIDENCIA.txt) a afirmaciones factuales; este skill no es una fuente de hechos. Usa estas conexiones solo si aportan a la pregunta. Distingue lo observado de lo inferido y declara datos faltantes.