SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation
This work presents \textsc{SemaPLC}, a project-grounded and verification-gated agent harness assembled from conventional tools but governed by a strict completion rule, which raises the mean at every layer and most sharply at runtime.