speedrunpapi v0.6.3: M01–M14 exact math

Eighteen bounded exact mathematical operators. Nine new funded production M05/M07–M14 original-source results and separate independent verifier. Tested across 300 exact cases, 300 altered-certificate rejections, eighteen hosted profiles and nine production jobs. Each research theorem retains its own declared domain.