ROADMAP SAFETY / FUTURE-CAPABILITY REGRESSION
Regression testing for future features
Normal CI tells you whether today still works. Roadmap Canary checks whether a committed future capability still has a demonstrated implementation path after a code change.
Verified replay
This page replays saved, verified Roadmap Canary runs. No credentials or IBM Bob API key are required.
This page replays saved, verified Roadmap Canary runs. No credentials or IBM Bob API key are required.
Demo A — Provider API refactor
demo/path-changed-safe · base main
Verified run: this animation replays preserved evidence; it does not call IBM Bob live.
1
BASE witness
Does the accepted proof still work on main?
Ready
2
Change witness
Replay the same known path on the proposed change.
Ready
3
IBM Bob Rescue
Search for a replacement implementation path in an isolated worktree.
Ready
4
Deterministic verification
Human-approved tests, protected verifier inputs, dependencies, and proof budget.
Ready
Choose a scenario, then replay the analysis.
PATH CHANGED - SAFE
IBM Bob + deterministic verifier
Verification evidence
Proof budget
Human-approved contract
The team decides what future capability matters, which verifier inputs are trusted, and how large a replacement proof may be.
Bob proposes
IBM Bob receives the failed known path and searches for a replacement candidate in a bounded, isolated Rescue workspace.
Roadmap Canary verifies
Bob never declares success. The final verdict comes from deterministic checks anchored to the approved BASE state.
Normal CI protects today’s behavior. Roadmap Canary protects tomorrow’s options.
Hackathon demo · KGS-ML