This engine classifies what kind of mathematical object a problem is
before computing. It recognises number structure, finds shortcuts when they
genuinely apply, and avoids them when they don't. No training loop. No loss
function. The geometry is already there.