Is the pants/pex lockfile format documented anywhere? I am interested in looking at conversion of uv lockfiles to pants lockfiles

Maybe here? https://github.com/pex-tool/pex/blob/main/pex/resolve/lockfile/model.py