Auditable tree thinking for Claude Code: every node cites evidence, deferred leaves are banned, and runs stop only on convergence.