artifacts/claim5/method.md

Paper Claim 5 method

The independent checker uses the analytic first derivative of the Gaussian privacy curve. Tangent dominance is checked on 12,000 left-grid points and convexity by monotonicity of the analytic derivative on 12,000 right-grid points. This differs from the retained central-second-difference checker. An out-of-regime mutation at epsilon=1,delta=0.9 must fail.