These experiments use Stim to study stabiliser circuits, surface codes, and decoding.
Fig. 1A decoder sees only the four lit checks, and its correction differs from the errors yet cancels them. An illustrative error pattern on a d = 5 rotated surface code. The matching is an exhaustive minimum-weight pairing computed for this figure, not Stim or PyMatching output.
