David Lauvergnat — Author credited in APP/Example_dnS.f90.
The pinned example explicitly names David Lauvergnat in its author annotation and copyright notice. This records the stated source credit, not sole authorship of the package or ownership of the GitHub account.
Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.
Derivatives carried by automatic-differentiation types; not a finite-difference solver. The checked H1 driver uses exp(x)*sin(x) at four shared points with analytic references and explicit tolerances; only the recorded scalar configuration is verified.