# ChangeProof AI

- **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:** [Raihan Permadi](https://cerebralvalley.ai/u/reyjinnn), [tung khanh](https://cerebralvalley.ai/u/kt_hoang)
- **GitHub:** https://github.com/reyjinnn/ChangeProof-AI
- **Demo video:** https://www.youtube.com/ -we dont reccord yet sorry
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4127

ChangeProof AI investigates, repairs, and independently verifies the impact of software changes.

A seemingly small change, such as an API contract modification, database schema migration, or event payload update, can silently break downstream business workflows. These failures often surface long after the original change is introduced.

ChangeProof makes the full blast radius explicit and verifiable through an end-to-end workflow:
Intent / Issue → Impact Graph → Diagnosis → Coordinated Patch Bundle → Real Execution → Independent Verification → Immutable Evidence → Evidence-Based PR

Demo Overview
This demo showcases a real-runtime scenario involving an order-to-inventory contract break across three services: a storefront, an orders service, and an inventory consumer.
The demonstration follows the complete repair and verification lifecycle:
1. Baseline Validation: The original order-to-inventory workflow executes successfully.
2. Contract Intervention: A requested contract change breaks the downstream consumer, producing an attributable failure.
3. AI Diagnosis: Muse Spark analyzes the failure and generates a structured repair proposal.
4. Candidate Application: The proposed patch is applied against a pinned identity.
5. Independent Verification: A separate verifier re-executes native builds, tests, and human-frozen business assertions in a disposable environment.
6. Deterministic Verdict: The final verdict is calculated exclusively through deterministic policy applied to verifier evidence. The AI model never evaluates or approves its own changes.
7. Reproducible Evidence: Every result is accompanied by an evidence dossier containing pinned identities, exact diffs, executed-check receipts, per-assertion results, and explicitly documented limitations.

What Makes ChangeProof Different
- Evidence-Aware Impact Graph: Every relationship is explicitly classified as proven, inferred, or unresolved. Inferences are never silently promoted to verified facts.
- Independent Evidence Dimensions: Correctness, performance, resilience, and data integrity are evaluated separately rather than averaged into a single score.
- Intermittency-Aware Verification: Flaky or intermittent failures require a pre-registered verification campaign. A single successful run is never sufficient to establish reliability.
- Independent Verification: The AI proposes repairs, but deterministic policies evaluate the evidence produced by an independent verifier.
- Immutable Evidence: Every verification claim is backed by reproducible artifacts and traceable execution records.

Model Execution
Live execution:
The demo uses live Muse Spark inference through the Meta Model API.

Replay execution:
Model proposals in the demo are replayed from recorded Muse Spark traces, while the verifier, execution checks, and evidence generation run live.

## More from Meta Global AI Developer Hackathon

- [WattDocket](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4124)
- [Padhai Saathi](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4125)
- [Runtime Terror](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4126)
- [Rewind Labs](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4128)
- [Team ID: 656295919540867](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4129)
- [Ayai](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4130)

---

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