I have made some further reading about Jon and Oluf(s) in Høydal.
As mentioned, Jon Gullikson is included in the 1603 («Joenn Gulichsen i Hødall») and
1607 («Jonn indre Hødall») tax lists. In the next list, 1610, he is replaced by «Suend Hødall», who is listed until 1633. In a few occasions Svein/Svend is called "Jonsen". He may or may not be a son of Jon Gulliksen.
Jon (or Svein) is not mentioned in the lists for tax for property (land), only as holders.
In 1603 Jon is also in the list of sawmill tax. This was a small sawmill and later (the next list is in 1611) Paul ytre Høydall, Rasmus and Svein Indre Høydal alternates to pay the tax for it.
Jon Gullikson (Indre Høydal or Vikane/Høydalsvik) is also known from the case of "Herredagen" 1578, see above. Although Jon was a frequent name (4,9 % of the male, named taxpayers in 1603 - 123 out of 2521), Gullik was less frequent (only 12 of 2521).
Hence, Jon of 1578 and Jon of 1603 can well be the same. However, names often followed a family - so the Jon of 1578 might be a relative (e.g. grandfather) of the one in 1603.
In his book "Bumerke frå Sunnmøre" (Oslo 1943), Lars Strømme displays a number (12) of seals belonging to people from Austefjorden dated 1594, including Gullik Jonsson Indre Høydal and Oluf Olsson Høydalsdal. Apparently, Strømme has seen a document from this year. Unfortunately, he gives no references, and I have not seen any other mention of this document by others (Aarviknes "Volda-soga" copies Strømme, but do not mention the document or its content).
Either the document is lost forever since the 1930s- or (we can hope) "lost" into some
archive box.
Gullik may be Jon's father - or his son.
An old source, although not contemporary, is "Larsboka". This is the name of a family chronicle (transcribed and issued by Volda bygdeboknemnd, 1983), initially written by Lars Olsson Bjørkedal, 1711-1789. The writings can not be made before 1746, possibly after 1757. Lars lists his ancestors, starting with Jon Gulliksen Indre Høydal. His son was Gullik Jonsen living at "Berge" (Nedsteberget/Rusten); then Michel Gulliksen born and living at Berge; Gullik Michelsen b. 1641, married 1677 Marthe Andersdatter Vassbakke - who where the parents of Lars' father.
Lars' ggg-grandfather must be the same Jon Gullikson as in the 1603/07 tax lists, although no dates are specified for him and his son.
There is also a tax list from 1520
http://da2.uib.no/cgi-win/WebBok.exe?sl ... &storleik=
and an associated penalty list from 1522
http://da2.uib.no/cgi-win/WebBok.exe?sl ... &storleik=
which include "Jon pa Hedal"/"Joenn paa Hødall".
This Jon can hardly be the same as the Jon known from 1603/07. There is a possibility that it is the Jon known from 1578 - but it seems not very likely (given the number of years
between).
These are the sources I find related to Jon Gulliksen Indre Høydal. Strictly, not much is known about him, years of life, family - and ownership.