A Logic-Based Auditor for Cognitive Sovereignty | Manifund