Governability Assurance for Autonomous Systems: Toward Verifiable Governability in Autonomous Ecosystems | Synapse