FOUND: Craftsman 1/4" =V= ratchet gear (or whole parts ratchet)

Ratchet is P/N 4317 and can come with "butterfly" or teardrop selector.

Note that a quick release repair kit is unfortunately not compatible with this ratchet.

Photo of my ratchet (with chipped gear tooth) for reference.

Still looking. The parts ratchet I got on the 'bay was completely stripped and useless.