Mechanism-Design Framework for Verifiable A2A and MCP Negotiation | HACKOBAR_