I've submitted revisions to the following papers

P3126r4 Graph Library: Overview
P3127r2 Graph Library: Background and Terminology
P3128r4 Graph Library: Algorithms
P3129r2 Graph Library: Views
P3130r4 Graph Library: Graph Container Interface

There are additional refinements to the vertex_descriptors in P3130, and to P3131 Graph Containers in the near future.

The major changes include the following

Changed the requirement from C++20 to C++23
Added support for bi-directional adjacency lists (e.g. with incoming edges)
Added support for mapped vertices and edges (e.g. for sparse vertices)
Added support for non-integral vertex ids
Better separation of adjacency list and edge list abstract data structures
Expanded concepts to reflect the new types of adjacency lists

The reference library (stdgraph/graph-v3: General purpose graph library) reflects all the functionality in the papers and includes additional functionality that may be useful including graph generators, adaptors (filter_graph & BGL), and I/O. I am not planning on adding these features to the proposal.

I can share any/all these papers in the reflector before the meeting this Thursday if that would be helpful.