feat: 5x vocabulary expansion — 72,557 tokens across 48 provers + 10 math domains

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath