//go:build negative

package main

import "testing"

func TestFalseClaimAckAfterBusinessPreventsDuplicates(t *testing.T) {
	if got := unsafeReplay(); got != 100 {
		t.Fatalf("counterexample: wanted one effect (100), got %d", got)
	}
}