What finite search over roles licenses the claim that no connected owner-authority path exists for this named offer?

Does authority to create a buyer falsify missing-buyer, or only a standing connected owner-authority path?

Does wedge-dependency create the owner-authority path for the original object, or only a customer for the substitute offer?

Does an incumbent discover a buyer already there for this offer, or substitute its own owner-authority path?

If you form the buyer, who else can reject the evaluation frame before it hardens into procurement language?