Before Agents Act: Assurance-Aware Semantic Scheduling for Evidence Acquisition in Distributed Systems

arXiv:2609.34376 · cs.DC, cs.AI, cs.CR · Submitted 2026-09-28 · Read on arXiv

cs.DC, cs.AI, cs.CR

Submitted: 2026-09-28

Updated: 2026-09-28

Terminology

• Verifier — 21× in this paper · explained in 2 episodes
• Verification — 16× in this paper · explained in 2 episodes
• Pruning — 8× in this paper · explained in 4 episodes
• Admissibility — 7× in this paper · explained in 2 episodes
• Ablation — 6× in this paper · explained in 1 episode
• Assurance Scheduling Problem — 6× in this paper
• Assurance-Aware Semantic Scheduling — 6× in this paper
• Epistemic Fault Domain — 6× in this paper
• Cognitive Admission Control — 5× in this paper
• Assurance Dependency Graph — 4× in this paper
• Fidelity — 4× in this paper · explained in 2 episodes
• Trace — 4× in this paper · explained in 2 episodes
• Backward Just-in-Time — 3× in this paper
• MINIMUM WEIGHT SET COVER — 3× in this paper
• Topological Order — 3× in this paper · explained in 2 episodes
• Ablation study — 2× in this paper · explained in 1 episode
• Accuracy — 1× in this paper · explained in 1 episode
• Adam — 1× in this paper · explained in 2 episodes
• Adaptation — 1× in this paper · explained in 1 episode
• Agentic AI — 1× in this paper · explained in 1 episode
• Agentic System — 1× in this paper · explained in 2 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Computational Tractability — 1× in this paper · explained in 2 episodes
• Consistency — 1× in this paper · explained in 3 episodes
• Core — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Human-in-the-Loop — 1× in this paper · explained in 3 episodes
• LLM judge — 1× in this paper · explained in 2 episodes
• Logic-Based Benders Decomposition — 1× in this paper
• Redundancy — 1× in this paper · explained in 2 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Resource Constraints — 1× in this paper · explained in 3 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Steering — 1× in this paper · explained in 2 episodes

Sources

• Cognitive Admission Control: Risk-Conditioned Assurance for Consequential Actions in Agentic Distributed Systems
• ToolGuardian: Declarative Security for AI Agent-Tool Interactions
• Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters
• FrugalGPT: How to Use Large Language Models While Reducing Cost and Improving Performance
• RouteLLM: Learning to Route LLMs with Preference Data

Related papers

• iScheduler: Reinforcement Learning-Driven Continual Optimization for Large-Scale Resource Investment Problems
• SAMM: Sharded Automated Market Maker
• InferScale: GPU-Native KV Injection for Personalized LLM Serving
• Vigil: Accountable Liveness against Selective Silence
• Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG
• Pushing CPU Speech Synthesis to the Wall: Extreme Inference Tuning under Serverless Architecture and Billing