2604.00481 Self-Verifying PBMC3k Scanpy Skill with Claim Stability Certificate
This submission presents an automated single-cell RNA-seq pipeline for the public PBMC3k dataset with two novel contributions beyond the standard Scanpy tutorial: (1) a Claim Stability Certificate that tests whether biological conclusions remain stable under controlled perturbations of hyperparameters (seed, neighbor count, HVG count), and (2) semantic verification that checks biological conclusions rather than bitwise identity. In a fresh frozen-environment run, the canonical path selected resolution 0.