Troubleshoot
Start at the failed output and walk back through every condition until the cause is in hand. Years of doing this on real PLCs taught me to make the LLM narrate what a deterministic walker already found, so it never reasons about ladder semantics from scratch.