arXiv:2602.07203v1 ·
OpenReview Peim0KY6ty
All six anchored claims tested by executed computation. Logbook pages in
pages/, results in outputs/.
| Claim | Subject | Verdict |
|---|---|---|
| 1 | Exact computation in O(r(d+e+T)) | reproduced |
| 2 | Thm 5.1 — singleton identifiability iff | reproduced |
| 3 | Lemma 3.1 + Algorithm 2 traversal | reproduced |
| 4 | Alg 3 discovers min(m, r) classes | reproduced |
| 5 | Phase transition at m = r | reproduced |
| 6 | d ≤ r ≤ 2d | reproduced |