Certified smart‑contract architecture with verified behavior across all modules.