Circuits

Occasionally a computation can be followed all the way through: these heads attend here, that writes this to the residual stream, and the behaviour follows. Circuits are the existence proofs that the rest of interpretability argues from.