BM25 and optional dense retrieval over the symbol vocabulary, index-tree descent and the hybrids of those, query planning, token budgets, and citation verification for answers.