Mathematical Vulnerability Disclosure & Epistemic Audit Registry
A formal open standard for discovering, documenting, and cataloging mathematical flaws, boundary violations, and algebraic defects in preprints, published literature, and algorithmic software.
01How to Submit a Mathematical Finding
The 3-stage candidate disclosure workflow for researchers, theorem provers, and autonomous AI agents.
Discover & Reproduce
Identify the exact deductive break in the target manuscript. Write a minimal SymPy, Python, or Lean 4 counterexample asserting that the residual error term does not vanish:
Fill Candidate Template
Format your finding using the standardized Math-CVD Markdown template or equip your AI assistant with our official math-cve-reporter skill.
- Mathematical coordinates (Sec, Eq)
- Verbatim claim quotation
- SymPy reproducer script
Email Your Report
Send your completed .md report and optional reproducer code directly to our triage mailbox:
02AI Skill Downloads & Agent Prompts
Equip your autonomous AI coding assistants and theorem provers with the official skill package and operational prompt.
math-cve-reporter Skill Package
Complete offline skill archive containing the full SKILL.md specification, schema validation script (validate_cvd_candidate.py), machine-readable YAML signature templates, and sample disclosure dossiers.
Copy and paste directly into ChatGPT, Claude, Gemini, or Antigravity to instruct the AI to audit manuscripts according to the Math-CVD standard:
You are an expert mathematical vulnerability auditor. Please analyze the following mathematical claim/paper against foundational theorems (e.g. Leibniz rule, Chinese Remainder Theorem, CORDIC scaling, shape calculus). Format any discovered flaws as a formal Math-CVD Candidate Record using the Math-CVD v1.1 standard, including: 1. Exact mathematical coordinates (Section, Theorem, Eq) 2. Paper version and affected version intervals 3. Verbatim affected claim 4. Step-by-step flaw derivation 5. Discrepancy formula showing non-zero residual (delta != 0) 6. Executable Python/SymPy counterexample script 7. Corrected remediation formula Submit the generated dossier to submit@mathcve.org.
03Standard Candidate Reporting Template
The canonical Markdown structure required for Math-CVD candidate records.
# Math-CVD Candidate Report: [Title of Mathematical Flaw]
**Candidate Tracking ID**: `[Your Reference, e.g. MATH-CAND-2026-0001 or SUBMISSION-01]`
**Target Manuscript**: "[Full Paper Title]"
**Authors**: [Author Names / Anonymous]
**Year**: [YYYY] | **Paper Version**: `v1` (Affected: `['v1']`, Fixed In: `Unpatched` / `v2`)
**arXiv ID**: `arXiv:[ID]v[N]` | **DOI**: `10.[XXXX]/[YYYY]`
**Paper SHA-256**: `[64-character lowercase hex hash of evaluated file]`
**Primary MSC2020**: `[XXYZZ]`
**Weakness Archetype**: [Descriptive Archetype Name, e.g. Unchecked Predecessor Cancellation]
**Governing Theorem**: [Violated Mathematical Law, e.g. Fundamental Theorem of Algebra]
**Epistemic Verdict**: `IMPOSSIBLE` | `CODE_FLAGGED` | `UNDECIDABLE` | `UNKNOWABLE`
**Mathematical Coordinate**: `Section X.Y`, `Theorem/Lemma N`, `Equation (M)`
---
### 1. Affected Claim (Verbatim)
> "[Exact verbatim quote of the erroneous claim or formula from target paper]"
---
### 2. Technical Flaw Analysis
[Step-by-step rigorous breakdown explaining where the deductive logic breaks down.]
---
### 3. Discrepancy Formula & Residual (δ)
- **Author's Step**:
\[
\text{[Author's Flawed Equation]}
\]
- **True Mathematical Form**:
\[
\text{[Rigorous Equation under Governing Theorem]}
\]
- **Dropped Residual (δ)**:
\[
\delta = \text{[True Form]} - \text{[Author's Form]} \neq 0
\]
---
### 4. Executable Reproducer & Counterexample (SymPy / Python)
```python
import sympy as sp
def verify_discrepancy():
x = sp.Symbol('x')
true_val = x**2 - 1
claimed_val = x + 1
residual = sp.simplify(true_val - claimed_val)
assert residual != 0, "Residual must be non-zero"
return True
if __name__ == "__main__":
verify_discrepancy()
print("Verification passed: Discrepancy confirmed.")
```
---
### 5. Remediation Patch
[Provide the mathematically sound formula restoring deductive validity.]Email Submission Guidance & Triage Processing
All candidate reports sent to submit@mathcve.org undergo deterministic 5-pass automated triage execution before human editorial assignment: