Code:
# ---PLASMA INPUTS---
# ---all modes---
net plasmac:float-switch => db_float.in
net plasmac:breakaway => db_breakaway.in
net plasmac:ohmic-probe => db_ohmic.in
net plasmac:ohmic-sense-in => plasmac.ohmic-sense-in
# ---modes 0 & 1
net plasmac:arc-voltage-in => plasmac.arc-voltage-in
# ---modes 1 & 2
net plasmac:arc-ok-in => db_arc-ok.in
# ---mode 2
net plasmac:move-up <= plasmac.move-up
net plasmac:move-down <= plasmac.move-down
Those are PlasmaC pins and pin names, none of them are hardware pins, so you need to add hardware pins to those HAL pins so they can communicate with the out physical world. Might sound complicated, but is very simple, the fist thing after NET is a pin name = can be any name like my-pin or an actual pin, then there are actual HAL or hardware pins, can be more than one on one line.
in your case
# ---modes 0 & 1
net plasmac:arc-voltage-in PIN.FROM.MESA.ENCODER => plasmac.arc-voltage-in
# ---modes 1 & 2
net plasmac:arc-ok-in PIN.FROM.MESA.INPUT => db_arc-ok.in
Basically just connecting the physical Mesa pin to HAL pin.
P.S.
Let me know if this explanation is helpful or causes more confusion.