## Problem 079 — rank:226

**Title:** Objective cell-type ontology

**Added binding assumptions (LaTeX):**

```latex
A shared lineage can differentiate into several cell types, so repeatability is tested only within a declared stable-identity window and state regime. Prevent a one-label solution by requiring improvement over a no-type functional baseline and fixing hierarchy complexity. Type labels are equivalent up to relabeling; the target is an operational reproducible ontology, not proof of a unique context-free natural taxonomy.
```

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