Hall Effect position sensors are non-contact devices that convert energy from a magnetic field into an electrical signal. This indicates that the lock is powered and that the armature plate is in position and magnetically bonded (it monitors if the magnet is locked).