Bugs crawl out of the chip and come down the board. The harness fires on its own: steer it, chain kills for a multiplier, and catch what the bugs drop. A chip is fuzzed once its clock runs out and its errata boss is dead. Every chip brings a new floorplan, a new kind of bug, and a shop where points buy harness upgrades. Bugs that get past you cost points, and every fifth one a life.

Values leave the core and travel the wires of the die to its ports. Some are secret. Pick a tower from the bar at the top and tap the board to place it: trackers and sniffers tag tainted values in range but hold only a few tags before you tap them to flush, scrubbers take one value outright and recharge, beacons slow values, and flushers refill the towers around them. Each wave starts with a build phase. Tainted values steer for thin coverage, come in packs, and later jam the trackers around them. A few hand scrubs are there for emergencies. Every wave brings more, and opens a shop.

The trace runs through the state space one state per cycle and never stops. Switch lanes to reach the assertions and to dodge unreachable states, bound walls, and the counterexamples that hunt the trace; hop to skip a state. The solver budget runs down and every assertion tops it up; a timeout costs a trace. Enough assertions prove a bound and open a shop; every bound runs faster and brings a new trick.

Aggressors hammer the rows of a DRAM bank, and a row that gets too hot flips its bits. Weak rows flip early. Refresh a row before that happens: you have three refreshes at a time, and each takes a second to come back. The hammered row itself stays refreshed by the hammering. Its neighbours take the heat. Hold a bank for forty seconds to clear it. Every bank adds rows, aggressors, and hammering patterns, and opens a shop selling countermeasures.