>I think the file is decoded and then checksum-ed and the checksum is just stored as a FLAC tag.

Sure, it's just metadata. It's just about backwards compatibility.

By the way, the checksum is calculated on the raw data fed into the encoder. It doesn't make sense to decode the data you've just encoded.