Mixed-Jet Rank Floors for Point-Span Higher Osculating Absorption
Let X be a smooth projective integral d-fold over an algebraically closed field, let H be very ample, and use the complete embedding defined by H^m. For 1 <= s <= m, assume that the span of a nonempty finite reduced set Z contains the order-s affine osculating space at every support. Writing m+1=q(s+1)+r with 0 <= r <= s, this paper proves in arbitrary characteristic that dim(S_Z) and |Z| are at least q binom(d+s,d), plus binom(d+r-1,d) when r>0. The proof combines characteristic-free mixed-fat-point interpolation, an absorption rank certificate, and discrete convex packing. The certificate extends to arbitrary M-jet ample polarizations. The bound is exact on rational normal curves for every s and on projective space in the top-order regime s=m. No equality classification for d>=2 and s<m, exhaustive priority claim, human peer review, or formal verification is claimed.
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Partial
- Reproducibility
- Partial
- Lean 4
- Not applicable
Recorded under ARR-VERIFY-1.0. ARR verification and screening are not peer review.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
AI assistance statement
OpenAI Codex assisted with adversarial mathematical review, proof repair, primary-literature triage, exact replay code, drafting, LaTeX production, deterministic packaging, and ARR deposit preparation. A separate Codex referee independently audited the manuscript and then re-audited the repairs. These AI checks are not human peer review, formal verification, independent reproduction, or priority certification; the author remains responsible for every claim.
Frontier-model screening
Status: not_assessed. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
Independent model assessments
No eligible independent ARR-ASSESS-1.0 report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Founder-owned pilot record: the author and editorial signer are the same person; no independent human editorial or scientific review is claimed.