# SK43238

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Shubham Kumar](https://cerebralvalley.ai/u/shubzk17)
- **GitHub:** https://github.com/shubZk17/ReproProof
- **Demo video:** https://www.loom.com/share/668948fdcea54445b07b41d12d076685
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3105

ReproProof: no proof, no fix.

AI coding agents often "fix" bugs without proving the bug existed or that the fix works, and some will edit the test until it passes. ReproProof places a controller between the model and the codebase. The model only proposes; the controller owns every state change.

How it works
1. Reproduce. Meta's Muse Spark (muse-spark-1.3) reads a bug report and returns a structured plan. The controller compiles that plan into a data-only Playwright test, so no model-written code runs, and executes it in real Chromium. A run counts as reproduced only if it fails on the intended assertion. A timeout, locator error or server failure does not count.
2. Human approval freeze. A human approves that exact failing test, and it is frozen with SHA-256. No patch is requested before approval.
3. Repair. The model proposes a patch that may only touch allowed source paths. Patches that touch tests, configs, assertion helpers, package scripts or manifests, or exceed the size limits, are rejected.
4. Check. The patch is applied with git apply to a fresh copy of the app. The controller reruns the byte-identical frozen test and the regression suite, then checks provenance. The only success status is passes_frozen_test. The evidence bundle is rebuilt from the run record, with every artifact re-hashed.

## More from Meta Global AI Developer Hackathon

- [DeLuca Industries](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3102)
- [MusePort](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3103)
- [Ra](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3104)
- [Git Happens](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3106)
- [Voidzone](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3107)
- [SamCodes](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3108)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3105. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt