Decoding Logic: Mechanistic Interpretability and Circuit Auditing in LLMs | Manifund