Verificacion Determinista
Reins Engineering — IA con riendas
Harness engineering es una valla. Evita que el agente se salga, pero no garantiza que llegue al destino. Reins Engineering son las riendas: dirigir con contratos deterministas, bloquear con trinquetes, separar decisiones de implementacion.
Hurl detiene la deriva del vibe coding
El vibe coding colapsa por deriva logica en 3 meses. CMU, METR, DORA y Amazon lo demuestran. Declara contratos de API en texto plano con Hurl y bloquealos con un trinquete: se suprime la deriva estructuralmente sin limitar la libertad de la IA.