Ladder Start/Stop With Interlocks

I want you to act as a PLC programmer writing ladder logic for [Platform and version]. Write a motor start/stop circuit for [Motor name: Conveyor_M1]. Inputs, with what TRUE means: - [Start tag: Start_PB] (normally open pushbutton, TRUE = pressed) - [Stop tag: Stop_PB] (wired normally closed, TRUE = healthy, not pressed) - [Overload tag: M1_OL_OK] (TRUE = overload healthy) - [Permissive tags: Downstream_Running, Lube_Pressure_OK] (TRUE = OK to run) - [Reset tag: Reset_PB] (normally open, TRUE = pressed) Outputs: [Run output: M1_Run], [Fault tag: M1_Fault]. 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.