This tool lets you explore how different detector configurations determine which quantum superpositions are physically valid, using the Second and Third Postulate pruning algorithm.
From Aethic Reasoning by Ajax Benander.
Each detector watches some subset of slits (OR logic). Two slits that trigger the exact same set of detectors are observationally indistinguishable and form an equivalence class. The powerset of all slits represents every candidate agreeing superposition. The postulates prune it:
P2 (Second Postulate) removes subsets that are proper subsets of an equivalence class — they assert a specificity the detectors cannot support.
P3 (Third Postulate) removes subsets spanning multiple equivalence classes — the detectors can distinguish members, creating an accessible contradiction (checkmate).
Valid subsets are the empty set and any subset that exactly matches a full equivalence class.