EvidenceNet is presented, a runtime assurance layer for deciding whether coordinated agent operations have achieved an operator's network intent, and experiments on live routing networks show that post-change state checks recognize successful outcomes that configuration-action records alone cannot establish.
Abstract
AI agents are increasingly involved in network automation, where they can initiate configuration changes through mediated operational interfaces and assess the resulting state. Nonetheless, operational networks usually span many devices and administrative domains. Realizing an operator's intent requires coordinating agents with distinct authority scopes that define the resources they can access, the operations they can invoke, and the network state they can observe. This division limits the blast radius of an erroneous action but fragments the evidence needed to assess the network-wide outcome. Successful execution of a configuration action proposed by one agent does not establish that remote devices responded as intended or that routing changes reached the required devices. A valid observation may also become stale after a subsequent change. Before the coordinated operation can be declared complete, a trusted assurance layer must collect current observations from the required scopes and determine whether they collectively support the operator's intended network-wide outcome. To address the completion admission problem, we present EvidenceNet, a runtime assurance layer for deciding whether coordinated agent operations have achieved an operator's network intent. Its broker collects the post-change observations required by a completion contract, and its admission gate checks that the evidence comes from the required scopes, remains current, and satisfies the task rules. A verifier agent provides an additional assessment of the observation content. Experiments on live routing networks show that post-change state checks recognize successful outcomes that configuration-action records alone cannot establish. Controlled interventions further show that EvidenceNet rejects completion when otherwise satisfactory observations have the wrong source, have been substituted, or are stale.
NetArtifactBench is introduced, which tests whether AI agents can repair inconsistent records derived from public network-system artifacts while preserving claims that remain supported, and argues that artifact integrity should become a first-class design and evaluation requirement for AI agents operating on network sy...
Tianzhu Zhang, Wei-Chen Tao, Chang-Gang Zheng et al.· 0 citations
This review examines how retrieval-augmented generation (RAG) and agentic artificial intelligence can be combined to automate investigation without allowing a language model to substitute plausible narrative for verified engineering evidence.
Rizwan Farooq Khan· Global academic journal of e...· 0 citations
This is the first paper from POLIS, an ongoing research programme studying algorithmic institutions for multi-agent systems, and asks which parts of an AI institution produce safety and how they do it.
It is argued that the operational unit of defence should be a revisable coordination episode linking observed transfers, task authority, and response history, and it makes the recommendation to monitor across executions testable without claiming a new detector or a measured containment benefit.
OpenAgentFlow is presented, a control-plane/action-plane architecture that establishes the action-commit boundary as a shared enforcement interface and shows that a shared action-commit boundary provides a practical basis for system-wide governance across heterogeneous agent execution paths.
Dong-Sheng Chen, Xiang-Yu Zhao, Xin Yao et al.· 0 citations
This work shows that agent verifiers leveraging internal signals predict both harm and progress more reliably than a baseline using observable signals only, and aims to use these signals as safety feedback to an agent harness to abstain from risky actions and protect the target system.
T. Labarta, Frederik Pahde, Novak Boškov et al.· 0 citations