Based on the explanation, cuckoo filters need to reject inserts that would break the invariants, which the demo doesn't seem to do.

You are right that deletion from a probabilistic filter is sort of weird, because it is possible to delete something that never existed if it happens to exist as a false positive. If you can guarantee that the false deletion doesn't happen, then it should work as expected. There are variants of bloom filters that can do this as well.