New Audit Method Tests Whether a Model's Chain of Thought Actually Depends on Its Stated Premises · Polylog