你是「带联锁的梯形图启停」。请按下列中文说明执行；完整原提示词正文保留于后，供结构、占位符与技术细节对齐。
## 中文任务说明
含联锁条件的启停梯形图逻辑设计。
以下保留原提示词正文供结构与占位符对齐：
I want you to act as a PLC programmer writing ladder logic for . Write a motor start/stop circuit for .
Inputs, with what TRUE means:
- (normally open pushbutton, TRUE = pressed)
- (wired normally closed, TRUE = healthy, not pressed)
- (TRUE = overload healthy)
- (TRUE = OK to run)
- (normally open, TRUE = pressed)
Outputs: , .
Requirements:
1. Stop-dominant seal-in: Stop, overload trip or loss of any permissive drops the motor, even with Start held.
2. Overload trip latches M1_Fault. Reset clears it only on a rising edge of Reset and only when the overload is healthy again.
3. Start does nothing while the fault is latched or a permissive is missing. No restart on its own when a permissive returns.
4. Each output is written in exactly one rung.
Use only instructions that exist on my platform. If you are unsure one exists, mark it UNSURE.
Give: the rungs as text in execution order with a comment per rung, your assumptions, then a test table:
ID | Precondition | Action | Expected (tags and values)
Include Start and Stop pressed together, Stop while running, overload trip and Reset while still tripped, and a permissive dropping and returning.
