resolve research

cross-domain quantitative work — verification infrastructure, analytic number theory, and sports analytics. built honestly, tested against falsification.