Published paper
Abstract
Selected proof-dependency source recorded for the bounded audit of arXiv:1501.01260v4.
Role in dependence graphs
Proof-critical source
Bernstein inequality and holonomic modules
This paper is included only for the following marked statement:
- Involutivity theorem · Gabber VOR unavailable; focal arXiv:1501.01260v4 PDF pp. 8, 17Unresolved coisotropicity source.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
Exact reviewed source
Related later published reconstruction; original Gabber source unresolved
Michel Van den Bergh, On involutivity of p-support, International Mathematics Research Notices 2015, 6295–6304
The exact Gabber VOR endpoint returned an HTML client challenge, not a PDF. The frozen related account is reviewed only to identify subject matter and does not verify Gabber's proof.
Open audited source ↗01Statements2 reported findingsSuspected unsupported statements
The exact cited source is unacquired. A later related account was frozen only as a limited fallback; the original source use remains unverified.
Exact source accessExact source not independently verified
Gabber original was not inspected
Gabber DOI 10.2307/2374101; focal arXiv:1501.01260v4, Corollary 3.4 and Appendix 1, PDF pp. 8 and 17
The attempted VOR download is an HTML client challenge, not a PDF. The original theorem is not falsely marked terminal or verified.
Gabber VOR record ↗Related accountRelated source checked; exact source not independently verified
Later reconstruction has limited scope
arXiv:1309.6677v1, PDF pp. 1 and 6; focal arXiv:1501.01260v4, Appendix 1 PDF p. 17
The later paper discusses an extension of Gabber involutivity and a Kaledin route. It is not an audit of Gabber's original proof.
Related frozen arXiv v1 ↗02Proofs1 reported findingFurther proof verification needed
The selected proof route is bounded: the source's own proof dependencies have not been recursively closed in this audit.
Proof boundaryProof closure not independently verified
No recursive closure is claimed
Focal arXiv:1501.01260v4, PDF pp. 8 and 17.
No claim is made about the original proof; the related account is not drawn as an inherited proof edge.
Related later published reconstruction; original Gabber source unresolved ↗03Novelty0 reported findingsNo novelty concerns found
No non-novelty findings.