## Problem 021 — rank:265

**Title:** Human gene catalogue under explicit annotation criteria

**Added binding assumptions (LaTeX):**

```latex
Freeze the locus-equivalence rule, transcript/translation thresholds, assembly version and sampled tissue universe before defining $G^*$. A finite upper bound on missed loci requires a bounded candidate universe or a positive lower detection probability with justified sampling assumptions. Without such restrictions, arbitrarily many never-detected loci are observationally compatible; completeness must then be reported as unidentified rather than numerically certified.
```

**Direct edits:** 0. **Fresh external checks:** None; supplied sources retained as provenance.