HVM.md ฯ 0.01% Linked References bostrom/3 cyber/context/distribution/1400k Gerard Huet Victor Taelin Yves Lafont Local Graph