Resolving to Thirty-Two Subsets of Five Axioms: A Dependency Atlas for BCK-Algebras by Refutation and Small-Model Search…