1. Disciplinas de Desarrollo

1. RED (Test Falla)
   └─> Escribir test mínimo que falle
       Ejemplo: test_user_can_login()

2. GREEN (Test Pasa)
   └─> Código mínimo que pase el test
       Puede ser "feo" o hardcoded

3. REFACTOR (Mejorar)
   └─> Limpiar sin cambiar comportamiento
       Extraer funciones, eliminar duplicación

4. REPEAT
   └─> Siguiente test

Feature: Autenticación de usuario
  Como usuario registrado
  Quiero iniciar sesión con email y contraseña
  Para acceder a mi cuenta

  Scenario: Login exitoso con credenciales válidas
    Given un usuario registrado con email "user@example.com"
    And contraseña "SecurePass123"
    When el usuario intenta iniciar sesión
    Then el sistema debe autenticar al usuario
    And redirigir al dashboard

  Scenario: Login fallido con contraseña incorrecta
    Given un usuario registrado con email "user@example.com"
    When el usuario intenta iniciar sesión con contraseña "WrongPass"
    Then el sistema debe rechazar la autenticación
    And mostrar mensaje "Credenciales inválidas"

from hypothesis import given, strategies as st

# Propiedad: ordenar dos veces debe ser idempotente
@given(st.lists(st.integers()))
def test_sort_idempotent(lista):
    sorted_once = sorted(lista)
    sorted_twice = sorted(sorted_once)
    assert sorted_once == sorted_twice

# Propiedad: revertir dos veces retorna al original
@given(st.text())
def test_reverse_involution(texto):
    assert texto == texto[::-1][::-1]