x
Is there existing work on treating continuity and halting as first-class constraints in long-horizon LLM interaction? — LessWrong