(WIP) Change `ProtocolSpec` to List#146

Draft

quangvdao wants to merge 10 commits intomainfrom

list-based-pspec

Commits on Sep 8, 2025

Commits on Sep 9, 2025

`take` and partial transcript doesn't work well
quangvdao
committed

Commits on Sep 12, 2025

Commits on Sep 15, 2025

WIP
quangvdao
committed