Thanks a lot Rolf Meeser. This works nicely - just what I have been missing.
It also solves another problem I have been puzzled by:
How to make a transition in the SCT red-state which is always taken? i.e. the transition condition is True always. You could make a pair of transitions in parallel: one taken for !DOWN and the other for DOWN (to use the Blinky namespace). This works, but takes up transition resources. In stead just use the pull-up resistor trick described by Rolf Meeser, on an unused pin (not bonded one is a good choice).
Maybe I can pass on a little gotcha encountered in this process: If you declare your chip pin-out in some way like this
#define DOWN_IN_PIN 12
and extrapolate from GPIO calls like..
Chip_GPIO_SetPinState(LPC_GPIO_PORT, 0, DOWN_IN_PIN, false);
to this IOCON call:
Chip_IOCON_PinSetMode(LPC_IOCON, DOWN_IN_PIN, PIN_MODE_PULLUP);
then it does not work, because the pin-number selector has ANOTHER ENCODING in IOCON than in GPIO !
The correct way is:
Chip_IOCON_PinSetMode(LPC_IOCON, IOCON_PIO12, PIN_MODE_PULLUP);
This is slightly inconvenient when it comes to having maintainable code - it is error prone to change pin-out for instance, as the change must take place multiple locations. One way around would be a look-up table structure to transform from one encoding to the other. Easy enough but it will take resources in the firmware.
Can the number conversion maybe by solved by using some pre-processor macro?
In any case - thanks again to Rolf.