urbit/pkg/autoprop/lib/shoe.hoon