Verification Deterministe
Reins Engineering — L'IA avec des renes
Le harness engineering est une cloture. Il empeche l'agent de sortir, mais ne garantit pas qu'il atteigne la destination. Reins Engineering, ce sont les renes — diriger avec des contrats deterministes, verrouiller avec des cliquets, separer les decisions de l'implementation.
Hurl stoppe la derive du vibe coding
Le vibe coding s'effondre sous la derive logique en 3 mois. Les cas CMU, METR, DORA et Amazon le prouvent. Declarez des contrats API en texte brut avec Hurl et verrouillez-les avec un cliquet -- supprimez la derive structurellement sans limiter la liberte de l'IA.
Le code a cliquet qui retourne IFEval a son avantage
Le biais de flagornerie des LLM n'est pas un defaut mais un atout. En combinant la capacite de suivi d'instructions mesuree par IFEval avec un retour deterministe, meme un modele local de 4.5B produit une boucle de convergence generant du code correct.