@average-vr-56795: we believe that the assumptions and constraints of the forking model are bounded, but that we haven't documented them well enough yet.