Bosun v1.1 — adds direction (B replaces A, B depends on A) and NLI-style judgment (paraphrase, causal, contradiction 7 days ago