Researchers Propose Formal Risk-Certification Framework for Autonomous Security Agent Pipelines · Polylog