feat(verify): the parent-derived write reach family, runnable as os verify --parent-write-reach (#15953 slice 4)

feat(verify): the parent-derived write reach family, runnable as os verify --parent-write-reach (#15953 slice 4) #45095