Monitoring that a relay has contacted

Hello,
I have an output signal to a relay, and an input signal from the other side of that relay (to confirm that the relay had contacted or not). Is there a way in HAL (besides writing my own comp) to monitor the input signal and make sure it matches the output signal within a timeframe, and otherwise signal an error if the signals don't match?
Thanks in advance!

For a safety mechanism; the output signal controls 3 relays (which controls the spindle motor & misc circuits), and the input signal is basically all of those relays wired together, so if any of them stops working, I want everything to stop and error out. Thanks for the tip about timedelay--I ended up using a combination of xor2 and ton comps to get the effect I wanted:

I already have those set to the individual drive error/fault output pins, so I ended up adding a names_misc_errors, which according to the docs, does the same thing.

Using a safety relay with the estop external to Linuxcnc would be a better solutio.
If you used force guided relays as part of the estop circuit, you should not have an error. These relays have a pin that is forced into the contacts to force them apart. But you should have redundancy so two relays (probably in series) are used and both must be triggered.

 

Thanks for the tip about safety relays--never knew they were a thing. I'm converting an existing mill (Emco concept mill 55) that uses a three-relay combo (K1/K2/K3). And the PLC file for the mill has a check to ensure that when the relays are commanded "on" that their outputs are "on" and vice-versa, so I'm just trying to add in that extra level of safety to LinuxCNC as well.