Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations

Grounded Continuation is a linear-time runtime verifier for LLM conversations that maintains explicit dependency graphs using 8 update operations from dynamic epistemic logic and argumentation theory to detect context-manipulation attacks.