LTL Guardrail Harness the agent proposes · the automaton disposes