fix(spec): one reader decides whether an external object's owner is provable, and record sharing and lint both read it

fix(spec): one reader decides whether an external object's owner is provable, and record sharing and lint both read it #3378