The definition of a dominant mutation is one where the heterozygous mutant and homozygous mutants are the same non wild type phenotype. Pinstripe is the only proven dominant ball python morph I'm aware of. BHB reports having a proven homozygous pinstripe that looks like a regular (heterozygous) pinstripe but produces 100% pinstripe offspring.
If homozygous spiders don't hatch that would qualify spider as being technically co-dominant because the homozygous mutants are different (dead) than the heterozygous visible mutants. A homozygous animal surviving to breeding is actually needed to prove if a mutation is dominant.