# SHOULD.md verificable

Este documento separa obligaciones, expectativas y comportamientos opcionales para que el equipo no confunda una buena intención con un contrato operativo.

## MUST

- Toda run debe tener `run_id`, `trace_id`, `release_id` e `idempotency_key`.
- Toda salida externa debe validar contrato antes de publicarse.
- Todo cambio debe tener rollback conocido.
- Toda incidencia debe producir caso de regresión si descubre un fallo nuevo.

## SHOULD

- La respuesta debería citar evidencia cuando use RAG.
- El router debería elegir la ruta más barata que cumpla contrato.
- La observabilidad debería evitar guardar payloads sensibles completos.
- El gate debería explicar qué métrica bloquea una release.

## MAY

- El sistema puede degradar a modo solo lectura.
- El sistema puede pedir revisión humana si falta evidencia.
- El sistema puede aplazar una acción si el presupuesto de error está consumido.

## Cómo se valida

```bash
python3 ops/operable_kit.py --write
cat output/operable_kit_decision.md
python3 -m json.tool output/operable_kit_report.json
```

La validación no busca retórica: busca evidencia de que cada MUST tiene una comprobación o una salida auditable.