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.