Formal Theory for Post-hoc Debate Judgement in Agentic AI | HACKOBAR_