I found that I needed to create an renv.lock from a manifest file, and was surprised that renv_lockfile_from_manifest() wasn't yet exported. It looks like it's never been (though it is used in some auto-init code, the tools I'm using don't quite follow that path, so I need to call it manually.