Working notes on AI agent authorization, MCP, formal verification, and fraud defense by action binding.