SoK: 网络控制循环中的语义决策引擎

SoK 系统化梳理了 139 个语义决策引擎的论文家族，按决策接口、执行路径和检查归属分类，发现仅四篇论文支持其引擎适配控制循环或时间预算的主张。其中 72 个家族声称满足决策条件，但无实测数据支撑，且仅两篇提及覆盖检查负责人。实验表明，这些差距可能导致准入判断反转，同一引擎在不同检查中可能通过或失败。