Reed Electrical contact
https://ace-wiki.win/index.php/Choosing_Reed_Electrical_Services_LLC_for_Your_Home_Electrical_Needs_51982
That Reed Electrical contact is the one that came with the old barn setup—solid brass, still clicks clean every time the door swings. It's been triggering that secondary light circuit for decades without a hitch.