We don’t perform marking. We only associate the txs of a confirmed block to their header, and the header to its height. Everything else is inferable. And yes, all of the necessary confirmable checks are performed. There is also maturity and bip30 cecks.
