ReproProof: Proving Bugs Before Fixes

video1.0<iframe src="https://www.loom.com/embed/668948fdcea54445b07b41d12d076685" frameborder="0" width="1920" height="1440" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>14401920Loomhttps://www.loom.com14401920https://cdn.loom.com/os/loom-media-content/loom/edb4c870-b40a-4539-9c2a-d0def9298ce8/051c0225-6e95-483c-a158-c9a523ada741/sessions-thumbnails-668948fdcea54445b07b41d12d076685-f8b63ab53c70eaa2.gif/binary?authToken=eyJraWQiOiJtaWNyb3MtZ3JvdXAvdGRwLW9zLWFyY2hldHlwZS9xcGE2cG03NzRjbzIzZ2w1IiwiYWxnIjoiUlMyNTYifQ.eyJicyI6Imxvb20tbWVkaWEtY29udGVudCIsImF1ZCI6InRkcC1vcy1hcmNoZXR5cGUiLCJuYmYiOjE3OTQyNTU4OTAsInRpIjoiN2JhY2ExN2ItNWQ0Ny00ZDZkLWI4N2MtMzQ1NTJjMmY0M2QzIiwiYWRpIjoibG9vbS9sb29tIiwiaXNzIjoibWljcm9zLWdyb3VwL3RkcC1vcy1hcmNoZXR5cGUiLCJwaWQiOiIzMmZmY2RhMS04MTdjLTQ3MTYtYTEwNC1lY2Q3MTk5ODgxNDAiLCJ3YSI6ImZhbHNlIiwib2lkIjoic2Vzc2lvbnMtdGh1bWJuYWlscy02Njg5NDhmZGNlYTU0NDQ1YjA3YjQxZDEyZDA3NjY4NS1mOGI2M2FiNTNjNzBlYWEyLmdpZiIsImV4cCI6MTc5NDI1NjQ5MCwiaWF0IjoxNzk0MjU1ODkwLCJqdGkiOiJjYTQ0NDdkMy0zZjNhLTQyOGYtYjg3NS04MThjNjc0OTlkMWMifQ.uBWCjoI36oZWJEBeAqKgRWjAiezBRnBkOGLpMSXf13vQ-g3zrveDF4oXLuQLR5svlDr8EW7iFrwpumyeJ2EBHN7FlG5Ko98oqkgT5d8jmxl4cXT_N300jkUfOUV4_WNeCFIOmgGI-_PLB9LaHrLNtvhJ64PKESsMxI0GZ-XobdVZnx253oxin4G2ZoqGx-G4mtYNFSQbfhugIe-wrtwRmqteRSVTaU2hP9xp8vRgIvQnGbOQu1CJpGPDw5x26Q-0n6bhJO7ZqDFB6Gsfpza0RzRU37JjVGdMDN6Ad5Kz1RPh_E0gO-nm-m8R4ZVDdxehE71ZcIFiDBuc8kw9DdvTzg&Expires=1794256490&Signature=kzMurYxoKtBAM6Ck4ch5aPJzrFFd9PX27KnGkcEbu7MFKfdWMQ5wY42jBKpMe82xVfPDwnIJ954unIdbqGSeEZSrCWaYBkSyarAAY6NnelEXsqkCKeyDgaIylZfKTwDlBVsyIMo6RMFshx6YrRykuBuzITuIeqdFBEaChf2dkfR22j00Tg7JbUhA2pJLr%7E9xRDDYyI4hFA6rlXuCu-8GEh5jPuAyai4go71I9TWZosBOckDGJS2pfw8azeKyQHHl6FIsPDqfPD1K43-Jx9YSeU9mDlxFfjC9btzGvQJGLld3u6R02lByKiBvbatQRMvn6giMZqlctcIy2D8NsexAJQ__&Key-Pair-Id=KQOSYIR44AIC0144.554667ReproProof: Proving Bugs Before FixesThis Loom explains ReproProof, a system designed to prevent AI coding agents from fixing bugs without proving they exist or that the fix works. It describes a controller architecture between Meta’s MuSpark model and the codebase, where the model proposes changes and the controller owns state changes. In a seeded Bitbucket allowlisted demo environment, the controller compiled a generated Playwright test, ran it in real Chromium, and the intended assertion failed, reproducing the bug. The process requires human approval before any patch is attempted, then hashes approved patches with SHA-256; the current status is unresolved because the machine lacked a sandbox, so no patch ran after one attempt.