Event delivered
The exact fixture event enters a patch that looks green under ordinary checks.
- Existing pytest suiteloading…
- Ordinary sequential duplicateloading…
- Delivered event
loading…
Evidence binding
No behavioral claim is shown until the benchmark and run manifest validate against each other.
CrashCheck verdict
FAIL · CANDIDATEThe incomplete patch still produces a durable duplicate after kill and replay. It passed its own tests; the database says the money moved twice.
—
—
Exact committed receipt · sqlite-credit-v1
A plausible idempotency patch passed its existing test and an ordinary duplicate retry. Nemisis killed the worker inside the commit window, replayed the identical event in a fresh process, and observed a durable double credit.
Steps through the five recorded beats, then reveals the recorded LOCAL fixture receipt. The browser does not run code or contact Token Factory.
loading exact receipt…loading exact receipt…The exact fixture event enters a patch that looks green under ordinary checks.
loading…The side effect is durable while the processed marker is still absent.
1 trusted operationREPRODUCED2 trusted operationsNOT REPRODUCEDNo-crash control: the base also delivered the same event twice with no kill, in two fresh worlds, and ended exactly once both times. The duplicate needs the crash: this is a crash/retry bug, not a handler that is simply wrong.
The process group dies after the durable effect and before the marker.
SIGKILLLoading kill receipt…
Loading post-kill durable probe…
A distinct worker and IPC session replay the identical event.
The frozen capsule rejects the incomplete patch and survives the corrected atomic revision.
——Recorded evidence · LOCAL · FIXTURE
This action revealed already-recorded evidence bound to the source SHA above. It did not start a local process, a cloud Sandbox, or a model request.
loading…loading…loading…loading…What this page is not. It is not a live Token Factory or Sandbox run, not a general proof of retry safety, and not a claim about any repository other than the audited sqlite-credit-v1 fixture. Every number above is read from the committed benchmark and run manifest and cross-checked before anything is shown.