Independent systems researcher and builder focused on AI agents, verification-first governance, and trustworthy execution.