Soybean cultivar 21040068
Pith reviewed 2026-05-21 17:01 UTC · model grok-4.3
The pith
Patent claims a distinct soybean cultivar 21040068 with deposited representative seed under NCMA Accession No. 202409040.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A plant of soybean cultivar 21040068, representative seed of said soybean cultivar having been deposited under NCMA Accession No. 202409040.
Load-bearing premise
The deposited seed lot is genetically stable, uniform, and distinct from all previously known soybean cultivars, satisfying the legal requirements for plant variety protection.
read the original abstract
1 . A plant of soybean cultivar 21040068, representative seed of said soybean cultivar having been deposited under NCMA Accession No. 202409040.
Editorial analysis
A structured set of objections, weighed in public.
Circularity Check
No significant circularity; claim reduces to verifiable deposit
full rationale
The document is a U.S. plant patent whose sole claim is the administrative fact of seed deposit under a named accession number. No equations, fitted parameters, derivations, or self-citations exist. Distinctness, uniformity and stability are established externally by the deposited material itself rather than by any internal logical reduction. This is the normal, non-circular case for a variety-protection filing.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption A deposited seed sample constitutes enabling disclosure and legal definition of a stable, distinct soybean cultivar.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A plant of soybean cultivar 21040068, representative seed of said soybean cultivar having been deposited under NCMA Accession No. 202409040.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.