Mill atc configuration

See my last post ^. The orient component is not running.

You have a very convoluted logic linking 'spindle.0.locked', 'orient.is-oriented' and 'spindle.0.is-oriented'. Since that is clearly not working I suggest to try with directly connecting 'oreint.is-oriented' to 'spindle.0.is-oriented'.
So change this:# Orient component return that orient is complete
net orient-complete <= orient.is-oriented
net orient-complete => and2.0.in1
net spindle-is-oriented <= and2.0.out
net spindle-is-oriented => spindle.0.is-orientedTo this:# Orient component return that orient is complete
net orient-complete <= orient.is-oriented => spindle.0.is-oriented

For problem 1:
We need to see if 'spindle.0.is-oriented' goes HIGH. Then check if 'spindle.0.orient' goes LOW.

For problem 2:
The wcomp component will output 'wcomp.0.under' = True for wcomp.0.in = 0.
So I would suggest to add a 'and2' component after 'wcomp.0.under'
Change this:

net o_rev wcomp.0.under
net o_fwd wcomp.0.over

To this (don't forget to add 'loadrt' and 'addf' for 'and2.1'):

net o_fwd wcomp.0.over
net wcomp-under <= wcomp.0.under => and2.1.in0
net orient-enable => and2.1.in1
net o_rev >= and2.1.out

That seems to be ok.
Is there still a problem?