Published paper
Abstract
Selected proof-dependency source recorded for the bounded audit of arXiv:1501.01260v4.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
Exact reviewed source
Frozen exact arXiv:1405.4998v2
Etingof conjecture for quantized quiver varieties II: affine quivers
The current v2 arXiv preprint is marked superseded and is frozen only for historical provenance; the focal paper re-proves its lemma, so no mandatory graph dependency is asserted.
Open audited source ↗01Statements1 reported findingSuspected unsupported statements
Selected claim text and its focal use were checked in the frozen exact versioned source. The source proofs and antecedent citations are outside this bounded first-order shell, so no selected claim is certified merely from its locator.
Claim content and focal mappingStatement located; proof closure not independently verified
Proposition 6.1
arXiv:1405.4998v2, Proposition 6.1, PDF p. 34; Focal arXiv:1501.01260v4, lemma after Proposition 3.8, PDF p. 10.
The proposition is present in the superseded v2 preprint, but the focal manuscript says it supplies the corresponding proof itself. This audit freezes the source for historical provenance only and draws no mandatory graph edge from it. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1405.4998v2 ↗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, lemma after Proposition 3.8, PDF p. 10.
The preprint is superseded and historical only; it is excluded from the mandatory graph.
Frozen exact arXiv:1405.4998v2 ↗03Novelty0 reported findingsNo novelty concerns found
No non-novelty findings.