Where the sources disagree or the structure was guessed, ranked. 57 items · 4 warn · 53 info. In v1 these are paper-internal; Lean-vs-paper rows arrive in Phase 2.
| Severity | Kind | Node | Note | Source |
|---|---|---|---|---|
| warn | unresolved_ref | The passage from curve positivity to jets invokes external blowup, ampleness, eventual Rees pushdown, and vanishing results. | sections/interpolation.tex:24 | |
| warn | unresolved_ref | The slice-length upper bound uses polynomial Bézout with isolated local multiplicities, cited externally at interpolation.tex:162–167. | sections/interpolation.tex:72 | |
| warn | unresolved_ref | The normal-basis contradictions use the crucial weight-separation inequality established in unlabeled setup at interpolation.tex:195–214. | sections/interpolation.tex:241 | |
| warn | unresolved_ref | The collision-scale limit uses the unlabeled simplex row count at determinant.tex:69–81. | sections/determinant.tex:353 | |
| info | inferred_dep | The proof invokes , the arithmetic error E_ar defined in Lemma 3.1 (det:arithmetic). | main.tex:64 | |
| info | inferred_dep | The proof invokes , the bound from the translation lemma (Lemma 3.2, det:translation). | main.tex:64 | |
| info | inferred_dep | critique: The interpolation theorem’s blowup argument invokes the curve inequality to prove its nef bound (sections/interpolation.tex:499–517). An internal claim has this edge, but the theorem node does not. | sections/interpolation.tex:24 | |
| info | structure_uncertain | Its proof has no proof environment: center-independent weights are constructed at interpolation.tex:180–214, and §2.3 completes the argument at lines 429–584. | sections/interpolation.tex:24 | |
| info | inferred_dep | critique: The collision lemma explicitly chooses rows from the expansion in Lemma 3.2 (sections/determinant.tex:267–270). | sections/determinant.tex:267 | |
| info | inferred_dep | critique: The generalized corollary reuses the nearest-multiple grouping from the preceding corollary’s proof (sections/series.tex:130–135; see lines 66–87). | sections/series.tex:97 | |
| info | inferred_dep | outline: "Dimension separates errors from collision savings" rests on claim-thm-main-1 | sections/conclusion.tex:66 | |
| info | inferred_dep | outline: "Approximants meet center-independent weight thresholds" rests on claim-thm-main-1 | sections/conclusion.tex:97 | |
| info | inferred_dep | outline: "Approximants meet center-independent weight thresholds" rests on claim-thm-main-2 | sections/conclusion.tex:97 | |
| info | inferred_dep | outline: "Combined error margins contradict determinant comparison" rests on claim-thm-main-1 | sections/conclusion.tex:117 | |
| info | inferred_dep | outline: "Combined error margins contradict determinant comparison" rests on claim-thm-main-2 | sections/conclusion.tex:117 | |
| info | inferred_dep | outline: "Combined error margins contradict determinant comparison" rests on claim-thm-main-3 | sections/conclusion.tex:117 | |
| info | inferred_dep | outline: "Combined error margins contradict determinant comparison" rests on det:arithmetic | sections/conclusion.tex:117 | |
| info | inferred_dep | outline: "Combined error margins contradict determinant comparison" rests on det:translation | sections/conclusion.tex:117 | |
| info | inferred_dep | outline: "Combined error margins contradict determinant comparison" rests on det:collision | sections/conclusion.tex:117 | |
| info | inferred_dep | outline: "Exact approximations exclude rationality" rests on claim-thm-main-4 | sections/conclusion.tex:136 | |
| info | inferred_dep | outline: "Pigeonhole gives unbounded quadratic approximants" rests on claim-thm-main-5 | sections/conclusion.tex:144 | |
| info | inferred_dep | outline: "Pigeonhole gives unbounded quadratic approximants" rests on claim-thm-main-4 | sections/conclusion.tex:144 | |
| info | inferred_dep | outline: "Projective degree matches weighted curve degree" rests on claim-geom-interpolation-1 | sections/interpolation.tex:429 | |
| info | inferred_dep | outline: "Algebraic ideals encode weighted branch contact" rests on claim-geom-interpolation-1 | sections/interpolation.tex:457 | |
| info | inferred_dep | outline: "Curve inequality makes blowup class nef" rests on claim-geom-interpolation-2 | sections/interpolation.tex:487 | |
| info | inferred_dep | outline: "Curve inequality makes blowup class nef" rests on claim-geom-interpolation-3 | sections/interpolation.tex:487 | |
| info | inferred_dep | outline: "Curve inequality makes blowup class nef" rests on geom:curve-inequality | sections/interpolation.tex:487 | |
| info | inferred_dep | outline: "Nef margin makes target divisor ample" rests on claim-geom-interpolation-4 | sections/interpolation.tex:518 | |
| info | inferred_dep | outline: "Vanishing and projective sections generate jets" rests on claim-geom-interpolation-2 | sections/interpolation.tex:536 | |
| info | inferred_dep | outline: "Vanishing and projective sections generate jets" rests on claim-geom-interpolation-3 | sections/interpolation.tex:536 | |
| info | inferred_dep | outline: "Vanishing and projective sections generate jets" rests on claim-geom-interpolation-5 | sections/interpolation.tex:536 | |
| info | inferred_dep | outline: "Weighted Bezout caps slice intersection length" rests on claim-geom-multiplicity-1 | sections/interpolation.tex:137 | |
| info | inferred_dep | outline: "Excess contact produces auxiliary polynomial" rests on claim-geom-interpolation-1 | sections/interpolation.tex:251 | |
| info | inferred_dep | outline: "Low-cost derivatives vanish along curve" rests on claim-geom-curve-inequality-1 | sections/interpolation.tex:268 | |
| info | inferred_dep | outline: "Persistent component constrains normal bases" rests on claim-geom-curve-inequality-2 | sections/interpolation.tex:298 | |
| info | inferred_dep | outline: "Persistent component constrains normal bases" rests on claim-geom-interpolation-1 | sections/interpolation.tex:298 | |
| info | inferred_dep | outline: "Logarithmic residues force constant Y" rests on claim-geom-curve-inequality-3 | sections/interpolation.tex:327 | |
| info | inferred_dep | outline: "Logarithmic residues force constant Y" rests on claim-geom-interpolation-1 | sections/interpolation.tex:327 | |
| info | inferred_dep | outline: "Fiber polynomial retains derivative vanishing" rests on claim-geom-curve-inequality-2 | sections/interpolation.tex:368 | |
| info | inferred_dep | outline: "Fiber polynomial retains derivative vanishing" rests on claim-geom-curve-inequality-4 | sections/interpolation.tex:368 | |
| info | inferred_dep | outline: "Fiber polynomial retains derivative vanishing" rests on claim-geom-interpolation-1 | sections/interpolation.tex:368 | |
| info | inferred_dep | outline: "Separated normals isolate one center" rests on claim-geom-curve-inequality-5 | sections/interpolation.tex:388 | |
| info | inferred_dep | outline: "Separated normals isolate one center" rests on claim-geom-interpolation-1 | sections/interpolation.tex:388 | |
| info | inferred_dep | outline: "Single-center zero-pole count contradicts excess" rests on claim-geom-curve-inequality-6 | sections/interpolation.tex:414 | |
| info | inferred_dep | outline: "Single-center zero-pole count contradicts excess" rests on claim-geom-curve-inequality-1 | sections/interpolation.tex:414 | |
| info | inferred_dep | outline: "Single-center zero-pole count contradicts excess" rests on claim-geom-interpolation-1 | sections/interpolation.tex:414 | |
| info | inferred_dep | outline: "Truncation tails consume limited weight" rests on claim-det-translation-1 | sections/determinant.tex:224 | |
| info | inferred_dep | outline: "Approximation errors control coefficients and count" rests on claim-det-translation-1 | sections/determinant.tex:232 | |
| info | inferred_dep | outline: "Approximation errors control coefficients and count" rests on claim-det-translation-2 | sections/determinant.tex:232 | |
| info | inferred_dep | outline: "Simplex counts calibrate expanded determinant" rests on geom:interpolation | sections/determinant.tex:372 | |
| info | inferred_dep | outline: "Many light indices force collisions" rests on claim-det-comparison-1 | sections/determinant.tex:393 | |
| info | inferred_dep | outline: "Many light indices force collisions" rests on det:collision | sections/determinant.tex:393 | |
| info | inferred_dep | outline: "Many heavy indices force approximation saving" rests on claim-det-comparison-1 | sections/determinant.tex:403 | |
| info | inferred_dep | outline: "Many heavy indices force approximation saving" rests on claim-det-comparison-2 | sections/determinant.tex:403 | |
| info | inferred_dep | outline: "Many heavy indices force approximation saving" rests on det:translation | sections/determinant.tex:403 | |
| info | inferred_dep | outline: "Either saving defeats arithmetic lower bound" rests on claim-det-comparison-2 | sections/determinant.tex:418 | |
| info | inferred_dep | outline: "Either saving defeats arithmetic lower bound" rests on claim-det-comparison-3 | sections/determinant.tex:418 |