Faster structured decision memos

Structured decision memos now render faster across the public site and MCP tool surface by short-circuiting the proof-graph walk when the requested grade is already material.