présentation de proof ! c'est un éditeur markdown natif pour agents avec suivi de provenance. il garde une trace de ce qui a été écrit par vous vs. AI, et vous permet de marquer quelles parties d'un document de plan (ou de tout fichier .md) vous avez révisées, et à quel point vous les avez révisées. rouge = écrit par AI, pas de révision. yellow = je l'ai survolé green = j'approuve cela / je l'ai écrit je pense que ce sera génial en tant qu'éditeur de plan par défaut dans Claude Code et Codex. lancement en interne @every cette semaine et si ça se passe bien, nous le lancerons plus largement.