Interaction logging is on by default. Your proof steps are recorded locally so you can export them for review. You can turn this off in ⚙️ Settings.