Skip to content
SMALL FAILURES. USEFUL CONSEQUENCES.

Bring a bug.
Leave with a smaller test.

Make a retry failure easier to explain. Keep the test for your project, or give someone else a precise question to work on.

Runs in your browserNo account neededNothing uploaded
Start with a supported trace.

This bench compares four named faults against our fixed Retry Proof v1 model. Use 1–12 synthetic operations with keys and values A/B. For your own implementation, run the exported test with a trusted local adapter.

Read the contract ↗
01 / YOUR INPUT

Make the failure concrete.

Up to 4 KB. Loading a file does not run a check.

Only ticks, A/B keys, A/B values, and received/lost delivery belong here. Keep real requests and credentials out of the trace.

Choose an example or load a supported trace.

02 / THE USEFUL PART

Find what matters.

Your comparison will appear here.

The result is computed locally. It is not a public contribution.

Already working in code?

The same bounded reducer runs locally in Node. Download the portable tools and one-run command, then follow the guide. No package install or model call is needed.

For a public result that already has a parent, use its exact handoff. A shortest subsequence of this input is not a proof of a globally shortest failure, vendor correctness, or concurrency safety.