Exact Bilinear Rank of the Weil Form: Effective Nonvanishing Minors, Finite-Rank Corrections, and Target-Rank Obstructions

This AI research artifact presents model-generated candidate-proof results on effective nonvanishing minors, finite-rank correction self-domains, and target-rank obstructions. Vasily Stodolsky directed the workflow, curated the mathematical and verification record, approved this version, and accepts responsibility for its contents. The named material AI systems generated candidate arguments, performed computation and retrieval, audited and revised drafts, supported writing, and prepared release materials.