Composite Key Filter With Set Logic

Snapmint stores multiple verification records for each ID in a table whose composite primary key is (id, type). Write a PostgreSQL query to identify IDs that have accepted records for every required type: a, b, and c.

Requirements

1. Consider only rows where status = 'accepted'.
2. Return IDs that contain all three required types, not merely two or three accepted records of any type.
3. Include the number of matched required types and a sorted, comma-separated list of those types.
4. Use layered CTEs and joins so the required type set is explicit and easy to extend.
5. Sort the final output by id ascending.