Dispatchers:   davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol (from project owners)

Merge‑teamers:   davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol (copied from dispatchers)

Issue watchers:  No one (no one)

Labels:  beginner bug build ci coq-of-ocaml 🐓 dexter2 doc documentation Doing Done formalisation framework gas mergable optimizer ott performance proto proposal Release Management Crew smart-contract verification state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do test Todo wp