SoK: Semantic Decision Engines in Network Control Loops
A survey of 139 semantic decision-engine families finds almost none prove they meet network control-loop deadlines.
The paper systematizes 139 semantic decision-engine families, including Jev, by decision interface, execution path, and check ownership. Fifty families claim a control-loop or time-budget fit, but only four back the claim with matched measurement, and only four of 139 report deadline attainment. The gap is concentrated in 72 families without a deterministic computation step, which make 22 unsupported claims. Bounded tests show each gap can reverse an admission verdict, including a 10-second budget that fails once decisions queue.
- 139 families systematized by interface, execution path, and check ownership.
- Only four of fifty control-loop claims include matched measurements.
- Only four of 139 families report deadline attainment.
- 72 non-deterministic families make 22 unsupported claims.
- Queued decisions miss a 10-second budget isolated requests meet.
Full article166 words · extracted from huggingface.co · click to collapse
A semantic decision engine such as Jev can return a valid answer and still miss a network deadline, select an infeasible action or leave the service unverified. We systematize 139 paper families by decision interface, execution path and check ownership. Fifty families claim that their engine fits a control loop or time budget, but only four support the claim with matched measurement. Across all 139, four report deadline attainment. The gap concentrates where the decision has no deterministic computation step. Those 72 families make 22 of the claims, none supported, and name a coverage owner in only two. Bounded tests under one event model show that each gap can reverse an admission verdict. A decision that meets a 10 s budget for every isolated request meets it for none once decisions queue ahead of replayed execution times. The same engine passes one coverage check and fails another. We derive a minimum reporting record, design rules and a research agenda for admitting decision engines to control loops.
Text extracted automatically; images, tables and formatting may be missing. Original: https://huggingface.co/papers/2610.06425