I have a simple Microphone class which conforms to @Observable, with public properties that trigger red