SequenceProof: Turn Bug Traces Into Proof

A bug report can be technically correct and still leave a developer hunting through a dozen unrelated steps. Stateful failures are especially painful: account switches, cached permissions, session changes, and background actions can make the real trigger almost impossible to see. SequenceProof turns that noisy trace into a compact, executable proof. The developer provides a public GitHub repository, an immutable commit SHA, and a reproducing action trace. The repository opts in through a small SequenceProof manifest that defines how its trace should be executed. SequenceProof then creates a disposable Daytona sandbox, checks out the exact commit, runs the original trace, and learns the precise failure ID. Its reduction engine tests smaller candidate traces from fresh repository state. A candidate is accepted only when it reproduces the same failure ID. Execution errors, invalid traces, and unrelated failures are rejected. The final trace is replayed five independent times, the corrected implementation is tested separately, and a bounded one-minimal certificate confirms that removing any single retained step breaks the reproduction. Our live demonstration starts with 12 actions surrounding a stale authorization bug. SequenceProof reduces them to three actions: switch to an admin account, switch to a viewer account, and attempt to read a protected report. All five confirmation runs reproduce STALE_ROLE_AUTHORIZATION with separate run IDs. The corrected implementation returns NOT_REPRODUCED. The browser interface shows the real backend phases, candidate executions, trace hashes, confirmation runs, fixed-path result, and cleanup status. Developers can download the complete JSON evidence for an issue, pull request, or debugging handoff. After every job, the disposable sandbox is destroyed and its deletion is independently verified. SequenceProof is built for developers, QA engineers, maintainers, and teams debugging failures that depend on action order and hidden state. It replaces a vague reproduction story with a short sequence that another engineer can execute, inspect, and trust.