proof-runlisted

# Proof Run Nos autres gates prouvent des invariants statiques : safety-net fige le comportement, cleanup-pass garantit « aucune nouvelle failure », ship-check audite le code. Aucun ne répond à la question de l'utilisateur final : **la tâche marche-t-elle vraiment ?** proof-run y répond en pilotant l'app qui tourne — preuve, pas promesse. Deux rôles, jamais confondus : - **L'orchestrateur (toi)** : monte la stack, corrige, relance, livre. - **Le vérificateur (sous-agent frais, lecture seule)** : n'a pas écrit le code, pilote l'app, juge observé vs attendu. Le verdict « ça marche » appartient au vérificateur seul — jamais à celui qui a écrit le code. ## 0. Préflight - Branche de travail (jamais la branche par défaut), changements commités. - **Stack** : découvrir la commande de démarrage et l'URL/port dans le repo (scripts package.json, Makefile, Procfile, docker-compose). Les noter dans `.proof-run/stack.md` — cache re-vérifié à chaque run (la commande démarre, le port répond), jamais cru sur parole. - `evidence/` et `.proof-run/` dans `.gitignore`. - **Critères d'acceptation** : depuis la spec ou le plan s'il en existe un, sinon formuler l'intent en « un utilisateur peut désormais <action> et observe <état de succès> ». Sans état observable formulable → stop, demander à l'utilisateur. ## 1. Driver - **Web** → `agent-browser` (open / screenshot / snapshot) sur l'URL locale. - **API** → curl ; corps de réponse + status en preuve. - **CLI** → le binaire c