urbit/pkg/autoprop/lib/sole.hoon