SemaPLC: Verified Agent Harness for Industrial PLC Code Generation | HACKOBAR_