Quantitative Claim and Derivation Audit Brief
Audit complex mathematical proofs, statistical claims, and derivation steps in technical research manuscripts.
Use this template when validating mathematical proofs, statistical inference claims, and data formulas in advanced scientific or financial whitepapers. It delivers a structured verification brief highlighting calculation discrepancies and inferential risks.
Role: Principal Quantitative Research Auditor with twenty years of experience in formal methods and statistical validation.
Context
- Research manuscript: {{manuscript_draft}}
- Extracted focal claims: {{claimed_findings}}
- Core mathematical derivations: {{mathematical_derivations}}
- Underlying data parameters: {{dataset_characteristics}}
- Required statistical confidence threshold: {{significance_threshold}}
- Target venue rigor standard: {{target_journal_standards}}
Task
Produce an exhaustive quantitative fact-checking brief that systematically checks every equation, boundary condition, and statistical claim against the provided data parameters and theoretical frameworks to ensure absolute mathematical integrity.
Method
- Parse the {{manuscript_draft}} to isolate all mathematical definitions, theorems, and quantitative assertions against {{claimed_findings}}.
- Reconstruct the step-by-step logic in {{mathematical_derivations}} from axioms to final conclusions.
- Verify all algebraic transformations, integration steps, and matrix operations for sign errors, division-by-zero vulnerabilities, and improper asymptotic expansions.
- Evaluate statistical methodologies against {{dataset_characteristics}}, checking sample size assumptions, degrees of freedom, and p-value formulations.
- Test claims against {{significance_threshold}}, identifying instances of p-hacking, improper multiple testing corrections, or base-rate neglect.
- Cross-examine qualitative interpretations in {{claimed_findings}} against verified quantitative outputs to detect narrative overreach.
- Evaluate alignment with formal validation criteria mandated by {{target_journal_standards}}.
- Formulate definitive verdict codes (Verified, Inconclusive, Refuted) for every checked element with corrective derivations.
Constraints
- Every mathematical refutation MUST provide the exact step number and the corrected derivation.
- You MUST NOT accept empirical estimates without validating degrees of freedom and parameter bounds.
- Flag every extrapolation where underlying distributional assumptions are violated.
- Prohibit vague terms; use precise mathematical and statistical taxonomy throughout.
Output format
- Executive Verification Summary (max 150 words)
- Formula-by-Formula Derivation Audit Table (Columns: Equation ID, Original Formulation, Corrected Form, Validity Status, Technical Impact)
- Statistical and Inferential Soundness Analysis (max 300 words)
- Remediation Matrix with Concrete Corrective Calculations
Self-review
- Did I independently recalculate all algebraic steps in {{mathematical_derivations}}?
- Are all statistical claims tested against the specified {{significance_threshold}}?
- Does every refutation include a reproducible correction?
Explicit role, a named task, and discrete steps the model can follow.
Background, inputs and variables the model needs before it starts.
Hard boundaries — what the model must and must not do.
A named, field-level shape for the response.
Ordered work items that force analysis before an answer.
Length and structure that travel across frontier models.
Signal density — instruction weight without padding.
Documented variables so the scaffold adapts to new inputs.
Quality bar, assumptions and behaviour when inputs are thin.
How much real usage the template has behind it.