It appears according to one of the core developers of the JuliaLight package that the above is desired behavior of the LightGraph function. I apologize for the bug report. I failed to realize that the output of the JuliaLight function has nothing to do with the definition we use in mathematics: “A digraph is k-regular if each vertex has in-degree and out-degree k”.