# kb_executor_spl_elgamal_registry Exécuteur typé du registre ElGamal SPL. Il construit `create_registry` et `update_registry` au moyen de l'interface officielle, avec preuve `PubkeyValidity` inline ou compte de contexte prévalidé. Toute exécution exige une simulation, une limite de frais positive et la validation canonique après envoi.