Where in the source code are transaction validation checks implemented?

I understand that consensus (mining) and transaction validation are different concepts. Correct me if I’m wrong, but I believe each full node validates transactions and puts the valid ones into its own memory pool. Miners select transactions from the mempool and carry out the mining/consensus process to create a block.

Are there additional checks carried out by miners? If so, where are they in the Bitcoin source code? So far, I’ve found that transaction validation is carried out by some functions in main.cpp like AccepttoMemoryPool, while mining is implemented in miner.cpp. However, miner.cpp apparently also contains some checks.

Article source: “https://bitcoin.stackexchange.com/questions/79979/where-in-the-source-code-are-transaction-validation-checks-implemented”